レトラクト (位相幾何学)

位相幾何学という数学の分野において，レトラクション  とは，位相空間から部分空間への，その部分空間の全ての点の位置を保つ連続写像であるBorsuk．変位レトラクション  は空間を部分空間に「連続的に縮める」という概念を捉える写像である．

絶対近傍レトラクト  は特によく振る舞うタイプの位相空間である．例えば，すべての位相多様体は ANR である．すべての ANR は非常に単純な位相空間，CW複体，のホモトピー型を持つ．

1. 定義
-----

1.1. レトラクト
----------

X}} を位相空間とし，A}} を X}} の部分空間とする．このとき連続写像

がレトラクション  であるとは，r}} の A}} への制限が A}} 上の恒等写像であること，つまりすべての //a// ∈ //A//}} に対して 1=//r// = //a//}} であるときにいう．同じことであるが，

によって包含写像を表せば，レトラクションとは連続写像 r}} であって

なるもの，つまり， r}} の包含との合成が A}} の恒等写像であるものをいう．定義により，レトラクションは X}} から A}} の全射であることに注意．部分空間 A}} はそのようなレトラクションが存在するときに X}} のレトラクト  と呼ばれる．例えば，任意の空でない空間は明らかな方法で点にレトラクトする．X}} がハウスドルフならば，A}} は X}} の閉集合でなければならない．

//r//: //X// → //A//}} がレトラクションならば，合成 ι∘//r//}} は X}} から X}} への冪等連続写像である．逆に，任意の冪等連続写像 //s//: //X// → //X//}} が与えられると，終域の制限によって s}} の像の上へのレトラクションを得る．

1.2. 変位レトラクトと強変位レトラクト
---------------------

連続写像

が空間 X}} の部分空間 A}} の上への変位レトラクション  であるとは，すべての //x// ∈ //X//}} と //a// ∈ //A//}} に対して

であるこという．言い換えると，変位レトラクションはレトラクションと X}} 上の恒等写像の間のホモトピーである．部分空間 A}} は X}} の変位レトラクト  と呼ばれる．変位レトラクションはホモトピー同値の特別な場合である．

レトラクトは変位レトラクトとは限らない．例えば，空間 X}} の変位レトラクトとして一点を持つということは，X}} が弧状連結であることを意味する．

//Note:// 変位レトラクションの同値な定義は以下である．連続写像 //r//: //X// → //A//}} が変位レトラクションであるとは，それがレトラクションでありかつその包含との合成が X}} 上の恒等写像にホモトピックであるときにいう．この定式化において，変位レトラクションは X}} 上の恒等写像とそれ自身の間のホモトピーを伴っている．

変位レトラクションの定義において，さらにすべての //t// ∈ [0, 1]}} と //a// ∈ //A//}} に対して

と仮定したとき，F}} を強変位レトラクション  と呼ぶ．言い換えると，強変位レトラクションは，ホモトピーずっと A}} の点を固定したままにする．

例として，n}} 次元球面 Sn}} は R//n// + 1 setminus}} mset の強変位レトラクトである；強変位レトラクションとして次の写像を取れる：

1.3. コファイブレーションと近傍変位レトラクト
-------------------------

位相空間の写像 //f//: //A// → //X//}} が  コファイブレーション  であるとは，それが任意の空間への写像に対してホモトピー拡張性質を持つときにいう．これはホモトピー論の中心的な概念の1つである．コファイブレーション f}} は必ず単射であり，実は像への同相であるHatcher．X}} がハウスドルフならば，コファイブレーション f}} の像は X}} において閉である．

すべての閉包含の中で，コファイブレーションは以下のように特徴づけられる．空間 X}} の閉部分空間 A}} の包含がコファイブレーションであることと以下は同値である．A}} は X}} の近傍変位レトラクト  である，つまり，連続写像 //u//: //X// → //I//}}で 1=//A// = //u//−1}} なるものと，ホモトピー //H//: //X// × //I// → //X//}} が存在して，すべての //x// ∈ //X//}} に対して 1=//H// = //x//}} で，すべての  ∈ //A// × //I//}} に対して 1=//H// = //a//}} で，//u// < 1}} のときに //h// ∈ //A//}} となるPuppe．

例えば，CW複体の部分複体の包含はコファイブレーションである．

2. 性質
-----

X}} のレトラクト A}}の1つの基本的な性質は，すべての連続写像 //f//: //A// → //Y//}} が少なくとも1つの拡大 //g//: //X// → //Y//}} を持つことである．
変位レトラクションはホモトピー同値の特別な場合である．実は，2つの空間がホモトピー同値であることと，それらが両方とも1つのより大きい空間の変位レトラクトであることは同値である．
一点に変位レトラクトする任意の位相空間は可縮であり，また逆も成り立つ．しかしながら，一点に強変位レトラクトしない可縮空間は存在するHatcher．

3. No-retraction theorem
------------------------

