「冪集合」の版間の差分
削除された内容 追加された内容
編集の要約なし |
|||
1行目:
'''べき集合'''(べきしゅうごう、power set)とは、 [[集合]] ''S'' の部分集合全体のつくる集合のことである。'''べき'''は[[冪乗]]の冪(べき)と同じもので、'''冪集合'''と書くのが正確だが、一部分をとった略字としてしばしば'''巾集合'''とも書かれる。集合 ''S'' のべき集合は普通、
:<math>\mathfrak{P}(S)</math>
(
あるいは同じことだが、''S'' の部分集合 ''A'' とその定義関数(characteristic function、特性関数、指示関数などとも呼ぶ。)χ<sub>''A''</sub>: ''S'' → {0, 1} すなわち
:<math>\chi_A(x) := \left\{\begin{matrix}
|