Difference between revisions of "Exercises:Mond - Topology - 2/Section B/Question 7"
From Maths
(Saving work) |
(Saving work) |
||
| Line 26: | Line 26: | ||
|} | |} | ||
=====Solution body===== | =====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]] | ||
| + | {{Todo|Explain what is going on}} | ||
| + | {| class="wikitable" border="1" | ||
| + | |- | ||
| + | ! Type | ||
| + | ! {{M|\mathbb{RP}^2}} | ||
| + | ! [[Klein bottle]] | ||
| + | |- | ||
| + | ! rowspan="2" | Case {{M|1}} | ||
| + | | [[File:RP2InsideLocally.JPG|thumb]] | ||
| + | | [[File:KBottleInsideLocally.JPG|thumb]] | ||
| + | |- | ||
| + | | | ||
| + | | | ||
| + | |- | ||
| + | ! rowspan="2" | 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. | ||
| + | |- | ||
| + | ! rowspan="2" | Case {{M|3}} | ||
| + | | [[File:RP2VertexLocally.JPG|thumb]] | ||
| + | | [[File:KBottleVertexLocally.JPG|thumb]] | ||
| + | |- | ||
| + | | 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> | <noinclude> | ||
==Notes== | ==Notes== | ||
Revision as of 11:23, 19 October 2016
Contents
Section B
Question 7
Both the Klein bottle and the real projective plane are [ilmath]2[/ilmath]-manifolds[Note 1]. This is not obvious from their descriptions as quotients of the square by an equivalence relation. In fact each point [ilmath]x[/ilmath] does have an open neighbourhood homeomorphic to an open set in [ilmath]\mathbb{R}^2[/ilmath]. Show by carefully labelled drawings that this is true if:
- [ilmath]x[/ilmath] is in the image of the interior of the square.
- Caution:Mond VERY PROBABLY ALMOST CERTAINLY means the interior of the square considered as a set in [ilmath]\mathbb{R}^2[/ilmath], as of course the square's interior is itself when considered as a topological subspace
- [ilmath]x[/ilmath] is in the image of an edge in the square, but not of a vertex.
- [ilmath]x[/ilmath] 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 passing to the quotient.
Solution
Definitions
We take the following diagrams as the "square-edge-gluing" (identification?) diagrams used:
Solution body
Notice this is [ilmath]\mathbb{RP}^2[/ilmath] in the first column. Pictures have comments underneath.
- To see these in a table rather than as separate images see Media:TableSourceForLocallyKbottleAndRP2.JPG
TODO: Explain what is going on
| Type | [ilmath]\mathbb{RP}^2[/ilmath] | Klein bottle |
|---|---|---|
| Case [ilmath]1[/ilmath] | ||
| Case [ilmath]2[/ilmath] | ||
| The other cases are essentially the same just with the nearest vertex (marked here as [ilmath]\pi(v_0)=\pi(v_3)[/ilmath]) on the other side, or the arrows going another direction. | The other cases are just as in the already shown [ilmath]\mathbb{RP}^2[/ilmath] case, possibly with arrows in a different direction, or the nearest vertex on the other side. | |
| Case [ilmath]3[/ilmath] | ||
| The other case is essentially the same just with the arrow directions reversed | There is no other case. I have put [ilmath]\alpha,\beta,\gamma[/ilmath] and [ilmath]\delta[/ilmath] in each quadrant to show which shaded in bit belongs to which |
Notes
- ↑ Manifolds of the topological variety
References
