Show that any convex set is simply connected.
Solutions
1Reveal solutionsAre you sure? Give it a try first.
Let be a convex set. First, note that is path-connected, since any two points are connected by the segment between them.
Now, let be two loops based at point of .
We can naturally form the following homotopy (by the way, this is always the first homotopy to try!):
This is indeed well-defined, with values in , since is convex.
Furthermore, is a path homotopy, because it preserves the endpoints:
We have just shown that there is only one homotopy class of loops in . In other words, the fundamental group of contains only one element, so it is the trivial group.
