数学の一分野である組合せ論における重複組合せ(ちょうふくくみあわせ、じゅうふくくみあわせ、: combination with repetition, multi-choose; 重複選択、"Stars and bars")は、取り出した並びは考慮しないが、(通常の(非重複)組合せと異なり)同じ元を複数取り出すことが許される「組合せ」を言う。例えば、(1 から 6 までの)六面サイコロを10回投げるとき、各出目が何回目に振ったときに出たものか考えなければ、サイコロの出目の「組合せ」となるが、各面のうちには複数回現れるものが存在することになる(たとえば、出目 2 が一回、4 が三回、5 が二回、6 が四回であるときがその一例である)。

解釈と表示編集

相異なる(つまり区別可能な)n 個の元からなる集合 E = {x1, x2, …, xn}から重複を許して k-元を選ぶ組合せ(k-重複組合せ)とは、E から連続して k 個の元を選ぶ方法であって、選んだ k 個の元の順番は考慮せず、かつ複数回同じ元を選ぶことが許されるというものである。これにより、重複する元をも含めて k 個の元からなる非順序組が得られる(この非順序組は、重複する元を持たないという集合の定義に反するから集合ではないが、その定義を拡張した多重集合となる)。そこで元 xi を選ぶ回数(零回でもいい)を f(xi) と書けば、k 個の元を選ぶことは制約条件 f(x1) + f(x2) + … + f(xn) = k で表せるから、

定義 ― 位数(濃度)n の有限集合 E に関する k-重複組合せとは、E から {0, 1, …, k} への写像 f: E → {0, 1, …, k} で条件

 
を満たすものを言う。

集合 E = {x1, x2, … , xn}全順序関係 x1 < x2 < … < xn を入れて考えるとき、E に関する k-重複組合せは、以下のような非減少(つまり広義の増大) k-順序組

 

に対応付けられる。逆に、E の元からなる非減少 k-組 (a1, a2, … , ak), つまり

a1a2 ≤ … ≤ ak

を満たすものは、E の各元に対してそれがこの k-組に現れる回数を割り当てることにより、写像 f: E → {0, 1, …, k}; を定める。これが

f(x1) + f(x2) + … + f(xn) = k

を満たすことは明らかであり、従って fE に関する k-重複組合せである。

従って、E に関する k-重複組合せ全体の成す集合と {1, 2, …, k} から E への広義単調増大写像全体の成す集合との間に全単射が存在する。

重複組合せの総数編集

定理[1] ― 非負整数 n に対して n 個の元からなる集合に関する k-重複組合せの総数を Hn
k
と書けば、

 
すなわち、n + k − 1 個の元に関する k-組合せの総数に等しい。

重複組合せの総数を計算する最も効果的で単純な方法は、非重複組合せの総数を計算する方法を用いることである(組合せの項を参照)。実際、上で述べたように n 個の元から重複を許して k 個の元を選ぶ組合せの総数は、n + k − 1 個の元から n 個の元を重複を許さずに選ぶ組合せの総数に等しい。

その他の重複組合せに同値な数え上げ編集

Hn
k
多変数多項式 に関する全次数 k の単位単項式(つまり係数 1 の単項式)の総数に等しい。

同様に Hn
k
シュヴァルツの定理(偏微分は微分する変数の順番に依らず等しい)の成立する Ck-級の n-変数函数に対する k-階偏導函数の総数に等しい(順番を考慮する必要があるときには nk 通りである)。

脚注編集

[脚注の使い方]
  1. ^ Weisstein, Eric W. "Multichoose". MathWorld (英語)..
  2. ^ a b Louis Esch, Mathématique pour économistes et gestionnaires, De Boeck,‎ (lire en ligne), p. 21.
  3. ^ A. Bégyn、G. Connan および R. Leroy, Mathématiques Méthodes et Exercices BCPST 1re année, Dunod,‎ , 2e éd. (lire en ligne), p. 226.
  4. ^ Démonstration tirée de P. Louquet および A. Vogt, Probabilités, Combinatoire, Statistiques, Armand Colin,‎ .
  5. ^ Dany-Jack Mercier, L'épreuve d'exposé au CAPES mathématiques, Publibook,‎ (lire en ligne), p. 65.

関連項目編集

外部リンク編集