Transformo de Möbius

Transformo de Möbius devus esti ne konfuzita kun la konverto de Möbius kaj la funkcio de Möbius.

En matematiko, Transformo de Möbius estas bijekcia konforma bildigo de la etenda kompleksa ebeno (kio estas la kompleksa ebeno pligrandigita per la punkto je malfinio):

La aro de ĉiuj transformoj de Möbius formas grupon sub komponaĵo nomita kiel la grupo de Möbius. Transformoj de Möbius estas nomataj ankaŭ kiel frakciaj linearaj transformoj.

 Ĝenerala priskribo 
La möbius-a grupo estas la aŭtomorfia grupo de la rimana sfero

Certaj subgrupoj de la möbius-a grupo formas aŭtomorfiajn grupojn de la aliaj simple-koneksaj rimanaj surfacoj (la kompleksa ebeno kaj la hiperbola ebeno). Kiel tia, möbius-aj transformoj ludas gravan rolon en la teorio de rimanaj surfacoj. La kovranta grupo de ĉiu rimana surfaco estas diskreta subgrupo de la möbius-a grupo (vidu grupon de Klein). möbius-aj transformoj estas ankaŭ proksime rilatanta al (izometrioj, izometrias) de hiperbolaj 3-duktoj.

Aparte grava subgrupo de la möbius-a grupo estas la modula grupo; ĝi estas centralo al la teorio de multaj fraktaloj, modulaj formoj, elipsaj kurboj, kaj Pellia ekvacioj.

En fiziko, la identa komponanto de la lorenca grupo agas sur la ĉiela sfero laŭ la sama maniero kiel la möbius-a grupo agas sur la rimana sfero. Fakte, ĉi tiuj du grupoj estas izomorfaj. Rigardanto kiu akcelas al relativisma rapideco vidos kiel la ŝablono de konstelacioj proksime al la Tero kontinue transformiĝas laŭ infinitezimaj möbius-aj transformoj. Ĉi tiu observado estas ofte prenita kiel la deirpunkto de twistor-teorio.

 Difino 
La ĝenerala formo de transformo de Möbius estas donita per

kie a, b, c, d estas kompleksaj nombroj tiuj ke ad − _bc_ ≠ 0. Ĉi tiu difino povas esti etendita al la tuta Rimana sfero (la kompleksa ebeno plus la punkto je malfinio) kun du specialaj okazoj:
 la punkto  estas mapita al 
 la punkto  estas mapita al 
Oni povas havi Möbius-ajn transformojn por la reelaj nombroj kaj ankaŭ por la kompleksaj nombroj. En ambaŭ okazoj, oni bezonas pligrandigi la domajnon per punkto je malfinio.

La kondiĉo ad − bc ≠ 0 asekuras ke la transformo estas inversigebla). La inversa transformo estas donita per

kun la samaj specialaj okazoj.

La aro de ĉiuj möbius-aj transformoj formas grupon sub komponaĵo. Ĉi tiu grupo povas esti strukturita kiel kompleksa dukto, kie komponaĵo kaj inversigo estas holomorfaj mapoj. La möbius-a grupo estas tiam komplekso Lie-grupo. Ĝi estas kutime signita , ĉar ĝi estas la aŭtomorfia grupo de la Rimana sfero.

 Projekciaj matricaj prezentoj 
La transformo

povas esti utile esprimita kiel matrico

La kondiĉo anonco − _bc_ ≠ 0 estas ekvivalento al la kondiĉo (tiu, ke, kiu) la determinanto de pli supre matrico esti nenulo (kio estas la matrico devus esti ne-singularo). (Tononomo, Noto, Noti) (tiu, ke, kiu) multiplikante  per (ĉiu, iu) kompleksa nombro λ donas pligrandiĝo al la sama transformo. Tiaj matricaj prezentoj estas (nomita, vokis) projekciaj prezentoj por kaŭzoj eksplikis pli sube. Ĝi estas ofte oportuna al ununormigi  por ke ĝia determinanto estas egala al 1. La matrico  estas tiam unika supren al signo.

La utileco de ĉi tiu prezento estas (tiu, ke, kiu) la komponaĵo de du Möbius-a (transformoj, transformas) korespondas precize al matrica multipliko de la korespondantaj matricoj. Tio estas, se ni difini mapo

