3

【ストリング図で学ぶ圏論 #2】関手と自然変換

655
0
$$\newcommand{b}[0]{\bullet} \newcommand{bM}[0]{\mathbf{M}} \newcommand{braket}[1]{\langle#1\rangle} \newcommand{bV}[0]{\mathbf{V}} \newcommand{bW}[0]{\mathbf{W}} \newcommand{c}[0]{\circ} \newcommand{Cat}[0]{\mathbf{Cat}} \newcommand{cC}[0]{\mathcal{C}} \newcommand{cD}[0]{\mathcal{D}} \newcommand{cE}[0]{\mathcal{E}} \newcommand{cF}[0]{\mathcal{F}} \newcommand{cM}[0]{\mathcal{M}} \newcommand{CMon}[0]{\mathbf{CMon}} \newcommand{cN}[0]{\mathcal{N}} \newcommand{cod}[0]{\mathrm{cod}} \newcommand{Complex}[0]{\mathbb{C}} \newcommand{cOne}[0]{\mathbf{1}} \newcommand{cX}[0]{\mathcal{X}} \newcommand{dom}[0]{\mathrm{dom}} \newcommand{Endash}[0]{\textendash} \newcommand{FinVecK}[0]{\mathbf{FinVec}_\mathbb{K}} \newcommand{K}[0]{\mathbb{K}} \newcommand{MatR}[0]{\mathbf{Mat}_\mathbb{R}} \newcommand{Mon}[0]{\mathbf{Mon}} \newcommand{mor}[0]{\mathop{\mathrm{mor}}} \newcommand{Natural}[0]{\mathbb{N}} \newcommand{nto}[0]{\Rightarrow} \newcommand{ob}[0]{\mathop{\mathrm{ob}}} \newcommand{ot}[0]{\otimes} \newcommand{Real}[0]{\mathbb{R}} \newcommand{Set}[0]{\mathbf{Set}} \newcommand{V}[0]{\mathbf{V}} \newcommand{VecK}[0]{\mathbf{Vec}_\mathbb{K}} \newcommand{W}[0]{\mathbf{W}} \newcommand{X}[0]{\mathbf{X}} $$

はじめに

前回の記事 では,圏の定義といくつかの例を紹介しました。今回は,関手と自然変換について説明します。ストリング図を用いると,関手や自然変換を素直な形で表せます。

本連載の目次

#1: 圏の定義と具体例
#2: 関手と自然変換(この記事)
#3: 垂直合成と水平合成
#4: モノイダル圏
#5: モナドとは自己関手の圏におけるモノイド対象のこと

関手

関手の定義

まず,関手の定義を示します。すぐ後で紹介する関手の図式を理解すると,イメージをつかみやすいと思います。

関手

$\cC$から圏$\cD$への関手$F$とは,$\cC$の各対象$a$$\cD$のある対象($Fa$と書く)に写すような写像($F$対象への作用とよぶ)と,$\cC$の各射$f$$\cD$のある射($Ff$と書く)に写すような写像($F$射への作用とよぶ)から成り,次の条件をすべて満たすものである。

(F1) $\cC$の各射$f \in \cC(a,b)$$a$$b$は任意)について,$Ff \in \cD(Fa,Fb)$である。つまり,$Ff$のドメインは$Fa$$f$のドメイン$a$$F$で写したもの)に等しく,$Ff$のコドメインは$Fb$$f$のコドメイン$b$$F$で写したもの)に等しい。
(F2) 合成の保存$\cC$の合成可能な任意の射$f,g$について$F(gf) = (Fg)(Ff)$を満たす。
(F3) 恒等射の保存$\cC$の各恒等射を$F$で写した射は恒等射である。

$\cC$から$\cD$への関手$F$$F \colon \cC \to \cD$(または$F \in \cD^\cC$)と書きます。また,$\cC$から$\cC$への関手を$\cC$上の関手とよびます。

関手の図式

図式では,関手$F \colon \cC \to \cD$を次のような線で表すことにします。

関手!FORMULA[42][36802][0] 関手$F$

補足:
各関手$F \colon \cC \to \cD$には圏$\cC$と圏$\cD$の2個の情報が付随しており,この図式にはこれらの情報が含まれています。

対象$a \in \cC$$F$で写して得られる対象$Fa$を次のように表します。

対象!FORMULA[49][1142789][0] 対象$Fa$ $$\tag{1}\label{eq:Fa}$$

