Théorème de sard

Théorème de sard

Théorème de Sard

Le théorème de Sard, connu aussi sous le nom de lemme de Sard ou théorème de Morse-Sard, est un résultat de mathématiques qui donne des informations sur l'image K de l'ensemble des point critique d'une fonction fonction lisse F d'un espace euclidien vers un autre. L'ensemble K a alors une mesure de Lebesgue nulle.

Sommaire

Énoncé

On considère une fonction f définie sur un ouvert U de \mathbb{R}^n, à valeurs dans \mathbb{R}^m, et de classe Cr.

On appelle points critiques les points pour lesquelles l'application différentielle de f est non surjective, et valeurs critiques les images des points critiques. Les valeurs non critiques sont dites régulières (qu'elles soient des valeurs effectivement prises par f ou non).

Avec ces notations, le théorème de Sard s'énonce

si r > max(0,nm), alors l'ensemble des valeurs critiques a une mesure de Lebesgue nulle.

En revanche, l'ensemble des points critiques peut être très important, par exemple si n < m, tous les points sont critiques, mais l'ensemble image de f sera quand même de mesure nulle.

Il résulte notamment du théorème que l'ensemble des valeurs régulières est dense dans \mathbb{R}^n, un fait déjà prouvé par A. Brown en 1935[1], d'où le nom de théorème de densité de Sard (ou de Sard-Brown) parfois donné au théorème[2].

Le cas m = 1 a été prouvé par A. P. Morse en 1939[3], et le cas général par Arthur Sard en 1942[4]. Une version pour les espaces de Banach de dimension infinie a été prouvée par Stephen Smale[5].

Notes

  1. (en) A. Brown, Functional dependance, Trans. Amer. Math. Soc. 38, 1935, p379-394
  2. « The theorem of Sard and Brown » chez Milnor, « Sard's density theorem » pour Abraham-Robbin
  3. (en) A. P. Morse, The behavior of a function on its critical set, Ann. Math. 40 (1939), p. 62-70
  4. (en) A. Sard, The measure of the critical values of differentiable maps, Bull. Amer. Math. Soc. 48 (1942), p. 883-890
  5. (en) S. Smale, An infinite dimensional version of Sard's theorem, Amer. J. Math. 87 (1965), p 861-866

Voir aussi

Articles connexes

Références

  • (en) John Milnor, Topology from the Differentiable Viewpoint [détail des éditions]
  • (en) Ralph Abraham, Joel Robbin, Transversal mappings and flows [détail des éditions]
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Th%C3%A9or%C3%A8me de Sard ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Théorème de sard de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать реферат

Regardez d'autres dictionnaires:

  • Théorème de Sard — Le théorème de Sard, connu aussi sous le nom de lemme de Sard ou théorème de Morse Sard, est un résultat de mathématiques qui donne des informations sur l image K de l ensemble des points critiques d une fonction suffisamment régulière d un… …   Wikipédia en Français

  • Arthur Sard — (28 juillet 1909 à New York 31 août 1980 à Bâle) est un mathématicien américain, connu pour ses travaux en topologie différentielle et en approximation spline. Il est passé à la postérité pour le Théorème de Sard qui énonce que l ensemble des… …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • Liste Des Théorèmes — par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom du théorème comprend des noms de mathématiciens ou de physiciens, on se base sur le premier nom propre cité. Si le nom du théorème …   Wikipédia en Français

  • Liste des articles de mathematiques — Projet:Mathématiques/Liste des articles de mathématiques Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou probabilités et statistiques via l un des trois bandeaux suivants  …   Wikipédia en Français

  • Liste des theoremes — Liste des théorèmes Liste des théorèmes par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom du théorème comprend des noms de mathématiciens ou de physiciens, on se base sur le… …   Wikipédia en Français

  • Liste des théorèmes — par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom du théorème comprend des noms de mathématiciens ou de physiciens, on se base sur le premier nom propre cité. Si le nom du théorème …   Wikipédia en Français

  • Liste de théorèmes — par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom du théorème comprend des noms de mathématiciens ou de physiciens, on se base sur le premier nom propre cité. Si le nom du théorème …   Wikipédia en Français

  • Éléments d'analyse — Les Éléments d analyse sont une série de 9 volumes écrits par le mathématicien français Jean Dieudonné. À l origine, seul le premier volume, Foundations of Modern Analysis, publié en 1960, était prévu. J. Dieudonné l écrit suite à une série de… …   Wikipédia en Français

  • Matrice hessienne — En mathématiques, la matrice hessienne (ou simplement la hessienne) d une fonction numérique f est la matrice carrée, notée H(f), de ses dérivées partielles secondes. Plus précisément, étant donnée une fonction f à valeurs réelles f(x1, x2, ...,… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”