余積

提供: miniwiki
移動先:案内検索

圏論において、余積(よせき、双対積双対直積: coproduct)あるいは圏論的(わ、直和: sum, direct sum)は、集合の直和位相空間の直和群の自由積加群ベクトル空間直和などを例として含む圏論的構成である。対象の族の余積は本質的に、族の各対象がそこへのをもつような「最も固有的でない (least specific)」対象である。それは圏論的(直)積圏論的双対概念であり、これは定義がすべての矢印を逆にすることを除けば積と同じであることを意味する。名前と表記の一見無害な変化にも関わらず、余積は積と劇的に異なり得るし、典型的にはそうなる。

定義

二つの対象の余積

C の二つの対象 X1, X2 に対し、それら二つの対象の余積 X1 X2(または X1X2 あるいは単に X1 + X2 と書くこともある)とは、二つの射 i1: X1X1 X2 および i2: X2X1 X2 が存在して、以下の普遍性を満足する:

余積の普遍性
任意の対象 Y および射の組 f1: X1 → Y および f2: X2 → Y が与えられたとき、射 f: X1 X2Y が一意に存在して f1 = fi1 および f2 = fi2 を満たす。すなわち以下の図式 可換となる。

この図式を可換にする一意的な射 ff1 f2, f1f2, f1 + f2, [f1, f2] などとも書かれる。 射 i1, i2標準入射と呼ばれる(が一般には単射でもモノですらもなるとは限らない)。

任意個の余積

余積の定義は適当な添字集合 J添字付けられた任意の対象の族に対して拡張できる。族 {Xj : jJ} の余積とは、対象 X と射の族 ij: XjX との組であって、以下の普遍性を満足するものをいう:

余積の普遍性
任意の対象 Y および射の族 fj: XjY が与えられたとき、一意的な射 f: XY が存在して、任意の j に対して fj = fij を満たす。すなわち、図式 が任意の jJ に対して可換となる。

{Xj} の余積 X はしばしば X = テンプレート:Su Xjテンプレート:Su Xj などと書かれる。また、一意的な射 f が個々の射 fj に依存していることを明示する意味で テンプレート:Su fj: テンプレート:Su XjY あるいは テンプレート:Su (fj: XjY) と書かれることもある。

集合の圏 Set における余積は、単に集合の直和(非交和包含写像である射 ij との組である。直積の場合とは異なり、他の圏における余積は一見して集合の余積に基づくものばかりではない、これは集合の合併は演算を保存することに関してよく振る舞わない(例えば二つの群の和集合が群であるとは限らない)ことによる。それゆえ異なる圏における余積は互いに劇的に異なることがある。例えば、群の圏 Grp における余積(自由積と呼ばれる)は、かなり複雑である。一方、アーベル群の圏 Abベクトル空間の圏あるいはそれらの一般化としての加群の圏でも同じことだが)において、余積(直和と呼ばれる)は、有限個の非零項しかもたない直積の元全体からなる。(したがってそれは有限個の因子の場合には直積と完全に一致する。)

位相空間の場合の余積は、非交和に非交和位相を入れたものである。つまりそれは、台集合の非交和を台として、余積因子である各空間の何れにおいても開となる集合を開集合としたもので、これはむしろわかりやすい例ということになる。ホモトピー論において基本的な基点付き空間の圏において、余積は(空間の集まりを共通の基点で合わせることになる)楔和である。

このように違いを見せながらも、それでもやはり集合の直和はこれら概念の核心的な部分を担っている。アーベル群の直和は(各直和因子の非零元からなる部分集合の非交和に一つの共通零元を付け加えたものという意味で)「ほとんど」非交和として形作られる群である。ベクトル空間に対しても同様で、「ほぼ」非交和によってはられる空間になる。 群の自由積も、生成元の集合の同様の「ほぼ」非交和に対して、異なる集合から来る二つの元が交換することを全く許さないという条件の下で生成される。

性質

