数学 – 集合と写像 - 集合間の演算(3つの集合, 和, 共通部分, 差, 結合)

学習環境

集合・位相入門(松坂和夫(著)、岩波書店)の第1章(集合と写像)、2(集合間の演算)、問題5.を解いてみる。

問題5.

$\begin{array}{l} x \in (A - B) - C \\ \Leftrightarrow x \in A - B \land x \notin C \\ \Leftrightarrow (x \in A \land x \notin B) \land x \notin C \\ \Leftrightarrow x \in A \land x \notin B \land x \notin C \\ \Leftrightarrow x \in A \land \neg (x \in B \lor x \in C) \\ \Leftrightarrow x \in A \land \neg (x \in B \cup C) \\ \Leftrightarrow x \in A - (B \cup C) \end{array}$
$\begin{array}{l} x \in A - (B - C) \\ \Leftrightarrow x \in A \land \neg (x \in B - C) \\ \Leftrightarrow x \in A \land \neg (x \in B \land x \notin C) \\ \Leftrightarrow x \in A \land (x \notin B \lor x \in C) \\ \Leftrightarrow (x \in A \land x \notin B) \lor (x \in A \land x \in C) \\ \Leftrightarrow x \in A - B \lor x \in A \cap C \\ \Leftrightarrow x \in (A - B) \cup (A \cap C) \end{array}$

Kamimura's blog