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

m
Wspomagane przez robota ujednoznacznienie: Przegląd zagadnień z zakresu matematyki - Zmieniono link(i) Wikipedia:Skarbnica Wikipedii/Przegląd zagadnień z zakresu matematyki; zmiany kosmetyczne
m (drobne techniczne)
m (Wspomagane przez robota ujednoznacznienie: Przegląd zagadnień z zakresu matematyki - Zmieniono link(i) Wikipedia:Skarbnica Wikipedii/Przegląd zagadnień z zakresu matematyki; zmiany kosmetyczne)
'''Łańcuchy''' to w teorii [[Częściowy porządek|częściowych porządków]] i w [[teoria mnogości|teorii mnogości]] podzbiory porządku na których relacja porządkująca jest [[relacja spójna|spójna]].
 
== 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>.
* ''Twierdzenie Dilwortha'' mówi że częściowy porządek <math>(P, \sqsubseteq)</math> jest [[Suma zbiorów|sumą]] <math>n</math> łańcuchów (<math>n\in \mathbb{N}</math>) wtedy i tylko wtedy gdy <math>P</math> nie zawiera <math>n+1</math> elementowych antyłańcuchów (w sensie teorii posetów).
 
== Warunki łańcucha ==
 
== Zobacz też ==
* [[Wikipedia:Skarbnica Wikipedii/Przegląd zagadnień z zakresu matematyki|przegląd zagadnień z zakresu matematyki]]
* [[częściowy porządek]]
* [[antyłańcuch]]
3 009 497

edycji