全体集合 $U$ の部分集合 $A, B$ に対して、要素の個数が $n(U) = 20, n(A \cup B) = 17, n(B) = 9$ であるとき、以下の集合の要素の個数を求めます。 (3) $\bar{A} \cap B$ (2) $A \cap \bar{B}$

離散数学集合集合の要素数ベン図
2025/5/15

1. 問題の内容

全体集合 UU の部分集合 A,BA, B に対して、要素の個数が n(U)=20,n(AB)=17,n(B)=9n(U) = 20, n(A \cup B) = 17, n(B) = 9 であるとき、以下の集合の要素の個数を求めます。
(3) AˉB\bar{A} \cap B
(2) ABˉA \cap \bar{B}

2. 解き方の手順

まず、n(AB)n(A \cup B) の公式を利用して、n(A)n(A) を求めます。
n(AB)=n(A)+n(B)n(AB)n(A \cup B) = n(A) + n(B) - n(A \cap B)
ここで、n(AB)n(A \cap B) は不明なので、このままでは n(A)n(A) を求めることができません。
しかし、ABA \cup B の補集合を考えると、
n(AB)=n(U)n(AB)=2017=3n(\overline{A \cup B}) = n(U) - n(A \cup B) = 20 - 17 = 3
となります。
次に、集合 BB を、AAとの共通部分と共通部分でない部分に分けます。つまり、
B=(AB)(AˉB)B = (A \cap B) \cup (\bar{A} \cap B)
より、
n(B)=n(AB)+n(AˉB)n(B) = n(A \cap B) + n(\bar{A} \cap B)
となります。よって、n(AˉB)=n(B)n(AB)n(\bar{A} \cap B) = n(B) - n(A \cap B) です。
一方、
AB=A(AˉB)A \cup B = A \cup (\bar{A} \cap B) であり、 AAAˉB\bar{A} \cap B は共通部分を持たないので、
n(AB)=n(A)+n(AˉB)n(A \cup B) = n(A) + n(\bar{A} \cap B)
が成り立ちます。これに、n(AˉB)=n(B)n(AB)n(\bar{A} \cap B) = n(B) - n(A \cap B) を代入すると、
n(AB)=n(A)+n(B)n(AB)n(A \cup B) = n(A) + n(B) - n(A \cap B)
となり、これは最初に書いた n(AB)n(A \cup B) の公式と同じです。
n(A)n(A)n(AB)n(A \cap B) を求めるために、n(AB)=n(A)+n(B)n(AB)n(A \cup B) = n(A) + n(B) - n(A \cap B) を変形します。
n(A)=n(AB)n(B)+n(AB)=179+n(AB)=8+n(AB)n(A) = n(A \cup B) - n(B) + n(A \cap B) = 17 - 9 + n(A \cap B) = 8 + n(A \cap B)
また、AˉB=B(AB)\bar{A} \cap B = B - (A \cap B) より n(AˉB)=n(B)n(AB)=9n(AB)n(\bar{A} \cap B) = n(B) - n(A \cap B) = 9 - n(A \cap B)
そして、ABˉ=A(AB)A \cap \bar{B} = A - (A \cap B) より n(ABˉ)=n(A)n(AB)=(8+n(AB))n(AB)=8n(A \cap \bar{B}) = n(A) - n(A \cap B) = (8 + n(A \cap B)) - n(A \cap B) = 8
n(AB)=n(A)+n(B)n(AB)n(A \cup B) = n(A) + n(B) - n(A \cap B)
17=n(A)+9n(AB)17 = n(A) + 9 - n(A \cap B)
n(A)=8+n(AB)n(A) = 8 + n(A \cap B)
AB=(ABˉ)BA \cup B = (A \cap \bar{B}) \cup B であり、 (ABˉ)(A \cap \bar{B})BB は互いに素なので、
n(AB)=n(ABˉ)+n(B)n(A \cup B) = n(A \cap \bar{B}) + n(B)
17=n(ABˉ)+917 = n(A \cap \bar{B}) + 9
n(ABˉ)=8n(A \cap \bar{B}) = 8
n(ABˉ)+n(AˉB)+n(AB)=n(AB)=17n(A \cap \bar{B}) + n(\bar{A} \cap B) + n(A \cap B) = n(A \cup B) = 17
また、n(AˉB)=n(B)n(AB)n(\bar{A} \cap B) = n(B) - n(A \cap B) より、n(AˉB)=9n(AB)n(\bar{A} \cap B) = 9 - n(A \cap B)
8+9n(AB)+n(AB)=178 + 9 - n(A \cap B) + n(A \cap B) = 17
n(AˉB)=n(B)n(AB)n(\bar{A} \cap B) = n(B) - n(A \cap B) なので、n(AˉB)=n(B)n(AB)=9n(AB)n(\bar{A} \cap B) = n(B) - n(A \cap B) = 9 - n(A \cap B)
n(A)+n(Aˉ)=n(U)n(A) + n(\bar{A}) = n(U)
n(ABˉ)+n(AB)+n(AˉB)+n(AB)=n(U)n(A \cap \bar{B}) + n(A \cap B) + n(\bar{A} \cap B) + n(\overline{A \cup B}) = n(U)
8+n(AB)+n(AˉB)+3=208 + n(A \cap B) + n(\bar{A} \cap B) + 3 = 20
n(AB)+n(AˉB)=9n(A \cap B) + n(\bar{A} \cap B) = 9
n(AˉB)=n(B)n(AB)n(\bar{A} \cap B) = n(B) - n(A \cap B)
n(AˉB)=9n(AB)n(\bar{A} \cap B) = 9 - n(A \cap B)
n(AˉB)=9n(AB)n(\bar{A} \cap B) = 9 - n(A \cap B)
n(AB)=0n(A \cap B) = 0 より、n(AˉB)=9n(\bar{A} \cap B) = 9

