Submersion (mathématiques)

Cet article est une ébauche concernant l’analyse.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

En topologie différentielle – une branche des mathématiques –, une submersion ou application submersive entre deux variétés différentielles est une application différentiable dont la différentielle en tout point est surjective.

Définitions[modifier | modifier le code]

Soient V et W deux variétés différentielles, f une application différentiable de V dans W et x un point de V.

On dit que f est une submersion au point x si l'application linéaire tangente Tf(x) est surjective, autrement dit (W étant supposée de dimension finie) : si le rang de Tf(x) est égal à la dimension de W.
Les points en lesquels f n'est pas une submersion sont appelés ses points critiques, et leurs images sont les valeurs critiques de f. Les valeurs non critiques sont dites régulières (qu'elles soient des valeurs effectivement prises par f ou non).
On dit que f est une submersion (on dit aussi que l'application f est submersive) si c'est une submersion en tout point de V.

On la différencie :

de l'immersion (Tf(x) est injective, i.e. son rang est la dimension de V – supposée finie) ;
du plongement (en plus d'être une immersion, f induit un homéomorphisme de V sur f(V)).

Théorème[modifier | modifier le code]

Soit $A={\mathbb {R}}^{n},B={\mathbb {R}}^{p},U$ une partie ouverte de $A,f$ une application continûment différentiable de $U$ dans $B,y$ un point de $B$ et $V=f^{-1}(y)$ . On suppose que $f$ est submersive. Alors $V$ est une variété de $A$ de dimension $n-p$ ^[1].

Exemple[modifier | modifier le code]

Un ellipsoïde $S$ est une variété de dimension 2 de l'espace usuel. En effet, par rapport à une origine et une base convenable, $S$ admet l'équation $f(x,y,z)=\left({\frac {x}{a}}\right)^{2}+\left({\frac {y}{b}}\right)^{2}+\left({\frac {z}{c}}\right)^{2}=1$ . Or, $f$ est continûment différentiable et l'on a ${\frac {\partial f}{\partial x}}={\frac {2x}{a^{2}}},{\frac {\partial f}{\partial y}}={\frac {2y}{b^{2}}},{\frac {\partial f}{\partial z}}={\frac {2z}{c^{2}}}$ . Le seul point de ${\mathbb {R}}^{3}$ où ces trois nombres sont simultanément nuls est l'origine, qui n'appartient pas à $S$ .

On voit de même qu'un hyperboloïde à une ou deux nappes, un paraboloïde elliptique ou hyperbolique, sont des variétés de dimension 2 de l'espace usuel.

L'équation de l'espace tangent à de telles variétés en découle^[1].

références[modifier | modifier le code]

↑ ^{a et b} Jacques Dixmier, Cours de mathématiques du premier cycle : deuxième année : exercices, indications de solutions, réponses, Paris, Gauthier-Villars, 1977 (ISBN 2-04-015715-8 et 978-2-04-015715-9, OCLC 23199112), p. 193, 200