Riemannin pallo
![](http://upload.wikimedia.org/wikipedia/commons/thumb/8/85/Stereographic_projection_in_3D.png/250px-Stereographic_projection_in_3D.png)
Riemannin pallo on kompleksitason yläpuolella sijaitseva pallo, joka sivuaa kompleksitasoa origossa. Pallon hyödyllisyys ilmenee siitä, että jokainen kompleksitason piste voidaan projisoida pallolle stereografisella projektiolla[1] ja kääntäen jokainen pallonpinnan piste voidaan projisoida kompleksitasolle, lukuun ottamatta sitä pistettä, joka sijaitsee täsmälleen vastakkaisella puolella pallon keskipistettä kuin sivuamispiste. Jos kompleksitasoon kuitenkin lisätään yksi piste, äärettömyyspiste , jonka ajatellaan sijaitsevan äärettömän kaukana missä suunnassa tahansa, Riemannin pallon jokaista pistettä vastaa yksi piste tällä ns. laajennetulla tasolla ja kääntäen. Näin saatu avaruus on kompakti, ja sitä käytetään funktioteoriassa yleisesti funktioiden määrittelyjoukkona.
Tason ja pallon pisteiden vastaavuus
![](http://upload.wikimedia.org/wikipedia/commons/thumb/7/7c/Riemann_sphere1.jpg/250px-Riemann_sphere1.jpg)
Riemannin pallo voidaan käsittää kolmiulotteisessa avaruudessa olevaksi origokeskeiseksi palloksi, jolloin sen yhtälö on
Toisaalta jokaista kompleksilukua x + yi vastaa tason piste (x,y). Kutakin kompleksilukua vastaa Riemannin pallolla piste, jossa pisteestä (x, y, 0) pisteeseen (0,0,1) piirretty jana leikkaa pallon pinnan. Tämän pisteen karteesiset koordinaatit ovat
Kääntäen pallon pinnalla olevaa pistettä (x, y, z) kompleksitasolla vastaava piste on
eli kompleksilukuna
- .
Toisaalta tason pisteet voidaan esittää myös napakoordinaateissa muodossa , missä merkitsee pisteen etäisyyttä origosta ja () osoittaa, missä suunnassa se on origosta katsottuna. Täten jokainen kompleksiluku voidaan esittää myös muodossa tai Eulerin kaavojen mukaisesti lyhemmin muodossa . Vastaavasti pallopinnan pisteet voidaan esittää myös pallokoordinaattien (φ, θ) avulla, jotka määritellään samaan tapaan kuin maapallon leveys- ja pituusasteet; yksikkönä kuitenkin käytetään radiaania. Tällöin ( vastaa leveys- ja () pituuspiiriä. Näin tehtäessä kutakin pallon pistettä ( ) vastaa tasolla piste
ja kääntäen kutakin tason pistettä vastaa pallon pinnalla piste
Täten jokainen kompleksiluku, joka kompleksitasolla on samalla etäisyydellä origosta eli jolla on sama itseisarvo, sattuu Riemannin pallolla samalle "leveyspiirille". Erityisesti jokaista kompleksilukua, jonka itseisarvo on 1, vastaa piste Riemannin pallon "päiväntasaajalla", jossa = 0. Kompleksitason nollapistettä vastaa Riemannin pallon "etelänapa", jossa , ja äärettömyyspistettä pallon "pohjoisnapa", jossa . Mitä suurempi on kompleksiluvun itseisarvo, sitä lähempänä sen vastinpiste Riemannin pallolla on sen pohjoisnapaa.
Kahden projektion etäisyys Riemannin pallon pinnalla
Kahden projektion ja , joita vastaavat kompleksiluvut ja , välistä etäisyyttä merkitään symbolilla .[2]. Tämä lasketaan kaavalla .[2] on metriikka.[2]
Lähteet
- Saff, Edward B. ja Snider, Arthur David: Fundamentals of Complex Analysis: Engineerging, Science, and Mathematics,Pearson 3. painos
Viitteet
- ↑ a b Saff ja Snider, s. 44
- ↑ a b c Saff ja Snider, s. 49