The Suspension of a Space and Its Fundamental Group
Let be any path-connected topological space. The suspension of , denoted , is the quotient of obtained by collapsing to a single point (call it , the "north pole") and to another point (call it , the "south pole").
Prove that for any path-connected .
In other words: no matter how complicated is, suspending once kills it entirely.
(Bonus to think about: , but . Is there a contradiction? Why not?)
Answer: Suspension Kills Fundamental Group
Key Idea / Intuition
The suspension is covered by two open "cones" — an upper cone capped at and a lower cone capped at . Each cone is contractible (you can push everything toward the pole), so each piece has trivial fundamental group. The two cones overlap in a region homeomorphic to , which is path-connected (since is). Van Kampen's theorem then forces : the amalgamated free product of two trivial groups, over any group, is trivial.
The bonus: is the suspension of a discrete two-point space, which is not path-connected, so our hypothesis fails and is perfectly consistent.
Formal Proof / Solution
Step 1: Cover with two contractible opens.
Define:
Both and are open in :
- is the image of , with the top collapsed to .
- is the image of , with the bottom collapsed to .
is contractible: The straight-line homotopy for pushes every point toward . So deformation retracts onto , giving .
is contractible: Similarly, deformation retracts onto , giving .
Step 2: Identify the intersection.
Since is path-connected and is path-connected, their product is path-connected. Hence is path-connected.
Step 3: Apply the Seifert–Van Kampen theorem.
Since , , and are all path-connected, Van Kampen gives:
No matter what group is, the amalgamated free product of two trivial groups is trivial:
Therefore .
Resolution of the bonus puzzle:
The "two-point space" with the discrete topology is not path-connected ( and lie in different path components). Our theorem required to be path-connected. Indeed, , whose . This is not a contradiction — it just shows the hypothesis is sharp.
Takeaway: Suspension is a topological "smearing" operation that makes spaces simply connected by providing two contractible patches whose overlap retains just enough connectivity to apply Van Kampen. This is the same mechanism behind why is simply connected for (they are suspensions of connected spaces).
Source: Munkres, Topology; standard algebraic topology folklore