Model hiperboloid

Busur melingkar berwarna merah merupakan geodesik dalam model cakram Poincaré, diproyeksikan ke geodesik berwarna cokelat dari hiperboloid berwarna hijau.

Animasi sebagian {7,3} ubin hiperbolik hiperboloid diputar ke dalam perspektif Poincare.

Dalam geometri, model hiperboloid, juga dikenal sebagai model Minkowski, dinamai Hermann Minkowski adalah sebuah model pada geometri hiperbolik dimensi-$n$ yang dimana titik-titik tersebut diwakili oleh titik-titik dari lembaran depan $S^{+}$ dari dua lembaran hiperboloid dalam ruang Minkowski $(n+1)$-dimensi dan $m$ bidang diwakili oleh titik potong dari bidang-$(m+1)$ dalam ruang Minkowski dengan $S^{+}$. Fungsi jarak hiperbolik memasukkan sebuah ekspresi yang sederhana dalam model ini. Model hiperboloid dari ruang hiperbolik

$n$-dimensi terkati erat dengan model Beltrami-Klein dan untuk model cakram Poincaré sebagai mereka adalah model projektif dalam arti bahwa grup isometri adalah sebuah subgrup dari grup projektif.

Bentuk kuadrat Minkowski

Jika $(x_{0},x_{1},\dots ,x_{n})$ adalah sebuah vektor dalam ruang koordinasi $(n+1)$-dimensi $\mathbf {R} ^{n+1}$, bentuk kuadrat Minkowski didefinisikan menjadi

$Q(x_{0},x_{1},\ldots ,x_{n})=x_{0}^{2}-x_{1}^{2}-\ldots -x_{n}^{2}.$

Vektor $v\in \mathbf {R} ^{n+1}$ seperti $Q(v)=1$ membenetuk sebuah hiperboloid $n$-dimensi $S$ terdiri dari dua komponen yang terhubung, atau lembaranː depan, lembaran $S^{+}$, dimana $x_{0}>0$ dan belakang, lembaran $S^{-}$, dimana $x_{0}<0$. Titik-titik dari model hiperboloid $n$-dimensi adalah titik-titik dari lembaran depan $S^{+}$.

Bentuk bilinear Minkowski $B$ merupakan polarisasi dari bentuk kuadrat Minkowski $Q$.

$B(\mathbf {u} ,\mathbf {v} )={\frac {Q(\mathbf {u} +\mathbf {v} )-Q(\mathbf {u} )-Q(\mathbf {v} )}{2}}$.

Secara eksplisit,

$B((x_{0},x_{1},\ldots ,x_{n}),(y_{0},y_{1},\ldots ,y_{n}))=x_{0}y_{0}-x_{1}y_{1}-\ldots -x_{n}y_{n}$.

Jarak hiperbolik antara dua titik $u$ dan $v$ dari $S^{+}$ diberikan oleh rumus

$d(\mathbf {u} ,\mathbf {v} )=\operatorname {arcosh} (B(\mathbf {u} ,\mathbf {v} ))$,

dimana arcoshadalah fungsi invers dari hiperbolik cosinus.

Garis lurus

Sebuah garis lurus dalam ruang ke-$n$ hiperbolik dimodelkan oleh sebuah geodesik pada hiperboloid. Sebuh geodesik pada hiperbolik (tidak kosong) titik potong pada hiperboloid dengan sebuah subruang linear dua dimensi (termasuk asal) dari ruang Minkowski $(n+1)$-dimensi. Jika kita ambil $\mathbf {u}$ dan $\mathbf {v}$ menjadi vektor basis dari subruang linear itu dengan

$B(\mathbf {u} ,\mathbf {u} )=1$

$B(\mathbf {v} ,\mathbf {v} )=-1$

$B(\mathbf {u} ,\mathbf {v} )=B(\mathbf {v} ,\mathbf {u} )=0$

dan gunakan $w$ sebagai sebuah parameter real untuk titik-titik pada geodesik, kemudian

$\mathbf {u} \cosh w+\mathbf {v} \sinh w$

akan menjadi titik pada geodesik.

Lebih umum, sebuah "datar $k$-dimensi dalam ruang ke-$n$ hiperbolik akan dimodel oleh (tidak kosong) titik potong dari hiperboloid dengan subruang linear $(k+1)$-dimensi (termasuk asal) dari ruang Minkowski.