この左辺は対象$a$を関手$F$で写した結果を表しており,右辺は対象$Fa$を表しています(関手の定義よりこれらは同じです)。直観的には,左辺のように並列に並んだ2本の線$F$$a$を横方向に移動させて重ねると,右辺のように1本の線$Fa$になると解釈できます。$Fa$$\cD$の対象であることは,右辺にある線$Fa$の左側の領域が$\cD$になっていることから読み取れます。

また,射$f \in \cC(a,b)$$F$で写して得られる射$Ff$を次式のように表します。

射!FORMULA[64][1142944][0] $Ff$ $$\tag{2}\label{eq:Ff}$$

対象の場合と同様に,左辺は対象$f$を関手$F$で写した結果を表しており,右辺は射$Ff$を表しています(やはり,これらは同じです)。直観的には,左辺のように並列に並んだ線$F$とブロック$f$を横方向に移動させて重ねると右辺のようにブロック$Ff$になると解釈できます。この際,

式\eqref{eq:Ff}に補助線を描いたもの 式\eqref{eq:Ff}に補助線を描いたもの

の補助線で囲まれた箇所のように,ブロック$f$の下側にある線$a$は線$F$と重なって1本の線$Fa$になると解釈できます。線$b$についても同様です。

これらの図式が表しているように,対象や射と関手との合成は「横方向の合成」とみなせます。このことは,射の合成が「縦方向の合成」とみなせたことと対照的です。

上で導入した図式を用いて,条件(F1)~(F3)がどのように表されるかを説明します。

条件(F1)

条件(F1)では,関手$F$により$f$のドメイン$a$$Fa$に写り,$f$のコドメイン$b$$Fb$に写ることを主張しています。図式では

再掲:式\eqref{eq:Ff}に補助線を描いたもの 再掲:式\eqref{eq:Ff}に補助線を描いたもの

の補助線で囲まれた箇所が$a$$Fa$に写すことを主張しています。$b$$Fb$に写すことも同様です。

条件(F2)

条件(F2)の合成の保存$F(gf) = (Fg)(Ff)$は,次式にように表せます。

条件(F2):合成の保存 条件(F2):合成の保存

ここで,補助線は「先に演算する」ことを表していると思ってください。左辺が$F(gf)$を表しており,右辺が$(Fg)(Ff)$を表しています。条件(F2)より左辺と右辺は等しいため,この図式から補助線を削除しても問題ありません。

条件(F3)

条件(F3)の恒等射の保存は,「$\cC$の各恒等射$1_a$$\cD$の恒等射$1_{Fa}$に写す」と言い換えられます(条件(F1)より,$F1_a$のドメインとコドメインは$Fa$でなければならないためです)。この条件は,式\eqref{eq:Fa}の図式

対象!FORMULA[97][1142789][0](を恒等射!FORMULA[98][1078802423][0]とみなしたもの) 対象$Fa$(を恒等射$1_Fa$とみなしたもの) $$\tag{1}$$

において線$a$および線$Fa$をそれぞれ恒等射$1_a$および$1_{Fa}$のことだとみなしても問題ないことを意味しています。実際,図式では各対象$a$と恒等射$1_a$を区別できないため,もしこの条件が成り立たなければ式\eqref{eq:Fa}のように表すと都合が悪いことがわかるでしょう。このように,式\eqref{eq:Fa}のように表しても不都合が生じないことを保証しているのが条件(F3)であるといえます。

条件(F3)は,次の図式で表すこともできます。

条件(F3)の恒等射の保存(式\eqref{eq:Fa}の別表記) 条件(F3)の恒等射の保存(式\eqref{eq:Fa}の別表記)

左辺および右辺における補助線で囲まれた箇所は,どちらも恒等射を表しています(それぞれ$1_a$および$1_{Fa}$です)。この等号が成り立ちますので,この図式から補助線を削除しても問題ありません。

これまでに述べたことを図式の観点で大雑把に捉えると,関手$F$の定義とは,線$F$を上の図式のように表したときに$F$が満たしていると望ましいと思われる条件を与えたものにほかならないといえそうです。

関手は射への作用のみから一意に定まる

関手$F \colon \cC \to \cD$が与えられたとき,$F$はその射への作用のみから一意に定まります。このことは,$\cC$の各対象が恒等射と同一視できることと条件(F1)から容易にわかると思います。

補足1:
具体的には,$F$の射への作用が与えられたとき,$F$の対象への作用は写像$\ob \cC \ni a \mapsto \dom(F1_a) \in \ob \cD$と一意に定まります。

