Crosscap
From Math Images
Line 96:  Line 96:  
  ====  +  ====Constructing the Crosscap Directly From the Mobius Strip==== 
+  
+  {{hide1=  
<div id="Image11"></div>[[Image:TheDirectTransformation2.gifImage 11. Construction of the Crosscap directly from the Mobius strip.thumb400pxright]]  <div id="Image11"></div>[[Image:TheDirectTransformation2.gifImage 11. Construction of the Crosscap directly from the Mobius strip.thumb400pxright]]  
Line 113:  Line 115:  
  +  }}  
Current revision
Crosscap and Crosscapped Disk 

Crosscap and Crosscapped Disk
 The crosscapped disk is one 3 dimensional model of the Real Projective Plane. The crosscapped disk is a 2 dimensional surface that is nonorientable and has only one side. The Real Projective Plane is best represented using 4 spacial dimensions, rather than 3.
Contents 
Basic Description
There are two things that are commonly referred to as a Crosscap, however, only the first is actually a Crosscap. 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 crosscapped disk. The Basic Description section discuss the crosscapped disk, while both the Mobius strip Crosscap and crosscapped disk will be covered in the More Mathematical Explanation.
The crosscapped disk is a onesided, nonorientable surface. Unlike the Mobius strip, the crosscapped disk has no edges, or more technically, boundary. As a surface without boundary, the crosscapped 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 crosscapped 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 crosscapped disk is made by gluing a disk to the edge of a Mobius strip/ Crosscap, thereby closing it up. The construction of the crosscapped disk is discussed in detail later, in the More Mathematical Explanation.
Image 1 shows a crosscapped 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 crosscapped disk continues to the inside of the surface. Hence, the top of the crosscapped disk on the outside is the same surface as the floor on the inside. Likewise, the bottom of the crosscapped 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 crosscapped 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 crosscapped 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 crosscapped disk that has been cut open; however, the crosscapped disk is actually closedup, 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 crosscapped disk, which, in turn, is the same surface as the ceiling on the inside.
Next we will explain why the crosscapped disk seems to intersect itself. To better understand topological constructs like the crosscapped disk, we must become comfortable, or at least familiar, with objects existing in multiple dimensions. Recall that the crosscapped disk is a model of the Real Projective Plane. The self intersection in the crosscapped disk is a result of making a 3 dimensional model of the Real Projective Plane. If considered in 4 dimensions, the crosscapped 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 sideon, 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 sideon, we can only see the part of the balls' locations that is the same. It is the same for the points where the Crosscap 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 crosscapped 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 crosscapped 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
As previously mentioned, the object pictured at the top of the page is technically a crosscap glued to a sphere after removing an open disk from the latter^{[1]}. The Crosscap 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 crosscap by itself. The Crosscap 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 Crosscap is a model of the projective plane with singularities constructed in 3 dimensional space.
The Real Projective Plane, and thus the crosscapped 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 Crosscap 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 Crosscap. 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 backtoback. 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 footballshaped figure.
Next, we make our the figure more squareshaped 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 halftwist so that the arrows match, we arrive at a Mobius strip.
Constructing the Crosscap
Following the down arrows, we begin to construct the Crosscap 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 crosscapped 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 selfintersection region characteristic of the Crosscap appears when we fuse the two corresponding pairs of sides together through each other. This is detailed in Image 10which depicts the selfintersection region of the Crosscap. 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 Crosscap 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 Crosscap 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 Crosscap does. As a result of the self intersection, the process of crating the Crosscap 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 Crosscap, but the reverse cannot be done. This fact means that the Crosscap is simply a model of the Mobius strip, rather than homeomorphic to the Mobius strip.
Constructing the Crosscap Directly From the Mobius Strip
Parametrization of the Crosscapped Disk
The crosscapped disk can be parametrized using the following equations ^{[2]}, 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 crosscapped 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^{[3]} 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.


Or


Both sets of equations generate the same shape, they merely construct it in a different orientation. The following parametrization generates the crosscapped disk in a different way from the first two, producing a model slightly more similar to the one at the top of the page^{[4]}. 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 crosscapped disk.
Why It's Interesting
The crosscapped disk is a 3 dimensional model of the Real Projective Plane. Most notably this means that the crosscapped disk is nonorientable and onesided, as is the Crosscap. If a 2 dimensional animal were living within the surface , it would be able to travel around the Crosscap 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 nonorientability, the Real Projective Plane is easily used to model human vision, and is one of three basic building blocks for all surfaces.
Teaching Materials
 There are currently no teaching materials for this page. Add teaching materials.
Related Links
Additional Resources
References
 ↑ Edelsbrunner. H. (2006). II Surfaces: II.1 Twodimensional Manifolds [PDF document]. Retrieved from CPS296.1: Computational Topology: http://www.cs.duke.edu/courses/fall06/cps296.1/
 ↑ Wolfram Alpha LLC. 2010. WolframAlpha knowledgebase. http://www.wolframalpha.com/entities/surfaces/crosscap/gd/qi/t7/. Accessed: June 2, 2011
 ↑ Figures created by Htasoff using Mathematica. Applets created by Md. Alimoor Reza.
 ↑ Crosscap. August 19, 2010. Wikipedia, The Free Encyclopedia. http://en.wikipedia.org/w/index.php?title=Crosscap&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.