Immersion, Submersion et base incomplte

www.h-k.fr/publications/objectif-agregation Cette note propose une dmonstration de la forme rduite dune immersion et dune submersion. Cette dmonstration met en avant un thorme dalgbre linaire : le thorme de la base incomplte (voir [2, 9.2.2.2] et [1, thorme 4.4]). Les propositions 2 et 6 sont en quelque sorte les versions C 1 de ce thorme dalgbre linaire. Nous remarquerons, en comparant le cas de la submersion et de limmersion, que ces thormes sont en fait duaux lun de lautre (lapplication du thorme de la base incomplte se fait dans un cas dans Rn et dans lautre dans (Rn ) ).

Submersion.
Submersion. Soient n, p N , U un ouvert de Rn , a U et f = (f1 , . . . , fp ) : U Rp une Dnition 1 application de classe C 1 . On dit que f est une submersion en a si df (a) est surjective. La proposition 2 montre quil existe, un diomorphisme prs la source, une unique submersion : la surjection canonique de Rn dans Rp . Forme rduite dune submersion. Soient n, p N , U un ouvert de Rn , a U et une Proposition 2 application f = (f1 , . . . , fp ) : U Rp de classe C 1 . On suppose que f est une submersion en a. Il existe un C 1 -diomorphisme dun voisinage ouvert de a dans un ouvert de Rn tel que f 1 soit lapplication g : (x1 , . . . , xn ) (x1 , . . . , xp ) . Preuve. Le thorme du rang (voir [1, 4.13]) et la surjectivit de df (a) assurent lingalit n p. Par ailleurs, pour i [[ 1 , p ]], on note dfi (a) la direntielle de fi en a. La surjectivit de df (a) est quivalente la libert de la famille dfi (a). On peut donc, grce au thorme de la base incomplte, considrer des formes linaires (p+1 , . . . , n ) telles que (df1 (a), . . . , dfp (a), p+1 , . . . , n ) soit une base de (Rn ) . On dnit alors par v V, (v) = (f1 (v), . . . , fp (v), p+1 (v), . . . , n (v)).

Comme les i sont linaires, est de classe C 1 et on a d(a) = (df1 (a), . . . , dfp (a), p+1 , . . . , n ). Lapplication linaire d(a) est donc bijective et le thorme dinversion locale (voir [1, 1.2.1]) assure que est un C 1 diomorphisme dun voisinage ouvert de a dans un ouvert de Rn . Puisquon a bien sr f = g , la proposition est dmontre. Remarque 3 Autres dmonstrations. La dmonstration propose ci-dessus met en avant le rle du thorme de la base incomplte (appliqu dans lespace (Rn ) des formes linaires de Rn ). Il peut tre intressant de chercher dans les autres preuves (par exemple dans lexercice 72 de [3]) o est cach le thorme de la base incomplte. Pour lexercice 72 de [3], il est appliqu dans sa version forte : celle avec la famille libre L et la famille gnratrice G contenant L . Remarque 4 Une autre formulation. Grce la dnition suivante, la proposition 2 (ou une forme un tout petit peu plus faible) peut snoncer de faon trs similaire celui du thorme de la base incomplte. Soit V un ouvert de Rn et a V. Pour i [[ 1 , n ]], on considre fi : V R une application de classe C 1 . On dit que lapplication f = (f1 , . . . , fn ) est un systme de coordonnes locales ou un changement de coordonnes locales en a, sil existe un voisinage V de a tel que f soit un C 1 -diomorphisme. Le thorme dinversion locale assure que f est un systme de coordonnes locales en a si et seulement si lapplication linaire df (a) : Rn Rn est inversible. Le proposition de forme rduite des submersions peut alors snoncer : si (f1 , . . . , fp ) est une submersion en a, on peut complter la famille (f1 , . . . , fp ) en un systme de coordonnes locales (f1 , . . . , fn ) en a.