de la ĝenerala lineara grupo Gl(2,C) al la Möbius-a grupo
kiu sendas la matrico  al la transformo f, tiam ĉi tiu mapo estas grupa homomorfio.

La mapo  estas ne izomorfio, ekde ĝi (mapoj, mapas) (ĉiu, iu) skalaro multaj de  al la sama transformo. La kerno de ĉi tiu homomorfio estas tiam la aro de ĉiuj skalaraj matricoj Z(2,C). La kvocienta grupo Gl(2,C)/Z(2,C) estas (nomita, vokis) la projekcia lineara grupo kaj estas kutime signifita _PGL_(2,C). Per la unua izomorfia teoremo de grupa teorio ni konkludi (tiu, ke, kiu) la Möbius-a grupo estas izomorfia al _PGL_(2,C). Ankaŭ, la natura ago de _PGL_(2,C) sur la kompleksa projekcia linio _CP_1 estas akurate la natura ago de la Möbius-a grupo sur la Rimana sfero kiam la sfero kaj la projekcia linio estas (identigita, identigita) kiel sekvas:

Ĉi tie [z1:z2] estas homogenaj koordinatoj sur _CP_1.

Se unu ununormigas  por ke la determinanto estas egala al unu, la mapo  limigas al (surjekcia, surĵeta) mapo de la speciala lineara grupo _SL_(2,C) al la Möbius-a grupo. La Möbius-a grupo estas pro tio ankaŭ izomorfia al _PSL_(2,C). Ni tiam havi jenon (izomorfioj, izomorfias):

De la lasta identigo ni vidi (tiu, ke, kiu) la Möbius-a grupo estas 3-dimensia komplekso (Mensogi, Kuŝi) grupo (aŭ 6-dimensia (reala, reela) (Mensogi, Kuŝi) grupo).

(Tononomo, Noto, Noti) (tiu, ke, kiu) estas precize du matrica unuhava determinanto kiu povas kutimi prezenti (ĉiu, iu) donita Transformo de Möbius. Tio estas, _SL_(2,C) estas duopa kovri de _PSL_(2,C). Ekde _SL_(2,C) estas simple-koneksa ĝi estas la universala kovri de la Möbius-a grupo. La fundamenta grupo de la Möbius-a grupo estas tiam Z2.

 Propraĵoj 
(Ĉiu, Iu) Transformo de Möbius povas esti (verkita, komponita) de la rudimenta (transformoj, transformas): _dilations_, (tradukoj, tradukas, translacioj, translacias) kaj (renversaĵoj, renversaĵas, inversigoj, inversigas). Se ni difini linio al esti cirklo (trairanta, pasanta) tra malfinio, tiam ĝi povas esti montrita (tiu, ke, kiu) Transformo de Möbius (mapoj, mapas) cirkloj al cirkloj, per (aspektanta, rigardanta) je ĉiu rudimenta transformo.

La kruci-rilata konservada teoremo ŝtatoj (tiu, ke, kiu) la
kruci-rilato

estas invarianto sub Transformo de Möbius (tiu, ke, kiu) (mapoj, mapas) de z al w.

La ago de la Möbius-a grupo sur la Rimana sfero estas akre 3-transitiva en la senco ke tiu estas unika Transformo de Möbius kiu prenas ĉiujn tri klarajn punktojn sur la Rimana sfero al ĉiu alia aro de tri klaraj punktoj. Vidi la sekcio pli sube sur preciziganta transformo per tri punktoj.

 Klasifiko 
Möbius-a (transformoj, transformas) estas kutime (klasifikita, klasigita) enen kvar (klavas, tipoj), parabola, elipsa, hiperbola kaj _loxodromic_ (reale hiperbola estas speciala okazo de _loxodromic_). La klasifiko havas ambaŭ algebran kaj geometrian signifecon. Geometrie, la malsama (klavas, tipoj) rezulto en malsama (transformoj, transformas) de la kompleksa ebeno, kiel la (ciferoj, ciferas, geometriaj figuroj, figuroj, figuras) pli sube ilustri. Ĉi tiuj (klavas, tipoj) povas esti (distingita, invarianta, memkonjugita, normala, diferencigis) per (aspektanta, rigardanta) je la spuro . (Tononomo, Noto, Noti) (tiu, ke, kiu) la spuro estas invarianto sub konjugo, tio estas,

