# Family of subsets

• Apr 27th 2010, 01:46 PM
tigergirl
Family of subsets
Prove: If $A \rightarrow B$ is a function and { $C_\lambda \mid \lambda \epsilon \Lambda$ } is a family of subsets of A, then $f ( \bigcup_{\lambda \epsilon \Lambda} C_\lambda) = \bigcup_{\lambda \epsilon \Lambda} f (C_\lambda)$
• Apr 27th 2010, 02:26 PM
Plato
Quote:

Originally Posted by tigergirl
Prove: If $A \rightarrow B$ is a function and { $C_\lambda \mid \lambda \epsilon \Lambda$ } is a family of subsets of A, then $f ( \bigcup_{\lambda \epsilon \Lambda} C_\lambda) = \bigcup_{\lambda \epsilon \Lambda} f (C_\lambda)$

You need to show some of your own effort.
1) What does it mean to say $s \in f\left( {\bigcup\limits_{\lambda \in \Lambda } {C_\lambda } } \right)?$
2) What does it mean to say $t \in \bigcup\limits_{\lambda \in \Lambda } {f(C_\lambda )}?$
Basically, the problem is to show that $f(C_1\cup C_2)=f(C_1)\cup f(C_2)$. Both inclusions are pretty obvious. I don't think the extension to infinite families $\Lambda$ (from $\Lambda=\{1,2\}$ just considered) presents any problems.