f (X) \ f (A) ⊆ f (X \ A)
Sei y∈f (X) \ f (A) ==> y ∈f (X) und y∉f (A)
==> Es gibt x∈X mit f(x)=y aber es gibt kein a∈A mit f(a)=y
==> x ∈X \ A
==> y = f(x) ∈ f (X \ A) . q.e.d.
An dem Beweis sieht man schon: das geht nur, wenn
f nicht injektiv ist. Also wäre ein Gegenbeispiel etwa
f : [-10;10] → ℝ mit f(x)=x^2 . Also X= [-10;10]
Und A= [0;5] . Dann ist f(A) = [0;25]
und f(X) = [0;100] .
f (X) \ f (A) = ] 25 ;100]
f (X \ A) = f( [-10;0[ ∪ ]5;10]) = [0;100] also keine
Teilmenge von ] 25 ;100].