Ero sivun ”Kofiniittinen topologia” versioiden välillä

[katsottu versio][katsottu versio]
Poistettu sisältö Lisätty sisältö
fix; ei diskreetti ole mielenkiinnoton, joskin on ehkä mielenkiinnotonta konstruoida se tätä kautta; väliotsikko turha
Rivi 1:
{{Tynkä/Matematiikka}}
'''Kofiniittinen topologia''' on [[Topologinen_avaruusTopologinen avaruus|topologia]], johon kuuluu [[avoin joukko|avoimina joukkoina]] vain tyhjä joukko ja joukot, joiden komplementti on äärellinen; kääntäen siis ainoat suljetut joukot ovat äärelliset joukot ja koko joukkoavaruus. Symbolisesti se esitetään
 
==Kofiniittinen topologia==
 
'''Kofiniittinen topologia''' on [[Topologinen_avaruus|topologia]], johon kuuluu [[avoin joukko|avoimina joukkoina]] vain tyhjä joukko ja joukot, joiden komplementti on äärellinen; kääntäen siis ainoat suljetut joukot ovat äärelliset joukot ja koko joukko. Symbolisesti se esitetään
 
:<math>\mathcal{T} = \{A \subseteq X \mid A=\varnothing \mbox{ tai } X \setminus A \mbox{ on äärellinen} \}</math>
 
Esimerkiksi [[luonnolliset luvut|luonnollisten lukujen]] joukon kofiniittisessä topologiassa mm. joukot "suurempi”suurempi kuin kolme"kolme” ja "erisuuri”erisuuri kuin 7 tai 8"8” ovat avoimia. Kaikki äärettömät joukot eivät kuitenkaan ole avoimia: esimerkiksi kaikkien [[parillinen luku|parillisten lukujen]] joukko ei ole avoin, koska sen komplementti eli parittomien lukujen joukko ei ole äärellinen.
 
Teknisesti jokaiselle joukolle voidaan määritellä kofiniittinen topologia. Äärellisen joukon tapauksessa tuloksena on käytännössä mielenkiinnoton [[diskreetti topologia]].
 
===Ominaisuuksia===