Ympäristökanta

Ympäristökanta on topologiassa sellainen kokoelma annetun pisteen ympäristöjä, että jokainen kyseisen pisteen ympäristö sisältää osajoukkonaan jonkin ympäristökantaan kuuluvan joukon. Toisin sanoen, jos X on topologinen avaruus ja jokin sen piste, kokoelma on a:n ympäristökanta, jos jokainen a:n ympäristö sisältää jonkin :n jäsenen.[1]

EsimerkkejäMuokkaa

Jos   on avaruuden X kanta ja jos  , niin kaikki avaruuden kantaan kuuluvat joukot, joihin piste a sisältyy, muodostavat a:n erään ympäristökannan.[1]

Jos X on metrinen avaruus, pisteen a erään ympäristön muodostavat avoimet pallot B(a,r), r > 0 eli joukot  . Toisen, suppeamman ympäristökannan muodostavat ne a-keskiset avoimet pallot, joiden säde on muotoa 1/n, missä n on kokonaisluku.[1]

N1-avaruudetMuokkaa

Jos topologisen avaruuden jokaisella pisteellä on numeroituva ympäristökanta, avaruutta sanotaan N1-avaruudeksi. Muun muassa kaikki metristyvät avaruudet ovat N1-avaruuksia.[2]

HistoriaaMuokkaa

Hausdorffin vuonna 1914 esittämä topologisen avaruuden määritelmä perustui ympäristökannan, ei avoimen joukon käsitteeseen.[3] (Itse asiassa hänen määritelmänsä edellytti nykyisestä poiketen myös, että millä tahansa kahdella avaruuden pisteellä piti olla erilliset ympäristöt. Nykyisessä topologisen avaruuden määritelmässä tätä ei välttämättä edellytetä, mutta monet tärkeimmät avaruudet toteuttavat myös sen, ja niitä sanotaan Hausdorff-avaruuksiksi.)

LähteetMuokkaa

  1. a b c Jussi Väisälä: ”Topologinen avaruus”, Topologia II, s. 8. Limes ry, 1977. ISBN 951-745-082-6.
  2. Jussi Väisälä: ”Numeroituvuusaksioomat”, Topologia II, s. 47–48. Limes ry, 1977. ISBN 951-745-082-6.
  3. Jussi Väisälä: ”Topologinen avaruus”, Topologia II, s. 8. Limes ry, 1977. ISBN 951-745-082-6.