Namespaces
Variants
Actions

Difference between revisions of "Poincaré model"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (moved Poincare model to Poincaré model over redirect: accented title)
(TeX)
 
Line 1: Line 1:
 +
{{TEX|done}}
 
''Poincaré interpretation''
 
''Poincaré interpretation''
  
A model realizing the geometry of the Lobachevskii plane (hyperbolic geometry) in the complex plane. In the Poincaré model with a circular [[Absolute|absolute]], every point of the unit disc <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073070/p0730701.png" /> in the complex plane is called a hyperbolic point and the disc itself is called the hyperbolic plane. Circular arcs (and diameters) in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073070/p0730702.png" /> which are orthogonal to the boundary circle <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073070/p0730703.png" /> are called hyperbolic lines. Every point of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073070/p0730704.png" /> is called an ideal point. Hyperbolic lines with a common hyperbolic point are said to be intersecting lines; those with a common ideal point are called parallel; and those lines which do not intersect and are not parallel are called ultra-parallel (divergent). So, for example, in Fig. a two lines are depicted passing through the point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073070/p0730705.png" /> and both are parallel to the line <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073070/p0730706.png" />.
+
A model realizing the geometry of the Lobachevskii plane (hyperbolic geometry) in the complex plane. In the Poincaré model with a circular [[Absolute|absolute]], every point of the unit disc $E=\{z\colon|z|<1\}$ in the complex plane is called a hyperbolic point and the disc itself is called the hyperbolic plane. Circular arcs (and diameters) in $E$ which are orthogonal to the boundary circle $\Omega=\{z\colon|z|=1\}$ are called hyperbolic lines. Every point of $\Omega$ is called an ideal point. Hyperbolic lines with a common hyperbolic point are said to be intersecting lines; those with a common ideal point are called parallel; and those lines which do not intersect and are not parallel are called ultra-parallel (divergent). So, for example, in Fig. a two lines are depicted passing through the point $z_1$ and both are parallel to the line $z_2z_3$.
  
 
<img style="border:1px solid;" src="https://www.encyclopediaofmath.org/legacyimages/common_img/p073070a.gif" />
 
<img style="border:1px solid;" src="https://www.encyclopediaofmath.org/legacyimages/common_img/p073070a.gif" />
Line 7: Line 8:
 
Figure: p073070a
 
Figure: p073070a
  
In the Poincaré model in the half-plane <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073070/p0730707.png" />, every point of the upper half-plane is called a hyperbolic point and the half-plane itself is called the hyperbolic plane. Semi-circles and half-lines which are orthogonal to the real axis are called hyperbolic lines. The set of ideal points (the absolute) is the real axis together with the point at infinity of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073070/p0730708.png" />-plane. Parallel, intersecting and divergent lines are defined as in the Poincaré model with a circular absolute. So, for example, in Fig. b two lines passing through the point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073070/p0730709.png" /> and parallel to the line <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073070/p07307010.png" /> are depicted.
+
In the Poincaré model in the half-plane $H=\{z=x+iy\colon y>0\}$, every point of the upper half-plane is called a hyperbolic point and the half-plane itself is called the hyperbolic plane. Semi-circles and half-lines which are orthogonal to the real axis are called hyperbolic lines. The set of ideal points (the absolute) is the real axis together with the point at infinity of the $z$-plane. Parallel, intersecting and divergent lines are defined as in the Poincaré model with a circular absolute. So, for example, in Fig. b two lines passing through the point $z_1$ and parallel to the line $z_2z_3$ are depicted.
  
 
<img style="border:1px solid;" src="https://www.encyclopediaofmath.org/legacyimages/common_img/p073070b.gif" />
 
<img style="border:1px solid;" src="https://www.encyclopediaofmath.org/legacyimages/common_img/p073070b.gif" />
Line 15: Line 16:
 
The motions can be described as conformal transformations sending the absolute onto itself. Distance is defined using the [[Cross ratio|cross ratio]] of four points:
 