補足2:
関手$F$をその射の作用のみから定まるものとして定義しても本質的には同じです。この場合,条件(F1)は定義から削除できます。また,このように定義した場合でも$F$の対象への作用が上の補足1で述べた写像として素直に定められ,条件(F1)が自動的に満たされます。

関手の例

関手の例をいくつか挙げます。これらの例のうち,わからないものがあれば無視しても構いません(後で述べる自然変換の例も同様です)。

写像

前回の記事 で述べたように,任意の集合$X$は離散圏(つまり恒等射のみをもつ圏)とみなせます。$X$の各要素$x$が対象$x$(および恒等射$1_x$)と同一視されるのでした。このようにみなしたとき,以下が成り立ちます。

集合$X,Y$とそれらを離散圏とみなしたものを考える(離散圏も同じ記号$X,Y$で表す)。集合$X$から集合$Y$への任意の写像は,離散圏$X$から離散圏$Y$への関手である。逆に,離散圏$X$から離散圏$Y$への任意の関手は,集合$X$から集合$Y$への写像である。

集合の射は恒等射のみであるため,明らか(クリックで詳細)。

まず,$X$から$Y$への任意の写像$F$$X$から$Y$への関手である,つまり条件(F1)~(F3)を満たすことを示す。条件(F1)と条件(F3)を満たすことは明らか。また,条件(F2)は「$F(1_x) \c F(1_x) = F(1_x \c 1_x)$ $~(\forall x \in X)$」と等価であるが,左辺は$F(1_x)$に等しく($F(1_x)$ は恒等射であるため),右辺も$F(1_x)$に等しい。したがって,条件(F2)を満たす。

次に,$X$から$Y$への任意の関手$F$$X$から$Y$への写像であることを示す。$F$の射への作用は,「$X$の各恒等射(つまり$X$の各要素)を$Y$のある恒等射(つまり$Y$の要素)に写すような写像」,つまり$X$から$Y$への写像である。なお,$F$の対象への作用を考えても同様である。

モノイド準同型

前回の記事 では,1個の対象から成る圏$\cM$をモノイドとよび,$\cM$の射の集合$\bM$もモノイドとよびました($\cM$$\bM$は実質的に同一視できるのでした)。

モノイド$\bM$からモノイド$\bM'$へのモノイド準同型とよばれる写像を定義しておきます。

モノイド準同型

モノイド$\bM$からモノイド$\bM'$への写像$f$のうち,次の二つの条件を満たすものをモノイド準同型とよぶ。

  1. 積の保存:任意の$a,b \in \bM$に対して,「$a$$b$の積に対して$f$を施したもの」は「$a$$b$のそれぞれに$f$を施してから積をとったもの」に等しい,つまり
    $$ f(a \c b) = f(a) \c' f(b) $$
    が成り立つ(ただし,$\c$および$\c'$はそれぞれ$\bM$および$\bM'$における積)。

  2. 単位元の保存:$\bM$の単位元を$\bM'$の単位元に写す。

以下が成り立ちます。

2個のモノイド$\bM,\bM'$とそれらに対応する圏$\cM,\cM'$を考える。$\bM$から$\bM'$への任意のモノイド準同型は$\cM$から$\cM'$への関手であり,逆に$\cM$から$\cM'$への任意の関手は$\bM$から$\bM'$へのモノイド準同型である。

$\cM$から$\cM'$への関手を考えたとき,条件(F1)を満たすことは明らか($\cM$$\cM'$はともに対象を一つのみもつため)。条件(F2)の合成の保存は積の保存そのものであり,条件(F3)の恒等射の保存は単位元の保存そのものである。

恒等関手

対象への作用と射への作用がともに恒等写像であるような$\cC$上の関手を,恒等関手とよび$1_\cC$と書きます。この関手は,$\cC$の各対象$c$$c$自身に写し,$\cC$の各射$f$$f$自身に写します。

ベクトル空間の基底の変換

各ベクトル空間$\V$に対して$\V$上の可逆な線形写像$\phi_\V$を一つずつ選んだとき,次のような関手$\Phi \colon \VecK \to \VecK$が考えられます。

  • $\VecK$の各対象(つまりベクトル空間)$\V$$\V$自身に写す。
  • $\VecK$の各射(つまり線形写像)$f \colon \V \to \W$を射(つまり線形写像)$\phi_\W \c f \c \phi_\V^{-1} \colon \V \to \W$に写す。

