「高次元の穴」の研究のためには、ホモトピー群が使われる。