The motions can be described as conformal transformations sending the absolute onto itself. Distance is defined using the [[Cross ratio|cross ratio]] of four points:
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073070/p07307011.png" /></td> </tr></table>
+
$$\rho(z_1,z_2)=k\ln(z_1,z_2,z_1^*,z_2^*),$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073070/p07307012.png" /> is the ideal point of the half-line emanating from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073070/p07307013.png" /> and passing through <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073070/p07307014.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073070/p07307015.png" /> is the ideal point of the half-line emanating from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073070/p07307016.png" /> and passing through <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073070/p07307017.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073070/p07307018.png" /> is an arbitrary positive constant, and
+
where $z_1^*$ is the ideal point of the half-line emanating from $z_1$ and passing through $z_2$, $z_2^*$ is the ideal point of the half-line emanating from $z_2$ and passing through $z_1$, $k$ is an arbitrary positive constant, and
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073070/p07307019.png" /></td> </tr></table>
+
$$(z_1,z_2,z_1^*,z_2^*)=\frac{z_1^*-z_1}{z_1^*-z_2}:\frac{z_2^*-z_1}{z_2^*-z_2}$$
  
 
The angular measurements in the Poincaré model are the same as in hyperbolic geometry (cf. [[Lobachevskii geometry|Lobachevskii geometry]]).
 
The angular measurements in the Poincaré model are the same as in hyperbolic geometry (cf. [[Lobachevskii geometry|Lobachevskii geometry]]).
Line 31: Line 32:
  
 
====Comments====
 
====Comments====
Alternatively, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073070/p07307020.png" />, being equal to the distance between hyperbolic lines through <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073070/p07307021.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073070/p07307022.png" /> orthogonal to the line <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073070/p07307023.png" />, can be defined as the inverse distance between the circles representing those two lines. (The inverse distance between two non-intersecting circles in the Euclidean plane is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073070/p07307024.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073070/p07307025.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p073/p073070/p07307026.png" /> are the radii of any two concentric circles into which the given circles can be inverted.)
+
Alternatively, $\rho(z_1,z_2)$, being equal to the distance between hyperbolic lines through $z_1$ and $z_2$ orthogonal to the line $z_1z_2$, can be defined as the inverse distance between the circles representing those two lines. (The inverse distance between two non-intersecting circles in the Euclidean plane is $|\ln r_1/r_2|$, where $r_1$ and $r_2$ are the radii of any two concentric circles into which the given circles can be inverted.)
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  H.S.M. Coxeter,  "Introduction to geometry" , Wiley  (1969)  pp. 90, 303</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  H.S.M. Coxeter,  "Parallel lines"  ''Canad. Math. Bull.'' , '''21'''  (1978)  pp. 385–397</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  H.S.M. Coxeter,  S.L. Greitzer,  "Geometry revisited" , Random House  (1967)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  H.M.S. Coxeter,  "Non-Euclidean geometry" , Univ. Toronto Press  (1957)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  M.J. Greenberg,  "Euclidean and non-Euclidean geometries" , Freeman  (1974)</TD></TR></table>
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  H.S.M. Coxeter,  "Introduction to geometry" , Wiley  (1969)  pp. 90, 303</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  H.S.M. Coxeter,  "Parallel lines"  ''Canad. Math. Bull.'' , '''21'''  (1978)  pp. 385–397</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  H.S.M. Coxeter,  S.L. Greitzer,  "Geometry revisited" , Random House  (1967)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  H.M.S. Coxeter,  "Non-Euclidean geometry" , Univ. Toronto Press  (1957)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  M.J. Greenberg,  "Euclidean and non-Euclidean geometries" , Freeman  (1974)</TD></TR></table>

Latest revision as of 19:16, 14 August 2014

Poincaré interpretation

