Real projective space
Type of topological space / From Wikipedia, the free encyclopedia
In mathematics, real projective space, denoted or
is the topological space of lines passing through the origin 0 in the real space
It is a compact, smooth manifold of dimension n, and is a special case
of a Grassmannian space.