Projective space

An $𝑛$ -dimensional projective space over a field $𝕂$ refers to an extension of $𝑛$ -dimensional affine space such that parallel lines intersect at infinity. This notion is axiomatized by the abstract projective space. One way of constructing this is a Projectivization of a vector space, which is the space of 1-dimensional subspaces (i.e. lines intersecting the origin) of the vector space $𝕂 𝑛 + 1$ .

Particular projective spaces

Particular fields
- Real projective space
- Complex projective space
Finite projective space

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