Exercise · ZW-IMAGE-AND-PREIMAGE-004 · ★★☆ Intermediate
For \(Y\subseteq B\), what is always true of \(f(f^{-1}(Y))\)?
Choose one option.
Show answer
- D. It is contained in \(Y\)
Exercise · ZW-IMAGE-AND-PREIMAGE-004 · ★★☆ Intermediate
Choose one option.
Each \(a\) in the preimage satisfies \(f(a)\in Y\), so its image lies inside \(Y\). Equality holds only when \(Y\subseteq f(A)\), which is why the options claiming equality or full containment fail in general.
Given \(f\colon A\to B\), the image of \(X\subseteq A\) is the set of values \(f(x)\) with \(x\in X\), and the preimage of \(Y\subseteq B\) is the set of \(a\in A\) whose value lies in \(Y\).