Möbius-kuvaus

Möbius-kuvaukset ovat muotoa :f(z) = \frac{a z + b}{c z + d} olevia kuvauksia, missä a, b, c ja d ovat mielivaltaisia kompleksilukuja. Möbius-kuvaukset on määritelty laajennetulta kompleksitasolta itselleen. Bilineaarinen kuvaus on erikoistapaus Möbius-kuvauksesta. Möbius-kuvaukset ovat saaneet nimensä saksalaisen matemaatikon ja tähtitieteilijän August Ferdinand Möbiuksen mukaan. == Määritelmä == Möbius-kuvaukset ovat muotoa :f(z) = \frac{a z + b}{c z + d} olevia kuvauksia, missä a, b, c ja d ovat kompleksilukuja, jotka toteuttavat ehdon ad − bc ≠ 0. Möbius-kuvaukset on määritelty konformaaleina kaikkialla paitsi kun z = -d/c, jolloin on määritelty, että f(z) = \infty. Ne ovat konformisia bijektioita \overline{\Complex}→\overline{\Complex}, missä \overline{\Complex} tarkoittaa laajennettua kompleksitasoa \mathbb{C}\cup\\{\infty\\} eli kompleksitasoa, johon on lisätty äärettömyyspiste. Laajennettua kompleksitasoa kutsutaan myös Riemannin palloksi. == Ominaisuuksia == Möbius-kuvaukset voidaan esittää yhdistettynä kuvauksena siirrosta, venytyksestä ja kierrosta sekä inversiosta, missä operaatio "siirto" on muotoa w=z+a, operaatio "venytys ja kierto" on muotoa w=az ja operaatio "inversio" on muotoa w=1/z. Möbius-kuvaukset kuvaavat suorat ja ympyrät joko suoriksi tai ympyröiksi siten, että operaatio "inversio" saattaa muuttaa suoran ympyräksi tai päinvastoin. Konformikuvauksina Möbius-kuvaukset säilyttävät kulmat. == Kaksoissuhde == Möbius-kuvaukset säilyttävät pisteiden välisen kaksoissuhteen: Olkoot a1, a2, a3 ja a4 kompleksilukuja, joille aj ≠ ak kun j ≠ k. Tällöin näiden kaksoissuhde on luku :[a_1, a_2, a_3, a_4] = \frac{(a_1-a_2)(a_3-a_4)}{(a_1-a_3)(a_2-a_4)}. Jos jokin ai = ∞ on kaksoissuhde määriteltäva raja-arvona, kun ai → ∞. Möbius-kuvaukset säilyttävät kaksoissuhteen, eli siis Möbius-kuvauksessa w = f(z) [w, w1, w2, w3] = [z, z1, z2, z3]. Möbiuskuvaukset muodostavat ryhmän, niin sanotun Möbius-ryhmän, kuvausten yhdistämisen suhteen. == Esimerkki == Seuraavassa esimerkissä käytetään hyväksi Möbius-kuvausten ominaisuutta säilyttää pisteiden välinen kaksoissuhde: Etsitään Möbius-kuvaus, joka vie origokeskisen yksikkökiekon D(0, 1) ylemmälle puolitasolle. Käytetään kaksoissuhdetta. Kiinnitetään yksikkökiekon reunapisteet z1 = 1, z2 = i, z3 = -1 ja ylemmän puolitason reunapisteet w1 = -1, w2 = 0, w3 = 1. Pisteiden kiinnityksessä on huomioitu niiden järjestys alueisiin nähden, eli kuljettaessa pisteestä z1 pisteen z2 kautta pisteeseen z3 jää yksikkökiekko vasemmalle puolelle ja kuljettaessa pisteestä w1 pisteen w2 kautta pisteeseen w3 jää ylempi puolitaso vasemmalle puolelle. Sopiva kuvaus saadaan ratkaisemalla w yhtälöstä :\frac{(w-w_1)(w_2-w_3)}{(w-w_2)(w_1-w_3)} = \frac{(z-z_1)(z_2-z_3)}{(z-z_2)(z_1-z_3)} missä w1, w2, w3, z1, z2 ja z3 ovat edellä kiinnitetyt pisteet. Saamme :\frac{(w+1)(0-1)}{(w-0)(-1-1)} = \frac{(z-1)(i+1)}{(z-i)(1+1)} ⇔ \frac{w+1}{2w} = \frac{(z-1)(i+1)}{2(z-i)} ⇔ :(w+1)(z-i) = w(z-1)(i+1) ⇔ :wz - iw + z - i = zwi + zw - iw - w ⇔ z - i = w (iz - 1) ⇔ :w = \frac{z-i}{iz-1} == Katso myös == * Funktioteoria * Laajennettu kompleksitaso == Kirjallisuutta == * R. Hurri-Syrjänen: Funktioteoria 1 (Luentomuistiinpanot) * L. Myrberg:Funktioteoria 1 ja 2, osa 1 Limes ry 1971 * Luokka:Lien ryhmät Luokka:Projektiivinen geometria Luokka:Funktiot