空集合でない2つの集合A, Bについて、$n(A) + n(B) = 12$である。 (1) $n(A \cup B) = 10$のとき、$n(A \cap B)$と$n(\overline{A} \cap B) + n(A \cap \overline{B})$を求めよ。 (2) $n(A) \geq n(B)$として、$n(A \cup B)$のとりうる値を求めよ。

離散数学集合集合の要素数包含と排除の原理
2025/4/29

1. 問題の内容

空集合でない2つの集合A, Bについて、n(A)+n(B)=12n(A) + n(B) = 12である。
(1) n(AB)=10n(A \cup B) = 10のとき、n(AB)n(A \cap B)n(AB)+n(AB)n(\overline{A} \cap B) + n(A \cap \overline{B})を求めよ。
(2) n(A)n(B)n(A) \geq n(B)として、n(AB)n(A \cup B)のとりうる値を求めよ。

2. 解き方の手順

(1)
集合の要素に関する公式より、
n(AB)=n(A)+n(B)n(AB)n(A \cup B) = n(A) + n(B) - n(A \cap B)
問題文より、n(A)+n(B)=12n(A) + n(B) = 12n(AB)=10n(A \cup B) = 10であるから、
10=12n(AB)10 = 12 - n(A \cap B)
n(AB)=1210n(A \cap B) = 12 - 10
n(AB)=2n(A \cap B) = 2
n(AB)=n(B)n(AB)n(\overline{A} \cap B) = n(B) - n(A \cap B)
n(AB)=n(A)n(AB)n(A \cap \overline{B}) = n(A) - n(A \cap B)
よって、
n(AB)+n(AB)=n(B)n(AB)+n(A)n(AB)n(\overline{A} \cap B) + n(A \cap \overline{B}) = n(B) - n(A \cap B) + n(A) - n(A \cap B)
=n(A)+n(B)2n(AB)= n(A) + n(B) - 2n(A \cap B)
=122×2= 12 - 2 \times 2
=124= 12 - 4
=8= 8
(2)
n(AB)=n(A)+n(B)n(AB)=12n(AB)n(A \cup B) = n(A) + n(B) - n(A \cap B) = 12 - n(A \cap B)
空集合でない2つの集合なので、n(A)>0n(A)>0n(B)>0n(B)>0を満たす必要がある。
また、n(A)n(B)n(A) \geq n(B)を満たす必要がある。
n(AB)0n(A \cap B) \geq 0 より、n(AB)12n(A \cup B) \leq 12
n(AB)n(A \cup B)が最小となる場合を考える。
n(AB)n(A \cap B)が最大となるとき、n(AB)n(A \cup B)は最小となる。
n(A)n(B)n(A) \geq n(B)より、n(A)=11,n(B)=1n(A)=11, n(B)=1の場合、n(AB)=1n(A \cap B)=1n(AB)=11+11=11n(A \cup B) = 11+1-1=11
n(A)=10,n(B)=2n(A)=10, n(B)=2の場合、n(AB)=2n(A \cap B)=2n(AB)=10+22=10n(A \cup B) = 10+2-2=10
n(A)=9,n(B)=3n(A)=9, n(B)=3の場合、n(AB)=3n(A \cap B)=3n(AB)=9+33=9n(A \cup B) = 9+3-3=9
n(A)=8,n(B)=4n(A)=8, n(B)=4の場合、n(AB)=4n(A \cap B)=4n(AB)=8+44=8n(A \cup B) = 8+4-4=8
n(A)=7,n(B)=5n(A)=7, n(B)=5の場合、n(AB)=5n(A \cap B)=5n(AB)=7+55=7n(A \cup B) = 7+5-5=7
n(A)=6,n(B)=6n(A)=6, n(B)=6の場合、n(AB)=6n(A \cap B)=6n(AB)=6+66=6n(A \cup B) = 6+6-6=6
n(AB)n(A \cap B)が最小となるのは、n(AB)=0n(A \cap B)=0の場合である。
このとき、n(AB)=12n(A \cup B) = 12となる。
しかし、AABBは空集合でないので、n(AB)<12n(A \cup B) < 12
n(AB)=n(A)+n(B)n(AB)n(A)=6n(A \cup B) = n(A) + n(B) - n(A \cap B) \geq n(A) = 6 and n(AB)n(B)=6n(A \cup B) \geq n(B) = 6
n(A)>0,n(B)>0n(A)>0, n(B)>0より、n(AB)>0n(A \cup B) >0となる。
n(A)+n(B)=12n(A)+n(B)=12, n(A)n(B)n(A) \geq n(B), AABBは空集合でない
n(A)n(A)は6以上11以下の整数値をとる
n(B)n(B)は1以上6以下の整数値をとる
n(AB)n(A \cup B)の最大値はn(AB)=0n(A \cap B)=0となる場合で、n(AB)=120=12n(A \cup B) = 12 - 0 = 12だが、AB=A \cap B = \emptysetはありえないので、n(AB)1n(A \cap B) \geq 1
n(AB)=12n(AB)n(A \cup B) = 12 - n(A \cap B), n(AB)n(B)n(A \cap B) \leq n(B), n(A)n(B)n(A) \geq n(B)
n(AB)=12n(AB)n(A \cup B) = 12 - n(A \cap B)
n(AB)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(A)=11,n(B)=1n(A)=11, n(B)=1, n(AB)=1n(A \cap B)=1, n(AB)=11n(A \cup B)=11
n(A)=10,n(B)=2n(A)=10, n(B)=2, n(AB)=2n(A \cap B)=2, n(AB)=10n(A \cup B)=10
n(A)=9,n(B)=3n(A)=9, n(B)=3, n(AB)=3n(A \cap B)=3, n(AB)=9n(A \cup B)=9
n(A)=8,n(B)=4n(A)=8, n(B)=4, n(AB)=4n(A \cap B)=4, n(AB)=8n(A \cup B)=8
n(A)=7,n(B)=5n(A)=7, n(B)=5, n(AB)=5n(A \cap B)=5, n(AB)=7n(A \cup B)=7
n(A)=6,n(B)=6n(A)=6, n(B)=6, n(AB)=6n(A \cap B)=6, n(AB)=6n(A \cup B)=6
最小値はABA \cap Bが最大の場合に実現される。
n(A)=11,n(B)=1n(AB)=1,n(AB)=11n(A)=11, n(B)=1 \rightarrow n(A \cap B)=1, n(A \cup B) = 11
n(A)=6,n(B)=6n(AB)=6,n(AB)=6n(A)=6, n(B)=6 \rightarrow n(A \cap B)=6, n(A \cup B)=6
とりうる値は6以上11以下の整数値である。

