TEOREMA DE SARD

MARIANA MONTEALEGRE BUSTOS ERICA PAOLA CAYCEDO

UNIVERSIDAD DEL TOLIMA FACULTAD DE CIENCIAS BASICAS PROGRAMA DE MATEMATICAS CON ENFASIS EN ESTAD ISTICA IBAGUE 2013

TEOREMA DE SARD

MARIANA MONTEALEGRE BUSTOS C odigo: 070200372008 ERICA PAOLA CAYCEDO C odigo: 070200112009

Presentado a: LEONARDO SOLANILLA CHAVARRO Profesor del Departamento de Matem aticas y Estad stica

UNIVERSIDAD DEL TOLIMA FACULTAD DE CIENCIAS BASICAS PROGRAMA DE MATEMATICAS CON ENFASIS EN ESTAD ISTICA IBAGUE 2013

Teorema de Sard
Conjuntos de medida cero
Denici on 1. Sea X Rm , decimos que X tien medida crero, med(X ) = 0, si para todo > 0 existen cubos abiertos {C1 , . . . , Ci , . . .} en Rm tales que X i1 Ci y i1 vol(Ci ) < . Observaci on 1. Todo subconjunto de un conjunto de medida cero tiene medida cero. 2. Toda uni on numerable de conjuntos de medida cero es un conjunto de medida cero. 3. Todo conjunto numerable tiene medida cero. Denici on 2. Sea N una variedad ndimensional y sea B N . Decimos que B tiene medida cero si, para cada mapa : U N Rn el conjunto (U B ) tiene medida cero en Rn . Denici on 3. Sea M y N variedades, y sea f : M N una aplicaci on C . El conjunto de puntos cr ticos de f es el conjunto de puntos x M donde Df (x) : Tx M Tf (x) N tiene rango menor que n = dimN , denotamos por C = C (f ) M el conjunto de puntos cr ticos de f . Al conjunto f (C (f )) lo llamaremos conjunto de los valores cr ticos de f . Teorema 1. (TEOREMA DE SARD) Sea f : M N una aplicaci on C . Entonces el conjunto f (C (f )) de los valores cr ticos de f tiene medida cero en N . Demostraci on 1. Es claro que si x M es un punto cr tico de f y (U, ) es un mapa en M , con x U , y (V, ) es un mapa en N , con f (U ) V , entonces (x) es un punto cr tico de la aplicaci on f 1 : (U ) Rn . As probar que f (C (f )) tiene medida cero en N , equivale a probar que f 1 ( (f (C ))) tiene medida cero en Rn . Por lo tanto basta considerar el caso de aplicaciones f : Rn Rn . La demostraci on ser a por inducci on en la suma m + n, donde m y n son las dimensiones de las variedades M y N .

4 Como en los casos m + n < 2 el resultado es trivial, por que f : R donde f (x) = x R con tiene medida cero Comenzaremos la inducci on en el caso en que m + n = 2. Sea f : R R una aplicaci on de clase C y sea C = {x R : f (x) = 0}. Basta probar que para todo x C se tiene que med(f (C U )) = 0 para U R abierto; por denici on 2. Pues por el Teorema de Lindel of C podemos cubrir por un conjunto numerable de abiertos {Ui }i1 , y en consecuencia f (C ) i=1 f (C ) Ui , luego on anterior. med(f (C )) i=1 med(f (C ) Ui ) = 0; por observaci Consideremos un intervalo cerrado A = [b, d] tal que |b d| = a con A U . Sea T = x A : f (x) = 0. Dividamos el intervalo A en k intervalos de largo a = k

Sea Ai uno de esos intervalos. Si x, y Ai entonces |x y | < . Escojamos Ai tal que Ai T = . Sea xi Ai T . Como f (xi ) = 0 tenemos que f (x) = f (xi ) + f (xi )(x xi ) + (x)(x x0 ) donde (x)(x x0 ))ri (x) como f (xi ) = 0 f (x) = f (xi ) + ri (x) para todo x Ai .

Por denici on de limite. Dado > 0 tomamos k sucientemente grande para que que
|ri | |x x i |

ri (x) xxi

< tenemos

< si |x xi | < x = xi (1) (2)

