Lokal beringter Raum/Funktion/Invertierbarkeit/Offen/Fakt

Zu einem lokal beringten Raum ${}(X,{\mathcal {O}}_{X})$ und einer globalen Funktion ${}f\in \Gamma (X,{\mathcal {O}}_{X})$ ist

${}X_{f}:={\left\{P\in X\mid f(P)\neq 0{\text{ in }}\kappa (P)\right\}}\,$

offen.

Zum Beweis, Alternativen Beweis erstellen