集合の代数学のソースを表示

{{No footnotes|date=2023年3月}}
'''集合の代数学'''（しゅうごうのだいすうがく、{{lang-en-short|<em>algebra of sets</em>}}）は、[[集合論|集合]]の集まりを[[合併 (集合論)|結び]]・[[共通部分 (数学)|交わり]]・[[差集合|補演算]]といった集合演算、集合の[[等式|相等関係]]・[[部分集合|包含関係]]のような[[二項関係]]などを持つ体系として捉えたものである。集合の代数学を考えることで、[[集合]]に関する基本的な性質・法則を明らかにし、これらの演算や関係に伴って必要となる式の評価や計算の実行に関して系統的な扱いができるようになる。

== はじめに ==
集合の代数学は、集合操作と集合関係の基本的性質を扱う。これらの性質は集合の根本的性質への洞察を提供するとともに、実用的な側面も持っている。

通常の算術における式やその計算とまったく同様に、集合に関する式や計算も複雑になりうるから、そのような式の評価や効率的な計算を自在に行うために、体系的な取り扱い方を有しているということは有効である。

算術について、演算と関係の基本性質を扱うのは初等代数学である。

例えば、[[加法]]と[[乗法]]は、[[結合法則]]、[[交換法則]]、[[分配法則]]といったよく知られた法則に従う。また、「&mdash;以下」といった関係は[[反射律]]、[[反対称律]]、[[推移律]]といった法則に従う。これらの規則は数や数の操作や関係の基本的性質を表しているだけでなく、計算を容易にするツールとしても働く。

集合の代数学は、そのような初等代数学を集合論に適用するものである。和集合、共通部分、差集合といった集合論的操作や等価性や部分性の関係に関する代数学である。集合そのものについては[[集合]]の項目や[[素朴集合論]]の項目を参照。また、集合の厳密な[[公理]]的扱いについては[[公理的集合論]]を参照。

== 集合の代数学の基本法則 ==
[[合併 (集合論)|和集合]]と[[共通部分 (数学)|共通部分]]に関する[[二項関係]]は、さまざまな[[恒等式]]を満足する。その一部には法則としての名称がある。以下で命題として[[証明 (数学)|証明]]なしで3つの規則を示す。

'''命題 1''': 任意の[[集合]] ''A''、''B''、''C'' について、以下が成り立つ。
:[[交換法則]]:
::*<math>A \cup B = B \cup A</math>
::*<math>A \cap B = B \cap A</math>
:[[結合法則]]:
::*<math>(A \cup B) \cup C = A \cup (B \cup C)</math>
::*<math>(A \cap B) \cap C = A \cap (B \cap C)</math>
:[[分配法則]]:
::*<math>A \cup (B \cap C) = (A \cup B) \cap (A \cup C)</math>
::*<math>A \cap (B \cup C) = (A \cap B) \cup (A \cap C)</math>

和集合と共通部分が数の加法と乗法に性質が非常によく似ている点に注意が必要である。加法や乗法と同じく、和集合や共通部分の操作は可換で結合的であり、共通部分は和集合に対して分配的である。しかし、加法や乗法と異なる点として、和集合も共通部分に対して分配的である。

次の命題では3つの特殊な集合に関する2組の規則を示している。3つの特殊な集合とは、[[空集合]]、[[普遍集合]]（universal set）、[[差集合|補集合]]である。

'''命題 2''': 普遍集合 '''U''' の任意の[[部分集合]] ''A'' について、以下が成り立つ。

:同一性の規則（identity laws）:
::*<math>A \cup \varnothing = A</math>
::*<math>A \cap U = A</math>
:相補性の規則（complement laws）:
::*<math>A \cup A^{\mathrm{C}} = U</math>
::*<math>A \cap A^{\mathrm{C}} = \varnothing</math>

同一性の規則（と相補性の規則）は、加法や乗法で 0 と 1 がそうであるように、&empty; と '''U''' が和集合や共通部分の[[単位元]]であることを示している。

加法や乗法とは異なり、和集合や共通部分は[[逆元]]を持たない。しかし、相補性の規則は一種の逆元的な集合の相補性の[[単項演算]]の基本的性質を示している。

以上の5組の規則（交換、結合、分配、同一性、相補性）が集合の代数学の基本であり、これらから全ての集合の代数学の定理が生まれる。

