Es sei
eine
differenzierbare Mannigfaltigkeit.
Zu jeder offenen Teilmenge
betrachten wir die Menge
der
differenzierbaren Funktionen
auf
. Es sei
eine
offene Überdeckung.
a) Zeige, dass zu
offen und
auch die
Einschränkung
zu
gehört.
b) Es sei
.
Zeige, dass
genau dann ist, wenn sämtliche Einschränkungen
sind.
c) Es sei eine Familie
von Funktionen gegeben, die die „Verträglichkeitsbedingung“
-

für alle
erfüllen. Zeige, dass es ein
gibt mit
für alle
.