kaj (do, tiel) ĉiu membro de _conjugacy_ klaso estos havi la saman spuron. Ĉiu Transformo de Möbius povas esti skribita tia (tiu, ke, kiu) ĝia (figuranta, prezentanta) matrico  havas determinanton unu (per multiplikante la elementoj kun taŭgi skalaro). Du Möbius-a (transformoj, transformas)  (ambaŭ ne egala al la idento (konverti, konverto)) kun  estas konjugita se kaj nur se .

En jena diskuto ni estos ĉiam alpreni (tiu, ke, kiu) la (figuranta, prezentanta) matrico  estas ununormigita tia (tiu, ke, kiu) .

Parabola (konvertas, konvertoj)
La (konverti, konverto) estas dirita al esti parabola se
.
(Konverti, Konverto) estas parabola se kaj nur se ĝi havas unu fiksan punkton en la _compactified_ kompleksa ebeno . Ĝi estas parabola se kaj nur se ĝi estas konjugita al

.

La subgrupo de parabola (konvertas, konvertoj) estas ekzemplo de Borela subgrupo, kiu ĝeneraligas la ideo al pli altaj dimensioj.

Ĉiu alia ne-idento (transformoj, transformas) havi du fiksajn punktojn. Ĉiuj ne-parabola (ne-idento) (konvertas, konvertoj) estas konjugita al

kun  ne egala al 0,1 aŭ -1. La kvadrato  estas (nomita, vokis) la karakteriza konstanto aŭ multiplikanto de la transformo.

Elipsa (konvertas, konvertoj)
La (konverti, konverto) estas dirita al esti elipsa se
.
(Konverti, Konverto) estas elipsa se kaj nur se . Skribanta , elipsa (konverti, konverto) estas konjugita al

kun  (reala, reela). (Tononomo, Noto, Noti) (tiu, ke, kiu) por (ĉiu, iu) , la karakteriza konstanto de  estas . Tial, la nur Möbius-a (transformoj, transformas) de finia (mendi, ordo) estas la elipsa (transformoj, transformas), kaj ĉi tiuj nur kiam λ estas radiko de unueco; ekvivalente, kiam α estas (racionala, racionalo) multaj de pi.

Hiperbola (konvertas, konvertoj)
La (konverti, konverto) estas dirita al esti hiperbola se

.
(Konverti, Konverto) estas hiperbola se kaj nur se λ estas (reala, reela) kaj pozitiva.

_Loxodromic_ (konvertas, konvertoj)
La (konverti, konverto) estas dirita al esti _loxodromic_ se  estas ne en la segmento de [0,4]. Hiperbola (konvertas, konvertoj) estas tial speciala okazo de _loxodromic_ (transformoj, transformas). Transformo estas _loxodromic_ se kaj nur se . Historie, navigado per _loxodrome_ aŭ _rhumb_ linio (ligas, referas) al vojo de konstanto (ursanta, lagro); la rezultanta vojo estas logaritma spiralo, simila en formo al la (transformoj, transformas) de la kompleksa ebeno (tiu, ke, kiu) _loxodromic_ Transformo de Möbius (konstruas, faras). Vidi la geometria (ciferoj, ciferas, geometriaj figuroj, figuroj, figuras) pli sube.

 Transformo  Spuro (kvadratis, placita, kvadratigita)  (Multiplikantoj, Multiplikantas) Klasa prezentantoElipsa    Parabola    Hiperbola    _Loxodromic_    

 Fiksaj punktoj 
Ĉiu ne-identa Transformo de Möbius havas du fiksajn punktojn  sur la Rimana sfero. (Tononomo, Noto, Noti) (tiu, ke, kiu) la fiksaj punktoj estas grafita ĉi tie kun obleco; por parabola (transformoj, transformas), la fiksaj punktoj koincidi. Ĉu aŭ ambaŭ de ĉi tiuj fiksaj punktoj (majo, povas) esti la punkto je malfinio.

La fiksaj punktoj de la transformo

