包除原理について少し解説
包除原理とは、以下のことを指します。
2つの集合に対し
ここで、は集合の要素数を表します。
包除原理は、「または」という状況を「かつ」という状況に変換できる公式です(逆も同様)。この公式は数学Aで初めて出てきますね。教科書によっては、「和集合の要素の個数の公式」というようなニュアンスの名前が付いているかもしれません。
なお、包除原理はさらに集合の個数を増やして一般化できるらしいのですが、正直よくわかっていないのでここでは省略します。
包除原理の証明についてはここでは詳しくはしませんが、集合が2,3個ほどの場合はベン図を用いて考えることができます(一般の場合にも同様の議論で可能なようです)。
やり方としては、集合(の要素数)やその共通部分などを足したり引いたりして左辺の状態にうまいこと持っていくような方法です。
数学的帰納法でも証明できるらしいですが、よく分かりません;
ここではとりあえず例題を解いてみます。
問集合を以下のの倍数の集合、集合を以下のの倍数の集合とするとき、を求めよ。
普通に求めにいってもいいのですが、ここでは包除原理を用いて解きます。
まず、より、
次に、より、
これらを包除原理の式に当てはめると
となります。
ちなみに左辺を普通に求めると、
より、
となり先ほどの結果と一致します。
物足りない感はありますが、今回はこの辺で。