Previous page (Projective spaces) | Contents | Next page (The projective groups) |

To calculate with points and figures in the projective plane we introduce homogeneous coordinates which allow us to see the relationship between points at infinity and ordinary points.

First we will consider the projective line.

Fix the point of projection *P* to be the origin in **R**^{2}. Then identify an ordinary point *A* on the line *y* = 1 with the line *AP*. Then every line through *P* is identified with a point of the line *y* = 1 except the *x*-axis itself. We will identify this with the point at infinity.

We can describe a line *AP* through the origin by taking a vector (*α*, *β*) in it. Then the point *A* has *x*-coordinate ^{α}/_{β} while the point at infinity corresponds to a vector (*α*, 0).

**Definition**

The **homogeneous coordinates** of a point *x* on the affine line are (*α*, *β*) where *x* = ^{α}/_{β} . The point at infinity has homogeneous coordinates (1, 0).

Since any non-zero multiple of the vector (*α*, *β*) will also be in *AP*, homogeneous coordinates are only defined up to multiplication by a non-zero scalar.

**Remarks**

- The pair [0, 0] does not represent any point on the projective line.
- We will denote the projective line by
**R***P*^{1}. - To do this formally, we use an equivalence relation.

**R***P*^{1}=*R*^{2}- {(0, 0)}/~ where (*α*,*β*) ~ (*λ**α*,*λ**β*) for any*λ*≠ 0.

We denote the equivalence class of (*α*,*β*) by [*α*,*β*] so that [*α*,*β*] =[*λ**α*,*λ**β*] for any*λ*≠ 0. - Ordinary points on the line thus have homogeneous coordinates [
*x*, 1] (since [*α*,*β*] = [^{α}/_{β}, 1] if*β*≠ 0) and the point at infinity has homogeneous coordinates [1,0].

Similarly, we may introduce homogeneous coordinates in the projective plane

Ordinary affine points have coordinates [

**Properties**

- In the ordinary affine plane a straight line has an equation
*ax*+*by*+*c*= 0.

Take homogeneous coordinates and replace*x*by^{x}/_{z}and*y*by^{y}/_{z}and get an equation*a*^{x}/_{z}+*b*^{y}/_{z}+*c*= 0 or*ax*+*by*+*cz*= 0 (a homogeneous equation). Note that this second equation has an extra solution corresponding to*z*= 0. This is the point at infinity on the line and has homogeneous coordinates [*b*, -*a*, 0]. - The equation
*y*-*x*^{2}= 0 represents a parabola in the affine plane. Using the same trick as above ⇒^{y}/_{z}- (^{x}/_{z})^{2}= 0 ⇒*yz*-*x*^{2}= 0.

This homogeneous equation gives a curve in**R***P*^{2}which meets the line at infinity*z*= 0 in the single point [0, 1, 0]. - The equation
*xy*= 1 representing a rectangular hyperbola in the affine plane ⇒^{x}/_{z}.^{y}/_{z}= 1 ⇒*xy*=*z*^{2}.

This homogeneous equation gives a curve in**R***P*^{2}which meets the line at infinity*z*= 0 at the two points [1, 0, 0] and [0, 1, 0] (the points at infinity on the asymptotes). - The equation
*x*^{2}+*y*^{2}= 1 representing a circle in the affine plane ⇒*x*^{2}+*y*^{2}=*z*^{2}and this homogeneous equation gives a curve in**R***P*^{2}which does*not*meet the line at infinity.

In fact arguing as above, one can show that ellipses do not meet the line at infinity, hyperbolae meet it at two points and parabolas touch it (meet it at one point).

Of course, if one projects so that the line at infinity is projected into an ordinary line, it is possible to project a parabola into an ellipse, etc.

We will see (soon!) how to get a "topological" picture of a projective space.

Previous page (Projective spaces) | Contents | Next page (The projective groups) |