Immersion.
Dnition 5 Immersion. Soient n, p N , U un ouvert de Rn , a U et f = (f1 , . . . , fp ) : U Rp une application de classe C 1 . On dit que f est une immersion en a si df (a) est injective. La proposition 6 montre quil existe, un diomorphisme prs au but, une unique immersion : linjection canonique de Rn dans Rp .

Proposition 6 Forme rduite dune immersion. Soient n, p N , U un ouvert de Rn , a U et une application f = (f1 , . . . , fp ) : U Rp de classe C 1 . On suppose que f est une immersion en a. Il existe un C 1 -diomorphisme 1 dun voisinage ouvert de f (a) dans un ouvert de Rp tel que 1 f soit lapplication g : (x1 , . . . , xn ) (x1 , . . . , xn , 0, . . . , 0) . Preuve. Le thorme du rang et linjectivit de df (a) assurent lingalit p n. Par ailleurs, on note (1 , . . . , n ) la base canonique de Rn et, pour i [[ 1 , n ]], on pose vi = df (a)(i ) = f (a) Rp xi

limage du ie vecteur de la base canonique par lapplication df (a). Or, linjectivit de df (a) est quivalente la libert de la famille (v1 , . . . , vn ). On peut donc, grce au thorme de la base incomplte, considrer des vecteurs (vn+1 , . . . , vp ) tels que (v1 , . . . , vp ) soit une base de Rp . On dnit alors par x = ((x1 , . . . , xn ), (xn+1 , . . . , xp )) U Rpn ,

(x1 , . . . , xp ) = f (x1 , . . . , xn ) + xn+1 vn+1 + + xp vp

et on pose a = (a, 0, . . . , 0). Lapplication est de classe C 1 (les p drives partielles existent et sont continues) et on a f f (a ), . . . , (a ) = (a), . . . , (a), vn+1 , . . . , vp = (v1 , . . . , vp ). d(a ) = x1 xp x1 xn Lapplication linaire d(a ) est donc bijective. Le thorme dinversion locale assure alors que est un C 1 -diomorphisme dun voisinage ouvert de a dans Rp dans un voisinage ouvert de (a ) = f (a). De plus, on a bien sr f = g. Remarque 7 Autres dmonstrations. La dmonstration propose ci-dessus met en avant le rle du thorme de la base incomplte appliqu dans lespace Rn . Comme pour le cas de la submersion, il peut tre intressant de chercher dans les autres preuves (par exemple dans lexercice 73 de [3]) o est cach le thorme de la base incomplte. Dans lexercice 73 de [3], il est appliqu dans sa version forte : celle avec la famille libre L et la famille gnratrice G contenant L .

Remarques.
Remarque 8 Rgularit. Soit r N {}. Les dmonstrations proposes ici montrent immdiatement que si f est de classe C r alors est de classe C r . Remarque 9 Lien avec le thorme du rang constant. La caractrisation du rang par les mineurs extraits (voir [1, 4.1.5] et [2, 11.1.2.3]) montre que df (x) reste surjective (resp. injective) pour tout x dans un voisinage de a si f est une submersion (resp. une immersion) en a. En particulier, df (x) est de rang constant gal inf(n, p) dans un voisinage de a. Le thorme du rang constant (voir lexercice 74 de [3]) sapplique donc et il fournit un diomorphisme en a et un diomorphisme en f (a) tel que f : (x1 , . . . , xn ) (x1 , . . . , xp ) respectivement f : (x1 , . . . , xn ) (x1 , . . . , xn , 0, . . . , 0) . On obtient donc un rsultat un peu plus faible puisquon fait appel deux diomorphismes un la source et un au but. Cest tout fait normal : le thorme du rang constant des hypothses plus faibles que celui de forme rduite des immersions et des submersions et fournit donc un rsultat plus faible.

Rfrences
[1] V. Beck, J. Malick et G. Peyr, Objectif Agrgation, Deuxime dition (2005), H&K. [2] E. Ramis, C. Deschamps et J. Odoux, Cours de Mathmatiques tome 1, Algbre, Rdition (1998), Dunod. [3] F. Rouvire, Petit guide de calcul direntiel lusage de la licence et de lagrgation, Deuxime dition (2003), Cassini.