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

Slika 2.1: Aksioma paralelnosti u Klajnovom modelu2.2 Veza Klajnovog modela sa projektivnom geometrijomPosmatrajmo sada Klajnov model kao restrikciju projektivnog prostora na unutrašnjostjedinične sfere. Jednačina sfere jex 2 + y 2 + z 2 = 1,odnosno, kada predemo na homogene koordinatex 2 1 + x 2 2 + x 2 3 − x 2 4 = 0Izometrije modela K moraju da čuvaju jedničnu sferu i rastojanje d k , pa moraju da čuvajui dvorazmeru. Preslikavanja koja čuvaju dvorazmeru su projektivna preslikavanja, pa semože reći da su izometrije Klajnovog modela projektivna preslikavanja koja čuvaju sferux 2 1 + x 2 2 + x 2 3 − x 2 4 = 0.2.3 Skalarni proizvod MinkovskogPrethodno razmatranje nas motiviše da na prostoru R 4 uvedemo nestandardni skalarniproizvod〈X, Y 〉 = x 1 y 1 + x 2 y 2 + x 3 y 3 − x 4 y 4 = X T JY,gde je J matrica skalarnog proizvoda⎡J =⎢⎣1 0 0 00 1 0 00 0 1 00 0 0 −1Primetimo da ovaj skalarni proizvod nije definitan i da postoje vektori čiji je kvadratnorme negativan. Prostor R 4 sa ovako zadatim skalarnim proizvodom naziva se prostorMinkovskog i označava sa R 3,1 . U njemu posmatrajmo ”sferu” (hiperboloid)S 3,1 = {X ∈ R 2,1 | ‖X‖ 2 = −1} = { (x 1 , x 2 , x 3 , x 4 ) | x 2 1 + x 2 2 + x 2 3 − x 2 4 = −1}Izometrije prostora R 3,1 su bijekcije koje čuvaju ”sferu” S 3,1 .5⎤⎥⎦

Slika 2.2: ”Sfera” S 3,1Napomena: Zbog nemogućnosti predstavljanja objekata u četiri dimenzije, na slikamau ovom poglavlju su skicirani trodimenzioni objekti. Primetimo da se sva razmatranjaanalogno uopštavaju na proizvoljan broj dimenzija.2.4 Hiperboloidni modelHiperboloidni model prostora Lobačevskog je gornja hiperpovrš ”sfere” S 3,1 , Zato udaljem tekstu kada se kaže sfera (hiperboloid) S 3,1 misli se na gornju hiperpovrš te sfere:x 2 1 + x 2 2 + x 2 3 − x 2 4 = −1, x 4 > 0.Tačke ovog modela su tačke sfere S 3,1 , prave su geodezijske linije na sferi, odnosnohiperbole koje se dobijaju u preseku sfere S 3,1 i hiperravni koje sadrže koordinatnipočetak. Skalarni proizvod Minkovskog indukuje metriku na hiperboloidnom modeluds 2 h = dx 2 1 + dx 2 2 + dx 2 3 − dx 2 4.Pronadimo sada funkciju rastojanja u modelu S 3,1 .Neka su X, Y proizvoljne tačke hiperboloidnog modela. Izometrijama ovog modela onese mogu preslikati u tačke ˜X, Ỹ ravni O x 1 , x 4:˜X = (x 1 , 0, 0, x 4 ),Ỹ = (y 1 , 0, 0, y 4 ).6

Slika 2.1: Aksioma paralelnosti u Klajnovom modelu2.2 Veza Klajnovog modela sa projektivnom geometrijomPosmatrajmo sada Klajnov model kao restrikciju projektivnog <strong>prostora</strong> na unutrašnjostjedinične sfere. Jednačina sfere jex 2 + y 2 + z 2 = 1,odnosno, kada predemo na homogene koordinatex 2 1 + x 2 2 + x 2 3 − x 2 4 = 0Izometrije modela K moraju da čuvaju jedničnu sferu i rastojanje d k , pa moraju da čuvajui dvorazmeru. Preslikavanja koja čuvaju dvorazmeru su projektivna preslikavanja, pa semože reći da su izometrije Klajnovog modela projektivna preslikavanja koja čuvaju sferux 2 1 + x 2 2 + x 2 3 − x 2 4 = 0.2.3 Skalarni proizvod MinkovskogPrethodno razmatranje nas motiviše da na prostoru R 4 uvedemo nestandardni skalarniproizvod〈X, Y 〉 = x 1 y 1 + x 2 y 2 + x 3 y 3 − x 4 y 4 = X T JY,gde je J matrica skalarnog proizvoda⎡J =⎢⎣1 0 0 00 1 0 00 0 1 00 0 0 −1Primetimo da ovaj skalarni proizvod nije definitan i da postoje vektori čiji je kvadratnorme negativan. Prostor R 4 sa ovako zadatim skalarnim proizvodom naziva se prostorMinkovskog i označava sa R 3,1 . U njemu posmatrajmo ”sferu” (hiperboloid)S 3,1 = {X ∈ R 2,1 | ‖X‖ 2 = −1} = { (x 1 , x 2 , x 3 , x 4 ) | x 2 1 + x 2 2 + x 2 3 − x 2 4 = −1}Izometrije <strong>prostora</strong> R 3,1 su bijekcije koje čuvaju ”sferu” S 3,1 .5⎤⎥⎦

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

Saved successfully!

Ooh no, something went wrong!