Satz über implizite Abbildungen/Globale Diffeomorphismen/Induzierte Diffeomorphismen zwischen Faser und Achsenräumen/Fakt/Beweis

Beweis

Diese Aussage wurde im Beweis des Satzes über implizite Abbildungen mitbewiesen. Der Zusatz ergibt sich aus

${}\operatorname {kern} \left(D\varphi \right)_{Q}\cong \operatorname {kern} \left(Dp_{2}\right)_{\theta (Q)}=\mathbb {R} ^{n-m}\,.$

Zur bewiesenen Aussage