n}} 次元球の境界，すなわち }} 次元球面は，球のレトラクトではない．

4. 絶対近傍レトラクト 
------------------

位相空間 Y}} の閉部分集合 X}} が Y}} の近傍レトラクト  であるとは，X}} が X}} を含む Y}} のある開部分集合のレトラクトであるときにいう．

を位相空間のクラスであって同相と閉部分集合について閉じているものとする．Karol Borsuk に従って，空間 X}} がクラス について絶対レトラクト  であるとは，X}} が に属しており，X}} が に属する空間 Y}} の閉部分集合であるときにはいつでも X}} は Y}} のレトラクトであることをいう．このとき と書く．空間 X}} がクラス について絶対近傍レトラクト  であるとは，X}} が に属しており，X}} が に属する空間 Y}} の閉部分集合であるときにはいつでも X}} は Y}} の近傍レトラクトであることをいう．このとき と書く．

正規空間のような様々なクラス がこの定義において考えられてきたが，距離化可能空間のクラス が最も満足のいく理論を与えることが分かっている．そのため，ノーテーション AR}} と ANR}} それら自身は本項で と を意味するために用いられるMardešiċ．

距離化可能空間が AR であることと可縮かつ ANR であることは同値であるHu．James Dugundji によって，すべての局所凸距離化可能線型位相空間 V}} は AR である；より一般に，そのようなベクトル空間 V}} のすべての空でない凸部分集合は AR であるHu．例えば，任意のノルム空間は AR である．より具体的に，ユークリッド空間 R//n//}}, 単位立方体 In}}, ヒルベルト立方体 Iω}} は AR である．

ANR たちは「行儀のよい」位相空間の注目すべきクラスをなす．それらの性質のいくつかは：

ANR のすべての開部分集合は ANR である．
Olof Hanner により，ANR による開被覆を持つ距離化可能空間は ANR であるHu．任意の位相多様体は ANR であることが従う．例えば，球面 Sn}} は ANR であるが AR ではない．無限次元では，Hanner の定理により，ヒルベルト立方体多様体や，ヒルベルト多様体，バナッハ多様体は ANR である．
任意の局所有限 CW 複体は ANR であるMardešiċ．任意の CW 複体が距離化可能なわけではないが，任意の CW 複体はANR のホモトピー型を持つFritsch．
任意の ANR X}} は次の意味で局所可縮である，すなわち X}} の点 x}} の任意の開近傍 U}} に対して，U}} に含まれる x}} の開近傍 V}} が存在して，包含 //V// → //U//}} は定値写像にホモトピックとなる．有限次元距離化可能空間が ANR であることとこの意味で局所可縮であることは同値であるHu．例えば，カントール集合は実数直線の ANR でないコンパクト部分集合である，なぜならば局所連結ですらないからである．
反例: Borsuk は R3}} のコンパクト部分集合であって ANR であるが強局所可縮でないものを見つけたBorsuk．Borsuk はまたヒルベルト立方体のコンパクト部分集合であって局所可縮であるが ANR ではないものを見つけたBorsuk．
J. H. C. Whitehead と Milnor により，任意の ANR は CW 複体のホモトピー型を持つFritsch．さらに，局所コンパクト ANR は局所有限 CW 複体のホモトピータイプを持つ；そして，West により，コンパクト ANR は有限 CW 複体のホモトピー型を持つWest．この意味において，ANR は任意の位相空間のすべてのホモトピー論的な病的さを避けている．例えば，ホワイトヘッドの定理は ANR に対して成り立つ：ANR の間の写像であってホモトピー群上の同型を誘導するものはホモトピー同値である．ANR は位相多様体，ヒルベルト立方体多様体，バナッハ多様体，などを含むから，これらの結果は空間の大きいクラスに適用する．
多くの写像空間は ANR である．特に，Y}} を ANR で，ANR である閉部分空間 A}} を持つものとし，X}} をコンパクト距離化可能空間で，閉部分空間 B}} を持つものとする．このとき空間 }}, つまり位相空間対の間の写像  → }} 全体のなす空間にコンパクト開位相を入れたものは，ANR であるHu．したがって，例えば，任意の CW 複体のループ空間は CW 複体のホモトピー型を持つ．
Cauty により，距離化可能空間 X}} が ANR であることは，X}} の任意の開部分集合が CW 複体のホモトピー型を持つことと同値であるCauty．
Cauty により，計量線型空間 V}}であって AR でないものが存在する．V}} として可分なF空間を取ることができるCauty．V}} は可縮であって AR ではないので，ANR でもない．上の Cauty の定理によって，V}} は開部分集合 U}} であって CW 複体にホモトピー同値ではないものを持つ．したがって，強局所可縮だが CW 複体にホモトピー同値でない距離化可能空間 U}} が存在する．強局所可縮なコンパクト距離化可能空間が ANR でなければならないかどうかは知られていない．

5. 脚注
-----

6. 参考文献
-------

7. 外部リンク
--------