21495: HW 3

Problem 11. Let $A,B$ and $C$ be arbitrary sets. Recall that $A\setminus B=\{x \ |\ x\in A\ \wedge\ x\not\in B\}$. We define $A\bigtriangleup B:=(A\setminus B)\cup(B \setminus A)$. Prove or disprove:

1. $A \bigtriangleup B= B \bigtriangleup A$.
2. $(A \bigtriangleup B)\bigtriangleup C=A \bigtriangleup (B \bigtriangleup C)$.

Problem 12. Let $A$ and $B$ be arbitrary sets. Prove or disprove the following power set relations:

1. ${\cal P}(A\cap B)\subseteq {\cal P}(A)\cap {\cal P}(B)$.
2. ${\cal P}(A)\cap {\cal P}(B)\subseteq {\cal P}(A\cap B)$.

Problem 13. Given two real numbers $a<b$, the open interval $(a,b)$ is defined to be the set $\displaystyle{\{x\in\mathbb{R}\ |\ (a<x) \wedge (x<b)\}}$.

For $n\in\mathbb{N}$, let $A_n$ be the open interval $\displaystyle{(\frac{1}{2}-\frac{1}{2n}, \frac{1}{2}+\frac{1}{3n})}$. Find $\displaystyle{\bigcup_{n\in\mathbb{N}} A_n}$ and $\displaystyle{\bigcap_{n\in\mathbb{N}} A_n}$. Confirm your conjectures by proofs.