Topologische Gruppen/Spaltende Sequenz/Garbenversion/Aufgabe

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.