Projective Geometry and Homogeneous Coordinates

⚡ Key Takeaways

Projective geometry studies geometric properties invariant under projection, achieved by augmenting ordinary (affine) space with "points at infinity." Homogeneous coordinates represent a point in $n$ -dimensional projective space by an $(n+1)$ -tuple defined only up to a nonzero scalar. Key result: parallel lines meet at a point at infinity, and all conics, lines, and incidence relations gain elegant symmetry (duality). Used in computer vision, computer graphics, algebraic geometry, and classical geometry. Originated with Desargues (1639) and Poncelet (1822).

💡 The Core Insight

A point in the affine plane $(x, y)$ becomes the line through the origin in 3-space passing through $(x, y, 1)$ . Two triples represent the same projective point iff they are scalar multiples — i.e., they lie on the same line through the origin of $\mathbb{R}^3$ . Points "at infinity" correspond to lines through the origin lying in the plane $z = 0$ , which the affine embedding never reaches. Projective geometry is the geometry of lines through the origin of a vector space.

DefinitionProjective Space

Let $V$ be an $(n+1)$ -dimensional vector space over a field $\mathbb{F}$ (usually $\mathbb{R}$ or $\mathbb{C}$ ). The projective space $\mathbb{P}(V) = \mathbb{P}^n(\mathbb{F})$ is the set of one-dimensional linear subspaces of $V$ , equivalently:

1

\quad \mathbb{P}^n(\mathbb{F}) = \big(\,\mathbb{F}^{n+1}\setminus\{\mathbf{0}\}\,\big)\big/\sim, \qquad \mathbf{x}\sim\mathbf{y} \iff \mathbf{y}=\lambda\mathbf{x},\ \lambda\in\mathbb{F}^\times

Derivation hint: Quotient the punctured vector space by the multiplicative group $\mathbb{F}^\times$ acting by scaling; each orbit is a line through the origin minus the origin. The equivalence class of $(x_0, x_1, \dots, x_n)$ is written $[x_0 : x_1 : \cdots : x_n]$ , its homogeneous coordinates. At least one coordinate must be nonzero, and only ratios are meaningful.

DefinitionAffine Embedding and Points at Infinity

Fix the standard embedding $\iota:\mathbb{A}^n \hookrightarrow \mathbb{P}^n$ via

2

\quad \iota(x_1,\dots,x_n) = [x_1 : x_2 : \cdots : x_n : 1]

Derivation hint: Append a final coordinate $1$ ; recovering affine coordinates from $[x_0:\cdots:x_n]$ with $x_n\neq 0$ uses $x_i \mapsto x_i/x_n$ . The image is the affine chart $\{x_n \neq 0\}$ . Its complement, the hyperplane at infinity, is

3

\quad H_\infty = \{[x_0 : \cdots : x_{n-1} : 0]\} \cong \mathbb{P}^{n-1}

Derivation hint: Setting the last homogeneous coordinate to zero forbids dehomogenization; the remaining ratios form a projective space one dimension lower. A direction $(d_1,\dots,d_n)$ in $\mathbb{A}^n$ corresponds to the point at infinity $[d_1:\cdots:d_n:0]$ ; all parallel lines share this single point.

DefinitionLines in the Projective Plane

In $\mathbb{P}^2$ , a line is the zero set of a nonzero homogeneous linear form:

4

\quad \ell:\ a x + b y + c z = 0, \qquad (a,b,c)\neq(0,0,0)

Derivation hint: A 2-dimensional subspace of $\mathbb{F}^3$ is cut out by one linear equation; projectivizing gives a line. The coefficient triple $[a:b:c]$ is itself a point of the dual plane. The triple $[a:b:c]$ is the line's homogeneous coordinates in the dual projective plane $(\mathbb{P}^2)^*$ .

TheoremIncidence Duality of the Projective Plane

In $\mathbb{P}^2$ : 1. Any two distinct points lie on exactly one line. 2. Any two distinct lines meet in exactly one point. Both are computed by the cross product of homogeneous coordinate vectors:

5

\quad \ell = \mathbf{p}\times\mathbf{q}\quad(\text{line through points}),\qquad \mathbf{p} = \ell_1\times\ell_2\quad(\text{point of intersection})

Derivation hint: A point $\mathbf{p}$ lies on line $\ell$ iff $\ell\cdot\mathbf{p}=0$ . Since $(\mathbf{p}\times\mathbf{q})$ is orthogonal to both $\mathbf{p}$ and $\mathbf{q}$ , it is the unique line through them (up to scale); the dual argument gives intersection.

Proof

Claim: Two distinct lines $\ell_1=[a_1:b_1:c_1]$ , $\ell_2=[a_2:b_2:c_2]$ meet in exactly one projective point. 1. A point $\mathbf{p}=[x:y:z]$ lies on both lines iff it satisfies the linear system

