Geometri hiperbolik

Dalam matematika, Geometri hiperbolik atau disebut juga Geometri Lobachevskian atau Geometri Bolyai-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 .

Maka , dengan  adalah kelengkungan Gaussian pada bidang. Dalam geometri hiperbolik,  negatif, jadi akar kuadrat adalah bilangan positif.

Maka keliling lingkaran berjari-jari  r  sama dengan:

Dan luas dari disk yang tertutup adalah:

Oleh karena itu, dalam geometri hiperbolik rasio keliling lingkaran terhadap jari-jarinya selalu lebih besar dari , 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:

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 R2.  Akibatnya, semua segitiga hiperbolik memiliki luas kurang dari atau sama dengan R2π. 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 < 1, dimana p, q, r adalah setiap urutan simetri refleksi pada tiga titik segitiga domain fundamental, grup simetri adalah grup segitiga hiperbolik. Ada juga banyak kemiringan seragam tak terhingga yang tidak dapat dihasilkan dari segitiga Schwarz, beberapa misalnya memerlukan segiempat sebagai domain fundamental.

Model bidang hiperbolik 
Ada permukaan pseudosfer berbeda yang memiliki kelengkungan Gaussian negatif konstan untuk area yang luas, pseudosfer adalah yang paling terkenal.

Tetapi lebih mudah melakukan geometri hiperbolik pada model lain.

Ada empat model yang biasa digunakan untuk geometri hiperbolik: Model Klein, Model disk Poincaré, Model setengah bidang Poincaré, dan Lorentz atau hyperboloid. Model ini mendefinisikan bidang hiperbolik yang memenuhi aksioma geometri hiperbolik.
Terlepas dari nama mereka, tiga pertama yang disebutkan di atas diperkenalkan sebagai model ruang hiperbolik oleh Beltrami, bukan oleh Poincaré atau Klein. Semua model ini dapat diperpanjang ke lebih banyak dimensi.

Model setengah bidang Poincaré 

Model setengah bidang Poincaré mengambil setengah bidang Euclidean, yang dibatasi oleh garis  B  dari bidang tersebut, untuk menjadi model bidang hiperbolik. Garis  B  tidak termasuk dalam model.

Bidang Euclidean dapat dianggap sebagai bidang dengan Sistem koordinat Kartesius dan sumbu x diambil sebagai garis  B  dan setengah bidang adalah bagian atas ( y ' '> 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 
 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:

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

 Proyeksi stereografik dari   ke bidang   memproyeksikan poin yang sesuai di model disk Poincaré
 Proyeksi stereografik dari   ke permukaan   memproyeksikan titik-titik yang sesuai di model hiperboloid
 Proyeksi stereografik dari  ke bidang  memproyeksikan titik-titik yang sesuai pada model setengah bidang Poincaré
 Proyeksi ortografik ke bidang  memproyeksikan poin yang sesuai pada model Beltrami-Klein.
 Proyeksi pusat dari pusat bola ke bidang  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 
 
Grup ortogonal  tindakan dengan transformasi pelestarian norma di ruang Minkowski R1,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. 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) Hyperbolic geometry: The first 150 years , Bull. Amer. Math. Soc. (N.S.) Volume 6, Number 1, pp. 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) 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