Projective geometry examples

advertisement
Projective geometry
Ended at a very bad place, so I will summarize what we did in class: You should first draw the plane z = 1
For any point (a,b,1) on the plane z  1 , there is a line through the origin in three space that contains the point (a,b,1).

Write the parametric equations for this line. If a line has direction vector (a,b,c) and contains the point
( x0 , y0 , z0 ) the parametric equations are x  x0  at , y  y0  bt , z  z0  ct .
Given three lines in the projective plane, determine if they are concurrent. If they are concurrent, find the
point of intersection.
Geometrically (let’s visualize first): Recall that lines in P 2 are expressed as planes through the origin in R 3 :
ax  by  cz  0 . We express this as [a, b, c] for a line in P 2 . The projective line can be viewed as the intersection
of the plane with the plane z  1 (I’ll avoid planes parallel to z =1 in this discussion). Let’s take three distinct
projective “lines” (three planes in R 3 ).

Since they are distinct none are multiples of each other ( x  y  z  0 is the same line as 2 x  2 y  2 z  0 .

The three planes all go through the origin, but (0,0,0) is not a point in P 2 . We are trying to see if the
three lines in the plane z = 1 are concurrent. In the figure on the left, the plane z = 1 is the yellow plane.
Example 1: I then graphed the planes x = 0 (red), y = 0 (blue), and x – y = 0 (green) {These are the lines
[1,0,0], [0,1,0], and [1,-1,0], respectively}. I tilted the axes so you could see what “lines” we are talking
about - the lines in the plane z = 1. The red, blue, and green lines are concurrent (Which means the planes
are like a paddlewheel). The point of intersection is (0,0,1) (The three planes intersect in the z- axis, or all
points (0,0,z), but we know as homogeneous coordinates they are all (0,0,1) – excluding the origin).
Now that we see the geometry, how does the algebra work?
Solve the system of equations x = 0, y = 0, x – y = 0. The solution is clearly x = 0, y = 0 and z is anything. Since
we are in homogeneous coordinates, lets choose z = 1 (you can choose anything for z EXCEPT z = 0). Our
answer is the point (0,0,1) (which is equivalent to (0,0,2), (0,0,4), etc – i.e any point but the origin on the z axis is
THE single point (0,0,1) in P 2 .)
Example 2: Now let’s look at the three planes x = 0 (red), y = 0 (blue), and x – y – z = 0 (green) (top of next
page) Again these are three planes through the origin in R 3 , and as lines in P 2 , we look at how they intersect the
plane z = 1 (the yellow plane). You can see in the picture below that these three lines are not concurrent.
Now that we see the geometry, how does the algebra work?
Solve the system of equations x = 0, y = 0, x – y – z = 0. The only solution here is (0,0,0), which is not a point in
P 2 . The conclusion is the lines are not concurrent.
a1 x  b1 y  c1 z  0
Generalize: Given any three lines in P : a2 x  b2 y  c2 z  0 We know from the geometry (three plane through
2
a3 x  b3 y  c3 z  0
the origin) and from the algebra that (0,0,0) is a solution (plug it in). The only question to determine if the lines
are concurrent is if there is any other point besides (0,0,0) that is a solution. If there is more than one point then
there is a whole line where they intersect, which is our point in P 2 ). Note: can’t intersect in a plane if they are all
distinct.
Linear Algebra Fact: The above system of equations has a unique solution (meaning (0,0,0) only, meaning the
a1 b1 c1
lines are NOT CONCURRENT) if and only if the determinant a2 b2 c2  0 . This means that they are
a3 b3 c3
a1 b1 c1
concurrent if and only if a2 b2 c2  0 . (Check that this is true for the two examples above)This will tell us
a3 b3 c3
whether they are concurrent or not, but it will not give us the point of intersection – so you need to solve the
system of equations.
When are three distinct points collinear?
By duality, three points ( x1 , y1 , z1 ),( x2 , y2 , z2 ),( x3 , y3 , z3 ) collinear is exactly the same determinant condition except
replace the a, b, c with x, y, z in the matrices.
Example 1d (dual of above example 1): The points (1,0,0),(0,1,0),(1,-1,0) are collinear (you can check the
determinant is 0. Solving a = 0, b = 0, a – b = 0 we get (0,0,c) where c is any nonzero real. So [0,0,1] (using
square brackets for a line)or the line z = 0 is the line containing these three points (Note: This line is the ideal line
in P 2 (the xy-plane) so you can’t see it intersect the plane z = 1.
Example 2d: Dual of above example 2: The points (1,0,0), (0,1,0) and (1,-1,-1) are not collinear (check the
determinant is not 0. The solution is a = b = c = 0, but [0,0,0] is not a line in P 2 .
Download