9

分割数に関する定理とその証明方法

452
0
$$$$

PCTです。分割数とは以下のように定義されます。

$N$の分割数

$N$ の分割数とは以下を満たす正整数列の個数とします。

  • 広義単調増加である。
  • 和が $N$ である。


$4$ の分割数は $(1,1,1,1),(1,1,2),(1,3),(2,2),(4)$$5$ 通りがあるので $5$ です。

ここで以下のように $2$ 種類の分割数を定義することにします。

$N$の分割数ver2

$N$ の分割数ver2とは以下を満たす正整数列の個数とします。

  • 狭義単調増加である。
  • 和が $N$ である。
$N$の分割数ver3

$N$ の分割数ver3とは以下を満たす正整数列の個数とします。

  • 広義単調増加である。
  • 和が $N$ である。
  • 全ての要素が奇数である。

この時次のような定理が成り立ちます。

2種類の分割数についての定理

$N$ の分割数ver2$=N$ の分割数ver3 が成り立つ。

つまり $N$ を相異なる正整数に分割する方法と正奇数に分割する方法の数は等しいということです。

証明 $~$母関数を使う$~$
まず $x^k$ の数が $k$ の分割数ver2 となるような母関数は $(1+x)(1+x^2)(1+x^3)...$ です、ver3 となるような母関数は $(1+x+x^2+...)(1+x^3+x^6+...)(1+x^5+x^{10}+...)...$ です。ver2の方を $f(x)$、ver3の方を $g(x)$ とします。
$g(x)=\displaystyle \prod_{i=1}^{∞} { \frac{1}{1-x^{2i+1}}}$
より
$g(x)^{-1}=\displaystyle \prod_{i=1}^{∞} { (1-x^{2i+1})}$
これと $f(x)$ の積を取ります。
$f(x)×g(x)^{-1}=\displaystyle \prod_{i=1}^{∞} {(1+x^i) (1-x^{2i+1})}$
ここで $g(x)^{-1}$$(1-x)$ の項に注目します。これと $f(x)$$(1+x)$ をかけると $(1-x^2)$ になります。これと $f(x)$$(1+x^2)$ をかけると $(1-x^4)$ になります。これを繰り返すと $f(x)$$(1-x^{2^a})$ の項を全て消して $1$ に収束することが分かります。他の $g(x)^{-1}$$(1-x^{2b+1})$ の項も $f(x)$$(1-x^{(2b+1)×2^a})$ の項を全て消して $1$ に収束することが分かります。全ての正整数は非負整数 $c$、正奇数 $d$ による $2^c×d$ という一意的な表示を持つのでどの $f(x)$ の項もちょうど $1$ 個の $g(x)$ の項に吸われていくことが分かります。全ての収束先は $1$ なのでこれの積も $1$ です。ここでこの式は $f(x)×g(x)^{-1}$ であることを思い出すと、$f(x)×g(x)^{-1}=1$ より、$f(x)=g(x)$ が言えました。よって正整数 $N$ を奇数の和に分割する方法と相異なる正整数に分割する方法が等しいことが証明出来ました。

お疲れ様です!分割数はヤング図形やフェラーズ図形などによりもっと色んなことが分かるとても興味深い対象です。これからもこのような記事投稿を続けていけたらなと思います。読んでいただきありがとうございました!

投稿日:2020117

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

中2です。数学をしています。適当に書きたい記事を書いていきます。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中