Projective space

A unique projective space can be defined for any vector space.

The projective space associated with a given vector space $V$ is denoted $\mathbf{P}(V)$.

The definition is to take the vector space, remove the zero element, and identify all elements that lie on the same line, i.e. $\vec{v}=\lambda \vec{w}$

The most important initial example to study is the real projective plane.