$\Phi f = \phi_\W \c f \c \phi_\V^{-1}$は,次の図式で表されます。

!FORMULA[214][1562251495][0] $\Phi f = \phi_\W \c f \c \phi_\V^{-1}$

ある観点では,この関手は各$\V$について$\V$の基底$\{ v_i \}_i$を基底$\{ \phi_\V(v_i) \}_i$に変えるような働きをすると解釈できます。

補足:
$\Phi$が合成を保存することは,$\VecK$の2本の任意の射$f \colon \V \to \W, ~g \colon \W \to \X$について$\Phi(gf) = \phi_\X \c (g \c f) \c \phi_\V^{-1} = (\phi_\X \c g \c \phi_\W^{-1}) \c (\phi_\W \c f \c \phi_\V^{-1}) = (\Phi g)(\Phi f)$が成り立つことからわかります。また,$\Phi$が恒等射を保存することは,$\Phi(1_\V) = \phi_\V \c 1_\V \c \phi_\V^{-1} = \phi_\V \c \phi_\V^{-1} = 1_\V$が成り立つことからわかります。

任意の対象は関手とみなせる

1個の対象($*$とおきます)のみをもつ離散圏を$\cOne$と書きます。この圏$\cOne$の射は$1_*$のみですので,$\cOne$から任意の圏$\cC$への任意の関手$F$$F 1_* = 1_{F*}$のみにより定まります。このため,関手$F \colon \cOne \to \cC$$\cC$の対象$c \coloneqq F*$と同一視できます。逆に,任意に選んだ$\cC$の対象$c$に対して,写像$\mor \cOne \ni 1_* \mapsto 1_c \in \mor \cC$を射への作用とするような関手$F \colon \cOne \to \cC$が一意に定まります。このようにして,任意の圏$\cC$の任意の対象$c$$\cOne$から$\cC$への関手$F$と同一視できます。この連載では,しばしば対象を関手とみなします。

自然変換

自然変換の定義

自然変換の定義を示します。関手の場合と同様に,すぐ後で紹介する自然変換の図式を理解するとイメージしやすいと思います。

自然変換

関手$F \colon \cC \to \cD$から関手$G \colon \cC \to \cD$への自然変換$\alpha$とは,$\cC$の各対象$a$で添字付けられた$\cD$の射の集まり$\alpha \coloneqq \{ \alpha_a \in \cD(Fa,Ga) \}_{a \in \cC}$のうち次式を満たすものである。

(N) 自然性$\cC$の任意の射$f \in \cC(a,b)$$a,b$も任意)について$Gf \circ \alpha_a = \alpha_b \circ Ff$を満たす。

ここで,集まり$\alpha \coloneqq \{ \alpha_a \}_{a \in \cC}$$a$で添字付けられているとは,単なる($a$で添字付けられていない)集まりとは異なり,各$a \in \cC$に対応する$\alpha$の要素$\alpha_a$が定まっているという意味です。この添字付けられた集まり$\alpha$は,$\cC$の各対象$a$$\cD$のある射$\alpha_a$に写すような写像と言い換えることもできます。この写像は,$\alpha$対象への作用とよばれます。以降では,添字付けられた集まりのことも単に集まりとよぶ場合がしばしばあります。なお,定義では$\alpha_a$$\cD(Fa,Ga)$の要素(つまり$\cD$$Fa$から$Ga$への射)であることも主張しています。

添字付けられた集まりに関する補足:
添字付けられた集まり$\alpha \coloneqq \{ \alpha_a \}_{a \in \cC}$とは,先述の写像とみなせますが,添字付けられていない集まり$\{ \braket{a,\alpha_a} \}_{a \in \cC}$のことだとみなしても構いません($\braket{a,\alpha_a}$$a$$\alpha_a$の組を表します)。

$\alpha$は,添字付けられていない集まり$\alpha' \coloneqq \{ \alpha_a \}_{a \in \cC}$とは異なることに注意が必要です。たとえば,$\cC = \{1,2\}$および$\alpha_1 = \alpha_2 = 0$の場合を考えると,$\alpha$は2個の要素$\braket{1,0}$$\braket{2,0}$をもつとみなせます。一方,$\alpha'$は1個の要素$0$のみをもちます。

このような自然変換を,$\alpha \colon F \nto G$(または$\alpha \in \cD^\cC(F,G)$)と書きます。また,各$\alpha_a$$\alpha$成分とよびます。

自然変換の図式

自然変換$\alpha \colon F \nto G$を次のブロックで表すことにします。

