Beringter Raum/Reduziert/Lokale Eigenschaft/Fakt/Beweis/Aufgabe

Es sei ${}{\left(X,{\mathcal {O}}_{X}\right)}$ ein beringter Raum. Zeige, dass die folgenden Aussagen äquivalent sind.

1. ${}{\left(X,{\mathcal {O}}_{X}\right)}$ ist ein reduzierter beringter Raum.
2. Für jeden Punkt ${}P\in X$ ist der Halm ${}{\mathcal {O}}_{X,P}$ reduziert.

Eine Lösung erstellen