商集合の普遍性
商集合を普遍性によって特徴付けます。
◆Prop.SetTop.3.12.1. (商集合の普遍性)
を集合、
を
上の同値関係、
を写像とする。また、
を商写像とする。
このとき、写像 で、
を満たすものがただ一つ存在するための必要十分条件は、
ならば
が成り立つことである。
すなわち、 ならば
が成り立つとき、またそのときに限り、次の図式を可換にする
がただ一つ存在する。
さらに、 ならば
が成り立つとき、
は単射である。
■Prf.
ならば
が成り立つとき、写像
で、
を満たすものがただ一つ存在することを示す。
まず、写像 の存在を示そう。任意の
に対し、
と定めると、
となる。
ただし、 の定義は見た目上
の代表元
の取り方に依存しているように見える。そこで、
のとき
であることを示し、写像
がwell-definedであることを示そう。
のとき、
であるから、
が成り立つ。よってwell-definedである。
写像 がただ一つであることを示す。他の写像
が
を満たすとき、
を示す。
より、任意の
に対して、
となるから、
である。
逆に、写像 で、
を満たすものがただ一つ存在するとき、
ならば
が成り立つことを示す。
ならば
であるから、
より、
である。
さらに、 ならば
が成り立つとして、
が単射であることを示す。
とすると、
より、
である。
したがって仮定より であるから、
よって、 は単射である。
以上から、示された。 □
さて、集合 上の同値関係をわかりやすく
で表し、集合
上の同値関係を
で表します。
Prop.SetTop.3.12.1.において とし、
としては
を考えます。ただし、
は商写像です。
このとき、Prop.SetTop.3.12.1.における という条件は、
、すなわち
となるので、つまり
となります。
したがって、Prop.SetTop.3.12.1.を適用すると次の系を得ます。
◆Cor.SetTop.3.12.2.
を集合、
をそれぞれ
上の同値関係とし、
を写像とする。また、
,
を商写像とする。
このとき、写像 で、
を満たすものがただ一つ存在するための必要十分条件は、
ならば
が成り立つことである。
図式で表すと次のようになる。
さらに、 ならば
が成り立つとき、
は単射である。
Cor.SetTop.3.12.2.は元の集合における写像を商集合における写像に置き換えて考えることができる必要十分条件を示しており、ときに有用です。
この記事へのコメントはありません。