Peitekuvaus

**Peitekuvauksella** tarkoitetaan topologiassa kuvausta, jonka voidaan epämuodollisesti ajatella kuvaavan monta kopiota avaruudesta itseensä.

## Kansantajuinen selitys

Peitekuvauksella tarkoitetaan kuvausta, jossa lähtöavaruus ”peittää” toisen avaruuden useita kertoja siten, että paikallisesti kaikki näyttää samalta. Jokaisen pisteen ympärillä maaliavaruudessa eli *perusavaruudessa* on pieni alue, jonka alkukuvassa peiteavaruudessa on useita erillisiä kopioita tästä alueesta. Näistä jokainen kopio kuvautuu takaisin täsmälleen samaan osaan perusavaruutta. Oheisessa kuvassa perusavaruudesta on valittu pieni osa, jota on merkitty punaisella. Sitä vastaava alkukuva muodostaa monta punaista ympäristöä lähtöavaruudessa.

Tyypillinen esimerkki on reaalisuoran ja ympyrän välinen kuvaus
p \colon \mathbb{R} \to S^1, x \mapsto e^{2\pi i x}.
Tässä reaalisuora ”kiertyy” ympyrän ympärille äärettömän monta kertaa: jokainen ympyrän piste vastaa ääretöntä määrää reaalilukuja. Paikallisesti – kun katsotaan vain pientä osaa ympyrästä – peiteavaruus näyttää kuitenkin täsmälleen samalta kuin ympyrä itse.

Tällaista kuvausta käytetään usein, kun monimutkainen avaruus halutaan "avata" yksinkertaisempaan muotoon, esimerkiksi kun tutkitaan, kuinka monta kertaa jokin polku kiertää ympyrän ympäri.

## Määritelmä

Olkoot \mathcal{X}=(X,\mathcal{T}_1) ja \mathcal{Y}=(Y,\mathcal{T}_2) topologisia avaruuksia ja olkoon p \colon \mathcal{X} \to \mathcal{Y} niiden välinen surjektio.

Kuvaus p on **peitekuvaus**, jos jokaiselle pisteelle y \in Y on olemassa ympäristö V_y \subset \mathcal{Y}, jonka alkukuva p^{\leftarrow}[V_y] on sellaisten erillisten joukkojen U_j\subset\mathcal{X} avoin peite, joille on olemassa upotus p_j \colon U_j \approx V_y. Tällöin ympäristöä V_y kutsutaan peitekuvauksen p *peiteympäristöksi*.

Toisin sanoen kuvaukselle p pätee, että
p^{\leftarrow}[V_y] = \bigcup_{j \in J} U_j.

Peiteavaruutta kutsutaan toisinaan myös *peitteeksi*. Peitekuvauksen p \colon \mathcal{X} \to \mathcal{Y} lähtöjoukkoa \mathcal{X} sanotaan \mathcal{Y}:n peiteavaruudeksi. Jokaista \mathcal{Y}:n alkion y alkukuvaa kutsutaan *säikeeksi*. Yleensä vaihdannaisissa kaavioissa \mathcal{X} asetetaan \mathcal{Y}:n yläpuolelle, jolloin p osoittaa "alaspäin". Tätä sanotaan kuvauksen *[[nosto (matematiikka)|nostoksi]]*, tai tarkemmin, *p-nostoksi*.

## Esimerkkejä

Yksi klassisimmista esimerkeistä on peitekuvaus

p \colon \mathbb{R} \to S^1,\quad x \mapsto e^{2\pi i x}.
Intuitiivisesti voidaan ajatella, että reaalisuora on kierretty spiraaliksi, joka "peittää" ympyrän äärettömän monta kertaa. Jokaisella ympyrän pisteellä on pieni avoin kaari, jonka alkukuva p^{\leftarrow}[U] koostuu äärettömästä määrästä erillisiä avoimia välejä reaalisuoralla, ja jokainen näistä väleistä kuvautuu homeomorfisesti kyseiselle kaarelle.

Toinen esimerkki saadaan avoimesta peitteestä, joka on peitekuvauksen erikoistapaus, kun lähtöavaruus on erillinen yhdiste joukkoja X_i \subset X ja kuvaus on identtinen kunkin osan rajoituksella.

## Nosto ja peitekuvaukset

Peitekuvauksiin liittyy tärkeä käsite nimeltä *[[nosto (matematiikka)|nosto]]*.
Jos peitekuvauksen p \colon \mathcal{X} \to \mathcal{Y} ja jatkuvan kuvauksen f \colon \mathcal{Z} \to \mathcal{Y} välillä on olemassa jatkuva kuvaus \tilde{f} \colon \mathcal{Z} \to \mathcal{X} siten, että

p \circ \tilde{f} = f,

sanotaan \tilde{f}:n olevan kuvauksen f *nosto* peiteavaruuteen X.
Nostot ovat topologiassa tärkeitä esimerkiksi perusryhmien tutkimuksessa, koska ne mahdollistavat polkujen ja homotopioiden yksikäsitteisen nostamisen peiteavaruuteen.

Nostojen yksikäsitteisyyttä käsittelee niin sanottu *nostolause*:

Jos p \colon \mathcal{X} \to \mathcal{Y} on peitekuvaus, \mathcal{Z} on yhtenäinen topologinen avaruus ja f \colon \mathcal{Z} \to \mathcal{Y} jatkuva kuvaus, jolle f(z_0) = p(x_0),
niin on olemassa yksikäsitteinen nosto \tilde{f} \colon \mathcal{Z} \to \mathcal{X}, jolle \tilde{f}(z_0) = x_0.

Tämä ominaisuus tekee peitekuvauksista käyttökelpoisia erityisesti silloin, kun halutaan analysoida silmukoita ja niiden homotopisia ominaisuuksia perusavaruudessa Y.

## Yhteys perusryhmään

Peitekuvaukset muodostavat keskeisen työkalun algebrallisessa topologiassa ja erityisesti perusryhmän määrittämisessä.

Esimerkiksi ympyrän S^1 peitekuvauksen

p \colon \mathbb{R} \to S^1,\quad x \mapsto e^{2\pi i x},

avulla voidaan osoittaa, että ympyrän perusryhmä on isomorfinen kokonaislukuryhmän (\mathbb{Z}, +) kanssa.

Jokainen silmukka \alpha \in \Omega(S^1, 1) voidaan nostaa poluksi \tilde{\alpha} \colon [0,1] \to \mathbb{R} siten, että \tilde{\alpha}(0) = 0 ja p \circ \tilde{\alpha} = \alpha.
Noston päätepiste \tilde{\alpha}(1) kertoo, kuinka monta kertaa ja mihin suuntaan silmukka kiertää ympyrän ympäri:

* jos \tilde{\alpha}(1) = n, silmukka kiertää n kertaa myötäpäivään,

* jos \tilde{\alpha}(1) = -n, se kiertää n kertaa vastapäivään,

* jos \tilde{\alpha}(1) = 0, silmukka on supistettavissa pisteeseen.

Näin muodostuva kuvaus

\varphi \colon \pi_1(S^1, 1) \to \mathbb{Z}, \quad [\alpha] \mapsto \tilde{\alpha}(1),

on bijektio, joten saadaan isomorfia

\pi_1(S^1, 1) \cong \mathbb{Z}.

Tämä tulos on klassinen esimerkki siitä, kuinka peitekuvauksia ja nostojen yksikäsitteisyyttä voidaan käyttää topologisten avaruuksien algebralliseen luokitteluun.

## Lähteet
* 

### Viitteet