3. 最終的な答え

(1) n(AB)=2n(A \cap B) = 2, n(AB)+n(AB)=8n(\overline{A} \cap B) + n(A \cap \overline{B}) = 8
(2) 6n(AB)116 \leq n(A \cup B) \leq 11
n(AB)n(A\cup B) のとりうる値は、6, 7, 8, 9, 10, 11

「離散数学」の関連問題

図のような経路において、点Pから出発して点Qを通らずに点Rへ行く最短経路は何通りあるかを求める問題です。

組み合わせ最短経路場合の数
2025/4/30

集合$A$, $B$, $C$が与えられたとき、共通部分$A \cap B \cap C$と和集合$A \cup B \cup C$を求めよ。 $A = \{1, 2, 3, 4, 5, 6, 7\}...

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

問題は、与えられた集合 $U$, $A$, $B$ に対して、$n(A)$, $n(B)$, $A \cup B$, $\overline{A}$, $n(A \cup B)$, $n(\overli...

集合集合演算要素数補集合和集合共通部分
2025/4/29

アルファベットのA, B, Cの3文字を1個ずつすべて並べたときの並べ方をすべて書き出す問題です。

順列組み合わせ場合の数アルファベット
2025/4/29

問題文は、例6において、以下の2つの等式が成り立つことを確認するように求めています。 $\overline{A \cup B} = \overline{A} \cap \overline{B}$ $\...

集合ド・モルガンの法則集合演算
2025/4/29

問題は、例6において、ド・モルガンの法則 $\overline{A \cup B} = \overline{A} \cap \overline{B}$ および $\overline{A \cap B}...

集合ド・モルガンの法則集合演算
2025/4/29

問題は、ド・モルガンの法則の一つである$\overline{A \cap B} = \overline{A} \cup \overline{B}$が成り立つことを、図を用いて確かめることです。

集合ベン図ド・モルガンの法則論理
2025/4/29

問題は、ド・モルガンの法則の一つである $\overline{A \cup B} = \overline{A} \cap \overline{B}$ が成り立つことを、図を用いて確認することです。図[...

集合ド・モルガンの法則論理ベン図
2025/4/29

問題は、以下の2つのド・モルガンの法則を、図を用いて確認することです。 (1) $\overline{A \cap B} = \overline{A} \cup \overline{B}$ (2) 問...

集合ド・モルガンの法則ベン図
2025/4/29

全体集合 $U = \{1, 2, 3, 4, 5, 6, 7, 8, 9\}$ と、その部分集合 $A = \{2, 3, 5, 7\}$ および $B = \{3, 4, 5\}$ が与えられてい...

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