数学における重複置換(ちょうふくちかん、仏: permutations avec répétition)は、区別不能なものを含む対象を順番を考慮して複数の組に分ける方法を言う(対象は区別できないが、組は区別が付く)。例えば、112, 121, 211 は二つの 1 と一つの 2 を持つ重複置換である。
一部に区別のつかないものを含む n 個の対象を並べ替えて特定の順番に並べるとき、いくつか同じものが生じる場合がある。k ≤ n として、n 個の対象がつくる n-組が k 種類の相異なる組に分けられるとき、その各々が n1, n2, …, nk 個の対象を含む(ただし、n1 + n2 + … + nk =n を満たす)ものを考える。このような n-組のなかで区別不能なものを入れ替えて得られる n-組は同じものと考える。例えば、文字列 MATHÉMATIQUE のアナグラムを全て求めようとするとき、二つの A は区別が付かないのでこれらを入れ替えても文字列としては変わらないが、É と E を入れ替えたときは文字列として相異なる。
重複置換を同じものを含む順列と呼ぶことがある。
定義
位数 k の有限集合 E を E = {x1, x2, …, xk}と書く。n は k ≤ n なる自然数で、n1, n2, …, nk を
- n1 + n2 + … + nk = n
を満たす非負整数とする。このとき、E の元からなる重複度 (n1, n2, …, nk) の n-重複置換とは、E の各元 xi がそれぞれ ni 回現れる n-組(項数 n の有限列)を言う。
例えば
![{\displaystyle {\begin{matrix}(\underbrace {x_{1},\ldots ,x_{1}} ,&\underbrace {x_{2},\ldots ,x_{2}} ,&\ldots ,&\underbrace {x_{k},\ldots ,x_{k}} )\\{}_{n_{1}{\rm {\,fois}}}&{}_{n_{2}{\rm {\,fois}}}&&{}_{n_{k}{\rm {\,fois}}}\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/512308e10bacbc4bb8c6e49c6853e791c4b3b6f9)
はその一つである。
重複置換の数え上げ
- 定理
- 重複度 (n1, n2, …, nk) の n-重複置換の総数 p(n1, n2, …, nk) は
![{\displaystyle p(n_{1},n_{2},\ldots ,n_{k})={\binom {n}{n_{1},n_{2},\ldots ,n_{k}}}={\frac {n!}{n_{1}!n_{2}!\dotsb n_{k}!}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c1cee6e5f4d80a9378f2b3fd939c53607ea5c6d6)
- で与えられる。この数は多項係数として知られる。
- 証明
- 所期の n-組を作るには n1 個の x1 の位置を決め、n2 個の x2 の位置を決め、……、nk 個の xk の位置を決めれば十分である。
- x1 の入る n1 箇所を n1 + n2 + … + nk 箇所から選ぶ方法が
通り、 - x2 の入る n2 箇所を n2 + n3 + … + nk 箇所から選ぶ方法が
通り、 - …
- xk の入る nk 箇所を残りに入れる方法が
通り。
- 以上をまとめると、
![{\displaystyle {\binom {n_{1}+n_{2}+\dotsb +n_{k}}{n_{1}}}{\binom {n_{2}+\dotsb +n_{k}}{n_{2}}}\dotsb {\binom {n_{k}}{n_{k}}}={\frac {n!}{n_{1}!n_{2}!\dotsb n_{k}!}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8e18f7bec70e28430ff02395f9241cbaacf28e37)
- を得る。
応用
演算 "+" が可換(あるいはより一般に和の各項が "+" に関して可換)であるとき、
![{\displaystyle (x_{1}+x_{2}+\dotsb +x_{k})^{n}=\underbrace {(x_{1}+x_{2}+\dotsb +x_{k})(x_{1}+x_{2}+\dotsb +x_{k})\dotsb (x_{1}+x_{2}+\dotsb +x_{k})} _{n{\text{ factors}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/81b4d192407b0ef4b4b323238e63c9a551d7c877)
を、1 ≤ i ≤ n なる任意の i について i 番目の因子から取った項を第 i-成分とする x1, x2, …, xk からなる n-組の積の和の形に展開することを考える。任意の 1 ≤ i ≤ k に対して、この n-組に現れる xi の個数を ni とすると n1 + n2 + … + nk = n が成り立ち、対応する積は
の形になる。自然数の列 n1, n2, …, nk で n1 + n2 + … + nk = n を満たすものを与えたとき、
の形の項の総数は重複度 (n1, n2, …, nk) の n-重複置換の総数に等しい。
こうして多項定理:
![{\displaystyle (x_{1}+x_{2}+\ldots +x_{k})^{n}=\sum _{n_{1}+n_{2}+\ldots +n_{k}=n}{\frac {n!}{n_{1}!n_{2}!\ldots n_{k}!}}x_{1}^{n_{1}}x_{2}^{n_{2}}\ldots x_{k}^{n_{k}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/37e125e34246438469d729bb169d221919655265)
を得る(k = 2 のとき二項定理が導かれる)。
関連項目