Es sei eine
differenzierbare Mannigfaltigkeit.
Zu jeder offenen Teilmenge betrachten wir die Menge der
differenzierbaren Funktionen
auf . Es sei eine
offene Überdeckung.
- Zeige, dass zu offen und auch die
Einschränkung
zu gehört.
- Es sei . Zeige, dass genau dann ist, wenn sämtliche Einschränkungen sind.
- 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 .