Łańcuch (teoria mnogości): Różnice pomiędzy wersjami

 

== Definicja ==

: (Powyżej, <math>\leqslant </math> jest standardową nierównością na [[liczby rzeczywiste|prostej rzeczywistej]] <math>\mathbb{R}</math>.) Wówczas każda [[prosta]] pionowa i każda prosta o [[Znak liczby|nieujemnym]] współczynniku kierunkowym jest łańcuchem w <math>(\mathbb{R}^2,\leqslant_0)</math>. Także wykres dowolnej [[funkcja rosnąca|funkcji rosnącej]] jest łańcuchem w tym porządku.

* Rozważmy zbiór <math>{}^{\omega>}2</math> wszystkich skończonych ciągów zero-jedynkowych uporządkowany (częściowo) przez relację <math>\trianglelefteq</math> wydłużania ciągów. Dla ciągu nieskończonego <math>\eta:\omega\longrightarrow 2</math> połóżmy <math>A_\eta=\{\eta\upharpoonright n:n\in\omega\}</math>. Wówczas <math>A_\eta</math> jest łańcuchem w <math>({}^{\omega>}2,\trianglelefteq)</math>. Ponadto każdy łańcuch w tym porządku częściowym jest zawarty w zbiorze <math>A_\eta</math> dla pewnego <math>\eta:\omega\longrightarrow 2</math>.

 

== Warunki łańcucha ==

 

== Zobacz też ==

* [[częściowy porządek]]

* [[antyłańcuch]]