|ri (x)| < |x xi | |ri (x)| < |x xi | |ri (x)| < Como f (x) = f (xi ) + ri (x) ri (x) = f (x) f (xi ) Reemplazando (2) en (1) |f (x) f (xi )| < < f (x) f (xi ) < f (xi ) < f (x) < f (xi ) + f (x) (f (xi ) , f (xi ) + ) [f (xi ) , f (xi ) + ] f (x) [f (xi ) , f (xi ) + ] = Pi As f (T ) k i=1 Pi |Pi | = (f (xi ) )(f (xi ) + ) = 2 por tanto

y como

a k = 2a k es arbitrario med(K i=1 Pi ) = 0, lo que implica que med(f (T )) = 0. med(k i=1 )Pi = 2 k = 2

Ahora, como C puede cubrirse con un conjunto numerable de intervalos A, se tiene que med(f (T )) = 0, aplicando la denici on 3, es decir, si dimM = dimN = 1, y f : M N es una aplicaci on C , y C es el conjunto de puntos cr ticos, entonces f (C ) tiene medida cero. Para demostrar la segunda implicaci on de la inducci on, los subconjuntos Ci de M formados por los puntos x M tales que las derivadas parciales de orden menor o igual a i son cero. Tenemos as que C C 1 C 2 . . .. Separaremos esta demostraci on en tres Lemas.

6 Lema 1. El conjunto f (C C1 ) tiene medida cero. Observaci on 1. Si dimN = 1 tenemos que f : Rm R es tal que Df (x) = f f f (x), . . . , x (x)) luego si rango (Df (x) < 1) entonces x ( x (x) = 0 para m 1 i todo i = 1, . . . , m. As C = C1 y en consecuencia med(f (C C1 )) = 0. Consideraremos entonces el caso en que n 2 . Esto nos permite usar el Teorema de Fubini. Nuestro objetivo es encontrar para cada x C C1 un abierto V Rm , tal que x V y f (V C ) tenga medida cero. Como x / C1 al menos una de las derivadas parciales de f en x debe ser distinta de cero. f1 (x ) = 0, donde f : Rm Rn se Sin p erdida de generalidad supongamos x 1 escribe como f = (f1 , . . . , fn ). Sea U un subconjunto abierto de Rm con x U . Denamos h : U Rm por h(x1 , . . . , xm ) = (f1 (x1 , . . . , xm ), x2 , . . . , xm ). As Dh(x ) : Rm Rm viene dado por f f1 f1 f1 1 (x ) (x ) x (x ) x (x ) . . . x x1 m 2 3 0 1 0 ... 0 0 0 1 ... 0 . . . . . . . . . . . . . . . 0 0 0 0 1 mm
f1 y x (x) = 0. As rango (Dh(x )) = m, es decir, Dh(x )es de rango completo, 1 lo que implica que existe (Dh(x ))1 . Tambi en Dh(x ) es un isomorsmo pues:

I. Dh(x ) es inyectiva por que ker(Dh(x ) = 0. II. Dh(x ) es sobreyectiva por que ker(Dh(x ))+Im(Dh(x )) = m entonces Im(Dh(x )) = m . Luego por el Teorema de la Funci on Inversa h es un difeomorsmo desde un abierto V con x sobre una vecindad W Rm con f (x ) W . Luego el conjunto C de los puntos cr ticos de g = f h1 : Rm W es h(V C ) , es decir, g (C ) = f (V C ) son los valores cr ticos de la funci on g .

Si x h(V C ) entonces Dg (x) = D(f h1 )(x) = Df (h 1(x))Dh1 (x). Como h1 (x) C tenemos que rango (Dg (x)) < n (Por denici on 2) y para 1 todo x(U C ) tenemos que rango (Dg (x)) = n, pues Dh es un isomorsmo. De la denici on de g se sigue que la imagen de cada punto de W de la forma (t, x2 , . . . , xm ) pertenece al hiperplano {t} Rn1 .

En efecto, si h1 t, x2 , . . . , xm ) = (x1 , . . . , xm ) entonces f1 (x1 , . . . , xm ) = t. f h1 As (t1 , x2 , . . . , xm ) (x1 , . . . , xm ) (f1 (x1 , . . . , xm ), . . . , fn (x1 , . . . , xm )) = (t, f2 (x1 , . . . , xm ), . . . , fn (x1 , . . . , xm )) Luego g se a lleva hiperplanos en W en hiperplanos de Rn .

8 Consideremos la familia de aplicaciones de clase C 1 dada por g t : ({t} Rm1 ) W {t} Rn1 , que se obtiene restringiendo g de modo apropiado.

Sea = (t, x2 , . . . , xm ) W . Tenemos g () = g (t, x2 , . . . , xm ) = (t, f2 (h1 (t, x2 , . . . , xm )), . . . , fn (h1 (t, x2 , . . . , xm ))) 1 t = (t, gn (t, x2 , . . . , xm ), . . . , gn (t, x2 , . . . , xm )). Luego 1 Dg (t, x2 , . . . , xm ) = . . . 0
t g1 x2

. . .

... ... .. . ...

t g1 xm t gn xm

t gm x2

. . .
nm

As es un punto cr tico de g si y s olo si (x2 , . . . , xm ) es punto cr tico de g t . N es una aplicaNuestra hip otesis inductiva es la siguiente, si l : M yN , respectivamente, son tales que ci on C y las dimensiones m , n de M m +n < m + n entonces el conjunto de valores cr ticos tiene medida cero. t Por lo tanto, el conjunto de valores cr ticos de g tiene medida (n1)dimensional n1 cero en {t} R . Luego la intersecci on g (C 1 ) ({t} Rn1 ) tiene medida (n 1)dimensional cero. Consideremos ahora el siguiente caso particular del Teorema de Fubini, del que podemos deducir que g (C ) tiene medida cero.

9 Teorema 2. El conjunto g (C ) Rn = R Rn1 tiene medida ndimensional cero si cada hiperplano {t} Rn1 el conjunto ({t} Rn1 ) g (C ) tiene medida (n 1) dimensional cero, es decir, g (C ) = 0
[ai ,bi ] B [ai ,bi ]

para cada bloque B con V B (donde A denota la funci on caracter tica del conjunto A). Ahora como g (C ) = f (V C ) se tiene que para todo x C C1 , existe V Rn tal que x V de modo que f (V C ) tiene medida cero. Pero como C C1 puede ser cubierto por un conjunto numerable de vecindaas des Vi (Teorema de Lindel of) tenemos que f (C C1 ) i=1 Vi C ) y adem med(f (Vi C )) = 0 para todo i N . Luego, i=1 Vi C ) tiene medida cero, y en consecuencia f (C C1 ) tiene medida cero. Lema 2. Para todo i 1 los conjuntos f (Ci Ci+1 ) tienen medida cero. Demostraci on 2. El argumento que utilizemos en similar al del Lema anterior, esto es, sea x Ci Ci+1 , entonces en el punto x todas las derivadas parciales de orden menor o igual a i de las funciones coordenadas de la aplicaci on f se anulan. Adem as para alguna familia de ndices r; s1 , s2 , . . . , si+1 i+1 fr tenemos que xs ...xs (x ) = 0.
1 i+1