Isometris

Grup ortogonal tak terdefinisi ${\text{O}}(1,n)$, juga disebut grup Lorentz $(n+1)$-dimensi, merupakan grup Lie dari matriks real $(n+1)\times (n+1)$ yang mempertahankan bentuk bilinear Minkowski. Dalam sebuah bahasa yang berbeda, ini merupakan grup dari isometris linear dari ruang Minkowski. Secara khusus, grup ini mempertahankan hiperboloid $S$. Ingat bahwa grup ortogonal tak terdefinisi memiliki empat komponen yang terhubung, berkorespodensi untuk membalikan atau mempertahankan orientasi pada setiap subruang (disini 1 dimensi dan $n$-dimensi), dan membentuk empat grup Klein. Subgrup dari ${\text{O}}(1,n)$ yang mempertahankan tanda dari koordinat pertama merupakan grup Lorentz ortokron, dilambangkan ${\text{O}}^{+}(1,n)$, dan memiliki dua komponen, berhubungan untuk mempertahankan atau membalikkan orientasi dari subruang spasial. Subgrup ${\text{SO}}^{+}(1,n)$-nya terdiri dari matriks dengan determinannya penghubung grup Lie dari dimensi ${\frac {n(n+1)}{2}}$ yang bertindak pada $S^{+}$ oleh automorfism linear dan mempertahankan jarak hiperbolik. Aksi ini transitif dan stabilisator dari vektor $(1,0,\dots ,0)$ terdiri dari matriks dari bentuk

Dimana $A$ milik kompak grup ortogonal spesial ${\text{SO}}(n)$ (menggeneralisasikan grup rotasi SO(3) untuk $n=3$). Dengan demikian ruang hiperbolik $n$-dimensi bisa diperlihatkan sebagai ruang homogen dan sebuah ruang simetris Riemannian dari peringkat 1,

$\mathbb {H} ^{n}=\mathrm {SO} ^{+}(1,n)/\mathrm {SO} (n).$

Grup ${\text{SO}}^{+}(1,n)$ merupakan grup penuh dari orientasi-mempertahankan isometris dari ruang hiperbolik $n$-dimensi.

Dalam istilah yang lebih konkret, $\mathrm {SO} ^{+}(1,n)$ bisa dipisahkan menjadi rotasi ${\frac {n(n-1)}{2}}$ (dibentuk dengan sebuah matriks rotasi Euklidean biasa dalam blok kanan bagian bawah) dan sebuah translasi hiperbolik $n$, yang mengambil bentuk

${\begin{pmatrix}\cosh \alpha &\sinh \alpha &0&\ldots \\\sinh \alpha &\cosh \alpha &0&\ldots \\0&0&1&\\\vdots &\vdots &&\ddots \\\end{pmatrix}}$

dimana $\alpha$ merupakan jarak yang ditranslasikan (sepanjang sumbu $x$ dalam kasus ini), dan baris/kolom kedua bisa ditukarkan dengan pasangan yang berbeda untuk mengubah sebuah translasi sepanjang sebuah sumbu yang berbeda. Bentuk umum dari sebuah translasi dalam 3 dimensi sepanjang vektor $(w,x,y,z)$ adalahː

${\begin{pmatrix}w&x&y&z\\x&{\frac {x^{2}}{w+1}}+1&{\frac {yx}{w+1}}&{\frac {zx}{w+1}}\\y&{\frac {xy}{w+1}}&{\frac {y^{2}}{w+1}}+1&{\frac {zy}{w+1}}\\z&{\frac {xz}{w+1}}&{\frac {yz}{w+1}}&{\frac {z^{2}}{w+1}}+1\\\end{pmatrix}}$

dimana $w={\sqrt {x^{2}+y^{2}+z^{2}+1}}$.

Ini meluas secara alami untuk dimensi yang lebih, dan juga versi yang disederhanakan dari dorongan Lorentz ketika kalian menghilangkan istilah spesifik-relativitas.

Isometris yang spesial dalam $\mathrm {O} ^{+}(1,n)$

Rotasi dan refleksi yang mempertahankan asalnya

Jika $A$ adalah anggota dari O(n), maka matriks blok berikut