estas ricevita per solvanta la fiksa punkta ekvacio . Por , ĉi tiu havas du (radikoj, radikas) (pruvo):

(Tononomo, Noto, Noti) (tiu, ke, kiu) por parabola (transformoj, transformas), kiu kontentigi , la fiksaj punktoj koincidi.

Kiam  unu de la fiksaj punktoj estas je malfinio, la alia estas donita per

La transformo estos esti simpla transformo (verkis, komponita) de (tradukoj, tradukas, translacioj, translacias), (rotacioj, rotacias), kaj _dilations_: .

Se  kaj , tiam ambaŭ fiksaj punktoj estas je malfinio, kaj la Transformo de Möbius korespondas al pura traduko: .

 Normala formo 
Möbius-a (transformoj, transformas) estas ankaŭ iam skribita en (termoj, kondiĉoj, terminoj, termas, terminas) de iliaj fiksaj punktoj en (do, tiel)-(nomita, vokis) normala formo. Ni unua (trakti, kuraci) la ne-parabola (kesto, okazo), por kiu estas du klaraj fiksaj punktoj.

Ne-parabola (kesto, okazo):

Ĉiu ne-parabola transformo estas konjugita al _dilation_, kio estas transformo de la (formo, formi)

kun fiksaj punktoj je 0 kaj ∞. Al vidi ĉi tiu difini mapo

kiu sendas la punktoj  al . Ĉi tie ni alpreni (tiu, ke, kiu) ambaŭ  kaj  estas finia. Se unu de ilin estas jam je malfinio tiam g povas esti aliigita (do, tiel) rilate (fiksi, neŝanĝebligi) malfinio kaj sendi la alia punkto al 0.

Se f havas klarajn fiksajn punktojn  tiam la transformo  havas fiksajn punktojn je 0 kaj ∞ kaj estas pro tio _dilation_: . La fiksa punkta ekvacio por la transformo f povas tiam esti skribita

Solvanta por f donas (en matrico (formo, formi)):

aŭ, se unu de la fiksaj punktoj estas je malfinio:

De la pli supre esprimoj unu povas kalkuli la derivaĵoj de f je la fiksaj punktoj:

 kaj 

Observi (tiu, ke, kiu), donita (ordenanta, mendanta, ordanta, dimensianta, komandanta, ordigo) de la fiksaj punktoj, ni povas (distingi, diferencigi) unu de la (multiplikantoj, multiplikantas) (k) de f kiel la karakteriza konstanto de f. Dorsflankanta la (mendi, ordo) de la fiksaj punktoj estas ekvivalento al prenante la inversa multiplikanto por la karakteriza konstanto:

Por _loxodromic_ (transformoj, transformas), ĉiam , unu diras (tiu, ke, kiu)  estas la forloga fiksa punkto, kaj  estas la alloga fiksa punkto. Por , la (roloj, rolas) estas dorsflankita.

Parabola (kesto, okazo):

En la parabola (kesto, okazo) estas nur unu fiksa punkto . La transforma sendanta punkto al ∞ estas

aŭ la idento se  estas jam je malfinio. La transformo  _fixes_ malfinio kaj estas pro tia traduko:

Ĉi tie, β estas (nomita, vokis) la traduka longo. La fiksa punkta formulo por parabola transformo estas tiam

.

Solvanta por f (en matrico (formo, formi)) donas

aŭ, se :

(Tononomo, Noto, Noti) (tiu, ke, kiu)  estas ne la karakteriza konstanto de f, kiu estas ĉiam 1 por parabola transformo. De la pli supre esprimoj unu povas kalkuli:

 Geometria interpretado de la karakteriza konstanto 
Jena bildo prezentas (post _stereographic_ transformo de la sfero al la ebeno) la du fiksaj punktoj de Transformo de Möbius en la ne-parabola (kesto, okazo):

Image:Mobius_Identity.jpeg

La karakteriza konstanto povas esti esprimita en (termoj, kondiĉoj, terminoj, termas, terminas) de ĝia logaritmo:

Kiam esprimita en tiamaniere, la reela nombro  iĝas elvolvaĵa faktoro. Ĝi indikas kiel forloga la fiksa punkto  estas, kaj kiel alloga  estas.
La reela nombro  estas rotacia faktoro, indikanta kiagrade la (konverti, konverto) turnas la ebeno kontraŭ-dekstrume pri  kaj dekstrume pri .

 Elipsa (transformoj, transformas) 
