包除の定理
〔参考文献:Williram Feller(河田龍夫ら訳)『確率論とその応用Ⅰ(上巻)』紀伊国屋書店, 2001.〕
(離散)標本集合を とし、その部分集合である 個の事象 を考える。「ちょうど 個の事象のみが起こる」という事象 の起こる確率は、
とおくとき( は 次の置換全体の集合)、
で求めることができる。長い式で少し嫌になる(特にΣで和をとる範囲が面倒そうに思える)のだが、実用の幅が広い定理で(冒頭に示した参考文献で、色々の応用を扱っている)、とても重要だと思ったので、メモする。
証明. 次の式で、指示関数(indicator) という関数:
を定める( は などとも書かれる)。 つまり は、 を入力とし、 ならば を, ならば を返すような関数である。この指示関数を用いると、
と表すことができる。記号の便宜で、
とおくことにしよう。よって となる。以上のことから、示したい式は
と書くことができるので、任意の について、
を示すことができれば証明が終わる(もはやこれは確率論というよりも集合論であることに注意されたい。この定理の本質はこの式に他ならない。 なお、例えば を有限集合と仮定して、 について で に含まれる元の個数を表すことにすれば、 を で置き換えるだけで上の議論をそのまま使って に関する同様の定理が証明できる)。
の場合。このとき、 はちょうど 個の事象 のみに含まれるのだったから、 となるので、 を示せばよい。 を昇順(小さい順)に並び替えて が一意に定まるので、 のΣのうちで、 なるただひとつの についての項のみが残り、この項の値は である。ゆえに となる。
の場合。 は のうちで、ちょうど 個 の事象に含まれるとする。 ならば となるから成立するので、以下 とする。なお、やはり は成立つので、示すべくは、
である。
は 個の事象に属するから、 について、 のΣのうちで、残る項は 個だけあり(これがポイントである。 という条件が附されているので、 個から 個を選ぶ組合せの総数と同じだけ項が残る)、その値はすべて であるから、 が成立つ。したがって、示す式は、
とかける。ここで が成立するので、
と変形できるが、この右辺の の中は の二項展開だから (右辺) が得られる。これで証明が終わった。終
この定理の効力を見るために、参考文献から一例を借用しよう。
と番号の書かれたカードが二組あって、一方を番号が昇順になるように、横一列に机に並べる。そのすぐ下に、他方をシャッフルして横一列に並べる。結果として机には二列の 枚のカードが並び、上は整列されていて、下は勝手に並んでいる、という状況になる。 ならば、例えば
という風に並んでいるのである。このとき、この二列を縦にみて、上下で数字が一致しているか否かを考えよう。この例では、 のみが一致している。
さて、下列の並び方は全部で 通りある。そこで、どの並び方も同じ確率 で起こると仮定するとき、ちょうど 個の数字が一致する確率はどれくらいだろうか?
下列の並び方を、数字をカンマ区切りで横に並べて括弧でまとめることで表現しよう。先の例なら と表すことができる。逆に、 個の数字によるこの表記から、ある一つの下列の並べ方が対応するので、下列の並び方のすべてをこのような表記で統一的に表すことができる。従って、直積を用いて標本空間 は とかける。
事象 を「番号 が一致する」ことによって定める 。厳密に言えば とかくことができる。含まれる元の個数は である。求めたい確率は、事象 を「 のうちでちょうど 個のみの事象が起こる」ことと定義して とかけるので、定理の記号で、
であるから、
と求めることができる。特に が十分大ならば、 であることから、
と近似できる。さらに とすれば、
であるが、これは「十分多い 枚のカードのもとで、ひとつも数字が一致しない並び方となる確率」を表している。
は、すべての について となるとき撹拌置換と呼ばれる。この言葉を使えば、 次の撹拌置換を得る確率は概ね 程度である。