To understand the relationship between $\mathbb{R}^3$ and the projective plane $P^2$, I asked this question.
From that answer, I understood that ${P}^2$ is basically $\mathbb{R}^2$ and points in infinity, and a line in $\mathbb{R}^3$ which passes through the origin gives a point in $P^2$, while a line in $P^2$ gives a plane in $\mathbb{R}^3$ which passes through the origin.
Also, a line in $P^2$ is a collection of points, and each of those points represent lines in $\mathbb{R}^3$ through the origin. If you consider all the lines together, they form a plane in $\mathbb{R}^3$ through the origin. For example, each point on the line at infinity in $P^2$ corresponds to a line through the origin in the $xy$-plane, and if we consider all of these lines together, they give us the $xy$-plane.
Moreover, from that answer I understand that a line in $\mathbb{R}^3$ does not give a line in $P^2$, and a line in $P^2$ does not give a line in $\mathbb{R}^3$.
But I don't understand this statement "a line in $\mathbb{R}^3$ is infinite in both directions, while a line in $P^2$ is a circle".
I'm a computer science student. To understand computer graphics, these basic concepts are very necessary. Please use simple terms which I can understand easily and not too many technical terms.
Best Answer
A line $\ell$ in $P^2$ corresponds to a plane $\mathcal{P}$ in $\mathbb{R}^3$ passing through the origin. Consider the following diagram representing such a plane $\mathcal{P}$.
The red dot is the origin in $\mathbb{R}^3$, and the grey lines are lines in $\mathcal{P}$ which pass through the origin; these correspond to points on the line $\ell$ in $P^2$. Now, the semicircle intersects each line in one point, except for the horizontal line, where there are two points of intersection indicated by the green dots. The line $\ell$ consists of points representing the lines in $\mathcal{P}$, as does the semi-circle, except for the two endpoints. To remedy this, we can glue the two points together (making only one point), so now each line in $\mathcal{P}$ corresponds to a unique point on the green curve. The result is a circle, and its points can be identified with the points of $\ell$. So we see that, topologically, $\ell$ is a circle.
Note that the line where the semi-circle begins and ends is not special. We could have drawn a semicircle beginning and ending on any line and the same argument would hold. In particular, the horizontal line has no intrinsic meaning (the plane can be rotated about the origin). However, if $\ell$ is not the line at infinity, there is a way to make a consistent choice of line to begin and end the semi-circle on. Namely, the line which is the intersection of $\mathcal{P}$ and the $xy$-plane; this corresponds in $P^2$ to the unique point of intersection between $\ell$ and the line at infinity.