雑記帳
僕用勉強ノート 「圏論」の巻
«
Show ALL
»

同値関係から商対象を構成する

(圏論シリーズロゴ)
目次
• 
商対象の構成
• 
導入
• 
「同値関係による商」がどのようにコイコライザとして俯瞰されるのか
• 
構成の流れ
• 
構成した商対象から整数対象としての構造を導く
• 
「同値関係による商」をコイコライザとして俯瞰することのメリット
商対象の構成
導入
圏論的には、「対象 X の商対象」とは
  • X をドメインに持つエピック射 q を付加構造として持つ対象 Q
という (同形を除いて一意に定まる) 構造 ⟨Q,q⟩ であったわけだが、特定の性質を持つ圏においては、こういった構造を導く "一般的な手続き" が存在する。
既に集合論をある程度学んでいる人ならイメージできると思うが、例えば
  • 集合を同値関係で割って得られる商集合の構成
もその一つである。
加えて、実はその「同値関係で割る」という商対象の構成というのも、既に説明した余極限の一種である「コイコライザ」の特別なケースになっている。
このページでは、そういった点に着目しながら具体的な商対象の構成方法についてまとめてみる。
「同値関係による商」がどのようにコイコライザとして俯瞰されるのか
同値関係による商がどのようにコイコライザとして俯瞰されるのかを、周囲圏として「well-pointed トポス」を想定しながら、具体例を追って確認していく。
本質的でない部分で不要な混乱を招いてしまうことを避けるためにも、比較的単純な例として「整数対象 (integers object) のベースとなる商集合 ⟨Z,q⟩」の構成を考えてみる。
構成の流れ
まず以下で定まる関係は同値関係になる。
(n1,m1)∼(n2,m2):⇔n1+m2=m1+n2
とはいえ、この定義式だけでは射 (N×N)×(N×N)→Ω の具体的な形が見えづらい。
(n1,m1)∼(n2,m2)⇔n1+m2=m1+n2x1∼x2⇔(x1⨟prj1)+(x2⨟prj2)=(x1⨟prj2)+(x2⨟prj1)⟨x1,x2⟩⨟(∼)⇔⟨x1⨟prj1,x2⨟prj2⟩⨟(+)=⟨x1⨟prj2,x2⨟prj1⟩⨟(+)⟨x1,x2⟩⨟(∼)⇔⟨⟨x1⨟prj1,x2⨟prj2⟩⨟(+),⟨x1⨟prj2,x2⨟prj1⟩⨟(+)⟩⨟δ⟨x1,x2⟩⨟(∼)⇔⟨⟨x1,x2⟩⨟⟨prj1⨟prj1,prj2⨟prj2⟩⨟(+),⟨x1,x2⟩⨟⟨prj1⨟prj2,prj2⨟prj1⟩⨟(+)⟩⨟δ⟨x1,x2⟩⨟(∼)⇔⟨x1,x2⟩⨟⟨⟨prj1⨟prj1,prj2⨟prj2⟩⨟(+),⟨prj1⨟prj2,prj2⨟prj1⟩⨟(+)⟩⨟δ
よって上の関係を与える射 (∼):(N×N)×(N×N)→Ω は
(∼):=⟨⟨prj1⨟prj1,prj2⨟prj2⟩⨟(+),⟨prj1⨟prj2,prj2⨟prj1⟩⨟(+)⟩⨟δ
この射が得られれば、商対象の構成に必要になる2つの平行な射を構成するのは単純である。
まず、上の射に沿って部分対象分類子 true:1→Ω を引き戻すことで、
{((n1,m1),(n2,m2))∈(N×N)×(N×N)|n1+m2=m1+n2}
に相当する部分対象
⟨R,(∼)−1(true):R→(N×N)×(N×N)⟩
が得られる。この部分対象は意味を考えればわかるように、「商写像の核対」に相当する部分対象であるので、以下のように出力となる対をばらしたそれぞれ一般化要素を与える射が、商対象の構成に必要になる2つの射になる。
f:=(∼)−1(true)⨟prj1g:=(∼)−1(true)⨟prj2
これらの射が定めるコイコライザをとると、商対象 ⟨Q,Coeq(f,g):(N×N)→Q⟩ が得られるが、この対象 Q は以下のようにして整数対象を成す。
構成した商対象から整数対象としての構造を導く
まずそもそも「整数対象」とはなんだという人も多いと思うが、それは
ある特定の条件を満たすような3つの射
・zero:1→Z
・succ:Z→Z
・neg:Z→Z
を付随する対象 Z である。
詳しい定義は以下のページを参考にしてほしい。
ではまずは succ:Z→Z を構成する。
well-pointed を仮定しているため、大域要素の入出力から射の特徴付けが可能である。
ということで z:1→R を R の大域要素とし、f⨟(succ×N) に z を入力して得られる出力を調べる。
z⨟(f⨟(succ×N)⨟Coeq(f,g))=z⨟(((∼)−1(true)⨟prj1)⨟(succ×N)⨟Coeq(f,g))=z⨟(∼)−1(true)⨟prj1⨟(succ×N)⨟Coeq(f,g)=(z⨟(∼)−1(true))⨟prj1⨟(succ×N)⨟Coeq(f,g)
まず引き戻しの普遍性より、(z⨟(∼)−1(true)) として得られる (N×N)×(N×N) の大域要素というのは
⟨⟨n1,m1⟩,⟨n2,m2⟩⟩⨟(∼)=!⨟true
という関係式を満たすような
⟨⟨n1,m1⟩,⟨n2,m2⟩⟩:1→(N×N)×(N×N)
つまり、
z⨟(f⨟(succ×N)⨟Coeq(f,g))=z⨟(((∼)−1(true)⨟prj1)⨟(succ×N)⨟Coeq(f,g))=z⨟(∼)−1(true)⨟prj1⨟(succ×N)⨟Coeq(f,g)=(z⨟(∼)−1(true))⨟prj1⨟(succ×N)⨟Coeq(f,g)=(⟨⟨n1,m1⟩,⟨n2,m2⟩⟩)⨟prj1⨟(succ×N)⨟Coeq(f,g)=⟨n1,m1⟩⨟(succ×N)⨟Coeq(f,g)=⟨n1⨟succ,m1⟩⨟Coeq(f,g)
同様に
z⨟(g⨟(succ×N)⨟Coeq(f,g))=⟨n2,m2⟩⨟(succ×N)⨟Coeq(f,g)=⟨n2⨟succ,m2⟩⨟Coeq(f,g)
それら2つの出力の対が、(z⨟(∼)−1(true)) の出力として得られるのかは、
⟨⟨n1⨟succ,m1⟩,⟨n2⨟succ,m2⟩⟩⨟(∼)
が、true になること
⟨⟨n1⨟succ,m1⟩,⟨n2⨟succ,m2⟩⟩⨟(∼)=(n1+m2+1,m1+n2+1)⨟δ=((n1+m2)⨟succ,(m1+n2)⨟succ)⨟δ
最初の仮定から、⟨n1+m2,m1+n2⟩⨟δ は true になるので、上の式も同様に true を出力する。
つまり、
z⨟(f⨟((succ×N)⨟Coeq(f,g)))=z⨟(g⨟((succ×N)⨟Coeq(f,g)))
が任意の大域要素 z に対して成り立つ。
ここで、well-pointed であるという仮定より、上の言明から
f⨟((succ×N)⨟Coeq(f,g))=g⨟((succ×N)⨟Coeq(f,g))
であることが従う。
よってコイコライザの普遍性より、射 ((succ×N)⨟Coeq(f,g)) は商写像と一意に factor-through される射 Z→Z を引き起こす。
この射が整数対象を成すために必要な構造の一つ succ:Z→Z である。
同様の流れで、(⟨prj2,prj1⟩⨟Coeq(f,g)) も商写像と一意に factor-through される射 Z→Z を引き起こすことを示す事ができて、その射が整数対象を成すために必要なもう一つの射 neg:Z→Z となる。
ちなみに zero:1→Z は商写像を使って zero⨟Δ⨟Coeq(f,g) というように直接構成できる。
(これらが整数対象を成すことは各自で確認してほしい)
「同値関係による商」をコイコライザとして俯瞰することのメリット
このように考えるメリットの一つとして、「(同値関係で割って得られる) 商集合の普遍性」つまり
  • どういった場合に、特定の射を引き起こすのか