${\begin{pmatrix}1&0\\0&A\\\end{pmatrix}}$

mewakili sebuah isometri yang menentukan titik $(1,0,\dots ,0)$. Semua rotasi dan refleksi konjugasi ke salah satu dari isometri-isometri ini. Pemetaan dari $A$ ke matriks merupakan grup homomorfism dari $\mathrm {O} (n)$ ke $\mathrm {O} ^{+}(1,n)$.

Translasi melewati sumbu-$x$

Untuk setiap bilangan real $t$, terdapat sebuah translasi

$L_{t}={\begin{pmatrix}\cosh t&\sinh t&0\\\sinh t&\cosh t&0\\0&0&I\\\end{pmatrix}}$

Translasi ini menggeser sumbu-$x$ sebuah jarak dari $t$ dalam arah $x$ positif jika $t\geq 0$ atau sebuah jarak dari $t$ dalam arah $x$ negatif jika $t\leq 0$. Translasi apapun dari jarak $t$ konjugasi ke $L_{t}$ dan $L_{-t}$.

$\mathrm {O} ^{+}(1,n)$ bisa dihasilkan oleh himpunan $\{L_{t}:t\in \mathbb {R} \}\cup \left\{{\begin{pmatrix}1&0\\0&A\\\end{pmatrix}}:A\in O(n)\right\}$.

Kesimetrian dari horosphere berpusat pada sumbu-$x$ positif

Misalkan $H$ menjadi horosphere seperti yang titik-titik dari bentuk $(w,x,0,\dots ,0)$ ada di dalam darinya untuk $x$ besar secara sembarang. Untuk setiap vektor $b$ dalam $\mathbb {R} ^{n-1}$.

${\begin{pmatrix}1+{\frac {\|\mathbf {b} \|^{2}}{2}}&-{\frac {\|\mathbf {b} \|^{2}}{2}}&\mathbf {b} ^{\operatorname {T} }\\{\frac {\|\mathbf {b} \|^{2}}{2}}&1-{\frac {\|\mathbf {b} \|^{2}}{2}}&\mathbf {b} ^{\operatorname {T} }\\\mathbf {b} &-\mathbf {b} &I\\\end{pmatrix}}$

adalah hororotasi yang memetakan $H$ ke diri sendiri. Setiap hororotasi konjugasi untuk seperti sebuah isometri. Untuk setiap $A$ dalam $\mathrm {O} (n-1)$.

${\begin{pmatrix}1&0&0\\0&1&0\\0&0&A\\\end{pmatrix}}$

adalah rotasi atau refleksi yang mempertahankan $H$ dan sebuah titik di atasnya (Titik potong $H$ dengan sumbu-$x$). Hororotasi-hororotasi ini, rotasi-rotasi, dan refleksi-refleksi menghasilkan grup dari kesimetrian dari $H$. Grup ini isomorfik dengan grup Euklidean $\mathrm {E} (n-1)$.

Refleksi menukarkan dua titik tertentu

Untuk dua titik $\mathbf {p} ,\mathbf {q} \in \mathbb {H} ^{n},\mathbf {p} \neq \mathbf {q}$, terdapat sebuah refleksi unik menukarkan mereka.

Misalkan $\mathbf {u} ={\frac {\mathbf {p} -\mathbf {q} }{\sqrt {-Q(\mathbf {p} -\mathbf {q} )}}}$. Catatan bahwa $Q(\mathbf {u} )=-1$, dan demikian juga $u\notin \mathbb {H} ^{n}$.

Kemudian

$\mathbf {x} \mapsto \mathbf {x} +2B(\mathbf {x} ,\mathbf {u} )\mathbf {u}$

adalah sebuah refleksi yang menukarkan $\mathbf {p}$ dan $\mathbf {q}$. Ini ekuivalen dengan matriks berikut.

$I+2\mathbf {u} \mathbf {u} ^{\operatorname {T} }{\begin{pmatrix}1&0\\0&-I\\\end{pmatrix}}$.

Menggunakan metode ini untuk mencari refleksi-refleksi, salah satunya bisa mencari grup dari rotasi-rotasi dan refleksi-refleksi yang menentukan sebuah titik yang diberikan. Misalkan $\mathbf {p} \in \mathbb {H} ^{n}$. Jika $\mathbf {p} =(1,0,\dots ,0)$, lihat bagian atas. Jika tidak, misalkan $R$ menjadi refleksi yang menukaran $\mathbf {p}$ dan $(1,0,\dots ,0)$.Kemudian

