6
$\begingroup$

I need to comprehend projective plane as a prerequisite for some other topic. But I can't understand what it really looks like. How can I make this plane natural to me?

Moreover I want to understand why homogenous equations like $X^2+Y^2=Z^2$ boil down to like $x^2+y^2=1$ in this plane.

I know the definition of the plane as the set of all lines passing through the origin and also have some experience working with projective transformations in Olympiad geometry problems.

$\endgroup$
4
$\begingroup$

From the definition as lines you have that a point $(X,Y,Z)\neq(0,0,0)$ determines a line through the origin.

If the point happens to have $Z\neq0$ then the point $(X/Z,Y/Z,1)$ determines the same line through the origin.

This means that $(X,Y,Z)$ and $(x,y,1)$, with $x=X/Z, y=Y/Z$, are representing the same point of the projective plane.

If we take $X^2+Y^2=Z^2$ and look only in the part of the projective plane where $Z\neq0$ then we can divide both side by $Z$ and get $(X/Z)^2+(Y/Z)^2=1$, which is the equation $x^2+y^2=1$ in the coordinates $(x,y)$.

Of course, the points such that $x^2+y^2=1$ are only those points for which $Z\neq0$ (the complements of a line in the projective plane).

To have the complete picture we also need to study it at points of the projective plane where $Z=0$. So the solutions of $x^2+y^2=1$ are not the whole picture.

If $Z=0$,then either $X\neq0$ or $Y\neq$. Since the equation is symmetric with respect to $X,Y$, it is enough to look at the case $Y\neq0$. In this case we can proceed similarly. We divide by $Y^2$ and get $(X/Y)^2+1=(Z/Y)^2$. Calling $\tilde{x}:=X/Y$ and $\tilde{z}:=Z/Y$ we get $\tilde{x}^2+1=\tilde{z}^2$.

$\endgroup$
  • $\begingroup$ How does $X^2=Y^2+Z^2$ look in Projective plane? $\endgroup$ – Grobber Feb 7 '14 at 19:40
  • 3
    $\begingroup$ The equations $x^2+y^2=1$ and $x^2=y^2+1$ are not the entire set of solutions of $X^2+Y^2=Z^2$. Moreover, since you are beginning to learn this you should call different coordinates with different names. You obtain $x^2+y^2=1$ for $x:=X/Z$, $y:=Y/Z$, and you get $\tilde{x}^2+1=\tilde{z}^2$ for $\tilde{x}:=X/Y$ and $\tilde{z}:=Z/Y$. On purpose I gave them different names. They are (part of) the original equation written in two different sets of coordinates. The equations look different for the same reason your shadow looks different if you are lighten from above or form the side. $\endgroup$ – user127038 Feb 7 '14 at 20:15
  • 1
    $\begingroup$ @Grobber: Dear Grobber, If you intersect $X^2 +Y^2 = Z^2$ and $X^2 = Y^2 + Z^2$ with the plane $Z = 0$, then they look different! When you choose an affine patch and dehomogenize the equation, you are intersecting the curve in $\mathbb RP^2$ with the $\mathbb RP^1$ which is at infinity (from the point of view of the given affine patch), and throwing away those intersection points. In the standard affine patch, the circle $x^2 +y^2 = 1$ has no points at infinity, so no points are missing. When you change coords. so that the line $y = 0$ gets put at infinity, then in the new coordinates ... $\endgroup$ – Matt E Feb 7 '14 at 20:29
  • 1
    $\begingroup$ ... (namely $\bar{x} := x/y$ and $1/y$) the equation becomes $$\bar{x}^2 + 1 = \bar{y}^2$, and there is a point at infinity, namely the point labelled $(1,0)$ in the original $(x,y)$-coords. Regards, $\endgroup$ – Matt E Feb 7 '14 at 20:32
  • 1
    $\begingroup$ Have a look at pages.bangor.ac.uk/~mas010/outofline/motion.html#motion for a sequence of stills showing how the projective plane represents rotations in 3-space. $\endgroup$ – Ronnie Brown Feb 8 '14 at 16:34

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.