Kanta (topologia)

Topologisen avaruuden **kanta** on sellainen kokoelma avoimia joukkoja, että avaruuden jokainen avoin joukko, tyhjää joukkoa lukuun ottamatta, voidaan muodostaa niiden yhdisteenä.  Kannoilla on suuri merkitys topologiassa, koska monet topologiat on helpoiten määriteltävissä kantojensa avulla, jotka *generoivat* ne.

## Määritelmä ja perusominaisuuksia

Olkoon *X* mielivaltainen joukko ja *B* kokoelma sen osajoukkoja. Tällöin *B* on jonkin *X*:n topologian kanta, jos se toteuttaa seuraavat ehdot:

# *B*:hen kuuluvat joukot peittävät koko *X*:n, toisin sanoen niiden yhdiste on *X*.
# Olkoot *B*1 ja *B*2 *B*:hen kuuluvia joukkoja ja *I* niiden leikkaus. Silloin jokaista alkiota x \in I kohti on olemassa kokoelmaan *B* kuuluva joukko *B*3, johon *x* kuuluu ja joka sisältyy *I*:hin.

Jos *X*:n osajoukkojen kokoelma *B* ei toteuta molempia ehtoja, se ei ole minkään *X*:n topologian kanta. Se on kuitenkin alikanta, samoin kuin jokainen kokoelma *X*:n osajoukkoa. Kääntäen jos *B* toteuttaa molemmat ehdot 1 ja 2, on olemassa yksikäsitteinen *X*:n topologia, jonka kanta *B* on; sitä sanotaan *B*:n *generoimaksi* topologiaksi. Tämä onkin hyvin yleinen tapa määritellä avaruuksien topologiat. Välttämätön, mutta ei riittävä ehto sille, että *B* generoi *X*:lle jonkin topologiaan, on että *B* on suljettu leikkausten suhteen eli kahden siihen kuuluvan joukon leikkauskin aina kuuluu siihen tai on tyhjä; silloin nimittäin joukko *B*3 = *I* voidaan muodostaa edellä selitetyllä tavalla.

Esimerkiksi reaalilukujen joukossa kaikkien avointen välien joukko on reaalilukujen topologian kanta, koska kahden avoimen välin leikkaus on aina joko avoin väli tai tyhjä joukko. Itse asiassa juuri tämä kanta generoikin reaalilukujen joukon eli lukusuoran tavanomaisen topologian.

Topologisen avaruuden kanta ei kuitenkaan ole yksikäsitteinen. Monet kannat, erisuuretkin, saattavat generoida saman topologian. Esimerkiksi sellaisten avointen välien joukko, joiden molemmat päätepisteet ovat rationaalilukuja, on myös reaalilukujoukon tavanomaisen topologian kanta, samoin kuin toisaalta sellaistenkin avointen välien joukko, joiden molemmat päätepisteet ovat irrationaalilukuja, mutta nämä kaksi joukkoa ovat täysin erillisiä ja molemmat sisältyvät kaikkien avointen välien joukkoon. Toisin kuin vektoriavaruuden kanta lineaarialgebrassa, topologisen avaruuden kanta ei välttämättä ole maksimaalinen; itse asiassa ainoa maksimaalinen kanta on avaruuden topologia (eli kaikkien avointen joukkojen kokoelma) itse. Mikä tahansa annetun kannan generoimaan topologiaan kuuluva avoin joukko voidaan lisätä kantaan, jolloin tuloksena on kanta, joka generoi saman topologian. Pienintä mahtavuutta, joka topologisen avaruuden jollakin kannalla on, sanotaan tämän avaruuden *painoksi*.

Esimerkkinä avointen joukkojen kokoelmasta, joka ei ole kanta, voidaan mainita kaikkien muotoa (−∞, *a*) tai (*a*, ∞) olevien toispuolisesti äärettömien välien joukko *S*, kun *a* on reaaliluku. Tämä joukko *S* ei ole minkään \mathbb{R}:n topologian kanta. Tämän todistamiseksi oletetaan, että se olisi. Siitä seuraisi, että esimerkiksi välit (−∞, 1) ja (0, ∞) kuuluisivat *S*:n generoimaan topologiaan, kuuluvathan ne sen kantaankin, ja silloin niiden myös niiden leikkauksen eli välin (0,1) pitäisi kuulua siihen. Mutta tätä väliä (0,1) selvästikään ei voida muodostaa *S*:ään kuuluvien joukkojen yhdisteenä.  Edellä esitetyn kriteerin jälkimmäinen ehto ei täyty, sillä jos tältä väliltä valitaan piste *x*, ei ole sellaista väliin (0,1) sisältyvää joukkoa, joka kuuluisi kokoelmaan *S*.

## Kannan avulla määriteltyjä topologioita

* Jos *X* on täydellisesti järjestetty joukko, sen *järjestystopologia* voidaan määritellä avointen välien kaltaisten joukkojen muodostaman kannan generoimana topologiana.
* Jos *X* on metrinen avaruus, sillä on metriikan määrittelemä topologia, jonka kannan muodostavat avoimet pallot.
* N2-avaruus on topologinen avaruus, jolla on numeroituva kanta.
* Missä tahansa joukossa *X* voidaan määritellä diskreetti topologia, jonka kannan muodostavat joukon yksialkioiset osajoukot.

