Kamus

縮空間は連続的に一点に縮められるような空間である。 可縮空間はちょうど点のホモトピー型の空間である。可縮空間のすべてのホモトピー群は自明であることが従う。それゆえ非自明なホモトピー群をもつ任意の空間は可縮ではありえない。同様に、特異ホモロジーはホモトピー不変であるから、可縮空間の被約ホモロジー群（英語版）はすべて自明である。