Se , tiam la fiksaj punktoj estas neniu alloga nek forloga sed indiferenta, kaj la transformo estas dirita al esti _elliptical_. Ĉi tiuj (transformoj, transformas) flegi movi ĉiuj punktoj en cirkloj ĉirkaŭ la du fiksaj punktoj. Se unu de la fiksaj punktoj estas je malfinio, ĉi tiu estas ekvivalento al farante afina rotacio ĉirkaŭ punkto.

Se ni preni la unu-parametra subgrupo generita per (ĉiu, iu) elipsa Transformo de Möbius, ni ricevi kontinua transformo, tia (tiu, ke, kiu) ĉiu transformo en la subgrupo _fixes_ la sama du punktoj. Ĉiuj aliaj punktoj (flui, fluo) laŭ familio de cirkloj kiu estas (nestita, nestis) inter la du fiksaj punktoj sur la Rimana sfero. En ĝenerala, la du fiksaj punktoj povas esti (ĉiu, iu) du klaraj punktoj.

Ĉi tiu havas gravan fizikan interpretadon.
Imagi (tiu, ke, kiu) iu rigardanto turnas kun konstanta akraflanka rapido pri iu akso. Tiam ni povas preni la du fiksaj punktoj al esti la Nordo kaj Sudo (polusoj, polusas) de la ĉiela sfero. La (aper(aĵ)o, aspekto) de la nokta ĉielo estas nun konvertis kontinue en akurate la maniero priskribis per la unu-parametra subgrupo de elipsa (transformoj, transformas) (kotizanta, kvotanta, akcianta, komuniganta, partanta) la fiksaj punktoj , kaj kun la nombro  korespondanta al la konstanta akraflanka rapido de nia rigardanto.

Jen iu (ciferoj, ciferas, geometriaj figuroj, figuroj, figuras) ilustranta la efiki de elipsa Transformo de Möbius sur la Rimana sfero (post _stereographic_ projekcio al la ebeno):

 Image:Mobius_Small_Neg_Elliptical.jpeg  Image:Mobius_Large_Neg_Elliptical.jpeg Image:Mobius_Small_Pos_Elliptical.jpeg  Image:Mobius_Large_Pos_Elliptical.jpeg

Ĉi tiuj (bildoj, bildas) ilustri la efiki de sola Transformo de Möbius. La unu-parametra subgrupa kiu ĝi (generas, naskas) kontinue movas punktoj laŭ la familio de cirkulero (arkoj, arkas, eĝoj, eĝas) sugestita per la (bildoj, bildas).

 Hiperbola (transformoj, transformas) 
Se  estas nulo (aŭ multaj de ), tiam la transformo estas dirita al esti hiperbola. Ĉi tiuj (transformoj, transformas) flegi movi punktoj laŭ cirkuleraj vojoj de unu fiksa punkto al la alia.

Se ni preni la unu-parametra subgrupo generita per (ĉiu, iu) hiperbola Transformo de Möbius, ni ricevi kontinua transformo, tia (tiu, ke, kiu) ĉiu transformo en la subgrupo _fixes_ la sama du punktoj. Ĉiuj aliaj punktoj (flui, fluo) laŭ certa familio de cirkulero (arkoj, arkas, eĝoj, eĝas) for de la unua fiksa punkto kaj al la (sekundo, dua) fiksa punkto. En ĝenerala, la du fiksaj punktoj (majo, povas) esti (ĉiu, iu) du klaraj punktoj sur la Rimana sfero.

Ĉi tiu ankaŭ havas gravan fizikan interpretadon. Imagi (tiu, ke, kiu) rigardanto akcelas (kun konstanta grandeco de akcelo) direkte al la Norda poluso sur lia ĉiela sfero. Tiam la (aper(aĵ)o, aspekto) de la nokta ĉielo estas konvertita en akurate la maniero priskribis per la unu-parametra subgrupo de hiperbola (transformoj, transformas) (kotizanta, kvotanta, akcianta, komuniganta, partanta) la fiksaj punktoj , kun la reela nombro  korespondanta al la grandeco de lia akcela vektoro. La (steloj, astroj) aspekti al movi laŭ (longitudoj, longitudas), for de la Suda poluso al la Norda poluso. (La (longitudoj, longitudas) aperi kiel cirkulero (arkoj, arkas, eĝoj, eĝas) sub _stereographic_ projekcio de la sfero al la ebeno).