a_1 x + b_1 y + c_1 z = 0, \qquad a_2 x + b_2 y + c_2 z = 0.

2. This is a homogeneous $2\times 3$ system. Since $\ell_1\neq\ell_2$ as projective points, the coefficient vectors are linearly independent, so the coefficient matrix has rank $2$ . 3. By rank–nullity, the solution space has dimension $3 - 2 = 1$ : a single line through the origin in $\mathbb{F}^3$ . 4. A one-dimensional subspace is exactly one point of $\mathbb{P}^2$ . Explicitly, the solution is spanned by $\ell_1\times\ell_2$ , since the cross product is orthogonal to both coefficient vectors. $\blacksquare$

Remark (parallel lines): Affine parallels $y = mx + b_1$ and $y = mx + b_2$ homogenize to $mx - y + b_1 z = 0$ and $mx - y + b_2 z = 0$ . Their intersection is $[1 : m : 0]$ , a point at infinity. Distinct parallels meet there; no exception remains.

∎

mathematician · Jean-Victor Poncelet | 1788–1867

A French engineer and officer in Napoleon's army, Poncelet was captured during the 1812 Russian campaign and, while imprisoned at Saratov on the Volga, reconstructed projective geometry from memory without books. His Traité des propriétés projectives des figures (1822) revived and systematized Desargues's neglected ideas, established the principle of continuity and duality as guiding methods, and introduced imaginary points (the circular points at infinity) and the line at infinity as full citizens of geometry. He insisted that projective properties — those preserved under projection — were the truly fundamental ones, decoupling geometry from measurement of distance and angle.

🧠 Intuition

Imagine standing on a long straight road. The two parallel edges of the road visibly converge to a single point on the horizon — the "vanishing point." Projective geometry takes this perceptual fact and makes it literally true: parallel lines meet at a point at infinity, and the horizon is the line at infinity. The homogeneous coordinate trick is a "lift and project" picture. Place a screen at height $z=1$ above the origin of 3-space. Every point on the screen corresponds to the ray from the origin through it. As you tilt a ray toward horizontal ( $z\to 0$ ), its piercing point on the screen flies off to infinity. The horizontal rays (the plane $z=0$ ) are the limiting "points at infinity" the screen could never display — but in projective space they are perfectly ordinary points. There is nothing special about which rays are "at infinity"; choosing a different screen orientation relabels which points are finite. This is the deep lesson: infinity is not absolute, it is a choice of chart.

Figure

Central projection: affine points are rays through the origin piercing the plane

z=1

; horizontal rays are points at infinity

ExampleIntersection of Two Lines via Cross Product

Given: Find where lines $\ell_1: 2x + 3y - 6 = 0$ and $\ell_2: x - y + 1 = 0$ meet in $\mathbb{P}^2$ .

Steps: 1. Homogenize (replace the constant term with a $z$ -term): $\ell_1 = [2:3:-6]$ , $\ell_2 = [1:-1:1]$ . 2. Compute the cross product:

\mathbf{p}=\ell_1\times\ell_2 = \begin{vmatrix}\mathbf{i}&\mathbf{j}&\mathbf{k}\\ 2&3&-6\\ 1&-1&1\end{vmatrix}.

3. Components:

$i:\ (3)(1)-(-6)(-1) = 3 - 6 = -3$
$j:\ -\big[(2)(1)-(-6)(1)\big] = -(2+6) = -8$
$k:\ (2)(-1)-(3)(1) = -2-3 = -5$

4. So $\mathbf{p} = [-3:-8:-5]$ . Since $z = -5 \neq 0$ , this is a finite point. 5. Dehomogenize: $x = -3/-5 = 3/5$ , $y = -8/-5 = 8/5$ .

Answer:

\boxed{\ (x,y) = \left(\tfrac{3}{5},\ \tfrac{8}{5}\right),\quad \text{homogeneous } [-3:-8:-5]\equiv[3:8:5]\ }

ExampleDetecting a Point at Infinity

Given: Where do the parallel lines $\ell_1: y = 2x + 1$ and $\ell_2: y = 2x - 4$ meet?

Steps: 1. Rewrite: $2x - y + 1 = 0$ and $2x - y - 4 = 0$ . Homogenize: $\ell_1 = [2:-1:1]$ , $\ell_2 = [2:-1:-4]$ . 2. Cross product $\ell_1\times\ell_2$ :

$i:\ (-1)(-4)-(1)(-1) = 4 + 1 = 5$
$j:\ -\big[(2)(-4)-(1)(2)\big] = -(-8-2) = 10$
$k:\ (2)(-1)-(-1)(2) = -2+2 = 0$

3. So $\mathbf{p} = [5:10:0]$ . The third coordinate is $0$ — a point at infinity. 4. Simplify direction: $[5:10:0] = [1:2:0]$ , the direction $(1,2)$ , which is exactly the common slope ( $\Delta y/\Delta x = 2/1$ ).

