基本群
n次元ユークリッド空間 Rや R 内の任意の凸集合に対して、ループのホモトピー類が唯一つあり、したがって基本群はひとつの元からなる自明な群である。自明な基本群を持つ弧状連結な空間を単連結空間と呼ぶ。