Jen iu (ciferoj, ciferas, geometriaj figuroj, figuroj, figuras) ilustranta la efiki de hiperbola Transformo de Möbius sur la Rimana sfero (post _stereographic_ projekcio al la ebeno):

 Image:Mobius_Small_Neg_Hyperbolic.jpeg  Image:Mobius_Large_Neg_Hyperbolic.jpeg Image:Mobius_Small_Pos_Hyperbolic.jpeg  Image:Mobius_Large_Pos_Hyperbolic.jpeg

Ĝi estas ne surprizanta (tiu, ke, kiu) ĉi tiuj (bildoj, bildas) (aspekti, aspekto, rigardi) treege ŝati la kampaj linioj de (mezuro, drinkejo, bari) (magnetoj, magnetas), ekde la cirkulero (flui, fluo) linioj substreĉi konstanta angulo inter la du fiksaj punktoj.

 _Loxodromic_ (transformoj, transformas) 
Se ambaŭ ρ kaj α estas nenulo, tiam la transformo estas dirita al esti _loxodromic_. Ĉi tiuj (transformoj, transformas) flegi movi ĉiuj punktoj en S-formis vojoj de unu fiksa punkto al la alia.

La vorto "_loxodrome_" estas de la Greko: "_loxos_, oblikvanta + _dromos_, kurso". Kiam velanta sur konstanto (ursanta, lagro) - se vi flegi (kapanta, kapetanta, kranianta, rubriko) de (diri) nordo-oriento, vi estos eble hisi velanta ĉirkaŭ la norda poluso en logaritma spiralo. Sur la _mercator_ projekcia tia kurso estas rekto, kiel la nordo kaj sudo (polusoj, polusas) (projekcii, projekto) al malfinio. La angulo (tiu, ke, kiu) la _loxodrome_ substreĉas relativa al la linioj de longitudo (ie, ĝia inklino, la "_tightness_" de la spiralo) estas la argumento de k. Kompreneble, Möbius-a (transformoj, transformas) (majo, povas) havi ilian du fiksajn punktojn ie, ne (justa, ĵus) je la nordo kaj sudo (polusoj, polusas). Sed (ĉiu, iu) _loxodromic_ transformo estos esti konjugita al (konverti, konverto) (tiu, ke, kiu) movas ĉiuj punktoj laŭ tia _loxodromes_.

Se ni preni la unu-parametra subgrupo generita per (ĉiu, iu) _loxodromic_ Transformo de Möbius, ni ricevi kontinua transformo, tia (tiu, ke, kiu) ĉiu transformo en la subgrupo _fixes_ la sama du punktoj. Ĉiuj aliaj punktoj (flui, fluo) laŭ certa familio de kurboj, for de la unua fiksa punkto kaj al la (sekundo, dua) fiksa punkto. Malverŝajne la hiperbola (kesto, okazo), ĉi tiuj kurboj estas ne cirkulero (arkoj, arkas, eĝoj, eĝas), sed certaj kurboj kiu sub _stereographic_ projekcio de la sfero al la ebeno aperi kiel spiralaj kurboj kiu tordi kontraŭhorloĝnadla malfinie ofte ĉirkaŭ unu fiksa punkto kaj tordi dekstrume malfinie ofte ĉirkaŭ la alia fiksa punkto. En ĝenerala, la du fiksaj punktoj (majo, povas) esti (ĉiu, iu) du klaraj punktoj sur la Rimana sfero.

Vi povas kredeble konjekti, ke la fizika interpretado en la kazo, kiam la du fiksaj punktoj estas : rigardanto kiu estas ambaŭ turnanta (kun konstanta akraflanka rapido) pri iu akso kaj kun konstanta grandeco akceliĝas laŭ la sama akso, estos vidi la aperaĵon de la nokta ĉielo transformita laŭ la unu-parametra subgrupo de loksodromiaj transformoj kun fiksaj punktoj , kaj kun  difinita respektive per la grandeco de akcelo kaj akraflanka rapido.

