Topologiassa

Topologia on matematiikan osa-alue, joka tutkii tiloja ja jatkuvuutta yleisellä, mittauksista riippumattomalla tavalla. Keskeinen käsite on topologinen avaruus, joka koostuu joukosta pisteitä X ja joukosta T, jossa T sisältää ne alijoukot X:stä, jotka ovat avoimia. T:n on täytettävä: ∅ ja X kuuluvat T; yhdistelmien (A ∪ B) sekä myös jokaisen määritellyn määrän avoimien joukkojen leikkaus ovat avoimia. Näin muodostuu topologinen avaruus (X, T). Avoimet joukot määrittelevät tilan käsitteet, kuten lähialueet, raja-ajat ja yhteydet.

Jatkuvuus määritellään yleisesti: funktio f: X → Y on jatkuva, jos jokaiselle avoimelle joukölle V ⊆ Y f^{-1}(V) on avoin X:ssa. Tämän avulla tutkitaan konvergenssia, rajoja ja kuvien käyttäytymistä tilassa.

Esimerkkejä: reaaliakseli R standard topologialla; diskreetti topologia, jossa kaikki alijoukot ovat avoimia; trivialit topologia, jossa ainoat avoimet joukot ovat ∅ ja X.

Subspace-topologia: jos A on X:n alijoukkio, sen avoimet joukot ovat muotoa U ∩ A, missä U on X:n avoin. Laajennuksia muodostavat tuotetopologia sekä quotient-topologia, jotka antavat kehyksen rakentaa uusia tiloja.

Tärkeimmät käsitteet ovat yhteys, konvergenssi ja kompaktius sekä erottavuusominaisuudet, kuten T1- ja Hausdorff (T2) -vaatimukset, sekä second countability ja separability. Topologia toimii perustana monille matematiikan alueille, kuten analyysille, geomet­erialle ja algebraic topologyille, sekä se tarjoaa yleisluonteisen tavan ymmärtää tilan rakennetta ilman mittauksia.