W Sea W (x) = tenemos entonces que W (x ) = 0 y x (x ) = 0; s1 esto ya que W (x ) = 0 pues las i esimas primeras derivadas parciales se anulan en x y las i + 1 no se anula en x . Sin p erdida de generalidad podemos suponer que s1 = 1.

i fr ( x) xs1 ...xsi+1

La aplicaci on h : U Rm denida que Dh(x ) : Rm Rm es dada por W (x ) W (x ) x1 x2 0 1 . . . . . . . . . . . . Pero mo.

W (x x1

por h(x) = (W (x), x2 , . . . , xm ) es tal ... ... .. . ...

W (x xm

) 0 . . . 1
mm

) = 0, as rango (Dh(x )) = m, es decir, Dh(x ) es un isomors-

10 Luego por el Teorema de la Funci on Inversa h es un difeomorsmo desde un abierto x V U sobre una vecindad W Rn . Consideraremos ahora la imagen del conjunto Ci V bajo la aplicaci on h. Como la primera coordenada de h es W (x) , que corresponde a una derivada parcial de orden i de f , y todas estas se anulan en el conjunto Ci , se sigue que h env a Ci V en el hiperplano {0} Rm1 . Como en el Lema anterior, consideramos la funci on compuesta g = f h1 : W Rn ,adem as por la hip otesis inductiva el conjunto de valores cr ticos de g : ({0} Rm1 ) W Rn , tiene medida ndimensional cero.

