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

<noinclude>
==Section B==
===Question 7===
</noinclude>Both the [[Klein bottle]] and the [[real projective plane]] are {{M|2}}-[[topological manifold|manifolds]]<ref group="Note">[[Manifold|Manifolds]] of the [[topological manifold|topological]] variety</ref>. This is not obvious from their descriptions as {{link|quotient|topology|s}} of the square by an [[equivalence relation]]. In fact each point {{M|x}} does have an ''[[open neighbourhood]]'' [[homeomorphic]] to an [[open set]] in {{M|\mathbb{R}^2}}. Show by carefully labelled drawings that this is true if:
# {{M|x}} is in the image of the interior of the square.
#* {{Caution|Mond VERY PROBABLY ALMOST CERTAINLY means the {{link|interior|topology}} of the square considered as a set in {{M|\mathbb{R}^2}}, as of course the square's interior is itself when considered as a [[topological subspace]]}}
# {{M|x}} is in the image of an edge in the square, but not of a vertex.
# {{M|x}} is the image of a vertex.
Your drawings for 2 and 3 have to make use of the fact that the edges of the square are glue together in {{link|passing to the quotient|topology}}.
====Solution====
=====Definitions=====
We take the following diagrams as the "square-edge-gluing" (identification?) diagrams used:
{| class="wikitable" border="1" style="overflow:hidden;"
|-
! The [[Klein bottle]]
! {{M|\mathbb{RP}^2}}
|-
| <span style="font-size:1.2em;"><center><m>\xymatrix{
\bullet \ar@{<-}[r]^A \ar[d]_B & \bullet \ar[d]^B \\
\bullet \ar@{->}[r]_A & \bullet
}</m></center></span>
| <span style="font-size:1.2em;"><center><m>\xymatrix{
\bullet \ar@{<-}[r]^A \ar@{<-}[d]_B & \bullet \ar[d]^B \\
\bullet \ar@{->}[r]_A & \bullet
}</m></center></span>
|}
=====Solution body=====
Notice this is {{M|\mathbb{RP}^2}} in the first column. Pictures have comments underneath.
* To see these in a table rather than as separate images see [[Media:TableSourceForLocallyKbottleAndRP2.JPG]]
The work here is done very informally. I emailed a link to: [[Media:RP2locallyDraft.JPG]] and was told this was the right idea. 
{| class="wikitable" border="1"
|-
! Type
! {{M|\mathbb{RP}^2}}
! [[Klein bottle]]
|-
! rowspan="2" | Case {{M|1}}
| [[File:RP2InsideLocally.JPG|thumb]]
| [[File:KBottleInsideLocally.JPG|thumb]]
|-
| colspan="2" | these cases are self explanatory and trivial, for any point in the {{link|interior|topology}} of the square (considered in {{M|\mathbb{R}^2}}) {{M|\pi}} is [[injective]] (in fact {{M|\pi}} restricted to the interior of the square (considered in {{M|\mathbb{R}^2}}) is a [[homeomorphism]] onto its image), this can be used to show that given any such {{M|x}} there is an [[open ball]] around {{M|x}} which does not touch any edges or vertices of the square, or their images.
|
|-
! rowspan="3" | Case {{M|2}}
| [[File:RP2EdgeLocally.JPG|thumb]]
| [[File:KBottleEdgeLocally.JPG|thumb]]
|-
| The other cases are essentially the same just with the nearest vertex (marked here as {{M|1=\pi(v_0)=\pi(v_3)}}) on the other side, or the arrows going another direction. 
| The other cases are just as in the already shown {{M|\mathbb{RP}^2}} case, possibly with arrows in a different direction, or the nearest vertex on the other side.
|-
| colspan="2" | To be explicit, notice the edges in the square have a red border where the red open sets are, this is to convey the edges are in that set. The {{link|passing to the quotient|topology}} operation will map the edges onto each other, gluing the red set together along it, in the direction of the arrow on that edge. 

What we are really showing here is an open ball in the chart, centred at {{M|x}} and it's pre-image in the chart, then that's pre-image under the quotient map (in the square)

This comment also applies to the third case.
|-
! rowspan="2" | Case {{M|3}}
| [[File:RP2VertexLocally.JPG|thumb]]
| [[File:KBottleVertexLocally.JPG|thumb|there's a slight mistake in this diagram, notice that all the other diagrams have a border around the exterior of the square to denote that they include that part of the edge, or that vertex, they should be present here. That is all the purple sections should include the edge they touch as well as the vertex. Please imagine them in.]]
|-
| The other case is essentially the same just with the arrow directions reversed.
| There is no other case. I have put {{M|\alpha,\beta,\gamma}} and {{M|\delta}} in each quadrant to show which shaded in bit belongs to which
|}
<noinclude>
==Notes==
<references group="Note"/>
==References==
<references/>
</noinclude>