正の整数 を、順序を考えずに正の整数の和として表したものを の分割という(例えば の分割は の 個)。 の分割のうち、どの部分も 以下であるものの個数を求めよ。ただし、母関数
の の係数として求めること。
分割数と分割の母関数
整数 の分割の個数 を、ヤング図形や の係数として求められる。部分の大きさ・個数に制限のある分割の数を求め、「相異なる部分への分割の数 = 奇数の部分への分割の数」を使える
前提
- 母関数と係数の取り出し (大学数学 離散数学・組合せ論)
この技能までの道筋(60 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 樹形図で数え上げる (算数 場合の数)
- 積の法則と和の法則 (算数 場合の数)
- 和の法則・積の法則と樹形図 (数学A 場合の数と確率)
- 順列・円順列・重複順列 (数学A 場合の数と確率)
- 組合せ (数学A 場合の数と確率)
- 同じものを含む順列・重複組合せ (数学A 場合の数と確率)
- 分数のたし算・ひき算 (算数 計算と数のきまり)
- 小数の四則計算 (算数 計算と数のきまり)
- 正負の数の加法・減法 (中学数学 数と式)
- 分数のかけ算・わり算 (算数 計算と数のきまり)
- 四則の混じった計算の順序 (算数 計算と数のきまり)
- 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
- 分配法則を使った計算のくふう (算数 計算と数のきまり)
- 文字式の計算(同類項・分配法則) (中学数学 数と式)
- 乗法公式による展開 (中学数学 数と式)
- 因数分解 (中学数学 数と式)
- 3 次式までの展開と因数分解 (数学I 数と式)
- 微分係数と導関数の定義 (数学II 微分法と積分法)
- 多項式の微分 (数学II 微分法と積分法)
- 小数と分数のまじった計算 (算数 計算と数のきまり)
- 逆算(□ を求める) (算数 計算と数のきまり)
- 1 次方程式の解き方 (中学数学 方程式)
- 比例・反比例の式とグラフ (中学数学 関数)
- 約数の見つけ方 (算数 整数の性質)
- 素因数分解と約数の個数 (算数 整数の性質)
- 平方根の意味と根号の簡単化 (中学数学 数と式)
- 関数 の式と変域 (中学数学 関数)
- 平方完成と 2 次関数のグラフ (数学I 2次関数)
- 2 次不等式 (数学I 2次関数)
- 剰余の定理・因数定理と高次方程式 (数学II 複素数と方程式)
- 増減表と極値 (数学II 微分法と積分法)
- 等間隔にならんだ数の和 (算数 計算と数のきまり)
- 等差・等比数列の和と Σ (数学B 数列)
- 数列の極限 (数学III 極限)
- 関数の極限 (数学III 極限)
- 関数の連続性と中間値の定理 (数学III 極限)
- 平均値の定理 (数学III 微分法)
- 積と商の微分 (数学III 微分法)
- 第 2 次導関数とグラフの凹凸 (数学III 微分法)
- 合成関数の微分 (数学III 微分法)
- 円の周の長さと面積 (算数 平面図形)
- おうぎ形の弧の長さと面積 (算数 平面図形)
- 弧の長さからおうぎ形の中心角と面積を求める (中学数学 平面図形)
- 三角形・四角形の面積 (算数 平面図形)
- 三平方の定理 (中学数学 相似と三平方の定理)
- 特別な直角三角形の辺の比 (中学数学 相似と三平方の定理)
- 弧度法と単位円による三角関数 (数学II 三角関数)
- の極限 (数学III 極限)
- 加法定理と 2 倍角・半角・積和の公式 (数学II 三角関数)
- 三角関数の導関数 (数学III 微分法)
- 根号の乗除と加減 (中学数学 数と式)
- 指数の拡張と指数関数 (数学II 指数関数と対数関数)
- 対数の定義と性質 (数学II 指数関数と対数関数)
- 自然対数の底 (数学III 極限)
- 指数関数・対数関数の導関数 (数学III 微分法)
- 増減・凹凸・漸近線とグラフ (数学III 微分法)
- テイラー展開 (大学数学 微分積分)
- 無限等比級数と無限級数 (数学III 極限)
- べき級数と収束半径 (大学数学 微分積分)
- 母関数と係数の取り出し (大学数学 離散数学・組合せ論)
説明
正の整数 を、順序を区別せずに正の整数の和として表す方法を の分割といい、その個数を と書きます(例: なので )。この技能を使うと、 を無限積 の の係数として求められます。「部分の大きさは 以下」「同じ部分は使わない」などの制限があっても、母関数の因子を取り替えるだけで数えられます。さらに、ヤング図形による言い換えや「相異なる部分への分割の数 奇数の部分への分割の数」を使って、数えにくい分割を数えやすい分割に置き換えられます。
なぜそうしてよいのか
分割では和の順序を区別しないので、分割は「大きさ の部分を何個使うか」で決まります。その個数を (0 以上の整数)とすると、 の分割は を満たす組 と 1 対 1 に対応します。大きさ の部分を 個使うことを で表すと、 を自由に選ぶ因子は です。これらを掛けて展開すると、各因子から 1 項ずつ選ぶ選び方の 1 つ 1 つが組 に対応し、その項は になります。よって です( とします)。 の因子は次数 以下では と同じなので、 の係数を求めるには の因子だけ掛ければ十分で、無限積でも係数はきちんと決まります。制限があるときは因子を取り替えます。部分 を使えないなら因子は 、高々 1 回なら 、使える部分を に限るなら です。
ヤング図形とは、分割の各部分を大きい順に並べ、上から 個ずつ箱を左詰めで並べた図です。この図を対角線で折り返す(行と列を入れ替える)と、別の分割の図になります。折り返しで「最大の部分」と「部分の個数」が入れ替わるので、「最大の部分が 以下の分割の数」と「部分の個数が 以下の分割の数」は等しくなります。
相異なる部分への分割の母関数は で、各因子は と書けます。 の因子をすべて掛けると、分子は偶数 についての の積、分母は についての の積になります。 の偶数の分は約分で消え、残りは です。分子に残った因子は次数 以下では と同じなので、 として の係数を比べると、 が得られます。右辺は奇数の部分だけを使う分割の母関数なので、2 つの分割の数は等しくなります。
手順
数える分割の条件を、各部分の大きさ を使う個数 の条件に言い換える(必要ならヤング図形の折り返しや「相異なる 奇数」で数えやすい形に直す)
各 に因子を対応させる。自由に使えるなら 、高々 1 回なら 、使えないなら 。 の因子は省いてよい
因子をすべて掛けて母関数を作り、求める個数を と表す
係数を計算する。小さい因子の積の係数を先に求めておき(例: )、残りの因子から選ぶ項ごとに場合分けして足し合わせる
例題
の分割のうち、どの部分も 以下であるものの個数を求めよ。
例題の解答
手順 1: 使える部分は だけです。それぞれを使う個数を (0 以上の整数)とすると、 を満たす組の個数を求めればよいことになります。
手順 2: 部分 は何個でも使えるので、因子はそれぞれ です。 の部分は使えないので因子は です。
手順 3: 求める個数は です。
手順 4: まず を求めます。これは の解の個数で、 のそれぞれに対して がただ 1 つ決まるので、 です。次に因子 から選ぶ項 で場合分けします。
- のとき、 なので 個
- のとき、 なので 個
- のとき、 なので 個
では となり解はありません。合計は 個です。
確認として書き出すと、 の 10 個です( は を 個並べたもの)。なお、ヤング図形の折り返しにより、これは「部分の個数が 以下の の分割の数」とも等しくなります。
答え:
よくある誤り
和の順序を区別して数えてしまう誤り。 と は同じ分割です。順序を区別すると の表し方は 通りになりますが、分割の数は ()です。
相異なる部分への分割の因子を としてしまう誤り。各部分を高々 1 回しか使わないので、正しい因子は です。例えば ()で、 とは異なります。
「部分の個数がちょうど 個」の分割を で数えてしまう誤り。これは「部分の個数が 以下」の分割の数です。ちょうど 個のとき(折り返すと最大の部分がちょうど のとき)は、部分 を少なくとも 1 回使うので、正しくは です。
「相異なる部分への分割の数 奇数の部分への分割の数」を、「相異なる奇数の部分への分割の数」と取り違える誤り。右辺の奇数の部分は何回使ってもよく、母関数は です。例えば では、奇数の部分への分割は の 2 個で、相異なる部分への分割()の 2 個と一致します。一方、相異なる奇数の部分への分割は の 1 個だけです。
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
正の整数 を、順序を考えずに正の整数の和として表す方法を の分割といい、その個数を で表す。たとえば より である( そのものも 1 つの分割として数える)。 は母関数
の の係数でもある。 を求めよ。正の整数 を、順序を考えずに 1 個以上の正の整数の和として表したものを の分割といい、分割の個数を で表す。たとえば より である。分割数の母関数は
で与えられる。 を求めよ。
この技能を使う問題
を不定元とし、正の整数 に対して 、 と定める。 に対し、ガウスの二項係数(-二項係数)を
で定める。これは の整数係数多項式である。
と展開したとき、係数 を求めよ。を 次対称群とし、 をその符号表現とする。 の有限次元複素既約表現 の同型類のうち、 をみたすものすべてについて、それらの次元 の和を求めよ。
正の整数 の分割とは、正の整数の非増加列 で を満たすものをいう。分割 に現れる相異なる値の個数(例えば なら の 個)を とする。
のすべての分割 にわたる和 を求めよ。
を、相異なる つの正の奇数の和として表す方法は何通りあるか。ただし、和の順序だけが異なるもの(たとえば と )は同じ表し方とみなす。
正の整数 の分割とは、和が になる正の整数の非増加列のことであり、各項を部分という。分割の中に正の整数 が部分として現れる回数を の重複度という(現れなければ重複度は )。また の分割は空列ただ 1 つとする。正の整数 に対し
- : の分割のうち、どの正の整数 についても の重複度が を法として に合同でないもの(すなわち各重複度が のいずれかであるもの)の個数
- : 非負整数 と、 の分割 、 の分割 の組 であって、、 のどの部分も を法として に合同、 のどの部分も の倍数であるものの個数
とする。すべての正の整数 に対して が成り立つことを、母関数を用いて証明せよ。
ただし、母関数は有理数係数の形式的冪級数環 で考え、次の事実は用いてよい: 形式的冪級数の列 で の位数( でない最低次の次数)が で に発散するものについて、無限積 は収束し、その までの係数は有限個の因子の積で決まること、また収束する無限積どうしの積・商(定数項が のもの)は因子ごとにとってよく、因子の並べ替えや分け方を変えても値は変わらないこと。
以上の整数の分割 を考える( の分割として空の分割 も含め、 とする)。部分の個数 が 以下で、最大の部分 が 以下であるような分割 (すなわちヤング図形が の長方形に収まる分割)全体を とする。 に属する分割 のうち、 が の倍数であるものの個数を求めよ。
正の整数 の分割 が、その共役分割 と一致するとき、 を自己共役であるという。また のダーフィー正方形の大きさ を、 をみたす最大の と定める。
の自己共役な分割全体を とするとき、
の値を求めよ。正の整数 の分割 に対し、 に現れる相異なる部分(パート)の値の個数を とする。たとえば なら現れる値は なので である。
のすべての分割 にわたる和
を求めよ。以上の整数 に対し、相異なる部分からなる分割(空の分割も含め、 の分割は空の分割 つとする)を考える。分割 の部分の個数を 、部分の和を と書く。相異なる部分からなる分割の順序つきの 3 つ組 で をみたすもの全体にわたる和
を定める。このとき
の値を求めよ。
この技能の次に学べること
- 対称群の既約表現の次元(フック長公式) (大学院数学 表現論)
- 分割の統計量の母関数 (大学院数学 代数的組合せ論)
- 共役分割・ダーフィー正方形・自己共役分割 (大学院数学 代数的組合せ論)
- 半標準ヤング盤とコストカ数 (大学院数学 代数的組合せ論)
- 対称関数の基底と単項対称関数への展開 (大学院数学 代数的組合せ論)
- 有限アーベル群の分類(単因子と素因子型) (大学院数学 群論)