他の用法については「レトラクション (曖昧さ回避)」をご覧ください。
位相幾何学という数学の分野において，レトラクション (retraction) とは，位相空間から部分空間への，その部分空間の全ての点の位置を保つ連続写像である[1]．変位レトラクション (deformation retraction) は空間を部分空間に「連続的に縮める」という概念を捉える写像である．
絶対近傍レトラクト (absolute neighborhood retract, ANR) は特によく振る舞う
（英語版）タイプの位相空間である．例えば，すべての位相多様体は ANR である．すべての ANR は非常に単純な位相空間，CW複体，のホモトピー型を持つ．X を位相空間とし，A を X の部分空間とする．このとき連続写像r: X → A
がレトラクション (retraction) であるとは，r の A への制限が A 上の恒等写像であること，つまりすべての a ∈ A に対して r(a) = a であるときにいう．同じことであるが， ι : A ↪ X {\displaystyle \iota \colon A\hookrightarrow X}
によって包含写像を表せば，レトラクションとは連続写像 r であって r ∘ ι = id A {\displaystyle r\circ \iota =\operatorname {id} _{A}}
なるもの，つまり， r の包含との合成が A の恒等写像であるものをいう．定義により，レトラクションは X から A の全射であることに注意．部分空間 A はそのようなレトラクションが存在するときに X のレトラクト (retract) と呼ばれる．例えば，任意の空でない空間は明らかな方法で点にレトラクトする（定値写像がレトラクションとなる）．X がハウスドルフならば，A は X の閉集合でなければならない．
r: X → A がレトラクションならば，合成 ι?r は X から X への冪等連続写像である．逆に，任意の冪等連続写像 s: X → X が与えられると，終域の制限によって s の像の上へのレトラクションを得る． 連続写像F: X × [0, 1] → X が空間 X の部分空間 A の上への変位レトラクション (deformation retraction) であるとは，すべての x ∈ X と a ∈ A に対して F ( x , 0 ) = x , F ( x , 1 ) ∈ A , and F ( a , 1 ) = a {\displaystyle F(x,0)=x,\;F(x,1)\in A,\quad {\text{and}}\quad F(a,1)=a} であるこという．言い換えると，変位レトラクションはレトラクションと X 上の恒等写像の間のホモトピーである．部分空間 A は X の変位レトラクト (deformation retract) と呼ばれる．変位レトラクションはホモトピー同値の特別な場合である． レトラクトは変位レトラクトとは限らない．例えば，空間 X の変位レトラクトとして一点を持つということは，X が弧状連結である（実は可縮である）ことを意味する． Note: 変位レトラクションの同値な定義は以下である．連続写像 r: X → A が変位レトラクションであるとは，それがレトラクションでありかつその包含との合成が X 上の恒等写像にホモトピックであるときにいう．この定式化において，変位レトラクションは X 上の恒等写像とそれ自身の間のホモトピーを伴っている． 変位レトラクションの定義において，さらにすべての t ∈ [0, 1] と a ∈ A に対してF(a, t) = a と仮定したとき，F を強変位レトラクション (strong deformation retraction) と呼ぶ．言い換えると，強変位レトラクションは，ホモトピーずっと A の点を固定したままにする．（Hatcher
変位レトラクトと強変位レトラクト
例として，n 次元球面 Sn は Rn + 1 ∖ {0} の強変位レトラクトである；強変位レトラクションとして次の写像を取れる： F ( x , t ) = ( ( 1 − t ) + t ‖ x ‖ ) x . {\displaystyle F(x,t)=\left((1-t)+{t \over \|x\|}\right)x.} 位相空間の写像 f: A → X が (Hurewicz
コファイブレーションと近傍変位レトラクト
すべての閉包含の中で，コファイブレーションは以下のように特徴づけられる．空間 X の閉部分空間 A の包含がコファイブレーションであることと以下は同値である．A は X の近傍変位レトラクト (neighborhood deformation retract) である，つまり，連続写像 u: X → I（ただし I = [0, 1]）で A = u?1(0) なるものと，ホモトピー H: X × I → X が存在して，すべての x ∈ X に対して H(x, 0) = x で，すべての (a, t) ∈ A × I に対して H(a, t) = a で，u(x) < 1 のときに h(x, 1) ∈ A となる[3]．
例えば，CW複体の部分複体の包含はコファイブレーションである． n 次元球の境界，すなわち (n ? 1) 次元球面は，球のレトラクトではない．（ブラウアーの不動点定理#ホモロジーを用いた証明を参照．） 位相空間 Y の閉部分集合 X が Y の近傍レトラクト (neighborhood retract) であるとは，X が X を含む Y のある開部分集合のレトラクトであるときにいう． C {\displaystyle {\mathcal {C}}} を位相空間のクラスであって同相と閉部分集合について閉じているものとする．Borsuk
性質
X のレトラクト A（レトラクションを r: X → A とする）の1つの基本的な性質は，すべての連続写像 f: A → Y が少なくとも1つの拡大 g: X → Y （すなわち g = f?r）を持つことである．
変位レトラクションはホモトピー同値の特別な場合である．実は，2つの空間がホモトピー同値であることと，それらが両方とも1つのより大きい空間の変位レトラクトであることは同値である．
一点に変位レトラクトする任意の位相空間は可縮であり，また逆も成り立つ．しかしながら，一点に強変位レトラクトしない可縮空間は存在する[4]．
No-retraction theorem
絶対近傍レトラクト (ANR)
正規空間のような様々なクラス C {\displaystyle {\mathcal {C}}} がこの定義において考えられてきたが，距離化可能空間のクラス M {\displaystyle {\mathcal {M}}} が最も満足のいく理論を与えることが分かっている．そのため，ノーテーション AR と ANR それら自身は本項で A R ( M ) {\displaystyle AR({\mathcal {M}})} と A N R ( M ) {\displaystyle ANR({\mathcal {M}})} を意味するために用いられる[5]．
距離化可能空間が AR であることと可縮かつ ANR であることは同値である[6]．Dugundji（英語版） によって，すべての局所凸距離化可能線型位相空間 V は AR である；より一般に，そのようなベクトル空間 V のすべての空でない凸部分集合は AR である[7]．例えば，任意のノルム空間（完備であってもなくても）は AR である．より具体的に，ユークリッド空間 Rn, 単位立方体（英語版） In, ヒルベルト立方体 Iω は AR である．
ANR たちは「行儀のよい」位相空間の注目すべきクラスをなす．それらの性質のいくつかは：
ANR のすべての開部分集合は ANR である．
Hanner（英語版） により，ANR による開被覆を持つ距離化可能空間は ANR である[8]．（つまり，距離化可能空間に対して，ANR であることは局所的な性質（英語版）である．）任意の位相多様体は ANR であることが従う．例えば，球面 Sn は ANR であるが AR ではない（可縮でないので）．無限次元では，Hanner の定理により，ヒルベルト立方体多様体や，（かなり異なり例えば局所コンパクトでない）ヒルベルト多様体（英語版），バナッハ多様体（英語版）は ANR である．
任意の局所有限 CW 複体は ANR である[9]．任意の CW 複体が距離化可能なわけではないが，任意の CW 複体は（定義により距離化可能な）ANR のホモトピー型を持つ[10]．
