I have already seen this question but I still have enormous doubts: Difference between Projective Geometry and Affine Geometry
I'm reading Multiple View Geometry by Hartley and Zisserman, chapter 1. First they say this:
We can get around this by enhancing the Euclidean plane by the addition of these points at infinity where parallel lines meet, and resolving the difficulty with infinity by calling them “ideal points.”
By adding these points at infinity, the familiar Euclidean space is transformed into a new type of geometric object, projective space.
So, they say that when you get rid of "parallelism" in the euclidean space, putting a new line of points at infinity where these parallel lines meet, you get a projective space. Later they say this:
We will take the point of view that the projective space is initially homogeneous, with no particular coordinate frame being preferred. In such a space there is no concept of parallelism of lines (...) Thus, start with a blank sheet of paper, and imagine that it extends to infinity and forms a projective space IP 2 . What we see is just a small part of the space, that looks a lot like a piece of the ordinary Euclidean plane. Now, let us draw a straight line on the paper, and declare that this is the line at infinity. Next, we draw two other lines that intersect at this distinguished line. Since they meet at the “line at infinity” we define them as being parallel.
The new space we have created (with the artificial, distinguished line at infinity) can't have really parallel lines now? I mean, what happens if I draw really parallel lines at this sheet of paper that don't intersect in the distinguished line?
Can I choose any line for this "distinguised line"? What is the point of doing this exactly? Because doing this I could decide that some lines that aren't really parallel would be defined as parallel if they intersect in this distinguished line in the paper.
From our point of view, the world plane and its image are just alternative ways of viewing the geometry of a projective plane, plus a distinguished line.
Wait, wasn't the projective space an euclidean space where you add a new line, called "line at infinity"? Now they say that the euclidean space is a projective space with an additional line called "distinguished line"? So, which space has more lines?
Later they say that when you put projective geometry plus a distinguised line you get affine geometry... wasn't this euclidean geometry? What is the exact difference?
I really don't understand anything, thanks in advance.