Real projective space

The -dimensional real projective space is a compact -manifold extending Euclidean space such that parallel lines intersect at infinity. It is equivalently characterized as #m/def/geo/diff

The Grassmannian , i.e. the space of 1-dimensional subspaces of
The quotient , i.e. vectors on the same 1-dimensional subspace are identified
The -sphere with antipodal points identified, i.e. a quotient

Intuition

Consider lines in intersecting the origin. By selecting some “projecting plane” above the origin, one may label almost all such lines by their unique intersection point. What remains are lines parallel to the plane, so where the latter component are called the “points at infinity”

Now in the other direction, a line in the projective plane corresponds to a plane in .

#state/tidy | #lang/en | #SemBr