Jen iuj bildoj ilustrantaj la efikoj de loksodromia transformo:

 Image:Mobius_Small_Loxodromic.jpeg  Image:Mobius_Large_Loxodromic.jpeg

 Stereografia projekcio 
Ĉi tiuj bildoj montri Möbius-a (transformoj, transformas) _stereographically_ (projekciis, projektita) sur la Rimana sfero. (Tononomo, Noto, Noti) en aparta (tiu, ke, kiu) kiam (projekciis, projektita) sur sfero, la speciala okazo de fiksa punkto je malfinio (aspektas, aspektoj, rigardas) ne malsama al havanta la fiksajn punktojn en ajna loko.

 Elipsa Hiperbola  _Loxodromic_ Unu fiksa punkto je Malfinio Image:Mob3d-elip-inf-200.png  Image:Mob3d-hyp-inf-200.png  Image:Mob3d-lox-inf-200.png Fiksaj punktoj _diametrically_ kontraŭa Image:Mob3d-elip-opp-200.png  Image:Mob3d-hyp-opp-200.png  Fiksaj punktoj en ajna loko Image:Mob3d-elip-arb-200.png  Image:Mob3d-hyp-arb-200.png  Image:Mob3d-lox-arb-200.png

 Ripetanta transformo 
Se transformo  havas fiksajn punktojn , kaj karakteriza konstanto 'k, tiam  estos havi .

Ĉi tiu povas kutimi ripeti transformo, aŭ al animi unu per rompanta ĝi supren enen (ŝtupoj, ŝtupas, paŝas).

Ĉi tiuj bildoj montri tri punktoj ((ruĝa, legita), blua kaj nigra) kontinue ripetis sub (transformoj, transformas) kun diversa karakterizo (konstantoj, konstantas).

 Image:Mobius23621.jpeg  Image:Mobius23623.jpeg  Image:Mobius23624.jpeg Image:Mobius23625.jpeg

Simila koncepto estas la krajono de transformoj, kie la transformoj estas parametrigitaj kaj formas kontinuon.

 Malfiniigantoj de la transformo 
La punkto

estas la malfiniiganto de ; ĉe tiu punkto, la valoroj de  estas mallime grandaj.

La inversa malfiniiganto

estas la punkto al kiu la punkto je malfinio estas bildigata.
La punkto _midway_ inter la du (polusoj, polusas) estas ĉiam la sama kiel la punkto _midway_ inter la du fiksaj punktoj:

Ĉi tiuj kvar punktoj estas verticoj de paralelogramo kiu estas kelkfoje nomata la karakteriza paralelogramo de la transformo.

(Konverti, Konverto)  povas esti precizigita kun du fiksaj punktoj  kaj la poluso .

Ĉi tiu permesas al ni derivi formulo por konvertiĝo inter  kaj  donita :

Kiu reduktas lanugo al

La lasta esprimo koincidas kun unu de la (reciproke (reciproka, reciprokaĵo, inverso)) ajgeno (rilatoj, rilatas, kvocientoj, kvocientas)  de la matrico

(figuranta, prezentanta) la (konverti, konverto) (kompari la diskuto en la antaŭvenanta sekcio pri la karakteriza konstanto de transformo). Ĝia karakteriza polinomo estas egala al

kiu havas (radikoj, radikas)

 Preciziganta transformo per tri punktoj 
 Proksimumo per rekta maniero 
Ĉiu aro de tri punktoj

unike difinas transformon . Por kalkuli ĉi tiun eksteren, estas oportune utiligi transformon, tio estas per ebeno kun tri punktoj sur (0,0), (1, 0) kaj la punkto je malfinio.

Unu povas forigi la (infinitoj, infinitas, malfinioj, malfinias, nefinioj, nefinias) per multiplikante ekster per  kaj  kiel antaŭe (tononomis, notita).

La matrico  al mapo  sur  tiam iĝas

Vi povas multipliki ĉi tiu ekster, se vi bezono, sed se vi estas skribanta kodo tiam ĝi's pli simpla al uzi nedaŭra (variabloj, variablas) por la mezo (termoj, kondiĉoj, terminoj, termas, terminas).

 Eksplicita determinanta formulo 
