Euclid of Alexandria wrote a text around 300 B.C. entitled “The Elements” which provided a logical framework for much of modern mathematics. A chapter (which was called a “book” during his time) presented an axiomatic approach of geometry, stating rather obvious postulates such as “any two points can be joined by a line.” In Euclid’s honor, modern geometry is often called Euclidean Geometry.
One of these statements, namely “any two parallel lines never intersect,” came under dispute, and several types of geometry grew out of discussions on whether this parallel postulate was really necessary. For instance, in the 19th century mathematicians formed new geometries, including Hyperbolic Geometry, Elliptic Geometry, and even Projective Geometry. These new constructions are typically called non-Euclidean Geometries.
In the this lecture, we’ll discuss why Projective Geometry is non-Euclidean.
Projective Lines in the Projective Plane
We will show that the Parallel Postulate does not hold in projective geometry by showing that there is always a point of intersection — in the projective sense. Say that we have two distinct lines:
We know that there are two possibilities: either the lines are parallel, or they intersect in exactly one point. Since we have an injective map which sends we consider how these lines behave in projective space. The following proposition shows that while two lines might not intersect in at least one affine point, they always intersect in at least one projective point. The idea is that even if the lines are parallel, the lines intersect at a “point at infinity.”
Two (projective) lines always intersect in at least one (projective) point.
Proof: Assuming we have the system of equations as above, make the substitution and , i.e., Then the system of equations may be written as two distinct “projective” lines:
Note that we have two equations and three unknowns. One solution is given by the cross product:
It suffices to show that this point is not the origin. We will show that the cross product of two vectors vanishes if and only if the vectors are scalar multiples of each other i.e., if and are two nontrivial lines satisfing then there is a scalar such that . To this end, assume that . We know that , so without loss of generality say that and choose . Then we have
Hence as claimed. But then the lines and are not distinct, which is a contradiction. Hence the two lines intersect at the unique projective point . This completes the proof.
The proof above motivates the following result.
A line going through two distinct affine points and can be expressed in terms of a determinant .
Proof: Using the embedding which sends , express the two affine points as and . Consider the following determinant expressed as a sum of three minors:
This is a polynomial of degree . As the rows will be linearly dependent when or , we see that . Hence is indeed a line which goes through both and .
We give an example. Say that we want to find the point of intersection for the two lines and . We homogenize these equations by substituting and . We find the equations
for any . Hence is the unique projective point of intersection.
Projective Geometry and Manifolds
- Open Cover: a collection of open sets such that , and
- Atlas: continuous maps which are bijections.
There are variants on this definition for differentiable manifolds and compact manifolds, but we will content ourselves with this rather naive definition. For example, often there is a compatibility condition for intersections , but we will ignore this for now. We discuss how is a manifold by considering specific values of . We will discuss this idea in more detail later, but for now we discuss an example.
The Torus and
Fix real numbers . A torus is a manifold which is given by the equation . To be more precise, we have the set
The mapping defined by
is a bijection. In particular,
- is a manifold of dimension 2.
- , but .
Both the projective plane and the torus are manifolds of dimension 2, but they are different manifolds.
Proof:We derive the birational equivalence above by rationally parametrizing points on . We will draw two surfaces and consider the intersection with the torus. For , consider the surface
This is a cone with vertex ; it intersects the torus at a circle defined by the equations and . For , now consider the surface
This is a plane with normal vector which goes through the vertical line generated by the equations and . The three surfaces , , and intersect at four points, but we list only two of them:
Hence we have a bijection given by
We saw in the previous lecture that , so this proves (1).
We now prove (2). Choose the set consisting of just one point in , and consider the open set
Note that if and only if , so . Consider the map defined by . This is a well-defined map because the denominators are never zero. It is easy to check that it is also a bijection, so . Hence is a manifold of dimension 2.
Finally, we show (3). It is clear that . Recall that we have an embedding . In fact, we may write
In particular, and . This gives
Hence because the latter is much larger than the former, namely by the affine line .