$\left\{R{\begin{pmatrix}1&0\\0&A\\\end{pmatrix}}R^{-1}:A\in O(n)\right\}$

adalah grup dari rotasi-rotasi dan refleksi-refleksi yang menentukan $\mathbf {p}$. Ini adalah sebuah contoh dari subgrup konjugasi.

Salah satunya bisa juga menggunakan refleksi-refleksi untuk mencari translasi-translasi melalui sebuah garis diberikan dua titik pada garis. Misalkan $\mathbf {p} ,\mathbf {q} \in \mathbb {H} ^{n},\mathbf {p} \neq \mathbf {q}$. Kmeudian misalkan $R_{1}$ menjadi refleksi menukarkan $\mathbf {p}$ dan $(1,0,\dots ,0)$ (atau $I$ jika mereka sama). Misalkan $R_{2}$ menjadi refleksi menukarkan $\mathbf {q}$ dan $R_{1}L_{d(\mathbf {p} ,\mathbf {q} )}[1,0,\dots ,0]^{\operatorname {T} }$. Misalkan $X$ menjadi sama dengan $R_{2}R_{1}$. $X$ adalah sebuah isometri yang memetakan asal ke $\mathbf {p}$ dan $L_{d(\mathbf {p} ,\mathbf {q} )}[1,0,\dots ,0]^{\operatorname {T} }$ ke $\mathbf {q}$. Sekarang, untuk setiap bilangan real $t$, $XL_{t}X^{-1}$ adalah sebuah translasi dari jarak $\left|t\right|$ sepanjang garis melalui $\mathbf {p}$ dan $\mathbf {q}$. Jika $t$ positif, translasinya garis dalam arah ${\overrightarrow {\mathbf {p} \mathbf {q} }}$. Jika $t$ negatif, translasinya garis dalam arah ${\overrightarrow {\mathbf {q} \mathbf {p} }}$. Secara khusus, $XL_{t}X^{-1}$ mentranslasikan $\mathbf {p}$ ke $\mathbf {q}$.

Sejarah

• Dalam beberapa makalah antara 1878-1885, Wilhelm Killing digunakan sebagai perwakilan dia dikatikan dengan Karl Weierstrass untuk geometri Lobachevskian. Secara khusus, dia mendiskusikan bentuk kuadrat sebagai $k^{2}t^{2}+u^{2}+v^{2}+w^{2}=k^{2}$ ataudalam dimensi sembarang $k^{2}x_{0}^{2}+x_{1}^{2}+\dots +x_{n}^{2}=k^{2}$, dimana $k$ adalah pengukuran timbal balik dari lengkungan, $k^{2}=\infty$ melambangkan geometri Euklidean, $k^{2}>0$ geometri elips, dan $k^{2}<0$ geometri hiperbolik. Untuk detalinya, lihat Sejarah dari transformasi Lorentz#Killing.
• Menurut Jeremy Gray (1986), Poincaré menggunakan model hiperboloid dalam catatan pribadinya dalam 1880 . Poincaré mempublikasikan hasilnya dalam 1881, di mana dia mendiskusikan invarian dari bentuk kuadrat $\xi ^{2}+\eta ^{2}-\zeta ^{2}=-1$. Gray menunjukkan dimana model hiperboloid tersirat dalam tulisan selanjutnya oleh Poincaré. Untuk detailnya, lihat Sejarah dari transformasi Lorentz#Poincaré.
• Juga Homersham Cox dalam 1882 digunakan koordinat Weierstrass (tanpa menggunakan nama ini) memuaskan hubungan $z^{2}-x^{2}-y^{2}=1$ maupun $w^{2}-x^{2}-y^{2}-z^{2}=1$. Untuk detailnya, lihat Sejarah dari transformasi Lorentz#Cox
• Paparan lebih lanjut dari model diberikan oleh Alfred Clebsch dan Ferdinand Lindemann dalam 1891 mendiskusikan hubungan $x_{1}^{2}+x_{2}^{2}-4k^{2}x_{3}^{2}=-4k^{2}$ dan $x_{1}^{2}+x_{2}^{2}-4k^{2}x_{3}^{2}=-4k^{2}$. Untuk detailnya, lihat Sejarah dari transformasi Lorentz#Lindemann.
• Koordinat Weierstrass juga digunakan oleh Gérard (1892), Hausdorff (1899), Woods (1903), dan Liebmann (1905).