## Kantaa koskevia lauseita

* Avoimen joukon *U* jokainen piste *x* kuuluu jonkin sellaiseen kannan joukkoon, joka on *U*:n osajoukko.
* Topologia *T*2 on *hienompi* kuin topologia *T*1, jos ja vain jos jokaista pistettä *x* ja jokaista topologian *T*1 kantaan *B* kuuluvaa joukkoa kohti, johon *x* kuuluu, on olemassa sellainen *T*2:n kantaan kuuluva joukko, johon *x* myös kuuluu ja joka myös kuuluu kantaan *B*.
* Jos *B*1,*B*2,...,*B**n* ovat topologioiden *T*1,*T*2,...,*T**n* kannat, niin karteesinen tulo *B*1 × *B*2 × ... × *B**n* on tulotopologian *T*1 × *T*2 × ... × *T**n* kanta. Tämä pätee silloinkin, kun kyseessä on ääretön tulo, paitsi että enintään äärellinen määrä kannan joukoista saa olla suppeampia kuin koko avaruus.
* Olkoon *B* *X*:n kanta ja *Y* jokin *X*:n aliavaruus. Jos tällöin muodostetaan jokaisen *B*:hen kuuluvan joukon ja *Y*:n leikkaus, saatu joukkokokoelma on aliavaruuden *Y* kanta.
* Jos kuvauksessa *f*:*X* → *Y* jokaisen *X*:n kantaan kuuluvan joukon kuva on *Y*:n avoin joukko *f* on avoin kuvaus. Jos taas jokaisen *Y*:n kantaan kuuluvan joukon alkukuva on *X*:n avoin joukko, *f* on jatkuva kuvaus.
* *X*:n osajoukkojen kokoelma on *X*:n topologia, jos ja vain jos se generoi itsensä.
* *B* on topologisen avaruuden *X* kanta, jos ja vain jos ne *B*:hen kuuluvat joukot, jotka sisältävät pisteen *x*, muodostavat *x*:n ympäristökannan, olipa *x* mikä tahansa *X*:n piste.

## Suljettujen joukkojen kanta

Avaruuden topologia voidaan kuvata, paitsi avoimen, yhtä hyvin myös sen suljettujen joukkojen avulla. Niinpä voidaankin määritellä kantaa vastaava käsite myös topologisen avaruuden suljetuille joukoille. Jos on annettu topologinen avaruus *X*, suljettujen joukkojen kokoelma *F* on suljettujen joukkojen kanta, jos ja vain jos jokaista suljettua joukkoa *A* ja jokaista *A*:han kuulumatonta pistettä *x* kohti on olemassa *F*:ään kuuluva suljettu joukko *A*, johon *x* ei sisälly.

On helppo todeta, että *F* on *X*:n suljettujen joukkojen kanta, jos ja vain jos *F*:ään kuuluvien joukkojen kompementit muodostavat *X*:n avointen joukkojen kannan.

Olkoon *F* avaruuden *X* suljettujen joukkojen kanta. Silloin pätee:
#∩*F* = ∅
#Mille tahansa kahdelle *F*:ään kuuluvalle joukolle *F*1 ja  *F*2 pätee, että unioni *F*1 ∪ *F*2 on joidenkin kokoelmaan *F*:ään kuuluvien joukkojen leikkaus, toisin sanoen jokaista pistettä *x* kohti, joka ei kuulu *F*1:een eikä *F*2:een, on olemassa *F*:ään kuuluva joukko *F*3, johon *F*1 ∪ *F*2 sisältyy ja joka ei sisällä pistettä *x*. 
Jokainen *X*:n osajoukkojen kokoelma, joka toteuttaa nämä ehdot, on jonkin *X*:n topologian suljettujen joukkojen kanta. Suljettuja joukkoja tässä kannassa ovat kokoelmaan *F* kuuluvien joukkojen leikkaukset sekä *X* itse.

Joissakin tapauksissa on mukavampaa käyttää suljettujen kuin avointen joukkojen kantaa. Esimerkiksi avaruus on täydellisesti säännöllinen, jos ja vain jos nollajoukot muodostavat suljettujen joukkojen kannan. Jokaisessa topologisessa avaruudessa *X* nollajoukot muodostavat *X*:n erään topologian suljettujen joukkojen kannan. Tämä topologia on hienoin niistä *X*:n täydellisesti säännöllisistä topologioista, jotka ovat karkeampia kuin *X*:n alkuperäinen topologia. Samaan tapaan **A***n*:n Zariskin topologia määritellään valitsemalla polynomifunktioiden nollajoukot suljettujen joukkojen kannaksi.

## Paino ja karakteeri

