logo

位相数学におけるレトラクト 📂位相データ分析

位相数学におけるレトラクト

定義 1 2

位相空間 XX部分空間 AXA \subset X が与えられて、恒等関数id\text{id} と表示しよう。

  1. 包含 i:AXi : A \to X に対して、 ri=idA:AA r \circ i = \text{id}_{A} : A \to A を満たす連続な 全射 関数 r:XAr : X \to A が存在する場合、rrレトラクションretractionAAXXレトラクトretractと言う。つまり、rr は次を満たす連続全射関数である。 r(a)=a,aA r(a) = a \qquad , \forall a \in A
  2. 下記を満たすレトラクション r:XAr : X \to A が存在する場合、AAXXデフォーメーション レトラクトdeformation Retractという。 iridX:XX i \circ r \simeq \text{id}_{X} : X \to X つまり、AAXX のデフォーメーション レトラクトであるとは、下記のようなホモトピー F:X×IXF : X \times I \to X が存在するということである。 F(x,0)=x,xXF(x,1)A,xXF(a,t)=a,aA \begin{align*} F(x,0) =& x & , x \in X \\ F(x,1) \in & A & , x \in X \\ F(a,t) =& a & , a \in A \end{align*}

説明

レトラクトは文字通り、全体空間 XX をより小さい空間 AA に何とか圧縮しながら、元の点 aAa \in A をそのまま保つ写像である。デフォーメーション レトラクトの定義で注意すべき点は、ir=idXi \circ r = \text{id}_{X} ではなく、iridXi \circ r \simeq \text{id}_{X} であること、すなわちホモトピー センスで同じであることである。

20220622_150429.png

このようなレトラクトを考えることによって、今では無限に複雑で多様な空間を非常に単純に見ることができるようになる。例えば、厚みがある XX であれ、厚みがない AA であれ、考察対象の空間自体の性質に違いがなければ、後者のほうが扱いやすいだろう。

強いデフォーメーション レトラクト

デフォーメーション レトラクトは AA に関係なく iridXi \circ r \simeq \text{id}_{X} を満たす rr が存在する場合に考慮されるが、相対ホモトピーまで考慮して irrelAidX i \circ r \simeq_{\text{rel} A} \text{id}_{X} を満たすレトラクション rr が存在する場合、AXA \subset X強いデフォーメーション レトラクトstrong Deformation Retractと呼ぶ。これは、AA で点が固定されることまで求めているので、非常に厳しい条件と見えるかもしれないし、実際にデフォーメーション レトラクトに比べてそれほど重要ではなく扱われることがある。


  1. Kosniowski. (1980). A First Course in Algebraic Topology: p114. ↩︎

  2. Munkres. (1984). Elements of Algebraic Topology: p108. ↩︎