Proposition 1.8 (Forme Normale des Applications).Soit f: (Rn, x0)−→ (Rm, y0)une applica-
tion Cr, r >1. Soit Rl’image de dfx0et Fun suppl´ementaire de cette image. Alors il existe un
diff´eomorphisme local
ψ: (R×Rn−k,(0,0)) −→ (Rn, x0),
et un application locale g: (R×Rn−k,0) −→ (F, 0), tels que f◦ψ(ξ, z) = y0+ξ+g(ξ, z)au
voisinage de 0. En identifiant Rmau produit R×F, ceci se r´e´ecrit
f◦ψ(ξ, z) = y0+ (ξ, g(ξ, z)).
2 Sous vari´et´es.
2.1 Caract´erisations des sous vari´et´es.
Soit Mune partie de RD,x0un point de M, et Tun sous espace vectoriel de RD(de dimension
d). On dit que Mest une sous vari´et´e de classe Crtangente `a Ten x0si l’une les propri´et´es
´equivalentes suivantes est satisfaites :
Graphe : Il existe un suppl´ementaire Ede Tdans RDet une application g: (T, 0) −→ (E, 0)
de classe Crtelle que dg0= 0 et telle que M−x0est localement le graphe de g. Plus pr´ecis´ement,
il existe un voisinage ouvert Vde 0dans Ttel que le graphe
{x0+ (x+g(x)), x ∈V},
est un ouvert de M.
´
Equation : Il existe une submersion ψ: (RD, x0)−→ (RD−d,0) telle que le noyau de dψ(x0)
est Tet telle que, localement, M=ψ−1(0). Plus pr´ecis´ement, il existe un voisinage ouvert Ude x0
et une submersion ψ: (U, x0)−→ (RD−d,0) de classe Crtelle que M∩U={x∈U:ψ(x)=0}
et ker dψx0=T.
Redressement : Il existe un voisinage ouvert Ude x0dans RD, un voisinage ouvert Vde 0
dans Rdet un plongement Cr
ϕ: (U, x0)−→ (Rd×RD−d,(0,0))
tel que ϕ(U∩M) = V× {0}et dϕx0(T) = Rd× {0}.
Param´etrisation : Il existe un voisinage ouvert Vde 0dans Rdet un plongement Cr
φ: (V, 0) −→ (RD, x0)
dont l’image φ(V)est un ouvert de M(muni de la topologie induite).
Graphe fort : Pour tout suppl´ementaire Ede Tet tout suppl´ementaire Fde E, il existe une
application g: (F, 0) −→ (E, 0) de classe Crtelle que M−x0est localement le graphe de g, et telle
que Test le graphe de dg0.
D´
emonstration. Soit πune projection lin´eaire sur T.
Si Mest localement le graphe de g:T−→ E, on note πTet πEles projections lin´eaires
associ´ees `a la d´ecomposition RD=T⊕E, et on d´efinit ψ: (RD, x0)−→ (F, 0) par ψ(x) =
πE(x−x0)−g◦πT(x−x0). On constate que dψx0=πE, donc ψest une submersion en x0et
ker dψx0=T.
Si M={ψ= 0}, on pose ϕ(x) = (πT(x), ψ(x)), o`u πTest une projection sur T.
Si ϕ(M) = T, on pose φ=ϕ−1
|N:T−→ M.
Si M=φ(T), et si Eet Fsont donn´es, on remarque que πF◦(φ−x0) : (T, 0) −→ (F, 0) est
un diff´eomorphisme local de Tet on pose g=πE◦(πF◦(φ−x0))−1.
5