== 双対原理 ==
{{seealso|{{仮リンク|順序集合に関する双対性|en|Duality (order theory)}}}}
上述の命題から次のような興味深いパターンが表れる。すなわち、全ての規則は組になっていて、∪ と ∩、&empty; と '''U''' を入れ替えることで相互に変換が可能である（束に関する双対性）。

これは集合の代数学の重要かつ強力な性質の例であり、'''[[集合の双対原理]]'''（principle of duality）と呼ばれ、集合に関する任意の正しい式について、その中の和集合演算と共通部分演算を入れ替え、'''U''' と &empty; を入れ替えた式もやはり正しいことを示している。入れ替えた後の式が入れ替え前の式と同じである場合、これらを'''自己双対'''（self-dual）であるという。

== 和集合と共通部分の追加規則 ==
次の命題は、和集合と共通部分に関する6つの重要な法則を示している。

'''命題 3''': 普遍集合 '''U''' の任意の部分集合 ''A'' と ''B'' について、以下が成り立つ。
:[[等冪]]法則（idempotent laws）:
::*<math>A \cup A = A</math>
::*<math>A \cap A = A</math>
:統治法則（domination laws）:
::*<math>A \cup U = U</math>
::*<math>A \cap \varnothing = \varnothing</math>
:[[吸収法則]]（absorption laws）:
::*<math>A \cup (A \cap B) = A</math>
::*<math>A \cap (A \cup B) = A</math>

前述の通り、命題3の各法則は命題1および命題2の基本法則から導出できる。例として、以下に和集合の等冪法則の証明を示す。

''証明:''
{|
|-
|<math>A \cup A</math>
|<math>=(A \cup A) \cap U</math>
|共通部分の同一性の規則による
|-
|
|<math>=(A \cup A) \cap (A \cup A^{\mathrm{C}})</math>
|和集合の相補性の規則による
|-
|
|<math>=A \cup (A \cap A^{\mathrm{C}})</math>
|共通部分に対する和集合の分配法則による
|-
|
|<math>=A \cup \varnothing</math>
|共通部分の相補性の規則による
|-
|
|<math>=A</math>
|和集合の同一性の規則による
|}
次の証明は、上記の和集合の等冪法則の証明と双対関係にあり、共通部分の等冪法則の証明となっている。

''証明:''
{|
|-
|<math>A \cap A</math>
|<math>=(A \cap A) \cup \varnothing</math>
|和集合の同一性の規則による
|-
|
|<math>=(A \cap A) \cup (A \cap A^{\mathrm{C}})</math>
|共通部分の相補性の規則による
|-
|
|<math>=A \cap (A \cup A^{\mathrm{C}})</math>
|和集合に対する共通部分の分配法則による
|-
|
|<math>=A \cap U</math>
|和集合の相補性の規則による
|-
|
|<math>=A</math>
|共通部分の同一性の規則による
|}

== 補集合の追加規則 ==
次の命題は補集合に関する集合の代数学の5つの規則を示している。

'''命題 4''': ''A'' と ''B'' が普遍集合 '''U''' の部分集合であるとき、以下が成り立つ。
:[[ド・モルガンの法則]]:
::*<math>(A \cup B)^{\mathrm{C}} = A^{\mathrm{C}} \cap B^{\mathrm{C}}</math>
::*<math>(A \cap B)^{\mathrm{C}} = A^{\mathrm{C}} \cup B^{\mathrm{C}}</math>
:二重補集合または[[対合]]法則:
::*<math>A^{\mathrm{CC}} = A</math>
:普遍集合と空集合の補集合の規則:
::*<math>\varnothing^{\mathrm{C}} = U</math>
::*<math>U^{\mathrm{C}} = \varnothing</math>

二重補集合の規則は自己双対であることに注意。

次の命題も自己双対であり、補集合の規則を満たす集合は補集合しかないことを示している。換言すれば相補性は補集合の規則で特徴付けられる。

'''命題 5''': ''A'' と ''B'' が普遍集合 '''U''' の部分集合であるとき、以下が成り立つ。
:補集合の普遍性:
::* <math>A \cup B = U</math> で、かつ <math>A \cap B = \varnothing</math> なら、<math>B = A^{\mathrm{C}}</math> が成り立つ。

== 包含の代数学 ==
次の命題は、部分集合に[[順序集合|半順序]]が成り立つことを示している。

'''命題 6''': 集合 ''A''、''B''、''C'' について次が成り立つ。

:[[反射律]]:
::*<math>A \subseteq A</math>

:[[反対称律]]:
::*<math>A \subseteq B</math> かつ <math>B \subseteq A</math> であることと <math>A = B</math> は等価

