🧮 Brain Teaser

The Möbius Band Has Fundamental Group ℤ

Consider the Möbius band MM, constructed by taking the square [0,1]×[0,1][0,1] \times [0,1] and identifying (0,t)(1,1t)(0, t) \sim (1, 1-t) for all t[0,1]t \in [0,1].

Show that π1(M)Z\pi_1(M) \cong \mathbb{Z}, and identify a geometric generator.

As a follow-up to think about: the boundary of MM is a single circle. When you go around this boundary circle once, how many times does the generator of π1(M)\pi_1(M) get traversed?

fundamental groupdeformation retractMöbius bandhomotopytopology

Answer: Möbius Band Has Fundamental Group ℤ

Key Idea / Intuition

The Möbius band deformation retracts onto its central circle — the image of the horizontal midline [0,1]×{1/2}[0,1] \times \{1/2\} under the identification. This central circle is a circle, and the deformation retract is the key: since MM deformation retracts onto S1S^1, we immediately inherit π1(M)π1(S1)Z\pi_1(M) \cong \pi_1(S^1) \cong \mathbb{Z}.

The punchline of the follow-up: the boundary circle traverses the central circle twice, which reflects the famous "twist" — going around the boundary of a Möbius band brings you back having flipped once, so you need two full traversals to close up.


Formal Proof / Solution

Step 1: Construct the Deformation Retract

Define the central circle CMC \subset M as the image of the midline: C={[(t,12)]:t[0,1]}M.C = \{ [(t, \tfrac{1}{2})] : t \in [0,1] \} \subset M.

Under the identification (0,t)(1,1t)(0, t) \sim (1, 1-t), the midpoint t=1/2t = 1/2 satisfies 11/2=1/21 - 1/2 = 1/2, so (0,1/2)(1,1/2)(0, 1/2) \sim (1, 1/2): the midline glues to a genuine circle.

Define the map H:M×[0,1]MH: M \times [0,1] \to M by: H([(x,s)],τ)=[(x, (1τ)s+τ12)].H([(x, s)], \tau) = [(x,\ (1-\tau)s + \tau \cdot \tfrac{1}{2})].

This linearly moves the second coordinate toward 1/21/2. One checks:

  • H([(x,s)],0)=[(x,s)]H([(x,s)], 0) = [(x,s)] — identity at time 00.
  • H([(x,s)],1)=[(x,12)]H([(x,s)], 1) = [(x, \tfrac{1}{2})] — lands on CC at time 11.
  • HH respects the identification (since the identification acts on ss by s1ss \mapsto 1-s, and the midpoint 1/21/2 is the fixed point of this map).

So HH is a well-defined deformation retraction of MM onto CS1C \cong S^1.

Step 2: Conclude the Fundamental Group

Since deformation retracts induce isomorphisms on all homotopy groups: π1(M)π1(C)π1(S1)Z.\pi_1(M) \cong \pi_1(C) \cong \pi_1(S^1) \cong \mathbb{Z}.

A generator is the loop that traverses the central circle once: γ(t)=[(t,12)],t[0,1].\gamma(t) = [(t, \tfrac{1}{2})], \quad t \in [0,1].

Step 3: The Boundary Circle (Follow-up)

The boundary M\partial M is the image of the edges [0,1]×{0}[0,1] \times \{0\} and [0,1]×{1}[0,1] \times \{1\} under the identification. Since (0,0)(1,1)(0,0) \sim (1,1) and (0,1)(1,0)(0,1) \sim (1,0), these two edges are glued together into a single circle (not two separate circles!).

Parametrize the boundary: start at [(0,0)][(0,0)], travel along [0,1]×{0}[0,1]\times\{0\} to [(1,0)]=[(0,1)][(1,0)] = [(0,1)], then travel along [0,1]×{1}[0,1]\times\{1\} back to [(1,1)]=[(0,0)][(1,1)] = [(0,0)].

Under the deformation retract, this boundary loop maps to the central circle traversed twice: [M]=2[γ]π1(M)Z.[\partial M] = 2 \cdot [\gamma] \in \pi_1(M) \cong \mathbb{Z}.

This is the topological signature of the half-twist: the boundary of the Möbius band is "twice as long" as the core circle in π1\pi_1. This also explains why cutting the Möbius band along its center circle gives a cylinder with two full twists, not two separate pieces.


Summary table:

| Space | π1\pi_1 | |---|---| | Möbius band MM | Z\mathbb{Z} | | Central circle CC | Z\mathbb{Z} | | [M][\partial M] in π1(M)\pi_1(M) | 2Z2 \in \mathbb{Z} |

Source: Munkres, Topology; Lee, Introduction to Topological Manifolds

Type: topologySource: Munkres, Topology; Lee, Introduction to Topological ManifoldsEdit on GitHub ↗