Question

[Vũ Ngọc]

chứng minh rằng với mọi tập hợp A, B, C

a, A giao (B hợp C)= (A giao B) hợp (A giao C)

b, (A \ B) \ C ⊂ A \ C

Answer 1

[Akai Haruma]

a. Xét $x\in A\cap (B\cup C)$

$\Rightarrow x\in A$ và $x\in B\cup C$

\(\Rightarrow \left\{\begin{matrix} x\in A\\ \left[\begin{matrix} x\in B\\ x\in C\end{matrix}\right.\end{matrix}\right.\) \(\Leftrightarrow \left[\begin{matrix} \left\{\begin{matrix} x\in A\\ x\in B\end{matrix}\right.\\ \left\{\begin{matrix} x\in A\\ x\in C\end{matrix}\right.\end{matrix}\right.\Rightarrow x\in (A\cap B)\cup (A\cap C)(*)\)

Xét $x\in (A\cap B)\cup (A\cap C)$

$\Rightarrow x\in A\cap B$ hoặc $x\in A\cap C$

$\Rightarrow x\in A$ và $x\in B$ hoặc $x\in C$

Tức là: $x\in A\cap (B\cup C)(**)$

Từ $(*); (**)$ suy ra $A\cap (B\cup C)=(A\cap B)\cup (A\cap C)$

Answer 2

[Akai Haruma]

b. Xét $x\in (A\setminus B)\setminus C$ bất kỳ

$\Rightarrow x\in A$ và $x\not\in B, x\not\in C$

Vì $x\in A, x\not\in C$ nên $x\in A\setminus C$

Do đó: $(A\setminus B)\setminus C\subset A\setminus C$