多様体にホモロジー群が定義できるのと同様にして、「ホモトピー群」というものが定義できます。これは基本群(= 1 次ホモトピー群)の拡張のようなものです。名前は似ていますが、両者には大きな違いがあります。 n 次元多様体を考えます。このとき、(n + 1) …