自然変換!FORMULA[292][1242830142][0] 自然変換$\alpha$

補足:
各自然変換$\alpha$には,(1)その右側の圏$\cC$,(2)左側の圏$\cD$,(3)下側の関手$F$,(4)上側の関手$G$の,4個の情報が付随しています。図式には,これらの情報がすべて含まれています。数式でも$\alpha \in \cD^\cC(F,G)$のように書けばこれらの情報を明記できます。

また,$\alpha$の各成分$\alpha_a$(つまり対象$a$に対応する射)を次のように表します。

自然変換!FORMULA[302][1242830142][0]の成分!FORMULA[303][358917916][0] 自然変換$\alpha$の成分$\alpha_a$ $$\tag{3}\label{eq:alpha_a}$$

この右辺は射$\alpha_a \colon Fa \to Ga$を表しています。(なお,ブロック$\alpha_a$の下側からは2本の線$F$$a$が伸びており,これらは式\eqref{eq:Fa}で述べたように対象$Fa$を表しています。同様に,ブロック$\alpha_a$の上側にある2本の線$G$$a$は対象$Ga$を表しています。)左辺では,ブロック$\alpha$を線$a$の左側に並べることでこの射$\alpha_a$を表しています。$\alpha$の対象への作用を考えると,$\alpha_a$$a$$\alpha$で写したものとみなせます。式\eqref{eq:alpha_a}は,ブロック$\alpha$と線$a$を横方向に移動させて重ねるとブロック$\alpha_a$になると解釈できます。

自然性

条件(N)の自然性は次のように表されます。

!FORMULA[324][1242830142][0]の自然性:!FORMULA[325][166170801][0] $\alpha$の自然性:$Gf \circ \alpha_a = \alpha_b \circ Ff$ $$\tag{4}\label{eq:alpha_f}$$

ただし,補助線で囲まれた部分を先に演算するものとします。直観的には,この等式は「射$f$と自然変換$\alpha$をそれぞれ線に沿って動かすことで,それらの縦方向の位置を自由に変えることができる」とみなせます。このように,自然変換$\alpha$をブロックで表せば,その自然性を表す式\eqref{eq:alpha_f}を視覚的にわかりやすい形で表せます。

この式は,式\eqref{eq:alpha_a}の右辺の表記を用いると,次のようにも表されます。

!FORMULA[330][1242830142][0]の自然性 $\alpha$の自然性 $$\tag{5}\label{eq:alpha_nat}$$

式\eqref{eq:alpha_f}や式\eqref{eq:alpha_nat}は,「射$f$が自然変換$\alpha$を素通りできる」のように解釈してもよいと思います。実際,式\eqref{eq:alpha_nat}は,「左辺のブロック$f$$\alpha_a$を素通りして$\alpha_a$の下側に移動できて,この移動により右辺のようになる」のように解釈できます。

任意の($a \in \cC$で添字付けられた)射の集まり$\alpha = \{ \alpha_a \colon Fa \to Ga \}_{a \in \cC}$が自然変換であるとは限りません。$\alpha$が自然変換ではない(つまり自然性を満たさない)場合には,$\alpha$を式\eqref{eq:alpha_a}の左辺のようなブロックとして表すことはできません。このため,射の集まり$\alpha$が与えられたとき,少なくとも$\alpha$が自然変換であることを確認できるまでは式\eqref{eq:alpha_nat}の左辺や右辺のような表記を用いるとよいと思います。

補足:
式\eqref{eq:alpha_nat}の補助線を削除しても厳密性は損なわれません。実際,この左辺は$Gf \circ \alpha_a$以外の解釈はできません。このため,以降ではこの補助線を描かないことにします。なお,次回の記事で説明する内容を理解すると,式\eqref{eq:alpha_f}の補助線も削除できることがわかります。

自然変換$\alpha$に対して,写像

$$ \mor \cC \ni f \mapsto \alpha \b f \coloneqq Gf \c \alpha_a \in \mor \cD $$

$\alpha$射への作用とよびます。射$\alpha \b f$(つまり,射$f$$\alpha$で写したもの)は次の図式で表されます。

射!FORMULA[350][543662686][0] $\alpha \b f$

ただし,等号では式\eqref{eq:alpha_f}を用いています。

