Spazio semplicemente connesso: differenze tra le versioni

Sia <math>X</math> uno [[spazio topologico]] [[spazio connesso|connesso per archi]]. Sia <math>p</math> un punto di <math>X</math>. Un ''[[arco (topologia)|arco]]'' (o ''laccio'') centrato in <math>p</math> è una funzione continua <math>f:[0,1]\rightarrow</math> <math>X</math> tale che <math>f(0) = f(1) = p</math>. Il laccio è ''contraibile'' se esiste una [[omotopia]] che lo trasforma nel laccio costante <math>g(t) = p</math> <math>\forall t</math>. In altre parole è contraibile se può essere "strizzatocontratto" con continuità fino a diventare arbitrariamente piccolo.