🧮 Brain Teaser

The Klein Bottle Has No Embedding in ℝ³

A Klein bottle KK is formed from a square [0,1]2[0,1]^2 by identifying sides as follows:

  • (x,0)(x,1)(x, 0) \sim (x, 1) (top and bottom glued in the same direction)
  • (0,y)(1,1y)(0, y) \sim (1, 1-y) (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 R3\mathbb{R}^3.

Hint: Find a Möbius band inside KK, and think about what orientability means for an atlas.

Klein bottleorientabilityMöbius bandsurfacesembeddingfundamental polygon

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 R3\mathbb{R}^3 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 R3\mathbb{R}^3.


Formal Proof / Solution

Step 1: Find a Möbius Band inside KK

Consider the horizontal strip [0,1]×[1/4,3/4][0,1] \times [1/4, 3/4] inside the square. The identifications of KK restricted to this strip are:

  • Top edge of strip: (x,3/4)(x, 3/4) glued to (x,3/4)(x, 3/4) — no identification needed.
  • Left/right edges: (0,y)(1,1y)(0, y) \sim (1, 1-y), which for y[1/4,3/4]y \in [1/4, 3/4] maps 1y[1/4,3/4]1-y \in [1/4, 3/4], so the sides are glued with a flip.

This is precisely the construction of a Möbius band. So KK contains a Möbius band MKM \subset K.

Step 2: KK Is Non-Orientable

Definition: A surface is orientable if it admits an atlas {(Uα,ϕα)}\{(U_\alpha, \phi_\alpha)\} where all transition maps ϕβϕα1\phi_\beta \circ \phi_\alpha^{-1} have positive Jacobian determinant.

Since MKM \subset K is a Möbius band, MM is non-orientable: any attempt to consistently choose an orientation around the central circle of MM leads to a contradiction (going once around reverses orientation).

More directly for KK itself: consider a loop γ\gamma in KK corresponding to the horizontal path t(t,1/2)t \mapsto (t, 1/2) for t[0,1]t \in [0,1]. At t=0t=0 and t=1t=1, the identification is (0,1/2)(1,1/2)(0, 1/2) \sim (1, 1/2), so γ\gamma is a closed loop.

Now transport a local orientation (a choice of basis for the tangent plane) continuously along γ\gamma. The side identification (0,y)(1,1y)(0,y) \sim (1, 1-y) reverses the yy-direction. After traversing γ\gamma once, the transported orientation is reversed. Hence KK is non-orientable.

Step 3: Non-Orientable Closed Surfaces Cannot Embed in R3\mathbb{R}^3

Theorem (Classical): If SR3S \subset \mathbb{R}^3 is a compact surface without boundary embedded in R3\mathbb{R}^3, then SS is orientable.

Proof sketch: By the Jordan–Brouwer Separation Theorem, a compact connected surface SS embedded in R3\mathbb{R}^3 separates R3\mathbb{R}^3 into (at least) two connected components, one of which is bounded. At each point pSp \in S, one can choose the unit normal n(p)\mathbf{n}(p) 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 SS.

Since KK is non-orientable, it admits no such normal field, and hence:

K cannot be embedded as a closed surface in R3.K \text{ cannot be embedded as a closed surface in } \mathbb{R}^3. \qquad \blacksquare

Summary

| Step | Content | |------|---------| | 1 | KK contains a Möbius band | | 2 | A loop in KK reverses orientation → KK non-orientable | | 3 | Embedded closed surfaces in R3\mathbb{R}^3 have a global normal → must be orientable | | Conclusion | K↪̸R3K \not\hookrightarrow \mathbb{R}^3 |

Remark: The Klein bottle can be immersed in R3\mathbb{R}^3 (with self-intersections), but not embedded. It embeds cleanly in R4\mathbb{R}^4.

Source: topology/Introduction to Topological Manifolds (John M. Lee).pdf

Type: topologySource: topology/Introduction to Topological Manifolds (John M. Lee).pdfEdit on GitHub ↗