La problemo de konstruanta Transformo de Möbius  (mapanta, bildigo) triopo  al alia triopo  estas ekvivalento al trovanta la ekvacio de norma hiperbolo

en la (z,w)-ebeno (trairanta, pasanta) tra la punktoj . Eksplicita ekvacio povas troviĝi per pritaksanta la determinanto

per Laplaca elvolvaĵo laŭ la unua (linio, vico). Ĉi tiuj rezultoj en la determinantaj formuloj

por la koeficientoj  de la (figuranta, prezentanta) matrico . La konstruis matrico  havas determinanton egalan al  kiu ne nuliĝi se la zmi _resp_. wmi estas duoplarĝa malsama tial la Transformo de Möbius estas bone-difinita.

Mallaŭdo: A simila determinanto (kun  (anstataŭigita, anstataŭigis) per ) (plumboj, plumbas, kondukas) al la ekvacio de cirklo tra tri malsama (ne samrekta) punktoj en la ebeno.

 Cetera maniero uzante kruci-rilatojn de kvar punktoj 
Ĉi tiu konstruado ekspluatas la fakton (menciitan en la unua sekcio), ke la kruci-rilato

estas invarianto sub Transformo de Möbius (mapanta, bildigo) kvaropo  al  tra . Se  (mapoj, mapas) triopo  de duoplarĝa malsama zmi al alia triopo , tiam la Transformo de Möbius  estas difinita per la ekvacio

aŭ skribita ekster en (betono, konkreta) (termoj, kondiĉoj, terminoj, termas, terminas):

La lasta ekvacio povas esti konvertita enen

Solvanta ĉi tiu ekvacio por  unu ricevas la _sought_ transformo.Rilato al la fiksa punkta normala formoAlpreni (tiu, ke, kiu) la punktoj  estas la du (malsama) fiksaj punktoj de la Konverto de Möbius  kio estas . Skribi . La lasta ekvacio

tiam legas

En la antaŭa sekcio sur normala forma Konverto de Möbius kun du fiksaj punktoj  estis esprimita uzanta la karakteriza konstanto k de la (konverti, konverto) kiel

(Komparanta, Kontrastiganta) ambaŭ esprimoj unu derivas la egaleco

kie  estas malsama de la fiksaj punktoj  kaj  estas la bildo de z1  sub . En aparta la kruci-rilato

ne dependi sur la elekto de la punkto z (malsama de la du fiksaj punktoj) kaj estas egala al la karakteriza konstanto.

 Vidu ankaŭ 
 August Ferdinand Möbius
 Grupo de Fuchs
 Hiperbola geometrio
 Inversa ringa geometrio
 Grupo de Klein
 Lorenca grupo
 Modula grupo
 Poincaré-duonebena modelo
 Projekcia geometrio
 Dulineara konverto

 Referencoj 
 (Celita je ne-matematikistoj, provizas bonegan montraĵon pri teorio kaj rezultoj, riĉe ilustrita per figuroj.) (Vidi ĉapitrojn 3-5 de ĉi tiu klasika libro por bela enkonduko al la Rimana sfero, stereografia projekcio, kaj Möbius-transformoj.) (Vidu ĉapitron 3 por bele ilustrita enkonduko al transformoj de Möbius inkludanta ilian klasifikon) Vidi ĉapitron 2.

 (Vidi Ĉapitron 2 por diversaj izomorfioj, kaj por la Lorenca grupo vidita kiel Galezagrupo.) (Vidi ĉapitron 6 por la klasifiko, supren al konjugacio de la kruca algebro de la Lorenca grupo.)''

 Eksteraj ligiloj 

 A java-apleto permesanta precizigi transformon tra ĝiaj fiksaj punktoj kaj tiel plu povas troviĝi je uzantas)._bigpond_._com_/_pmurray_/Javo/_MoebApplet_.html.

Kategorio:Projekcia geometrio
Kategorio:Konforma geometrio
Kategorio:Topologiaj grupoj
Kategorio:Sternaĵoj
Kategorio:Diferenciala topologio
Kategorio:Diferenciala geometrio
Kategorio:Grupo-teorio
Kategorio:Rimanaj surfacoj