View source for Exercises:Mond - Topology - 2/Section B/Question 6

<noinclude>
==Section B==
===Question 6===
</noinclude>{{:Exercises:Mond - Topology - 2/Section B/Question 6/Picture}}The picture on the right shows that {{M|\mathbb{RP}^2}} contains a [[Mobius strip]], {{M|M}}. Use the diagram, taking into account the glueings, to describe the [[complement]] of {{M|M}} in {{M|\mathbb{RP}^2}}. You mare allowed to cut it, provided you then glue it back together. 

Complete the following sentence in as clear a way as possible:
* "{{M|\mathbb{RP}^2}} is obtained from a Mobius strip by ....."
<div style="clear:both;"></div>
====Solution====
I only claim to find a [[topological immersion]] - the result is not a [[homeomorphism]] as it isn't a [[bijection]].
[[File:MakingTheNotMobiusPartOfRp2.JPG|thumb|This picture belongs to my solution]]
[[File:RP2ResultingUnion.JPG|thumb|Result. The "dog-bone-disk" structure we construct is on the right, blue is the top disk and green the lower. We then align it up and "union" it with the Mobius band to obtain a [[topological immersion]] of {{M|\mathbb{RP}^2}} ]]
The steps are:
# Create the [[Mobius band]] and put it aside for the moment, call it {{M|M}}.
# Take a disk. Call it {{M|N}}. This is shown in the picture on the right
## Stretch the disk slightly, the goal is to create something that resembles two disks joined, but not joined at a point. If you were to take a small "sausage" of blu-tac, and pinch the edges you'd end up with 2 disks joined by a strip of blu-tac, we want this. This is shown in the first 3 stages of the series on the right.
##* {{Caution|We do not want, nor do we mean, two circles joined at a point (see: {{link|wedge product|topology}})}}
## We cut in the edges slightly, so we no longer have two disks, but rather cut in disk with a rectangle coming off it. This is hard to describe and shown in stage 4 in the series on the right
## We now [[topological embedding|(topologically) embed]] the resulting shape in {{M|\mathbb{R}^3}} (rather than the plane, {{M|\mathbb{R}^2}}) - shown in stage 5
## Looking at the "cut in" disk furtherest away from the observer in my drawing, we look at the line which (if drawn) would mark the disk's edge and the rectangle that connects the disks start. We take that line and we rotate it {{M|90^\circ}} around the depth axis, so it is vertical, and perpendicular to the disks. We also raise the nearest-the-observer-disk by a height which is the height of the Mobius Band {{M|M}}. This is shown in step 6.
##* The "rectangle" joining the two is now distorted by a twist along it.
## We now start to move the upper disk over the lower disk, as we do so we rotate it to keep the distorted rectangle between them as in-alignment as we can. This is shown in step 7
## Lastly, and by step 8 we have moved-and-rotated the upper disk over the lower. By preserving the rectangle as best we can there is automatically an "inner edge" that is shown passing behind and through into the "top" disk. Hopefully we have created the right hand side of the second picture:
##* Blue represents the top disk
##* Green represents the bottom disk
# Position the result "inside" the cylinder that bounds the mobius strip
# Make any minor adjustments, so that the boundary of the band and the "double-disk-twisted-back-thing" we have made can be trivially stitched together, so trivially that the result is a [[union]] operation.
# It is now trivial to "stitch" the edges together. (As shown in the second picture on the right)
The workings below are more detailed and formal. I have not drawn a picture of {{M|\mathbb{RP}^2}} immersed in this way for two reasons:
# The picture was extremely messy and not useful if I showed both disks and the "twist" of the rectangle between them
# The picture looked like a cylinder with a twist in the wall if I just drew the "top" of it and the Mobius band. 
I hope it doesn't seem like a cop out to say:
* I actually really like my union drawing, it is surprisingly clear. 
<div style="clear:both;"></div>
=====Solution workings=====
{| class="wikitable" border="1"
|-
! Step
! Picture
! Comment
|-
! 1<br/>
Dividing up the square
| [[File:CutAndJoinResult.JPG|thumb]]
We first take the square and cut it up, creating new edges for gluing, {{M|C_1}} and {{M|C_2}} (see the picture at the top of this question)
|[[File:CutProcess1.JPG|thumb|We do this]] [[File:CutProcess2.JPG|thumb|then this]]
<div style="clear:both;"></div>
To yield two "chunks", {{M|N}} and {{M|M}}. 
|-
! 2<br/>
Making the Mobius band
| We start with {{M|M}} on the left.[[File:MakingMobiusBand.JPG|thumb]]
| Pretty self explanatory and routine, my pictures turned out really well, I am a little bit proud.
|-
! 3<br/>
Joining the {{M|C_2}} edges
|[[File:C2JoinPart1.JPG|thumb|we start off with the red, pulling the C2 edge between {{M|v_1}} and {{M|v_2}} part way around the {{M|C_2}} edge of the band, then we let it return to {{M|v_1}}, {{M|v_1}} and {{M|v_2}} are added only for clarity.<br/>
<br/>
The next stage is purple, we stitch more of the edge along the {{M|C_2}} edge of the band, then:<br/>
<br/>
Into blue, we pull it almost all the way round back to {{M|v_1}}.]]
[[File:AttachingC2Part2.JPG|thumb|Here the sum of the previous step is in green. We then pull the free edge inwards (red) until only a tiny amount of almost parallel {{M|C_2}} join is left to do]]
| [[File:C2JoinResult.JPG|thumb|this is the result]]<div style="clear:both;"></div>
The picture here shows only "half" of the {{M|N}} surface, it is the result of stitching along the {{M|C_2}} boundary.]]
|-
! 4<br/>Joining the {{M|C_1}} edge
| colspan="2" | [[File:C1JoinResult.JPG|thumb]]We start with the green and just pull the {{M|C_1}} edge along and start stitching. Then we pull that around - and stitch along the way - resulting in purple. Then we pull that almost all the way around yielding red.