Olkoon *X* topologinen avaruus. Käsitteet **paino** ja **karakteeri** määritellään seuraavasti:
* Avaruuden paino, *w*(*X*), on pienin mahtavuus, joka millään sen kannalla on;
* verkoston paino *nw*(*X*) on pienin mahtavuus, joka millään *X*:n verkostolla on;
* pisteen *x* karakteeri, \chi(x,X) on pienin mahtavuus, joka millään *x*:n ympäristökannalla on; ja
* avaruuden *X* karakteeri on 
:\chi(X)\triangleq\sup\{\chi(x,X):x\in X\}.

Tässä **verkosto** on joukkoperhe \mathcal{N}, jolle pätee, että jokaista pistettä *x* ja jokaista *x*:n avointa ympäristöä kohti on olemassa sellainen perheeseen \mathcal{n} kuuluva joukko *B*, että *x* ∈ *B* ⊆ *U*.

Laskemalla karakteeri ja paino voidaan selvittää, minkä tyyppisiä kantoja ja ympäristökantoja topologisessa avaruudessa on. Niitä koskevat seuraavat tulokset:

* *nw*(*X*) ≤ *w*(*X*).
* Jos *X* on diskreetti, niin *w*(*X*) = *nw*(*X*) = |*X*|.
* Jos *X* on Hausdorff-avaruus, niin *nw*(*X*) on äärellinen, jos ja vain jos *X* on äärellinen ja diskreetti.
* Jos *B* on *X*:n kanta, on olemassa kanta B'\subseteq B, jonka mahtavuus on |B'|\leq w(X).
* Jos *N* on pisteen x \in X ympäristökanta, niin on olemassa ympäristökanta N'\subseteq N, jonka mahtavuus on |N'|\leq \chi(x,X).
* Jos *f* : *X* → *Y* on jatkuva surjektio, niin *nw*(*Y*) ≤ *w*(*X*). (Tarkastellaan yksinkertaisesti *Y*-verkostoa f*'B \triangleq \{f*U : U\in B\} jokaiselle *X*:n kannalle *B*.)
* Jos (X,\tau) on Hausdorff-avaruus, *X*:lle on olemassa myös sellainen Hausdorffin ehdon toteuttava topologia  (X,\tau'), että  w(X,\tau')\leq nw(X,\tau). Tästä seuraa, että jos *X* on myös kompakti, nämä topologiat ovat samat, ja kun tämä yhdistetään ensimmäisen edellä mainitun tuloksen kanssa, todetaan, että *nw*(*X*) = *w*(*X*).
* Jos *f* : *X* → *Y* on jatkuva surjektiivinen kuvaus kompaktilta metristyvältä avaruudelta Hausdorff-avaruudelle, *Y* on kompakti ja metristyvä.

Viimeinen näistä tuloksista seuraa siitä, että *X* on kompakti Hausdorff-avaruus, on nw(f(X))=w(f(X))\leq w(X)\leq\aleph_0, sillä kompaktit metriset avaruudet ovat aina N2-avaruuksia, jota paitsi kompakti Hausdorff-avaruus on metristyvä, jos ja vain jos se on N2-avaruus.

### Avointen joukkojen kasvavat ketjut
Käyttäen edellä esitettyjä merkintöjä oletetaan, että *w*(*X*) ≤ *κ* on jokin ääretön kardinaaliluku. Silloin ei ole olemassa aidosti kasvavaa avointen joukkojen jonoa (eikä vastaavasti aidosti pienenevää suljettujen joukkojen jonoa), jonka pituus olisi  ≥ *κ*+.

Tämä voidaan osoittaa (käyttämättä valinta-aksioomaa) seuraavasti. Olkoon

: \left \{ U_{\xi} \right \}_{\xi\in\kappa},

avointen joukkojen kanta. Jos oletetaan, että

: \left \{ V_{\xi}\right \}_{\xi\in\kappa^{+}}

olisi aidosti kasvava avointen joukkojen jono, siitä seuraisi, että

:\forall \alpha

Kun

:x\in V_{\alpha}\setminus\bigcup_{\xi

voidaan tätä kantaa käyttää sellaisen joukon *U<sub>γ</sub>* löytämiseen, että *x* kuuluu joukkoon *U<sub>γ</sub>* ⊆ *V<sub>α</sub>*.  Tällä tavoin voidaan hyvin määritellä kuvaus *f*, joka kuvaa jokaisen *α*:n pienimmälle kardinaaliluvulle *γ*:lle, jolle *U<sub>γ</sub>* ⊆ *V<sub>α</sub>* ja joka toteuttaa ehdon
:V_{\alpha} \setminus \bigcup_{\xi.

Kuvaus on injektio, sillä muutoin olisi *α* γ* ⊆ *Vα*, mutta toisaalta

:<math>V_{\beta} \setminus \bigcup_{\xi<\alpha} V_{\xi} \subseteq V_{\beta} \setminus V_{\alpha},</math>

mikä on ristiriita. Mutta kuvauksen injektiivisyydestä seuraisi edelleen, että *κ*<sup>+</sup> ≤ *κ'', mikä on myös ristiriitaista. Näin ollen edellä mainitun kaltaista aidosti kasvavaa avointen joukkojen jonoa ei voi olla olemassa. mot.

## Katso myös

* Ympäristökanta

## Lähteet

* 
* 
* 
* 

### Viitteet