冪集合
power set
集合
$ A
の冪集合を
$ \mathscr{P}(A)
と表記する
集合
$ A
の全ての
部分集合
からなる
集合
$ |A|=n
のとき、
$ 2^n
個の元がある
故に「
部分集合系
」は「
冪集合
の
部分集合
」とも言える
集合
$ A
から
2点集合
$ 2
への関数全体が集合
$ 2^A
が、冪集合になる
これを書いてるときは理解しているが、たぶんあとでわからなくなるので、そのときは
ベシ圏.icon
p.82を読もう
/zatsuben/部分集合系とは#5de64e92385a9200000e8f89
/miyamonz/冪集合
/zatsuben/位相空間がわからない#5de6285b1982700000e1739c