Todos los puntos del conjunto h(Ci V ) son puntos cr ticos de g , ya que el conjunto Ci V est a formado por todos los puntos cuyas derivadas parciales de orden menor o igual a i de f se anulan, luego por regla de la cadena, todas las derivadas parciales de g de orden menor o igual a i se anula en los puntos de h(Ci V ). Luego el conjunto g h(Ci V ) = f (Ci V ) tiene medidad cero en Rn . El lema sigue el hecho que (Ci Ci+1 ) puede cubrirse por un cantidad numerable de abiertos Vj . En efecto, f ((Vj Ci )) = j =1 f (Vj Ci ), y este conjunto tiene medida cero. Lema 3. Para k sucientemente grande f (Ck ) tiene medida cero. Demostraci on 3. Cubramos Ck con una colecci on numerable de cubos de lado . Sea I m uno de esos cubos contenido en U . Probaremos que para k sucientemente grande, el conjunto f (Ck I m ) tiene

11 medida cero. Por el Teorema de Taylor y la denici on de Ck , tenemos que para x Ck I m y x + h Im ; f (x, h) = f (x) + R(, h) con |R(x, h)| a|h|k+1

donde a depende de f y de I m . Subdividamos I m en rm subcubos de lado /r , y sea I1 el cubo de esta subdivisi on que contiene a x. . Entonces cada punto en el cubo I1 es de la forma x + h, con |h| m r

Por lo tanto f (I1 ) est a contenido en un cubo con centro en f (x) y de lado k+1 a/r , donde a = 2( m )k+1 .

En efecto, por el Teorema de Taylor tenemos que si |h| f (x + h) = f (x) + R(x, h) donde |R(x, h)|
m rk+1
k+1

m r

entonces

ver siguiente gura

12

Luego f (Ck I m ) est a contenido en la uni on de rm cubos cuyo vol umen total n n mn(k+1) ) = a r (es el producto del n u mero de cubos que es a lo m as rm ( ra k1 m n cubren I con el vol umen en R de estos cubos). (equivalentemente m n(k + 1) < 0) entonces este vol umen se Si k + 1 > m n aproxima a cero cuando r tiende a . Lo que prueba el Lema. Observaci on 2. En este paso podemos notar que la dicultad de la demostraci on se da s olo en el caso en que dimM > dimN . Ahora de los tres Lemas anteriores podemos deducir el Teorema. En efecto, notemos que med(A B ) med(A) + med(B ). Por el Lema 3 sabemos que med(f (Ck )) = 0 para k sucientemente grande. Adem as, med(f (Ck1 )) med(f (Ck )) + med(f (Ck1 Ck )),pues f (Ck1 ) = f (Ck ) f (Ck1 Ck ) . Pero como med(f (Ck )) = 0 y por el Lema 2 med(f (Ck1 Ck )) = 0. Tenemos entonces que med(f (Ck1 )) = 0. Inductivamente tenemos que med(f (C1 )) = 0, pero como f (C ) = f (C1 ) f (C C1 ) tenemos que med(f (C )) med(f (C 1)) + med(f (C C1 )) y por el Lema 1 tenemos que med(f (C )) 0, es decir, med(f (C )) = 0. Con lo que queda demostrado el Teorema de Sard.

13

Anexos
Teorema 3. (Teorema de Lindel of ) Supongamos que A Rn y que F es un recubrimiento abierto de A. Entonces existe unasubcolecci on numerable de F que tambi en recubra a A. Teorema 4. (Teorema Fubini) Sean A Rn y B Rm rect angulo, y f : A B R una funci on integrable tal que las funciones fx : B R denidas por fx (y ) = f (x, y ) son integrables sobre B para todo x A. Entonces, la funci on x B f (x, y )dy es integrable en A, y f=
AB A B

f (x, y )dy dx. f (x, y )dx existe para cada y B , entonces f (x, y )dx dy.
B A

An alogamente, si se supone que f=

AB

Teorema 5. (Teorema de la Funci on Inversa) Sea U un subconjunto abierto del espacio euclidiano En y F U En una aplicaci on diferenciable en U . Entonces, F dene un difeomorsmo local cerca a x0 U si y solo si dF (x0 ) es un isomorsmo lineal.

Bibliograf a
[1] Sergio Eugenio Plaza Salinas, Variedades Diferenciables, Notas ,Universidad de Santiago de Chile, 2008-Proceso.

14