全体集合 $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

「離散数学」の関連問題

大人6人と子ども6人が輪の形に並ぶとき、大人と子どもが交互に並ぶ並び方は何通りあるかを求める問題です。

順列円順列組み合わせ
2025/5/15

与えられた画像に掲載されている数学の問題を解きます。具体的には以下の問題を解きます。 * 問題25:5個の文字 a, a, b, b, c から3個の文字を選んで、1列に並べる方法は何通りあるか。...

場合の数組み合わせ順列約数確率
2025/5/15

集合 $A = \{1, 2, 3\}$ と集合 $B = \{1, 3, 5\}$ が与えられたとき、これらの和集合 $A \cup B$ を求める問題です。

集合和集合
2025/5/15

全体集合$U$と、その部分集合$A, B$について、次の集合を求める問題です。 (1) $\overline{B}$ (2) $\overline{A \cap B}$ (3) $A \cap \ov...

集合集合演算補集合共通部分和集合
2025/5/15

問題は集合に関するものです。 練習6では、集合$A = \{1, 2, 3, 4, 5, 6, 7\}$、$B = \{2, 4, 6, 8\}$、$C = \{1, 3\}$が与えられています。以下...

集合集合演算共通部分和集合約数素数
2025/5/15

与えられた集合のすべての部分集合を求める問題です。具体的には、(1) $\{1, 2\}$ と (2) $\{a, b, c\}$ の部分集合をそれぞれリストアップします。

集合論部分集合組み合わせ
2025/5/15

集合の関係を包含関係($\subset$)または等号(=)を用いて表す問題です。具体的には、以下の3つの問題があります。 (1) $A = \{1, 2, 4, 8\}$ と $B = \{1, 2,...

集合包含関係集合の要素
2025/5/15

問題は、集合 $A$ と集合 $B$ が与えられたとき、$\overline{A \cap B}$ を求めることです。これは、$A$ と $B$ の共通部分の補集合を求めることを意味します。

集合論ド・モルガンの法則補集合共通部分和集合
2025/5/15

図のA, B, C, D, Eの各領域を、隣り合った領域が異なる色になるように塗り分ける。指定された色の数をすべて使う必要がある。以下のそれぞれの場合について、塗り分け方が何通りあるかを求める。 (1...

塗り分けグラフ理論場合の数
2025/5/15

1, 1, 2, 2, 3, 3 の6つの数字を1列に並べる。 (1) 相異なる並べ方は全部で何通りあるか。 (2) 同じ数字が隣り合わない並べ方は何通りあるか。

順列組合せ重複順列包除原理
2025/5/15