Basepoint Independence

Algebraic Topology · Axiom Academy

Understanding how the fundamental group depends on the choice of basepoint Recall that the fundamental group π₁(X, x₀) is defined as the set of homotopy classes of loops based at a point x₀ ∈ X. The basepoint is essential to the definition because: Loops must start and end at x₀ The group operation (concatenation) requires loops to share endpoints The identity element is the constant loop at x₀ If we have two basepoints x₀ and x₁ connected by a path α, we can construct an isomorphism between π₁(X, x₀) and π₁(X, x₁). This conjugation defines a homomorphism that turns out to be an isomorphism! In a path-connected space, any two points can be connected by a path. This means: For any two basepoints x₀, x₁, we can find a path α between them This path gives us an isomorphism π₁(X, x₀) ≅ π₁(X, x₁) We can often write "π₁(X)" without specifying the basepoint While π₁(X, x₀) ≅ π₁(X, x₁) for path-connected spaces, the isomorphism depends on the choice of path α! This subtlety is important when working with non-abelian fundamental groups.

This is the written version of the interactive lesson above. See the full Algebraic Topology course.