「空集合ってどんな集合？」と聞かれると、定義は知っていてもイメージしにくいと感じる方は多いのではないでしょうか。
空集合は「要素を1つも持たない集合」のことですが、具体例を見ると一気に理解しやすくなります。
この記事では、身近な日常の例・数学的な例・集合演算で登場する例など、空集合のさまざまな具体例をわかりやすく紹介していきます。
空集合のイメージをしっかりつかんで、集合論の理解を深めましょう。
空集合になる具体例は「条件に当てはまるものが存在しない集合」
それではまず、空集合になる集合の具体例の考え方について解説していきます。
空集合とは、ある条件を設定したとき、その条件を満たすものが1つも存在しない集合のことです。
日常生活でも数学でも、条件が厳しすぎたり矛盾していたりすると空集合になります。
空集合になる条件の特徴：
・条件が矛盾している（AかつAでない、など）
・現実に存在しないものを集めようとしている
・方程式の解が定義域に存在しない
・2つの集合が全く重ならない（互いに素）
これらの条件を念頭に置くと、どんな場面で空集合が登場するかが把握しやすくなります。
身近な生活の中の空集合の例
日常生活の中にも空集合に相当するものはたくさんあります。
「体育館にいる猫の集合」という例を考えてみましょう。
通常の学校の体育館には猫はいませんので、この集合は空集合となります。
また「今日の宿題をすべて終わらせた生徒で、かつ宿題を一切やっていない生徒の集合」は、条件が矛盾しているため空集合です。
このように、「現実にいない・ありえない」状況を集合で表すと空集合になります。
数学的な空集合の例
数学の問題では次のような集合が空集合になります。
数学的な空集合の例：
① A ＝ {x ∈ ℝ | x² ＝ -1} → 実数の中でx²＝-1を満たすものはないため空集合
② B ＝ {x ∈ ℤ | 1 ＜ x ＜ 2} → 1と2の間の整数は存在しないため空集合
③ C ＝ {n ∈ ℕ | n ＜ 0} → 自然数に負の数は存在しないため空集合
④ D ＝ {x | x ≠ x} → いかなる数もx＝xが成り立つため空集合
①は虚数（複素数）の話で、実数の範囲では解が存在しません。
④は「自分自身と等しくない数」という条件であり、これを満たすものは存在しません。
集合演算から生まれる空集合
集合の演算から空集合が生まれるケースもよく見られます。
「偶数の集合」と「奇数の集合」の共通部分（積集合）は、偶数であり同時に奇数である数は存在しないため空集合になります。
また、「素数の集合」と「合成数の集合」の共通部分も空集合です。
これらの例は、互いに素な集合（disjoint sets）として知られています。
集合の表し方と空集合の表現
続いては、集合の表し方と空集合の表現について確認していきます。
集合の表記法にはいくつかの種類があり、空集合もそれぞれの方法で表現できます。
外延的記法での空集合
集合の外延的記法（要素を直接列挙する方法）では、空集合を{}と表します。
中括弧の中に何も書かない形が外延的記法での空集合表現です。
たとえば、{1, 2, 3}は1、2、3の3つの要素を持つ集合ですが、{}は要素ゼロの集合、すなわち空集合です。
内包的記法での空集合
内包的記法（条件を使って集合を定義する方法）では、条件が満たされないとき空集合になります。
{x ∈ ℝ | x² ＋ 1 ＝ 0}のように条件を設定しても、実数解が存在しなければ空集合となります。
内包的記法は集合論の問題でよく使われる表記法ですので、空集合との関係を理解しておくと役立つでしょう。
ベン図での空集合の表現
ベン図は集合を視覚的に表すためのツールです。
空集合はベン図では「何も入っていない領域」として表現されます。
たとえば2つの円が全く重ならないベン図では、共通部分に当たる領域が存在せず、それが空集合を表しています。
ベン図を使うと、空集合がどのような状況で登場するかが視覚的に確認しやすくなります。
空集合が登場する数学の定理と応用
続いては、空集合が登場する数学の定理と応用場面について解説していきます。
空集合は単なる「何もない集合」ではなく、数学の様々な場面で活躍しています。
互いに素な集合の例
2つの集合AとBが互いに素（disjoint）であるとは、A ∩ B ＝ ∅が成り立つことを言います。
| 集合A | 集合B | A ∩ B | 互いに素？ |
|---|---|---|---|
| 偶数全体 | 奇数全体 | ∅ | はい |
| {1,2,3} | {4,5,6} | ∅ | はい |
| {1,2,3} | {3,4,5} | {3} | いいえ |
| 素数全体 | 合成数全体 | ∅ | はい |
互いに素な集合の概念は、確率論・組み合わせ論・整数論など広範な数学分野で使われています。
方程式の解集合と空集合
方程式の解集合が空集合になるケースを考えると、空集合の意味がより具体的になります。
x² ＋ 1 ＝ 0の実数解の集合は∅であり、方程式に「実数解なし」と書く代わりに「解集合は∅」と表現することができます。
このような表現は数学的に簡潔かつ正確であり、集合論の言語が数学全体で活用されている例のひとつです。
確率論での空事象
確率論では、空集合は「空事象（impossible event）」と対応します。
絶対に起こらない事象の確率はゼロであり、その事象に対応する集合（標本空間の部分集合）は空集合になります。
たとえば「サイコロを1回振って7が出る事象」は空事象であり、∅と対応します。
確率論において空集合の概念は、事象の演算や確率の公理を理解するうえで欠かせません。
まとめ
この記事では、空集合の具体例を身近な例・数学的な例・集合演算・数学の定理など多角的に解説しました。
空集合とは「条件に当てはまるものが存在しない集合」であり、日常にも数学にも空集合になる状況は多く存在します。
互いに素な集合・方程式の解集合・確率の空事象など、様々な場面で空集合が登場することがわかりました。
具体例を通じて空集合のイメージをしっかりつかむことで、集合論の理解が格段に深まるでしょう。
今後の数学学習においても、空集合の概念を積極的に活用してみてください。
