Quiero demostrar la siguiente proposición:
Sea $A$ sea un conjunto, $B$ sea un subconjunto de $A$ y $f: A\to B$ sea un mapa inyectivo, entonces $f(A) = f(A-B) + f(B).$
¿Podría comprobar mi prueba a continuación?
Supongamos que $f(A-B)\cap f(B) \neq \emptyset$ . Para $x\in f(A-B)\cap f(B)$ existe $a\in A$ que satisface $f(a)=x$ y $b\in A-B$ que satisface $f(b)=x$ . Sin embargo, esto contradice la hipótesis original de que $f$ es inyectiva: $\forall a, b \in A, f(a)=f(b)\Rightarrow a=b$ por lo que lo anterior es imposible. Por lo tanto, $f(A-B)\cap f(B)=\emptyset$ y por lo tanto $f(A)=f(A-B)+f(B)$ .