補足:
自然変換$\alpha$の射への作用($f \mapsto \alpha \b f$)は,その対象への作用($a \mapsto \alpha_a$)と$G$の射への作用($f \mapsto Gf$)から一意に定まります。このことは,$\alpha \b f = Gf \c \alpha_a$から明らかでしょう。これとは対照的に,一般に関手$F$の射への作用($f \mapsto Ff$)はその対象への作用($a \mapsto Fa$)からは一意には定まりません。

同型射と自然同型

ここで,今後のために同型射と自然同型について述べておきます。$\cD$の射$f$についてある射$g$が存在して$gf$$fg$が恒等射であるとき,$f$同型射とよびます。また,$g$$f$逆射とよび$f^{-1}$と書きます。$f$が同型射ならば$f^{-1}$は一意に定まります(証明は割愛します)。

自然変換$\alpha$の各成分$\alpha_a$が同型射であるとき,$\alpha$自然同型とよびます。関手$F$から関手$G$への任意の自然同型$\alpha = \{ \alpha_a \}_{a \in \cC}$に対して,その各成分の逆射の集まり$\alpha^{-1} \coloneqq \{ \alpha_a^{-1} \}_{a \in \cC}$$G$から$F$への自然同型です(証明は割愛します)。

自然変換の例

恒等自然変換

任意の関手$F \colon \cC \to \cD$に対し,$1_F$$\coloneqq \{ 1_{Fa} \}_{a \in \cC}$$F$から$F$への自然変換です。実際,$1_F$の自然性を表す式は$Ff \circ 1_{Fa} = 1_{Fb} \circ Ff$であり,これが成り立つことは両辺がともに$Ff$に等しいことから明らかです。$1_F$$F$上の恒等自然変換とよびます。

任意の射は自然変換とみなせる

任意の圏$\cC$の任意の射$f \in \cC(a,b)$$a,b \in \cC$も任意)について考えます。関手の例で述べたように,対象$a,b \in \cC$$\cOne$から$\cC$への関手とみなせます。同様に,射$f$は関手$a$から関手$b$への自然変換とみなせます。厳密に書くと,$\{ f \}_{* \in \cOne}$は関手$a \colon \cOne \to \cC$から関手$b \colon \cOne \to \cC$への自然変換です(自然性を満たすことは,$\cOne$の射が恒等射$1_*$のみであることからすぐにわかります)。$\cOne$の対象は$*$のみですので,$f$$\{ f \}_{* \in \cOne}$を同一視できます。この連載では,しばしばこれらを同一視して任意の射$f$を自然変換とみなします。

ベクトルの和

ベクトル空間$\V$の要素の和($+_\V$とおく)は,直和空間$\V \oplus \V$から$\V$への線形写像として

$$ +_\V \colon \V \oplus \V \ni \braket{v,w} \mapsto v + w \in \V $$

のように表せます。また,直和$\oplus$は以下により定まる$\VecK$ 上の関手とみなせます。

  • $\VecK$の各対象(つまりベクトル空間)$\V$$\V \oplus \V$に写す。
  • $\VecK$の各射(つまり線形写像)$f$$f \oplus f$に写す。
補足:
この関手は「$\Endash \oplus \Endash$」のように表すべきかもしれませんが,ここでは$\oplus$という表記を採用します。

このとき,「各$\V \in \VecK$の和の集まり」$+ \coloneqq \{ +_\V \}_{\V \in \VecK}$は,直和$\oplus$から恒等関手$1_{\VecK}$への自然変換です。直観的には,この集まりが自然変換であることは,「各ベクトル空間$\V$における和$+_\V$という演算が,ベクトル空間毎に互いに無関係に定められているのではなく,ある種の整合性を保っている」と解釈できそうです。また,この「ある種の整合性」を定式化したものが先述の自然性であるといえます。

$+$が自然変換であることを確認しておきましょう。このことは,

!FORMULA[431][35965][0]の自然性 $+$の自然性 $$\tag{6}\label{eq:Vec_plus}$$

を満たすことからわかります。実際,($\VecK$における射の合成は写像の合成ですので)この左辺は写像の合成$f \c +_\V$を表しており,この写像は各$\braket{v,w} \in \V \oplus \V$$f(v + w) \in \W$に写します。また,右辺は写像の合成$+_\W \c(\oplus f)$を表しており,この写像は各$\braket{v,w} \in \V \oplus \V$$f(v) + f(w) \in \W$に写します。$\VecK$の射$f$は線形写像ですので$f(v + w) = f(v) + f(w)$が成り立ち,したがってこれらの写像が等しいことがわかります。

