Cross-cap

In mathematics, a cross-cap is a two-dimensional surface that is a model of a Möbius strip with a single self intersection. This self intersection precludes the cross-cap from being topologically equivalent (i.e., homeomorphic) to a Möbius strip. The term ‘cross-cap’, however, often implies that the surface has been deformed so that its boundary is an ordinary circle.

A cross-cap that has been closed up by gluing a disc to its boundary is an immersion of the real projective plane. Two cross-caps glued together at their boundaries form a Klein bottle. An important theorem of topology, the classification theorem for surfaces, states that all two-dimensional compact manifolds without boundary are homeomorphic to spheres with some number of ‘handles’ and at most two cross-caps.

Cross-capped disk model of the real projective plane

The term cross-cap is also inaccurately used to refer to the closed surface obtained by gluing a disk to a cross-cap. This is, in fact, a cross-cap glued to a disk. This surface can be represented parametrically by the following equations:

$X(u,v) = r \, (1 + \cos v) \, \cos u,$

$Y(u,v) = r \, (1 + \cos v) \, \sin u,$

$Z(u,v) = - \hbox{tanh} \left(u - \pi \right) \, r \, \sin v,$

where both u and v range from 0 to 2π. These equations are similar to those of a torus. Figure 1 shows a closed cross-capped disk.

Figure 1. Two views of a cross-cap.

A cross-capped disk has a plane of symmetry which passes through its line segment of double points. In Figure 1 the cross-capped disk is seen from above its plane of symmetry z = 0, but it would look the same if seen from below.

A cross-capped disk can be sliced open along its plane of symmetry, while making sure not to cut along any of its double points. The result is shown in Figure 2.

Figure 2. Two views of a cross-capped disk which has been sliced open.

Once this exception is made, it will be seen that the sliced cross-capped disk is homeomorphic to a self-intersecting disk, as shown in Figure 3.

Figure 3. Two alternate views of a self-intersecting disk.

The self-intersecting disk is homeomorphic to an ordinary disk. The parametric equations of the self-intersecting disk are:

$X(u,v) = r \, v \, \cos 2 u,$

$Y(u,v) = r \, v \, \sin 2 u,$

$Z(u,v) = r \, v \, \cos u,$

where u ranges from 0 to 2π and v ranges from 0 to 1.

Projecting the self-intersecting disk onto the plane of symmetry (z = 0 in the parametrization given earlier) which passes only through the double points, the result is an ordinary disk which repeats itself (doubles up on itself).

The plane z = 0 cuts the self-intersecting disk into a pair of disks which are mirror reflections of each other. The disks have centers at the origin.

Now consider the rims of the disks (with v = 1). The points on the rim of the self-intersecting disk come in pairs which are reflections of each other with respect to the plane z = 0.

A cross-capped disk is formed by identifying these pairs of points, making them equivalent to each other. This means that a point with parameters (u,1) and coordinates $(r \, \cos 2 u, r \, \sin 2 u, r \, \cos u)$ is identified with the point (u + π,1) whose coordinates are $(r \, \cos 2 u, r \, \sin 2 u, - r \, \cos u)$. But this means that pairs of opposite points on the rim of the (equivalent) ordinary disk are identified with each other; this is how a real projective plane is formed out of a disk. Therefore the surface shown in Figure 1 (cross-cap with disk) is topologically equivalent to the real projective plane RP².

See also

• Roman surface
• Whitney umbrella

External links

• Weisstein, Eric W., "Cross-Cap" from MathWorld.