可縮空間

数学において、位相空間 X は次のようなとき可縮 (contractible) である。X 上の恒等写像0にホモトープ英語版、すなわち、ある定値写像にホモトープである[1][2]。直感的には、可縮空間は連続的に一点に縮められるような空間である。

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

位相空間 X に対して以下は全て同値である(ここで Y は任意の位相空間である)

  • X は可縮(すなわち恒等写像が0にホモトープ
  • X は1点からなる空間にホモトピー同値
  • 1点はX変位レトラクトである。(しかしながら、変位レトラクトではない可縮空間が存在する。)
  • 任意の2つの写像 f,g: YX はホモトープ
  • 任意の写像 f: YX は0にホモトープ

空間 X 上のは常に可縮である。したがって任意の空間は可縮空間に埋め込むことができる。(このことはまた可縮空間の部分空間が可縮とは限らないことも示している。)

さらに、X が可縮であることと、X の錐から X へのレトラクションが存在することは同値である。

すべての可縮空間は弧状連結かつ単連結である。さらに、全ての高次ホモトピー群は消えるから、全ての可縮空間は全ての n ≥ 0 に対して n連結 である。

局所可縮空間

[編集]

位相空間が局所可縮 (locally contractible) とは、すべての点が可縮近傍からなる局所基をもつときにいう。可縮空間が局所可縮とは限らないし、逆も同様である。例えば、櫛空間英語版は可縮だが局所可縮ではない(仮にそうだとしたら局所連結になるがそうではない)。局所可縮空間はすべての n ≥ 0 に対して局所 n-連結である。とくに、それらは局所単連結局所弧状連結、そして局所連結である。

例と反例

[編集]

参考文献

[編集]
  1. ^ Munkres, James R. (2000). Topology (2nd ed.). Prentice Hall. ISBN 0-13-181629-2 
  2. ^ Hatcher, Allen (2002). Algebraic Topology. Cambridge University Press. ISBN 0-521-79540-0. http://www.math.cornell.edu/~hatcher/AT/ATpage.html