Iniciemos recordando algunos resultados de teora de la medida en Rn .

Definici
on 1. Sea A Rn . Diremos que A tiene medida cero en Rn (o medida cero ndimensional) si para todo > 0 existe una familia numerable de cubos cerrados C1 , C2 , . . . , de
manera que
[
X
A
Ci ,
y
V ol(Ci ) < .
i0

i0

A partir de esta definicion, tenemos las siguientes observaciones:

1. En la Definici
on 1 podemos cambiar cubos por paraleleppedos, bolas, etc., y cerrado por abierto.
2. Union a lo sumo numerable de conjuntos de medida cero en Rn es un conjunto de medida
cero en Rn .
3. Cualquier subconjunto de un conjunto de medida cero en Rn es de medida cero en Rn .

Proposici
on 1. Sea f : Rn Rn una transformacion diferenciable. Si A Rn tiene medida
cero en Rn , entonces f (A) tiene medida cero en Rn .
Demostracion. Sea > 0. Sin perdida de generalidad, supongamos que existe un compacto
C Rn tal que A C. Existe una familia numerable de cubos C1 , C2 , . . . , de manera que
[
X
A
Ci C,
y
V ol(Ci ) < ;
i0

i0

ademas, como f es diferenciable, existe K R+ tal que |f (x) f (y)| K |x y| para todos
x, y C. As, si x, y Ci , f (Ci ) esta contenido en un cubo, digamos Ci de lado menor que K
veces el lado de Ci . Por lo tanto,
f (A)

Ci ,

i0

V ol(Ci ) < K n .

i0

Observemos que, si A es de medida cero en Rn , su complemento es denso en Rn .

El siguiente teorema sera de gran utilidad a la hora de demostrar el teorema de Sard :
1

Teorema 1 (de Fubini). Sea A Rn , cerrado, de modo que A ({c} Rn1 ) tiene medida
cero en Rn1 para cada c R. Entonces, A tiene medida cero en Rn .
Demostracion. Sea > 0. Sin perdida de generalidad, podemos suponer que A es compacto.
Sea [a, b] R tal que A [a, b] Rn1 , y definamos para cada c [a, b] el conjunto


Ac = x Rn1 | (c, x) A ,
el cual resulta ser compacto; por hipotesis, para cada c [a, b], Ac esta cubierto por una cantidad finita de cubos C1 , . . . , Ck Rn1 con volumen total menor que .
Sea Uc

k
S

Ci una vecindad abierta de Ac ; como A es compacto, existe un intervalo abierto

i=0

Jc , con c Jc , de modo que A (Jc Rn1 ) Jc Uc (si no, existira una sucesion de puntos
(ci , xi ) A con ci c y con xi
/ Uc , pero pasando a una subsucesion convergente tendramos
que xi Ac \ Uc , contradiccion!, pues Ac Uc ).
Los intervalos Jc forman un cubrimiento abierto de [a, b], luego existen c1 < c2 < . . . < cm en
[a, b] de modo que {Jci }m
andolos (si resulta necesario) para que la suma
i=1 cubre a [a, b], ajust
de sus longitudes sea menor que 2 |b a|.
As,
A

m
[
i=1

Jci Uci ,

m
X

V ol(Jci Uci ) < 2 |b a| .

i=1

Ahora, como es de nuestro interes trabajar en variedades diferenciables, resulta natural la

siguiente definicion:
Definici
on 2 (subconjuntos de medida cero en una variedad). Sea M una variedad diferenciable
de dimension n. Un subconjunto A de M tiene medida cero en M si para toda carta (U, ) de
M el conjunto (A U) tiene medida cero en Rn .
Dado que resulta demasiado pensar en toda carta de la variedad M , tenemos el siguiente
lema que sera de gran utilidad mas adelante.
Lema 1. Sea M n una variedad diferenciable y A M . Si existe una coleccion de cartas
{(U , )} que cubra a A de manera que (A U ) tenga medida cero en Rn , entonces A
tiene medida cero en M .

Demostracion. Sea (V, ) una carta de M , arbitraria. Existe una subcoleccion numerable de
los U , digamos U1 , U2 , . . . , que cubre a A V; de este modo, para cada Ui tenemos


(A V Ui ) = 1
i (A V Ui ) ,
i
y como i (A Ui ) tiene medida cero en Rn , entonces i (A V Ui ) tiene medida cero en Rn ,
luego por la proposicion anterior aplicada a 1
tenemos que (A V Ui ) tiene medida
i
n
cero en R .
Por lo tanto, (A V) tiene medida cero en Rn .
Al igual que en lo hecho en Rn , podemos observar que si A es de medida cero en una variedad
diferenciable M entonces M \ A resulta ser denso en M . Ahora, siguiendo un paralelo entre lo
hecho en Rn y lo que estamos haciendo para variedades diferenciables, es hora de enunciar la
siguiente propoisicion:

Proposici
on 2. Sean M , N variedades diferenciables de dimension n, y sea f : M N una
transformacion diferenciable. Si A M tiene medida cero en M , entonces f (A) tiene medida
cero en N .

Si intentaramos demostrar esta proposicion usando u

nicamente la definicion de medida cero
en variedades, al tomar una carta (V, ) de N , bastara ver que (f (A) V) tiene medida
cero en Rn ; sabiendo que, si (U, ) es una carta de M , (A U) tiene medida cero, entonces
( f )(A U) tiene medida cero, pero (f (A) f (U)) ( f )(A U)... como involucro
a V? Notemos que si tomamos una coleccion numerable de cartas {(Ui , i )} que cubra a M ,
entonces la coleccion f (A) f (Ui ) V cubre a f (A) V; luego, por el lema anterior, basta ver
que para cada i = |f (A)f (Ui )V el conjunto i (f (A) f (Ui ) V) tiene medida cero.

Demostracion. Sea {(Ui , i )} una coleccion numerable de cartas de M que la cubre. Consideremos el conjunto AUi f 1 (V), el cual tiene medida cero en M ; por lo tanto, i (AUi f 1 (V))
tiene medida cero en Rn . Por la proposicion anterior, aplicada a f 1
i , tenemos que


f 1
i (A Ui f 1 (V))
i
tiene medida cero, pero
3

1
f 1
(V))) = f (A Ui f 1 (V))
i (i (A Ui f
(f (f 1 (A Ui V))
(f (A) f (Ui ) V) .

De este modo, por el lema anterior, tenemos que (f (A) V) tiene medida cero.

Ahora, podemos enunciar y demostrar el teorema que hemos utilizado varias veces en el curso.

Teorema 2 (Teorema de Sard ). Sean M m y N m son variedades diferenciables, y sea

f : M N una transformacion diferenciabl. Si C es el conjunto de puntos crticos de f ,
entonces f (C) tiene medida cero en N .
Es claro que, dada la definicion de medida cero en variedades, para demostrar el Teorema de
Sard basta con probar el resultado analogo para Rn :

Teorema 3. Sea f : Rn Rm funcion diferenciable y C el conjunto de puntos crticos de f .

Entonces, f (C) tiene medida cero en N .
Demostracion. (Por induccion sobre n)
Es claro que el Teorema se satisface para n = 0; supongamos ahora que es cierto para n 1.
Como las variedades diferenciables pueden ser cubiertas por una cantidad numerable de cartas,
es suficiente demostrar el resultado para f : U Rn Rm , donde U es un abierto tal que
C U . Sean (x1 , . . . , xn ) las coordenadas en U y (y1 , . . . , ym ) la imagen de estas en el codominio (es decir, yj = fj (x)).
Consideremos la sucesion de conjuntos anidados C C1 C2 , donde
Ck = {x C : todas las derivadas parciales de f de orden i se anulan en x, con 1 i k}
Podemos suponer, sin perdida de generalidad, que C es compacto (pues Rn es localmente compacto). Notemos que C1 = {x C : dfx = 0}, y que ademas los Ck son compactos para cada
k 1. Dividiremos la demostracion en tres pasos.

PASO I. f (C \ C1 ) tiene medida cero.

f1
Sea a C \ C1 . Existe una derivada parcial, digamos x
, difernte de cero en a. Entonces, por
1
f1
continuidad de esta funcion derivada parcial, existe una vecindad Va U de a donde x
(x) 6= 0
1
para todo x Va . Definamos en esta vecindad la transformacion

T (x1 , . . . , xn ) = (u, v) = (u, v2 , . . . vn ),

donde u = f1 y vi = xi para i = 2, . . . , n, la cual resulta ser diferenciable. Como el Jacobiano
de T es no singular, por el teorema de la funcion inversa, T es un difeomorfismo local. notemos
que se puede suponer que Va U es compacto y que T se puede extender diferenciablemente
a Va ; ademas, notemos que la representacion de f en las (u, v) esta dada por
f (u, v) = (u, f1 (u, v), . . . , fm (u, v)).
Ahora, como C \ C1 puede ser cubierto por una cantidad numerable de Va , entonces
f (C \ C1 ) =

f ((C C1 ) Va );

k<

por lo tanto basta demostrar que f (C Va ) tiene medida cero. Para esto, dado c R sea Bc =
{v : (c, v) Va } y definamos la funcion Fc : Bc Rm1 como Fc (v) = (f2 (c, v), . . . , fm (c, v)).
Como f (c, v) = (c, Fc (v)), y como el Jacobiano de f en las coordenadas (u, v) esta dado por
Df (u, v) =

0
fi
vj

!
,

entonces f (C Va ) {c} Rm1 = (c, Fc (C )), es decir, los valores crticos de f |Va que estan
0
en el hiperplano y1 = c son exactamente los puntos de la forma (c, w), con w Fc (C ) (siendo
0
C el conjunto de puntos crticos de Fc ), pues C Va es el conjunto de los puntos que hacen
que la matriz


fi
vj (m1)(n1)
0

tenga rango menor que m1. Por hipotesis de induccion, Fc (C ) tiene medida cero; esto implica
que f (C Va ) {c} Rm1 tiene medida cero. As, como f (C Va ) es compacto, por teorema
de Fubini, f (C Va ) tiene medida cero.

PASO II. f (Ck \ Ck+1 ) tiene medida cero.

Sea a Ck \ Ck+1 , y sea g : U R la derivada parcial de f de orden k que tiene al menos una
primera derivada parcial distinta de cero en a. Sabemos que la diferencial de g es g y, puesto
que existe al menos una derivada parcial de g diferente de cero en a, entonces a es un valor
regular de g; ademas, por la continuidad de g, existe una vecindad Va de a tal que cada punto
de esta vecindad es valor regular de g.
Sea Q = g 1 (0), es decir, el conjunto de nivel 0 de g en Va el cual resulta ser una hipersuperficie (podemos ver a Q como una subvariedad encajada en Rn de codimension 1). Como todas
las derivadas de orden menor o igual que k de f , incluyendo a g, se anulan en Ck , entonces
Ck Va Q. Por otra parte, si p Ck Va , se cumple que dfp no es inyectiva y ademas
0
0
d(f |Q )p = (dfp )|Tp Q . Entonces Ck Va C , donde C es el conjunto de puntos crticos de
0
0
f |Q : Q Rn ; esto implica que f (Ck Va ) f |Q (C ) pero, por hipotesis de induccion, f |Q (C )
tiene medida cero. Por lo tanto, f (Ck Va )) tiene medida cero y, por un argumento similar al
dado en el paso I, f (Ck \ Ck+1 ) tiene medida cero.

PASO III. Para k suficientemente grande, f (Ck ) tiene medida cero.

Sea E un cubo cerrado tal que Ck E U . Como E es compacto, existe R+ de manera
que los valores absolutos de todas las derivadas parciales de f de orden menor o igual que k + 1
estan acotadaos en E por . Sea R la longitud de un lado de E y sea r Z+ ; dividamos E
en rn cubos de lado Rr denotados por Ei , i = 1, . . . , rn . Sea ai Ck Ei para alg
un i; por un
corolario del teorema de Taylor, tenemos que
nk+1
|x ai |k+1 ,
(k + 1)!
donde Pk (x) es el k-esimo polinomio de Taylor de f en ai . Pero, como todas las derivadas
parciales de f de orden menor e igual que k se anulan en ai , entonces Pk (x) = f (a). De aqu,
obtenemos
|f (x) Pk (x)|

|f (x) f (ai )|

nk+1
0
|x ai |k+1 = |x ai |k+1 ,
(k + 1)!

con una constante que solo depende de , k y n. As, f (Ck Ei ) esta contenido en un cubo
0
de lado de longitud ( Rr )k+1 . Esto implica que f (Ck E) esta contenido en la union de rn
cubos cuyo volumen (m-dimensional) es menor igual que
6

rn
00

 m(k+1)
 k+1 !m
R
R
00
n 0 m
= (rnm(k1) ),

= r ( )
r
r
0

donde = ( )m Rn(k+1) . Notemos que si n < m(k 1), rnm(k1) tiende a cero.
n
Por lo tanto, para k > m
1, f (Ck Ei ) tiene medida cero y, como f (Ck ) esta contenido en la
union de f (Ck Ei ) con i = 1, . . . , rn , obtenemos que f (Ck ) tiene medida cero.