Topologischer Raum/Topologische Gruppe/Prägarbe/Beispiel

Aus Wikiversity

Zu einem topologischen Raum ist die Mengen der stetigen Abbildungen von in eine topologische Gruppe mit der natürlichen Verknüpfung selbst eine Gruppe. Die Einschränkung auf eine offene Teilmenge von ist dabei ein Gruppenhomomorphismus. Daher ist die Zuordnung

eine Prägarbe von Gruppen auf .