Teorema de Sard
# Teorema de Sard

El teorema de Sard, también conocido como lema de Sard o teorema de Morse-Sard, es un resultado de Análisis matemático que afirma que la imagen del conjunto de puntos críticos de una función continuamente diferenciable $f$ de un espacio euclídeo o variedad a otro tiene medida de Lebesgue 0 (es decir, el conjunto de valores críticos es de medida nula). Esto hace que sea "pequeño" en el sentido de una propiedad genérica: un valor "genérico" del codominio es regular.

# Teorema de Sard
## Enunciado

Más explícitamente (Sternberg (1964, Theorem II.3.1);Sard (1942)), sea
    $f\colon \mathbb {R} ^{n}\rightarrow \mathbb {R} ^{m}$
una aplicación de clase $C^{k}$, (i.e., $k$ veces continuamente diferenciable), donde $k\geq \max\{n-m+1,1\}$. Sea $X$ el conjunto de puntos críticos de $f,$ el cual es el conjunto de puntos $x\in \mathbb {R} ^{n}$ en los cuales la Matriz Jacobiana de $f$ tiene rango menor que $m$. Entonces la imagen $f(X)$ tiene medida de Lebesgue 0 en $\mathbb {R} ^{m}$.

# Teorema de Sard
## Interpretación

Intuitivamente hablando, esto significa que aunque $X$ pueda ser grande, su imagen debe ser pequeña en el sentido de la Medida de Lebesgue: mientras que $f$ puede tener muchos puntos críticos en el dominio $\mathbb {R} ^{n}$, debe tener pocos valores críticos en la imagen $\mathbb {R} ^{m}$.
De manera más general, el resultado también es válido para aplicaciones entre variedades diferenciables $M$ y $N$ de dimensiones $m$ y $n$, respectivamente. El conjunto crítico $X$ de una función $C^{k}$
    $f:N\rightarrow M$
consiste en aquellos puntos en los que el diferencial
    $df:TN\rightarrow TM$
tiene rango menor que $m$ como aplicación lineal (es decir, no es sobreyectivo). Si $k\geq \max\{n-m+1,1\}$, entonces el teorema de Sard afirma que la imagen de $X$ tiene medida cero como subconjunto de $M$. Esta formulación del resultado se deduce de la versión para espacios euclídeos mediante la adopción de un conjunto numerable de parches coordenados. La conclusión del teorema es una declaración local, ya que una unión numerable de conjuntos de medida cero es un conjunto de medida cero, y la propiedad de tener medida cero un subconjunto de un parche coordenado es invariante bajo difeomorfismos.