Answer:

\boxed{\ \text{Intersection } = [1:2:0],\ \text{the point at infinity in direction } (1,2)\ }

⚠️ Common mistake

Homogeneous coordinates are not unique, and the origin is forbidden. A frequent error is treating $[2:4:2]$ and $[1:2:1]$ as different points — they are identical in $\mathbb{P}^2$ . Always reason up to scale. Equally, $[0:0:0]$ is not a point of any projective space: it corresponds to no line through the origin. When performing computations, never let all coordinates collapse to zero (e.g., taking the cross product of two equal lines gives $\mathbf{0}$ , correctly signalling that "two equal lines" do not determine a single intersection).

Counterexample

"Every algebraic identity over affine space carries over to projective space." False — degree must be respected. Consider intersecting a line with a parabola. In affine coordinates the parabola $y = x^2$ and the line $y = 0$ meet only at $(0,0)$ — seemingly one point, contradicting Bézout's theorem which promises $\deg(1)\cdot\deg(2) = 2$ intersections. Homogenizing $y = x^2$ to $yz = x^2$ and $y = 0$ to $y = 0$ gives $x^2 = 0$ with $y = 0$ , i.e. the point $[0:0:1]$ counted with multiplicity 2 (a tangency at infinity is not the issue here — the line is tangent at the origin). The naïve count "one point" was wrong because affine intersection ignores multiplicity. Bézout's theorem holds only in projective space, counting multiplicities and points at infinity.

connection

Projective geometry sits at a crossroads. Algebraically, $\mathbb{P}^n$ is the simplest nontrivial object of Algebraic Geometry, where homogeneous polynomials and the Proj construction generalize this entire framework. The map $\mathbb{F}^{n+1}\setminus\{0\}\to\mathbb{P}^n$ is the prototype of a Quotient Space by a group action, and over $\mathbb{C}$ it underlies Complex Manifolds ( $\mathbb{CP}^n$ is a compact complex manifold). The transformation group $\mathrm{PGL}_{n+1}$ links it to Group Theory and the Erlangen Program, in which Felix Klein classified geometries by their symmetry groups. Affine and Euclidean geometry are recovered by restricting projective transformations that fix the hyperplane at infinity, making projective geometry the parent of Affine Geometry. The duality of points and lines anticipates Dual Vector Spaces in linear algebra.

🔬 Where this appears

⏳ History

- c. 300 BCE — Euclid & Apollonius. Conics studied as plane sections of a cone; the seed of "projection," though incidence-at-infinity is absent.

- 1435 — Alberti, Della Pittura. Renaissance perspective: the geometry of vanishing points formalized for painters; the first practical projective thinking.

- 1639 — Girard Desargues. Brouillon project introduces points at infinity and proves Desargues's theorem on perspective triangles; largely ignored and nearly lost.

- 1640 — Blaise Pascal. At sixteen, proves the "mystic hexagon" theorem (Pascal's theorem) on conics, a projective result.

- 1822 — Jean-Victor Poncelet. Traité des propriétés projectives des figures founds projective geometry as an independent discipline; principles of duality and continuity.

- 1827 — Möbius. Introduces barycentric (a form of homogeneous) coordinates in Der barycentrische Calcul.

- 1830s — Plücker & Steiner. Plücker develops the analytic/coordinate approach and line coordinates; Steiner the synthetic approach. The duality principle is fully clarified.

- 1871 — Felix Klein. Shows projective geometry contains Euclidean and non-Euclidean geometries as special cases (the Cayley–Klein metrics); 1872 Erlangen Program organizes all geometry by transformation groups.

- 20th century — Algebraic geometry. Hilbert, Zariski, Weil, Serre, and Grothendieck recast projective space as Proj of a graded ring;

\mathbb{P}^n

becomes a foundational scheme.

open-problem

Projective space is conceptually clean but harbors genuine depth at its edges. Orientation and topology: $\mathbb{RP}^n$ is non-orientable for even $n$ and is the quotient of the $n$ -sphere by the antipodal map; $\mathbb{RP}^2$ cannot be embedded in $\mathbb{R}^3$ without self-intersection (Boy's surface), so visual intuition fails. Metric structure: projective geometry by itself has no notion of distance or angle — these require choosing a quadric "absolute" (the Cayley–Klein construction), and which choice you make selects Euclidean, hyperbolic, or elliptic geometry. Finite fields: the existence and uniqueness of finite projective planes is deeply open — it is a famous theorem (Bruck–Ryser) that no projective plane of order $6$ exists, and whether a projective plane of order $12$ exists is unknown; the nonexistence of order $10$ was settled only by massive computer search in 1989. Higher-dimensional invariants: classifying subvarieties of $\mathbb{P}^n$ (the substance of modern algebraic geometry) connects to Hodge theory and motivic questions that remain wide open.

Projective Geometry and Homogeneous Coordinates

Formal Statement

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also