Garbe/Gruppen/Exaktheit/Charakterisierungen/Fakt/Beweis

Aus Wikiversity
Beweis

Wir benennen die Situation mit

Nach Fakt liegt ein Garbenkomplex genau dann vor, wenn sämtliche Halmabbildungen Komplexe sind. Es sei der Komplex exakt, also

Es sei fixiert und sei mit . Dann gibt es eine offene Umgebung von auf der durch einen Schnitt repräsentiert wird und eine kleinere offene Umgebung , worauf ist. Das Element (wir nennen die Einschränkung wieder ) gehört also zum Kern von und daher zum (Garben-)Bild von . D.h. es gibt eine offene Umgebung , auf der im Bild von

liegt. Daher liegt auch der Keim im Bild von .