べき集合の意味と要素数

べき集合の意味と性質を整理しました。

べき集合とは

例題

$A=\{a,b\}$ のべき集合を求めよ。

解答

$A$ の部分集合は、
$\emptyset$、$\{a\}$、$\{b\}$、$\{a,b\}$
の４つなので、べき集合は、
$\{\emptyset,\{a\},\{b\},\{a,b\}\}$
となります。

ポイント

・空集合 $\emptyset$ と、もとの集合そのもの $A=\{a,b\}$ も $A$ の部分集合と考えます。忘れないようにしましょう。
・べき集合の要素は集合です。つまり、べき集合は集合の集合です。「集合の集合」のことを集合族と言うことがあります。

べき集合の要素数

例えば、$A=\{a,b\}$ の要素数は $2$ ですが、この $A$ のべき集合は $\{\emptyset,\{a\},\{b\},\{a,b\}\}$ となり、要素数が $2^2=4$ になっています。

この性質を意識して、$A$ のべき集合を $2^A$ と表記することが多いです。

「$A$ の部分集合を選ぶ」ということは、
「$A$ の各要素に対して、含めるか含めないかの２択を決める」と言い換えられます。
２択を $n$ 回行う場合の数は $2\times 2\times \cdots\times 2=2^n$ になるので、べき集合の要素数が $2^n$ であることが分かります。

特殊な例

・空集合 $\emptyset$ のべき集合は、$\{\emptyset\}$ になります。要素数は $2^0=1$ です。

・べき集合のべき集合を考えることもできます。例えば、最初の例題で
$2^A=\{\emptyset,\{a\},\{b\},\{a,b\}\}$ でしたが、
$2^{(2^A)}$ は要素数が $2^{2^2}=16$ である集合の集合の集合になります。$16$ 個の要素を書き下してみると、
・$\emptyset$
・$\{\emptyset\}$,$\{\{a\}\}$,$\{\{b\}\}$,$\{\{a,b\}\}$
・$\{\emptyset,\{a\}\}$,$\{\emptyset,\{b\}\}$,$\{\emptyset,\{a,b\}\}$,$\{\{a\},\{b\}\}$,$\{\{a\},\{a,b\}\}$,$\{\{b\},\{a,b\}\}$
・$\{\emptyset,\{a\},\{b\}\}$,$\{\emptyset,\{a\},\{a,b\}\}$,$\{\emptyset,\{b\},\{a,b\}\}$,$\{\{a\},\{b\},\{a,b\}\}$
・$\{\emptyset,\{a\},\{b\},\{a,b\}\}$
となります。

次回は 直積集合の意味と性質 を解説します。