なお,$\braket{v,w} \in \V \oplus \V$に式\eqref{eq:Vec_plus}の両辺で表される写像を施した結果,つまり

$$ (f \c +_\V) \braket{v,w} = (+_\W \c(\oplus f)) \braket{v,w} $$

は,次の図式で表せます。

!FORMULA[445][-1202706932][0]を表す図式 $(f \c +_\V) \braket{v,w} = (+_\W \c(\oplus f)) \braket{v,w}$を表す図式

前回の記事 では集合$X$の要素$x$を写像$\{*\} \ni * \mapsto x \in X$と同一視できることを述べましたが,ベクトル空間の要素に対してもこれと同様の同一視が行えます。具体的には,任意のベクトル空間$\V$の任意の要素$v$は線形写像$\tilde{v} \colon \K \ni k \mapsto k \cdot v \in \V$と同一視できます。この図式では,$\V \oplus \V$の要素$\braket{v,w}$に対してこのような同一視を行って,$\braket{v,w}$$\K$から$\V \oplus \V$への射(つまり線形写像)として表しています。

補足:
$v$$\tilde{v}$を同一視できる理由は,写像$\V \ni v \mapsto \tilde{v} \in \VecK(\K,\V)$が全単射であるためです。実際,この逆写像は写像$\VecK(\K,\V) \ni \tilde{v} \mapsto \tilde{v}(1) \in \V$です。

このように表すと,この図式の左辺は「$\braket{v,w}$に写像$+_\V$を施してから写像$f$を施したもの」と読めます(図式の下側から上側に向かって読むとわかりやすいかと思います)。同様に,右辺は「$\braket{v,w}$に写像$\oplus f$(つまり$f \oplus f$)を施してから写像$+_\W$を施したもの」と読めます。この図式が各$\braket{v,w} \in \V \oplus \V$に対して成り立ちますので,式\eqref{eq:Vec_plus}が成り立つことがわかります。

補足:
$(f \c +_\V) \braket{v,w}$$(f \c +_\V)(\braket{v,w})$のように書くべきかもしれませんが,適度に丸括弧を省略して書いています。以降でも,適度に括弧を省略することがあります。

自然変換$+$をブロックで表すと,式\eqref{eq:Vec_plus}は次のようにも表せます。

!FORMULA[472][35965][0]の自然性(別表現) $+$の自然性(別表現)

ただし,恒等関手を表す線(つまり,ブロック$+$の上側から伸びているはずの線)は,この図式のようにしばしば省略します。

ベクトルの定数倍

和と同様に,「各ベクトルを$k$倍する」という演算も自然変換とみなせます。具体的には,各$\V \in \VecK$と各$k \in \K$について,$\V$上の射(つまり線形写像)$\V \ni v \mapsto kv \in \V$$(\times k)_\V$とおきます。このとき,「各$\V \in \VecK$$k$倍の集まり」$\times k \coloneqq \{ (\times k)_\V \}_{\V \in \VecK}$は恒等関手$1_{\VecK}$から恒等関手$1_{\VecK}$への自然変換です。$\times k$の自然性は,次式のように表せます。

!FORMULA[486][656850155][0]の自然性 $\times k$の自然性

実際,この左辺および右辺は各$v \in \V$をそれぞれ$f(kv) \in \W$および$k \cdot f(v) \in \W$に写す写像であり,$f$は線形写像ですので等号が成り立ちます。

可換モノイドの積

可換モノイドの積$\c$についても上記の「ベクトルの和$+$」と同じ議論ができます。具体的には,「各$\cM \in \CMon$における積($\c_\cM$とおきます)の集まり」$\c \coloneqq \{ \c_\cM \}_{\cM \in \CMon}$は,関手$\times$(後述)から恒等関手$1_{\CMon}$への自然変換です。なお,可換モノイドの圏$\CMon$については, 前回の記事 を参照してください。

$\c$の自然性は,次式により表されます。

!FORMULA[500][1163993][0]の自然性 $\c$の自然性

ここで,関手$\times$は以下により定まる$\CMon$上の関手です。

  • $\CMon$の各対象(つまり可換モノイド)$\cM$$\cM \times \cM$に写す。
  • $\CMon$の各射(つまりモノイド準同型)$f$$\braket{f,f}$$f$$f$の組のこと)に写す。
