順列

初等組合せ論における順列（じゅんれつ、、）は、区別可能な特定の元から有限個を選んで作られる重複の無い有限列をいう。

初等組合せ論における「順列と組合せ」はともに -元集合から -個の元を取り出す方法として可能なものを数え上げる問題に関するものである。取り出す順番を勘案するのが -順列、順番を無視するのが -組合せである。

定義 
 定義 1 位数  の有限集合  と自然数  に対し、 の元からなる -順列とは から  への単射を言う。
 定義 2 位数  の有限集合  と自然数  に対し、 の元からなる -順列（ に関する -順列、 の -個の元から -個を選ぶ順列）とは、-組  で  を満たすものを言う。

記法について 
初等組合せ論において、 個の元から -個を選んで得られる順列の総数を表すのにいくつか異なる記号、例えば , , ,  などが用いられる（同様の記法で "P" を "C" に代えたものは -元集合の -組合せの総数を表す）。 のとき、その値は積  によって表される。一方、 のとき（上記の積は定義されないにも拘らず）-順列の総数  は単に  と定められる。

この記法を、初等組合せ論とは別な文脈で -順列を考える場合に用いることは稀であるが、この数を扱う様々な状況において、適当な記法が用いられる。上記の積に関して、 が非負整数でないものとしても積自体は定義可能で、組合せ論の外で重要な役割を持つ。この場合、上記の積はポッホハマー記号  あるいは、-次下降階乗冪  で表される（呼び方や記法の詳細はポッホハマー記号の項へ譲る）。

順列の数え上げ 
ここでは  の相異なる -個の元からなる順序付けられた組を  の -順列（あるいは -項順列）と呼ぶ。例えば、文字の集合が与えられたとき、文字列  は -順列、 や  は -順列、 や  は -順列、 は -順列である（-順列の例は、与えられた集合の元を使い切っているので、組合せ論的な意味での置換の例でもある）。他方、 は、文字  と  をそれぞれ二度用いているので順列ではない。

集合  の大きさ、つまり選ぶことのできる元の種類を、 とする。-順列を構成するには、まず列の最初の項として取り得る可能性が -通り（これはつまり -順列の総数）だけある。最初の項が決まれば、選んだ以外の残りの元から第二項を選ぶことができるから、第二項の選び方は -通り、従って -順列の総数は  になる。同様に、この列の後続項ではその選び方の可能性が直前の項のそれより  ずつ減っていくから、選び得る -順列の総数  は結局

 

で与えられることがわかる。特に、-順列（ の元の置換）の総数は  で、この数値は数学の各所で現れるのでより短く "" と書く記法が与えられ、「 の階乗」と呼ばれる。-順列は  の元からなる最長順列であり、このことは上記の -順列の総数の式において  とすると  になるという事実に現れている。

上記の積に余計な因数を掛けて階乗が補完できる  から、

なる関係式が成り立つことがわかる。この右辺は、-順列の総数の式としてしばしば与えられるものだが、主な利点は短く階乗記法を用いて書けることである。非常に大きくなるかもしれない積同士の商として -個の因数からなる積を表すということは、分母の全ての因数が分子に明示的に表れている今の状況においては効率的ではない（プログラムの実装においては、オーバーフローの可能性も加わってくる）。

脚注

参考文献

外部リンク

関連項目 
 完全順列
 組合せ (数学)
 重複組合せ
 重複順列
 置換 (数学)
 重複置換
 写像12相

初等数学
組合せ論

数学に関する記事