3. 最終的な答え

AˉB\bar{A} \cap B の要素の個数: 9
ABˉA \cap \bar{B} の要素の個数: 8

「離散数学」の関連問題

40人のクラスで、シャープペンシルを持っている人が33人、ボールペンを持っている人が28人、万年筆を持っている人が21人いる。誰も何も持っていない人はいなかったとき、以下の選択肢の中で確実に言えるもの...

集合包除原理ベン図
2025/8/4

与えられた論理式、すなわち「最終閉包式 (Ultimate Closure Equation) $(\Omega \cong \emptyset) \land (\Phi(F) \subset N)...

論理集合命題論理含意真理値
2025/8/4

与えられた論理回路について、以下の3つの問いに答える問題です。 1. 回路を表す論理式を示せ。

論理回路ブール代数論理式真理値表論理ゲート
2025/8/4

集合 $S = \{x | x \in \mathbb{N}, 0 < \sqrt{x} < 3\}$ について考える。 1. 関係 $R = \{(x, y) | x \in S, y \in S,...

集合関係同値関係商集合合成関係
2025/8/4

15以下の自然数の集合を全体集合Uとする。 3の倍数の集合をA、4の倍数の集合をBとする。 (1) $A \cap B$ (2) $A \cup B$ (3) $\overline{A}$ (4) $...

集合集合演算共通部分和集合補集合
2025/8/4

問題3は、与えられた集合AとBについて、共通部分 $A \cap B$ と和集合 $A \cup B$ を求める問題です。 問題4は、全体集合Uを15以下の自然数の集合とし、3の倍数の集合をBとすると...

集合共通部分和集合
2025/8/4

問題は以下の2点です。 1. $p \Rightarrow q$ と $\neg p \vee q$ が論理的に同値であることを示す。

論理命題論理論理的同値ド・モルガンの法則含意の除去
2025/8/4

与えられたグラフの最小全域木を求め、それを図示し、最小全域木の辺の重みの総和を計算する問題です。

グラフ理論最小全域木クラスカル法プリム法
2025/8/4

問題6について、全体集合$U$を15以下の自然数全体の集合とし、$U$の部分集合$A = \{1, 2, 4, 7, 8, 9, 12, 15\}$、$B = \{1, 4, 6, 7, 9\}$が与...

集合集合演算要素数補集合
2025/8/4

図のような道のある町で、点Aから点Bまでの最短経路の総数、点Qを通る最短経路の総数、点Pまたは点Qを通る最短経路の総数をそれぞれ求める問題です。

組み合わせ最短経路場合の数順列
2025/8/4