|Cross-cap and Cross-capped Disk|
Cross-cap and Cross-capped Disk
- The cross-capped disk is one 3 dimensional model of the Real Projective Plane. The cross-capped disk is a 2 dimensional surface that is non-orientable and has only one side. The Real Projective Plane is best represented using 4 spacial dimensions, rather than 3.
- 1 Basic Description
- 2 A More Mathematical Explanation
- 3 Why It's Interesting
- 4 Teaching Materials
- 5 Related Links
- 6 References
- 7 Future Directions for this Page
There are two things that are commonly referred to as a Cross-cap, however, only the first is actually a Cross-cap. This is a surface that is a model of a Mobius strip. The second is a disk fused with this first surface, which is more correctly referred to as a cross-capped disk. The Basic Description section discuss the cross-capped disk, while both the Mobius strip Cross-cap and cross-capped disk will be covered in the More Mathematical Explanation.
The cross-capped disk is a one-sided, non-orientable surface. Unlike the Mobius strip, the cross-capped disk has no edges, or more technically, boundary. As a surface without boundary, the cross-capped disk is a true 2 manifold. The presence of an edge in the Mobius strip allows sections of the shape to pass alongside each other, thus avoiding self intersection. Because the cross-capped disk has no edges there is no way for the surface to go around itself when it needs to close up. As a result, 3 dimensional models of it intersect, or pass through, themselves. As mentioned, the cross-capped disk is made by gluing a disk to the edge of a Mobius strip/ Cross-cap, thereby closing it up. The construction of the cross-capped disk is discussed in detail later, in the More Mathematical Explanation.
Image 1 shows a cross-capped disk that has been sliced open to better reveal the nature of the surface. The figure is labeled for clarification in the discussion that follows. In the image, one can see that the upper surface of the outside of the cross-capped disk continues to the inside of the surface. Hence, the top of the cross-capped disk on the outside is the same surface as the floor on the inside. Likewise, the bottom of the cross-capped disk on the outside is the same surface as the ceiling on the inside.
Here is a scenario that illustrates this notion. Notice that, starting at the top and walking along the outside of the cross-capped disk, one will arrive at the section where the surface seems to intersect itself. If one passes through this part (as though it were a hologram) and continues walking, they will now find themselves on the inside of the surface. Continuing on, one will again come to the intersection, and, passing through it, will arrive back on the outside, up top.
So the top of the cross-capped disk is the same surface as the inside floor, but how does it connect with the opposite side (the bottom and ceiling) to make the figure one sided? Image 1 shows a cross-capped disk that has been cut open; however, the cross-capped disk is actually closed-up, as in the image at the top of the page. Accordingly, the top and bottom of the figure are connected, like in a sphere. Thus: the floor on the inside is the same surface as the top on the outside; the top connects to the bottom of the cross-capped disk, which, in turn, is the same surface as the ceiling on the inside.
Next we will explain why the cross-capped disk seems to intersect itself. To better understand topological constructs like the cross-capped disk, we must become comfortable, or at least familiar, with objects existing in multiple dimensions. Recall that the cross-capped disk is a model of the Real Projective Plane. The self intersection in the cross-capped disk is a result of making a 3 dimensional model of the Real Projective Plane. If considered in 4 dimensions, the cross-capped disk no longer intersects itself. At the spots where it seems to intersect itself, the points in one part of the figure appear to be in the same place as the points in an other part, making it look like it passes through itself. These points seem to be in the same place when we look at them in our usual 3 dimensions because they indeed do have three of the same coordinates. Yet, they have a different fourth coordinate, and so, are actually different points at different positions. Because we live in 3 dimensions, we can only see three coordinates at once. As a result, we don't realize that the points are different, because we can only see the components of the points' locations that are the same.
This can be thought of as such: When viewed side-on, as in Image 2, the two balls, one behind the other, appear to be at the same point. Yet, when considered in 3 dimensions, as in Image 3, we know that they are at different places. This occurs because, when viewed from side-on, we can only see the part of the balls' locations that is the same. It is the same for the points where the Cross-cap passes through itself. Viewed in 3 dimensions, they appear to be at the same point. Yet, when considered in 4 dimensions, they can be shown to indeed be at different places.
Thus, while all of the 3 dimensional models of the Real Projective Plane, including the cross-capped disk, do intersect themselves, 4 dimensional models can be conceived of, and they don't self intersect. And one of the most available ways to conceptualize of a 4 dimensional model of the cross-capped disk is to think about the 3D model in the way described above. The Projective Plane is said to be 4 embeddable because 4 is the fewest number of dimensions needed to represent the Real Projective Plane without it intersecting itself.
A More Mathematical Explanation
[[Image:Crosscap open2.jpg|Image 4. The Cross-cap [...]
As previously mentioned, the object pictured at the top of the page is technically a cross-cap glued to a sphere after removing an open disk from the latter. The Cross-cap itself is the part of the shape where the surface passes through itself, and is a model of a Mobius strip. Image 4 depicts a cross-cap by itself. The Cross-cap rises from a plane and intersects itself at the vertical crease. When sewn to a disk, as in the Images at the top of the page, the Cross-cap is a model of the projective plane with singularities constructed in 3 dimensional space.
The Real Projective Plane, and thus the cross-capped disk, can be made from the fundamental polygon Image 5 if the corresponding edges are joined so that the arrows line up. This requires twisting the polygon, and can be confusing to imagine. As previously mentioned, the Real Projective Plane can be made by fusing a Mobius strip and a disk. In order to achieve this, the disk must be distorted. By the same token, the Mobius strip and Cross-cap can be made by removing a disk from the Real Projective Plane, a process depicted in Image 8.
Constructing the Mobius Strip
First we will construct the Mobius strip, then the Cross-cap. Both processes begin with the fundamental polygon model of the Real Projective Plane at the green arrow.
Relabeling the fundamental polygon will offer better clarity as we construct the Mobius strip. Corresponding edges are now labeled with the same letter, with a single arrow indicating the orientation in which they are adjoined. We follow the arrows up the image to arrive at the next step.
In preparation for cutting the polygon down the middle, we will need to relabel the right and left sides. The sides of the polygon are made of many points. Notice that, going from the top to the middle, points on the left side successively match up to those on the right side from bottom right to middle. And it is the same for the bottom left and top right, as illustrated in Image 9, below. This symmetry across the middle allows us to split our label for the the sides in two, one label for the top halves, one for the bottom. Hence,the top half of the right side and the bottom half of the left are labeled b in Image 8, while the bottom of the right to the top of the left are labeled a.
Now we cut a disk out of the fundamental polygon, the key step in constructing the Mobius strip from the Real Projective Plane. At the top of Image 8, we cut the shape along the dotted line across its center, and label the corresponding edges that are created where the dotted line used to be.
Now heading down the left side of Image 8, we separate the two halves of the shape and place them back-to-back. Then, we flip the top half over (pancake style) so that the arrows on the c sides match, and we glue them together. Notice that we can now pinch the b sections together, as well as the a sections on the opposite side, arriving at the football-shaped figure.
Next, we make our the figure more square-shaped by shrinking the bulges and stretching the concave parts. To make the diagram less cluttered, we can do away with the labels for the a, b, and c sides since each have already been joined together.
In a similar way to how we relabeled the right and left sides in the beginning, we can now simplify them by considering the d and e sections of each edge as two halves of the same sides. Now we can join the left and right edges of the polygon, an, giving it a half-twist so that the arrows match, we arrive at a Mobius strip.
Constructing the Cross-cap
Following the down arrows, we begin to construct the Cross-cap by rotating the fundamental polygon so that it looks like a diamond. Next, we begin to close the polygon, bringing its edges toward each other and inflating the interior of the shape. Now we remove the bottom of the shape; notice that this bottom section is a slightly concave disk. Were we not to remove this disk, we would end up with the cross-capped disk shown at the top of the page.
Having removed this disk, the original, colored edges of the polygon are made to meet in the middle, each matching the orientation of the other side it corresponds to. The self-intersection region characteristic of the Cross-cap appears when we fuse the two corresponding pairs of sides together through each other. This is detailed in Image 10which depicts the self-intersection region of the Cross-cap. The colors correspond to the appropriate edges in Image 8, while the surface itself is not shown. The blue edge connects to the green one, and the pink to the red.
Additionally, by stretching the sides of the Cross-cap at the bottom of Image 8, it can be made to look like the blue one in Image 4.
As we just demonstrated, both the Mobius strip and the Cross-cap can be made by cutting a disk out of the Real Projective Plane. The significant difference between the two is that the Mobius strip does not intersect itself in 3 dimensions, while the Cross-cap does. As a result of the self intersection, the process of crating the Cross-cap from the Real Projective Plane cannot be smoothly reversed—the points at the self intersection get moved to two different places when the steps are reversed. This does not occur for the Mobius strip, because it is free of self intersection. As such, the Mobius strip can be turned into the Cross-cap, but the reverse cannot be done. This fact means that the Cross-cap is simply a model of the Mobius strip, rather than homeomorphic to the Mobius strip.
Constructing the Cross-cap Directly From the Mobius Strip
Parametrization of the Cross-capped Disk
The cross-capped disk can be parametrized using the following equations , where the r represents an arbitrary scaling constant that governs the proportions of the function. The scaling constant can be employed to stretch or flatten the cross-capped disk in different ways to make it better presentable. As parameters, u and v govern the 2 dimensional surface itself (as opposed to the surface's position in 3 dimensional space). For instance, in the first parametrization, u spans the floor/ ceiling part of the surface while v produces the wall that encloses the figure.
Across from each set of equations is an interactive applet of the surface that the equations parametrize. For a better look at the models, right click them and open the Control Panel. This will allow you to make the surfaces transparent, better revealing their structures. The applets may take take up to a minute to load depending on your internet connection.
Both sets of equations generate the same shape, they merely construct it in a different orientation. The following parametrization generates the cross-capped disk in a different way from the first two, producing a model slightly more similar to the one at the top of the page. The figures that all of these equations generate are homeomorphic to each other.
Image 1 can be generated by the following set of equations, which is merely a slight alteration from the first set. Most crucially, v now ranges from 0 to , rather than , meaning the shape is truncated before it can meet itself to close.
Switching the cos(u) in the x(u,v) equation with Sin(u), merely creates a mirror image of the cross-capped disk.
Why It's Interesting
The cross-capped disk is a 3 dimensional model of the Real Projective Plane. Most notably this means that the cross-capped disk is non-orientable and one-sided, as is the Cross-cap. If a 2 dimensional animal were living within the surface , it would be able to travel around the Cross-cap and arrive back at it's starting point with its right and left sides flipped.
Though there are many manifolds that have these properties, very few, if any, occur naturally. This means that we usually don't encounter them in our daily life, and their unusual properties can evoke anything from amusement to fascination.
Furthermore, the Real Projective Plane itself has many interesting aspects. In addition to its non-orientability, the Real Projective Plane is easily used to model human vision, and is one of three basic building blocks for all surfaces.
- There are currently no teaching materials for this page. Add teaching materials.
- ↑ Edelsbrunner. H. (2006). II Surfaces: II.1 Two-dimensional Manifolds [PDF document]. Retrieved from CPS296.1: Computational Topology: http://www.cs.duke.edu/courses/fall06/cps296.1/
- ↑ Wolfram Alpha LLC. 2010. Wolfram|Alpha knowledgebase. http://www.wolframalpha.com/entities/surfaces/cross-cap/gd/qi/t7/. Accessed: June 2, 2011
- ↑ Figures created by Htasoff using Mathematica. Applets created by Md. Alimoor Reza.
- ↑ Cross-cap. August 19, 2010. Wikipedia, The Free Encyclopedia. http://en.wikipedia.org/w/index.php?title=Cross-cap&oldid=379792499. Accessed: June 8, 2011
Future Directions for this Page
Do not edit this page using the 'edit with form' option. For some reason, it does not work. Use the 'edit' tab instead.
Leave a message on the discussion page by clicking the 'discussion' tab at the top of this image page.
[[Description::The cross-capped disk is one 3 dimensional model of the Real Projective Plane. The cross-capped disk is a 2 dimensional surface that is non-orientable and has only one side. The Real Projective Plane is best represented using 4 spacial dimensions, rather than 3.|]]