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