:[[推移律]]:
::* <math>A \subseteq B</math> で、かつ <math>B \subseteq C</math> であるなら、<math>A \subseteq C</math> が成り立つ。

次の命題は、任意の集合 ''S'' とその[[冪集合]]に包含関係の順序性、[[束 (束論)|上限と下限]]があり、分配法則と相補性の規則から[[ブール代数]]が導かれることを示している。

'''命題 7''': 集合 ''A''、''B''、''C'' が集合 ''S'' の部分集合であるとき、以下が成り立つ。

:下限と上限の存在:
::*<math>\varnothing \subseteq A \subseteq S</math>

:[[束 (束論)|結び]]の存在:
::*<math>A \subseteq A \cup B</math>
::* <math>A \subseteq C</math> で、かつ <math>B \subseteq C</math> なら、<math>A \cup B \subseteq C</math> が成り立つ。

:[[束 (束論)|交わり]]の存在:
::*<math>A \cap B \subseteq A</math>
::* <math>C \subseteq A</math> で、かつ <math>C \subseteq B</math> なら、<math>C \subseteq A \cap B</math> が成り立つ。

次の命題は <math>A \subseteq B</math> という式を和集合や積集合や補集合を使って表現できることを示している。

'''命題 8''': 任意の2つの集合 ''A'' と ''B'' について、以下の式は等価である。
:*<math>A \subseteq B</math>
:*<math>A \cap B = A</math>
:*<math>A \cup B = B</math>
:*<math>A - B = \varnothing</math>
:*<math>B^{\mathrm{C}} \subseteq A^{\mathrm{C}}</math>

この命題は集合の包含関係を和集合や共通部分で表せることを示しており、換言すれば包含関係の記述は公理的に冗長である。

== 差集合の代数学 ==

以下の命題は[[差集合]]に関するいくつかの恒等式が並べてある。&minus; は差集合を求める演算を表し、<math>\bullet^{\mathrm{C}}</math> は　<math>\bullet</math> の[[補集合]]を表す。

'''命題 9''': 任意の普遍集合 '''U''' とその部分集合 ''A''、''B''、''C'' について、以下が成り立つ。
:*<math>C - (A \cap B) = (C - A) \cup (C - B)</math>
:*<math>C - (A \cup B) = (C - A) \cap (C - B)</math>
:*<math>C - (B - A) = (A \cap C)\cup(C - B)</math>
:*<math>(B - A) \cap C = (B \cap C) - A = B \cap (C - A)</math>
:*<math>(B - A) \cup C = (B \cup C) - (A - C)</math>
:*<math>A - A = \varnothing</math>
:*<math>\varnothing - A = \varnothing</math>
:*<math>A - \varnothing = A</math>
:*<math>B - A = A^{\mathrm{C}} \cap B</math>
:*<math>(B - A)^{\mathrm{C}} = A \cup B^{\mathrm{C}}</math>
:*<math>U - A = A^{\mathrm{C}}</math>
:*<math>A - U = \varnothing</math>

== 関連項目 ==
* [[論理演算]]
* [[ブール代数]]
* [[有限加法族]]

== 参考文献 ==
* Stoll, Robert R.; ''Set Theory and Logic'', Mineola, N.Y.: Dover Publications (1979) ISBN 0-486-63829-4. [https://books.google.co.jp/books?id=3-nrPB7BQKMC&pg=PA16&redir_esc=y&hl=ja#v=onepage&q&f=false "The Algebra of Sets", pp 16&mdash;23]
* Courant, Richard, Herbert Robbins, Ian Stewart, ''What is mathematics?: An Elementary Approach to Ideas and Methods'', Oxford University Press US, 1996. ISBN 978-0-19-510519-3. [https://books.google.co.jp/books?id=UfdossHPlkgC&pg=PA17-IA8&dq=%22algebra+of+sets%22&hl=en&ei=k8-RTdXoF4K2tgfM-p1v&sa=X&oi=book_result&ct=result&redir_esc=y#v=onepage&q=%22algebra%20of%20sets%22&f=false "SUPPLEMENT TO CHAPTER II THE ALGEBRA OF SETS"]

== 外部リンク ==
*[http://www.apronus.com/provenmath/btheorems.htm Operations on Sets at ProvenMath]

{{DEFAULTSORT:しゆうこうたいすう}}
[[Category:集合の基本概念]]
[[Category:ブール代数]]
[[Category:数学に関する記事]]

[[ru:Алгебра множеств]]