Kofiniittinen topologia

Tähän artikkeliin tai osioon ei ole merkitty lähteitä, joten tiedot kannattaa tarkistaa muista tietolähteistä. Voit auttaa Wikipediaa lisäämällä artikkeliin tarkistettavissa olevia lähteitä ja merkitsemällä ne ohjeen mukaan.

Kofiniittinen topologia on topologia, johon kuuluu avoimina joukkoina vain tyhjä joukko ja joukot, joiden komplementti on äärellinen; kääntäen siis ainoat suljetut joukot ovat äärelliset joukot ja koko avaruus. Symbolisesti se esitetään

${\displaystyle {\mathcal {T}}=\{A\subseteq X\mid A=\varnothing {\mbox{ tai }}X\setminus A{\mbox{ on äärellinen}}\}}$

Esimerkiksi luonnollisten lukujen joukon kofiniittisessä topologiassa mm. joukot ”suurempi kuin kolme” ja ”erisuuri kuin 7 tai 8” ovat avoimia. Kaikki äärettömät joukot eivät kuitenkaan ole avoimia: esimerkiksi kaikkien 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 diskreetti topologia.

• Aliavaruudet: Kofiniittisen topologisen avaruuden aliavaruus on aina kofiniittinen.
• Kompaktius: Kofiniittinen topologia on kompakti.
• Erotteluaksioomat: Kofiniittinen topologia on karkein ${\displaystyle T_{1}}$-topologia. ${\displaystyle T_{2}}$-topologia se on vain, jos joukko on äärellinen.