Avoin joukko

Kohteesta Wikipedia
Loikkaa: valikkoon, hakuun
Kuvan joukko V ei ole avoin, sillä pisteen p ympäristö ei sisälly joukkoon V.

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

Määritelmä[muokkaa | muokkaa wikitekstiä]

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

Esimerkkejä[muokkaa | muokkaa wikitekstiä]

  • 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[muokkaa | muokkaa wikitekstiä]

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.

Metrisissä avaruuksissa tätä voidaan käyttää avoimen joukon määritelmänäkin. Tällöin määritellään, että joukko on pisteen ympäristö, jos on olemassa sellainen positiivinen luku , että kaikki joukon pisteet, joiden etäisyys :stä on pienempi kuin , kuuluvat joukkoon . Metrisen avaruuden osajoukko on avoin, jos sen jokaisella pisteellä on ympäristö, joka kokonaan sisältyy U:hun.

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ä.
Tämä matematiikkaan liittyvä artikkeli on tynkä. Voit auttaa Wikipediaa laajentamalla artikkelia.