がわかりやすくなるという点が挙げられる。
コイコライザとしての見方をしない場合、「(同値関係で割って得られる) 商集合の普遍性」というのは「同値関係の細かさ」という観点から記述することになる。
しかしこの方法だと、例えば「商集合と商線形空間」を比較してみるとわかるが、それらの間の「射が引き起こされるのかどうかを与える条件」にばらつきが生じてしまう。
その一方で、コイコライザとして見ることで、いずれの場合も「特定の2つの平行な射をコイコライズできる」という一貫したものになる。
余談
「well-defined であることの確認」が、間接的には「コイコライザの普遍性」を調べていたことを補足しておく。
「商写像 q の核対」は「同一視する要素のペア」からなり、もしある射 k について、「その核対が、その商写像の核対を一部として含む (その核対の持つモニック射が、商写像の核対の持つモニック射で factor-through される)」ならば、それは「商写像により同一視したい出力の組み合わせを k の核対が漏れなく全て網羅している」ということなので、間接的に「商写像を定める2つの射 f,g について、f⨟k=g⨟k である」ということを意味する。
«
Show ALL
»
タグ: 数学 圏論
タグ一覧:
物理学 (18)
古典力学 (9)
量子力学 (5)
数学 (56)
圏論 (32)
位相 (1)
線形代数 (7)
高校数学 (4)
プログラミング (32)
C言語 (4)
Haskell (36)
Java (1)
Python (2)
PureScript (3)
日記 (46)
小ネタ (21)
音楽 (4)
ピアノ (12)
ゲーム (18)
YouTube (36)