damit ist auch f^(-1)
Nein. Eventuell existiert \(f^{-1}\) nicht, zum Beispiel bei
\(f:\ \mathbb{R}\to\mathbb{R},\ x\mapsto x^2\).
Sei \(A\subseteq (-\infty, 0]\) abgeschlossen.
Dann sind
\(X_- \coloneqq \{x\in (-\infty, 0] |\ f(x) \in A\}\)
und
\(X_+ \coloneqq \{x\in (0,\infty) |\ f(x) \in A\}\)
abgeschlossen und es ist
\(f^{-1}(A) = X_-\cup X_+\).