A model realizing the geometry of the Lobachevskii plane (hyperbolic geometry) in the complex plane. In the Poincaré model with a circular absolute, every point of the unit disc $E=\{z\colon|z|<1\}$ in the complex plane is called a hyperbolic point and the disc itself is called the hyperbolic plane. Circular arcs (and diameters) in $E$ which are orthogonal to the boundary circle $\Omega=\{z\colon|z|=1\}$ are called hyperbolic lines. Every point of $\Omega$ is called an ideal point. Hyperbolic lines with a common hyperbolic point are said to be intersecting lines; those with a common ideal point are called parallel; and those lines which do not intersect and are not parallel are called ultra-parallel (divergent). So, for example, in Fig. a two lines are depicted passing through the point $z_1$ and both are parallel to the line $z_2z_3$.

Figure: p073070a

In the Poincaré model in the half-plane $H=\{z=x+iy\colon y>0\}$, every point of the upper half-plane is called a hyperbolic point and the half-plane itself is called the hyperbolic plane. Semi-circles and half-lines which are orthogonal to the real axis are called hyperbolic lines. The set of ideal points (the absolute) is the real axis together with the point at infinity of the $z$-plane. Parallel, intersecting and divergent lines are defined as in the Poincaré model with a circular absolute. So, for example, in Fig. b two lines passing through the point $z_1$ and parallel to the line $z_2z_3$ are depicted.

Figure: p073070b

The motions can be described as conformal transformations sending the absolute onto itself. Distance is defined using the cross ratio of four points:

$$\rho(z_1,z_2)=k\ln(z_1,z_2,z_1^*,z_2^*),$$

where $z_1^*$ is the ideal point of the half-line emanating from $z_1$ and passing through $z_2$, $z_2^*$ is the ideal point of the half-line emanating from $z_2$ and passing through $z_1$, $k$ is an arbitrary positive constant, and

$$(z_1,z_2,z_1^*,z_2^*)=\frac{z_1^*-z_1}{z_1^*-z_2}:\frac{z_2^*-z_1}{z_2^*-z_2}$$

The angular measurements in the Poincaré model are the same as in hyperbolic geometry (cf. Lobachevskii geometry).

H. Poincaré (1882) proposed this model.

References

[1] F. Klein, "Elementary mathematics from a higher viewpoint" , Macmillan (1939) (Translated from German)
[2] V.F. Kagan, "Lobachevskii and his geometry" , Moscow (1955) (In Russian)
[3] D. Hilbert, S.E. Cohn-Vossen, "Geometry and the imagination" , Chelsea (1952) (Translated from German)
[4] H. Poincaré, "Oeuvres" , Gauthier-Villars (1916–1956)
[5] R. Nevanlinna, "Uniformisierung" , Springer (1967)
[6] G. Sansone, J. Gerretsen, "Lectures on the theory of functions of a complex variable" , 2. Geometric theory , Wolters-Noordhoff (1969)


Comments

Alternatively, $\rho(z_1,z_2)$, being equal to the distance between hyperbolic lines through $z_1$ and $z_2$ orthogonal to the line $z_1z_2$, can be defined as the inverse distance between the circles representing those two lines. (The inverse distance between two non-intersecting circles in the Euclidean plane is $|\ln r_1/r_2|$, where $r_1$ and $r_2$ are the radii of any two concentric circles into which the given circles can be inverted.)

References

[a1] H.S.M. Coxeter, "Introduction to geometry" , Wiley (1969) pp. 90, 303
[a2] H.S.M. Coxeter, "Parallel lines" Canad. Math. Bull. , 21 (1978) pp. 385–397
[a3] H.S.M. Coxeter, S.L. Greitzer, "Geometry revisited" , Random House (1967)
[a4] H.M.S. Coxeter, "Non-Euclidean geometry" , Univ. Toronto Press (1957)
[a5] M.J. Greenberg, "Euclidean and non-Euclidean geometries" , Freeman (1974)
How to Cite This Entry:
Poincaré model. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Poincar%C3%A9_model&oldid=32936
This article was adapted from an original article by A.B. Ivanov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article