定義可能な空間の定義
定義 1 2
ホモトピー型:二つの位相空間 について、次を満たす連続関数 、 が存在する場合、 は同じ ホモトピー型を持つとされ、 または は ホモトピー同値とも言われる。 ここで、 は恒等関数であり、 は がホモトピー的であることを意味する。
位相空間 が一点のみから成る空間 とホモトピー同値であれば 収縮可能空間とされる。
例
どれだけ宇宙が広くても、それが多重宇宙を考える時に何の意味があり、どれだけ質量を持つ粒子であっても一点に等しいほど小さいなら、その体積が何の意味があるのだろうか?
位相数学では、「一点に集まる」や「形を変える」という概念は非常に重要であり、収縮可能空間とは直感的に「これ以上小さくすることができない」、「一点に」、「形を変えて考えても良い」という空間と言えるだろう。
ユークリッド空間
ユークリッド空間 では、どのようなパスを想像しても、それは一点へと連続的に変化することができる。つまり、コンスタントパス とホモトピーであるため、ユークリッド空間は収縮可能空間である。
-ディスク
ディスク は、ユークリッド空間よりも小さいので、明らかに収縮可能である。
凸集合
ディスクほどではないまでも、凸包はユークリッド空間の部分集合として自明に収縮可能であることがわかる。
単位円は収縮不可能
一方で、単位円 は中央が開いているため、一点に収縮することができない。この事実は、特にホモトピー、基本群に多くの関心を持つ概念と共に、(学部レベルを超えた)位相数学がなぜそこまで「輪」と「穴」に固執するのかと関連している。