Explore BrainMass

Fundamental Groups, Path-Connected Space, Connectivity and Homotopy

Let X be a path-connected space and suppose that every map f: S^1 --> X is homotopically trivial but not necessarily by a homotopy leaving the base point x_0 fixed. Show that pi_1(X,x_0) = 0.

Solution Preview

Please see the attached file for the complete solution.
Thanks for using BrainMass.


Some standard results:
1) Suppose X is a space, and x0 is a point of X. We define 1(X, x0) as homotopy classes of maps f: [0, 1]  X, such that f (0) = f (1) = x0.

In other-words, homotopy means that one views as equivalent two maps which lie on a 1-parameter family of functions ft [0,1]  X which satisfy the boundary conditions ft(0) = ft(1) = x0.

So, we call 1(X, x0) as fundamental group of X, if X is path connected.

2) We say a space is "simply connected" if its fundamental group is trivial.

3) Covering space: A map p: X  Y is a covering map if around each point y in Y there exists a neighborhood Ny of b, so that ...

Solution Summary

Fundamental Groups, Path-Connected Space, Connectivity and Homotopy are investigated. The solution is detailed and well presented. The response received a rating of "5" from the student who originally posted the question.