Modelul discului Poincaré
![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/4c/Poincare_disc_hyperbolic_parallel_lines.svg/300px-Poincare_disc_hyperbolic_parallel_lines.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/ad/Hyperbolic_tiling_omnitruncated_3-7.png/220px-Hyperbolic_tiling_omnitruncated_3-7.png)
În geometrie modelul discului Poincaré, numit și modelul discului conform, este un model de geometrie hiperbolică bidimensională în care punctele geometriei sunt în interiorul discului unitate, iar liniile drepte constau din toate arcele de cerc conținute în acel disc care sunt ortogonale pe frontiera discului, plus toate diametrele discului.
Grupul de izometrii care conservă orientarea al modelului discului este dat de grupul unitar special proiectiv PSU(1,1), câtul grupului unitar special SU(1,1) prin centrul {I, −I}.
Împreună cu modelul Klein(d) și modelul semiplanului Poincaré(d), a fost propus de Eugenio Beltrami care a folosit aceste modele pentru a arăta că geometria hiperbolică era la fel de necontradictorie ca și geometria euclidiană. Modelul este numit după Henri Poincaré deoarece redescoperirea sa a acestei reprezentări paisprezece ani mai târziu a devenit mai cunoscută decât opera originală a lui Beltrami.[1]
Modelul bilei Poincaré este modelul similar pentru geometria hiperbolică 3 sau n-dimensională în care punctele geometriei sunt în bila unitate n-dimensională.
Proprietăți
Drepte
![](http://upload.wikimedia.org/wikipedia/commons/thumb/9/99/Droites_disquePoincare.svg/220px-Droites_disquePoincare.svg.png)
Dreptele hiperbolice sunt toate arcele de cerc euclidiene din disc, care sunt ortogonale pe frontiera discului, plus toate diametrele discului.
Construcție cu rigla și compasul
Dreapta hiperbolică unică prin două puncte și care nu se află pe un diametru al cercului frontieră poate fi construită astfel:
- fie inversul față de cercul frontieră al punctului
- fie inversul față de cercul frontieră al punctului
- fie mijlocul segmentului
- fie mijlocul segmentului
- se trasează dreapta prin perpendiculară pe segmentul
- se trasează dreapta prin perpendiculară pe segmentul
- fie punctul de intersecție al dreptelor și
- se trasează cercul cu centrul în și care trece prin (și )
- arcul cercului din interiorul discului este dreapta hiperbolică.
Dacă și se află pe diametrul cercului frontieră, diametrul respectiv este o dreaptă hiperbolică.
Distanță
În acest model distanțele sunt în metrica Cayley–Klein(d). Fiind date două puncte distincte p și q în interiorul discului, dreapta hiperbolică unică care le conectează intersectează frontiera în două puncte ideale, a și b, etichetate astfel încât punctele să fie în ordinea a, p, q, b, cu |aq| > |ap| și |pb| > |qb|.
Distanța hiperbolică dintre p și q este
Barele verticale indică lungimea euclidiană a segmentului care leagă punctele în model (nu de-a lungul arcului de cerc), iar ln este logaritmul natural.
Altă modalitate de a calcula distanța hiperbolică dintre două puncte este
unde și sunt distanțele de la p, respectiv q la centrul discului, este distanța dintre p și q, este raza cercului frontieră a discului și este inversa cosinusului hiperbolic.
Când discul folosit este discul unitate deschis și unul dintre puncte este originea, iar distanța euclidiană dintre puncte este r atunci distanța hiperbolică este:
unde este inversa tangentei hiperbolice.
Când discul folosit este discul unitate deschis și punctul se află între origine și punctul (adică punctele se află pe aceeași rază, au același unghi polar și ), distanța hiperbolică dintre ele este
Pentru relația se reduce la relația precedentă.
Cercuri
Un cerc (mulțimea tuturor punctelor dintr-un plan care se află la o distanță dată de un punct dat, centrul său) este un cerc aflat complet în interiorul discului, și care nu atinge sau intersectează frontiera acestuia. Centrul hiperbolic al cercului din model nu corespunde, în general, centrului euclidian al cercului, dar se află pe aceeași rază a cercului frontieră.
Hipercicluri
Un hiperciclu (mulțimea tuturor punctelor dintr-un plan care se află pe o parte și la o distanță dată de o dreaptă dată, axa acesteia) este un arc de cerc euclidian sau coarda cercului frontieră care intersectează cercul frontieră la un unghi diferit de un unghi drept. Axa sa este dreapta hiperbolică care are aceleași două puncte ideale. Hiperciclul este cunoscută și sub numele de curbă echidistantă.
Oricicluri
Un oriciclu (o curbă ale cărei normale sau perpendiculare converg toate asimptotic în aceeași direcție), este un cerc în interiorul discului și care atinge cercul frontieră. Punctul în care atinge cercul frontieră nu face parte din oriciclu. Este un punct ideal și este centrul hiperbolic al oriciclului.
Rezumat euclidian
Un cerc euclidian:
- când este complet în interiorul discului este un cerc hiperbolic;
- când este în interiorul discului și atinge (este tangent la) cercul frontieră este un oriciclu;
- când intersectează ortogonal cercul frontieră este o dreaptă hiperbolică;
- când intersectează neortogonal cercul frontieră este un hiperciclu.
O coardă euclidiană în cercul frontieră:
- dacă trece prin centrul cercului este o dreaptă hiperbolică;
- dacă nu trece prin centrul cercului este un hiperciclu.
Metrică și curbură
![](http://upload.wikimedia.org/wikipedia/commons/thumb/b/b7/Hyperb_icosahedral_hc.png/220px-Hyperb_icosahedral_hc.png)
Dacă u și v sunt doi vectori în spațiul vectorial real n-dimensional Rn cu norma euclidiană obișnuită, ambii având o normă mai mică decât 1, atunci putem defini un invariant izometric:
unde este norma euclidiană obișnuită. Atunci funcția de distanță este
O astfel de funcție de distanță este definită pentru oricare doi vectori cu norma mai mică decât 1 și transformă mulțimea acestor vectori într-un spațiu metric care este un model de spațiu hiperbolic de curbură constantă −1. Modelul are proprietatea conformă că unghiul dintre două curbe care se intersectează în spațiul hiperbolic este același cu unghiul din model.
Tensorul metric(d) asociat modelului discului Poincaré este dat de[2]
unde xi sunt coordonatele carteziene ale spațiului euclidian ambiental. Geodezicele modelului discului sunt cercuri perpendiculare pe sfera frontieră Sn−1.
Un cadru ortonormal în raport cu această metrică riemanniană este dat de
cu co-cadrul dual de 1-formă
În bidimensional
În bidimensional, ținând cont de aceste cadre și de conexiunea Levi-Civita, formele de conexiune sunt date de matricea antisimetrică unică a 1-formelor care nu are torsiune, adică care satisface ecuația matricială . Rezolvând această ecuație pentru rezultă
unde matricea de curbură este
Prin urmare, curbura discului hiperbolic este
Note
Lectură suplimentară
- en James W. Anderson, Hyperbolic Geometry, second edition, Springer, 2005.
- it Eugenio Beltrami, Teoria fondamentale degli spazii di curvatura costante, Annali. di Mat., ser II 2 (1868), 232–255.
- en Saul Stahl, The Poincaré Half-Plane, Jones and Bartlett, 1993.
Legături externe
![]() | Portal Matematică |
Materiale media legate de modelul discului Poincaré la Wikimedia Commons