Etale/Zusammenhängende Basis/Schnitt ist offene Einbettung/Fakt/Beweis

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Beweis

Zum Beweis der abgeschlossenen Einbettung betrachten wir das kommutative Diagramm

was wegen ein Diagramm über ist. Nach Voraussetzung ist eine abgeschlossene Einbettung, so dass dies auch für gilt. Der Isomorphismus

zeigt, dass ebenfalls eine abgeschlossene Einbettung ist.