Vaš brskalnik ne omogoča JavaScript!
JavaScript je nujen za pravilno delovanje teh spletnih strani. Omogočite JavaScript ali pa uporabite sodobnejši brskalnik.
Nacionalni portal odprte znanosti
Odprta znanost
DiKUL
slv
|
eng
Iskanje
Brskanje
Novo v RUL
Kaj je RUL
V številkah
Pomoč
Prijava
O hiperbolični geometriji : delo diplomskega seminarja
ID
Kastelec, Nika
(
Avtor
),
ID
Saksida, Pavle
(
Mentor
)
Več o mentorju...
PDF - Predstavitvena datoteka,
prenos
(483,57 KB)
MD5: F7EC92A0BD59D71B7F29F5C4203981FA
Galerija slik
Izvleček
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\}$.
Jezik:
Slovenski jezik
Ključne besede:
Hiperbolična geometrija
,
geodetske krivulje
,
izometrija
,
zgornja
polravnina
,
Poincaréjev disk
,
hiperboloidni model
,
hiperbolična razdalja
,
psvdosfera
Vrsta gradiva:
Delo diplomskega seminarja/zaključno seminarsko delo/naloga
Tipologija:
2.11 - Diplomsko delo
Organizacija:
FMF - Fakulteta za matematiko in fiziko
Leto izida:
2019
PID:
20.500.12556/RUL-110792
UDK:
514
COBISS.SI-ID:
18820441
Datum objave v RUL:
20.09.2019
Število ogledov:
1636
Število prenosov:
293
Metapodatki:
Citiraj gradivo
Navadno besedilo
BibTeX
EndNote XML
EndNote/Refer
RIS
ABNT
ACM Ref
AMA
APA
Chicago 17th Author-Date
Harvard
IEEE
ISO 690
MLA
Vancouver
:
Kopiraj citat
Objavi na:
Sekundarni jezik
Jezik:
Angleški jezik
Naslov:
About hyperbolic geometry
Izvleček:
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\}$.
Ključne besede:
Hyperbolic geometry
,
geodetic curves
,
isometry
,
upper half-plane
,
Poincar
é's disc
,
hyperboloid model
,
hyperbolic distance
,
pseudosphere
Podobna dela
Podobna dela v RUL:
Podobna dela v drugih slovenskih zbirkah:
Nazaj