Avoin joukko

Avoin joukko on topologian keskeisin peruskäsite.   Avoimien joukkojen avulla voidaan suoraan määritellä muun muassa topologian keskeiset käsitteet raja-arvo, jatkuvuus ja yhtenäisyys.  

Avoimen joukon käsite on eräänlainen reaalilukujen joukossa määritellyn avoimen välin käsitteen yleistys. Metrisessä avaruudessa avoin joukko määritellään sen metriikan avulla tietyt ehdot toteuttavaksi avaruuden osajoukoksi. Yleisessä topologiassa sen sijaan topologinen avaruus määritellään valitsemalla perusjoukosta kokoelma sen osajoukkoja, joita sanotaan avoimiksi joukoiksi ja jotka yhdessä määrittelevät avaruuden topologian.

Avoimet joukot metrisessä avaruudessa 

Metrisessä avaruudessa avoin on osajoukko , jonka jokaisella pisteellä  on kuulaympäristö , joka sisältyy kokonaisuudessaan joukkoon .

Yhtäpitävästi voitaisiin määritellä, että joukko A on avoin, jos mikään sen reunapiste ei kuulu joukkoon A.

Esimerkiksi reaalilukujen joukossa  avoimia joukkoja ovat avoimet välit, avoimia välejä yhdistämällä saadut joukot, muotoa (a, ∞) tai (−∞, a) olevat avoimet puolisuorat,  itse sekä tyhjä joukko.

Jokaisessa metrisessä avaruudessa pätee:

 Avaruus kokonaisuudessaan sekä tyhjä joukko ovat avoimia.
 Avoimien joukkojen yhdiste on avoin joukko, olipa yhdisteessä mukana äärellinen tai ääretön määrä avoimia joukkoja.
 Sellainen avoimien joukkojen leikkaus, jossa on mukana vain äärellinen määrä avoimia joukkoja, on myös avoin joukko.

Avoimien joukkojen leikkaus, jossa on mukana äärettömän monta joukkoa, ei välttämättä ole avoin. Esimerkiksi reaalilukujen joukossa kaikkien avoimien välien (a - ε, a + ε) leikkaus, kun ε saa kaikki positiiviset reaalilukuarvot, käsittää vain pisteen a, eikä se ole avoin.

Annetun metrisen avaruuden A kaikki avoimet joukot muodostavat kokoelman, jota sanotaan avaruuden topologiaksi.

Avoimet joukot topologisessa avaruudessa 
Jo metrisissä avaruuksissa avoimen joukon käsitteen avulla voidaan karakterisoisa monia topologisia käsitteitä kuten raja-arvo ja jatkuvuus. Näiden käsitteiden kannalta metriikka sinänsä kuitenkin on epäoleellinen; merkitystä on vain sillä, mitkä joukot ovat avoimia. Tämä on antanut aiheen määritellä yleisempi topologisen avaruuden käsite.

Topologinen avaruus määritellään valitsemalla annetusta joukosta X kokoelma sen osajoukkoja, joita nimetään avoimiksi.  Tämä kokoelma on valittava niin, että se toteuttaa edellä todetut, jo metrisissä avaruuksissa pätevät tulokset:

 Avaruus kokonaisuudessaan sekä tyhjä joukko ovat avoimia.
 Avoimien joukkojen yhdiste on avoin joukko, olipa yhdisteessä mukana äärellinen tai ääretön määrä avoimia joukkoja.
 Sellainen avoimien joukkojen leikkaus, jossa on mukana vain äärellinen määrä avoimia joukkoja, on myös avoin joukko.

Tätä avoimien joukkojen kokoelmaa sanotaan joukon X topologiaksi.

Samallekin joukolle voidaan määritellä avointen joukkojen kokoelma ja siten sen topologia monella eri tavalla, kunhan se vain täyttää edellä annetut ehdot. Esimerkiksi missä tahansa joukossa voidaan valita sellainenkin topologia, diskreetti topologia, jossa kaikki avaruuden osajoukot ovat avoimia, tai toisaalta myös sellainen, minitopologia, jossa vain avaruus itse ja tyhjä joukko ovat avoimia.

Olkoon  topologinen avaruus. Tällöin joukko  on siis avoin, jos ja vain jos . Toisin sanoen topologisen avaruuden topologian alkioita kutsutaan avoimiksi joukoiksi.

Esimerkkejä 
 Erityisen tärkeitä avoimia joukkoja ovat metrisen avaruuden avoimet kuulat, eli joukot, joihin kuuluvat avaruuden ne pisteet, joiden etäisyys jostakin annetusta pisteestä on pienempi kuin jokin vakio. Ne muodostavat kannan metrisen avaruuden ns. tavalliselle topologialle. Erityisesti reaaliakselin avoin väli on klassinen esimerkki avoimesta joukosta.

Ympäristöt 
Avoimiin joukkoihin liittyy oleellisesti ympäristön käsite. Jos  ja on olemassa avoin joukko , jolla , niin joukkoa U kutsutaan pisteen x ympäristöksi.

Avoin joukko voidaan karakterisoida myös ympäristöjen avulla. Voidaan nimittäin osoittaa, että joukko U on avoin, jos ja vain jos jokaisella joukon U pisteellä on olemassa ympäristö, joka sisältyy joukkoon U. 

Ympäristöjen ja avoimien joukkojen avulla voidaan helposti määritellä keskeisiä topologian käsitteitä:

 Topologisen avaruuden  jonolla  on raja-arvo pisteessä , jos ja vain jos jokaiselle pisteen  ympäristölle  löydämme indeksin , jolla  kaikilla .

 Jos  ja  ovat topologisia avaruuksia, niin kuvaus  on jatkuva pisteessä  jos ja vain jos jokaiselle pisteen  ympäristölle  löydämme pisteen a  ympäristön , jolle . (tai yhtäpitävästi )

 Joukko on yhtenäinen, jos ja vain jos sitä ei voi lausua epätyhjien avoimien joukkojen erillisenä yhdisteenä. Samaten joukko on yhtenäinen, jos sillä ei ole separaatiota.

Lähteet

Viitteet

Kirjallisuutta 

 
 
 

Topologia
Seulonnan keskeiset artikkelit