補足:
$\cM \times \cM$は集合としてのデカルト積(つまり$\cM$の任意の2個の要素$x,y$の組$\braket{x,y}$をすべて集めた集合)$\{\braket{x,y} \mid x,y \in \cM \}$$\braket{x,y} \c \braket{x',y'} \coloneqq \braket{xx',yy'}$で定まる積$\c$を導入したものです。$\cM$の単位元$1$に対して,$\braket{1,1}$$\cM \times \cM$の単位元です。$\cM$は可換ですので,$\braket{x,y} \c \braket{x',y'} = \braket{xx',yy'} = \braket{x'x,y'y} = \braket{x',y'} \c \braket{x,y}$が成り立ち,したがって$\cM \times \cM$も可換です。

また,$\CMon$の任意の射$f \colon \cM \to \cM'$に対して,$\braket{f,f}$
$$ \braket{f,f}\braket{x,y} = \braket{f(x),f(y)} $$
を満たすような$\cM \times \cM$から$\cM' \times \cM'$への写像です(モノイド準同型になります)。

また,各$\cM \in \CMon$に対して直積$\cM \times \cM$から$\cM$への写像$\c_\cM$

$$ \c_\cM \colon \cM \times \cM \ni \braket{x,y} \mapsto x \c y \in \cM $$ $$\tag{7}\label{eq:CMonC}$$

と定めます(モノイド準同型になります)。この写像は,$\cM$における積を表しています。このとき,$\c \coloneqq \{ \c_\cM \}_{\cM \in \CMon}$が自然変換であることを容易に確認できます(ただし,ここでは割愛します)。

補足:
ここで述べた可換モノイドの積(の集まり)を自然変換とみなせるという議論は,少なくともそのままでは$\Mon$の積に対しては適用できません。なぜならば,式\eqref{eq:CMonC}のように定まる写像$\c_\cM$はモノイド$\cM \times \cM$からモノイド$\cM$へのモノイド準同型にはならないためです。実際,これがモノイド準同型であるためには,積を保存する,つまり
$$ \c_\cM(\braket{x,y} \c \braket{x',y'}) = (\c_\cM\braket{x,y}) \c (\c_\cM\braket{x',y'}) \quad (\forall x,y,x',y' \in \cM) $$
を満たす必要がありますが,左辺は$\c_\cM\braket{xx',yy'} = xx'yy'$で右辺は$xy \c x'y' = xyx'y'$になり,これらは一般には異なります。$\cM$が可換の場合にはこれらは同じですので,$\c_\cM$はモノイド準同型です。

ベクトル空間の基底の変換

関手の例で紹介した「ベクトル空間の基底の変換」を表す関手$\Phi \colon \VecK \to \VecK$を考えます。この関手では,各ベクトル空間$\V$に対して$\V$上の可逆な線形写像$\phi_\V$を一つずつ選んだのでした。このとき,これらの線形写像の集まり$\phi \coloneqq \{ \phi_\V \}_{\V \in \VecK}$$1_{\VecK}$から$\Phi$への自然同型であり,$\phi^{-1} = \{ \phi_\V^{-1} \}_{\V \in \VecK}$$\Phi$から$1_{\VecK}$への自然同型です。

$\phi$の自然性は次式で表せます。

!FORMULA[559][1119053195][0]の自然性 $\phi$の自然性

実際,この左辺は写像の合成$(\Phi f) \c \phi_\V$であり,この写像は各$v \in \V$$(\phi_\W \c f \c \phi^{-1}_\V) \c \phi_\V(v) = \phi_\W(f(v))$に写します。一方,右辺は写像の合成$\phi_\W \c f$であり,この写像は各$v \in \V$$\phi_\W(f(v))$に写します。このため,等号が成り立ちます。

なお,各ベクトル空間$\V$について$\phi_\V^{-1} \c \phi_\V = 1_\V$が成り立ちますが,この式は次の図式で表せます。

!FORMULA[568][631829569][0]と!FORMULA[569][1119053195][0]の合成 $\phi^{-1}$$\phi$の合成

補足:
この左辺は$\phi_\V^{-1} \c \phi_\V$を表しています。次回の記事で説明する自然変換の垂直合成を用いると,この式の両辺から線$\V$を消した式が成り立つことがわかります。

まとめ

関手と自然変換の定義を述べ,これらを図式で表す方法を紹介しました。関手を線で表して自然変換をブロックで表すことで,それらが満たすべき規則をわかりやすい形で表せることを説明しました。

次回以降の記事では,このような図式を用いて関手や自然変換の合成について述べる予定です。

投稿日:104
更新日:1日前
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

量子論 / 量子情報理論 / 量子測定 の研究者です。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中