Vizualizacija prostora Lobacevskog - Alas

Vizualizacija prostora Lobacevskog - Alas Vizualizacija prostora Lobacevskog - Alas

alas.matf.bg.ac.rs
from alas.matf.bg.ac.rs More from this publisher
13.07.2015 Views

Pokažimo najpre da jednakost važi za slučaj kada su tačke X h , Y h sfere S 3,1 u ravni O x1 ,x 4.Tada su i njihove slike X k , Y k ∈ K, takode u ravni O x1 ,x 4.Slika 2.6: Izometrija Klajnovog i hiperboloidnog modelaX h = (x 1 , 0, 0, x 4 ) = (sinh t x , 0, 0, cosh t x ),Y h = (y 1 , 0, 0, y 4 ) = (sinh t y , 0, 0, cosh t y ),( )x1X k = , 0, 0, 1 = (tanh t x , 0, 0, 1),x( 4)y1Y k = , 0, 0, 1 = (tanh t y , 0, 0, 1).y 4Slika 2.7: Klajnov modelPresečne tačke prave X k Y k sa apsolutom su P = (1, 0, 0, 1) i Q = (−1, 0, 0, 1), pa je[X k , Y k ; P, Q] = XPXQ : Y Px 1Y Q = x 4− 1x 1y 1x 4+ 1 : y 4− 1y 1y 4+ 1 == tanh t x − 1tanh t x + 1 : tanh t y − 1tanh t y + 1 = (1)= e −2tx : e −2ty = e 2(ty−tx) .9

Iskoristili smo da jetanh t − 1tanh t + 1esinh t − cosh tt −e −t=sinh t + cosh t =− et +e −t2 2e t −e −t+ et +e −t2 2= −e−te t = −e −2t .Logaritmovanjem obe strane jednakosti (1), dobijamoln[X k , Y k ; P, Q] = 2(t y − t x ),12 | ln[X k, Y k ; P, Q]| = |t y − t x |,d k (X k , Y k ) = d h ((X h , Y h )).Izometrijama ovih modela proizvoljni parovi tačaka se mogu prevesti u parove tačakaravni O x1 ,x 4, pa prethodna jednakost važi u opštem slučaju.Pokazano je da ovo preslikavanje čuva rastojanja,Klajnovog i hiperboloidnog modela.dakle jeste izometrija izmedu2.6 Poenkareov sferni modelPoenkareov sferni model P je unutrašnjost jedinične sfere (apsolute). Prave tog modela sulukovi krugova normalnih na apsolutu i prečnici apsolute. Ravni su delovi sfera normalnihna apsolutu i veliki krugovi apsolute. Metriku zadajemo sads 2 p = 4 dx2 + dy 2 + dz 2(1 − x 2 − y 2 − z 2 ) 2 .Pokažimo da je ovaj model izometričan sa Klajnovim modelom (slika 2.8).Posmatrajmo modele P i K u prostoru R 4 .Apsoluta oba modela je sferaP, K : x 2 + y 2 + z 2 < 1, w = 0.S : x 2 + y 2 + z 2 = 1.Neka je σ jednična sfera u prostoru R 4 , a N njen severni pol.σ : x 2 + y 2 + z 2 + w 2 = 1, N(0, 0, 0, 1).Projektujmo tačku A ∈ P stereografskom projekcijom ϕ iz tačke N u tačku Ā ∈ σdonje polusfere sfere σ. Zatim normalnom projekcijom φ isprojektujemo tačku Ā u tačkuA ′ ∈ K ravni w = 0. Kompozicija φ ◦ ϕ slika unutrašnjost sfere S u donju polusferu sfereσ, a zatim nazad u unutrašnjost sfere S. To je bijekcija koja sve tačke sfere S ostavljainvarijantnim. Pronadimo njen eksplicitni oblik.φ ◦ ϕ : P −→ KA (x p , y p , z p , 0)ϕ↦→ Ā (x, y, z, w) φ↦→ A ′ (x k , y k , z k , 0)10

Iskoristili smo da jetanh t − 1tanh t + 1esinh t − cosh tt −e −t=sinh t + cosh t =− et +e −t2 2e t −e −t+ et +e −t2 2= −e−te t = −e −2t .Logaritmovanjem obe strane jednakosti (1), dobijamoln[X k , Y k ; P, Q] = 2(t y − t x ),12 | ln[X k, Y k ; P, Q]| = |t y − t x |,d k (X k , Y k ) = d h ((X h , Y h )).Izometrijama ovih modela proizvoljni parovi tačaka se mogu prevesti u parove tačakaravni O x1 ,x 4, pa prethodna jednakost važi u opštem slučaju.Pokazano je da ovo preslikavanje čuva rastojanja,Klajnovog i hiperboloidnog modela.dakle jeste izometrija izmedu2.6 Poenkareov sferni modelPoenkareov sferni model P je unutrašnjost jedinične sfere (apsolute). Prave tog modela sulukovi krugova normalnih na apsolutu i prečnici apsolute. Ravni su delovi sfera normalnihna apsolutu i veliki krugovi apsolute. Metriku zadajemo sads 2 p = 4 dx2 + dy 2 + dz 2(1 − x 2 − y 2 − z 2 ) 2 .Pokažimo da je ovaj model izometričan sa Klajnovim modelom (slika 2.8).Posmatrajmo modele P i K u prostoru R 4 .Apsoluta oba modela je sferaP, K : x 2 + y 2 + z 2 < 1, w = 0.S : x 2 + y 2 + z 2 = 1.Neka je σ jednična sfera u prostoru R 4 , a N njen severni pol.σ : x 2 + y 2 + z 2 + w 2 = 1, N(0, 0, 0, 1).Projektujmo tačku A ∈ P stereografskom projekcijom ϕ iz tačke N u tačku Ā ∈ σdonje polusfere sfere σ. Zatim normalnom projekcijom φ isprojektujemo tačku Ā u tačkuA ′ ∈ K ravni w = 0. Kompozicija φ ◦ ϕ slika unutrašnjost sfere S u donju polusferu sfereσ, a zatim nazad u unutrašnjost sfere S. To je bijekcija koja sve tačke sfere S ostavljainvarijantnim. Pronadimo njen eksplicitni oblik.φ ◦ ϕ : P −→ KA (x p , y p , z p , 0)ϕ↦→ Ā (x, y, z, w) φ↦→ A ′ (x k , y k , z k , 0)10

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!