和集合の公理
📂集合論和集合の公理
公理
∀X(∃U(∀a(a∈x∧x∈X⟹a∈U)))
任意の集合Xに対して、Xの全ての要素の要素を含む集合Uが存在する。
和集合の定義
和集合公理は、以下のように定義される和集合の存在を保証する。
x∈A∨x∈B⟺x∈A∪B
任意の二つの集合A、Bに対して、少なくともどちらか一方に属する要素の集合をAとBの和集合と呼び、A∪Bのように示す。
説明
和集合公理と和集合の定義は、明確に異なる。もちろん、定義は単にある概念を言うだけであり、公理がその存在を保証するという違いもあるが、「要素の要素を含む」という表現は異なる。要素1の要素2と言えば、要素1は当然集合であり、要素1の形状は対公理を通じて存在が保証され、{A,B}のA、Bのように見える。言い換えれば、ただの和集合は、AとBの間の操作∪で作られるものと見ることができ、和集合公理が述べようとしている和集合の概念は、X={A,B}のような集合の集合が与えられたとき、U(X):={a∈x:x∈X}のようなものを指す。
実際、学部レベル以下の数学を扱う際にこの区別が大きな意味を持つことはないが、好奇心からでも公理を理解したい、または珍しく必要な場合は、正確に理解して進むべきだ。
基本的性質
集合Xの部分集合A、B、Cに対して、次が成り立つ。
- [1] 同一律:
A∪∅=AA∩X=A
- [2] 冪等律:
A∪A=AA∩A=A
- [3] 交換律:
A∪B=B∪AA∩B=B∩A
- [4] 結合律:
A∪(B∪C)=(A∪B)∪CA∩(B∩C)=(A∩B)∩C
- [5] 分配律:
A∩(B∪C)=(A∩B)∪(A∩C)A∪(B∩C)=(A∪B)∩(A∪C)
- [6] ド・モルガンの定理:
(A∪B)c=Ac∩Bc(A∩B)c=Ac∪Bc
- [7]
(A∖B)c=Ac∪B
証明
[7]
x∈(A∖B)c⟺x∈/A∖B⟺x∈/A or x∈B⟺x∈Ac or x∈B⟺x∈Ac∪B
■