liveBook · Manning

Point at infinity

As explained in Geometry for Programmers

A point at infinity is a projective point with zero homogeneous scale that represents a direction or limiting location beyond Euclidean space.

A point at infinity extends Euclidean space with a limiting location beyond every finite distance. In homogeneous coordinates, it has zero scale: (xₚ, yₚ, 0). It cannot be converted to Euclidean coordinates because division by wₚ is undefined. section 4.3.1

The idea becomes intuitive by shrinking the homogeneous scale while holding the other coordinates fixed. As wₚ approaches zero, the corresponding Euclidean point moves farther from the origin without reaching a finite endpoint. The zero-scale limit represents the direction or infinitely far location reached by that process. section 4.3.1

Key properties:

  • Euclidean points require wₚ ≠ 0, because conversion uses xₑ = xₚ/wₚ and yₑ = yₚ/wₚ. section 4.3.1
  • All points with wₚ = 0 form a belt that complements Euclidean space in projective space. section 4.3.1
  • These points make projective computations easier, including transformations represented through matrix multiplication. section 4.3.1 section 4.7

Following a point toward infinity

The homogeneous point (1, 0, 1) represents the Euclidean point (1, 0). Keeping xₚ = 1 and reducing wₚ produces (10, 0), (100, 0), (1000, 0), and so on. The limiting homogeneous form (1, 0, 0) lies in projective space rather than Euclidean space. section 4.3.1

Figure 4.16 An example of central projection. Projection lines intersect in the center of the projection.
04-16

Use the central-projection figure to connect ordinary finite projection geometry with projective representations. section 4.3.1

Figure 4.17 An example of parallel projection. In projective space, this example is the same as figure 4.16.
04-17

Compare parallel projection with central projection: projective space represents both through the same underlying projective setup. section 4.3.1

How Geometry for Programmers covers it

How deep it goes
Explains zero-scale coordinates through a numerical limiting sequence and stops short of formal projective constructions.
Examples
Uses shrinking homogeneous scales, a zero-scale coordinate belt, and central-versus-parallel projection figures.
What it assumes
Assumes basic Euclidean coordinates and develops the homogeneous-coordinate conversion needed to interpret projective points.
What you can do after
Evaluate homogeneous coordinates with zero scale and understand why such points support projective transformations.
How it connects
Connects homogeneous coordinates, Euclidean space, projective space, projective transformations, central projection, and parallel projection.

Also explained in

Compare how 3 books explain point at infinity →

Related concepts

This explainer was generated by Manning's knowledge graph from the text of Geometry for Programmers. The section links point to the parts of the book it draws on.