Real projective line

In geometry, a real projective line is an extension of the usual concept of line that has been historically introduced to solve a problem set by visual perspective: two parallel lines do not intersect but seem to intersect "at infinity". For solving this problem, points at infinity have been introduced, in such a way that in a real projective plane, two distinct projective lines meet in exactly one point. The set of these points at infinity, the "horizon" of the visual perspective in the plane, is a real projective line. It is the circle of directions emanating from an observer situated at any point, with opposite points identified. A model of the real projective line is the projectively extended real line. Drawing a line to represent the horizon in visual perspective, an additional point at infinity is added to represent the collection of lines parallel to the horizon.

The real projective line can be modeled by the projectively extended real line, which consists of the real line together with a point at infinity; i.e., the one-point compactification of R.

Formally, the real projective line P(R) is defined as the space of all one-dimensional linear subspaces of a two-dimensional vector space over the reals. The automorphisms of the real projective line are constructed with 2 × 2 real matrices. A matrix is required to be non-singular, and following the identification of proportional projective coordinates, proportional matrices (having identical actions on the real projective line) determine the same automorphism of P(R). Such an automorphism is sometimes called a homography of the projective line. With due regard for the point at infinity, an automorphism may be called a linear fractional transformation. The automorphisms form the projective linear group PGL(2,R).

Topologically, the real projective line is homeomorphic to the circle. The real projective line is the boundary of the hyperbolic plane. Every isometry of the hyperbolic plane induces a unique geometric transformation of the boundary, and vice versa. Furthermore, every harmonic function on the hyperbolic plane is given as a Poisson integral of a distribution on the projective line, in a manner that is compatible with the action of the isometry group. The topological circle has many compatible projective structures on it; the space of such structures is the (infinite dimensional) universal Teichmüller space. The complex analog of the real projective line is the complex projective line; that is, the Riemann sphere.

Definition

The points of the real projective line are usually defined as equivalence classes of an equivalence relation. The starting point is a real vector space of dimension 2, $V$ . Define on $V ∖ 0$ the binary relation $v ~ w$ to hold when there exists a nonzero real number $t$ such that $v = t w$ . The definition of a vector space implies almost immediately that this is an equivalence relation. The equivalence classes are the vector lines from which the zero vector has been removed. The real projective line $P (V)$ is the set of all equivalence classes. Each equivalence class is considered as a single point, or, in other words, a point is defined as being an equivalence class.

If one chooses a basis of $V$ , this amounts (by identifying a vector with its coordinates vector) to identify $V$ with the direct product $R \times R = R 2$ , and the equivalence relation becomes $(x, y) ~ (w, z)$ if there exists a nonzero real number $t$ such that $(x, y) = (tw, tz)$ . In this case, the projective line $P (R 2)$ is preferably denoted $P 1 (R)$ or $\mathbb {R} \mathbb {P} ^{1}$ . The equivalence class of the pair $(x, y)$ is traditionally denoted $[x : y]$ , the colon in the notation recalling that, if $y \neq 0$ , the ratio $x : y$ is the same for all elements of the equivalence class. If a point $P$ is the equivalence class $[x : y]$ one says that $(x, y)$ is a pair of projective coordinates of $P$ .[1]

As $P (V)$ is defined through an equivalence relation, the canonical projection from $V$ to $P (V)$ defines a topology (the quotient topology) and a differential structure on the projective line. However, the fact that equivalence classes are not finite induces some difficulties for defining the differential structure. These are solved by considering $V$ as a Euclidean vector space. The circle of the unit vectors is, in the case of $R 2$ , the set of the vectors whose coordinates satisfy $x 2 + y 2 = 1$ . This circle intersects each equivalence classes in exactly two opposite points. Therefore, the projective line may be considered as the quotient space of the circle by the equivalence relation such that $v ~ w$ if and only if either $v = w$ or $v = - w$ .

Charts

The projective line is a manifold. This can be seen by above construction through an equivalence relation, but is easier to understand by providing an atlas consisting of two charts

Chart #1: $y\neq 0,\quad [x:y]\mapsto {\frac {x}{y}}$
Chart #2: $x\neq 0,\quad [x:y]\mapsto {\frac {y}{x}}$

The equivalence relation provides that all representatives of an equivalence class are sent to the same real number by a chart.

Either of $x$ or $y$ may be zero, but not both, so both charts are needed to cover the projective line. The transition map between these two charts is the multiplicative inverse. As it is a differentiable function, and even an analytic function (outside of zero), the real projective line is both a differentiable manifold and an analytic manifold.

The inverse function of chart #1 is the map

x\mapsto [x:1].

It defines an embedding of the real line into the projective line, whose complement of the image is the point $[1: 0]$ . The pair consisting of this embedding and the projective line is called the projectively extended real line. Identifying the real line with its image by this embedding, one sees that the projective line may be considered as the union of the real line and the single point $[1: 0]$ , called the point at infinity of the projectively extended real line, and denoted $\infty$ . This embedding allows us to identify the point $[x : y]$ either with the real number $.mw-parser-output .sr-only{border:0;clip:rect(0,0,0,0);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;width:1px;white-space:nowrap} x / y$ if $y \neq 0$ , or with $\infty$ in the other case.

