位相数学におけるレトラクト
📂位相データ分析位相数学におけるレトラクト
定義
位相空間 X の部分空間 A⊂X が与えられて、恒等関数を id と表示しよう。
- 包含 i:A→X に対して、
r∘i=idA:A→A
を満たす連続な 全射 関数 r:X→A が存在する場合、r をレトラクションretraction、A を X のレトラクトretractと言う。つまり、r は次を満たす連続全射関数である。
r(a)=a,∀a∈A
- 下記を満たすレトラクション r:X→A が存在する場合、A を X のデフォーメーション レトラクトdeformation Retractという。
i∘r≃idX:X→X
つまり、A が X のデフォーメーション レトラクトであるとは、下記のようなホモトピー F:X×I→X が存在するということである。
F(x,0)=F(x,1)∈F(a,t)=xAa,x∈X,x∈X,a∈A
説明
レトラクトは文字通り、全体空間 X をより小さい空間 A に何とか圧縮しながら、元の点 a∈A をそのまま保つ写像である。デフォーメーション レトラクトの定義で注意すべき点は、i∘r=idX ではなく、i∘r≃idX であること、すなわちホモトピー センスで同じであることである。

このようなレトラクトを考えることによって、今では無限に複雑で多様な空間を非常に単純に見ることができるようになる。例えば、厚みがある円 X であれ、厚みがない円 A であれ、考察対象の空間自体の性質に違いがなければ、後者のほうが扱いやすいだろう。
強いデフォーメーション レトラクト
デフォーメーション レトラクトは A に関係なく i∘r≃idX を満たす r が存在する場合に考慮されるが、相対ホモトピーまで考慮して
i∘r≃relAidX
を満たすレトラクション r が存在する場合、A⊂X を強いデフォーメーション レトラクトstrong Deformation Retractと呼ぶ。これは、A で点が固定されることまで求めているので、非常に厳しい条件と見えるかもしれないし、実際にデフォーメーション レトラクトに比べてそれほど重要ではなく扱われることがある。