Point at infinity
The point at infinity, also called ideal point, of the real number line is a point which, when added to the number line yields a closed curve called the real projective line, . The real projective line is not equivalent to the extended real number line, which has two different points at infinity.
The point at infinity can also be added to the complex plane, , thereby turning it into a closed surface (i.e., complex algebraic curve) known as the complex projective line, , also called the Riemann sphere.
The concept of infinity point admits several generalizations for various multi-dimensional constructions.
In an affine or Euclidean space of higher dimension, the points at infinity are the points which are added to the space to get the projective completion. The set of the points at infinity is called, depending on the dimension of the space, the line at infinity, the plane at infinity or the hyperplane at infinity, in all cases a projective space of one less dimension.
This condition does not depend on the ground field. If real or complex numbers are used, then, from the point of view of differential geometry, points at infinity form a hypersurface, which means a submanifold having one less dimension than the whole projective space. In the general case these facts may be formulated using algebraic manifolds.
Consider a pair of parallel lines in an affine plane A. Since the lines are parallel, they do not intersect in A, but can be made to intersect in the projective completion of A, a projective plane P, by adding the same point at infinity to each of the lines. In fact, this point at infinity must be added to all of the lines in the parallel class of lines that contains these two lines. Different parallel classes of lines of A will receive different points at infinity. The collection of all the points at infinity form the line at infinity. This line at infinity lies in P but not in A. Lines of A which meet in A will get different ideal points since they can not be in the same parallel class, while lines of A which are parallel will get the same ideal point.
In artistic drawing and technical perspective, the projection on the picture plane of the point at infinity of a class of parallel lines is called their vanishing point.
In hyperbolic geometry, an ideal point is also called an omega point. Given a line l and a point P not on l, right- and left-limiting parallels to l through P are said to meet l at omega points. Unlike the projective case, omega points form a boundary, not a submanifold. So, these lines do not intersect at an omega point and such points, although well defined, do not belong to a hyperbolic space itself. In the Poincaré disk model and the Klein model of hyperbolic geometry, the omega points can be visualized since they lie on the boundary circle (which is not part of the model). Pasch's axiom and the exterior angle theorem still hold for an omega triangle, defined by two points in hyperbolic space and an omega point.
This construction can be generalized to topological spaces. Different compactifications may exist for a given space, but arbitrary topological space admits Alexandroff extension, also called the one-point compactification when the original space is not itself compact. Projective line (over arbitrary field) is the Alexandroff extension of the corresponding field. Thus the circle is the one-point compactification of the real line, and the sphere is the one-point compactification of the plane. Projective spaces Pn for n > 1 are not one-point compactifications of corresponding affine spaces for the reason mentioned above, nor omega points are.