$0$以上の整数$n$に対し、階乗$n!$を次で定義する。
このとき、各$n\ge 1$について
$$
n!=n\times(n-1)\times\cdots\times 2\times 1
$$
が従う。
異なる $r$ 個の要素から成る集合 $\{x_1,x_2,\dots,x_r\}$ を取り出したとき、
その内部で並べる(順序をつける)方法の総数は
$$
r \times (r-1)\times \cdots \times 1 = r!
$$
である。
$r$ を正の整数とする。第$1$位置に置く要素は、集合の中から任意の$1$つを選べるので $r$ 通り。
第$2$位置に置く要素は、残りの $r-1$ 個から任意に選べるので $r-1$ 通り。
同様に、第 $k$ 位置には残りの $r-(k-1)$ 個から選ぶので $r-k+1$ 通り。
最終的に第 $r$ 位置には $r - (r-1) = 1$ 通り しか選択肢がない。
$ $
各段階での選択肢の数は、それ以前に何を選んだかに依らず一定である。
すなわち、第$1$段階で何を選んでも、第$2$段階の選択肢の数は変わらないため、乗法原理より
$$
r \times (r-1)\times (r-2)\times \cdots \times 1
\;=\;r!
$$
が全並べ方の総数となる。
$$ \Box$$
$n$個のものから$r$個を取り出して並べる順列の総数は、
$$
\begin{aligned}
\frac{n!}{(n - r)!}
\end{aligned}
$$
である。
$n,r$を整数とし、$1 \le r \le n$とする。
$ $
$n$個の異なるものから $r$ 個を順番に選んで並べるとき、
最初に何を選び、次に何を選ぶかというように段階的に考える。
-よって、これらは連続した選択の段階であり、各段階での場合の数を掛け合わせればよい(乗法原理)。
すなわち、$r$個を順番に選ぶ方法の総数は、
$$
n \times (n - 1) \times (n - 2) \times \cdots \times (n - r + 1)
$$
これを階乗によって表すと、$n!$ の前から $r$ 個だけ掛け合わせたものに等しい。すなわち、
$$
\frac{n!}{(n - r)!}
$$
である。
$$ \Box$$
異なるものを並べる順番付きの組み合わせを順列という。
順列の総数を計算する場合、$n$個のものから$r$個を取り出して並べる順列の総数は、次のように定義される。
$$
\begin{aligned}
P(n,r):= \frac{n!}{(n - r)!}
\end{aligned}
$$
集合 $S$ を $n$ 個の異なる要素からなる有限集合とする。$S$ の部分集合で、要素数が $r$ であるものの個数を $\binom{n}{r}$ と書き、
$$
\binom{n}{r} := \#\{ A \subseteq S \mid \#A = r \}
$$
と定義する。このとき、$\binom{n}{r}$ は次のように与えられる。
$$
\binom{n}{r} = \frac{n!}{r!(n - r)!}
$$
$X$ を「$S$ の要素を重複なく並べた長さ $r$ の列(順列)」全体の集合とする。すなわち、
$$
X=\{(a_1,\dots,a_r)\in S^r\mid a_i\neq a_j\ (i\neq j)\}
$$
とすると、集合$X$ の要素数は、順列の定義から
$$
|X| := P(n,r)\quad
$$
である。次に、$Y$ を「$S$ の $r$ 要素部分集合全体の集合」とする。すなわち、
$$
Y=\{A\subseteq S\mid \#A=r\}
$$
いま、集合$Y$の要素数を
$$
|Y| := \binom{n}{r}
$$
で表す。ここで、写像
$$
f : X \to Y, \quad f(a_1,\dots,a_r) = \{a_1,\dots,a_r\}
$$
を考える。
すると、任意の $A\in Y$ に対して、$A$ は相異なる $r$ 個の元からなるので、$A$ の元を並べて得られる順序付き $r$ 組はちょうど $ r!$ 通りある。
従って
$$
|f^{-1}(A)|=r!
$$
である。よって
$$
|X| = \sum_{A \in Y} |f^{-1}(A)| = \sum_{A \in Y} r! = r! \cdot |Y|
$$
すなわち
$$
P(n,r) = r! \binom{n}{r}
$$
これを解いて
$$
\binom{n}{r} = \frac{P(n,r)}{r!} = \frac{n!}{r!(n-r)!}
$$
を得る。
$$ \Box$$
集合 $S$ を $\#S=n$ なる有限集合とし、$k$ を $0\le k\le n$ を満たす整数とする。
このとき、$S$ の部分集合で要素数が $k$ であるもの全体の集合
$$
\{A\subseteq S\mid \#A=k\}
$$
を $S$ の $k$ 要素部分集合全体という。また、その個数
$$
\binom{n}{k}:=\#\{A\subseteq S\mid \#A=k\}
$$
を、$n$ 個から $k$ 個を選ぶ組み合わせの数という。
さらに、$k>n$ のときはそのような部分集合は存在しないので
$$
\binom{n}{k}:=0
$$
と定める。
$n$ 個のもののうちで、$p$ 個が同じ、$q$ 個が同じ、$r$ 個が同じ(したがって$n=p+q+r$)であるとき、
$n$ 個の並べ方の総数は
$$
\begin{aligned}
\frac{n!}{p!q!r!}
\end{aligned}
$$
である。
$ $
もっと一般に、$n$ 個のものが $d$ 種類のグループ(各 $p_1, p_2, \ldots, p_d$ 個)に分かれているとき、
それらの並べ方の総数は
$$
\begin{aligned}
\frac{n!}{p_1!p_2! \ldots p_d!}
\end{aligned}
$$
が成り立つ。
全 $n$ 個の位置から $p_1$ 個を選んで種類 $1$ の要素を置く方法は
$$
\binom{n}{p_1}
$$
通り。残り $n-p_1$ 個の位置から $p_2$ 個を選んで種類 $2$ を置く方法は
$$
\binom{n-p_1}{p_2}
$$
通り。この操作を順次繰り返していくと、積の法則により総数は
$$
\binom{n}{p_1}\binom{n-p_1}{p_2}\binom{n-p_1-p_2}{p_3}\dotsm\binom{p_d}{p_d}
$$
組み合わせの定義
$$
\displaystyle\binom{m}{k}:=\frac{m!}{k!\,(m-k)!}
$$
を用いて順に展開し、分子同士・分母同士を整理すると
$$
\frac{n!}{p_1!\,(n-p_1)!}\cdot\frac{(n-p_1)!}{p_2!\,(n-p_1-p_2)!}\cdot\ldots\cdot\frac{p_d!}{p_d!\,0!}
=\frac{n!}{p_1!\,p_2!\,\dotsm p_d!}
$$
を得る。
$$ \Box$$
$1$ 回の試行の結果(アウトカム)の集合を $\{1,2,\ldots,k\}$ とする。
結果 $i$ が起こる確率を $p_i$($i=1,2,\ldots,k$)とし
$$
p_1+\cdots+p_k=1,\quad p_i\ge0
$$
を満たすとする。
同一条件下で独立に $n$ 回試行し,$i$ が起こった回数を確率変数 $X_i$ とする。
このとき任意の $(x_1,\ldots,x_k)\in\mathbb{Z}_{\ge0}^k$ に対し
$$
P(X_1=x_1,\ldots,X_k=x_k)=
\begin{cases}
\dfrac{n!}{x_1!\cdots x_k!}\,p_1^{x_1}\cdots p_k^{x_k} & (x_1+\cdots+x_k=n),\\
0 & (x_1+\cdots+x_k\ne n)
\end{cases}
$$
が成り立つ。
試行の結果列全体の集合を
$$
\Omega=\{1,2,\ldots,k\}^n
$$
とする。ここで $\omega=(\omega_1,\ldots,\omega_n)\in\Omega$ とし、各 $j=1,\ldots,n$ について、$\omega_j\in\{1,\ldots,k\}$ は第 $j$ 回目の試行結果を表す。
また、第 $1$ 回の試行で結果 $i$ が起こる確率を $p_i$ とする。すなわち、第 $j$ 回目の試行で結果が $\omega_j$ となる確率は $p_{\omega_j}$ である。
$ $
すると、$n$ 回の試行が独立であるから、特定の結果列 $\omega=(\omega_1,\ldots,\omega_n)$ が起こる確率は
$$
P(\{\omega\})=\prod_{j=1}^n p_{\omega_j}
$$
で与えられる。
このとき
$$
\begin{align}
\sum_{\omega\in\Omega}P(\{\omega\})
&=\sum_{\omega\in\Omega}\prod_{j=1}^n p_{\omega_j} \\
&=\sum_{(\omega_1,\ldots,\omega_n)\in\{1,\ldots,k\}^n}\prod_{j=1}^n p_{\omega_j} \\
&=\sum_{\omega_1=1}^k\sum_{\omega_2=1}^k\cdots\sum_{\omega_n=1}^k \, p_{\omega_1}p_{\omega_2}\cdots p_{\omega_n} \\
&=\sum_{\omega_1=1}^k p_{\omega_1}\;\sum_{\omega_2=1}^k p_{\omega_2}\;\cdots\;\sum_{\omega_n=1}^k p_{\omega_n} \\
&=(p_1+\cdots+p_k)(p_1+\cdots+p_k)\cdots(p_1+\cdots+p_k) \\
&=(p_1+\cdots+p_k)^n \\
&=1.
\end{align}
$$
が成り立つので、$P$ は $\Omega$ 上の確率である。
各$i=1,\ldots,k$ に対し、$\omega\in\Omega$ から得られる出現回数を
$$
X_i(\omega)=\#\{j\in\{1,\ldots,n\}\mid \omega_j=i\}
$$
で定める。定義より
$$
X_1(\omega)+\cdots+X_k(\omega)=n
$$
が成り立つ。
$ $
そこで、任意に $(x_1,\ldots,x_k)\in\mathbb{Z}_{\ge0}^k$ をとる。
例えば、$k=2,\ n=3$ とし,$\Omega=\{1,2\}^3$ とする。
$(x_1,x_2)=(2,1)$ とすると
$$
E=\{\omega\in\Omega\mid X_1(\omega)=2,\ X_2(\omega)=1\}
$$
である。この条件は「$3$回のうち $1$ が$2$回、$2$が$1$回出る」という意味なので,
それを満たす結果列は
$$
(1,1,2),\ (1,2,1),\ (2,1,1)
$$
の$3$通りある。従って、
$$
E=\{(1,1,2),(1,2,1),(2,1,1)\}
$$
となる。
-以上より確率を計算する。
$E$ は互いに素な単集合の和であり、(1) より各 $\omega\in E$ で $P(\{\omega\})$ は同じなので
$$
\begin{aligned}
P(X_1=x_1,\ldots,X_k=x_k)
&=P(E)
=\sum_{\omega\in E}P(\{\omega\}) \\
&=\sum_{\omega\in E}p_1^{x_1}\cdots p_k^{x_k}
=|E|\;p_1^{x_1}\cdots p_k^{x_k} \\
&=\frac{n!}{x_1!\cdots x_k!}\,p_1^{x_1}\cdots p_k^{x_k}
\end{aligned}
$$
となる。
$ $
従って
$$
P(X_1=x_1,\ldots,X_k=x_k)=
\begin{cases}
\dfrac{n!}{x_1!\cdots x_k!}\,p_1^{x_1}\cdots p_k^{x_k} & (x_1+\cdots+x_k=n),\\
0 & (x_1+\cdots+x_k\ne n)
\end{cases}
$$
が成り立つ。
$$ \Box$$
正の整数 $k,n$ をとる。
$1$ 回目の試行の結果(アウトカム)の集合を $\{1,2,\ldots,k\}$ とし、結果 $i$ が起こる確率を $p_i$($i=1,\ldots,k$)とする。
$ $
ここで
$$
p_1+\cdots+p_k=1,\quad p_i\ge0
$$
を満たすとする。
$ $
同一条件下で独立に $n$ 回試行し,第 $i$ の結果が起こった回数を確率変数 $X_i$ とする。
このとき確率変数ベクトル
$$
(X_1,\ldots,X_k)
$$
が次の確率質量関数で与えられるとき、$(X_1,\ldots,X_k)$ はパラメータ $(n,p_1,\ldots,p_k)$ の多項分布に従うといい、
$$
(X_1,\ldots,X_k)\sim \mathrm{Mult}(n;p_1,\ldots,p_k)
$$
と書く。すなわち、任意の $(x_1,\ldots,x_k)\in\mathbb{Z}_{\ge0}^k$ に対し
$$
P(X_1=x_1,\ldots,X_k=x_k)=
\begin{cases}
\dfrac{n!}{x_1!\cdots x_k!}\,p_1^{x_1}\cdots p_k^{x_k} & (x_1+\cdots+x_k=n),\\
0 & (x_1+\cdots+x_k\ne n)
\end{cases}
$$
として与えられる場合である。