Difeomorfisme local: diferència entre les revisions

Contingut suprimit Contingut afegit
mCap resum de modificació
m Robot elimina entitats HTML
Línia 27:
Més generalment, si <math>f \colon M \to N</math> és un difeomorfisme local ''[[aplicació injectiva|injectiu]]'', llavors la seva imatge ''f(M)'' és un subconjunt obert de ''N'', i l'aplicació induïda <math>f \colon M \to f(M)</math> és un difeomorfisme.
 
El [[teorema de la funció inversa]] afirma que una aplicació diferenciable ''f'': ''M'' &rarr; ''N'' és un difeomorfisme local en un punt ''x'' sii l'[[aplicació tangent]] de ''f'' en ''x'', T<sub>''x''</sub>''f'': T<sub>''x''</sub>''M'' &rarr; T<sub>''f''(''x'')</sub>''N'', és un isomorfisme lineal.
(Si ''f'' és només de classe <math>\mathrm{C}^k</math>, amb <math>k \geq 1</math>, aleshores ''f'' és un difeomorfisme local de classe <math>\mathrm{C}^k</math>.)