Ero sivun ”Ordinaali” versioiden välillä

2 merkkiä poistettu ,  2 vuotta sitten
p
Diskreetti avaruus|
p (Diskreetti avaruus|)
 
== Topologia ja ordinaalit ==
Jokainen ordinaaliluku voidaan muodostaa [[topologinen avaruus|topologiseksi avaruudeksi]] varustamalla se [[järjestystopologia]]lla. Tämä topologia on [[diskreettiDiskreetti topologiaavaruus|diskreetti]], jos ja vain jos ordinaali on numeroituva kardinaali, toisin sanoen enintään ω. Joukon ω + 1 osajoukko on [[avoin joukko|avoin]] järjestystopologiassa, jos ja vain jos se joko on [[kofiniittisuus|kofiniittinen]] (eli sen [[komplementti]] on äärellinen joukko) tai ω ei sisälly siihen alkiona.
 
==Ordinaalien alaspäin suljetut joukot==
21 260

muokkausta