As before, we then pull the free-edge in, until there's a tiny gap and the remaining join results in almost parallel curves. 

The right hand image shows the result, which is significantly simpler than the {{M|C_2}} case
|-
! 5<br/>
{{M|N}} surface
| [[File:NSurfaceResult.JPG|thumb]]
| This shows what becomes of {{M|N}} when it is stitched to {{M|M}} along the {{M|C_1}} and {{M|C_2}} boundaries shown earlier, without {{M|M}} drawn. 
|-
! 6<br/>
Final [[topological immersion]]
| [[File:RP2ResultingUnion.JPG|thumb]]
| A diagram showing them together is very cluttered and hard to see (it either looks a mess, or a cylinder with a twist in the side), so I will show it like this.

We see (a [[topological immersion]]) of {{M|\mathbb{RP}^2}} in {{M|\mathbb{R}^3}} is simply the union of a [[Möbius strip]] together with a "solid 8" shape, {{C|oo}} but joined. Take the left "disk" in this formation and lift it, then rotate it over the first disk in the formation.
<hr/>
[[File:N sliding along pole.JPG|thumb|Showing {{M|N}} is the joined {{C|oo}} I speak of.]]
<div style="clear:both;"></div>
In this picture we imagine sticking a "stick" into the centre of the blue disk, on which the blue "wheel" can rotate freely, we move that stick along the arrows shown, the result is blue-and-green joined along a vertical pole.

If you rotate that "pole" anticlockwise, so onto it's side, parallel to the x-axis on the paper it is drawn, you then have a {{M|oo}} shape where the {{M|o}}s are joined (that "pole" being the join between the two)
|}
<div style="clear:both;"></div>
* [[Media:FullPageForRp2TopImmersion.JPG]] shows a picture of the entire page containing most of my drawings, these may help with marking.
<noinclude>
==Notes==
<references group="Note"/>
==References==
<references/>
</noinclude>