Beringte Raum/Verklebungsdatum/Existenz/Fakt/Beweis

Aus Wikiversity
Beweis

Die Existenz eines zugrunde liegenden Raumes ergibt sich aus Fakt. Zu einer offenen Menge liegt eine Überdeckung

vor und wir setzen

Dies ist eine Garbe auf von kommutativen Ringen, die auf den über die mit den vorgegebenen Garben auf übereinstimmt.