No creo que he cometido errores terribles, no obstante, conforme palabra sería bueno para mí. Gracias!
Deje $f\colon X\to Y$ ser un mapa y $(B_i)_{i\in I}$ una familia de subconjuntos de $Y$ ($I$ es cualquier conjunto de índices). Overmore considerar cualquier $A,B\subset Y$. Mostrar: \begin{align} &(1)~f^{-1}(\bigcup_{i\in I}B_i)=\bigcup_{i\in I}f^{-1}(B_i)\\ &(2)~f^{-1}(\bigcap_{i\in I} B_i)=\bigcap_{i\in I}f^{-1}(B_i)\\ &(3)~(f^{-1}(A))^C=f^{-1}(A^C)\\ &(4)~f^{-1}(A\setminus B)=f^{-1}(A)\setminus f^{-1}(B)\\ &(5)~f^{-1}(A\Delta B)=f^{-1}(A)\Delta f^{-1}(B) \end{align}
Mis pruebas:
(1) "$\subset$":
\begin{align} x\in f^{-1}(\bigcup_{i\in I}B_i) &\Rightarrow\exists~j\in I: f(x)\in B_j\\&\Rightarrow x\in f^{-1}(B_j)\\&\Rightarrow x\in\bigcup_{i\in I}f^{-1}(B_i) \end{align} "$\supset$": \begin{align} x\in\bigcup_{i\in I}f^{-1}(B_i) &\Rightarrow\exists j\in I: x\in f^{-1}(B_j)\\&\Rightarrow f(x)\in B_j\\&\Rightarrow f(x)\in\bigcup_{i\in I}B_i\\&\Rightarrow x\in f^{-1}(\bigcup_{i\in I}B_i)~~~\Box\end{align} (2) "$\subset$": \begin{align} x\in f^{-1}(\bigcap_{i\in I} &\Rightarrow f(x)\in\bigcap_{i\in I}B_i\\&\Rightarrow f(x)\in B_i~\forall~i\in I\\&\Rightarrow x\in f^{-1}(B)~\forall~i\in I\\&\Rightarrow x\in\bigcap_{i\in I}f^{-1}(B_i) \end{align} "$\supset$": \begin{align} x\in\bigcap_{i\in I}f^{-1}(B_i) &\Rightarrow x\in f^{-1}(B_i)~\forall~i\in I\\&\Rightarrow f(x)\in B_i~\forall~i\in I\\&\Rightarrow f(x)\in\bigcap_{i\in I}B_i\\&\Rightarrow x\in f^{-1}(\bigcap_{i\in I}B_i)~~~\Box \end{align} (3) "$\subset$": \begin{align} x\in (f^{-1}(A))^C=X\setminus f^{-1}(A) &\Rightarrow x\in X\wedge x\notin f^{-1}(A)\\&\Rightarrow x\in X\wedge f(x)\notin A\\&\Rightarrow x\in X\wedge T(x)\in A^C\\&\Rightarrow x\in X\wedge x\in f^{-1}(A^C)\\&\Rightarrow x\in X\cap f^{-1}(A^C)=f^{-1}(A^C) \end{align} "$\supset$": \begin{align} x\in f^{-1}(A^C)=Y\ &\Rightarrow f(x)\in A^C=Y\setminus A\\&\Rightarrow f(x)\in Y\wedge f(x)\notin A\\&\Rightarrow x\in f^{-1}(Y)=X\wedge x\notin f^{-1}(A)\\&\Rightarrow x\in X\setminus f^{-1}(A)=(f^{-1}(A))^C~~~\Box \end{align} (4) "$\subset$": \begin{align} x\in f^{-1}(A\setminus B) &\Rightarrow f(x)\in A\wedge f(x)\notin B\\&\Rightarrow x\in f^{-1}(A)\wedge x\notin f^{-1}(B)\\&\Rightarrow x\in f^{-1}(A)\setminus f^{-1}(B) \end{align} "$\supset$": \begin{align} x\in f^{-1}(A)\setminus f^{-1}(B) &\Rightarrow x\in f^{-1}(A)\wedge f(x)\notin f^{-1}(B)\\&\Rightarrow f(x)\in A\wedge f(x)\notin B\\&\Rightarrow f(x)\in A\setminus B\\&\Rightarrow x\in f^{-1}(A\setminus B)~~~\Box \end{align} (5) "$\subset$": \begin{align} x\in f^{-1}(A\Delta B) &\Rightarrow f(x)\in (A\setminus B)\cup (B\setminus A)\\&\Rightarrow f(x)\in (A\setminus B)\vee f(x)\in B\setminus A \end{align} I. $f(x)\in A\setminus B$: \begin{align} &\Rightarrow f(x)\in A\wedge f(x)\notin B\\&\Rightarrow x\in f^{-1}(A)\wedge x\notin f^{-1}(B)\\&\Rightarrow x\in f^{-1}(A)\setminus f^{-1}(B)\\&\Rightarrow x\in (f^{-1}(A)\setminus f^{-1}(B))\cup (f^{-1}(B)\setminus f^{-1}(A))=f^{-1}(A)\Delta f^{-1}(B) \end{align} II. $f(x)\in B\setminus A$: \begin{align} &\Rightarrow f(x)\in B\wedge f(x)\notin A\\&\Rightarrow x\in f^{-1}(B)\setminus f^{-1}(A)\\&\Rightarrow x\in f^{-1}(A)\Delta f^{-1}(B) \end{align} "$\supset$": \begin{align} x\in f^{-1}(A)\Delta f^{-1}(B) &\Rightarrow x\in (f^{-1}(A)\setminus f^{-1}(B))\vee (f^{-1}(B)\setminus f^{-1}(A)) \end{align} I. $x\in f^{-1}(A)\setminus f^{-1}(B)$: \begin{align} &\Rightarrow x\in f^{-1}(A)\wedge x\notin f^{-1}(B)\\&\Rightarrow f(x)\in A\wedge f(x)\notin B\\&\Rightarrow f(x)\in A\setminus B\\&\Rightarrow x\in f^{-1}(A\setminus B)\cup f^{-1}(B\setminus A)\overset{\text{with}}{\underset{\text{(1)}}{=}}f^{-1}((A\setminus B)\cup (B\setminus A))=f^{-1}(A\Delta B) \end{align} II. $x\in f^{-1}(B)\setminus f^{-1}(A)$: \begin{align} &\Rightarrow x\in f^{-1}(B)\wedge x\notin f^{-1}(A)\\&\Rightarrow f(x)\in B\wedge f(x)\notin A\\&\Rightarrow f(x)\in B\setminus A\\&\Rightarrow x\in f^{-1}(B\setminus A)\\&\Rightarrow x\in f^{-1}(B\setminus A)\cup f^{-1}(A\setminus B)\overset{\text{with}}{\underset{\text{(1)}}{=}}f^{-1}((B\setminus A)\cup (A\setminus B))=f^{-1}(A\Delta B)~~~\Box \end{align}
