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

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

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

 定義 

 レトラクト 
 を位相空間とし， を の部分空間とする．このとき連続写像

がレトラクション (retraction) であるとは， の への制限が 上の恒等写像であること，つまりすべての に対して であるときにいう．同じことであるが，

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

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

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

 変位レトラクトと強変位レトラクト 
連続写像

が空間 の部分空間 の上への変位レトラクション (deformation retraction) であるとは，すべての と に対して

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

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

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

変位レトラクションの定義において，さらにすべての と に対して

と仮定したとき， を強変位レトラクション (strong deformation retraction) と呼ぶ．言い換えると，強変位レトラクションは，ホモトピーずっと の点を固定したままにする．（ のように，これを変位レトラクションの定義にする著者もいる．）

例として， 次元球面 は の強変位レトラクトである；強変位レトラクションとして次の写像を取れる：

コファイブレーションと近傍変位レトラクト
位相空間の写像 が () (cofibration) であるとは，それが任意の空間への写像に対してを持つときにいう．これはホモトピー論の中心的な概念の1つである．コファイブレーション は必ず単射であり，実は像への同相である． がハウスドルフ（あるいは ）ならば，コファイブレーション の像は において閉である．

すべての閉包含の中で，コファイブレーションは以下のように特徴づけられる．空間 の閉部分空間 の包含がコファイブレーションであることと以下は同値である． は の近傍変位レトラクト (neighborhood deformation retract) である，つまり，連続写像 （ただし ）で なるものと，ホモトピー が存在して，すべての に対して で，すべての に対して で， のときに となる．

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

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

No-retraction theorem
 次元球の境界，すなわち 次元球面は，球のレトラクトではない．（ブラウアーの不動点定理#ホモロジーを用いた証明を参照．）

絶対近傍レトラクト (ANR)
位相空間 の閉部分集合 が の近傍レトラクト (neighborhood retract) であるとは， が を含む のある開部分集合のレトラクトであるときにいう．

 を位相空間のクラスであって同相と閉部分集合について閉じているものとする． に従って（1931年に始まった），空間 がクラス について絶対レトラクト (absolute retract) であるとは， が に属しており， が に属する空間 の閉部分集合であるときにはいつでも は のレトラクトであることをいう．このとき と書く．空間 がクラス について絶対近傍レトラクト (absolute neighborhood retract) であるとは， が に属しており， が に属する空間 の閉部分集合であるときにはいつでも は の近傍レトラクトであることをいう．このとき と書く．

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

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

ANR たちは「行儀のよい」位相空間の注目すべきクラスをなす．それらの性質のいくつかは：
ANR のすべての開部分集合は ANR である．
 により，ANR による開被覆を持つ距離化可能空間は ANR である．（つまり，距離化可能空間に対して，ANR であることはである．）任意の位相多様体は ANR であることが従う．例えば，球面 は ANR であるが AR ではない（可縮でないので）．無限次元では，Hanner の定理により，ヒルベルト立方体多様体や，（かなり異なり例えば局所コンパクトでない）ヒルベルト多様体，は ANR である．
任意の局所有限 CW 複体は ANR である．任意の CW 複体が距離化可能なわけではないが，任意の CW 複体は（定義により距離化可能な）ANR のホモトピー型を持つ．
任意の ANR は次の意味で局所可縮である，すなわち の点 の任意の開近傍 に対して， に含まれる の開近傍 が存在して，包含 は定値写像にホモトピックとなる．有限次元距離化可能空間が ANR であることとこの意味で局所可縮であることは同値である．例えば，カントール集合は実数直線の ANR でないコンパクト部分集合である，なぜならば局所連結ですらないからである．
反例: Borsuk は のコンパクト部分集合であって ANR であるが強局所可縮でないものを見つけた．（空間が強局所可縮であるとは，各点 の任意の開近傍 が の可縮開近傍を含むときにいう．）Borsuk はまたヒルベルト立方体のコンパクト部分集合であって局所可縮（定義は上述）であるが ANR ではないものを見つけた．
 と Milnor により，任意の ANR は CW 複体のホモトピー型を持つ．さらに，局所コンパクト ANR は局所有限 CW 複体のホモトピータイプを持つ；そして，West により，コンパクト ANR は有限 CW 複体のホモトピー型を持つ．この意味において，ANR は任意の位相空間のすべてのホモトピー論的な病的さを避けている．例えば，は ANR に対して成り立つ：ANR の間の写像であって（基点の任意の選択に対して）ホモトピー群上の同型を誘導するものはホモトピー同値である．ANR は位相多様体，ヒルベルト立方体多様体，バナッハ多様体，などを含むから，これらの結果は空間の大きいクラスに適用する．
多くの写像空間は ANR である．特に， を ANR で，ANR である閉部分空間 を持つものとし， をコンパクト距離化可能空間で，閉部分空間 を持つものとする．このとき空間 , つまりの間の写像 全体のなす空間にコンパクト開位相を入れたものは，ANR である．したがって，例えば，任意の CW 複体のは CW 複体のホモトピー型を持つ．
 Cauty により，距離化可能空間 が ANR であることは， の任意の開部分集合が CW 複体のホモトピー型を持つことと同値である．
 Cauty により， （すなわち移動不変な計量を持つ位相ベクトル空間）であって AR でないものが存在する． として可分なF空間（すなわち完備計量線型空間）を取ることができる．（上の Dugundji の定理により， は局所凸にはなりえない．） は可縮であって AR ではないので，ANR でもない．上の Cauty の定理によって， は開部分集合 であって CW 複体にホモトピー同値ではないものを持つ．したがって，強局所可縮だが CW 複体にホモトピー同値でない距離化可能空間 が存在する．強局所可縮なコンパクト（あるいは局所コンパクト）距離化可能空間が ANR でなければならないかどうかは知られていない．