直和の普遍性
直和とは何かを集合と元を用いて具体的に記述することなく、他の数学的対象から見てどのような役割を果たしているかという情報だけで実質的に定めてしまいます。これを直和の普遍性といい、普遍性を用いて直和を定義することができます。
◆Prop.SetTop.3.11.1. (直和の普遍性)
を集合族、
を任意の集合とし、任意の写像の族
が与えられているとする。
このとき、次の性質A.を満たす集合 と写像の族
の組は同型(全単射によって同一視できるもの)を除いてただ一つ存在する。
性質A.写像 で、任意の
に対して
を満たすものがただ一つ存在する。
すなわち、任意の に対して、次の図式を可換にする
がただ一つ存在する。
◆Def.SetTop.3.11.2. (積集合の普遍性による定義)
性質A.を満たす集合 と写像の族
の組は同型を除いてただ一つ存在するので、この
を
の直和という。
Rem.1.
積集合のときと同様に、証明は次の2ステップを踏みます。
Step1.性質A.を満たす集合 と写像の族
の組が存在するとしたら、同型を除いてただ一つしか存在しないこと。
Step2.性質A.を満たす集合 と写像の族
の組が少なくとも一つ存在すること。
このうち、Step1.については、普遍性として定式化されているため、極めて標準的なやり方で示すことができます。Step1.については、積集合のときと同じようなやり方で示せることに注目して下さい。
Step2.においては、やはり具体的に構成するのが確実です。ここでは以前定義した「直和」 と(標準的)入射
がまさに性質A.を満たすものであることを示し、証明を終えます。
■Prop.SetTop.3.10.1.のPrf.
Step1.
性質A.を満たす集合 と写像の族
の組が存在するとしたら、同型を除いてただ一つしか存在しないことを示す。
性質A.を満たす別の集合 と写像の族
の組が存在するとしよう。
すると、集合 と写像の族
の組が性質A.を満たすことから、
として、
写像 で、任意の
に対して
を満たすものがただ一つ存在する。
今度は、集合 と写像の族
の組が性質A.を満たすことから、
として、
写像 で、任意の
に対して
を満たすものがただ一つ存在する。
と
が互いに逆写像になっていること、したがって
は
から
への同型を与えることを示せばよい。
と
より、
となる。一方で、
である。
ここで、集合 と写像の族
の組が性質A.を満たすことから、
として、
写像 で、任意の
に対して
を満たすものがただ一つ存在する。
ここで、 と
はともに上の
の条件を満たしているから、
の一意性より、
が成り立つ。
また、集合 と写像の族
の組が性質A.を満たすことから、
として、
写像 で、任意の
に対して
を満たすものがただ一つ存在する。
ここで、 と
はともに上の
の条件を満たしているから、
の一意性より、
が成り立つ。
したがって、 かつ
であるから、
は同型射である。
Step2.
と(標準的)入射
が性質A.を満たすことを示す。
写像 を
で定める。すると、任意の
と任意の
について、
だから、 である。
このような がただ一つしか存在しないことを示そう。
写像 を任意の
に対して
を満たすものであるとする。
このとき、任意の と任意の
について、
だから、 となるので、
以上から、示された。 □
Rem.2.
直和というのは、各 を番号
で「ずらして」共通部分を持たない「和集合」として表したものです。
性質A.というのは、写像の族 、つまり各
から他の集合
を写像を通じて見るということと、直和というすべての
の共通部分を持たない「和集合」を考え、直和から
を見るということが、どちらもすべての
から見ているに等しいと言っているのです。
そして、性質A.を持っている集合が何であるかを具体的に定めなくても、性質A.を持っているというだけで、それが(もしたとえ見かけが異なっていたとしても)実質的に直和でしかないということがわかってしまうのです。
Rem.3.
図式で見るとよくわかりますが、実は直和の普遍性というのは、積集合の普遍性とよく似ています。具体的には、対象である を変えずに、射の向きだけをすべて逆にして得ることができます。これを積集合と直和の双対性と言います。双対的である二つの対象は、射だけをすべて逆向きにして得られるので、元の対象が射に関するある性質を持つことを示せば、自動的に双対である対象も射を逆向きにした性質を満たします。
この記事へのコメントはありません。