冪集合
べき集合
Power set
集合に対して、集合の要素の組み合わせで作られた部分集合を集めた集合のこと。 集合$ Xの冪集合を表記するときには$ 2^Xと書く。
$ \mathfrak{P}(X)(TeX記法で\mathfrak{P}(X))とも書かれる。mathfrak はドイツ文字と呼ばれる文字のP。Power set だから P
$ \{a, b, c\} という集合がある場合、以下が冪集合になる。(つまり要素の有無の組み合わせ全通りで、n個の要素があるなら$ 2^n個になる。冪集合の記号の$ 2^Xの由来はこれ。)
$ \{\{\}, \{a\}, \{b\}, \{c\}, \{a, b\}, \{a, c\}, \{b, c\}, \{a, b, c\}\}
関連