preimage commutes with unions

1. Satz

Seien \(X,Y\) Mengen, \(f: X \rightarrow Y\) eine Abbildung und \(Y_i\) ein e Familievon Teilmengen von \(Y\) Dann gilt:

\begin{align*} f^{-1}[\bigcup_{i \in I} Y_i] = \bigcup_{i \in I} f^{-1}[Y_i] \end{align*}

Date: nil

Author: Anton Zakrewski

Created: 2024-10-14 Mo 21:23