Avoin joukko

**Avoin joukko** on topologian keskeisin peruskäsite. Avoimien joukkojen avulla voidaan suoraan määritellä muun muassa topologian keskeiset käsitteet *[[raja-arvo]]*, *[[jatkuva funktio|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

*Avoin joukko* on metrisessä avaruudessa sellainen joukko A, jonka jokaisella pisteellä x on kuulaympäristö B(x, r), joka sisältyy kokonaisuudessaan joukkoon A. 

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

Esimerkiksi reaalilukujen joukossa \mathbb{R} avoimia joukkoja ovat avoimet välit, avoimia välejä yhdistämällä saadut joukot, muotoa (*a*, &infin;) tai (&minus;&infin;, *a*) olevat avoimet puolisuorat, \mathbb{R} 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 avaruus|diskreetti topologia]]*, jossa *kaikki* avaruuden osajoukot ovat avoimia, tai toisaalta myös sellainen, *[[minitopologia]]*, jossa *vain* avaruus itse ja tyhjä joukko ovat avoimia.

Olkoon (X,\mathcal{T}) topologinen avaruus. Tällöin joukko A \subset X on siis **avoin**, jos ja vain jos A \in \mathcal{T}. Toisin sanoen topologisen avaruuden *[[Topologia_(matematiikka)|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 x \in X ja on olemassa avoin joukko U \in \mathcal{T}, jolla x \in U, 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 (X,\mathcal{T}) jonolla {( x_n )}_{n \in \mathbb{N}} on **[[raja-arvo]]** pisteessä a \in X, jos ja vain jos jokaiselle pisteen a ympäristölle U \in \mathcal{T} löydämme indeksin n_0 \in \mathbb{N}, jolla x_n \in U kaikilla n \geq n_0.

* Jos (X,\mathcal{T}) ja (Y,\mathcal{T}') ovat topologisia avaruuksia, niin kuvaus f : X \rightarrow Y on **[[jatkuva funktio|jatkuva]]** pisteessä a \in X jos ja vain jos jokaiselle pisteen f(a) ympäristölle V \in \mathcal{T}' löydämme pisteen *a*  ympäristön U \in \mathcal{T}, jolle fU \subset V. (tai yhtäpitävästi U \subset f^{-1} V)

* Joukko on **[[yhtenäisyys|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

* 
* 
*