空集合の性質と集合演算における含有の仕組みを解説

集合論でよく登場する空集合は、全ての集合の部分集合であるという性質を持っています。しかし、A∩B や A∪B のような集合演算の中で、空集合がどのように含まれるかは少し複雑です。本記事では、空集合の基本的な性質と、集合演算での挙動を具体例を交えて解説します。

空集合とは何か？

空集合とは、要素を一つも持たない集合のことです。記号で表すと ∅ となります。空集合は、要素が存在しないため、全ての集合の部分集合として扱われます。

例えば、任意の集合 A に対して ∅ ⊆ A が成り立ちます。これは、空集合の要素がないため、矛盾する要素が存在しないからです。

集合 A∩B は A と B に共通する要素を集めた集合です。もし A と B に共通の要素が存在しなければ、交わりは空集合になります。

具体例として、A={1,2}、B={3,4} の場合、A∩B=∅ です。空集合は全ての集合の部分集合ですが、交わりに含まれるのは「共通する要素がないときのみ」になります。

集合 A∪B は A または B に含まれる全ての要素を集めた集合です。空集合は何も要素を持たないため、A∪B に追加される要素はありませんが、数学的には ∅ ⊆ A∪B は常に成り立ちます。

例えば、A={1,2}、B={3} の場合、A∪B={1,2,3} であり、空集合は要素を追加しませんが、部分集合として含まれます。

交わりや和の結果として空集合が現れるのは、要素が存在しない場合のみです。つまり、交わりに共通する要素がなければ ∅ になり、和では要素が一つもない場合に ∅ になります。

この原理により、空集合は「全ての集合の部分集合である」性質と「特定の集合演算で条件付きで現れる」性質の両方を持っています。

空集合は全ての集合の部分集合であるため、数学的には常に含まれます。しかし、交わりや和の結果として空集合が現れるのは、共通する要素がない場合や要素が存在しない場合に限られます。空集合の性質を理解することで、集合演算の理解がより深まります。