自然数の分割とヤング図形
分割数:自然数 をいくつかの自然数の和で表す方法の数を の分割数と言う。
数え上げの有名な話題です。自然数の分割にまつわるごく基本的なこと。
自然数の分割の例と性質
自然数の分割とヤング図形
対応づけるテクニック
自然数の分割の例と性質
例えば, をいくつかの自然数の和で表す方法は,
と 通りなので の分割数は です。
次に,自然数の分割にまつわるの有名な性質です。
性質1:「 個の自然数に分割する方法の数」と「最大の数が であるようないくつかの自然数の和に分割する方法の数」は等しい。
性質2:「相異なる自然数に分割する方法の数」と「奇数個の自然数に分割する方法の数」は等しい。
2についてはオイラーの分割恒等式(Wikipedia)を参照してください。
以下では性質1について解説します。「対応付け(全単射)をつくる」という重要なテクニックを使います。
性質1の具体例:
を 個の自然数に分割する方法は,
の 通り。
最大の数が であるような自然数に分割する方法は,
の 通りとなり,両者は一致する。
自然数の分割とヤング図形
自然数 の分割に対して,正方形を 個並べた右図のような図形をヤング図形といいます。右図は という分割に対応しています。下の行に行くに連れて正方形の数が減少していきます。
また,正方形の代わりに点で表したものをフェラーズ図形といいます。どっちも同じですが,正方形の中に数字を書き込んだりできるのでヤング図形の方が便利なことがあります。
ヤング図形を使えば上記の性質1を簡単に証明することができます。
(性質1の証明)
「 個の自然数への分割」を一つとってきて,それに対応するヤング図形を書く。これを行ではなく列に関して見ると,「最大の数が であるような自然数の和への分割」に対応している(上の図)。
逆に,「最大の数が であるような自然数の和への分割」をとってくると,そのヤング図形を列に関してみると「 個の自然数への分割」に対応している(下の図)。
これらの操作は互いに逆の操作になっていて,一対一対応が得られる(例えば, と は対応している)。
よって,両者の分割の方法の数は等しい。
対応づけるテクニック
二つの集合 と の要素が等しいことを証明するために,上記のように一対一対応(全単射)を作ることがしばしばあります。具体的には以下の3つを言えばOKです。
1:集合 の任意の元からある操作で集合 の元が得られる。
2:集合 の任意の元からある操作で集合 の元が得られる。
3:それらの操作は互いに逆の操作になっている。
3は自明なことが多いですが,一応主張しておく必要があります。1と2だけでは下側の図のようになってしまうことがあるためです。
全単射というと難しく聞こえますが,要するに一対一対応です。