O hiperbolični geometriji

delo diplomskega seminarja

Nika Kastelec (Avtor), Pavle Saksida (Mentor)

Povzetek

V nalogi spoznamo hiperbolično geometrijo prek treh modelov. Prvi obravnavani model je model zgornje polravnine ${\mathcal H}$, ki ga dobimo tako, da zgornjo polravnino opremimo s prvo fundamentalno formo psevdosfere, za katero smo dokazali,da ima konstantno negativno Gaussovo ukrivljenost. Ogledamo si, kaj so geodetke,ki jih imenujemo hiperbolične premice. Izpeljemo formulo za razdaljo na ${\mathcal H}$, $d(a, b) = 2 \tanh^{-1} {|b-a| \over |b-a|}$. Pokažemo, da so izometrije ${\mathcal H}$ translacije, vzporedne realni osi, zrcaljenja preko premic, vzporednih imaginarni osi, skaliranje za pozitiven realen faktor in zrcaljenje prek krožnice s središčem na realni osi ter končni kompozitumi naštetih preslikav. S preslikavo ${\mathcal P}(z)={z-i \over z+i}$ polravnino ${\mathcal H}$ preslikamo na enotski disk in ga opremili s tako prvo fundamentalno formo, da je preslikava ${\mathcal P}$ izometrija. S tem dobimo nov model hiperbolične geometrije imenovan Poincaréjev disk. Na tem modelu si ogledamo, kako izgleda vzporednost v hiperbolični geometriji, in ugotovili, da je smislno pojem vzporednosti razdeliti na dva pojma, vzporednost in ultra-vzporednost. Na koncu si ogledamo še nekoliko drugačen model, saj bo le ta vložen v ${\mathbb R}^3$ in ne v ravnino, kot prejšnja dva. Vzamemo enotsko sfero v metriki Minkowskega, ki je podana z matriko: $$J = \begin{bmatrix} -1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{bmatrix}$$ Enotska sfera je v tem primeru dvodelni hiperboloid. Da bo opazovana ploskev povezana mnogoterost,opazujemo le zgornji del hiperboloida, ki ga označimo s ${\mathcal H}^2$. Ugotovimo, da metrika Minkowskega na tangentnem prostoru $T{\mathcal H}^2$ inducira pozitivno definitno kvadratno formo. Pokažemo, da obstaja izometrija med ${\mathcal H}^2$ in Poincaréjevem diskom. Na koncu klasificiramo izometrije hiperboloida ${\mathcal H}^2$. Ugotovili smo, da izometrije predstavlja grupa ${\rm SO}(2,1) = \{A \in {\rm GL}(3,{\mathbb R})|A^T JA = J\}$.

Ključne besede

matematika;hiperbolična geometrija;geodetske krivulje;izometrija;zgornja polravnina;Poincaréjev disk;hiperboloidni modeli;hiperbolična razdalja;psevdosfere;

Podatki

Jezik:	Slovenski jezik
Leto izida:	2019
Tipologija:	2.11 - Diplomsko delo
Organizacija:	UL FMF - Fakulteta za matematiko in fiziko
Založnik:	[N. Kastelec]
UDK:	514
COBISS:	18820441
Št. ogledov:	1401
Št. prenosov:	276
Ocena:	0 (0 glasov)
Metapodatki:

Ostali podatki

Sekundarni jezik:	Angleški jezik
Sekundarni naslov:	About hyperbolic geometry
Sekundarni povzetek:	We present hyperbolic geometry through three different models. The first model is the upper half-plane model ${\mathcal H}$ where the half-plane is equiped with the first fundamental form of pseudosphere, for which we proved that it has constant negative Gaussian curvature. We explain what the geodetic curves are. These geodetic curves are called hyperbolic lines. We derive the formula of the distance on ${\mathcal H}$, $d(a, b) = 2 \tanh^{-1} {\|b-a\| \over \|b-a\|}$. We show that the isometries of ${\mathcal H}$ are translation parallel to the real axis, reflections through lines parallel to the imaginary axis, dilations by factor $a \in R$, inversions in circles with centres on the real axis and compositions of finite number of the mentioned maps. Half-plane ${\mathcal H}$ was maped with ${\mathcal P}(z)={z-i \over z+i}$ to the unit disc. The disc was equiped with the first fundamental form such that the map ${\mathcal P}$ is isometry. So we get the second model of the hyperbolic geometry called Poincaré's disc. On this model we present two kind of hyperbolic parallels: parallels and ultra-parallels. The third model of the hyperbolic geometry is contrary to the first two, included in ${\mathbb R}^3$. The model is based on the unit sphere of Minkowsky's metric defined by matrix: $$J = \begin{bmatrix} -1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{bmatrix}$$ The unit sphere is in this case the double hyperboloid. To obtain a connected manifold we took only the upper part of it and we denotes it by ${\mathcal H}^2$. We found out that the Minkovsky's matrix on the tangent space $T{\mathcal H}^2$ induces positive definite quadratic form. We show that the isometry between ${\mathcal H}^2$ and Poincaré's disc exists. We show that the isometry of ${\mathcal H}^2$ is the group ${\rm SO}(2,1) = \{A \in {\rm GL}(3,{\mathbb R})\|A^T JA = J\}$.
Sekundarne ključne besede:	mathematics;hyperbolic geometry;geodetic curves;isometry;upper half-plane;Poincaré disc;hyperboloid model;hyperbolic distance;pseudosphere;
Vrsta dela (COBISS):	Delo diplomskega seminarja/zaključno seminarsko delo/naloga
Študijski program:	0
Konec prepovedi (OpenAIRE):	1970-01-01
Komentar na gradivo:	Univ. v Ljubljani, Fak. za matematiko in fiziko, Oddelek za matematiko, Matematika - 1. stopnja
Strani:	23 str.
ID:	11229061