Cesko.wiki Stabilní množina
Author
Albert FloresStabilní množina je matematický pojem z oblasti teorie množin, konkrétněji z oblasti teorie uspořádání.
Definice
Předpokládejme, že množina X \,\. je uspořádána relací R \,\. +more a Y \subseteq X \,\. je nějaká její neprázdná podmnožina.
Symbolem Y^+ \,\! označíme množinu všech majorant množiny Y \,\! , tj. množinu
Y^+ = \{a \isin X: (\forall b \isin Y)(b \leq_R a) \} \,\!
Symbolem Y^- \,\! označíme množinu všech minorant množiny Y \,\! , tj. množinu
Y^- = \{a \isin X: (\forall b \isin Y)(a \leq_R b) \} \,\!
Množinu (Y^+)^- \,\! nazveme stabilní obal množiny Y \,\! .
Řekneme, že množina Y \,\! je stabilní, pokud je sama sobě stabilním obalem, tj. pokud platí Y = (Y^+)^- \,\!
Význam a příklady
Stabilní množina musí být dolní množina, protože se jedná o množinu minorant. Otázkou je, zda to platí i opačně - tj. +more zda je každá neprázdná dolní množina stabilní.
Například na množině \omega \,\. všech přirozených čísel je odpověď kladná - dolní množiny jsou konečné množiny typu \{ 0,1,2,\ldots,n \} \,\. +more a celá množina \omega \,\. . V obou případech se jedná o stabilní množiny: * \{0,1,2,\ldots,n \}^+ = \{n,n+1,\ldots \} \,\. * \{n,n+1,\ldots \}^- = \{0,1,2,\ldots,n \} \,\. * \omega^+ = \emptyset \,\. * \emptyset^- = \omega \,\. .
Na množině \mathbb{R} \,\. všech reálných čísel jsou dolními množinami všechny zdola neomezené intervaly (shora otevřené i shora uzavřené). +more Podívejme se, zda jsou všechny také stabilní: * ((-\infty, x]^+)^- = [x, +\infty)^- = (-\infty,x] \,\. * ((-\infty, x)^+)^- = [x, +\infty)^- = (-\infty,x] \,\. Závěr je takový, že uzavřený interval je stabilní, ale otevřený interval nikoliv. Každá dolní množina tedy nemusí být stabilní.
Stabilních množin se používá při množinové konstrukci oboru reálných čísel, jak je podrobněji popsáno v článku Dedekindův řez.