引き戻し (圏論)のソースを表示

{{for|その他|引き戻し (曖昧さ回避)}}
[[圏論]]という[[数学]]の分野において，'''引き戻し'''（ひきもどし，{{lang-en-short|pullback}}），あるいは'''ファイバー積''' (fiber/fibre/fibered product)，'''デカルトの四角形''' (Cartesian square) とは，共通の終域を持つ2つの[[射 (圏論)|射]] {{math|''f'': ''X'' → ''Z''}}, {{math|''g'': ''Y'' → ''Z''}} からなる[[図式 (圏論)|図式]]の[[極限 (圏論)|極限]]である．引き戻しはしばしば
:{{math|''P'' {{=}} ''X'' ×<sub>''Z''</sub> ''Y''}}
と書かれ，2つの自然な射 {{math|''P'' → ''X''}}, {{math|''P'' → ''Y''}} を備えている．2つの射の引き戻しが存在するとは限らないが，存在すれば2つの射から本質的に一意に定義される．多くの状況において，{{math|''X'' ×<sub>''Z''</sub> ''Y''}} は，元 {{math|''x'' &isin; ''X''}} と {{math|''y'' &isin; ''Y''}} の対 {{math|(''x'', ''y'')}} であって {{math|1=''f''(''x'') = ''g''(''y'')}} なるものからなるものと直観的に考えることができる．一般の定義には[[普遍性]]が用いられ，このことを本質的な理由として，引き戻しは2つの与えられた射を[[可換図式|可換四角形]]に適合させる「最も一般の」方法である．

引き戻しの[[双対 (圏論)|双対概念]]は'''{{ill2|押し出し (圏論)|label=押し出し|en|pushout (category theory)}}''' (pushout) である．

==普遍性==
明示的には，2つの射 {{mvar|f}}, {{mvar|g}} の引き戻しは，対象 {{mvar|P}} と2つの射 {{math|''p''<sub>1</sub>: ''P'' → ''X''}} と {{math|''p''<sub>2</sub>: ''P'' → ''Y''}} であって次の図式が[[可換図式|可換]]となるものからなる：

:[[Image:Categorical pullback.svg|125px|引き戻しの可換図式]]

さらに，引き戻し {{math|(''P'', ''p''<sub>1</sub>, ''p''<sub>2</sub>)}} はこの図式について[[普遍性|普遍的]]でなければならない，つまり，別のそのような3つ組 {{math|(''Q'', ''q''<sub>1</sub>, ''q''<sub>2</sub>)}} であって次の図式が可換であるような任意のものに対して，一意的な {{math|''u'':&nbsp;''Q''&nbsp;→&nbsp;''P''}}（仲介射 (mediating morphism) と呼ばれる）が存在して
:<math>p_2 \circ u=q_2, \qquad p_1\circ u=q_1</math>
とならなければならない．
:[[Image:Categorical pullback (expanded).svg|225px]]

すべての普遍的な構成がそうであるように，引き戻しは，存在すれば，[[同型]]を除いて一意である．実際，同じ {{ill2|cospan|en|cospan}} {{math|''X''&nbsp;→&nbsp;''Z''&nbsp;←&nbsp;''Y''}} の2つの引き戻し {{math|(''A'', ''a''<sub>1</sub>, ''a''<sub>2</sub>)}} と {{math|(''B'', ''b''<sub>1</sub>, ''b''<sub>2</sub>)}} が与えられると，{{mvar|A}} と {{mvar|B}} の間の引き戻し構造を尊重した一意的な同型が存在する．

