補集合や共通部分、和集合を組み合わせて考えるような集合の問題はよくある。
その中でも重要なのが、ド・モルガンの法則。
2つの集合で学んだこの法則は、3つの集合にも拡張することができる。

これは
- 補集合を取ると「共通部分」と「和集合」の関係が入れ替わる

というのがポイント。

- 補集合を取ると「共通部分」と「和集合」の関係が入れ替わる

\((a)\overline{A∪B∪C}\)について
\(A∪B∪C\)は「\(A\)または\(B\)または\(C\)」なので、ベン図で表すと

その補集合\(\overline{A∪B∪C}\)をベン図で表すと

\((b)\overline{A}∩\overline{B}∩\overline{C}\)について
\(\overline{A}\)と\(\overline{B}\)と\(\overline{C}\)をベン図で表すと

\(\overline{A}∩\overline{B}∩\overline{C}\)は「\(\overline{A}\)かつ\(\overline{B}\)かつ\(\overline{C}\)」なので、これをベン図で表すと

\((a)\overline{A∪B∪C}\)と\((b)\overline{A}∩\overline{B}∩\overline{C}\)のベン図は同じになるので

(2)\(\overline{A∩B∩C}=\overline{A}∪\overline{B}∪\overline{C}\)
\((a)\overline{A∩B∩C}\)について
\(A∩B∩C\)は「\(A\)かつ\(B\)かつ\(C\)」なので、ベン図で表すと

その補集合\(\overline{A∩B∩C}\)をベン図で表すと

\((b)\overline{A}∪\overline{B}∪\overline{C}\)について
\(\overline{A}\)と\(\overline{B}\)と\(\overline{C}\)をベン図で表すと

\(\overline{A}∪\overline{B}∪\overline{C}\)は「\(\overline{A}\)または\(\overline{B}\)または\(\overline{C}\)」なので、これをベン図で表すと

\((a)\overline{A∪B∪C}\)と\((b)\overline{A}∪\overline{B}∪\overline{C}\)のベン図は一致するので


