Verze z 9. 3. 2013, 05:30 editovat Addbot (diskuse \| příspěvky) 210 261 editací m Bot: Odstranění 26 odkazů interwiki, které jsou nyní dostupné na Wikidatech (d:q215071) ← Přejít na předchozí porovnání		Verze z 10. 2. 2014, 19:34 editovat zrušit editaci PastoriBot (diskuse \| příspěvky) Roboti 275 675 editací m narovnání přesměrování Přejít na další porovnání →
Řádek 33: === Supremum na ordinálních číslech === Uvažujme o [[Třída (matematika)\|třídě]] <math>\mathbb{O}n</math> všech [[ordinální číslo\|ordinálních čísel]]. Ordinální čísla jsou [[~~dobré~~Dobře ~~uspořádání~~uspořádaná množina\|dobře uspořádána]] — to znamená, že každá [[podmnožina]] má [[nejmenší prvek]] a tím pádem i [[infimum]]. Zajímavější a na první pohled ne tak zjevné je, že každá shora omezená podtřída třídy <math>\mathbb{O}n</math> (shora omezená třída ordinálních čísel je vždy množina) má supremum, ale nemusí mít největší prvek. Například množina konečných ordinálních čísel <math>\{ 0,1,2,\ldots \}</math> nemá největší prvek, ale platí: Řádek 41: * [[Infimum]] * [[Největší prvek]] * [[Maximální a minimální prvek\|Maximální prvek]] * [[Dedekindův řez]] * [[Svaz (matematika)]]

Supremum: Porovnání verzí