== 弱い引き戻し ==
余スパン{{math|''X'' → ''Z'' ← ''Y''}} の'''弱引き戻し''' (''weak pullback'') は「弱い普遍性」しか持たない（つまり、上記の仲介射 {{math|''u'': ''Q'' → ''P''}} が一意であることを要求しない）ような余スパン上の錐を言う。<ref>{{nlab|id=weak+limit#weak_pullbacks|title=weak limit}} 2. weak pullbacks</ref>

==引き戻しと積==
引き戻しは[[積 (圏論)|積]]と似ているが，同じではない．射 {{mvar|f}}, {{mvar|g}} と対象 {{mvar|Z}} の存在を「忘れる」ことによって積が得られる．このとき2つの対象 {{mvar|X}}, {{mvar|Y}} のみを持ちそれらの間に何の射もない[[離散圏]]が残るが，この離散圏は通常の二項積を構成するための添字集合として用いることができる．したがって，引き戻しは付加構造を持った通常の（デカルト）積と考えることができる．{{mvar|Z}}, {{mvar|f}}, {{mvar|g}} を「忘れる」代わりに，それらを「自明化」することも {{mvar|Z}} を[[終対象]]（存在は仮定する）に特殊化すれば可能で（この場合 {{mvar|f}} と {{mvar|g}} は一意に決まって，しかも何の情報も与えない），この cospan の引き戻しは {{mvar|X}} と {{mvar|Y}} の積と見ることができる．

==例==
===可換環===
[[Image:Pullback_commutative_rings.svg|thumbnail|可換環の圏は引き戻しを持つ．]]
（単位元を持つ）[[可換環の圏]] {{mathbf|CRing}} において，引き戻しはファイバー積と呼ばれる．

:{{math|''A'', ''B'', ''C'' ∈ Ob('''CRing''')}}, 
:{{math|''α'' : ''A'' → ''C'' ∈ Hom('''CRing''')}},
:{{math|''β'' : ''B'' → ''C'' ∈ Hom('''CRing''')}}

とする．したがって {{mvar|A}}, {{mvar|B}}, {{mvar|C}} は単位元を持つ可換環であり，{{mvar|α}}, {{mvar|β}} は単位元を保つ環準同型である．するとこの図式の引き戻しはデカルト積 {{math|''A'' × ''B''}} の部分環

:<math>A \times_{C} B = \{(a,b) \in A \times B \mid \alpha(a) = \beta(b)\}</math>

と次で定義される射

:<math> \beta' \colon A \times_{C} B \to A, \qquad \alpha'\colon A \times_{C} B \to B </math> 

の組である：すべての <math>(a, b) \in A \times_C B</math> に対して <math>\beta'(a, b) = a</math> および <math>\alpha'(a, b) = b.</math> このとき

:<math>\alpha \circ \beta' = \beta \circ \alpha'</math>

である．

===集合===
[[集合の圏]]において，{{mvar|f}} と {{mvar|g}} の引き戻しは集合

:<math>X\times_Z Y = \{(x, y) \in X \times Y\mid f(x) = g(y)\}</math>

と[[射影 (集合論)|射影]] {{math|''π''<sub>1</sub>}}, {{math|''π''<sub>2</sub>}} の {{math|''X''&nbsp;×<sub>''Z''</sub>&nbsp;''Y''}} への制限の組である．

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

:<math>X\times_Z Y  \cong \coprod_{x\in X} g^{-1}[\{f(x)\}] \cong \coprod_{y\in Y} f^{-1}[\{g(y)\}]</math>

と見ることもできる．ここで <math display="inline">\coprod</math> は[[非交和]]を表す（現れる各集合は、それぞれ {{mvar|f}} または {{mvar|g}} が単射でない限り交わりを持つことに注意）。前者の式の場合、射影 {{math|''π''<sub>1</sub>}} は {{mvar|x}} を添字として取り出すこと、それと同時に {{math|''π''<sub>2</sub>}} は添字であることを忘れて単に {{mvar|Y}} の元とみるものになっている。

この例は引き戻しを特徴づける別の方法を動機付ける，すなわち射 {{math|''f'' ∘ ''p''<sub>1</sub>, ''g'' ∘ ''p''<sub>2</sub>: ''X'' × ''Y'' → ''Z''}} の[[イコライザ (数学)|イコライザ]]である，ただし {{math|''X''&nbsp;×&nbsp;''Y''}} は {{mvar|X}} と {{mvar|Y}} の[[積 (圏論)|二項積]]で，{{math|''p''<sub>1</sub>}} と {{math|''p''<sub>2</sub>}} は自然な射影である．これは二項積とイコライザを持つ任意の圏において引き戻しが存在することを示す．実は，{{仮リンク|極限の存在定理|en|existence theorem for limits}}によって，終対象，二項積，イコライザを持つ圏において，すべての有限極限が存在する．

===ファイバー束===
引き戻しの別の例は[[ファイバー束]]の理論から来る．束写像 {{math|''π'': ''E'' → ''B''}} と[[連続写像]] {{math|''f'':&nbsp;''X''&nbsp;→&nbsp;''B''}} が与えられると，[[位相空間の圏]]における引き戻し {{math|''X''&nbsp;×<sub>''B''</sub>&nbsp;''E''}} は{{仮リンク|引き戻し束|en|pullback bundle}}と呼ばれる {{mvar|X}} 上のファイバー束である．付随する可換図式はファイバー束の射である．

=== 逆像と共通部分 ===
写像による集合の[[逆像]]は以下のように引き戻しとして記述できる．

{{math|''f'': ''A'' → ''B''}}, {{math|''B''<sub>0</sub> ⊆ ''B''}} とする．{{mvar|g}} を包含写像 {{math|''B''<sub>0</sub> ↪ ''B''}} とする．このとき，（{{mathbf|Set}} における）{{mvar|f}} と {{mvar|g}} の引き戻しは，原像 {{math|''f''<sup>−1</sup>[''B''<sub>0</sub>]}} と原像の {{mvar|A}} への包含

:{{math|''f''<sup>−1</sup>[''B''<sub>0</sub>] ↪ ''A''}}

と {{mvar|f}} の {{math|''f''<sup>−1</sup>[''B''<sub>0</sub>]}} への制限

:{{math|''f''<sup>−1</sup>[''B''<sub>0</sub>] → ''B''<sub>0</sub>}}

によって与えられる．

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

==性質==

*[[終対象]] {{mvar|T}} を持つ任意の圏において，引き戻し {{math|''X''&nbsp;×<sub>''T''</sub>&nbsp;''Y''}} は単に通常の[[積 (圏論)|積]] {{math|''X''&nbsp;×&nbsp;''Y''}} である{{sfn|Adámek|p=197}}．
*[[単射 (圏論)|単射]]は引き戻しで安定である，すなわち，上の射 {{mvar|f}} が単射であれば，射 {{math|''p''<sub>2</sub>}} も単射であり，同様に，{{mvar|g}} が単射ならば {{math|''p''<sub>1</sub>}} も単射である．
*[[同型射]]も安定であり，したがって，例えば，任意の射 {{math|''Y''&nbsp;→&nbsp;''X''}}（射 {{math|''X''&nbsp;→&nbsp;''X''}} は恒等射）に対して {{math|''X''&nbsp;×<sub>''X''</sub>&nbsp;''Y'' ≅ ''Y''}} である．
*[[アーベル圏]]はすべての引き戻しが存在し，次の意味で[[核 (圏論)|核]]を保つ： [[Image:Categorical pullback.svg|center|125px|引き戻し図式]] を引き戻し図式とすると，誘導される射 {{math|ker(''p''<sub>2</sub>)&nbsp;→&nbsp;ker(''f'')}} と {{math|ker(''p''<sub>1</sub>)&nbsp;→&nbsp;ker(''g'')}} は同型である．したがってすべての引き戻し図式は次の形の可換図式を生じる，ただしすべての行と列は[[完全列|完全]]である：<math display="block">
\begin{array}{ccccccc} 
&&&&0&&0\\
&&&&\downarrow&&\downarrow\\
&&&&L&=&L\\
&&&&\downarrow&&\downarrow\\
0&\to&K&\to&P&\to&Y \\
&&\parallel&&\downarrow&  & \downarrow\\
0&\to&K&\to&X&\to&Z.
\end{array}
</math>

*自然な同型 {{math|(''A''×<sub>''C''</sub>''B'')×<sub>''B''</sub> ''D'' &cong; ''A''×<sub>''C''</sub>''D''}} が存在する．明示的には，これが意味するのは：
** 射 {{math|''f'': ''A'' &rarr; ''C''}}, {{math|''g'': ''B'' &rarr; ''C''}}, {{math|''h'': ''D'' &rarr; ''B''}} が与えられ，
** {{mvar|f}} と {{mvar|g}} の引き戻しが {{math|''r'': ''P'' &rarr; ''A''}} と {{math|''s'': ''P'' &rarr; ''B''}} によって与えられ，
** {{mvar|s}} と {{mvar|h}} の引き戻しが {{math|''t'': ''Q'' &rarr; ''P''}} と {{math|''u'': ''Q'' &rarr; ''D''}} によって与えられるならば，
** {{mvar|f}} と {{mvar|gh}} の引き戻しは {{math|''rt'': ''Q'' &rarr; ''A''}} と {{math|''u'': ''Q'' &rarr; ''D''}} によって与えられる．
:図式的には，これが意味するのは，2つの引き戻し正方形を，1つの射を共有するように隣に並べると，真ん中の共有された射を無視して，大きい引き戻し正方形が得られる．
<math display="block">
\begin{array}{ccccc} 
Q&\xrightarrow{t}&P& \xrightarrow{r} & A \\
\downarrow_{u} &  & \downarrow_{s} & &\downarrow_{f}\\
D & \xrightarrow{h} & B &\xrightarrow{g} & C
\end{array}
</math>

*引き戻しと積を持つ任意の圏は[[イコライザ (圏論)|イコライザ]]を持つ．

==関連項目==
*{{ill2|引き戻し (微分幾何学)|en|Pullback (differential geometry)|label=微分幾何学における引き戻し}}
*[[関係代数 (関係モデル)|関係代数]]における[[関係代数_(関係モデル)#等結合|等結合]]

==脚注==
{{reflist}}

==参考文献==
{{参照方法|date=2017年9月|section=1}}
*Adámek, Jiří, Herrlich, Horst, & Strecker, George E.; (1990). [http://katmat.math.uni-bremen.de/acc/acc.pdf ''Abstract and Concrete Categories''] (4.2MB PDF). Originally publ. John Wiley & Sons. {{ISBN2|0-471-60922-6}}. (now free on-line edition).
*Cohn, Paul M.; ''Universal Algebra'' (1981), D.Reidel Publishing, Holland, {{ISBN2|90-277-1213-1}} ''(Originally published in 1965, by Harper & Row)''.
*Takeshi, SAITO.; ''Éléments de Mathématique'' (2020), University of Tokyo Press, {{ISBN2|978-4-13-063904-0}}.

==外部リンク==
*[http://www.j-paine.org/cgi-bin/webcats/webcats.php Interactive web page] which generates examples of pullbacks in the category of finite sets. Written by Jocelyn Paine.
* {{nlab|id=pullback|title= pullbacks}}

{{圏論}}

{{DEFAULTSORT:ひきもとし (けんろん)}}
[[Category:極限 (圏論)]]
[[Category:数学に関する記事]]