Real Projective Plane:

The real projective plane is the unique non-orientable surface with Euler characteristic equal to 1.

Classically, the real projective plane is defined as the space of lines through the origin in Euclidean three-space. This is somewhat difficult to picture, so other representations were developed.

Since a line through the origin is determined by its direction, we can consider the space of unit direction vectors in space, which is just the unit sphere centered at the origin. Now a unit vector and its opposite both determine the same line (you can point along the line in either direction) so we need to identify each point on the sphere with its opposite point in order to get a representation of the real projective plane. The identification of opposite points is called the antipodal map, and the sphere modulo the antipodal map is the real projective plane.

Now since every point on the southern hemisphere of the sphere is identified with one on the northern hemisphere, we can throw away the lower hemisphere (in other words, we can make the identifications required by the antipodal map), so that every point in the upper hemisphere uniquely determines a line in space. All that remains is the identification around the equator. Since the upper hemisphere is a topological disk, we can push it down to the equatorial plane to get the following representation of the real projective plane: it is a disk with opposite points on the boundary identified.

This final representation at least has the advantage of making the projective plane look like a two-dimensional surface (it is made from a piece of the plane). If we try to carry out these identifications, however, we run into trouble: we must introduce some self-intersection.

Any closed curve in the projective plane that does not intersect the boundary circle of the disk must bound a region, and so is a trivial cycle, so the only non-trivial cycles must include points of the boundary. A curve that starts at a point on the boundary and goes across to the opposite point (dark line in the diagram below) forms a closed curve (when the identifications are made on the boundary) that does not bound a region. This is the generator for the 1st homology group for the projective plane.

Note that a small neighborhood (grey) of this curve forms a Möbius band, so this surface is non-orientable. The rest of the surface (white) forms a topological disk (once the identification on the boundary is made), so the real projective plane is a Möbius band with a disk attached along its boundary curve. This makes the projective plane one of the fundamental surfaces, in that it is in some sense the smallest non-orientable surface.

Under the operation of connected sum, a disk is removed, so taking the connected sum of a surface with the projective plane is simply adding a Möbius band to the surface. Thus the projective plane is fundamental to connected sum as well. For example, the Klein bottle is the connected sum of two projective planes.


[TOC] [Index] [Glossary] [Mail] [Help]


3/3/95 dpvc@geom.umn.edu -- The Geometry Center