Hiperboloid dieksplorasi sebagai sebuah ruang metrik oleh Alexander Macfarlane dalam makalahnya Papers in Space Analysis (1894). Dia mencatat bahwa titik-titik pada hiperboloid bisa ditulis sebagai

$\cosh A+\alpha \sinh A,$

dimana $\alpha$ adalah ortogonal vektor basis ke sumbu hiperboloid. Sebagai contoh, dia memperoleh hukum hiperbolik dari cosinus melalui penggunaan dari Aljabar dari Fisikanya.

H. Jansen membuat model hiperboloid sebagai fokus eksplisit dari makalahnya "Perwakilan dari geometri hiperboloid pada dua lembar hiperboloid" tahun 1909. Dalam 1993 W.F. Reynolds menceritakan beberapa dari sejarah sebelumnya dari model dalam makalahnya dalam American Mathematical Monthly.

Menjadi model biasa oleh abad keduabelas, ini diidentifikasikan dengan Geschwindigkeitsvectoren (vektor kecepatan) oleh Hermann Minkowski dalam kuliah Göttingen 'The Relataivity Principle' tahun 1907. Scott Walter, dalam makalah "The Non-Eucliean Style of Minkowskian Relativity" mengingat kesadaran Minkowski, tetapi menelusuri garis keturunan dari model ke Hermann Helmholtz daripada Weierstrass dan Killing.

Dalam tahun-tahun sebelumnya dari relativitas, model hiperboloid digunakan oleh Vladimir Varićak untuk menjelaskan fisika tentang kecepatan. Dalam pidatonya ke persatuan matematika Jerman dalam 1912, dia merujuk koordinat Weierstrass.

Lihat pula

• Model cakram Poincaré
• Kuaternion hiperbolik

Catatan dan referensi

• Alekseevskij, D.V.; Vinberg, E.B.; Solodovnikov, A.S. (1993), Geometry of Spaces of Constant Curvature, Encyclopaedia of Mathematical Sciences, Berlin, New York: Springer-Verlag, ISBN 978-3-540-52000-9  Alekseevskij, D.V.; Vinberg, E.B.; Solodovnikov, A.S. (1993), Geometry of Spaces of Constant Curvature, Encyclopaedia of Mathematical Sciences, Berlin, New York: Springer-Verlag, ISBN 978-3-540-52000-9 
• Anderson, James (2005), Hyperbolic Geometry, Springer Undergraduate Mathematics Series (edisi ke-2nd), Berlin, New York: Springer-Verlag, ISBN 978-1-85233-934-0  Anderson, James (2005), Hyperbolic Geometry, Springer Undergraduate Mathematics Series (edisi ke-2nd), Berlin, New York: Springer-Verlag, ISBN 978-1-85233-934-0 
• Ratcliffe, John G. (1994), Foundations of hyperbolic manifolds, Berlin, New York: Springer-Verlag, ISBN 978-0-387-94348-0  Ratcliffe, John G. (1994), Foundations of hyperbolic manifolds, Berlin, New York: Springer-Verlag, ISBN 978-0-387-94348-0  , Bagian 3
• Miles Reid & Balázs Szendröi (2005) Geometri dan Topologi, Gambar 3.10, hal 45, Cambridge University Press, ISBN 0-521-61325-6 , MR .
• Ryan, Patrick J. (1986), Euclidean and non-Euclidean geometry: An analytical approach, Cambridge, London, New York, New Rochelle, Melbourne, Sydney: Cambridge University Press, ISBN 978-0-521-25654-4  Ryan, Patrick J. (1986), Euclidean and non-Euclidean geometry: An analytical approach, Cambridge, London, New York, New Rochelle, Melbourne, Sydney: Cambridge University Press, ISBN 978-0-521-25654-4 
• Parkkonen, Jouni. "HYPERBOLIC GEOMETRY" (PDF). Diakses tanggal September 5, 2020.