Teorema de Sard Lema 1.

Se cumple que A Rn es subconjunto compacto para el cual su interseccin con {c} Rn1 tiene medida cero n 1 dimesional, c R; Entonces A tiene medida cero n 1 dimensional. Demostracin. Escojamos un intervalo [a, b] R, tal que A [a, b] Rn1 . Ya que debe existir la interseccin A ({c} Rn1 ) (de otra manera A ({c} Rn1 ) = y no habra nada que demostrar); tomemos c [a, b]. Ahora para cada c [a, b], denamos el subconjunto compacto: Ac = {x Rn1 : (c, x) A} Entonces se tendra A [a, b] Ac . De la hiptesis; se tiene que A ({c} Rn1 ) tiene medida cero y como este conjunto es homeomorfo a Ac , es equivalente a decir: Dado > 0, tal que para cada c [a, b], el conjunto Ac es cubierto nitamente por varios cubos abiertos n 1 dimensional C1 , C2 , ..., Ck tal que C i < . Ahora, como A es compacto, entonces las proyecciones son compactas y por lo tanto en [a, b] debera existir un intervalo abierto Jc tal que c Jc , que cumpla: A (Jc Rn1 ) = Jc Uc . En efecto: Sea p = (c, x) A (Jc Rn1 ), entonces p A y p (Jc Rn1 ). p A ([a, b] Ac ) [a, b] Uc entonces p ([a, b] Uc ) y p (Jc Rn1 ), luego se tiene que p ([a, b] Uc ) y p (Jc Rn1 ) de donde se obtiene que: p ([a, b] Jc ) (Uc Rn1 ) p (Jc Uc ) Por otro lado hay una sucecin de puntos (ci , xi ) A tal que ci c, pero que (ci , xi ) / A(Jc Rn1 ). Ademas podemos notar que A(Jc Rn1 ) = A(Jc Uc ). Luego: (ci , xi ) / A (Jc Rn1 ) = A (Jc Uc ) Luego (ci , xi ) / A (Jc Rn1 ) = A (Jc Uc ), entonces (ci , xi ) / (A Jc Uc ). Como la sucesin de puntos (ci , xi ) A, se obtiene de ahi que (ci , xi ) / (Jc Uc ). Ahora cumple tambien que xi converge a x que deberia pertenecer a Ac \ Uc lo cual no es cierto ya que Ac Uc . Luego se tiene que cada c [a, b] est contenido en un intervalo abierto Jc , entonces denotaremos a esta seccin de abiertos como: {Jc : c [a, b]} Estos, forman un cubrimiento abierto de [a, b], lo cul signica que existen nmeros a = c1 < c2 < ... < ck = b tal que los intervalos abiertos Jc1 , Jc2 , ..., Jck cubren [a, b]. Los intervalos Jci pueden coincidir. Luego si tomamos estos intervalos tan pequeos como querramos, estos se reducen a cada punto del intervalo y por tanto: L(Jci ) = |b a| < 2|b a|. 1 Variedades Diferenciables

Teorema de Sard

Como se tiene que A ([a, b] Ac ) (Jc1 U1 ) (Jc2 U2 ) ...(Jck Uk ), la cual es una unin nita de rectngulos abiertos y su volumen es: (Jci Uci ) V ol(Jci ). V ol(Uci )

< 2|b a|. = 2.|b a| para algn > 0 y tan pequeo como deseemos. Finalmente se tiene que A est cubierto por cubos abiertos y existe 2.|b a| = > 0 tal que V ol(Jci Uci ), con tan pequeo como se quiere. Entonces por denicin de conjunto de medida cero, se tiene que A tiene medida cero. Proposicin 1. Suponga que A es un subconjunto abierto o cerrado de Rn1 o Hn1 y f : A R es una funcin continua. Entonces la graca de f tiene medida cero en Rn . Demostracin. Supongamos primero que A es compacto. Probaremos por induccin: Si n = 1, entonces A R0 , lo que signica que A est formado por un punto y por tanto graf (f ) es al menos un punto (dependiendo de la denicin de f ), y esto es trivial ya que un punto tiene medida cero. Se supone que esto cumple para n = h, y podemos aplicar el lema anterior: Para cada c R, graf (f ) ({c} Rn1 ) tiene medida cero (n 1) dimensional, entonces graf (f ) tiene medida cero (n 1) dimensional. Se cumple que: graf (f ) ({c} Rn1 ) = graf (f |s ), donde s = {x A : x1 = c}. Lo cual a su vez es el grco de una funcin continua de (n 2) variables. Para n = h + 1. Como A tiene medida cero, es equivalente a decir que para cada c [a, b], graf (f ) ({c} A) tiene medida cero (n + 1) 1 dimensional, entonces graf (f ) tiene medida cero n dimensional. Suponga que A no es compacto, es la unin contable de subconjuntos compactos y como la unin de compactos es otro compacto, entonces el grco de f es uncin contable de conjuntos de medida cero.

Variedades Diferenciables