Geometri hiperbolik

Dalam matematika, **Geometri hiperbolik** atau disebut juga **Geometri Lobachevskian** atau **Geometri [[János Bolyai|Bolyai]]-[[Nikolai Lobachevsky|Lobachevskian]]**) adalah geometri non-Euklides. Postulat paralel dari geometri Euklides diganti dengan:

:Untuk setiap garis * R * dan titik * P * bukan pada * R *, di bidang yang mengandung kedua garis * R * dan titik * P * setidaknya ada dua garis yang berbeda melalui * P * yang tidak berpotongan * R *.
:(bandingkan ini dengan aksioma Playfair, postulat paralel versi modern Euklides)

Bidang hiperbolik geometri juga merupakan geometri permukaan pelana dan permukaan semosfer, permukaan dengan konstanta negatif kelengkungan Gaussian.

Penggunaan modern dari geometri hiperbolik ada dalam teori relativitas khusus, khususnya ruangwaktu Minkowski dan ruang gyrovector.

Ketika geometer pertama kali menyadari bahwa mereka bekerja dengan sesuatu selain geometri Euclid standar, mereka mendeskripsikan geometri mereka dengan banyak nama berbeda.; Felix Klein akhirnya memberi subjek itu nama * 'geometri hiperbolik' * untuk memasukkannya ke dalam urutan geometri eliptik (geometri bola), geometri parabola (Euklides).
Di bekas Uni Soviet, geometri ini biasa disebut geometri Lobachevskian, dinamai menurut salah satu penemunya, ahli ilmu ukur Rusia Nikolai Lobachevsky.

Halaman ini terutama membahas tentang geometri hiperbolik 2-dimensi (planar) dan perbedaan serta persamaan antara geometri Euclidean dan hiperbolik.

Geometri hiperbolik dapat diperluas menjadi tiga dimensi atau lebih; lihat ruang hiperbolik untuk lebih lanjut tentang kasus tiga dimensi dan lebih tinggi.

## Hubungan dengan geometri Euklides

Geometri hiperbolik lebih dekat hubungannya dengan geometri Euclidean daripada yang terlihat: satu-satunya perbedaan aksioma statis adalah postulat paralel. 
Ketika postulat paralel dihilangkan dari geometri Euklides, geometri yang dihasilkan adalah geometri absolut.
Ada dua macam geometri absolut, Euklides dan hiperbolik.
Semua teorema geometri absolut, termasuk 28 proposisi pertama dari buku satu ''Elemen'' Euklides, berlaku dalam geometri Euclidean dan hiperbolik.
Proposisi 27 dan 28 dari Buku Satu ''Elemen'' Euklides membuktikan keberadaan garis sejajar/tidak berpotongan.

Perbedaan ini juga memiliki banyak konsekuensi: konsep yang ekuivalen dalam geometri Euclidean tidak ekuivalen dalam geometri hiperbolik; konsep baru perlu diperkenalkan.
Selanjutnya, karena sudut paralelisme, geometri hiperbolik memiliki skala absolut, hubungan antara pengukuran jarak dan sudut.

## Garis
Garis tunggal dalam geometri hiperbolik memiliki sifat yang persis sama dengan garis lurus tunggal dalam geometri Euklides. Misalnya, dua titik secara unik mendefinisikan sebuah garis, dan segmen garis dapat diperpanjang tanpa batas.

Dua garis berpotongan memiliki sifat yang sama dengan dua garis berpotongan dalam geometri Euklides. Contohnya, dua garis berbeda dapat berpotongan tidak lebih dari satu titik, garis yang berpotongan membentuk sudut berlawanan yang sama, dan sudut yang berdekatan dari garis yang berpotongan adalah supplemental.

Ketika garis ketiga diperkenalkan, maka mungkin ada properti garis berpotongan yang berbeda dari garis berpotongan dalam geometri Euklides. Contohnya, dalam dua garis berpotongan, ada banyak garis tak terhingga yang tidak memotong salah satu garis yang diberikan.

