雑記帳
同型 (isic) と 均衡圏 (balanced category)
同型 (isic)
定義
ある射 \(f\) が圏 \(\mathscr{C}\) で同形 (isic) であるとは、
\[
(q {\sf \, ⨟ \,} f = {\rm id}_{{\rm cod}(f)}) \wedge (f {\sf \, ⨟ \,} q = {\rm id}_{{\rm dom}(f)})
\]
を満たすような射 \(q\) が圏 \(\mathscr{C}\) に存在することをいう。
現段階では一階述語論理の上で公理的に圏を取り扱っているので、それに準拠したフォーマルな書き方をすると
\[
{\rm isIsic}(f) :\Leftrightarrow {\rm isSplitEpic}(f) \wedge {\rm isSplitMonic}(f)
\]
が真であるとき、\(f\) が圏 \(\mathscr{C}\) で同形であるということになる。
またこの時、そのような射 \(q\) のことを「\(f\) のインヴァース (inverse)」 (または逆射) と呼ぶ。
わかりやすく言い換えれば、射 \(f\) のインヴァースが圏 \(\mathscr{C}\) に存在するとき、\(f\) が圏 \(\mathscr{C}\) で同形ということになる。
わかりやすく言い換えれば、射 \(f\) のインヴァースが圏 \(\mathscr{C}\) に存在するとき、\(f\) が圏 \(\mathscr{C}\) で同形ということになる。
また同形射 (isic arrow) は、iso または isomorphism とも書かれる。
さらに圏 \(\mathscr{C}\) が同形射 \(f:X\rightarrow Y\) を持つとき、対象 \(X,Y\) は圏 \(\mathscr{C}\) で同形 (isomorphic) であるといい、 \(X \cong Y\) と表す。
一般的抽象的ナンセンス
インヴァースは存在する場合一意的
(周囲圏を任意の圏 \(\mathscr{C}\) とする。)
\(f\) を同形射、\(q_1, q_2\) を \(f\) の任意のインヴァースとする。
この時、射の結合性公理から
\[
(q_1 {\sf \, ⨟ \,} f) {\sf \, ⨟ \,} q_2 = q_1 {\sf \, ⨟ \,} (f {\sf \, ⨟ \,} q_2)
\]
が成り立つが、\(q_1 {\sf \, ⨟ \,} f\) と \(f {\sf \, ⨟ \,} q_2\) は共に恒等射を定めるので
\[
\begin{align}
(q_1 {\sf \, ⨟ \,} f) {\sf \, ⨟ \,} q_2 &= q_1 {\sf \, ⨟ \,} (f {\sf \, ⨟ \,} q_2) \\
{\rm id}_{{\rm cod}(f)} {\sf \, ⨟ \,} q_2 &= q_1 {\sf \, ⨟ \,} {\rm id}_{{\rm dom}(f)} \\
q_2 &= q_1 \\
\end{align}
\]
よって全てのインヴァースは射として等しいことが従う。
このように存在すれば一意的に定まる射 \(f\) のインヴァースは \(f^{-1}\) と書かれる。
モニックかつ分裂エピックであれば同形
(周囲圏を任意の圏 \(\mathscr{C}\) とする。)
\(f\) をモニックかつ分裂エピックである射、\(q\) を \(f\) の任意のセクションとする。
まず、セクションの定義より次の関係式
まず、セクションの定義より次の関係式
\[
f {\sf \, ⨟ \,} (q {\sf \, ⨟ \,} f) = f
\]
が成り立つ。
結合性公理から
\[
\begin{align}
f {\sf \, ⨟ \,} (q {\sf \, ⨟ \,} f) =& f \\
(f {\sf \, ⨟ \,} q) {\sf \, ⨟ \,} f =& f \\
(f {\sf \, ⨟ \,} q) {\sf \, ⨟ \,} f =& {\rm id}_{{\rm dom}(f)} {\sf \, ⨟ \,} f \\
\end{align}
\]
この時、モニックの定義である
\[
(h {\sf \, ⨟ \,} f = k {\sf \, ⨟ \,} f) \Rightarrow (h = k)
\]
が任意の \(h,k\) について成立する事実を最後の式に適用すると
\[
((f {\sf \, ⨟ \,} q) {\sf \, ⨟ \,} f = {\rm id}_{{\rm dom}(f)} {\sf \, ⨟ \,} f) \Rightarrow ((f {\sf \, ⨟ \,} q) = {\rm id}_{{\rm dom}(f)})
\]
つまり、
\[
(f {\sf \, ⨟ \,} q) = {\rm id}_{{\rm dom}(f)}
\]
が得られ、\(q\) が \(f\) のレトラクションでもあることがわかる。
よって、\(q\) は \(f\) のセクションでもありレトラクションでもあるインヴァース、即ち \(f\) が同形射であることが従う。
余談
定義の上では、同形射は「その射のセクションでありレトラクションでもあるような射であるインヴァースが存在する」という形になっているが、同形であることを示すために必ずしも「分裂エピックかつ分裂モニックである」ということを愚直に示す必要があるわけでもない。
これはそういったケースの一つである。
これはそういったケースの一つである。
双対性
分裂エピックと分裂モニックが圏論的双対でペア付けられていることからわかるように、同形の双対概念は同じく「同形」となる。
均衡圏 (balanced category)
定義を見てわかる通り、エピックかつモニックであるような射が同形射であることは一般に従わない。
とはいえ、後々圏を使って数学的構造を具体的に調べていくと気付くが、対象の間のモルフィズムの中に「エピックかつモニックでありながら同形でない」という性質を持つものは珍しく、多くの数学的構造の対象間のモルフィズムは「エピックかつモニックであれば同形」であるケースが多い。加えて全ての射について漏れなくそのような性質が成立する圏を成す数学的構造というのも少なくない。
とはいえ、後々圏を使って数学的構造を具体的に調べていくと気付くが、対象の間のモルフィズムの中に「エピックかつモニックでありながら同形でない」という性質を持つものは珍しく、多くの数学的構造の対象間のモルフィズムは「エピックかつモニックであれば同形」であるケースが多い。加えて全ての射について漏れなくそのような性質が成立する圏を成す数学的構造というのも少なくない。
そういった理由によるものかは定かではないが、そのような性質を満たす圏には特別な名前が付けられていて、均衡圏 (balanced category) と呼ばれる。
(※ balanced category の日本語訳がわからなかったため、均衡圏と直訳したが、非公式な日本語訳である。)
(※ balanced category の日本語訳がわからなかったため、均衡圏と直訳したが、非公式な日本語訳である。)
定義
「圏の中の全ての射について、エピックかつモニックであるならば同形であることが従う」という性質を満たす時、その圏は「均衡 (balanced)」であると言う。
\[
\forall f[{\rm isEpic}(f) \wedge {\rm isMonic}(f) \Rightarrow {\rm isIsic}(f)]
\]
例
現段階で具体的な例を挙げることは難しいが、選択公理を満たす圏、つまり「任意のエピックが分裂エピックである圏」は、先ほど示した「モニックかつ分裂エピックであれば同形」という一般的抽象的ナンセンスより、均衡圏となる。
タグ一覧: