集合とは何か – 数学で対象をまとめるための基本概念

集合は、数学で対象をひとまとまりとして扱うための基本概念です。日常語としては「ものの集まり」に近いですが、数学ではもう少し厳密に、ある対象が含まれるかどうかを判断できる形で扱います。なんとなく似ているものを集めるのではなく、条件によって対象を切り出すところに集合の意味があります。

この記事は、集合について学び直したときのメモを、集合、要素、空集合、部分集合、和集合・共通部分・差集合、無限集合という順番で整理したものです。厳密な集合論へ入る前に、まずは集合を「条件で対象を定義する道具」として理解します。

この記事で確認すること：集合とは、対象を条件で切り出し、その中に含まれるかどうかを判断できるようにする考え方です。要素、空集合、部分集合、和集合、共通部分、差集合、無限集合を順番に見ると、集合が単なる「集まり」ではなく、条件定義の道具であることが分かります。

集合とは何か

集合とは、ある条件に基づいて対象をまとめたものです。たとえば、果物、曜日、自然数、素数のように、対象を一つのまとまりとして扱うときに集合を使います。ここで大事なのは、その対象が集合に含まれるかどうかを判断できることです。

たとえば、部屋にある果物の集合を F とすると、次のように書けます。

F = {りんご, みかん, バナナ}

曜日の集合を W とすれば、次のように表せます。

W = {月, 火, 水, 木, 金, 土, 日}

ここでは、りんごは F に含まれますが、机や椅子は含まれません。月曜日は W に含まれますが、祝日は W の要素ではありません。このように、集合は対象を分類するための輪郭を与えます。集合を考えるとは、何を含め、何を含めないのかを決めることでもあります。

集合と要素

集合に含まれる一つひとつの対象を要素と呼びます。要素であることは、記号 ∈ を使って表します。りんごが集合 F の要素である場合は、次のように書けます。

りんご ∈ F

一方で、ぶどうが集合 F に含まれていない場合は、次のように書けます。

ぶどう ∉ F

集合の基本は、この「含まれる」「含まれない」を明確に扱うことです。条件が曖昧なままだと、要素かどうかを判断できません。逆に、条件が明確であれば、対象が増えても同じ基準で扱えます。

空集合

要素を一つも持たない集合を空集合と呼びます。空集合は ∅ で表します。

∅ = {}

空集合は「何もない」そのものではなく、「要素を持たない集合」として扱う点が重要です。たとえば、「10 より大きく、かつ 5 より小さい自然数の集合」は、条件としては定義できます。しかし、その条件を満たす自然数は存在しません。この場合、その集合は空集合になります。

部分集合

集合 A のすべての要素が集合 B に含まれるとき、A は B の部分集合であるといいます。記号では次のように表します。

A ⊆ B

ここで注意したいのは、A と B が同じ集合であっても、A ⊆ B は成り立つという点です。部分集合は「完全に小さい集合」だけを意味するわけではありません。一方で、A が B の部分集合であり、かつ A と B が等しくない場合は、A を B の真部分集合と呼びます。

A ⊂ B

また、空集合はすべての集合の部分集合です。直感的には少し不思議ですが、「空集合のすべての要素は B に含まれる」という条件が、要素が存在しないために破られない、と考えると理解しやすくなります。

和集合、共通部分、差集合

集合を使うと、複数の条件を組み合わせて対象を整理できます。代表的なのが、和集合、共通部分、差集合です。

名称	記号	意味
和集合	A ∪ B	A または B に含まれる要素の集合
共通部分	A ∩ B	A と B の両方に含まれる要素の集合
差集合	A \ B	A に含まれるが B には含まれない要素の集合

たとえば、A を偶数の集合、B を 3 の倍数の集合とすれば、A ∩ B は 6 の倍数の集合になります。集合を使うと、複数の条件を重ねたときに何が残るのか、どの対象が除外されるのかを見やすくできます。

無限集合

要素の数が有限ではない集合を無限集合と呼びます。自然数全体の集合や整数全体の集合は、代表的な無限集合です。

N = {1, 2, 3, ...} Z = {..., -3, -2, -1, 0, 1, 2, 3, ...}

自然数は無限に続くため、有限時間ですべてを数え終えることはできません。ただし、1, 2, 3, … のように順番に列挙できます。このような無限集合は可算無限集合と呼ばれます。自然数全体も無限集合ですが、その部分集合である偶数全体の集合や倍数全体の集合も無限集合になります。

B(3) = {3, 6, 9, 12, 15, ...} B(7) = {7, 14, 21, 28, ...}

例題で確認する

5 の倍数全体の集合を B(5)、8 の倍数全体の集合を B(8)、10 の倍数全体の集合を B(10) とすると、次のように表せます。

B(5) = {5, 10, 15, 20, 25, ...} B(8) = {8, 16, 24, 32, 40, ...} B(10) = {10, 20, 30, 40, 50, ...}

m の倍数全体の集合を B(m)、n の倍数全体の集合を B(n) とします。このとき、B(m) ⊆ B(n) が成り立つなら、m の倍数はすべて n の倍数です。この関係が成り立つには、m が n の倍数である必要があります。

たとえば、B(10) は B(5) の部分集合です。10 の倍数は、すべて 5 の倍数でもあるからです。

B(10) ⊆ B(5)

逆に、B(5) ⊆ B(10) は成り立ちません。5 は 10 の倍数ではないためです。このように、集合の包含関係を見ると、数の性質を条件の関係として確認できます。

素数の集合と奇数の集合

素数全体の集合を P とすると、次のように表せます。

P = {2, 3, 5, 7, 11, ...}

奇数全体の集合を K としたとき、P ⊆ K は成り立ちません。なぜなら、素数には 2 が含まれており、2 は奇数ではないからです。ただし、2 を除いた素数全体の集合であれば、奇数全体の集合の部分集合になります。

P \ {2} ⊆ K

ここで大事なのは、印象ではなく条件を見ることです。「素数はだいたい奇数」という感覚だけでは、2 という例外を落とします。集合を使うと、その例外も含めて、条件が本当に成り立つのかを確認できます。

集合は条件定義の練習になる

集合を学ぶ意味は、記号を覚えることだけではありません。対象をどの条件で切り出すのか、境界をどこに置くのかを考える練習になります。条件が曖昧であれば、集合に含まれるかどうかを判断できません。逆に条件が明確であれば、対象を同じ基準で扱えます。

これは数学だけでなく、分類、設計、ルール作りにもつながります。何を対象にするのか、どこから外すのか、どの条件を満たせば同じグループとして扱うのか。集合は抽象的な概念ですが、実際には条件と境界を扱うための、かなり実用的な考え方でもあります。

まとめ

集合は、数学の対象をひとまとまりとして扱うための基本概念です。要素、空集合、部分集合、和集合、共通部分、差集合、無限集合といった考え方は、後の数学を理解するための土台になります。

この記事では、集合を厳密な集合論としてではなく、対象を条件で切り出すための考え方として整理しました。日常的な「集まり」という感覚から出発しつつ、どの対象が含まれるのか、集合どうしがどのような関係にあるのかを確認していくと、集合という考え方が少し扱いやすくなります。