Properti ini semua tidak bergantung pada model yang digunakan, meskipun garis mungkin terlihat sangat berbeda.

### Garis tidak berpotongan / sejajar

Garis tidak berpotongan dalam geometri hiperbolik juga memiliki sifat yang berbeda dari garis tidak berpotongan pada geometri Euklides:

:Untuk setiap garis * R * dan setiap titik * P * yang tidak terletak pada * R *, di bidang yang mengandung garis * R * dan titik * P * setidaknya ada dua yang berbeda. garis melalui * P * yang tidak berpotongan dengan * R *.

Ini menyiratkan bahwa melalui * P * terdapat sejumlah garis coplanar yang tak terbatas yang tidak memotong * R *.

Garis tidak berpotongan ini dibagi menjadi dua kelas: 
* Dua garis (* x * dan * y * dalam diagram) adalah membatasi paralel s (terkadang disebut paralel kritikal, horoparalel, atau hanya paralel): ada satu di arah masing-masing titik ideal di "ujung" dari * R *, mendekati * R * secara asimtotik, selalu mendekati * R *, tetapi tidak pernah bertemu Itu.
* Semua garis tidak berpotongan lainnya memiliki titik dengan jarak minimum dan menyimpang dari kedua sisi titik itu, dan disebut * ultraparalel *, * paralel divergen * atau terkadang * tidak berpotongan *.
Beberapa geometer hanya menggunakan garis * paralel * daripada garis * membatasi paralel *, dengan garis * ultraparalel * hanya * tidak berpotongan *.

Membatasi paralel ini membuat sudut * θ * dengan * PB *; sudut ini hanya bergantung pada kelengkungan Gaussian bidang dan jarak * PB * dan disebut sudut paralelisme.

Untuk garis ultraparalel, teorema ultraparalel menyatakan bahwa terdapat garis unik pada bidang hiperbolik yang tegak lurus terhadap setiap pasang garis ultraparalel.

## Lingkaran dan disk

Dalam geometri hiperbolik, keliling lingkaran berjari-jari * r * lebih besar dari  2 \pi r .

Maka  R =  \frac{1}{\sqrt{-K}}  , dengan  K  adalah kelengkungan Gaussian pada bidang. Dalam geometri hiperbolik,  K  negatif, jadi akar kuadrat adalah bilangan positif.

Maka keliling lingkaran berjari-jari * r * sama dengan:

:2\pi R \sinh \frac{r}{R} \,.

Dan luas dari disk yang tertutup adalah:

:4\pi R^2 \sinh^2 \frac{r}{2R} = 2\pi R^2 \left(\cosh \frac{r}{R} - 1\right) \,.

Oleh karena itu, dalam geometri hiperbolik rasio keliling lingkaran terhadap jari-jarinya selalu lebih besar dari  2\pi , meski bisa dibuat tutup semaunya dengan memilih lingkaran yang cukup kecil.

Bila kelengkungan Gaussian dari bidang tersebut adalah −1 maka kelengkungan geodesik dari lingkaran jari-jari *r*  is:  \frac{1}{\tanh(r)} 

## Hiperputaran dan Horoputaran

Dalam geometri hiperbolik, tidak ada garis yang berjarak sama dari garis lain. Sebaliknya, titik-titik yang semuanya memiliki jarak ortogonal yang sama dari garis tertentu terletak pada kurva yang disebut hiperputaran

