Es seien
und
kommutative
topologische Gruppen
und es sei
ihre
Produktgruppe
(versehen mit der
Produkttopologie)
und es sei
-
die zugehörige kurze exakte Sequenz. Zeige, dass zu jedem
topologischen Raum
eine
kurze exakte Garbensequenz
-
vorliegt, für die die globale Auswertung hinten stets surjektiv ist.