Difféomorphisme et algèbre d'inverse
-
Denis Sawadogo dernière édition par
Soient M et N deux variétés de classe C infini et f : M vers N un difféomorphisme de classe C infini de M vers N. Soit p€M, on considère l'application f*: C∞(f(p)) vers C∞(p); "fi" on associe "fi rond f"
- Montrer que f* est un isormorphisme d'algèbre d'inverse (f*)^-1=(f^-1)*
- Montrer que la différentielle fp:TpM vers Tf(p)N de f en p est un isormorphisme d'espaces vectoriels d'inverse (fp)^-1=(f^-1)*f(p)
