このページは[url=https://www.geogebra.org/m/ddm5798j]マス旅[/url]の一部です。[br][br]ここまで、[b]１Fの圏は点と矢、２Fのファンクターは圏をまるごとうつすコンテナ、３Fの自然変換はコンテナどうしの調停のための翻訳と随伴カップル判別[/b]というようにマクロ的な視点で見てきました。[br]この３階建ての妥当性と[b][color=#0000ff]でかいキーワード（圏、ファンクター、自然変換、随伴）[/color][/b]のイメージ理解が、数学の分野の例を眺めるツアーによって、できたのではないでしょうか。[br][br]今回は、「圏論の謎のキーワードたち」がテーマです。[br]圏論の本を読み進めると、いろいろ「[b]謎のワード[/b]」が出てきますね。[br]謎のまま放置すると、？の嵐になり、考えることをやめるどころか先に進むことをあきらめるでしょう。正攻法は、一字一句理解して、定義と証明に付き合って納得することです。[br]しかし、それをやると、日がくれるどころか、それだけで年月が過ぎるでしょう。[br][br]マス旅は、専門家をめざすのではなく、「ブラタモリの数学版」のようなもです。[br][br]事例だけでは証明にならず、反例の可能性もあるでしょう。[br]でも、証明はマス旅の目的ではありません。[br]数学で遊んで数学のよさを感じることが目的だからです。

まずは、１Fから。[br][br][b][size=150][size=200]＜２点ｘとｙの積＞[br][/size][br][/size][/b]結論「[b][color=#0000ff]点zから２点x、yの両方に射があるなら、ｚは必ず「ｘとｙの積」を通らないとｘ、ｙに行けません。しかもｘとｙの積は1意的です。[/color][/b]」[br]ところで、「[b]２点の積ってなんだ？[/b]」[br][br]となるのですが、これを[b]論理式にスライドする[/b]とすっきりわかります。[br][br]ｚ→ｘを論理でみると、ｚならばｘです。[br][b]集合のベン図をかくとZはXにすっぽり入る[/b]。[br]ｚ→ｙは、集合だと、ZはYに入っている。[br][b]矢(z,x),矢(z,y)があることは、集合(Z in X) and(Z in Y)[br][/b]XとYの共通部分の要素が[b]空かどうか一般には不明だが、論理的にはありうる[/b]。[br]ZはXとYのかぶったところに入っているね。[br]あれば、x and y、XとYを同時に組にしたもの、[b]X∩Y[/b]。[br][b]ｘとｙの両立というよりもｘとｙの並置（ｘ、ｙ）[/b]をイメージしよう。[br]これって、[b][color=#0000ff]ｘ成分、ｙ成分をもつ点ｘ×ｙ[/color][/b]だね。[br]だから、ｚ→ｘ×ｙだ。[br]点ｘ×ｙはｘの一部で、ｙの一部だから、2本の矢ができね。[br][b]ｘ×ｙ→ｘ、ｘ×ｙ→ｙ[/b][br][b][color=#0000ff]ということは、ｚ→ｘ、ｙは、必ずｘ×ｙを経由することがわかる[/color][/b]ね。[br]これを矢印図にしたものが、本でよくみる、[br]頂点Zで底辺XYの二等辺三角形ZXYがあり、ZからXとYに矢がある。[br]すると、かならず辺XYの中ほどに積[b]X×Y[/b]があり、[br]Zが積[b]X×Y[/b]を指す矢と、積X×YからもX,Yをさす矢がペアになってできるという図だとわかるね。[br][br][b][size=200]＜２点ｘとｙの余積＞[/size][/b][br]「[color=#0000ff][b]点zに２点x、yの両方から射があるなら、ｘ、ｙからｚには必ず「ｘとｙの余積」を通らないと行けません。しかもｘとｙの余積は1意的です[/b][/color]。」[br]「[b]２点の余積ってなんだ[/b]？」[br][br]この文章の流れ、[color=#9900ff][b][size=150]デジャヴ感[/size][/b][/color]ありませんか？[br][br]そうです。[b]積のときと矢印の向きを逆にしただけ[/b]です。[br]積はproductですが、余積は[b]co[/b]productの略です。[br]「co」は日常言語では副という意味で使われますが、[br][b]圏論では、矢印をひっくり返したもの（双対）という意味で使います[/b]。[br][br]「[color=#0000ff]双対[/color]」って大事ですね。正四面体の面の中心を頂点にすると正6面体ができて、面と点をひっくり返したものでした。これが双対です。[br]余積は、別名、[b]和(sum)[/b]とも言います。[br]積と同じ流れで論理、集合のイメージを考えてみよう。[br][br]矢(x,z),矢(y,z)があることは、集合(X in Z) and(Y in Z)[br]XとY両方がZに入っているのだから、XとYの合併もZに入っているね。[br]x or y の点は集合では、X∪Y。だから、[b]X∪Y in Z[/b]となるね。[br]XとYの共通部分あるなしはおいといて、ｘoryをｘ⊕ｙとかこう。[br]矢でかくと[b]ｘ⊕ｙ→ｚ[/b]だ。[br]x、yともに、ｘ⊕ｙに含まれから、2本の矢が生まれるね。[br][b]x→ｘ⊕ｙ、y→ｘ⊕ｙ[br][color=#0000ff]ということは、ｘ、ｙからｚにいくには、必ずｘ⊕ｙを経由する[/color][/b]ことがわかるね。[br]これを矢印図にしても、積の図の矢印を反対にして、記号を×を⊕にするだけのそっくりの図になることもわかるでしょう。[br][br]この、ひっくり返すだけで全く同じ構造が浮かび上がる「[b]対称性[/b]」と、[br]どこへ行くにもここを通るという「[b]普遍性[/b]」の感覚。[br]これこそが、圏論のツアーで一番大切なものでしょうね。

[b][size=150]次は2階に来ました！[br][br][/size][/b][br][size=200][b]＜Hom_C(-,B)＞[/b][br][/size]最初見ると「[b][size=200]何言ってんの？[/size][/b]」[br][br]となる書き方ですが、順序だてると別に変な記号ではありません。[br][b]C[/b]は用心深く[b]圏C[/b]という場所の指定ですね。[br][br][b]ー[/b]はいわゆるワイルドカード、[br]なんでもありということです。[br]AでもCでもなんでもいいのです。[br][br]２点A,Bと2点をつなぐ矢があるとき、矢（A,B）とかAr（A,B)とかくと、[br]AからBへの射（矢）のことですね。[br]３点A,B,Cと2点をつなぐ3本の矢、A→B、A→C、C→Bがあるならどうでしょう。[br]点Aからは直接点Bでも行けるし、点Cを経由してもいけます。[br]だから、[b]矢（A,B）[/b]とかくときはA,Bをつなぐ[b]1本の矢A→B[/b]だけででなく、[br]点Cを通る遠回りの道、[b]A→C→BもAからBの射（矢）[/b]です。[br][b]1本とはかぎらない矢の集合[/b]だはっきりさせる記号が「[b]Hom（X,Y)[/b]」です。[br]始点X、終点Yの射全部の集まり。[br]射の「[b]集合[/b]」なんですね。[br]ここまでの話しを総合すると、もうおわかりですね。[br]要素である射と射の集合は[b][color=#0000ff]レベルはちがいます[/color][/b]。[br]このHomは[b]１Fの圏（点と射）の住人ではない[/b]です。[br]そう、２Fのファンクターです。[br]もともと準同型写像（Homo-morphism)から来てます。準同型は形をかえずにそのまま映すという意味から来てますから、正に「ファンクターとしての射だ」というネーミングとして「[b]Hom[/b]」[br]と書くのはわかりやすいですね。[br]１Fに点と射がうようよしていて、それを２FのHomがえいやと働くイメージです。[br]さっきの3点ならば、[b]Hom(A,B)[/b]の要素は[b]2本の矢[/b]になるね。[br][br][b]Hom_C(-,B)[/b][br]というのは、圏Cでどっかの点から点Bを終点いきつける射（矢）の集まり[br]ということになりますね。[br]さっきの図でいうと、[b]Hom(A,B)が2本、Hom(C,B)が1本だから、合計3本[/b]が要素になるね。[br]注意点は、もしかっこの中の順番が反対なら反対の意味になりますね。[br][b]Hom_C(B,-)[/b]は点Bが始点のあらゆる射（経路）ぜんぶのあつまりです。[br]さっきの図では、[b]空集合[/b]になるね。[br][br][b][size=150][size=200]＜局所小圏＞[/size][/size][/b][br][br]圏Cの点の全体をOb(C)やC_0,射の全体をAr(C),C_1とかいたりします。[br]Ob（C）の適当な[b]2点A,B[/b]に対して[b]HomC（A,B)（ホム類、ホムファンクターと言います）[br][/b]が「[b]集合になる」圏[/b]を局所小圏といいます。[br][br]何のことでしょう。これは、空集合を許さないという意味ではありません。[br]空集合も集合だからです。[br]ラッセルの集合の言葉遊びにも見える危険な[b]パラドックス[/b]は知ってますよね。[br]集合全部の集合は族といって集合とは別のタイプ（型）だとして集合論の危機を脱出しした[br][b]「タイプ理論」[/b]が有名ですね。[br]集合の定義が緩すぎて、そんなヤバい族まで入るような巨大な集まりは「[b]真クラス[/b]（しんクラス）」と言って、集合とは別物として扱おう、と決めました。[br]「局所小圏」の「局所」とは、全体は見渡せないほど巨大（真クラス）でも、「手元の2点間（局所）の矢印を数えるときだけは、危ないパラドックスが起きない[b]普通のお手頃サイズの集合[/b]ですよ」[br]という[b][color=#0000ff][size=200]安心の「ラベル」だ[br][/size][/color][/b]と思ってかまいません。[br]圏の宇宙を考えるようなグロタンディークのような数学の専門家以外は、[br]とりあえず気にしなくてもよさそうですね。[br][br][b][size=150][size=200]＜共変と反変＞[/size][/size][/b][br][br]共変と反変は1次元で考えるとカンタンだ。座標変換というのは基底が変わることだった。[br][b]基底e[/b]というモノサシが2倍に伸びると、[b]新基底E[/b]の長さはもとの基底×２になる。[br]基底の変化と共に変わるから「[b]共変[/b]」だ。基底どうしは共変だ。[br]ところが、物理量Pをモノサシで測った測定数値は４が２に変わるでしょう。2分１になる。[br][b][color=#0000ff]モノサシの変化と反対になるから「反変」[/color][/b]というね。[br]Pの測定値は反変だ。[br]だから、「[b]反変[/b]なPの測定値×[b]共変[/b]な基底＝[b]同じ物理的な実体量[/b]」という反比例の関係から来ている。[br]2次元平面の座標変換や微積で説明しようとするとけっこう大変になる。[br]でも、共変か反変かの名前よりも実際はテンソルの添え字の上下だけ見れば、分数の約分みたいでカンタン。実は共変か反変かで悩むことはあまりなくなる。くわしくはこちら。https://www.geogebra.org/m/twxxx3yq#material/wkdxwd9d[br][br]さて、ファンクターの共変と反変に入ろう。[br][br]物理では、[b]モノサシ（基底）の変化と同じ向きに変わるか（共変）[/b]、逆向きに変わるか（反変）でした。[br][br]圏論では、[b]もとの圏の矢印の変化（向き）と同じ向きに写すか（共変）[/b]、逆向きに写すか（反変）です。[br][br]圏Cから圏Dに１Fの点と射と１、2FのHomをまるごと移すファンクターFであることは同じ。[br]射の向きで区別する。[br][br][b]共変[/b]ではHom(X,Y)をHom(F(X),F(Y))と同じ向き、F(f*g)=F(f)*F(g)同じ順番でつなぐから、[br]まるごと[b]同順に持ち上げている[/b]。[br][br][b]反変[/b]ではHom(X,Y)をHom(F(Y),F(X))と逆の向き、F(f*g)=F(g)*F(f)逆の順番でつなぐから、[br][b]「双対」にして持ち上げている[/b]。[br][br]またまた、「双対」が出てきたね。[br][br]ここで「おや？」と気づいた人は鋭い！さっき登場した Hom_C(-,B)を思い出してください。[br]ワイルドカード（-）がスタート地点（左側）にありましたね。[br]スタートの点を(A) から (C) へと動かすと、手に入る矢の束は逆に (C) スタートから (A) スタートへと「逆向きに連動」して変化したはずです。[br]そう、あの[b]Hom_C(-,B)[/b]こそが、[br]まさに「[b]反変ファンクター[/b]」の代表格だったんだね。

[size=150][color=#0000ff]ファンクターで大切なのは共変・反変だけではない。[br]もとの圏の性質をどのくらい保持できているかも重要だよね。[br]原型をたもってくれないとファンクターとして使い物になりませんから。[br][/color][b][br][size=200]＜忘却と充満と忠実＞[/size][br][/b][/size][br]「[b]圏の同型[/b]」というは文字通り、[br]圏Cの点も射もまるごと圏BにコピペできるコピーファンクターTがあるということはわかる。[br]Tのコピーは両方向とも「[b]完コピ[/b]」つまり、全単射だということだね。[br][br]随伴ペアを作るとき忘却ファンクターは大活躍しました。[br]群のファンクターなのに群の点と射だけ移す。群の構造は忘れる。[br]位相空間のファンクターなのに空間の点と射のだけ移す。位相構造は忘れる。[br]すごく間抜けなファンクターのようですが、随伴ペアを作るときは役立った。[br][br]それだけではありません。[br][br]「[b]共変ファンクターF、つまりHom集合の矢が同じ向きにうつるファンクターが、[br]完コピでないときにどうなるか[/b]」という話しです。[br][br]これは、１本ずつの射をどう移すかという１Fの話題ではありません。[br][b]２FにあるHomの移し方[/b]であることに注意しよう。[br][br][b][color=#0000ff]F:Hom(X,Y)→Hom(F(X),F(Y))という矢印集合を矢印集合にうつす共変ファンクターF[/color][/b]が、[br][b]単射[/b]であるとき F は[b]忠実(faithful)（または埋め込み）[/b] であるという。[br]つまり、移った先の射をもとに戻すと高々１つの射しかない。 [br]２つの射がFで１つにかぶることがないからだ。[br][b]行先がかぶるようなモテモテ君はできない[/b]ということだね。[br][br]F:Hom(X,Y)→Hom(F(X),F(Y))という矢印集合を矢印集合にうつすファンクターFが、[br][b]全射[/b]であるとき[b]充満 (full)[/b] であるとラベルを貼ろう。[br]つまり、移った先の射のもとはかならずあるから、少なくともどの射にもそのもとがある。[br][b]なんでこれができたんだろうという出所不明の射がFで持ち上げたHom集合にはない[/b]。[br]かならず戻れるということだね。[br]特にHomの射が全単射のときは[b]充満忠実 (fullyfaithful)[/b] であるという。[br][br][b]「忘却関手は忠実であるが, 一般には充満ではない。」[/b][br]どういうことでしょう。[br][br][b][color=#0000ff][size=150]位相空間圏Tから集合圏Sにうつす忘却共変ファンクターを考えてみよう。[br]F:Hom＿T(X,Y)→Hom＿S(F(X),F(Y))[br][/size][/color][br][/b]つまり、忘却ちゃんFはうねうね曲面Aが曲面Bを変形する経路の集合Hom(A,B)を[br][b]曲面A,曲面Bの写真F(A),F(B)として移す[/b]だけでなく、その変形する経路も[b]コマ動きの動画[/b]として移す。[br]Aがコーヒーカップ型の浮き輪、[br]Bがドーナツ型の浮き輪、[br]Cが円柱をまげてCの字にした浮き輪、[br]Dがボール型の浮き輪だとする。[br][br]Hom_T(A,B)の射集合には[br]「[b]コーヒーカップがドーナツになる[/b]」色んな変形経路はパラパラマンガのように記録できる。[br]それがHom_S(F(A),F(B))だ。[br][br]Hom_T(C,D)の射集合には[br]「[b]Cの字がボールになるまで[/b]」の変形経路があり、その記録が[br]Hom_S（F(C),F(D))だ。[br]Sは[b]忠実な動画集で問題ないように見える[/b]。。。。。。[br][br]しかし、[color=#0000ff][b][size=150]BとCは位相的に別なので射は存在しないのに、[br]F(B)とF(C)は位相が関係ないのでF(B)からF(C)に変形する動画ができてしまう。[/size][/b][/color][br][br][b]写真的な忠実さ[/b]はあっても、Sの世界の点をつないで作れる圏の中の射には、[br]もとのTの世界にないものでありうる。[br][color=#0000ff][b][size=200]フェイク動画が可能なのだ。忘却は恐ろしい。[br][/size][/b][/color][br]Tの情報を失っているわけですね。[br]その意味で情報の忠実さだけではなく十分さという視点も必要になるのです。[br][br]忘却ファンクターは反面教師になりました。[br][br]