Bonsoir à tous,
Soient et où : est un ouvert de , une application différentiable submersive. Par conséquent, est localement une projection, c'est à dire : et des difféomorphismes : et tel que : est la projection canonique : . Notons : .
Pourquoi alors, dans ce cas là : ?
Merci d'avance. :happy3:
Edit : Corrigé suivant les indications de @jlb. :happy3: