13/01/05 21:19:48.35
Aが奇数aを含むとき、Aの部分集合全体を
「aを含まないもの全部」=X
「aを含むもの全部」=Y
と分類すると、XもYも2^(n-1)個の元からなる。
このとき、Xの元Bと、Yの元B∪{a}との対応は1対1で、
これら2^(n-1)個のどのペアも、どちらか片方のみが
要素の総和が奇数となっている。
ってことか。>>10
13/01/05 21:19:48.35
Aが奇数aを含むとき、Aの部分集合全体を
「aを含まないもの全部」=X
「aを含むもの全部」=Y
と分類すると、XもYも2^(n-1)個の元からなる。
このとき、Xの元Bと、Yの元B∪{a}との対応は1対1で、
これら2^(n-1)個のどのペアも、どちらか片方のみが
要素の総和が奇数となっている。
ってことか。>>10