引き戻し (圏論)

圏論という数学の分野において，引き戻し，あるいはファイバー積 ，デカルトの四角形  とは，共通の終域を持つ2つの射 //f//: //X// → //Z//}}, //g//: //Y// → //Z//}} からなる図式の極限である．引き戻しはしばしば

と書かれ，2つの自然な射 //P// → //X//}}, //P// → //Y//}} を備えている．2つの射の引き戻しが存在するとは限らないが，存在すれば2つの射から本質的に一意に定義される．多くの状況において，//X// ×//Z// //Y//}} は，元 //x// ∈ //X//}} と //y// ∈ //Y//}} の対 }} であって 1=//f// = //g//}} なるものからなるものと直観的に考えることができる．一般の定義には普遍性が用いられ，このことを本質的な理由として，引き戻しは2つの与えられた射を可換四角形に適合させる「最も一般の」方法である．

引き戻しの双対概念は押し出し   である．

1. 普遍性
------

明示的には，2つの射 f}}, g}} の引き戻しは，対象 P}} と2つの射 //p//1: //P// → //X//}} と //p//2: //P// → //Y//}} であって次の図式が可換となるものからなる：

さらに，引き戻し }} はこの図式について普遍的でなければならない，つまり，別のそのような3つ組 }} であって次の図式が可換であるような任意のものに対して，一意的な //u//:   //Q//   →   //P//}}が存在して

とならなければならない．

すべての普遍的な構成がそうであるように，引き戻しは，存在すれば，同型を除いて一意である．実際，同じ cospan //X//   →   //Z//   ←   //Y//}} の2つの引き戻し }} と }} が与えられると，A}} と B}} の間の引き戻し構造を尊重した一意的な同型が存在する．

2. 弱い引き戻し
---------

余スパン//X// → //Z// ← //Y//}} の弱引き戻し  は「弱い普遍性」しか持たないような余スパン上の錐を言う。

3. 引き戻しと積
---------

引き戻しは積と似ているが，同じではない．射 f}}, g}} と対象 Z}} の存在を「忘れる」ことによって積が得られる．このとき2つの対象 X}}, Y}} のみを持ちそれらの間に何の射もない離散圏が残るが，この離散圏は通常の二項積を構成するための添字集合として用いることができる．したがって，引き戻しは付加構造を持った通常の積と考えることができる．Z}}, f}}, g}} を「忘れる」代わりに，それらを「自明化」することも Z}} を終対象に特殊化すれば可能で，この cospan の引き戻しは X}} と Y}} の積と見ることができる．

4. 例
----

4.1. 可換環
--------

可換環の圏 CRing}} において，引き戻しはファイバー積と呼ばれる．//A//, //B//, //C// ∈ Ob}},//α// : //A// → //C// ∈ Hom}},とする．したがって A}}, B}}, C}} は単位元を持つ可換環であり，α}}, β}} は単位元を保つ環準同型である．するとこの図式の引き戻しはデカルト積 //A// × //B//}} の部分環

と次で定義される射

の組である：すべての に対して および このとき

である．

4.2. 集合
-------

集合の圏において，f}} と g}} の引き戻しは集合

と射影 //π//1}}, //π//2}} の //X//   ×//Z//   //Y//}} への制限の組である．

あるいは，Set}} における引き戻しを非対称的に

と見ることもできる．ここで は非交和を表す。前者の式の場合、射影 //π//1}} は x}} を添字として取り出すこと、それと同時に //π//2}} は添字であることを忘れて単に Y}} の元とみるものになっている。

この例は引き戻しを特徴づける別の方法を動機付ける，すなわち射 //f// ∘ //p//1, //g// ∘ //p//2: //X// × //Y// → //Z//}} のイコライザである，ただし //X//   ×   //Y//}} は X}} と Y}} の二項積で，//p//1}} と //p//2}} は自然な射影である．これは二項積とイコライザを持つ任意の圏において引き戻しが存在することを示す．実は，極限の存在定理によって，終対象，二項積，イコライザを持つ圏において，すべての有限極限が存在する．

4.3. ファイバー束
-----------

引き戻しの別の例はファイバー束の理論から来る．束写像 //π//: //E// → //B//}} と連続写像 //f//:   //X//   →   //B//}} が与えられると，位相空間の圏における引き戻し //X//   ×//B//   //E//}} は引き戻し束と呼ばれる X}} 上のファイバー束である．付随する可換図式はファイバー束の射である．

4.4. 逆像と共通部分
------------

写像による集合の逆像は以下のように引き戻しとして記述できる．

//f//: //A// → //B//}}, //B//0 ⊆ //B//}} とする．g}} を包含写像 //B//0 ↪ //B//}} とする．このとき，f}} と g}} の引き戻しは，原像 //f//−1[//B//0]}} と原像の A}} への包含

と f}} の //f//−1[//B//0]}} への制限

によって与えられる．

この例のため，一般の圏において射 f}} と単射 g}} の引き戻しは，g}} によって特定される部分対象の f}} による「原像」と思うことができる．同様に，2つの単射の引き戻しは2つの部分対象の「共通部分」と思うことができる．

5. 性質
-----

終対象 T}} を持つ任意の圏において，引き戻し //X//   ×//T//   //Y//}} は単に通常の積 //X//   ×   //Y//}} であるAdámek．
単射は引き戻しで安定である，すなわち，上の射 f}} が単射であれば，射 //p//2}} も単射であり，同様に，g}} が単射ならば //p//1}} も単射である．
同型射も安定であり，したがって，例えば，任意の射 //Y//   →   //X//}}に対して //X//   ×//X//   //Y// ≅ //Y//}} である．
アーベル圏はすべての引き戻しが存在し，次の意味で核を保つ： を引き戻し図式とすると，誘導される射 ker   →   ker}} と ker   →   ker}} は同型である．したがってすべての引き戻し図式は次の形の可換図式を生じる，ただしすべての行と列は完全である：
自然な同型 ×//B// //D// ≅ //A//×//C////D//}} が存在する．明示的には，これが意味するのは：
射 //f//: //A// → //C//}}, //g//: //B// → //C//}}, //h//: //D// → //B//}} が与えられ，
f}} と g}} の引き戻しが //r//: //P// → //A//}} と //s//: //P// → //B//}} によって与えられ，
s}} と h}} の引き戻しが //t//: //Q// → //P//}} と //u//: //Q// → //D//}} によって与えられるならば，
f}} と gh}} の引き戻しは //rt//: //Q// → //A//}} と //u//: //Q// → //D//}} によって与えられる．図式的には，これが意味するのは，2つの引き戻し正方形を，1つの射を共有するように隣に並べると，真ん中の共有された射を無視して，大きい引き戻し正方形が得られる．

引き戻しと積を持つ任意の圏はイコライザを持つ．

6. 関連項目
-------

関係代数における等結合

7. 脚注
-----

8. 参考文献
-------

Adámek, Jiří, Herrlich, Horst, & Strecker, George E.; . [1] . Originally publ. John Wiley & Sons. 0-471-60922-6}}. .
Cohn, Paul M.; //Universal Algebra// , D.Reidel Publishing, Holland, 90-277-1213-1}} ////.
Takeshi, SAITO.; //Éléments de Mathématique// , University of Tokyo Press, 978-4-13-063904-0}}.

9. 外部リンク
--------

[2] which generates examples of pullbacks in the category of finite sets. Written by Jocelyn Paine.