[go: up one dir, main page]
More Web Proxy on the site http://driver.im/Saltu al enhavo

Transformo de Möbius

Nuna versio (nereviziita)
El Vikipedio, la libera enciklopedio
Matematikaj funkcioj
Aroj: fonta aro, argumentaro, bildaro, cela aro (suma klarigo) • malbildo
Fundamentaj funkcioj
Algebraj funkcioj:
konstantalinearakvadratapolinomaracionalaTransformo de Möbius
Aliaj funkcioj:
trigonometriajinversa trigonometriahiperbolaeksponentalogaritmapotenca
Specialaj funkcioj
eraraβΓζηW de Lambertde Bessel
Nombroteoriaj funkcioj:
τσde Möbiusφπλ
Ecoj:
totaleco kaj partecopareco kaj malparecomonotonecobaritecoperiodecodisĵetecosurĵetecodissurĵeteco
kontinuecoderivaĵecointegralebleco
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

[redakti | redakti fonton]

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.

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 adbc ≠ 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

[redakti | redakti fonton]

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 jeno (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

[redakti | redakti fonton]

(Ĉ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

[redakti | redakti fonton]

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ŭ algebra kaj geometria signifeco. 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 sama spuro. Ĉiu Transformo de Möbius povas esti skribita tia (tiu, ke, kiu) ĝia (figuranta, prezentanta) matrico havas determinanto 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 fiksa punkto 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 fiksaj punktoj. Ĉ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 konstantomultiplikanto 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 prezentanto
Elipsa
Parabola
Hiperbola
_Loxodromic_

Fiksaj punktoj

[redakti | redakti fonton]

Ĉiu ne-identa Transformo de Möbius havas du fiksaj punktoj 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

[redakti | redakti fonton]

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 klaraj fiksaj punktoj tiam la transformo havas fiksaj punktoj 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

[redakti | redakti fonton]

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)

[redakti | redakti fonton]

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 grava fizika interpretado. 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)

[redakti | redakti fonton]

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 grava fizika interpretado. 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)

[redakti | redakti fonton]

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 ilia du fiksaj punktoj 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

[redakti | redakti fonton]

Ĉ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 fiksaj punktoj 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

[redakti | redakti fonton]

Se transformo havas fiksaj punktoj , 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

[redakti | redakti fonton]

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

[redakti | redakti fonton]

Proksimumo per rekta maniero

[redakti | redakti fonton]

Ĉ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

[redakti | redakti fonton]

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 determinanto egala 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

[redakti | redakti fonton]

Ĉ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 formo

Alpreni (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ŭ

[redakti | redakti fonton]

Referencoj

[redakti | redakti fonton]
  • (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

[redakti | redakti fonton]