Semiplanul superior

În matematică semiplanul superior, $\mathscr{H},$ este mulțimea de puncte Format:Math din planul cartezian cu Format:Math > 0.

Planul complex

Matematicienii identifică uneori planul cartezian cu planul complex, iar apoi semiplanul superior corespunde mulțimii numerelor complexe cu partea imaginară pozitivă:

$\mathscr{H}\equiv \{x+iy\mid y>0;x,y\in ℝ\}.$

Termenul apare dintr-o reprezentare comună a numărului complex Format:Math ca un punct Format:Math din planul dotat cu coordonate carteziene. Când axa Format:Mvar este orientată vertical, „semiplanul superior” corespunde zonei de deasupra axei Format:Mvar, adică numerelor complexe pentru care Format:Mvar > 0.

Este domeniul multor funcții care prezintă interes în analiza complexă, în special în formele modulare. Semiplanul inferior, definit de Format:Mvar < 0, este corespunzător și el, dar mai puțin folosit prin convenție. Discul unitate deschis $𝒟$ (mulțimea numerelor complexe cu modulul subunitar) este echivalent printr-o transformare conformă cu $\mathscr{H}$ (v. "metrică Poincaré"), ceea ce înseamnă că de obicei este posibil să se treacă de la $\mathscr{H}$ la $𝒟$ și invers

De asemenea, joacă un rol important în geometria hiperbolică, unde Format:Ill-wd oferă o modalitate de examinare a transformărilor hiperbolice. Metrica Poincaré oferă o Format:Ill-wd hiperbolică a spațiului.

Format:Ill-wd pentru suprafețe afirmă că semiplanul superior este Format:Ill-wd al suprafețelor cu Format:Ill-wd constantă negativă.

Semiplanul superior închis este reuniunea semiplanului superior și a axei reale. Este închiderea semiplanului superior.

În geometria afină

Transformările afine ale semiplanului superior cuprind:

(1) translații (x,y) → (x + c, y), c Format:Math și

(2) dilatări (x, y) → (λ x, λ y), λ > 0.

Teoremă: Fie A și B semicercuri din semiplanul superior cu centrele pe frontieră. Atunci, există o transformare afină care aplică A pe B.

Demonstrație: În primul pas se translează centrul lui A în (0,0). Apoi se face λ = (diametrul lui B)/(diametrul lui A) și se dilată. Apoi se translează (0,0) în centrul lui B.

Definiție: $𝒵\equiv \{({\cos }^2\theta ,\frac{1}{2}\sin 2\theta )|0<\theta <\pi \}.$

$𝒵$ poate fi recunoscut ca cercul de rază ½ centrat în (½,0) și ca diagramă polară a $\rho (\theta )=\cos \theta .$

Teoremă: (0,0), $\rho (\theta )$ în $𝒵$ și $(1,\tan \theta )$ sunt puncte coliniare.

De fapt, $𝒵$ este reflexia segmentului $\{(1,y)|y>0\}$ pe cercul unitate. Forma diagonală de la (0,0) la $(1,\tan \theta )$ are pătratul $1+{\tan }^2\theta ={\sec }^2\theta ,$ ca urmare $\rho (\theta )=\cos \theta$ este inversa acestei lungimi.

Geometrie metrică

Distanța dintre oricare două puncte Format:Mvar și Format:Mvar din semiplanul superior poate fi definită în mod consecvent după cum urmează: mediatoarea segmentului $\overline{pq}$ fie intersectează frontiera, fie este paralelă cu ea. În acest din urmă caz Format:Mvar și Format:Mvar se află pe o rază perpendiculară pe frontieră și măsura logaritmică poate fi utilizată pentru a defini o distanță invariantă la dilatare. În primul caz Format:Mvar și Format:Mvar se află pe un cerc cu centrul în intersecția mediatoarei cu frontiera. Conform teoremei de mai sus, acest cerc poate fi mutat prin translația afină la $𝒵.$ Distanțele la $𝒵$ pot fi definite prin corespondența cu punctele de pe $\{(1,y)|y>0\}$ și măsura logaritmică a acestei raze. În consecință, semiplanul superior devine un spațiu metric. Numele generic al acestui spațiu metric este planul hiperbolic. În termenii modelelor de geometrie hiperbolică, acest model este frecvent numit modelul semiplanului Poincaré.

Generalizări

O generalizare naturală în geometria diferențială este Format:Mvar-spațiul hiperbolic ${\mathscr{H}}^n,$ cea mai simetrică Format:Ill-wd simplu conexă, cu curbură secțională −1. În această terminologie, semiplanul superior este ${\mathscr{H}}^2$ deoarece are dimensiunea 2 (este bidimensional).

În teoria numerelor, teoria formelor modulare Hilbert se referă la studiul anumitor funcții pe Format:Ill-wd ${\mathscr{H}}^n$ al Format:Mvar copii ale semiplanului superior. Un alt spațiu interesant pentru teoreticienii numerelor este semispațiul superior Siegel ${\mathscr{H}}_n,$ care este domeniul formelor modulare Siegel.

Bibliografie

• Format:En icon Format:MathWorld