Schema/Punkt/Offene Umgebung/Affin/Fakt

Es sei ${}(X,{\mathcal {O}}_{X})$ ein Schema und ${}P\in X$ ein Punkt.

Dann gibt es zu jeder offenen Umgebung ${}P\in U$ eine offene affine Umgebung ${}P\in V\subseteq U$.

Zum Beweis, Alternativen Beweis erstellen