Source: cirosantilli/real-projective-line
= Real projective line
{title2=$RP^1$}
{title2=$\projectiveSpace(\R^2)$}
{wiki}
Just a <circle>.
Take $\R^2$ with a line at $x = 0$. Identify all the points that an observer
= Real projective line
{title2=$RP^1$}
{title2=$\projectiveSpace(\R^2)$}
{wiki}
Just a <circle>.
Take $\R^2$ with a line at $x = 0$. Identify all the points that an observer