\((a)\overline{A∪B∪C}\)について
\(\overline{A}=\{x|x∈U\)かつ\(x∉A\}\)より\(\overline{A∪B∪C}=\{x|x∈U\)かつ\(x∉A∪B∪C\}\)となる。
\(x∉A∪B∪C\)は、\(x\)は「\(A\)または\(B\)または\(C\)」に属していない要素ということ。
つまり、\(x\)は\(A\)にも属しておらず、\(B\)にも属しておらず、\(C\)にも属していない。
なので、「\(x∉A\)かつ\(x∉B\)かつ\(x∉C\)」ということができる。
\(x∉A\)かつ\(x∉B\)かつ\(x∉C\)は「\(x∈\overline{A}\)かつ\(x∈\overline{B}\)かつ\(x∈\overline{C}\)」ということができ、「\(x∈\overline{A}∩\overline{B}∩\overline{C}\)」となる。
「\(\overline{A∪B∪C}\)ならば\(\overline{A}∩\overline{B}∩\overline{C}\)」なので、 \[\overline{A∪B∪C}⊂\overline{A}∩\overline{B}∩\overline{C}\]
\((b)\overline{A}∩\overline{B}∩\overline{C}\)について
\(\overline{A}∩\overline{B}∩\overline{C}=\{x|x∈U\)かつ\(x∉A\)かつ\(x∉B\)かつ\(x∉C\}\)なので、任意の要素\(x\)について、「\(x∉A\)かつ\(x∉B\)かつ\(x∉C\)」が成り立つ。
\(x∉A\)かつ\(x∉B\)かつ\(x∉C\)より、\(x\)は\(A\)にも属しておらず、\(B\)にも属しておらず、\(C\)にも属していない。
これは「\(A\)または\(B\)または\(C\)」に属していない要素ということ。
なので、「\(x∉A∪B∪C\)」ということができ、「\(x∈\overline{A∪B∪C}\)」となる。 「\(\overline{A}∩\overline{B}∩\overline{C}\)ならば\(\overline{A∪B∪C}\)」なので、 \[\overline{A}∩\overline{B}∩\overline{C}⊂\overline{A∪B∪C}\]
\((a)\overline{A∪B∪C}⊂\overline{A}∩\overline{B}∩\overline{C}\)と\((b)\overline{A}∩\overline{B}∩\overline{C}⊂\overline{A∪B∪C}\)が同時に成り立つので \[\overline{A∪B∪C}=\overline{A}∩\overline{B}∩\overline{C}\] が成り立つ。
(2)\(\overline{A∩B∩C}=\overline{A}∪\overline{B}∪\overline{C}\)
\((a)\overline{A∩B∩C}\)について
\(\overline{A}=\{x|x∈U\)かつ\(x∉A\}\)より\(\overline{A∩B∩C}=\{x|x∈U\)かつ\(x∉A∩B∩C\}\)となる。
\(x∉A∩B∩C\)は、\(x\)は「\(A\)かつ\(B\)かつ\(C\)」に属していない要素ということ。
つまり、\(A\)に属していないか、\(B\)に属していないか、\(C\)に属していないということ。
なので、「\(x∉A\)または\(x∉B\)または\(x∉C\)」ということができる。
\(x∉A\)または\(x∉B\)または\(x∉C\)は「\(x∈\overline{A}\)または\(x∈\overline{B}\)または\(x∈\overline{C}\)」ということができ、「\(x∈\overline{A}∪\overline{B}∪\overline{C}\)」となる。 「\(\overline{A∩B∩C}\)ならば\(\overline{A}∪\overline{B}∪\overline{C}\)」なので、 \[\overline{A∩B∩C}⊂\overline{A}∪\overline{B}∪\overline{C}\]
\((b)\overline{A}∪\overline{B}∪\overline{C}\)について
\(\overline{A}∪\overline{B}∪\overline{C}=\{x|x∈U\)かつ\(x∉A\)または\(x∉B\)または\(x∉C\}\)なので、任意の要素\(x\)について、「\(x∉A\)または\(x∉B\)または\(x∉C\)」が成り立つ。
\(x∉A\)または\(x∉B\)または\(x∉C\)より、\(x\)は\(A\)に属していないか、\(B\)に属していないか、\(C\)に属していない。
これは「\(A\)かつ\(B\)かつ\(C\)」に属していない要素ということ。
なので、「\(x∉A∩B∩C\)」ということができ、「\(x∈\overline{A∩B∩C}\)」となる。
「\(\overline{A}∪\overline{B}∪\overline{C}\)ならば\(\overline{A∩B∩C}\)」なので、 \[\overline{A}∪\overline{B}∪\overline{C}⊂\overline{A∩B∩C}\]
\((a)\overline{A∩B∩C}⊂\overline{A}∪\overline{B}∪\overline{C}\)と\((b)\overline{A}∪\overline{B}∪\overline{C}⊂\overline{A∩B∩C}\)が同時に成り立つのでが同時に成り立つので \[\overline{A∩B∩C}=\overline{A}∪\overline{B}∪\overline{C}\] が成り立つ。
☆ド・モルガンの法則の一般化
ド・モルガンの法則は、2つや3つの集合に限らず、4つ以上の集合に対しても同じように成り立つ。例えば、4つの集合\(A,B,C,D\)については
\[\cdot\:\:\overline{A∪B∪C∪D}=\overline{A}∩\overline{B}∩\overline{C}∩\overline{D}\]
\[\cdot\:\:\overline{A∩B∩C∩D}=\overline{A}∪\overline{B}∪\overline{C}∪\overline{D}\]
となる。これを一般化すると
\[\cdot\:\:\overline{A_{1}∪A_{2}∪⋯∪A_{n}}=\overline{A_{1}}∩\overline{A_{2}}∩⋯∩\overline{A_{n}}\]
\[\cdot\:\:\overline{A_{1}∩A_{2}∩⋯∩A_{n}}=\overline{A_{1}}∪\overline{A_{2}}∪⋯∪\overline{A_{n}}\]
となる。こんな感じに、補集合を取ると「共通部分(\(∩\))」と「和集合(\(∪\))」の関係がすべて入れ替わるというルールは、集合の個数に関係なく成り立つ。つまり、ド・モルガンの法則は「補集合を取ると、\(∩\)と\(∪\)がすべて入れ替わる」という1つのルールだけ覚えておけば良き。高校範囲ではここまで一般化して扱うことは少ないけど、考え方としては同じ。
-1024x197.png)
例題を解きながら、ド・モルガンの法則の使い方を確認していく。

・LINEを使っていると答えた人の集合を\(L\)
・Instagramを使っていると答えた人の集合を\(I\)
・TikTokを使っていると答えた人の集合を\(T\)
とおいて考えてみる。
「LINEを使っていない」または「Instagramを使っていない」または「TikTokを使っていない」と答えた人は70人なので \[n(\overline{L}∪\overline{I}∪\overline{T})=70\] 「使っていない」という条件は補集合で表されているため、ド・モルガンの法則を使って、補集合の中身を共通部分に式変形させる。
ド・モルガンの法則\(\overline{A∩B∩C}=\overline{A}∪\overline{B}∪\overline{C}\)より \[n(\overline{L}∪\overline{I}∪\overline{T})=n(\overline{L∩I∩T})=70\] 補集合の個数定理\(n(\overline{A})=n(U)-n(A)\)より

求めたい「LINEとInstagramの両方を使っているが、TikTokは使っていない人」の人数は \[n(L∩I∩\overline{T})\] なので、\(n(L∩I∩T)=30,n(L∩I)=56\)より

ベン図で見ると

こんな感じ。
-1024x218.png)
| 集合と集合の関係を図で表したもの | |
| 範囲がはっきりしているものの集まり | |
\(a∈A\) |
\(a\)は\(A\)に属する \(a\)は\(A\)の要素 |
\(U\) |
すべての要素をまとめた集合 |
\(A⊂B\) |
\(A\)は\(B\)に含まれる \(B\)は\(A\)を含む |
\(A∩B\) |
\(A\)かつ\(B\) |
\(A∪B\) |
\(A\)または\(B\) |
\(\overline{A}\) |
全体集合の要素で、集合\(A\)に属さない要素全体の集合 |
-1024x691.png)
ポイントは補集合を取ると「共通部分」と「和集合」の関係が入れ替わるということ。
2つの集合と同じルールなので、構造を理解すればそんなに覚えることは難しくない。
すうがくのいえ 
