集合の記法と演算 | 集合と論理

1 集合を書き表す二つの記法

定義 1.1 (集合と要素). ものの集まりのうち、あるものがその集まりに属するかどうかが一意に定まるものを集合 (set) という。集合を作る一つひとつのものを要素といい、 $a$ が集合 $A$ の要素であることを $a \in A$ 、要素でないことを $a \notin A$ と書く。

集合の表し方には、次の二通りがあります。

外延的記法は、要素を書き並べます。 $A = \{1, 2, 3, 6\}$ のように書きます。
内包的記法は、要素が満たす条件を書きます。 $A = \{\, x \mid x \text{ は } 6 \text{ の正の約数} \,\}$ のように書き、縦線の左に要素の形を、右に条件を置きます。

上の二つの式は、どちらも $6$ の正の約数全体の集合を表しています。要素が有限個で少なければ外延的記法が読みやすく、要素が多い場合や無限にある場合には内包的記法を使います。 $\{\, x \mid x \text{ は実数で } x > 3 \,\}$ のように、要素を書き並べることができない集合は、内包的記法でしか表すことができません。

内包的記法は、条件と集合とを直接に結び付ける書き方です。

2 要素であることと、部分集合であること

定義 2.1 (部分集合). $A$ のすべての要素が $B$ の要素でもあるとき、 $A$ は $B$ の部分集合 (subset) であるといい、 $A \subset B$ と書く。

$A \subset B$ は、条件についての「 $p \Rightarrow q$ 」に対応します。 $\in$ と $\subset$ は別の記号です。 $\in$ の左に来るのは要素であり、 $\subset$ の左に来るのは集合です。 $A = \{1, 2\}$ について、 $1 \in A$ は正しく、 $\{1\} \subset A$ も正しい一方、 $1 \subset A$ と $\{1\} \in A$ はいずれも誤りです。

3 四つの演算

定義 3.1 (和集合・共通部分・補集合・差集合). 全体集合を $U$ とし、 $A$ 、 $B$ をその部分集合とする。

和集合 (union) $A \cup B$ は、 $A$ または $B$ の少なくとも一方に属する要素の全体である。
共通部分 (intersection) $A \cap B$ は、 $A$ と $B$ の両方に属する要素の全体である。
補集合 (complement) $\overline{A}$ は、 $U$ に属して $A$ に属さない要素の全体である。
差集合 (set difference) $A \setminus B$ は、 $A$ に属して $B$ に属さない要素の全体である。

和集合、共通部分、補集合は、それぞれ「または」「かつ」「でない」に一対一で対応します。差集合は $A \setminus B = A \cap \overline{B}$ と書き換えることができるので、新しい演算というよりも、共通部分と補集合を組み合わせた記法です。補集合は $\overline{A} = U \setminus A$ にあたります。

例 3.2. $U = \{1,2,3,4,5,6\}$ 、 $A = \{1,2,3,6\}$ 、 $B = \{2,4,6\}$ とすると、 $A \cup B = \{1,2,3,4,6\}$ 、 $A \cap B = \{2,6\}$ 、 $\overline{A} = \{4,5\}$ 、 $A \setminus B = \{1,3\}$ である。

4 空集合と全体集合

要素を一つも持たない集合を空集合と呼び、 $\varnothing$ と書きます。空集合は、どの集合の部分集合でもあります。「 $\varnothing$ のすべての要素が $A$ の要素である」という条件は、確かめるべき要素が一つも無いので、 $A$ が何であっても成り立つからです。 $A \cap \overline{A} = \varnothing$ であり、共通部分が空集合であることは、二つの集合が共通の要素を持たないことを意味します。

全体集合は、その議論で考える対象の範囲を定める集合です。全体集合を決めなければ、補集合を定めることができません。「 $A$ に属さないもの」だけでは、どこまでを候補にするのかが決まらないからです。 $A = \{1,2,3,6\}$ の補集合は、 $U = \{1,2,\dots,6\}$ とすれば $\{4,5\}$ ですが、 $U$ を正の整数全体とすれば $4,5,7,8,\dots$ を要素にもつ無限集合になります。補集合を書く場面では、全体集合が何であるかを先に決めておきます。 $A \cup \overline{A} = U$ であり、 $\overline{U} = \varnothing$ 、 $\overline{\varnothing} = U$ です。

5 集合の等式とド・モルガン則

集合の関係をベン図に描くと、等式の見通しを得ることができます。ただし、図から読み取った関係と、一般の集合についての証明とは区別します。集合の等式 $X=Y$ を証明するには、 $X$ の任意の要素が $Y$ に属することと、 $Y$ の任意の要素が $X$ に属することを示します。二つの向きを示せば、 $X\subset Y$ と $Y\subset X$ が成り立ち、 $X=Y$ が従います。

公式 5.1 (集合のド・モルガン則). 全体集合を $U$ とし、 $A$ 、 $B$ をその部分集合とする。 $\overline{A \cup B} = \overline{A} \cap \overline{B}, \qquad \overline{A \cap B} = \overline{A} \cup \overline{B}$

証明. $x\in U$ を任意に取る。§A3.2 定理 2.1により、 $x$ が $A\cup B$ に属さないことと、 $x$ が $A$ にも $B$ にも属さないことは同値である。したがって、 $x\in\overline{A\cup B}$ と $x\in\overline A\cap\overline B$ は同値である。同じ論理則により、 $x$ が $A\cap B$ に属さないことと、 $x$ が $A$ に属さないか、または $B$ に属さないことは同値である。したがって、 $x\in\overline{A\cap B}$ と $x\in\overline A\cup\overline B$ は同値である。 $x\in U$ は任意であったので、二つの集合の等式が成り立つ。▨

閑話休題：「集まり」を素朴に定義したために、数学の基礎が揺らいだ ものの集まりのうち、属するかどうかが定まるもの——この定義は、素朴に運用すると破綻します。 $1902$ 年、ラッセルは次の集合を考えました。自分自身を要素として含まない集合の全体 $R = \{\, x \mid x \notin x \,\}$ です。さて、 $R$ 自身は $R$ に属するでしょうか。属するとすると、 $R$ の定義（自分自身を含まないものの集まり）から $R \notin R$ が従います。属さないとすると、定義の条件を満たすので $R \in R$ が従います。どちらの場合にも矛盾が出ます。有名な言い換えが床屋のパラドックスです。「自分でひげを剃らない村人全員の、そして彼らだけのひげを剃る」床屋は、自分のひげを剃るのでしょうか。

このパラドックスは、集合論によって数学全体を基礎づけようとしていたフレーゲの大著の第2巻が印刷中であったときに、ラッセルからの手紙で届きました。フレーゲは後に付録を加えてこの問題に触れています。以後、数学者たちは、どんな条件からでも集合を作ってよいという素朴な運用を放棄し、すでにある集合から、決められた操作によってだけ新しい集合を作るという公理的集合論を整備して危機を収拾しました（§F1 公理的集合論が扱います）。本記事で使っている $\in$ や $\{x \mid \dots\}$ の記法は、一度数学を壊しかけたうえで修理された道具です。高等学校で扱う範囲では安全に使うことができますが、どんな集まりでも集合にすることができるわけではない、という但し書きが背後に付いています。

§A3.3集合の記法と演算

1 集合を書き表す二つの記法

2 要素であることと、部分集合であること

3 四つの演算

4 空集合と全体集合

5 集合の等式とド・モルガン則

例題

演習

前提記事