model de geometrie hiperbolică From Wikipedia, the free encyclopedia
Î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ă.
Dreptele hiperbolice sunt toate arcele de cerc euclidiene din disc, care sunt ortogonale pe frontiera discului, plus toate diametrele discului.
Dreapta hiperbolică unică prin două puncte și care nu se află pe un diametru al cercului frontieră poate fi construită astfel:
Dacă și se află pe diametrul cercului frontieră, diametrul respectiv este o dreaptă hiperbolică.
Î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ă.
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ă.
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ă.
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.
Un cerc euclidian:
O coardă euclidiană în cercul frontieră:
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, ț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
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.