Ivan Shishkin, Rye (1878)

Problems/Algebraic topologyExerciseUnreviewed

Convex sets are simply connected

by Ancient Tree·
56
Difficulty scaleÉchelle de difficulté

This score reflects both the level of the required concepts and the difficulty of the solution.Ce score tient compte à la fois du niveau des notions nécessaires et de la difficulté de la résolution.

  1. 110First steps / middle schoolPremiers pas / collège
  2. 1125Beginner / high schoolDébutant / lycée
  3. 2650Intermediate / undergraduateIntermédiaire / licence
  4. 5170Advanced / graduateAvancé / master
  5. 7190Expert / specializedExpert / spécialisé
  6. 91100Research levelNiveau recherche
These levels are approximate guides.Ces niveaux sont des repères approximatifs.
·
English
Unreviewed. This problem has not been reviewed by trusted users yet.

Show that any convex set is simply connected.

I solved itMark it doneAdd to my listKeep it in your list

Solutions

1
Reveal solutionsAre you sure? Give it a try first.

Solution by Ancient Tree

Discussions0 useful votes

Let CC be a convex set. First, note that CC is path-connected, since any two points are connected by the segment between them.
Now, let γ0,γ1\gamma_{0},\gamma_{1} be two loops based at point x0x_{0} of CC.
We can naturally form the following homotopy (by the way, this is always the first homotopy to try!):
H(t,s)=(1t)γ0(s)+tγ1(s)H(t,s)=(1-t)\gamma_{0}(s)+t\gamma_{1}(s)This is indeed well-defined, with values in CC, since CC is convex.
Furthermore, HH is a path homotopy, because it preserves the endpoints:
H(t,0)=H(t,1)=x0.H(t,0)=H(t,1)=x_{0}.

We have just shown that there is only one homotopy class of loops in CC. In other words, the fundamental group of CC contains only one element, so it is the trivial group.

Report

For an unclear, ambiguous, or possibly incorrect statement, please use the Discussion tab on the right. Report content that needs moderator intervention, such as dangerous, clearly non-mathematical, or plagiarized content.