可縮空間
数学において、位相空間 "X" は次のようなとき可縮 (contractible) である。"X" 上の恒等写像が、すなわち、ある定値写像にホモトープである。直感的には、可縮空間は連続的に一点に縮められるような空間である。
可縮空間はちょうど点のホモトピー型の空間である。可縮空間のすべてのホモトピー群は自明であることが従う。それゆえ非自明なホモトピー群をもつ任意の空間は可縮ではありえない。同様に、特異ホモロジーはホモトピー不変であるから、可縮空間のはすべて自明である。
位相空間 "X" に対して以下は全て同値である（ここで "Y" は任意の位相空間である）
空間 "X" 上の錐は常に可縮である。したがって任意の空間は可縮空間に埋め込むことができる。（このことはまた可縮空間の部分空間が可縮とは限らないことも示している。）
さらに、"X" が可縮であることと、"X" の錐から "X" へのレトラクションが存在することは同値である。
すべての可縮空間は弧状連結かつ単連結である。さらに、全ての高次ホモトピー群は消えるから、全ての可縮空間は全ての に対して n連結 である。