Bonjour à tous,
On se donne une sous-variétéM (resp. N) de
(resp.
) de dimension m (resp. n), et une application
. J'aimerais montrer l'équivalence entre les deux définitions suivantes :
Définition 1 : f estsi pour tout
, pour toutes cartes
de x et
de f(x),
est définie sur un ouvert de
contenant
et est
.
Définition 2 : f estsi pour tout
, il existe un voisinage ouvert U de x dans
et une application
![]()
prolongeant f de
sur U.
Il est clair que la définition 2 implique la définition 1, mais la réciproque me semble moins évidente. Il est possible d'utiliser un résultat assez général sur les prolongements d'applicationsdéfinies sur des sous-variétés de
via une partition de l'unité, mais le résultat est beaucoup plus fort (il est global, alors qu'ici on a seulement besoin d'un prolongement local) et la preuve est plutôt lourde.
Ma question est donc : y a-t-il un argument élémentaire qui permette de montrer que la définition 1 implique la définition 2 ?
Merci d'avance,
Seirios
-----