Real projective space (source code)

= Real projective space
{title2=$RP^n$}
{title2=$\projectiveSpace(\R^{n+1})$}

In those cases at least, it is possible to add a <metric (mathematics)> to the spaces, leading to <elliptic geometry>.