The same construction may be done with the other chart. In this case, the point at infinity is $[0: 1]$ . This shows that the notion of point at infinity is not intrinsic to the real projective line, but is relative to the choice of an embedding of the real line into the projective line.

Structure

The real projective line is a complete projective range that is found in the real projective plane and in the complex projective line. Its structure is thus inherited from these superstructures. Primary among these structures is the relation of projective harmonic conjugates among the points of the projective range.

The real projective line has a cyclic order which is an important mathematical structure in showing that the real line is totally ordered and complete.[2] The cyclic order is addressed by a separation relation which has the properties necessary for appropriate deductions.

Automorphisms

The projective linear group and its action

Matrix-vector multiplication defines a left action of $GL 2 (R)$ on the space $R 2$ of column vectors: explicitly,

{\begin{pmatrix}a&b\\c&d\end{pmatrix}}{\begin{pmatrix}x\\y\end{pmatrix}}={\begin{pmatrix}ax+by\\cx+dy\end{pmatrix}}.

Since each matrix in $GL 2 (R)$ fixes the zero vector and maps proportional vectors to proportional vectors, there is an induced action of $GL 2 (R)$ on $P 1 (R)$ : explicitly,[3]

{\begin{pmatrix}a&b\\c&d\end{pmatrix}}[x:y]=[ax+by:cx+dy].

(Here and below, the notation $[x:y]$ for homogeneous coordinates denotes the equivalence class of the column matrix $\textstyle {\begin{pmatrix}x\\y\end{pmatrix}};$ it must not be confused with the row matrix $[x\;y].$ )

The elements of $GL 2 (R)$ that act trivially on $P 1 (R)$ are the nonzero scalar multiples of the identity matrix; these form a subgroup denoted $R \times$ . The projective linear group is defined to be the quotient group $PGL 2 (R) = GL 2 (R)/ R \times$ . By the above, there is an induced faithful action of $PGL 2 (R)$ on $P 1 (R)$ . For this reason, the group $PGL 2 (R)$ may also be called the group of linear automorphisms of $P 1 (R)$ .

Linear fractional transformations

Using the identification $R \cup \infty \to P 1 (R)$ sending $x$ to $[x :1]$ and $\infty$ to $[1:0]$ , one obtains a corresponding action of $PGL 2 (R)$ on $R \cup \infty$ , which is by linear fractional transformations: explicitly, since

{\begin{pmatrix}a&b\\c&d\end{pmatrix}}[x:1]=[ax+b:cx+d]\quad \mathrm {and} \quad {\begin{pmatrix}a&b\\c&d\end{pmatrix}}[1:0]=[a:c],

the class of ${\begin{pmatrix}a&b\\c&d\end{pmatrix}}$ in $PGL 2 (R)$ acts as $x\mapsto {\frac {ax+b}{cx+d}}$ [4][5][6] and $\infty \mapsto {\frac {a}{c}}$ ,[7] with the understanding that each fraction with denominator 0 should be interpreted as $\infty$ .[8]

Properties

Given two ordered triples of distinct points in $P 1 (R)$ , there exists a unique element of $PGL 2 (R)$ mapping the first triple to the second; that is, the action is sharply 3-transitive. For example, the linear fractional transformation mapping $(0, 1, \infty)$ to $(-1, 0, 1)$ is the Cayley transform $x\mapsto {\frac {x-1}{x+1}}$ .
The stabilizer in $PGL 2 (R)$ of the point $\infty$ is the affine group of the real line, consisting of the transformations $x\mapsto ax+b$ for all $a \in R \times$ and $b \in R$ .

Notes

The argument used to construct $P 1 (R)$ can also be used with any field K and any dimension to construct the projective space $P n (K)$ .
Bruce E. Meserve (1955) Fundamental Concepts of Geometry, p. 89, at Google Books
Miyake, Modular forms, Springer, 2006, §1.1. This reference and some of the others below work with $P 1 (C)$ instead of $P 1 (R)$ , but the principle is the same.
Lang, Elliptic functions, Springer, 1987, 3.§1.
Serre, A course in arithmetic, Springer, 1973, VII.1.1.
Stillwell, Mathematics and its history, Springer, 2010, §8.6
Lang, Complex analysis, Springer, 1999, VII, §5.
Koblitz, Introduction to elliptic curves and modular forms, Springer, 1993, III.§1.

References

Juan Carlos Alvarez (2000) The Real Projective Line, course content from New York University.
Santiago Cañez (2014) Notes on Projective Geometry from Northwestern University.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] The argument used to construct $P 1 (R)$ can also be used with any field K and any dimension to construct the projective space $P n (K)$ .

[2] Bruce E. Meserve (1955) Fundamental Concepts of Geometry, p. 89, at Google Books

[3] Miyake, Modular forms, Springer, 2006, §1.1. This reference and some of the others below work with $P 1 (C)$ instead of $P 1 (R)$ , but the principle is the same.

[4] Lang, Elliptic functions, Springer, 1987, 3.§1.

[5] Serre, A course in arithmetic, Springer, 1973, VII.1.1.

[6] Stillwell, Mathematics and its history, Springer, 2010, §8.6

[7] Lang, Complex analysis, Springer, 1999, VII, §5.

[8] Koblitz, Introduction to elliptic curves and modular forms, Springer, 1993, III.§1.