Wenn man den Satz über die abgeschlossenheit der Urbildmengen abgeschlossener
Mengen unter stetigen Abbildungen nicht kennt, kann man so
argumentieren:
ich zeige, dass das Komplement \(N^C\) von \(N\) offen ist. Sei \(g\)
definiert durch \(g(x)=(f(x))^2\), dann ist
\(N^C=\{x\in R: \; g(x)\gt 0\}\). Sei nun \(x_0\in N^C\).
Ich setze \(\epsilon = g(x_0)/2\). Da \(g\) stetig in \(x_0\) ist,
gibt es \(\delta>0\), so dass \(|x-x_0|\lt \delta \Rightarrow |g(x)-g(x_0)|\lt \epsilon\),
d.h. \(g(x)\in (g(x_0)-\epsilon, g(x_0)+\epsilon)\) und folglich
\(g(x)>g(x_0)-g(x_0)/2=g(x_0)/2>0\), d.h. \(x\in N^C\) und damit
\(U_{\delta}(x_0)\subseteq N^C\).