|
組合せ数学において、包除原理(ほうじょげんり、包含と排除の原理、)とは''A''1, ..., ''A''''n'' を有限集合としたとき : となることをいう。ここで |''A''| は集合 ''A'' の濃度をあらわす。例えば、''n'' = 2 のときは、二重計算の特別な場合となる。簡単に言えば、集合 ''A'' と ''B'' の和集合の大きさを計算する方法として、まず |''A''| と |''B''| を足しあわせ、それらの共通部分の大きさを引き去ることで計算できるというものである。この原理の名称は、あらゆるものを「含め」、その後で「取り除いて」補正をするという考え方に基づいていることからきている。''n'' > 2 のときは、共通部分の除外計算が場合によって非常に困難になってくる。また、公式には符号が交互にあらわれる。 この公式はアブラーム・ド・モアブルによるものと考えられている。時にジェームス・ジョセフ・シルベスターまたはアンリ・ポアンカレによるとも言われる。 たとえば3つの有限集合 ''A'', ''B'', ''C'' に対しての包除原理は右図のようにあらわされる。 : ==証明== 包除原理を一般に証明するため、''X'' を ''A''1, ..., ''A''''n'' の上位集合とする。公式はまず恒等式 : を指示関数の変形でもとめ、全ての ''x'' ∈ ''X'' について足しあわせることで示される。 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「包除原理」の詳細全文を読む スポンサード リンク
|