\begin{definition}[Definition:Projective Space/Over a Field]
Let $V$ be a vector space over a field $K$ of dimension $n + 1 \ge 1$.
 
Let $\sim$ be the equivalence relation defined on the set $V \setminus \left\{{0}\right\}$ by:
:$x, y \in V \setminus \left\{{0}\right\}: x \sim y \iff \exists \lambda \in K: x = \lambda y$
The '''projective space''' associated to $V$ of dimension $n$ over $K$ is the quotient set $\left({V \setminus \left\{{0}\right\}}\right) / \sim$ and is denoted $\mathbb P \left({ V }\right)$.
If $V = K^{n+1}$ for $n \ge 0$ a natural number, projective space is sometimes denoted $\mathbb P\left( K^{n+1} \right) = \mathbb P^n\left( K \right)$.
This is because while $K^{n+1}$ is an $\left(n+1\right)$-dimensional vector space, the projective space $\mathbb P\left( K^{n+1} \right)$ has dimension $n$.
The notation $\mathbb P\left( K^{n+1} \right) = K\mathbb P^n$ is also in use.
Category:Definitions/Projective Geometry
\end{definition}