上で与えられた余積の構成は実は圏論の余極限の特別な場合である。圏 C における余積は離散圏English版から C の中への任意の関手の余極限として定義できる。一般にはすべての族 {Xj} が余積を持つわけではないが、もし持てば、余積は強い意味で一意である:

余積の一意性
ij: XjX および kj: XjY がともに族 {Xj} の余積ならば、(余積の定義によって)一意的な同型 f: XY が存在して各 jJ に対して fij = kj となる。

任意の普遍性がそうであるように、余積は普遍射として理解できる。Δ: CC × C を各対象 X順序対 (X, X) を、各射 f: XY に対し (f, f) を割り当てる対角関手とする。すると C において余積 X + YC × C の対象 (X, Y) から関手 Δ への普遍射によって与えられる。

空集合によって添字付けられた余積(つまり空余積 (empty coproduct))は C始対象と同じである。

C における U から V への射全体の成す集合(つまり C における Hom-集合English版)を HomC(U, V) と書けば、自然同型English版

[math]\operatorname{Hom}_C\!\Big(\coprod_{j\in J}X_j,Y\Bigr) \cong \prod_{j\in J}\operatorname{Hom}_C(X_j,Y)[/math]

が存在する。右辺の積は集合の圏 Set における圏論的積、すなわち集合の直積(デカルト積)であることに注意する。この同型は、右辺に属する任意の射、それは射の (fj)jJ ∈ ∏テンプレート:Su Hom(Xj, Y) の形に書ける、を テンプレート:Su fj ∈ Hom(テンプレート:Su Xj, Y) に写す全単射によって与えられる。全射性は図式の可換性から従う: すなわち、任意の射は f = テンプレート:Su fij の形で掛けるから、これは族 (fij)jJ の余積である。単射性は普遍構成から従う余積の一意性である。同型の自然性もまた図式の結果である。従って反変 Hom-関手は余積を積に変える。別の言い方をすると、逆圏 Copp から Set への関手として、Hom-関手は連続である。ここに、函手が連続であるとは、それが極限を保存するという意味において言う。C における余積(これは余極限の一種であった)は Copp における積(これは極限の一種である)となることに注意せよ。

J によって添字付けられた対象の任意の族が C において余積を持つならば、余積をとる操作は一貫したやり方で取り纏めて函手 CJC にすることができる。積の場合と同じく、この関手は共変であることに注意する。

添字集合 J有限集合のとき、具体的にそれを J = {1, …, n} と書けば、対象の有限列 X1, …, Xn の余積はしばしば X1⊕ ⋯ ⊕ Xn などと書かれる。ここで、C において任意の有限余積が存在すると仮定し、また先に述べたように余積を函手とみなし、C始対象(空余積に対応する)を 0 と書くものとすれば、自然同型English版

[math]\begin{align} &X\oplus (Y \oplus Z)\cong (X\oplus Y)\oplus Z\cong X\oplus Y\oplus Z,\\ &X\oplus 0 \cong 0\oplus X \cong X,\\ &X\oplus Y \cong Y\oplus X \end{align}[/math]

の存在が言える。これらの性質は形式的に(同型を等号で置き換えれば)可換モノイドの性質と同様である。すなわち、有限余積を持った圏は対称モノイド圏の例になっている(デカルト圏の項も参照)。

圏が零対象 Z を持てば、一意的な射 XZ が存在し(Z終対象であることによる)、したがって射 XYZY が作れる。Z は始対象でもあるから、前の段落で述べた通り自然な同型 ZYY がある。したがって射 XYX および XYY を得るから、これによって自然な射 XYX × Y が推論され、これを帰納法によって任意の有限余積から対応する有限積への自然な射に拡張できる。この射は一般には同型とは限らない: 実際、群の圏 Grp においてそれは真のエピ射となり、基点付き集合の圏 Set においてそれは真のモノ射となる。しかし、任意の前加法圏においてこの射は同型射であり、対応する対象は双積English版と呼ばれる。すべての有限双積をもつ圏は加法圏と呼ばれる。

関連項目

参考文献

外部リンク