数え上げの問題で「全単射による証明」を目にするたびに, 「賛嘆措く能わず」という気分になるのだが, この証明について, 初等的にきちんと解説したものはあまり見受けられないのではないかと思う. 英語版の Wikipedia の “bijective proof” の項はよくまとまっている方だと思うので, 少し訳してみることにする. 二項係数で,
であることを例にとって, 組合せ論的な証明を説明している条 (くだり) である.
証明の基本アイデアは, 次の簡単な例から理解できるかもしれない.
人の子供のグループから, ご褒美にアイスクリームコーンが与えられる
人を選抜する代わりに, アイスクリームコーンを貰えない
人の子供を選ぶことはまったく同じ効果をもつ.
より抽象化, 一般化すると, 等しいと主張される
つの数量は,
個の要素をもつ任意の集合
の
個,
個の要素をもつ部分集合をそれぞれ数えている.
を
の
個の要素をもつ部分集合の集合とすると, 集合
は,
個の要素をもつ.
を
の
個の要素をもつ部分集合の集合とすると, 集合
は,
個の要素をもつ.
つの集合
,
の間には次のような単純な全単射写像が存在している. その写像は, 任意の
個の要素をもつ部分集合 (集合
の要素である) をその補集合, つまり,
の残っている
個の要素を正確に含み, したがって
の要素である集合に対応させる. もっと形式化すれば, このことは, 写像表記を使って次のように書ける.
は,
で定義され, ここで,
は
個の要素をもつ集合
の任意の部分集合で, 補集合は
においてとられるものとする.
が全単射であることを示すために, 最初に
, つまり
であると仮定する. 両辺の補集合を (
において) とると, 集合の補集合の補集合は, もとの集合であるという事実を用いて,
であることを得る. これは,
が単射であることを示す. 次に,
個の要素をもつ集合
の任意の部分集合を
からひとつ取り, これを
とする. その
における補集合である,
は,
個の要素をもつ部分集合であり, したがって
の要素である.
であるので,
は全射でもあり, かくして
は全単射である. 有限集合の間に全単射が存在することは, 両者の要素数が同じである, すなわち,
ということを示すので, 結果が従う.
この場合, 全単射であることの証明には, 可逆な一組の写像が存在することを示す方が簡単な気もする. すなわち,
つの写像
と
が
,
を満たせば,
,
ともに全単射であって,
,
が成り立つ. (ここで,
,
はそれぞれ, 集合
,
の自分自身への恒等写像を表わす.)
という定理があるので, この場合, の要素の補集合を取る操作を写像
とし,
の集合の補集合を取る操作を写像
とすれば, 上の定理における可逆操作成立の条件を満たすので,
は全単射である.
ついでに言っておけば, が単射ならば, 有限集合*1
の要素の個数は, 有限集合
の要素の個数以上あるという命題が成り立つが, この命題の対偶が「鳩の巣原理」とか「部屋割り論法」とか特別な名称で言われているものである.
有限集合の場合には, いろいろな話が簡単になる. (空でない) 有限集合 ,
の要素の個数が等しいとき,
が単射であるならば全射でもある (つまり全単射である) ことが以下のようにしていえる.
は単射だから,
が,
であれば,
である. そうすると,
の像
の要素の個数と
の個数の要素は等しく,
の要素の個数と
の要素の個数は等しいのだから,
は全射でもある (全単射である). 同じようにして, (空でない) 有限集合
,
の要素の個数が等しいとき,
が全射であるならば単射でもある (つまり全単射である) ことが以下のようにしていえる.
は全射であるから, 任意の
に対して,
となる
が存在する. すると,
で
が存在するとすると,
の要素の個数が
の要素の個数よりも多いことになって矛盾する. したがって,
は単射でもある (全単射である).
有限集合 ,
があって,
,
がともに単射であるとすると, 有限集合
と有限集合
の個数は等しいことがわかるので,
,
はともに全単射となる.
※ 上の命題は, 単射を全射にしても成立する.
※ 集合が無限集合の場合には, ベルンシュテインの定理というのがあって, 単射である ,
が存在すると全単射写像が存在し, 集合
と集合
の濃度は対等になるということが証明されている. ただし, 単射である
,
が全単射になるとは限らない.//
整数の分割やカタラン数の数え上げなどに, よくこの「全単射による数え上げ」が出てくる. 以下は整数の分割*2の例である.
上のヤング図形が示す通り の分割の仕方は,
通りあるが,
を
以下の自然数の和で表わすやり方を数えてみると
通りである. 一方,
を
個以下の自然数の和で表わすやり方を数えてみると, やはり
通りである. これは偶然の一致ではない. このことは, 上の Wikipedia の説明にならって, 部分集合 (
個以下の自然数の和の集合と
以下の自然数の和の集合) をそれぞれつくり, その部分集合の間に全単射写像が存在すること (要するに全部漏れもなく, 重なりもなくペアにできる操作が存在すること) を示せばよい. この場合の全単射写像とは, ヤング図形の行と列を入れ替える操作 (あるいは左上の頂点を原点とし,
を対称軸として図形を折り返す鏡映操作) である!