Kurva khusus lainnya adalah horocycle, sebuah kurva yang jari-jari normal jari-jari (tegak lurus]) semuanya membatasi paralel satu sama lain (semuanya berkumpul secara asimtotik menjadi satu.

Melalui setiap pasang poin ada dua horocycle. Pusat horosiklik adalah titik ideal dari garis berat tegak lurus dari ruas garis di antara mereka.

Diberikan tiga titik berbeda, semuanya terletak pada salah satu garis, hiperputaran, horocycle, atau lingkaran.

**Panjang** dari ruas garis adalah panjang terpendek antara dua titik. Panjang busur hypercycle yang menghubungkan dua titik lebih panjang dari pada segmen garis dan lebih pendek dari pada horocycle, menghubungkan dua titik yang sama. Panjang dari kedua horoputaran terhubung. Panjang busur lingkaran antara dua titik lebih besar dari panjang busur siklus horor yang menghubungkan dua titik.

Jika kelengkungan Gaussian dari bidang tersebut adalah−1 maka kelengkungan geodesik dari sebuah horoputaran adalah 1 dan dari sebuah hiperputaran adalah antara 0 dan 1.

### Segitiga

Tidak seperti segitiga Euclidean, yang sudutnya selalu berjumlah π radian (180 °, dari sudut lurus), dalam geometri hiperbolik jumlah sudut segitiga hiperbolik selalu kurang dari π radian s (180 °, a sudut lurus). Perbedaan ini disebut sebagai cacat sudut

Luas segitiga hiperbolik diberikan oleh cacatnya dalam radian dikalikan dengan *R*2.  Akibatnya, semua segitiga hiperbolik memiliki luas kurang dari atau sama dengan *R*2π. Luas sebuah hiperbolik segitiga ideal yang ketiga sudutnya adalah 0° sama dengan maksimum ini.

Seperti pada sferis dan geometri elips, dalam geometri hiperbolik jika dua segitiga serupa, keduanya harus kongruen.

## Apeirogon biasa

Poligon khusus dalam geometri hiperbolik adalah apeirogon beraturan, poligon seragam dengan jumlah sisi yang tak terhingga.

Dalam geometri Euklides, satu-satunya cara untuk membangun poligon tersebut adalah dengan membuat panjang sisinya cenderung nol dan apeirogon tidak dapat dibedakan dari lingkaran, or make the interior angles tend to 180 degrees and the apeirogon approaches a straight line.

Namun, dalam geometri hiperbolik, apeirogon beraturan memiliki panjang sisi berapa pun (yaitu, tetap berupa poligon).

Sisi dan sudut garis-garis, bergantung pada panjang sisi dan sudut antara sisi-sisinya, akan membatasi atau menyimpang sejajar (lihat garis di atas).
Jika garis-garis membatasinya sejajar, apeirogon dapat dituliskan dan dibatasi oleh horoputaran konsentris.

## Tessellasi
 

Seperti bidang Euclidean, dimungkinkan juga untuk tessellate bidang hiperbolik dengan poligon beraturan s sebagai wajah.

Ada jumlah kemiringan seragam yang tak terbatas berdasarkan segitiga Schwarz (*p* *q* *r*) where 1/*p* + 1/*q* + 1/*r*  0) dari bidang ini.

* Garis hiperbolik kemudian menjadi setengah lingkaran ortogonal terhadap * B * atau sinar tegak lurus dengan * B *.
* Panjang interval pada sinar ditentukan oleh ukuran logaritmik jadi itu invarian dalam transformasi homothetic (x, y) \mapsto (x, \lambda y),\quad \lambda > 0 .
* Seperti model cakram Poincaré, model ini mempertahankan sudut, dan dengan demikian konformal. Oleh karena itu, semua isometri dalam model ini adalah transformasi Möbius bidang.
* Model setengah bidang adalah batas model cakram Poincaré yang batasnya bersinggungan dengan * B * pada titik yang sama sementara jari-jari model cakram tak terhingga.

### Model belahan bumi

Model belahan bumi tidak sering digunakan sebagai model dengan sendirinya, tetapi berfungsi sebagai alat yang berguna untuk memvisualisasikan transformasi antara model lainnya.

Model belahan bumi menggunakan setengah bagian atas satuan bola:
 x^2 + y^2 +z^2 = 1 , z > 0 

Model belahan bumi adalah bagian dari bola Riemann, dan proyeksi yang berbeda memberikan model bidang hiperbolik yang berbeda:

* Proyeksi stereografik dari   (0,0, -1)  ke bidang  z = 0   memproyeksikan poin yang sesuai di model disk Poincaré
* Proyeksi stereografik dari   (0,0, -1)  ke permukaan  x^2 + y^2 - z^2  = -1 , z > 0    memproyeksikan titik-titik yang sesuai di model hiperboloid
* Proyeksi stereografik dari  (-1,0,0)  ke bidang  x=1  memproyeksikan titik-titik yang sesuai pada model setengah bidang Poincaré
* Proyeksi ortografik ke bidang  z = C  memproyeksikan poin yang sesuai pada model Beltrami-Klein.
* Proyeksi pusat dari pusat bola ke bidang  z = 1  memproyeksikan poin yang sesuai di Gans Model.

Lihat lebih lanjut: Koneksi antar model (di bawah)

## Struktur homogen
Ruang hiperbolik dari dimensi * n * adalah kasus khusus dari Riemannian ruang simetris tipe nonkompak, karena isomorfik terhadap hasil bagi 
:: \mathrm{O}(1,n)/(\mathrm{O}(1) \times \mathrm{O}(n)).
Grup ortogonal  tindakan dengan transformasi pelestarian norma di ruang Minkowski **R**1,*n*, dan bertindak secara transitif pada hiperboloid dua lembar dari vektor norma 1.  Garis-garis seperti waktu (yaitu, garis-garis dengan garis singgung norma-positif) melalui titik asal melewati titik-titik antipodal dalam hiperboloid, sehingga ruang dari garis-garis tersebut menghasilkan model ruang hiperbolik * n *.

## Lihat pula

* Konstruksi dalam geometri hiperbolik
* Hiperbolik 3-manifold
* Manifold hiperbolik
* Himpunan hiperbolik
* Transformasi Hjelmslev
* Pohon hiperbolik
* Grup Kleinian
* Lambert segiempat
* Alam semesta terbuka
* Metrik Poincaré
* Saccheri segiempat
* Geometri sistolik
* Kemiringan seragam dalam bidang hiperbolik
* δ-ruang hiperbolik
* Model pita

## Catatan

## Referensi

*A'Campo, Norbert and Papadopoulos, Athanase, (2012) *Notes on hyperbolic geometry*, in: Strasbourg Master class on Geometry, pp.&nbsp;1–182,  IRMA Lectures in Mathematics and Theoretical Physics,  Vol. 18,  Zürich: European Mathematical Society (EMS), 461 pages, SBN , DOI 10.4171/105.
*Coxeter, H. S. M., (1942) *Non-Euclidean geometry*, University of Toronto Press, Toronto.
*
*
*Lobachevsky, Nikolai I., (2010) *Pangeometry*, Edited and translated by Athanase Papadopoulos,  Heritage of European Mathematics, Vol. 4. Zürich: European Mathematical Society (EMS). xii, 310~p, /hbk
*Milnor, John W., (1982) *[http://projecteuclid.org/euclid.bams/1183548588 Hyperbolic geometry: The first 150 years] *, Bull. Amer. Math. Soc. (N.S.) Volume 6, Number 1, pp.&nbsp;9–24.
*Reynolds, William F., (1993) *Hyperbolic Geometry on a Hyperboloid*, American Mathematical Monthly 100:442–455.
*
*Samuels, David, (March 2006) *Knit Theory* Discover Magazine, volume 27, Number 3.
*James W. Anderson, *Hyperbolic Geometry*, Springer 2005, .
*James W. Cannon, William J. Floyd, Richard Kenyon, and Walter R. Parry (1997) *[http://www.msri.org/communications/books/Book31/files/cannon.pdf Hyperbolic Geometry] *, MSRI Publications, volume 31.

## Pranala luar
* Javascript freeware for creating sketches in the Poincaré Disk Model of Hyperbolic Geometry  University of New Mexico.
* "The Hyperbolic Geometry Song"  A short music video about the basics of Hyperbolic Geometry available at YouTube.
* .
* 
* 
* More on hyperbolic geometry, including movies and equations for conversion between the different models University of Illinois at Urbana-Champaign.
* Hyperbolic Voronoi diagrams made easy, Frank Nielsen 
*, interactive instructional website.
*Hyperbolic Planar Tesselations 
*Models of the Hyperbolic Plane