データベーススペシャリスト 2019年 午前2 問12

集合の共通部分の表現【午前2解説】

正解の理由

解法ステップ

1. 命題を集合の要素条件（membership）で表す。例えば x∈R∩S ⇔ (x∈R かつ x∈S)。
2. 各候補式を「x がその集合に属するとはどういう条件か」で表す。
3. 両側包含を示して等号を確定する（A⊆B と B⊆A を示す）。
4. 他の選択肢は包含関係や空集合性から除外する（簡単な反例も有効）。

• (⊆) x∈R∩S ⇒ x∈R かつ x∈S ⇒ x∉(R-S) ⇒ x∈R-(R-S)。
• (⊇) x∈R-(R-S) ⇒ x∈R かつ x∉(R-S)。もし x∉S なら x∈R-S になって矛盾するので x∈S。よって x∈R∩S。

選択肢別の誤答解説

• ア: R-(R-S) = R∩S となる（上で示した包含の双方向）。従って正解。
• イ: R-(S-R) = R。理由：S-R は S にだけある要素（R にない要素）なので，もともと R に含まれていない。したがって R から取り除く対象が R に含まれないため演算は R を変えない。例：R={1,2}, S={2,3} のとき S-R={3}，R-{3} = R。
• ウ: (R-S)-(S-R) = R-S。理由：R-S と S-R は互いに重ならない（後述）ので，右側で何も引かれず元の R-S が残る。したがってこれは R∩S ではなく R\ S（R にのみ属する要素の集合）である。
  • 補足（空集合の証明の正しい方法）: (R-S)∩(S-R)=∅ を示すには，仮に x ∈ (R-S)∩(S-R) とすると x∈R かつ x∉S かつ x∈S かつ x∉R となり，x∈R と x∉R が同時に成り立って矛盾する。よってそのような x は存在せず交叉は空集合である。
• エ: S-(R-S) = S。理由：R-S は R に属し S には属さない要素の集合であり，S にはそもそも含まれないので S から引いても変化しない。したがって結果は S。

よくある誤解

• 「A-B と B-A の交わりは空である」ことを示す際に，「x∉A かつ x∉B はあり得ない」というような誤った主張をする。正しくは交わりに含まれる x を仮定すると x∈A かつ x∉A（あるいは x∈B かつ x∉B）という明確な矛盾が生じる、と示すべきである。
• 差集合 A-(B-C) の含意を直感で誤認する。特に B-C の要素は必ずしも A に含まれるわけではないので，A から引かれる要素が A に存在するかを確認する必要がある。
• 記号操作だけ追うと見落としやすいが，集合等式を扱う際は「元 x が属するか否か」の観点での両方向証明が確実。

補足コラム

• A - (A - B) = A ∩ B
  証明（論理式変換）: x∈A-(A-B) ⇔ x∈A ∧ ¬(x∈A ∧ x∉B) ⇔ x∈A ∧ (x∉A ∨ x∈B) ⇔ (x∈A ∧ x∉A) ∨ (x∈A ∧ x∈B) ⇔ x∈A ∧ x∈B.
• A - (B - A) = A （なぜなら B-A は A に含まれない元の集合だから）
• (A-B) ∩ (B-A) = ∅ （仮定法で矛盾を導く）

FAQ