全体集合 $U$ とその部分集合 $A$, $B$ について、$n(U) = 60$, $n(A) = 30$, $n(B) = 25$ である。 次の個数のとりうる値の最大値と最小値を求めよ。 (1) $n(A \cap B)$ (2) $n(A \cup B)$ (3) $n(A \cap \overline{B})$

離散数学集合集合の要素数最大値最小値
2025/5/14

1. 問題の内容

全体集合 UU とその部分集合 AA, BB について、n(U)=60n(U) = 60, n(A)=30n(A) = 30, n(B)=25n(B) = 25 である。
次の個数のとりうる値の最大値と最小値を求めよ。
(1) n(AB)n(A \cap B)
(2) n(AB)n(A \cup B)
(3) n(AB)n(A \cap \overline{B})

2. 解き方の手順

(1) n(AB)n(A \cap B) について
n(AB)n(A \cap B) が最大となるのは、BAB \subset A のときである。このとき、n(AB)=n(B)=25n(A \cap B) = n(B) = 25
n(AB)n(A \cap B) が最小となるのは、n(AB)n(A \cup B) が最大となるときである。
n(AB)n(U)=60n(A \cup B) \le n(U) = 60 である。
n(AB)=n(A)+n(B)n(AB)n(A \cup B) = n(A) + n(B) - n(A \cap B) より、n(AB)=n(A)+n(B)n(AB)n(A \cap B) = n(A) + n(B) - n(A \cup B)
n(AB)n(A \cap B) が最小となるのは、n(AB)n(A \cup B) が最大、つまり n(AB)=60n(A \cup B) = 60 のときである。
n(AB)=30+2560=5n(A \cap B) = 30 + 25 - 60 = -5 となることはないため、n(AB)n(A \cup B) が取りうる最大の値は、全体集合 UU の要素数である60である。
よって、n(AB)=60n(A \cup B) = 60のとき、n(AB)=30+2560=5n(A \cap B) = 30 + 25 - 60 = -5になるが、これはありえない。
n(AB)n(A \cup B)がとりうる最大の値を別の方法で考える。
n(AB)=n(A)+n(B)n(AB)n(A \cup B) = n(A) + n(B) - n(A \cap B)
n(A)=30n(A) = 30, n(B)=25n(B) = 25 より n(AB)=30+25n(AB)n(A \cup B) = 30 + 25 - n(A \cap B)
n(AB)=55n(AB)n(A \cup B) = 55 - n(A \cap B)
n(AB)n(A \cup B) の最大値は、n(AB)n(A \cap B) が最小の時である。
n(AB)0n(A \cap B) \ge 0 より、n(AB)55n(A \cup B) \le 55 である。
n(AB)n(A \cup B) の最小値は、n(AB)n(A)n(A \cup B) \ge n(A) かつ n(AB)n(B)n(A \cup B) \ge n(B) より、n(AB)30n(A \cup B) \ge 30 である。
n(AB)=n(A)+n(B)n(AB)=30+25n(AB)=55n(AB)n(A \cap B) = n(A) + n(B) - n(A \cup B) = 30 + 25 - n(A \cup B) = 55 - n(A \cup B)
n(AB)n(A \cup B) が最大になるのは、全体集合の要素数に等しいとき、つまりn(AB)=60n(A \cup B) = 60のとき。
このとき、n(AB)=5560=5n(A \cap B) = 55 - 60 = -5 となるので、ありえない。
したがって、n(AB)n(A \cup B)が取りうる最大の数は n(U)n(U) 以下である。ABA \cup B に含まれる要素は UU の要素数を超えることはない。
n(A)+n(B)n(AB)n(U)n(A) + n(B) - n(A \cap B) \le n(U)
30+25n(AB)6030 + 25 - n(A \cap B) \le 60
55n(AB)6055 - n(A \cap B) \le 60
n(AB)5- n(A \cap B) \le 5
n(AB)5n(A \cap B) \ge -5
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(AB)n(A \cup B) が最大となるとき
ABA \subset B でないとすると、n(AB)60n(A \cup B) \le 60 となる。
n(AB)0n(A \cap B) \ge 0 より n(AB)=55n(AB)n(A \cup B) = 55 - n(A \cap B) からn(AB)55n(A \cup B) \le 55
ここで n(A)=30n(A) = 30n(B)=25n(B) = 25 であるから、n(AB)30n(A \cup B) \ge 30
n(AB)=n(A)+n(B)n(AB)=55n(AB)n(A \cap B) = n(A) + n(B) - n(A \cup B) = 55 - n(A \cup B)
n(AB)n(A \cup B) が最大になるのは n(AB)n(A \cap B) が最小の時である。
n(AB)=n(A)+n(B)n(AB)n(U)=60n(A \cup B) = n(A) + n(B) - n(A \cap B) \le n(U) = 60 より
30+25n(AB)6030 + 25 - n(A \cap B) \le 60
55n(AB)6055 - n(A \cap B) \le 60
n(AB)5n(A \cap B) \ge -5
n(AB)0n(A \cap B) \ge 0
n(AB)=n(A)+n(B)n(AB)n(A \cup B) = n(A) + n(B) - n(A \cap B) より、
n(AB)=0n(A \cap B) = 0 の時、n(AB)=55n(A \cup B) = 55
n(AB)n(A \cap B) の最小値は、AB=ϕA \cap B = \phiの時、0 である。
(2) n(AB)n(A \cup B) について
n(AB)n(A \cup B) が最大となるのは、n(AB)n(A \cap B) が最小となるとき。ABUA \cup B \subset U より n(AB)n(U)=60n(A \cup B) \le n(U) = 60
n(AB)=n(A)+n(B)n(AB)=30+25n(AB)n(A \cup B) = n(A) + n(B) - n(A \cap B) = 30 + 25 - n(A \cap B)
n(AB)0n(A \cap B) \ge 0 より、n(AB)55n(A \cup B) \le 55
n(AB)n(A \cup B) が最小となるのは、ABA \subset B または BAB \subset Aのときである。
n(AB)n(A)=30n(A \cup B) \ge n(A) = 30 なので、ABA \subset B の場合、n(AB)=n(B)=25n(A \cup B) = n(B) = 25
n(AB)n(B)=25n(A \cup B) \ge n(B) = 25 なので、BAB \subset A の場合、n(AB)=n(A)=30n(A \cup B) = n(A) = 30
したがって、最小値は n(A)=30n(A) = 30
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(AB)n(A \cap B) が最小の時である。
n(AB)n(A \cap B) の最小値は0なので、n(AB)=30+250=55n(A \cup B) = 30 + 25 - 0 = 55
(3) n(AB)n(A \cap \overline{B}) について
n(AB)=n(A)n(AB)n(A \cap \overline{B}) = n(A) - n(A \cap B)
n(AB)n(A \cap \overline{B}) が最大となるのは、n(AB)n(A \cap B) が最小となるとき。
n(AB)=0n(A \cap B) = 0 のとき、n(AB)=n(A)=30n(A \cap \overline{B}) = n(A) = 30
n(AB)n(A \cap \overline{B}) が最小となるのは、n(AB)n(A \cap B) が最大となるとき。
n(AB)n(A \cap B) の最大値は、n(B)=25n(B) = 25 のときなので、n(AB)=3025=5n(A \cap \overline{B}) = 30 - 25 = 5

3. 最終的な答え

(1) n(AB)n(A \cap B) の最大値: 25, 最小値: 0
(2) n(AB)n(A \cup B) の最大値: 55, 最小値: 30
(3) n(AB)n(A \cap \overline{B}) の最大値: 30, 最小値: 5

「離散数学」の関連問題

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