Siano $X,Y$ insiemi non vuoti e $f:X\toY$ un'applicazione. Si dimostri che $f$ è suriettiva se e solo se $\forall T \subseteq X $ si ha che $Y\setminus f(T) \subseteq f(X\setminusT)$.
Svolgimento
-$\Leftarrow$: sia $\alpha \in f(X\setminusT)$, allora $\ forall \alpha \exists f^{-1}(\alpha) \in X\setminusT$; se $T=\emptyset$ allora $f(X) = Y$ da cui $f$ suriettiva.
-$Rightarrow$: sia $f$ suriettiva e supponiamo per assurdo che non è $Y\setminus f(T) \subseteq f(X\setminusT)$; allora esiste $alpha \in Y\setminusf(T)$ tale che $alpha \notin f(X\setminusT)$ da cui si ha che $f(X) = f(T)$ da cui $f$ non suriettiva: assurdo!
Cosa non va in questa dimostrazione?