The Klein Bottle Has No Embedding in ℝ³
A Klein bottle is formed from a square by identifying sides as follows:
- (top and bottom glued in the same direction)
- (left and right sides glued in opposite directions)
Question: Prove that the Klein bottle is not orientable, and use this to conclude it cannot be embedded as a closed surface in .
Hint: Find a Möbius band inside , and think about what orientability means for an atlas.
Answer: Klein Bottle Is Non-Orientable and Doesn't Embed in R³
Key Idea / Intuition
The Klein bottle contains a Möbius band as a subspace — just look at the middle horizontal strip. A Möbius band is the prototypical non-orientable surface, and a space containing a non-orientable subspace is itself non-orientable. The punchline is purely topological: any compact surface embedded in separates it into two regions (by Alexander duality / Jordan–Brouwer), and such a surface must be orientable (the "outward normal" gives a consistent orientation). So a non-orientable closed surface simply cannot live in .
Formal Proof / Solution
Step 1: Find a Möbius Band inside
Consider the horizontal strip inside the square. The identifications of restricted to this strip are:
- Top edge of strip: glued to — no identification needed.
- Left/right edges: , which for maps , so the sides are glued with a flip.
This is precisely the construction of a Möbius band. So contains a Möbius band .
Step 2: Is Non-Orientable
Definition: A surface is orientable if it admits an atlas where all transition maps have positive Jacobian determinant.
Since is a Möbius band, is non-orientable: any attempt to consistently choose an orientation around the central circle of leads to a contradiction (going once around reverses orientation).
More directly for itself: consider a loop in corresponding to the horizontal path for . At and , the identification is , so is a closed loop.
Now transport a local orientation (a choice of basis for the tangent plane) continuously along . The side identification reverses the -direction. After traversing once, the transported orientation is reversed. Hence is non-orientable.
Step 3: Non-Orientable Closed Surfaces Cannot Embed in
Theorem (Classical): If is a compact surface without boundary embedded in , then is orientable.
Proof sketch: By the Jordan–Brouwer Separation Theorem, a compact connected surface embedded in separates into (at least) two connected components, one of which is bounded. At each point , one can choose the unit normal pointing into the bounded component. This choice varies continuously (using the local flatness of the embedding), yielding a globally consistent normal field — which is exactly a global orientation of .
Since is non-orientable, it admits no such normal field, and hence:
Summary
| Step | Content | |------|---------| | 1 | contains a Möbius band | | 2 | A loop in reverses orientation → non-orientable | | 3 | Embedded closed surfaces in have a global normal → must be orientable | | Conclusion | |
Remark: The Klein bottle can be immersed in (with self-intersections), but not embedded. It embeds cleanly in .
Source: topology/Introduction to Topological Manifolds (John M. Lee).pdf