Φカフェ数学デーで行われている「『ベーシック圏論』をゆるく読む会」、通称「ゆる圏↻」。前回は第1章のまとめとして「圏・関手・自然変換」について書きました。
corollary2525.hatenablog.com
今回は第2章の随伴です。Saunders Mac Lane の教科書 Categories for the Working Mathematicianには次の標語が載っています :
必要な知識とNotation
随伴の定義
\mathscr{A} \ar@<0.5ex>[r]^-F & \mathscr{B} \ar@<0.5ex>[l]^-G
}\end{equation*}を圏と関手とする.はの左随伴(left adjoint)である(と表す)
任意の,に対して
\begin{equation}
\mathscr{B}(F(A), B)\cong \mathscr{A}(A, G(B))\label{1}
\end{equation}が自然に成り立つ.
任意の,に対して同型射(どちらの向きもバーで表すことにする)\begin{equation*}
\xymatrix@C=25pt@R=2.8pt{
\mathscr{B}(F(A), B) \ar[r]^{\sim} & \mathscr{A}(A, G(B)) \\
g \ar@{(-}[u] \ar@{|->}[r] & \bar{g} \ar@{(-}[u]\\
\bar{f} & f \ar@{|->}[l]
}
\end{equation*}が存在し, 次の自然性の公理をみたす :
\begin{align*}
\overline{\left(F(A)\overset{g}{\longrightarrow}B\overset{q}{\longrightarrow}B'\right)}&=A\overset{\bar{g}}{\longrightarrow}G(B)\overset{G(q)}{\longrightarrow}G(B'),\\
\overline{\Big(A'\overset{p}{\longrightarrow}A\overset{f}{\longrightarrow}G(B)\Big)}&=F(A')\overset{F(p)}{\longrightarrow}F(A)\overset{\overline{f}}{\longrightarrow}B.
\end{align*}
大ざっぱにいうと、がの左随伴であるとは、射 を与えることと射 を与えることが本質的に同じであることを述べています。私はこれを納得するために、まずは記号操作からお近づきになろうと思いました。
\begin{equation*}
\mathscr{B}(F(A), B)\cong \mathscr{A}(A, G(B))
\end{equation*}というのは、この2つの射の集まりの間に同型(全単射と思ってOK)が存在することを言っていて、同型射とその逆射をどちらも同じ記号のバーで表している所に注意が必要です。そして、の射である
\begin{equation*}F(A)\overset{g}{\longrightarrow} B\end{equation*}にバーをつける操作をすると、はに変身し、右隣りのにくっついての射
\begin{equation*}A\overset{\overline{g}}{\longrightarrow}G(B)\end{equation*}になります。しつこいかもしれませんが、
\begin{equation*}\overline{\left(F(A)\overset{g}{\longrightarrow}B\right)}=A\overset{\overline{g}}{\longrightarrow}G(B)\end{equation*}ということです。逆向きも同様にしての射 にバーをつける操作をすると,の射 になります:
\begin{equation*}\overline{\Big(A\overset{f}{\longrightarrow}G(B)\Big)}=F(A)\overset{\overline{f}}{\longrightarrow}B.\end{equation*}この2つのバーをつける操作は互いに逆なので、バーを2回作用させると元に戻ります。つまり、任意の, に対して
\begin{equation*}\overset{=}{g}=g,\quad\overset{=}{f}=f\end{equation*}となります。
これだけではなく、「自然性の公理」という条件が課せられていますね。ここでいう自然性とは、「射の合成」「関手,」「転置」の操作が順番に依らずに等しくなることを言います。例えば
\begin{equation*}F(A)\overset{g}{\longrightarrow}B\overset{q}{\longrightarrow}B'\end{equation*}に何か作用させようと思ったら…
- 合成 をしてから転置したもの:
- の転置 をしてから を合成したもの:
の2つがあります。 と はどちらも 射 ですが、 であることを保証するのが自然性です。
随伴の例
自由忘却
多くの場合、忘却関手は左随伴をもちます。前回のブログでも登場しましたが、 を自由関手とし、 を忘却関手とします。このとき、次の随伴
\begin{equation*}\xymatrix@=14pt{
\mathbf{Vect}_k \ar@<5pt>[d]^-U \\
\mathbf{Set} \ar@<5pt>[u]^-F\ar@{}[u] |{\dashv}
}\end{equation*}があります。これを示すために1つ1つ丁寧に証明していきましょう。
まず最初に、任意の, に対して同型
\begin{equation*}\mathbf{Vect}_k(F(S),V)\cong\mathbf{Set}(S,U(V))\end{equation*}を見つけます。線形写像 に対して写像 を定義するために、各 に対して の取る値を決定させるのですが、
\begin{equation*}
\bar{g}(s):=g(1\cdot s)
\end{equation*}と定義しましょう。ただし、 を の元だと見なしていることを強調するために と表しました。これにて
\begin{equation*}
\xymatrix@C=25pt@R=2.8pt{
\mathbf{Vect}_k(F(S), V) \ar[r] & \mathbf{Set}(S, U(V)) \\
g \ar@{(-}[u] \ar@{|->}[r] & \bar{g} \ar@{(-}[u]
}
\end{equation*}が定義できました。次にこれが全単射であることを示すために逆向きの関数を見つけます。任意の写像 に対して線形写像 を定義します(同じ記号ですが、さっき定めたバーとは違うので注意!)。 の任意の元は形式的に(ただし は有限個を除いて) と表せるのでこれを に送ればいいのですが、
\begin{equation*}\overline{f}\left(\sum_{s\in S}\lambda_s s\right):=\sum_{s\in S}\lambda_s f(s)\end{equation*}と定義するのがよさそうです。
\begin{align*}
\overline{f}\left(a\sum_{s\in S}\lambda_s s+b\sum_{s\in S}\mu_s s\right)&=\overline{f}\left(\sum_{s\in S}(a\lambda_s+b\mu_s) s\right)\\
&=\sum_{s\in S}(a\lambda_s+b\mu_s) f(s)\\
&=a\sum_{s\in S}\lambda_s f(s)+b\sum_{s\in S}\mu_s f(s)\\
&=a\overline{f}\left(\sum_{s\in S}\lambda_s s\right) + b\overline{f}\left(\sum_{s\in S}\mu_s s\right)\\
\end{align*}
\begin{equation*}
\xymatrix@C=25pt@R=2.8pt{
\mathbf{Set}(S, U(V)) \ar[r] & \mathbf{Vect}_k(F(S), V) \\
f \ar@{(-}[u] \ar@{|->}[r] & \overline{f} \ar@{(-}[u]
}
\end{equation*}が定義できました。
これらの2つの関数「バー」が互いに逆になっていることを確認します。同じ記号で表しているので、どっちのバーなのかに注意していきましょう。任意の線形写像 に対して
\begin{align*}
\overset{=}{g}\left(\sum_{s\in S}\lambda_s s\right) &=\sum_{s\in S}\lambda_s \bar{g}(s) &&(\text{後のバー})\\
&=\sum_{s\in S}\lambda_s g(1\cdot s) &&(\text{前のバー})\\
&=g\left(\sum_{s\in S}\lambda_s s\right) &&(g\text{の線形性})
\end{align*}
\begin{align*}
\overset{=}{f}(s) &=\overline{f}(1\cdot s) &&(\text{前のバー})\\
&=1\cdot f(s) &&(\text{後のバー})\\
&=f(s) &&(\text{計算})
\end{align*}であるから が示せました。以上より
\begin{equation*}\mathbf{Vect}_k(F(S),V)\cong\mathbf{Set}(S,U(V))\end{equation*}が証明できました。
\begin{equation*}\overline{\left(F(S)\overset{g}{\longrightarrow}V\overset{q}{\longrightarrow}V'\right)}=S\overset{\bar{g}}{\longrightarrow}U(V)\overset{U(q)}{\longrightarrow}U(V')\end{equation*}
です。任意の線形写像 に対して\begin{align*}
\overline{(q\circ g)}(s) &=(q\circ g)(1\cdot s) &&(\text{前のバー})\\
&=q(g(1\cdot s)) &&(\text{合成})\\
&=q(\bar{g}(s)) &&(\text{前のバー})\\
&=U(q)(\bar{g}(s)) &&(U(q)\text{の定義})\\
&=(U(q)\circ\bar{g})(s) &&(\text{合成})
\end{align*}
\begin{equation*}\overline{\left(S'\overset{p}{\longrightarrow}S\overset{f}{\longrightarrow}U(V)\right)}=F(S')\overset{F(p)}{\longrightarrow}F(S)\overset{\overline{f}}{\longrightarrow}V\end{equation*}
です。任意の写像 に対して\begin{align*}
\overline{(f\circ p)}\left(\sum_{s'\in S'}\lambda_{s'} s'\right) &=\sum_{s'\in S'}\lambda_{s'} (f\circ p)(s') &&(\text{後のバー})\\
&=\sum_{s'\in S'}\lambda_{s'} f(p(s')) &&(\text{合成})\\
&=\overline{f}\left(\sum_{s'\in S'}\lambda_{s'} p(s')\right) &&(\text{後のバー})\\
&=\overline{f}\left(F(p)\left(\sum_{s'\in S'}\lambda_{s'} s'\right)\right) &&(F(p)\text{の定義})\\
&=(\overline{f}\circ F(p))\left(\sum_{s'\in S'}\lambda_{s'} s'\right) &&(\text{合成})
\end{align*}
これにて無事に であることが証明できました。■
息抜きにここで一句。
(息抜き終了)
他にも を自由群関手とすると随伴
\begin{equation*}\xymatrix@=14pt{
\mathbf{G r p} \ar@<5pt>[d]^-U \\
\mathbf{Set} \ar@<5pt>[u]^-F\ar@{}[u] |{\dashv}
}\end{equation*}があります。自由群の明示的構成は面倒です。しかし、自由群を忘却関手の左随伴と考えることで、面倒な自由群の明示的構成から解放されます。というのも実は、関手が左随伴をもつとすれば自然同型を除いて一意的であることが(ベーシック圏論の4章で)証明されるからです。また、多くの忘却関手が左随伴をもつことを保証する定理(一般随伴関手定理)は6章で証明します。もちろん、私はまだ何も知りません笑
これも紹介だけにとどめますが、次の随伴があります :
\begin{equation*}\xymatrix@=14pt{
\mathbf{Ab} \ar@<5pt>[d]^-U \\
\mathbf{G r p}. \ar@<5pt>[u]^-F\ar@{}[u] |{\dashv}
}\end{equation*}ただし、 は群 のアーベル化によって定まる関手で、 は包含関手(忘却関手の仲間)を表します。詳しくは『ベーシック圏論』を買って読んでね!
まだ忘却関手の左随伴しか登場していませんが、
離散忘却密着
は忘却関手とし,各に対して,,はそれぞれの離散位相,密着位相を導入します。このとき,は関手になり,次のような随伴があります: \begin{equation*}
\xymatrix{
\mathbf{Top} \ar[d] |U \ar@{}[d]<1.7ex> |{\dashv} \ar@{}[d]<-1.7ex> |{\dashv}\\
\mathbf{Set}. \ar@<3.4ex>[u]^-D \ar@<-3.4ex>[u]_-I
}\end{equation*} を示すためには,まず任意の,に対して
\begin{equation*}\mathbf{Top}(D(S), X)\cong \mathbf{Set}(S, U(X))\end{equation*}が言えればよいですが,連続写像 に対して はただの関数とみなします。つまり,
\begin{equation*}\bar{g}:=g\in\mathbf{Set}(S, U(X))\end{equation*}と定義します*3。についてはに離散位相を導入すればは連続になるから
\begin{equation*}\overline{f}:=f\in\mathbf{Top}(D(S), X)\end{equation*}と定義できます。このとき、,に対して
\begin{equation*}\overset{=}{g}=g,\quad\overset{=}{f}=f\end{equation*}となることは本当に明らか(バーを1つずつ消していくだけ)なので,バーをとる操作が互いに逆,つまり
\begin{equation*}\mathbf{Top}(D(S), X)\cong \mathbf{Set}(S, U(X))\end{equation*}が示せました。
次に,自然性の公理が成り立つかどうかのチェックです。1つ目の式
\begin{equation*}\overline{\left(D(S)\overset{g}{\longrightarrow}X\overset{q}{\longrightarrow}X'\right)}=S\overset{\bar{g}}{\longrightarrow}U(X)\overset{U(q)}{\longrightarrow}U(X')\end{equation*}
が成り立つかどうかのチェックをしましょう。これは任意のに対して\begin{align*}
\overline{(q\circ g)}(s)&=(q\circ g)(s)&&(\text{バーの定義}),\\
(U(q)\circ\bar{g})(s)&=(q\circ g)(s)&&(Uと\text{バーの定義})
\end{align*}
ゆる圏↻ ではこの証明を聞いて、
「証明した気が全くしないw」
「なんだこの証明しがいのなさはw」
「まるでやバーが溶けていく」
のような声が上がりました。
もう一つの式
\begin{equation*}\overline{\left(S'\overset{p}{\longrightarrow}S\overset{f}{\longrightarrow}U(X)\right)}=D(S')\overset{D(p)}{\longrightarrow}D(S)\overset{\overline{f}}{\longrightarrow}X\end{equation*}
の方も確認しましたが、書いている途中であまりにも自明すぎてクスクスと笑ってしまう事態になってしまいました(念のため書いておくとは連続ですが、取る値はと同じなのでです)。以上よりが示せました。についても同様に
\begin{equation*}\mathbf{Set}(U(X), S)\cong \mathbf{Top}(X, I(S))\end{equation*}が自然に成り立ちます。これは任意の,に対して が連続であることだけ注意すれば大丈夫です。■
ちなみに、忘却関手が何かの左随伴になる例は少ないらしいです。へぇ~。
まとめ
次回は2章の続き「単位・余単位からみた随伴」「コンマ圏の始対象からみた随伴」についてです。この辺で私はようやく
thank Q for rEaDing.φ(・▽・ )