Análisis Real-Volumen 2
Análisis Real-Volumen 2
Página 1
Análisis real
Volumen 2
Rio de Janeiro
9 de marzo de 2004
[Link] 1/158
31/7/2020 Análisis real
Página 2
resumen
2 caminos en R n 33
1 Caminos diferenciables. . . . . . . . . . . . . . . . . . . . . . . . . . 33
2 Cálculo de diferentes caminos. . . . . . . . . . . . . . . . . . . . . . 35
3 Aintegraldeumpath. . . . . . . . . . . . . . . . . . . . . . . . . . 37
44 Caminos a ser rectificados. . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
[Link] 2/158
31/7/2020 Análisis real
66 Funciones convexas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
Apéndice : Continuidad de funciones convexas. . . . . . . . . . . . . . . . . 66
4 funciones implícitas 69
1 Una función implícita. . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
2 Hiper superficies. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
3 Multiplicador de Lagrange. . . . . . . . . . . . . . . . . . . . . . . . . 76
5 aplicaciones diferenciables 81
ii
Página 3
[Link] 3/158
31/7/2020 Análisis real
Página 4
Capitulo 1
[Link] 4/158
31/7/2020 Análisis real
El segundo nombre se aplica principalmente cuando se considera entre ellos.
operaciones que definiremos ahora.
La suma coincide con cada par de elementos x = (x 1 , ..., x n ) y
y = (y 1 , ..., y n ) la suma
x + y = (x 1 + y 1 , ..., x n + y n ).
α · x = (αx 1 , ..., αx n ).
Página 5
igualdad
x + y = y + x, x + 0 = x, - x + x = 0 ,
x + (y + z) = (x + y) + z, α (βx) = (αβ) x,
(α + β) x = αx + βx, α (x + y) = αx + αy.
〈X, y〉 = x 1 y 1 + ··· + x n y n ,
[Link] 5/158
31/7/2020 Análisis real
〈X, y〉
Demostración. 〈X, z〉 = 〈x, y〉 - · 〈X, x〉 = 0.
〈X, x〉
〈X, y〉
Escribiendo y = · X + z , vemos que, una vez dado un vector
〈X, x〉
no nulo x ∈ R n , cada vector y ∈ R n se escribe como la suma de un múltiplo de x
con un vector ortogonal a x . Esta descomposición es única porque si y = α · x + z
con z ⊥ x , tomando el producto interno de ambos miembros por x obtenemos( )
〈X, y〉 = α · 〈x, x〉, entonces α = 〈x, y〉/〈x, x〉. El vector αx = 〈X, y〉/〈x, x〉 X
se llama proyección ortogonal de y en (la línea que contiene) x .
Página 6
Figura 1.
√
El número no negativo | x | = 〈X, x〉 se llama estándar (o la longitud )
del vector x . Si x = (x 1 , ..., x n ) entonces
√
El | x | = x 2
1+ ··· + x 2 n.
[Link] 6/158
31/7/2020 Análisis real
Por definición,
unitaria tenemos
. Para todo 〈x,
x = 0, x〉 = |ux=| x2 ./ Cuando
el vector | x | = 1, se dice que x es un vector
| x | Es unitario.
2. | α · x | = | α || x |;
3. | x + y | ≤ | x | + | y |.
Página 7
Ahora,
El | x + y | 2 = 〈X + y, x + y〉 = | x | 2 + 2 〈x, y〉 + | y | 2
( )2
≤ | x | 2 + 2 | x || y | + | y | 2 = El | x | + | y |
[Link] 7/158
31/7/2020 Análisis real
Hay otras dos reglas que podemos usar en R n cuando
nience. Ellas son
{ }
1. | x | M = max · El | x 1 | , ..., | x n | (norma máxima),
Las condiciones que definen un estándar son fáciles de verificar para estos dos.
También es simple mostrar que, por cada x ∈ R n , es
El | x | M ≤ | x | ≤ | x | S ≤ n · | x | M ,
Las tres condiciones que definen un estándar implican que d (x, y) tiene el
propiedades características de una distancia, a saber:
Página 8
2. d (x, y) = d (y, x) ;
[Link] 8/158
31/7/2020 Análisis real
Dado el punto a ∈ R n y el número real r> 0, la bola abierta desde el centro a y el radio r
es el conjunto B (a ; r) de puntos x ∈ R n cuya distancia desde el punto a es menor que r .
En símbolos:
{ }
B (a ; r) = x ∈ R n ; | x - a | <r .
Del mismo modo, la bola cerrada con centro a y radio r se establece B [ a ; r ] entonces
definido:
{ }
B[a;r]= x∈Rn;|x-a|≤r .
Evidentemente, B [ a ; r ] = B (a ; r) ∪ S [ a ; r ].
La bola cerrada B [ a ; r ] ⊂ R n también se llama el disco n- dimensional de
centro de una y el radio r . En particular, el disco B [0; 1] con centro 0 y radio 1 se llama
disco unitario de R n .
Se reserva una notación especial para la esfera de unidad de dimensión n - 1:
{ }
Y n −1 = x∈Rn;|x|=1 .
Por lo tanto, S n es
−1 la esfera central en el origen 0 y el radio 1. Cuando n = 2, S 1 es el
Página 9
[Link] 9/158
31/7/2020 Análisis real
Figura 2. El conjunto de puntos z ∈ R n tal que | z | ≤ 1, de acuerdo con el estándar siendo (a) el
euclidiano; (b) el máximo, o (c) la suma.
Se dice que el conjunto X ⊂ R n está limitado cuando está contenido en una bola
B [ a ; r ]. Como B [ a ; r ] ⊂ B [0; k ], donde k = r + | a | (como veremos ahora),
decir que X es limitado es equivalente a decir que hay k> 0 tal que | x | ≤ k para todos
x∈X.
Para mostrar que B [ a ; r ] ⊂ B [0; r + | a |], tenga en cuenta que | x - a | ≤ r ⇒
El | x - a + a | ≤ | x - a | + | a | ≤ r + | a |.
Por lo tanto, x ∈ B [ a ; r ] ⇒ x ∈ B [0; r + | a |].
Se dice que una aplicación f : X → R n está limitada cuando su imagen f (X) ⊂ R n
es un conjunto limitado, es decir, cuando hay c> 0 tal que | f (x) | ≤ c para todos
x∈X.
Dado a = b en R n , la línea que une estos dos puntos es el conjunto
ab = { ( 1 - t) a + tb ; t ∈ R}. A su vez, el segmento de línea extremo a, b es
el conjunto [ a, b ] = { ( 1 - t) a + tb ; 0 ≤ t ≤ 1}.
Un conjunto X ⊂ R n se llama convexo cuando el segmento de línea que une
dos cualquiera de sus puntos está contenida enteramente en X . En otras palabras,
decir que X es convexo es equivalente a decir que
a, b ∈ X, 0 ≤ t ≤ 1 ⇒ ( 1 - t) a + tb ∈ X.
Página 10
tx 0 , logo
El | ( 1 - t) a + tb - x 0 | = | ( 1 - t) a + tb - ( 1 - t) x 0 - tx 0 |
= | ( 1 - t) (a - x 0 ) + t (b - x 0 ) |
[Link] 10/158
31/7/2020 Análisis real
≤ ( 1 - t) | a - x 0 | + t | b - x 0 |
≤ ( 1 - t) r + tr = r,
⊲
{
Ejemplo 2. Sea X = (x, y) ∈ R 2 ; y ≤ x 2 } . El conjunto X ⊂ R 2 no es
convexo. De hecho, los puntos a = ( -1 , 1 ) y b = ( 1 , 1 ) pertenecen a X pero
1 1
a+ b = ( 0 , 1 ) no pertenece a X . ⊲
2 2
3 juegos abiertos
Figura 3.
Página 11
[Link] 11/158
31/7/2020 Análisis real
En términos más precisos, discutimos así:
√
(x, y) ∈ B ⇒ (x - a) 2 + (y - b) 2 <b ⇒ (y - b) 2 <b 2
⇒ y 2 - 2 por + b 2 <b 2 ⇒ y 2 < 2 por ⇒ y> 0 (ya que b> 0) ,
y ∈ B (x ; s) ⇒ | y - a | ≤ | y - x | + | x - a | <r - | x - a | + | x - a | = r.
Figura 4.
Pagina 12
[Link] 12/158
31/7/2020 Análisis real
SECCIÓN 4: SECUENCIAS EN R N 9
{ }
(x, y) ∈ R 2 ; y < 0 es un punto interior (es decir, que R 2 - X es un conjunto
Abierto). Así que no hay punto de R 2 - X puede estar en la frontera X . Sigue
entonces del ejemplo 4 que fr. X = { (x, 0 ) ; x ∈ R} = eje xx . ⊲
4 cuerdas en R n
Página 13
[Link] 13/158
31/7/2020 Análisis real
[Link] 14/158
31/7/2020 Análisis real
Página 14
SECCIÓN 4: SECUENCIAS EN R N 11
[Link] 15/158
31/7/2020 Análisis real
Página 15
5 juegos cerrados
[Link] 16/158
31/7/2020 Análisis real
Página 16
d (a ; X) = inf . {| x - a |; x ∈ X } .
Ejemplo 8. Todos los puntos en una pelota son puntos de acumulación. El conjunto
Z n de los puntos de R n con coordenadas enteras es un conjunto discreto. ⊲
[Link] 17/158
31/7/2020 Análisis real
Página 17
(b) Si (F λ ) ⋂
λ ∈ L es una familia arbitraria de conjuntos cerrados, entonces la intersección
F= F λ es un conjunto cerrado.
λ∈L
6 juegos compactos
Página 18
(1) K es compacto;
d (X, Y) = inf . {| x - y |; x ∈ X, y ∈ Y } ,
[Link] 19/158
31/7/2020 Análisis real
se cumple el siguiente resultado, que contiene el Teorema 5 como un caso particular:
Teorema 11. Sea K ⊂ R n compacto y F ⊂ R n cerrado. Hay x 0 ∈ K y
y 0 ∈ F tal que | x 0 - y 0 | ≤ | x - y | para cualquier x ∈ K y ∈ F.
Página 19
[Link] 20/158
31/7/2020 Análisis real
Página 20
diam. X = sup {| x - y |; x, y ∈ X } .
X = X 1 ∪ ··· ∪ X k
[Link] √ 21/158
31/7/2020 Análisis real
√ m≤.αSi X es compacto
donde cada X i tiene la forma X ∩ C m , por lo tanto tiene un diámetro
entonces cada X i es compacto. Esto prueba el
Lema 1. Deje que K n R n sea compacto. Para todo ε> 0 hay una descomposición
K = K 1 ∪ ··· ∪ K k donde cada K i es compacto y tiene un diámetro ≤ ε.
Página 21
7 aplicaciones continuas
En otras palabras: para cada bola B (f (a) ; ε) , hay una bola B (a ; δ) tal que
f (B (a ; δ) ∩ X) ⊂ B (f (a) ; ε) .
La continuidad de f en el punto a no depende de los estándares utilizados en R m
[Link] 22/158
31/7/2020 Análisis real
yRn.
Diremos que f : X → R n es una aplicación continua en el conjunto X ⊂ R m
cuando f es continua en todos los puntos de un ∈ X .
Página 22
[Link] 23/158
31/7/2020 Análisis real
(αf) (x) = α (x) · f (x).
Página 23
[Link] 24/158
31/7/2020 Análisis real
entonces f (B (x ; δ) ∩ X) ⊂ B (f (x) ; ε) . Por lo tanto, f es continua en todos los puntos
x∈X.
Página 24
f◦ϕ-RP
K
//
//
ϕ //
// F
[Link] 25/158
31/7/2020 Análisis real
yo / /
L
Demostración. Si f es continua, entonces f ◦ ϕ es continua, según el teorema 14. Reci
a continuación, suponiendo continua f ◦ varphi , entonces, para todo conjunto cerrado F ⊂ R p , una
(F) = ϕ −1 [ f
−1 −1
imagen inversa (f ◦ ϕ) (F) ] es un subconjunto
[ cerrado] de K ,
−1 −1 −1
ir es compacto. Entonces, por el Teorema 17, f (F) = ϕ ϕ (F (F)) es compacto
luego cerrado a R m . Del corolario anterior se deduce que f es continua.
8 continuidad uniforme
Página 25
[Link] 26/158
31/7/2020 Análisis real
El | p (x, y) - p (a, b) | = | xy - ab | ≤ | x - a | El | y - b | + | x - a | El | b | + | a | El | y - b |
ε ε ε
≤ + + = ε.
3 3 3
Tenga en cuenta la diferencia: en el caso de la suma, δ depende solo de ε , pero no del punto
(a, b) donde se prueba la continuidad. En la multiplicación, δ depende no solo de
de ε pero también (a, b) . Si uno de los números de una o b aumenta, para la misma
ε debería tomar δ cada vez más pequeño. Esto significa que la adición es uniforme
continua pero la multiplicación no lo es. La definición relevante sigue:
Se dice que una aplicación f : X → R n es uniformemente continua en el conjunto X ⊂
R m cuando, para todo ε> 0, es posible obtener δ> 0 tal que | x - y | <δ ⇒
El | f (x) - f (y) | <Ε , cualquiera que sea x, y ∈ X .
√ √ 1
El |x - y|= √ √ El | x - y |
x+ y
√ √ √ √ −1
y que con x, y ∈ [0 , 1] puede convertirse x+ y tan pequeño, (pronto ( x+ y)
tan grande) como quieras. ⊲
Page 26
SECCIÓN 9: HOMEOMORFISMOS 23
El | A | = sup {| A · x |; x ∈ S n −1 }
9 homeomorfismos
Página 27
[Link] 28/158
31/7/2020 Análisis real
El teorema anterior muestra por qué fue posible dar el Ejemplo 14: el intervalo
[0 , 2 π) no es compacto.
10 conjuntos relacionados
Página 28
[Link] 29/158
31/7/2020 Análisis real
Ejemplo 17. Escribir las líneas de una matriz, una tras otra, en una
lista, identificaremos el espacio R n 2 con el conjunto de n × n matrices cuadradas .
Deje G n , G + y G - respectivamente los conjuntos de matrices con determinante
= 0, de matrices con determinante > 0 y con determinante < 0. Igualdad
G n = G + ∪ G - es una división. De hecho, como el determinante es una función real
det: G n → R, una secuencia de matrices con determinantes positivos
no puede converger en una matriz determinante negativa. Entonces G + ∩ G - =
∅ . Del mismo modo, G + ∩ G - = ∅ .
Un conjunto X ⊂ R n se denomina conexión cuando solo admite una división trivial. Caso
de lo contrario, se dice que X está desconectado .
Como vimos en el Ejemplo 17 anterior, el conjunto de n × n matrices con cierta
minant = 0 está desconectado.
En la página 51 del vol. 1 se demostró que cada intervalo de la línea R (ya sea abierto
o no, limitado o no) está conectado.
Recíproco: ⊲
Teorema 25. (a) La imagen del conjunto conectado X ⊂ R m por una aplicación
continuo f : X → R n es un conjunto conectado.
⋃
(b) Reunión X = X λ de cualquier familia de conjuntos relacionados X λ ⊂
λ∈L
R n que tiene un punto a en común es un conjunto conectado.
Página 29
[Link] 30/158
31/7/2020 Análisis real
[Link] 31/158
31/7/2020 Análisis real
Página 30
Este corolario se conoce como el teorema del valor intermedio porque puede
también se indicará como sigue : “ Deje que X ⊂ R n esté conectado y ef : X → R continuo. Si
a, b ∈ X son tales que f (a) <f (b) entonces, para cada d con f (a) <d <f (b),
hay c ∈ X tal que f (c) = d ".
Ejemplo 19. Una consecuencia del teorema del valor intermedio es que para
cada función real continua f : S 1 → R hay (al menos) un punto z ∈ S 1 tal que
f (z) = f ( - z) . Para ver esto, considere la función continua ϕ : S 1 → R, dada
por ϕ (z) = f (z) - f ( - z) . Valle ϕ ( - z) = - ϕ (z) . Por lo tanto, o ϕ (z) = 0 para todos
z (problema cerrado) o hay un ∈ S 1 a φ ( - a) < 0 <φ (a) , entonces φ (z) = 0
para algunos z ∈ S 1 , porque S 1 está conectado. ⊲
Existe una noción muy geométrica que proporciona una condición suficiente para
conectividad de un conjunto, que es conectividad por caminos.
Una ruta en un conjunto X ⊂ R n es una aplicación continua f : I → X ,
conjunto en un intervalo I .
Por ejemplo, datos x, y ∈ R n , la ruta f : [0 , 1] → R n , definida por
f (t) = ( 1 - t) x + ty , se llama la trayectoria recta que conecta x a y . Algunas veces nosotros
nos referiremos a él como la ruta [ x, y ].
Diremos que los puntos a, b ∈ X pueden estar conectados por una ruta en X
cuando hay un camino f : I → X como un = f (α) , b = f (β) con α <β ∈ R .
Por ejemplo, si X ⊂ R n es convexo, cualquiera de los dos puntos a, b ∈ X puede ser
conectado por una ruta X , es decir, la ruta recta [ a, b ].
[Link] 32/158
31/7/2020 Análisis real
Page 31
( 1 - t) a + tb
f (t) = El | ( 1 - t) a + tb | .
[Link] 33/158
31/7/2020 Análisis real
conectados por caminos: cuando se abre el conjunto X ⊂ R n .
Página 32
Teorema 26. Un A ⊂ R n abierto está conectado si, y solo si, está conectado por ruta
niños.
Page 33
conjunto X . Las clases de equivalencia son los componentes conectados de los puntos.
de X .
Cada componente conectado C x está cerrado en un conjunto X . De hecho, siendo
C x ⊂ ¯ C x ∩ X ⊂ ¯ C x , el teorema 25 (d) nos asegura que ¯ C x ∩ X es un subconjunto
conexión de X , que contiene C x . Logotipo ¯ C x ∩ X = C x , que muestra que C x está cerrado
en X .
11 límites
“ Para cada dato ε> 0 , hay δ> 0 tal que x ∈ X y 0 < | x - a | <δ
implicar | f (x) - b | <δ. "
El punto que puede o puede no pertenecen a X . En muchos de los ejemplos más importantes.
tes límite tiene en realidad a / ∈ X . Pero incluso si pertenece a X , el punto
ay el valor f (a) no juega ningún papel en la definición del límite.
Cuando el punto de acumulación a pertenece a X , la aplicación f : X → R n es
continua en el punto a si y solo si lim f (x) = f (a) .
x→a
La siguiente propiedad se deduce inmediatamente de la definición pero es lo suficientemente útil.
a destacar como teorema.
Teorema 27 (Permanencia del signo). Estar en un punto de acumulación de X ⊂
R n ef : X → R una función real. Si b = lim f (x) es un número positivo, entonces
x→a
hay δ> 0 tal que x ∈ X y 0 < | x - a | <δ implica f (x)> 0 .
Demostración. Como b es positivo, tomamos ε = b . Por la definición de límite,
hay δ> 0 tal que x ∈ X y 0 < | x - a | <δ implica b - ε <f (x) <b + ε ,
es decir, 0 <f (x) < 2 b , luego f (x)> 0.
[Link] 35/158
31/7/2020 Análisis real
si a no es el extremo superior de I , se dice que b ∈ R n es el límite a la derecha de f (t)
cuando t tiende a a , y escribe lim f (t) = b , que significa que
t→a+
“ Por cada ε> 0 dado, hay δ> 0 tal que <t <a + δ implica
t ∈ I e | f (t) - b | <ε. "
Del mismo modo, el límite se establece a la izquierda. f (t) .
t→a-
Al igual que la continuidad de una aplicación, la existencia del valor límite
se expresan en términos de funciones de coordenadas, como veremos ahora.
34
Esto es más fácil de probar que de declarar. Simplemente imite la demostración de que
El compuesto de dos aplicaciones continuas es continuo (Teorema 14).
[Link] 36/158
31/7/2020 Análisis real
y un punto de acumulación de X. Si hay lim x → a f (x) = b, lim x → a g (x) = ce
lim α (x) = α 0 , luego están los límites y se aplican las siguientes igualdades:
x→a
[ ]
lim f (x) + g (x) = b + c, lim α (x) · f (x) = α 0 · b
x→a x→a
Página 35
xy X y
f (x, y) = √ ·√ = cos θ sin θ,
x2+y2= x2+y2 x2+y2
donde θ es el ángulo del eje OX con el segmento Oz, z = (x, y) . Entonces tenemos
lim α (x, y) = 0
(x, y) → ( 0 , 0 )
Ahora que lo hemos visto lim (f (x) - g (x)) = lim f (x) - lim g (x) , podemos
x→a x→a x→a
demostrar la siguiente consecuencia del teorema 27:
Demostración. Si fuera al revés, lim f (x)> lim g (x) , tendríamos lim (f (x) -
x→a x→a x→a
g (x))> 0 y luego, según el Teorema 27, f (x)> g (x) sería válido para todas las x ∈ X
[Link] 37/158
31/7/2020 Análisis real
Page 36
Capitulo 2
Caminos en R n
1 caminos diferenciables
f (t 0 + h) - f (t 0 )
f (t 0 ) = lim ,
h→0 H
[Link] 38/158
31/7/2020 Análisis real
33
Page 37
34 CAPÍTULO 2: CAMINOS EN R N
t . Cuando f (t 0 ) = 0 puede no haber una línea recta que pueda llamarse tangente
desde el punto f (t 0 ) .
Figura 1.
f (t 0 + h) - f (t 0 )
F + (t 0 ) = lim ,
h→0+ H
y, análogamente, la derivada izquierda f (t 0 - ) , si t 0 no es el extremo
bajar - I . Cuando t 0 es un punto interior de I, entonces f es diferenciable en el punto
t 0 si, y solo si, existen derivadas f + (t 0 ) y f - (t 0 ) siendo el mismo.
⊲
38
Figura 2.
[Link] 40/158
31/7/2020 Análisis real
1. (f + g) (t 0 ) = f (t 0 ) + g (t 0 ),
2. (αf) (t 0 ) = α (t 0 ) · f (t 0 ) + α (t 0 ) · f (t 0 ),
4. | f | (t 0 ) = 〈f (t 0 ), f (tEl0 |)〉
f (t 0 ) | ,
Página 39
36 CAPÍTULO 2: CAMINOS EN R N
Page 40
3 La integral de un camino
[Link] 42/158
31/7/2020 Análisis real
Page 41
38 CAPÍTULO 2: CAMINOS EN R N
∗
que se deriva del hecho de que por cada partición punteada P tiene arriba
∣ ∣
∣∑ ∣ ∑
∣ ∗ ∣
≤ ∗
∣ (f ; P ) ∣ ( | f |; P )
[Link] 43/158
31/7/2020 Análisis real
porque la norma de una suma es menor o igual que la suma de las normas de las parcelas.
En particular, si | f (t) | ≤ M para todo t ∈ [ a, b ] entonces
∣∫b ∣
∣ ∣
∣ ∣
∣ f (t) dt ∣ ≤ M · (b - a).
los
Ejemplo 5. Si f : [0 , 2 π ] → R 2 y g : [0∫,21]
π → R 2 están dadas por∫ 1f (t) =
( cos t, sen t) y g (t) = (t, t 2 ) entonces 00
f (t) dt = ( 0 , 0 ) e 00
g (t) dt = ( 1 / 2 , 1 / 3 ) .
⊲
Aplicando el teorema fundamental del cálculo a cada una de las coordenadas del
ruta de clase C 1 f : [ a, b ] → R n , obtenemos lo siguiente
Por lo tanto, otra prueba de la desigualdad del valor promedio (en el caso particular de
f ∈ C 1 ), porque si | f (t) | ≤ M para todo t ∈ [ a, b ] entonces
∣∫b ∣
∣ ∣
El | f (b) - f (a) | = ∣∣ ∣
f (t) dt ∣ ≤ M · (b - a).
los
Una aplicación simple de esta fórmula nos permite establecer el teorema fundamental
mental de cálculo como este: si f : [∫a,1 a + h ] → R n es una ruta de clase C 1
entonces f (a + h) - f (a) = h · 0 0 f (a + th) dt.
Solo considere ϕ : [0 , 1] → [ a, a + h ] donde ϕ (t) = a + th y observe que
ϕ (t) = h .
Se dice que una ruta f : I → R n es uniformemente diferenciable cuando, para
cada t ∈ I hay un vector f (t) ∈ R n con la siguiente propiedad:
Page 42
[Link] 44/158
31/7/2020 Análisis real
Dado cualquier ε> 0, se puede obtener δ> 0 de modo que 0 < | h | <δ
y t + h ∈ me implico | f (t + h) - f (t) - f (t) · h | <ε | h | para
todo t ∈ R .
4 caminos rectificables
Page 43
[Link] 45/158
31/7/2020 Análisis real
40 CAPÍTULO 2: CAMINOS EN R N
del intervalo [0 , 1], veremos que l (P n ) es la suma de las longitudes de los lados inclinados
de los n + 1 primeros triángulos isósceles que forman la gráfica de ϕ . pronto
l (P n ) es mayor que la suma de las alturas de estos triángulos, es decir,
1 1 1
l (P n )> + + ··· + .
2 3 n+1
Page 44
[Link] 46/158
31/7/2020 Análisis real
Figura 3.
porque
El | f (p j ) - f (p j −1 ) | = | f (p j ) - f (q) + f (q) - f (p j −1 ) |
≤ | f (p j ) - f (q) | + | f (q) - f (p j −1 ) | .
Demostración. Lim l (P) = A , está claro que A ≤ sup l (P) . Supongamos que
El | P | → 0
PAGS
absurdo, que sea A < sup l (P) . Luego hay una partición Q 0 tal que A <1 (Q 0 ) .
PAGS
Sea ε = l (Q 0 ) - A . Al definir el límite, podemos obtener δ> 0 de modo que
El | P | <δ ⇒ A - ε <l (P) <A + ε = l (Q 0 ) . Toma cualquier partición
P 0 tal que | P 0 | <δ . La partición P = P 0 ∪ Q 0 , por un lado cumple | P | <δ , entonces
l (P) <l (Q 0 ) y, por otro lado, refina Q 0 , entonces l (Q 0 ) ≤ l (P) . Esta contradiccion
prueba el teorema
[Link] 47/158
31/7/2020 Análisis real
Página 45
42 CAPÍTULO 2: CAMINOS EN R N
"Curso de análisis", vol. 2, p. 99.) Pero solo se utilizará el teorema anterior para
seguir.
lim (P) =
El | P | → 0 a | f (t) | dt . Y, según el Teorema 4, para todos los datos arbitrarios ε> 0
[Link] 48/158
31/7/2020 Análisis real
Página 46
−1 f (t)
g (s) = (ϕ ) (s) · f (t) = ,
El | f (t) |
−1
Por esta razón, g = f ◦ ϕ llamado reparametrización de f por longitud
desarrollo de arco.
∫b
Nota. La fórmula l (f) =
a | f (t) | dt es teóricamente importante pero en
en general, es impracticable intentar calcular esta integral, a menos que sea numéricamente o
así, en casos excepcionales especialmente elegidos, como f (t) = ( 1 - t) A + tb ,
f (t) = ( cos t, sen t) y otros.
[Link] 49/158
31/7/2020 Análisis real
Page 47
Capítulo 3
1 Derivados parciales
Si este límite existe. Como U está abierto, podemos encontrar δ> 0 tal que a + t e i ∈ U
para todo t ∈ ( - δ, δ) . Entonces el camino recto λ está bien definido : ( - δ, δ) →
∂f
U , λ (t) = a + t e i . La definición anterior dice que (a) = (f ◦ λ) ( 0 ) = derivada,
Ix i
en el punto t = 0, de la función real f ◦ λ : ( - δ, δ) → R.
Tenga en cuenta que ∂f / ∂x i significa la derivada de f en relación con su i-ésima
variable , cualquier nombre que se le asigne. Así
∂f = ∂f = ∂f , Etc.
Ix i Iy i Iz i
[Link] 50/158
31/7/2020 Análisis real
y f ( 0 , 0 ) = 0. Puesto que f ( 0 , y) = 0 para todos los Y y F (x, 0 ) = 0 para todo x, se deduce
∂f ∂f
qué (0,0)=0y ( 0 , 0 ) = 0. Sin embargo, la función f es discontinua en el origen
∂x ∂y
44
48
X y
f (x, y) = √ ·√ = cos θ · sin θ.
x2+y2 x2+y2
Por lo tanto, al asignar diferentes valores a θ , podemos hacer que f (x, y) tenga
límites diferentes cuando (x, y) tiende a ( 0 , 0 ) a lo largo del segmento x = t cos θ ,
y = t sen θ , es decir, cuando t → 0. ⊲
∂f f (a + t e i ) - f (a)
(a) = lim .
Ix i t→0 t
( )
[Link] 51/158
31/7/2020 Análisis real
∂f (a) = ∂f 1 (Los), . . . ,Nf n (Los) .
Ix i Ix i Ix i
En este capítulo, sin embargo, daremos prioridad a las funciones con valores numéricos.
Para ellos, el vector de gradiente tiene sentido, concepto de fuerte atractivo intuitivo, que
contribuye a comprender cómo crece (o disminuye ) f (x) .
Página 49
2 funciones de clase C 1
Sea f : U → R una función que tiene n derivadas parciales en todos los puntos
de abierto U ⊂ R n . N funciones se definen entonces
∂f ∂f ∂f ∂f
, ..., : U → R , donde :x↦→ (X).
1x 1 Nx n Ix i Ix i
Si estas funciones son continuas en U , diremos que f es una función de clase
C 1 y escribiremos f ∈ C 1 .
Se dice que una aplicación f : U → R n , definida en la U ⊂ R m abierta , es de clase C 1
cuando cada una de sus funciones-coordenadas f 1 , ..., f n : U → R es la clase C 1 .
Muchas propiedades importantes de las funciones de clase C 1 resultan de ser
son diferenciables en el siguiente sentido.
Se dice que una función f : U → R, definida en la U ⊂ R n abierta , es diferenciable en
apunte a ∈ U cuando se cumplan las siguientes condiciones:
∂f ∂f
1. Hay derivadas parciales (Los), . . . , (a) .
1x 1 Nx n
2. Por cada v = (α 1 , ..., α n ) tal que a + v ∈ U , tenemos
∑norte
∂f r (v)
f (a + v) - f (a) = · Α i + r (v), donde lim =0.
Ix i El | v | → 0El
|v|
i=1
Página 50
r (v) f (a + v) - f (a) df
tan lim = 0 ⇐⇒ lim = (a) .
v→0 El | v | v→0 v dx
∂f ∂f
r (v) = r (h, k) = f (a + h, b + k) - f (a, b) - ·H- · K,
∂x ∂y
∂f ∂f
- ·H- · K.
∂x ∂x
Por el teorema del valor medio para las funciones de una variable real, hay θ 1 , θ 2 ∈
( 0 , 1 ) tal que
∂f ∂f ∂f ∂f
r (v) = (a + θ 1 h, b + k) · h + (a, b + θ 2 k) · k - ·H- · K,
∂x ∂y ∂x ∂y
pronto
[ ]
r (v) ∂f ∂f H
= (a + θ 1 h, b + k) - (a, b) √
El | v | ∂x ∂x h2+k2
[ ]
∂f ∂f k
+ (a, b + θ 2 k) - (a, b) √ .
[Link] 53/158
31/7/2020 Análisis real
∂y ∂y h2+k2
Cuando v → 0 los términos dentro de los corchetes anteriores tienden a cero, para la continuidad
matiz de derivados ∂f / ∂x y ∂f / ∂y . Además, términos fuera de los corchetes
tener un valor absoluto ≤ 1. Por lo tanto, limr (v) / | v | = 0 y luego f es diferenciable.
v→0
51
+ ρ (t) · | f (a + t e i ) - f (a) |
[Link] 54/158
31/7/2020 Análisis real
g (f (a + t e i )) - g (f (a)) = ∑norte ∂g · f k (a + t e i ) - f k (a)
t Ky k t
k=1
∣ ∣
∣ ∣
f (a + t e i ) - f (a)
± ρ (t) ∣∣ ∣
∣.
t
pronto
∑norte
∂ (g ◦ f) = lim g (f (a + t e i )) - g (f (a)) = ∂g · Kf k
Ix i k→0 t Ky k Ix i
k=1
porque
∣ ∣ ∣ ∣
∣ ∣ ∣ ∣
∣ f (a + t e i ) - f (a) ∣ = ∣ ∂f ∣
lim ρ (t) = 0 y lim ∣ ∣ ∣ (Los)
∣.
t→ k→0 t Ix i
Page 52
∑norte
∂f ∂f
(f ◦ λ) ( 0 ) = 〈grad f (a), v〉 = (a) = (a) · α i .
∂v Ix i
i=1
dλ i
observando que, para λ (t) = (λ 1 (t), ..., λ n (t)) , tenemos α i = ( 0 ) . Nota todavía
dt
df
qué (a) = (f ◦ λ) ( 0 ) con λ (t) = a + tv , ya que λ ( 0 ) = v .
dv
Corolario 3 (Teorema del valor medio). Dado f : U → R diferenciable en
abra U ⊂ R n , si el segmento de línea [ a, a + v ] está contenido en U, entonces hay
θ ∈ ( 0 , 1 ) tal que
∂f
f (a + v) - f (a) = (a + θv) = 〈grad f (a + θv), v〉
∂v
∑norte
∂f
= (a + θv) · α i
Ix i
i=1
Page 53
donde v = (α 1 , ..., α n ).
[Link] 56/158
31/7/2020 Análisis real
En efecto, de acuerdo con el Teorema del valor promedio (Corolario 3), f es constante en todo
el segmento de línea todo ello encerrado en U . Ahora, dado que la U abierta está conectada, dos
cualquiera de sus puntos puede estar conectado por una ruta poligonal (yuxtaposición de
segmentos de línea) contenido en U .
−1
Dado f : U → R de la clase C 1 , el conjunto f (c) = { x ∈ U ; f (x) = c } es,
para cada c ∈ R, llamado conjunto de niveles c de la función f . Cuando U ⊂ R n
y n = 2 este conjunto se denomina generalmente el nivel de c curva o línea de
f , que se define por la ecuación f (x, y) = c . Del mismo modo, cuando n = 3,
−1
el conjunto n- (c) , definido por la ecuación f (x, y, z) = c generalmente se llama a
nivel c superficie de función f . Cabe señalar, sin embargo, que para ciertas funciones
especialmente elegido, estos conjuntos pueden ser bastante diferentes de lo que es
imagínelo como una curva o una superficie.
Mencionaremos a continuación algunas propiedades del gradiente. Justifican
La importancia de este vector, que proporciona información interesante sobre el comportamiento
función.
Para esto se solucionará la ∈ U y grad asumirá que f (a) = 0. Entonces:
Página 54
2) Entre todas las direcciones a lo largo de las cuales crece la función, la dirección de
el gradiente es el de más rápido crecimiento;
∂f
(a) = 〈grad f (a), w〉 = | grad f (a) | 2 > 0 .
∂w
[Link] 57/158
31/7/2020 Análisis real
grad f (a) entonces la función t ↦ → f (λ (t)) tiene una derivada positiva en el punto t = 0. Por lo tanto,
disminuyendo ε si es necesario, f ◦ λ : ( - ε, ε) → R será una función creciente. ES
esto significa " f crece en la dirección del gradiente".
Figura 1.
∂f ∂f
(a) ≤ (Los) .
∂v ∂ ( grad f (a))
∂f
(a) = 〈grad f (a), v〉 ≤ | grad f (a) | · | v |
∂v
∂f
= | grad f (a) | 2 = (Los) .
∂ ( grad f (a))
Página 55
[Link] 58/158
31/7/2020 Análisis real
Ahora veamos algunos ejemplos simples.
3 El teorema de Schwarz
∂f ∂f
Sea f : U → R una función que tiene derivadas parciales (X),. . . , (X)
1x 1 Nx n
en cada punto x de la U ⊂ R n abierta . La enésima derivada parcial de la función.
Page 56
[Link] 59/158
31/7/2020 Análisis real
Figura 2.
∂f
: U → R en el punto x ∈ U se indicará mediante
Ix i
( )
∂ 2f ∂ ∂f
(x) = (x), i, j = 1 , ..., n.
Jx j ∂x i Jx j Ix i
∂ 2f = ∂ 2f
,
Jx j ∂x i Ix i ∂x j
xy (x 2 - y 2 )
Ejemplo 3. Sea f : R 2 → R definido por f (x, y) = cuando x 2 +
x2+y2
57
[Link] 60/158
31/7/2020 Análisis real
∂f ( 0 , y) = lim f (x, y) = lim y (x 2 - y 2 ) = - y.
∂x x→0 X x→0 x2+y2
Por lo tanto
( )
∂ 2f ∂ ∂f = −1 .
(0,0)= ( 0 , y)
∂y∂x ∂y ∂x
∂ 2f ∂ 2f ∂ 2f
Un cálculo análogo muestra que ( 0 , 0 ) = 1. Logotipo (0,0)= (0,0).
∂x∂y ∂x∂y ∂y∂x
En cada punto x ∈ U donde existen derivadas parciales de segundo orden
∂ 2f
de la función f : U → R, los números h ij (x) = (x) formar una matriz
[ ] Ix i ∂x j
h (x) = h ij (x) , llamada matriz hessiana de la función f . El teorema de Schwarz
establece que si f es clase C 2, entonces la matriz hessiana de f es simétrica.
La prueba del teorema de Schwarz se basa en un resultado atribuido a
Leibniz, según el cual se permite derivar bajo el signo integral, siempre que el
El resultado de la derivación es una función continua. A su vez, la demostración de
El teorema de Leibniz usa el siguiente lema, que podría estar en el Capítulo 1 pero es
colocado aquí para dejar en claro cómo cada propuesta depende de la anterior. ⊲
58
[Link] 61/158
31/7/2020 Análisis real
Demostración. Por el teorema del valor promedio para funciones de una variable, si x
y x + si i pertenezco a U entonces hay theta ∈ ( 0 , 1 ) de tal manera que
∫b
ϕ (x + si i ) - ϕ (x) - ∂f
(x, t) dt
s los Ix i
∫b [ ]
f (x + si i , t) - f (x, t) ∂f
= - (x, t) dt
los s Ix i
∫b [ ]
∂f ∂f
= (x + θse i , t) - (x, t) dt.
los Ix i Ix i
Por el Lema, dado ε> 0 arbitrariamente, podemos encontrar δ> 0 tal que
∣ ∣
∣ ∣
El | s | <δ ⇒ ∣∣ ∂f ∂f ∣ ε
(x + θse i , t) - (x, t) ∣ < ,
Ix i Ix i b-a
∂ 2f ∂ 2f
Teorema 4 (Schwarz). Si f : U → R es clase C 2, entonces = .
Ix i ∂x j Jx j ∂x i
∂ 2f ∂ 2f
(x, y) = (x, y) □
∂y∂x ∂x∂y
Page 59
[Link] 62/158
31/7/2020 Análisis real
Más generalmente, para cada número entero k ≥ 1, podemos considerar las derivadas
orden parcial de k de una función f : U → R, definida en la U ⊂ R n abierta . Por
ejemplo, para
( )
∂ 3f ∂ ∂ 2f
1 ≤ i, j, k ≤ n, (a) significa (Los) .
Ix i ∂x j ∂x k Ix i Jx j ∂x k
Como cualquier permutación de los índices i 1 , ..., i k se puede obtener por medio de repetidos
inversiones de índices adyacentes, se sigue del teorema de Schwarz que la derivada
de orden k
∂kf
(Los)
Ix i 1 ∂x i 2 ... ix i k
no depende del orden en que se realizan las derivaciones, siempre que todas las derivadas
de orden k de f existen y son continuas.
Una función f : U → R que tiene, en cada punto de U , todas las derivadas
orden parcial k , que son funciones continuas de U , llamadas funciones
clase C k . Luego escribe f ∈ C k . Cuando f ∈ C k para todo k = 1 , 2 , 3 , ... ,
∞
se dice que f es una función de clase C .
4 fórmula de Taylor
∑norte ∑norte ∂r
(θv)
∂r r (v) Ix i αi
r (v) = (θv) · α i , logo ·
Ix i El | v | 2 = El | v | El | v. |
i=1 i=1
60
[Link] 63/158
31/7/2020 Análisis real
Como cada derivada parcial ∂r / ∂x i se cancela, junto con todas sus derivadas
Vadas ∂ 2 r / ∂x j ∂x i en el punto 0, se deduce de nuestra observación inicial que
[ ]
∂r
lim (θv) / | v | = 0 por cada i = 1 , ..., n.
v→0 Ix i
r (v)
derivados que se calculan en el punto a. Así que lim
v→0 El | v | 2 = 0 .
∑norte ∑norte
∂f 1 ∂ 2f
r (v) = f (a + v) - f (a) - ·Αi- ·Αiαj
Ix i 2 Ix i ∂x j
i=1 i ij = 1
∑norte
∂r ∂f ∂f ∂ 2f
(v) = (a + v) - (a) - (a) · α i .
Jx j Jx j Jx j Ix i ∂x j
i=1
∂ 2r ∂ 2f ∂ 2f
(v) = (a + v) - (Los) .
Ix i ∂x j Ix i ∂x j Ix i ∂x j
[Link] 64/158
31/7/2020 Análisis real
Página 61
∂r ∂ 2f
En consecuencia, r ( 0 ) = 0, (0)=0y ( 0 ) = 0 para cualquier
Ix i Ix i ∂x j
i, j = 1 , ..., n .
r (v)
Nota. Si ponemos ρ (v) = cuando v = 0 y ρ ( 0 ) = 0, la fórmula para
El | v | 2
Taylor escribe así:
∑norte ∑norte
∂f 1 ∂ 2f · Α i α j + ρ (v) · | v | 2 ,
f (a + v) - f (a) = αi+
Ix i 2 Ix i ∂x j
i=1 i, j = 1
5 puntos críticos
∑norte
H·v2= h ij α i α j cuando v = (α 1 , ..., α n ).
i, j = 1
Si t ∈ R entonces H · (tv) 2 = t 2 · H · v 2 .
La forma cuadrática H se llama no negativa cuando H · v 2 ≥ 0 para todos
v ∈ R 2 , positivo cuando H · v 2 > 0 para todos v = 0 en R n e indefinido cuando
hay v, w ∈ R n tal que H · v 2 > 0 y H · w 2 < 0. De forma similar, se definen
forma cuadrática negativa y no positiva . Cuando H es positivo o negativo, se dice
Que está definido .
[Link] 65/158
31/7/2020 Análisis real
Page 62
∑norte
∂ 2f
H (v) · v 2 = (x) · α i α j .
Ix i ∂x j
i, j = 1
[Link] 66/158
31/7/2020 Análisis real
en el conjunto compacto S n −1 . En otras palabras, hay c> 0 tal que H · u 2 ≥ 2 c
Page 63
1
f (a + v) - f (a) = H · v 2 + ρ (v) | v | 2 con lim ρ (v) = 0 .
2 v→0
Se sigue, como arriba, que por cada t lo suficientemente pequeño, f (a + tv) - f (a)
tiene el mismo signo que H · v 2 . Entonces, si H no está definido, con H · v 2 > 0 y
H · w 2 < 0 en cualquier bola central para existir apunta a + tv y a + tw tal
que f (a + tv)> f (a) y f (a + tw) <f (a) . Entonces f no tiene máximo ni
mínimo local del punto a .
De hecho, si fuera H · v 2
0 < 0 para algunos v 0 ∈ R n , tendríamos f (a + tv 0 ) <f (a)
para todo t lo suficientemente pequeño, y luego a no sería un punto mínimo local.
Mismo argumento para el máximo local. re
(resp. máximo) lugar estricto , es decir, una pequeña bola central para no
otros puntos x con f (x) = f (a) . Por ejemplo, el origen es un punto mínimo
función estricta f (x, y) = x 2 + y 2 pero todos los puntos (x, 0 ) del eje de abscisas
son puntos mínimos no estrictos de la función g (x, y) = y 2 . (El dominio de ambos
Página 64
Ejemplo 7. Uno podría preguntarse si el recíproco del corolario anterior es válido. La respuesta
es negativo La función f : R 2 → R, dada por f (x, y) = x 2 + y 3 tiene el origen de
R 2 como punto crítico, en el cual la forma de Hesse es H · v 2 = 2 α 2 , para v = (α, β) .
La forma H no es negativa pero el origen no es un punto mínimo
Sitio f . ⊲
[Link] 68/158
31/7/2020 Análisis real
K (x, y) = x+ 3y - 9 y 2 + y 2,
2 44
o sea,
( )2 √
3 55 3 55
K (x, y) = x+ y - y2=s2-t2 con s = x + yyt= y.
2 44 2 2
Página 65
9 9 9 3
=s2- y2- z2- yz, con s = x + (y + z).
44 44 2 2
pronto
9 9 9
H (x, y, z) = s 2 + y 2 + z 2 - y2- z2- yz + 4 yz
44 44 2
55 55 1
=s2- y2- z2- yz.
44 44 2
55 1 1
=- t2+ z2 con t = y + z.
44 20 55
Por lo tanto:
55 1 55 55 66
H (x, y, z) = s 2 - t2+ z2- z2=s2- t2- z 2.
44 20 44 44 55
H (x, y, 0 ) = s 2 - 5 t52 = x+ 3y - 5 y5 2 .
44 2 44
6 funciones convexas
Página 66
∑
k +1 ∑k
αivi= α i v 1 + α k +1 v k +1 .
i=1 i=1
[Link] 70/158
31/7/2020 Análisis real
α i , tenemos α k +1 = 1 - α y α = 0. Por la hipótesis de inducción, teniendo en cuenta
i=1
k∑ αi k∑ αi
qué = 1, vemos que v = v i pertenece a C . pronto
i=1 α i=1 α
∑k
α i v i = αv + ( 1 - α) v k +1 ∈ C, ya que C es convexo .
i=1
Page 67
(k )
∑
αi
≤α·f vi + ( 1 - α) f (v k +1 )
i=1
α
∑k ∑
k +1
αi
≤α· f (v i ) + ( 1 - α) f (v k +1 ) = α i f (v i ). □
α
i=1 i=1
≤ ( 1 - α) f (a + sv) + αf (a + tv)
= ( 1 - α) ϕ (s) + αϕ (t)
[Link] 71/158
31/7/2020 Análisis real
por lo tanto ϕ es convexo.
Por el contrario, si todas las funciones ϕ , definidas como arriba, son convexas
entonces, dados x, y ∈ C y α ∈ [0 , 1], ponemos ϕ (t) = f (x + t (y - x)) y tenemos:
( ) ( ) ( )
F ( 1 - α) x + αy =f x + α (y - x) = ϕ (α) = ϕ ( 1 - α) · 0 + α · 1
≤ ( 1 - α) · ϕ ( 0 ) + α · ϕ ( 1 ) = ( 1 - α) · f (x) + α · f (y),
Página 68
Por lo tanto, se concluye, como en el Vol. 1, que cada función convexa definida en un subconjunto
abrir juntos de R es continuo. Este resultado sigue siendo válido en R n con n> 1 (ver
Apéndice de este capítulo), pero no se deduce de la existencia del derivado de Gâteaux,
porque una función en R n puede ser continua a lo largo de cada línea que pasa a través de un
señalar a sin ser necesariamente continuo en ese punto.
[Link] 72/158
31/7/2020 Análisis real
Demostración. (a) Sea E (f) convexo. Para mostrar que f es convexo, tomamos
x,
( x ∈ U y α ∈ [0 , 1]. Entonces (x, f (x)) y (x, f (x)) pertenecen
) a E (f) , entonces
( 1 - α) x + αx, ( 1 - α) · f (x)[ + α · f (x) ∈ E (f) . Esto significa que ( 1− α) ·
]
f (x) + α · f (x) ≥ f ( 1 - α) x + αx , entonces f es convexo. Por el contrario,
suponiendo que f es convexo, sea z = (x, y), x (x, y) puntos en E (f) y α ∈ [0 , 1].
Entonces,
( y ≥ f (x) y y )≥ f (x) y luego ( 1− α) y + αy ≥ ( 1− α) · f (x) + α · f (x) ≥
F ( 1 - α) x + αx (, la última desigualdad debido a la convexidad
) de f . pronto
( 1 - α) z + αz = ( 1 - α) x + αx, ( 1 - α) y + αy pertenece a E (f) , es decir,
Y (f) es un conjunto convexo.
(b) Suponga que f : U → R convexo, clase C 1 . Por el teorema 8, si a y
a + v pertenecen a U, por lo que la función ϕ : [0 , 1] → R, definida por ϕ (t) = f (a + tv) ,
Es convexo. Por lo tanto (ver Teorema 4, p. 106, vol. 1) tenemos ϕ ( 1 ) ≥ ϕ ( 0 ) + ϕ ( 0 ) .
Pero ϕ ( 1 ) = f (a + v), ϕ ( 0 ) = f (a) y ϕ ( 0 ) = 〈grad f (a), v〉. Logotipo f (a + v) ≥
f (a) + 〈grad f (a), v〉. Por el contrario, supongamos que esta igualdad vale
para cualquier a, + v ∈ T . Entonces, poniendo ϕ (t) = f (a + tv) , tenemos un
función ϕ : [0 , 1] → R tal que ϕ (t) = 〈grad f (a + tv), v〉 para todo t ∈ [0 , 1].
Ahora, según la hipótesis admitida sobre f , para cualquier t, t 0 ∈ [0 , 1] , f (a + tv) =
f (a + t 0 v + (t - t 0 ) v) = f (a + t 0 v + sv) , con s = t - t 0 , entonces
Página 69
∑norte ∑norte
∂f ∂ 2f
ϕ (t) = (x) α i y ϕ (t) = (x) α i α j = H (x) · v 2 .
Ix i Ix i ∂x j
i=1 i, j = 1
Por lo tanto, tenemos las siguientes equivalencias: H (x) no es negativo para todas las x ∈
U ⇐⇒ ϕ (t) ≥ 0 para cualquier x, x + v ∈ U y t ∈ [0 , 1] ⇐⇒ todas las funciones
ϕ de tipo ϕ (t) = f (x + tv) son convexos ⇐⇒ f : U → R es convexo.
[Link] 73/158
31/7/2020 Análisis real
n∏
Lema 3. Cada punto en un bloque rectangular B = [ a i , b i ] es una combinación
i=1
convexo de los vértices de este bloque.
Demostración: (Por inducción). Esto es obvio para n = 1. Sea n> 1. Los vértices
n∏
del bloque B son los 2 n elementos del conjunto { a i , b i }, que denotaremos
i=1
por v j o v j dependiendo de la última coordenada de la forma a k o b k . Un punto
el bloque arbitrario B se puede escribir como p = (x, y) , donde y ∈ [ a n , b n ] yx
n∏
pertenece al bloque B = [ a i , b i ], de dimensión n - 1. Por la hipótesis de inducción,
∑ i=1
x= α j u j es combinación convexa de los vértices u j ∈ B . Los vértices de B
son v j ∑
= (u j , a n ) y v j = ∑
(u j , b n ) . Poniendo∑ p 0 = (x, a n ) y p 1 = (x, b n ) , tenemos
p0= αjvjyp1= α j v j (ya que α j = 1). Además, y = ( 1− t) a n + tb n ,
con
y-an
t= ,
bn-an
Page 70
pronto ∑ ∑
p = ( 1 - t) p 0 + tp 1 = ( 1 - t) α j v j + tα j v j ,
que expresa el punto arbitrario p del bloque B como una combinación convexa de
vértice B .
n∏
Demostración. Deje A = (a i , b i ) el interior de un bloque rectangular contenido en
i=1
T . Si indicamos
∑ con w j , j = 1 , ..., 2 n , los vértices de A tendrán,∑para cada x ∈
[Link] 74/158
31/7/2020 Análisis real
A,x= {αfj (w
w jj entonces,
) }. por la convexidad de f, f (x) ≤ α j · f (w j ) ≤ M , donde
M = max
j
Demostración del teorema 10. Para simplificar la escritura, con el fin de demostrar la con-
continuidad de f en el punto arbitrario a ∈ U , podemos suponer que a = 0 y que
f ( 0 ) = 0, ya que el conjunto U 0 = { x ∈ R n ; a - x ∈ U } está abierto, contiene 0 y a
la función g : U 0 → R, definida por g (x) = f (a - x) - f (a) , cumple g ( 0 ) = 0, es
convexo y es continuo en el punto 0 si, y solo si, f es continuo en el punto a . Pelaje
Lema 4, hay c> 0 y M> 0 de modo que | x | ≤ c ⇒ f (x) ≤ M . Deje ε> 0 dado .
Sin pérdida de generalidad, podemos suponer que ε <M . La convexidad de f en
digamos que
( ) (( ) )
ε ε ε ε
F X = f 1- 0 + X ≤ · F (x)
METRO METRO METRO METRO
pronto
) (
ε METRO
f (x) ≤ ·F X .
METRO ε
εc
Tomando δ = , vemos eso
METRO
∣ ∣ ( )
∣ ∣
εc METRO METRO
El | x | < ⇒ ∣ X ∣∣ <c ⇒ f
∣
X ≤ M ⇒ f (x) ≤ ε.
METRO ε ε
Además,
( ( ))
METRO ε METRO
0=f(0)=f x+ - X
M+ε M+ε ε
( )
METRO ε METRO
≤ f (x) + ·F - X .
M+ε M+ε ε
Page 71
ε ε
f (x) ≥ · ( - f ( - Mx / ε)) ≥ · ( - M) = - ε.
METRO METRO
[Link] 75/158
31/7/2020 Análisis real
Page 72
[Link] 76/158
31/7/2020 Análisis real
Capítulo 4
Funciones implícitas
∂f
1) B × ¯ J ⊂ U e (x, y) = 0 para todos (x, y) ∈ B × ¯ J;
∂y
- ∂f (x, ξ (x))
∂ξ Ix i
(x) = ∂f
.
Ix i ∂y
(x, ξ (x))
∂f
Demostración. Para arreglar las ideas, admitiremos que (x 0 , y 0 )> 0. Por el
∂y
La tinuidad de ∂f / ∂y , hay δ> 0 y ε> 0 de modo que, poniendo B = B (x 0 , δ) ⊂ R n
∂f
y J = (y 0 - ε, y 0 + ε) ⊂ R, tenemos B × ¯ J ⊂ U y (x, y)> 0 para todos
∂y
69
Page 73
[Link] 77/158
31/7/2020 Análisis real
(x, y) ∈ B × ¯ J . Entonces, para todo x ∈ B , la función y ↦ → f (x, y) está aumentando en
intervalo [ y 0 - ε, y 0 + ε ] ¯ = J . Como f (x 0 , y 0 ) = c , se deduce que f (x 0 , y 0 - ε) <c
y f (x 0 , y 0 + ε)> c . Siendo f continuo, podemos suponer que δ es tan pequeño que
f (x, y 0 - ε) <c y f (x, y 0 + ε)> c para todo x ∈ B . Por el teorema del valor
Intermedio, para cada x ∈ B , hay un solo y = ξ (x) ∈ ¯ J tal que f (x, y) = c .
Tiene necesariamente y ∈ J . Demostremos que la función ξ : B → J tiene
derivadas parciales en cada punto x ∈ B .
Figura 1.
pronto
∂f
ξ (x + t e i ) - ξ (x) k Ix i
(x + θte i , ξ (x) + θk)
= =- .
∂f
t t ∂y
(x + θte i , ξ (x) + θk)
∂f
∂ξ ξ (x + t e i ) - ξ (x) Ix i
(x, ξ (x))
(x) = lim =- , ( 1 ≤ i ≤ n).
∂f
Ix i t→0 t (x, ξ (x))
∂y
Page 74
[Link] 78/158
31/7/2020 Análisis real
Demostración de ξ continuidad
Según el Teorema 19 del Capítulo 1 (ver la observación que sigue), es suficiente para mostrar que,
−1
para todo el conjunto cerrado F ⊂ ¯ J , la imagen inversa ξ (F) está cerrado en B .
Es decir: si la secuencia de puntos x k ∈ B es tal que ξ (x k ) ∈ F para todos los k ∈ N e
lim x k = ¯ x ∈ B entonces ξ ( ¯ x) ∈ F . Ahora, F es compacto, por lo tanto, una subcadena de
puntos x k ∈ B es tal que lim ξ (x k ) = un ∈ F . Entonces f ( ¯ x, a) = lim f (x k , ξ (x k )) = c .
Pero f ( ¯ x, ξ ( ¯ x)) = c . Por la singularidad de ξ (x) , se deduce que ξ ( ¯ x) = a ∈ F . re
Página 75
[Link] 79/158
31/7/2020 Análisis real
−1 −1
veremos que f (c) ∩ V √1 y f (c) ∩ V 2 son gráficos
√ de las funciones ξ 1 , ξ 2 : ( −1 , 1 ) →
−1
R, dado por ξ 1 (x) = 1 - x 2 , ξ 2 (x) = - 1 - x 2 , mientras que f (c) √∩ V 3 y
−1
F (c) ∩ V 4 son√ las gráficas de ξ 3 , ξ 4 : ( −1 , 1 ) → R, dado por ξ 3 (y) = 1-y2
e ξ 4 (y) = - 1 - y 2 . Así, en V 1 y V 2 la ecuación x 2 + y 2 = c (con c> 0 ) define
implícitamente y como una función de x mientras que en V 3 y V 4√define x como √una función de
y . Por supuesto, excepto en la vecindad de los 4 puntos ( ± c, 0 ), ( 0 , ± c) , hay
La opción de tomar y como una función de x o x como una función de y . ⊲
2 hiper superficies
[Link] 80/158
31/7/2020 Análisis real
Page 76
SECCIÓN 2: HIPERFILOS 73
[Link] 81/158
31/7/2020 Análisis real
Page 77
Figura 2.
[Link] 82/158
31/7/2020 Análisis real
78 de 1189.
SECCIÓN 2: HIPERFILOS 75
∑norte ∑norte
〈X , I〉 = x ij δ ij = x ii = rastro de x .
i, j = 1 i=1
Nota. El teorema 3 es una buena fuente de ejemplos de hiper superficies. Pero tampoco
−1
todo hiper superficie M ⊂ R n +1 se puede obtener como una imagen inversa M = f (C)
del valor regular c de una función f : U → R. De hecho, las hiper superficies de ese
tipo admite un campo continuo de vectores no nulos v = grad f : M → R n +1 ,
tal que para todo x ∈ M <v (x), w > = 0 lo que w ∈ T x M . (Se dice
de modo que v = grad f es un campo de vectores normales a M. ) Tales hiper superficies son
Llamadas orientables . Un ejemplo bien conocido de superficie no orientable.
[Link] 83/158
31/7/2020 Análisis real
es la banda de Moebius. Por lo tanto, la banda de Moebius no es una imagen inversa de un valor.
función regular de una función de clase C 1 definida en un abierto de R 3 .
Página 79
3 Multiplicador de Lagrange
1) ϕ (x) = c ;
80
Figura 3.
o sea:
[Link] 85/158
31/7/2020 Análisis real
2 λx = a, 2 λy = b, x 2 + y 2 = 1 .
Por lo tanto (x, y) es un punto crítico de f | M si, y solo si, el vector unitario
z = (x, y) es un múltiplo del vector v = (a, b) . Esto nos da
( ) ( )
los si - el -b
(x, y) = √ , √ o (x, y) = √ , √ .
a2+b2 a2+b2 a2+b2 a2+b2
Estos son los puntos en los que f (x, y) asume sus valores máximo y mínimo
en M = S 1 . ⊲
Página 81
Por lo tanto, los puntos críticos de la restricción f | Y n −1son las soluciones x del sistema Ax =
2 λx,〈x, x〉 = 1, es decir, son los vectores propios del operador A que tienen longitud
1. Como S n −1 es compacto, f admite al menos 2 puntos críticos en S n −1 , una
a saber, los puntos en los que asume sus valores mínimos y máximos. Esto proporciona un
prueba de que cada operador autoadjunto en R n tiene vectores propios, que es el paso
fundamental para la demostración del teorema espectral. ⊲
√ x 1 + x 2 + ··· + x n
x 1 · x 2 ... x n ≤
norte
,
norte
Page 82
dice que la media geométrica de los números positivos es menor o igual que la media
aritmética. Además, coinciden solo cuando los números dados son
es igual ⊲
Figura 4.
[Link] 87/158
31/7/2020 Análisis real
Page 83
[Link] 88/158
31/7/2020 Análisis real
84
Capítulo 5
Aplicaciones diferenciables
[Link] 89/158
31/7/2020 Análisis real
es diferenciable en este punto.
Si este es el caso, entonces para todos v = (α 1 , ..., α m ) tal que a + v ∈ U y para
cada i = 1 , ..., m , tenemos
∑metro
Si yo r i (v) = 0 .
f i (a + v) - f i (a) = (a) · α j + r i (v) con lim
Jx j v→0 El | v |
j=1
[ ]
Si yo
La matriz Jf (a) = (Los) ∈ M (n × m) se llama matriz jacobiana
Jx j
de f en el punto a .
La transformación lineal f (a) : R m → R n , cuya matriz en relación con las bases
canónicos de R my R n es Jf (a) , la derivada de la aplicación f se llama en el punto a .
Según la definición matricial de una transformación lineal, para todos
v = (α 1 , ..., α m ) ∈ R m tenemos
∑metro
Si yo Si yo
f (a) · v = (β 1 , ..., β n ) donde β i = (a) · α j = (Los) .
Jx j ∂v
j=1
81
Page 85
Resulta de la regla de la cadena para funciones (Teorema 2 del Capítulo 3), de acuerdo con
con la observación hecha poco después de su demostración, que aunque la definición
∂f ∂f
en (a) se ha dado anteriormente como (a) = (f ◦ λ) ( 0 ) , donde λ (t) = a + tv ,
∂v ∂v
∂f
en general, la igualdad vale (a) = (f ◦ λ) ( 0 ) para cualquier ruta
∂v
λ diferenciable : ( - δ, δ) → U , con λ ( 0 ) = a y λ ( 0 ) = v .
Las n igualidades numéricas que expresan la diferenciabilidad de las funciones
Las coordenadas f i se resumen en la igualdad a continuación, entre los vectores de R n :
r (v) = 0 .
f (a + v) - f (a) = f (a) · v + r (v), con lim El | v |
v→0
[Link] 90/158
31/7/2020 Análisis real
r (v) = 0 ,
f (a + v) - f (a) = T · v + r (v), con lim
v→0 El | v |
entonces T = f (a) .
En efecto, se deduce que, tomando tv en lugar de v , que:
pronto
[ f (a + tv) - f (a) ] ∂f
T · v = lim = (a) = f (a) · v.
t→0 t ∂v
Cuando f : U → R n es diferenciable en todos los puntos de U , decimos que f es
U diferenciable . En este caso, se define una aplicación f : U → L ( R m ; R n )
que corresponde a cada x ∈ U la transformación lineal f (x) : R m → R n .
Cuando sea conveniente, identificaremos el conjunto L ( R m ; R n ) de las transformaciones
combinaciones lineales de R m en R n con el conjunto M (n × m) de las matrices n × m o con
el espacio R nm .
Digamos que la aplicación derivada f : U → L ( R m ; R n ) , (es decir, f : U → R nm )
El estado continuo es equivalente a la continuidad de cada una de sus funciones nm .
coordinar ∂f i / ∂x j : U → R, es decir, decir que f es una aplicación de clase
86
[Link] 91/158
31/7/2020 Análisis real
la
Siaplicación
yo
f es diferenciable consiste en calcular directamente las derivadas parciales
(x) , demuestre que dependen continuamente de xy usan el Teorema 1 del
Jx j
Capítulo 3, según el cual cada función de clase C 1 es diferenciable. Virtualmente
Todas las aplicaciones diferenciables son de clase C 1 . Sin embargo, sucede que
Las propiedades más relevantes de las aplicaciones C 1 resultan de la relación que caracteriza
Su diferenciabilidad. De ahí la importancia de este concepto.
2 ejemplos de derivados
∂f ∂f ∂f
f (a) · v = (a) · α 1 + ··· + (a) · α m = (a) = 〈grad f (a), v〉.
1x 1 Mx m ∂v
Page 87
∑metro ∑metro
[Link] 92/158
31/7/2020 Análisis real
df (a) · v = ∂f (a) · α i = ∂f (a) · dx i · v.
i=1
Ix i i=1
Ix i
∑metro
∂f
df = dx i .
Ix i
i=1
Esto muestra que B es continuo, por lo que asume su valor máximo | B | en compacto
S m −1 × S n −1 . Se deduce que, para cualquier no distinto de cero x ∈ R my e y ∈ R n ,
valle | B (x, y) | = | B (x / | x | , y / | y | ) | · | x | · | y | ≤ | B | · | x | · | y |. Para x = 0 o
y = 0, desigualdad | B (x, y) | ≤ | B | · | x | · | y | es inmediato porque B ( 0 , y) =
B (x, 0 ) = 0. Ahora demostremos que cada aplicación bilineal B es diferenciable, con
Page 88
Page 89
[Link] 94/158
31/7/2020 Análisis real
De ello se deduce que la función compleja f es derivable en U si, y solo si, son válidos
relaciones ∂u / ∂x = ∂V / ∂y y ∂u / ∂y = - ∂V / ∂x en cada punto z = x + yi ∈ U .
Estas igualdades se conocen como las ecuaciones de Cauchy-Riemann . ⊲
∂u + i ∂v = ∂v - yo ∂u
f (z) = .
∂x ∂x ∂y ∂y
Ejemplo 7. Si f, g : U → R n son diferenciables en el punto a ∈ U ⊂ R m entonces
la aplicación (f, g) : U → R n × R n , definida por (f, g) (x) = (f (x), g (x)) , es
diferenciable en el punto de una y su derivado es (f, g) (a) · v = (f (a) · v, g (a) · v) . Si
f, g ∈ C k entonces (f, g) también es clase C k . ⊲
Entonces
Dónde
∣ ∣
∣ ∣
∣ v + ρ (v) ∣
C (v) = g (b) · ρ (v) + σ (w) · ∣ f (a) · ∣.
El | v |
v
Si v → 0, entonces w → 0 yf (a) · está limitado. Así que lim C (v) = 0, demostrando
El | v | v→0
El teorema.
Page 90
[Link] 95/158
31/7/2020 Análisis real
(g ◦ f) = (g ◦ f) · f : U → L ( R m ; R p ),
∑norte
Ig i Ig i Ky k
= · .
Jx j k=1
Ky k Jx j
Page 91
[Link] 96/158
31/7/2020 Análisis real
∗◦ f) = α ∗◦ f = α · f.
(f + g) = S ◦ (f, g) = f + g y (α · f) = (α
En cuanto al ítem 3), solo use la Regla de la Cadena y los Ejemplos 5, 7. Entonces, como
B (f, g) = B ◦ (f, g) , tenemos, para cada v ∈ R m :
[Link] 97/158
31/7/2020 Análisis real
Página 92
( x + v ) −1 - x −1 = -x vx −1 + r ( v )
−1
r ( v ) = ( x −1 · v ) 2 ( x + v )
−1
,
De dónde
El | r ( v ) |
| 2| v | 2| ( x + v )
El | r ( v ) | ≤−1| X −1 | , ≤ | X −1 | 2 | ( x + v ) −1 | El | v |
El | v |
−1
¿Y qué? r ( v ) / | v | = 0. (El uso de ( x + v ) se justifica por el hecho de que, siendo U
v→0
abierto, x ∈ U ⇒ x + v ∈ U para todo v lo suficientemente pequeño). ⊲
[Link] 98/158
31/7/2020 Análisis real
Page 93
cualquiera que sea x ∈ K . Para establecer este resultado, una vez dado ε> 0,
inicialmente debemos encontrar δ> 0 con la siguiente propiedad: para todos
x ∈ K y todos v ∈ R n con | v | ≤ delta que tenemos x + v ∈ T e | f (x + v) - f (x) | <ε .
Ahora, según el Corolario 2 del Teorema 11, Capítulo 1, hay δ> 0 tal que cada bola de
un punto central x ∈ K y X 2 δ está contenida en U . Ser
⋃
L= B [ x ; δ ] = { y ∈ R n ; d (y, K) ≤ δ } .
x∈K
pronto
∣∫ 1 ∣
∣ [ ] ∣
El | f (x + v) - f (x) - f (x) · v | = ∣ · V · dt ∣∣
∣ f (x + tv) - f (x)
00
[Link] 99/158
31/7/2020 Análisis real
≤ | f (x + tv) - f (x) | El | v | ≤ ε · | v | .
Page 94
[Link] 100/158
31/7/2020 Análisis real
Page 95
Capítulo 6
[Link] 101/158
31/7/2020 Análisis real
isomorfismo cuya inversa es g (f (x)) : R n → R m . En particular, m = n , o
es decir, dos abiertos en espacios euclidianos de diferentes dimensiones no pueden ser
diffeomorfos
92
Page 96
diferenciables, los dos son difeomorfismos, uno inverso del otro. Se debería notar,
sin embargo, que no todo homeomorfismo diferenciable es un diffeomorfismo, es decir
sí, tiene un inverso diferenciable. El ejemplo más simple de esto es f : R → R, con √
f (x) = x 3 . Como f ( 0 ) = 0, la función inversa de f (que es g (x) = 3 x ) no es
diferenciable en el punto 0 = f ( 0 ) .
Una aplicación diferenciable f : U → R m , definida en la U ⊂ R m abierta , llamada
si un difeomorfismo local cuando, para cada x ∈ U hay una bola abierta
B = B (x ; δ) ⊂ U tal que f aplica B difeomórficamente sobre una V abierta
que contiene f (x) . Se deduce que si f : U → R m es un difeomorfismo local, entonces
f (x) : R m → R m es un isomorfismo para todos x ∈ U . El teorema de la aplicación
Inversa, que demostraremos a continuación, dice que cuando f ∈ C 1 vale lo recíproco: si
f (x) es un isomorfismo para todas las x ∈ U, entonces f es un difeomorfismo local.
De la definición anterior se deduce que un diffeomorfismo local f : U → R m es un
aplicación abierta , es decir, la imagen f (A) de cualquier A ⊂ U abierta es un subcon-
articulación abierta de R m . De hecho, si tomamos para cada x ∈ A una bola abierta
B x ⊂ A , con centro x , de⋃ modo que f es un difeomorfismo de B x sobre un abierto
V x ⊂ R m , entonces A = B x y f (A) = f ( ∪ B x ) = ∪ f (B x ) = ∪ V x es una reunión
x∈A
abierto, entonces está abierto.
Observemos también que el diffeomorfismo local f : U → R m es un diffeomorfismo
(global) de U sobre el abierto V = f (U) ⊂ R m si, y solo si, es un
aplicación inyectiva ⊲
Page 97
98
r (v) = 0 y
w = f (x + v) - f (x) = f (x) · v + r (v) donde lim El | v |
v→0
−1 · w + s (w)
g (y + w) - g (y) = f (x) (∗)
s (w)
y muestra que lim = 0. Introducir igualdad ( ∗ ) con las expresiones de
w → 0 El | w |
v y w obtenidos arriba, viene:
−1
[ ]
v = f (x) f (x) · v + r (v) + s (w),
o sea:
[Link] 104/158
31/7/2020 Análisis real
−1 · r (v) + s (w),
v = v + f (x)
De dónde
s (w) r (v) El | v |
−1 · r (v), logotipo = - f (x) −1 · ·
s (w) = - f (x) El | w | El | v | El | w, |
esto es:
r (v)
Cuando w → 0, tenemos v → 0 para la continuidad de g , entonces → 0. Además
El | v |
además, según el Teorema 2, hay δ> 0 yc> 0 de tal manera que | v | <δ implica
El | v |
El | f (x + v) - f (x) | ≥ c | v | , por lo tanto, ≤ 1 .
El | f (x + v) - f (x) | C
s (w) = 0.
Entonces, lim
w→0 El | w |
Page 99
Página 100
para mostrar que cada matriz cercana a la identidad I n tiene una raíz cuadrada. Con
efecto, considere la aplicación f : M (n × n) → M (n × n), f ( x ) = x 2 , de
∞
clase C . Su derivada en un punto x ∈ M ( n × n ) es la transformación lineal
f ( x ) : R n 2 → R n 2 , dado por f ( x ) · m = x · m + m · x . En particular, para
x = I n , tenemos f ( I n ) · m = 2m , luego f ( I n ) : R n 2 → R n 2 Es un isomorfismo.
Del teorema 4 se deduce que hay una U abierta en M (n × n) , que contiene la matriz
identidad, restringida a que f es un difeomorfismo sobre el abierto V = f (U)√.
Por lo tanto, para cada matriz y ∈ V , hay una única matriz x = √ y ∈ U tal que
−1 : V → U , y ↦ → ∞
⊲
x 2 = y . Además, la aplicación f y , es clase C .
es invertible, por lo que hay una V abierta, con ∈ V ⊂ U, en la que no hay otra
puntos críticos de f.
Page 101
[Link] 107/158
31/7/2020 Análisis real
[ Si yo ]
(PAGS)(i, j = 1 , ..., n)
Jy j
Figura 1.
Page 102
Page 103
−1
La equivalencia anterior significa que f (c) ∩ Z es la gráfica de ξ, es decir,
−1
F (c) ∩ Z = { (x, ξ (x)) ; x ∈ V } .
El enfoque clásico del teorema de las funciones implícitas fue el siguiente: "Si
f 1 , ..., f n son funciones reales de la variable m + n , k veces continuamente diferentes
confiable, y p = (a 1 , ..., a m , b 1 , ..., b n ) es una solución particular de la
ecuaciones
f 1 (x 1 , ..., x m , y 1 , ..., y n ) = c 1
f 2 (x 1 , ..., x m , y 1 , ..., y n ) = c 2
...
f n (x 1 , ..., x m , y 1 , ..., y n ) = c n ,
la matriz es n × n
[ ]
Si yo
(PAGS)
Jx j
Página 104
[Link] 110/158
31/7/2020 Análisis real
invertible, entonces las ecuaciones anteriores definen, de una manera única, en la vecindad de
punto p en R m + n , las variables y 1 , ..., y n como funciones de clase C k de las variables
x 1 , ..., x m : y 1 = ξ 1 (x 1 , ..., x m ), ..., y n = ξ n (x 1 , ..., x m ) ".
Escribir x = (x 1 , ..., x m ) y ξ (x) = (ξ 1 (x), ..., Ξ n (x)) tiene, para cada
i = 1 , ..., n , con x en una vecindad de a = (a 1 , ..., a m ) :
∑norte
Si yo + Si yo · ∂ξ k = 0 , j = 1 , ..., m.
Jx j Ky k Jx j
k=1
∂f 1 ∂f 1 ∂f 1 ∂ξ 1
...
Jx j 1g 1 Ny n Jx j
... ... ... ... ...
=-
Nf n Nf n Nf n ∂ξ n
...
Jx j 1y 1 Ny n Jx j
o sea:
−1
∂ξ 1 ∂f 1 ∂f 1 ∂f 1
...
Jx j 1y 1 Ny n Jx j
... ... ... ... ...
=- · .
∂ξ n Nf n Nf n Nf n
...
Jx j 1y 1 Ny n Jx j
∂ξ i
Esto muestra las derivadas parciales de f 1 , ..., f n , sin ser necesario
Jx j
conoce explícitamente las funciones ξ 1 , ..., ξ n .
Desde el punto de vista del álgebra lineal intrínseca, para mostrar cómo
derivada ξ (x) : R m → R n se puede calcular cuando se conoce f pero no ξ
explícitamente, es necesario extender el concepto de derivada parcial.
Transformaciones lineales
∂f ∂f
(z) : R m → R n y (z) : R n → R n ,
∂x ∂y
Page 105
[Link] 111/158
31/7/2020 Análisis real
cuyas matrices en las bases canónicas de los espacios euclidianos en cuestión son
[ ] [ ]
Si yo Si yo
(z) ∈ M (n × m) y (z) ∈ M (n × n)
Jx j Jy j
∂f ∂f
w = (u, v) ∈ R m + n , nosotros tenemos f (z) · w = (z) · u + (z) · v.
∂x ∂y
∂f ∂f
(z) + (z) · ξ (x) = 0 , con z = (x, ξ (x)).
∂x ∂y
pronto
[ ] −1
∂f ∂f
ξ (x) = - (z) · (z)
∂y ∂x
todavía con z = (x, ξ (x)) . Tenga en cuenta que la hipótesis del teorema de las funciones implícitas
∂f
asegura que la transformación lineal (z) : R n → R n es invertible para todas las z en
∂y
barrio de p .
Ejemplo 4. Se dice que el número complejo c es una raíz simple del polinomio p
cuando tienes p (z) = (z - c) q (z) con q (c) = 0. El teorema 4 puede usarse
para mostrar que las raíces simples de un polinomio dependen de manera diferente
de los coeficientes de este polinomio. Para probar esto escribimos, para cada
a = (a 0 , ..., a n ) ∈ C n +1 = R 2 n +2 y cada z ∈ C = R 2 ,
∂p
Entonces, de p a (z) = (z - c) q (z) resulta (c) = p a (z) = q (c) , entonces la matriz
∂z
∂p
Jacobeo (real) 2 × 2, (c) , es invertible, ya que es la matriz de transformación
∂z
Page 106
[Link] 112/158
31/7/2020 Análisis real
R 2 lineal que consiste en la multiplicación por el número complejo distinto de cero q (c) .
Por lo tanto, debido al Teorema 4, hay bolas abiertas B = B (a ; ε) en C n +1
y B = B (c ; δ) en C tal que, para todo b ∈ B , el polinomio p b tiene un solo
raíz ξ (b) ∈ B , que es simple, y la aplicación ξ : B → R 2 , así definida, es
∞
clase C . ⊲
[Link] 113/158
31/7/2020 Análisis real
Page 107
Capítulo 7
Superficies diferenciables
1 parametrizaciones
Figura 1.
[Link] 114/158
31/7/2020 Análisis real
108
Figura 2.
[Link] 115/158
31/7/2020 Análisis real
Page 109
2 superficies diferenciables
∞
Ejemplo 6. La esfera S n es una superficie de dimensión ny clase C en R n +1 .
En efecto, la inversa de la proyección estereográfica es una parametrización ϕ : R n →
S n - { N }. Para obtener una vecindad parametrizada del polo norte N , simplemente con-
∗ }, donde N ∗ = - N es el polo sur. ⊲
siderar - ϕ : R n → Y n - { N
[Link] 116/158
31/7/2020 Análisis real
Ser una superficie es una propiedad local: si cada punto p ∈ M está contenido
en un conjunto V ⊂ M , abierto en M , que es una superficie de clase C k y
dimensión m , entonces el conjunto M ⊂ R n es una superficie de dimensión my clase C k .
Page 110
Figura 3.
[Link] 117/158
31/7/2020 Análisis real
Página 111
−1 ◦ f = ( ◦ ψ) −1 ◦ ◦ f,
ψ
−1 ◦ ϕ:ϕ −1 −1
ψ (V ∩ W) - → ψ (V ∩ W),
ϕ −1 ◦ ϕ es un difeomorfismo de clase C k .
112
Figura 4.
[Link] 119/158
31/7/2020 Análisis real
113
−1 ◦ λ) ( 0 ) = (ϕ ◦ ϕ −1 ◦ λ) ( 0 ) = λ ( 0 ) = v.
ϕ (x o ) · u = ϕ (x o ) · (ϕ
∂ϕ ∂ϕ
(x o ) = ϕ (x o ) · e 1 , ..., (x o ) = ϕ (x o ) · e m
1x 1 Mx m
[Link] 120/158
31/7/2020 Análisis real
Sea f :cU∈→
Un punto RR n una aplicación diferenciable, definida en la U ⊂ R m + n abierta .
n se llama valor regular de f cuando, para todo x ∈ U
114
[Link] 121/158
31/7/2020 Análisis real
4 superficies orientables
Como en el caso de las hiper-superficies (co-dimensión 1), tratadas en el Capítulo 4, vale la pena señalar
que no todas las superficies en R n pueden obtenerse como una imagen inversa de un valor
regular.
−1
De hecho, si M = f (c) es la imagen inversa del valor regular
c ∈ R n por aplicación f : U → R n , clase C k al aire libre U ⊂ R m + n en-
entonces, llamando a f 1 , ..., f n : U → R las funciones de coordenadas f , vemos que
115 de 1189.
1) Para todos x ∈ M , los vectores de gradiente f 1 (x),. . . , grad f n (x) son ortogonales a la
espacio vectorial tangente T x M . (Grad f i se dice que son campos de
vectores normales a M. )
2) Para todos x ∈ M , los vectores de gradiente f 1 (x),. . . , grad f n (x) son linealmente
independiente.
cuyas columnas m + n son los vectores de R m + n indicados allí, tiene un determinante positivo.
Como V o está conectado y los campos v i son continuos, para ser ϕ ∈ A es suficiente que
116
∗=
det (x)> 0 para algunos x ∈ V o . Si det (x) < 0, escribimos x
∗ ∗ ; x ∈ V o }.
( - x 1 , x 2 , ..., x m ) cuando x = (x 1 , x 2 , ..., x m ) y ponemos V
o= { x
Entonces∗ϕ: V
∗ ∗ ∗
(x) = ϕ (x ) , es una parametrización cuya imagen
o → V , dada
∗ por ϕ
sigue siendo V pero det (x)> 0. Esto demuestra que A es un atlas sobre M . Ser
−1 ◦
ϕ, φ ∈ A , con ϕ : V o → V, φ : W o → W y V ∩ W = ∅ . Poniendo ξ = ψ
−1 −1
ϕ:ϕ (V ∩ W) → ψ (V ∩ W) , tenemos ϕ = φ ◦ ξ . La regla de la cadena nos da,
−1
para x ∈ ϕ (V ∩ W) e y = ξ (x) :
∑metro
∂ϕ ∂ψ
(x) = a ij (x) (y), j = 1 , ..., m,
Jx j i=1
Iy i
[Link] 123/158
31/7/2020 Análisis real
estas igualdades significan que
[ ]
a (x) 0 ∈ M ((m + n) × (m + n))
(x) = (x) · A (x), donde A (x) =
0 0 yo
e I = n × n matriz de identidad . Entonces det (x) = det (x) · det a (x) y así sucesivamente
det a (x)> 0. Por lo tanto, las parametrizaciones ϕ, ψ ∈ A son compatibles. Atlas A es
coherente y la superficie M es orientable.
−1
Corolario 4. SeM = f (c) es la imagen inversa de un valor de aplicación regular
f : U → R n , de clase C k en la U abierta ⊂ R m + n , entonces M es una superficie m-
Dimensional orientable.
∑norte
w = v 1 × ... × v n = ( −1 ) i +1 det m i · e i .
i=1
Página 117
[Link] 124/158
31/7/2020 Análisis real
por la longitud de tu altura, que es | w |, porque w es ortogonal a esta base. pronto
El | w | · V n = vol [ v 1 , ..., v n , w ] = | det [ v 1 , ..., v n , w ] |
= 〈V 1 × ... × v n , w〉 = | w | 2 .
Se sabe (véase "Álgebra lineal", pág. 261) que alternan formas n lineales
en un espacio de dimensión n constituyen un espacio vectorial de dimensión 1. Por lo tanto
hay c ∈ R tal que f = c ·, es decir, f (v 1 , ..., v n ) = c · det [ a ij ] para cualquier
v 1 , ..., v n ∈ E . Tomando v 1 = u 1 , ..., v n = u n , tenemos f (u 1 , ..., u n ) = 1 e
(u 1 , ..., u n ) = 1, luego c = 1 y luego f =, es decir,
v 1 , × ... × v n = det a · u 1 × ... × u n ,
∑norte
donde a = [ a ij ] y v j = a ij u i , j = 1 , ..., n.
i=1
118
∂ϕ ∂ϕ −1
w (p) = (x) × ... × (x), x = ϕ (p) ∈ V o , y u (p) = w (p) / | w (p) | .
1x 1 Nx n
∂ψ ∂ψ −1
z (p) = (y) × ... × (y), y = ψ (p) ∈ W o ,
1y 1 Ny n
como vimos arriba, tenemos w (p) = det a · z (p) donde a es la matriz jacobiana, en el punto
−1 ◦ ϕ . Pronto det a > 0 y, en consecuencia,
x , cambio de parámetro ψ
Ejemplo 12. Cada subconjunto abierto A de una superficie orientable M sigue siendo
Una superficie ajustable. De hecho, si A es un atlas coherente en M, entonces
−1
las restricciones ϕ | (V o ∩ ϕ (A)) → V ∩ A de las parametrizaciones ϕ : V o → V
que pertenece a A con V ∩ A = ∅ , forman un coherente atlas A . Por lo tanto
si una superficie bidimensional M contiene una banda de Moebius, entonces M no es
orientable ⊲
Page 119
det J (ζ −1 ◦ ϕ) (x) < 0. Entonces tendríamos det · (ξ−1 ◦ ζ) (z) < 0 y el atlas A no
Sería consistente.
120
[Link] 127/158
31/7/2020 Análisis real
1
- 000
t2
Jξ (t, x, y, z) = X t00
y 0t0
z 00t
−1 ◦ ϕ tiene,
y su determinante es igual a - t . El cambio de parametrización ξ = ψ
+ × ( R 3 - {0} ) y positivo en R - × ( R 3 - {0} ) .
por lo tanto, negativo jacobiano en R
∞
Del Lema 1 se deduce que M es una superficie C , no orientable, dimensión 4
en R 6 . ⊲
5 multiplicadores de Lagrange
∂f
(f ◦ λ) ( 0 ) = (p) = 〈grad f (p), v〉,
∂v
Page 121
[Link] 128/158
31/7/2020 Análisis real
∂f ∂ϕ 1 ∂ϕ n
(p) = λ 1 · (p) + ··· + λ n (p), j = 1 , ..., m + n.
Jx j Jx j Jx j
Page 122
[Link] 129/158
31/7/2020 Análisis real
λ Grad ϕ 1 (x, y) + µ
grad f (x, y) = grad ϕ 2 (x, y),
2 2
∗ ∗
es decir, (A y, Ax) = (λx, µy) . Esto nos da A · x = µ · y y A y = λ · x , donde
∗
µ = 〈µy, y〉 = 〈Ax, y〉 = 〈x, A y〉 = 〈x, λ · x〉 = λ .
Por lo tanto, los puntos críticos de f | M son los puntos (x, y) ∈ S m −1 × S n −1 tal
∗
que Ax = λy y A y = λx para un cierto λ ∈ R. Tenga en cuenta que entonces λ = f (x, y)
y que z ⊥ x ⇒ Az ⊥ y . Entonces, si escribimos E = { z ∈ R m ; 〈z, x〉 = 0} =
complemento ortogonal de x en R m , y F = complemento ortogonal de y en R n ,
la transformación lineal A : R m → R n se aplica Y en F .
Entonces, p 1 = (u 1 , v 1 ) ∈ S m −1 × S n −1 el punto en el que asume la función f
su valor máximo en S m −1 × S n −1 : f (u 1 , v 1 ) = λ 1 . Entonces p 1 es un punto crítico de
∗
f | M . Tenemos Au 1 = λ 1 v 1 y A v 1 = λ 1 · u 1 . Como f (x, - y) = - f (x, y) , vemos
que λ 1 ≥ 0. Si A = 0, entonces f no es idénticamente nulo en M , por lo tanto, λ 1 > 0. ⊲
[Link] 130/158
31/7/2020 Análisis real
123
Capítulo 8
Integrales Múltiples
1 La definición de integral
∏norte
A= [ a i , b i ] = [ a 1 , b ] × ... × [ a n , b n ]
i=1
[Link] 131/158
31/7/2020 Análisis real
Page 124
[Link] 132/158
31/7/2020 Análisis real
B∈P
125
Del mismo modo se observa que S (f , P) ≤ S (f , P) , donde P refina P . Así que cuando
Si se refina una partición, la suma inferior no disminuye y la suma superior no aumenta.
Dejar que P y Q ninguna dos particiones de bloque A . Toma una partición R
de A que refina P y Q simultáneamente. Tenemos:
s (f ; P) ≤ s (f ; R) ≤ S (f ; R) ≤ S (f ; Q),
EL
f (x) dx de la función limitada f : A → R, poniendo
∫ ∫
f (x) dx = sup s (f ; P) y f (x) dx = inf S (f ; P),
PAGS EL PAGS
EL
el supremo y el más bajo que se toma en relación con todas las particiones P de la
Bloque A .
La desigualdad s (f ; P) ≤ S (f ; Q) implica que
∫ ∫
m · vol A ≤ f (x) dx ≤ f (x) dx ≤ M · vol A
EL EL
Page 126
Por lo tanto, f : A → R es integrable si, y solo si, para todos los datos ε> 0, hay
una partición P de A tal que
∑
ω B · vol B <ε.
B∈P
Page 127
Se dice que el conjunto X ⊂ R n tiene una medida n-dimensional nula (según Lebes-
ge), y sp. med. X = 0, cuando, para todos los datos ε> 0, es posible obtener
una cubierta enumerable X ⊂ B 1 ∪ ... ∪ B k ∪ ... mediante bloques abiertos
∑∞
B k ⊂ R n tal que vol B k <ε.
k=1
Evidentemente, si med. X = 0 e Y ⊂ X luego med. Y = 0 .
para todos los k ∈ N. Para probar que X = X k tiene medida cero, se da ε> 0.
k=1
Para cada k ∈ N podemos obtener una secuencia de bloques B k 1 , B k 2 , ..., B ki , ...
∞
⋃ ∑
∞
[Link] 135/158
31/7/2020 Análisis real
(k, i) ∈ F k=1 i=1 k=1
Entonces, cualquiera
∑ sea la forma de enumerar el B ki en una secuencia,
tendremos vol B ki <ε . Entonces, med. X = 0.
k, i
En efecto, cada conjunto enumerable es una reunión de sus puntos, cada uno de los
que tienen medida cero
La definición de med. X = 0, dado arriba con bloques abiertos, es conveniente
cuando uno tiene la intención de usar el teorema de Borel-Lebesgue. En otras ocasiones, puedes
Es más apropiado emplear bloques cerrados. E incluso en ciertos casos, el
Page 128
(a) Por cada dato ε> 0 , se puede obtener una cobertura enumerable X ⊂ B 1 ∪
∑∞
... ∪ B k ∪ ... a través de bloques abiertos B k ⊂ R n tal que vol B k <ε.
k=1
(c) Vale la pena el enunciado (a) , con cubos abiertos en lugar de bloques.
(d) Vale la pena el enunciado (a) , con cubos cerrados en lugar de bloques abiertos.
∑∞ ∑∞ ∑∞
ε ε ε
vol A k < vol D k + < + = ε.
k=1 k=1 k=1
2 k +2 2 2
Page 129
mp i
de B a la partición P i con intervalos, todos de longitud 1 / m . Los bloques
qi
de partición P = P 1 × ··· × P n del bloque B son cubos de borde de medición 1 / m y
B es su reunión. En el caso general, observamos que, para i = 1 , ..., n , hay
números positivos η i tan pequeños como desee, de modo que b i - a i + η i sea racional.
n∏
Entonces bloque C = [ a i , b i + η i ] tiene aristas con medidas racionales, por lo que es
i=1
montaje finito de cubos. Además, C contiene B y la diferencia vol C - vol B =
(b i - a i + η i ) - (b i - a i ) se puede hacer tan pequeño como se desee, siempre que
que η i son lo suficientemente pequeños.
Para completar la prueba de que (b) ⇒ (d), ε> 0. se dará. Para (b), hay un
∑∞
cubierta X ⊂ B 1 ∪ ... ∪ B k ∪ ... por bloque B k tal que vol B k <ε / 2. Cómo
k=1
acabamos de ver, cada B k está contenido en un conjunto finito de cubos cuya suma de
los volúmenes son menores que vol B k + ε / 2 k +2 . Numerando estos consecutivamente
cubos para k = 1 , 2 , ... , llegamos a una portada X ⊂ C 1 ∪ ... ∪ C r ∪ ... ,
donde los cubos C r son tales que
∑∞ ∑∞ ∑∞
ε ε ε
vol C r < vol B k + < + = ε.
2 k +2 2 2
r=1 k=1 k=1
[Link] 137/158
31/7/2020 Análisis real
Teorema 4. Sea f : X → R n una aplicación de lipchitzia en el conjunto X ⊂ R n .
Si med .X = 0 entonces med . f (X) = 0 .
Demostración. Adoptemos la norma máxima en R n . Deje que c> 0 sea tal que
El | f (x) - f (y) | ≤ c | x - y | para cualquier x, y ∈ X . Dado arbitrariamente c> 0,
hay una cubierta X ⊂ C 1 ∪ ... ∪ C k ∪ ... donde cada C k es un cubo cuyo borde
∑∞ ∑∞
midiendo la k con vol C k = (a k ) n <ε / C n . Si x, y ∈ C k entonces | x - y | ≤ a k ,
k=1 k=1
logo | f (x) - f (y) | ≤ c · a k . Esto significa que por cada i = 1 , ..., n , el i -
th coordenadas de f (x) y f (y) pertenecen a un intervalo J i de longitud
n∏
c · a k . Por lo tanto, f (C k ∩ X) está contenida en el cubo J i = C k , con el borde c · a k , entonces
i=1
∞
⋃
vol C k = C n · (a k ) n . Se deduce que f (X) = f (C k ∩ X) ⊂ C 1 ∪ ... ∪ C k ∪ ... ,
k=1
Dónde
∑∞ ∑∞
ε
vol (C k ) ≤ C n · (a k ) n <C n ·
C n = ε.
k=1 k=1
130
[Link] 138/158
31/7/2020 Análisis real
R n la norma máxima, esta bola es un cubo, cuyo borde podemos asumir racional,
por lo tanto es un B k . Por lo tanto, x ∈ B k ⊂ U λ k , por lo tanto, todo U λ , λ ∈ L está contenido
⋃ ⋃
∞ ⋃
en la reunión de U λ k , k ∈ N, es decir Uλ⊂ U λk ⊂ U λ . Resulta que
λ∈L k=1 λ∈L
X ⊂ U λ 1 ∪ ... ∪ U λ k ∪ ...
Página 131
tomado tan pequeño como desees. Se deduce que R m , visto como un subconjunto
de R n , tiene una medida n- dimensional nula, ya que es un conjunto enumerable de bloques m -
dimensional. En particular, el conjunto U ⊂ R m tiene una medida n- dimensional nula.
Dicho esto, desde la aplicación f : U → R n , definamos F : U × R n - m → R n
poniendo F (x, y) = f (x) . El conjunto U × 0 ⊂ U × R n - m tiene una medición n- dimensional
nulo, luego med. F (U × 0 ) = 0, por el teorema 5. Pero F (U × 0 ) = f (U) , que
Prueba el corolario.
[Link] 139/158
31/7/2020 Análisis real
M ⊂ k = 1 U k , entonces M =k = 1 (U k ∩ M) es una colección enumerable de conjuntos V k =
U k ∩ M , medida cero. Entonces, med. M = 0.
El siguiente teorema, debido a H. Lebesgue, establece el criterio de integración general
en términos de la noción de un conjunto de medidas nulas. En tu demo,
Usaremos el concepto de oscilación de una función en un punto, que introducirá
Mos ahora.
Sea f : X → R una función limitada en el conjunto X ⊂ R n . Vamos a arreglar x ∈ X
y, para cada δ> 0, ponemos (δ) = ω (f ; X ∩ B (x ; δ)) = oscilación de f en el
conjunto de puntos de X que son menores que δ desde el punto x . Se define así
una función no negativa : ( 0 , + ∞ ) → R, que está limitado porque f también lo es.
Además, no es decreciente. Pronto hay un límite
Page 132
A ⊂ C 1 ∪ ... ∪ C r ∪ C 1 ∪ ... ∪ C s .
Sea P una partición de A tal que cada bloque abierto B ∈ P esté contenido en uno de los
n∏
bloques C k o en un C j . Si A = [ a i , b i ] entonces podemos tomar P = P 1 × ··· × P n
i=1
donde, para cada i = 1 , ..., n , P i está formado por los puntos a i , b i más el i- ésimo
coordenadas de los vértices de los bloques C k o C j que pertenecen al intervalo [ a i , b i ].
Los bloques de P contenidos en algunos C k se llamarán genéricamente B y
los otros bloques de P (necesariamente contenidos en algunos C j ) se llamarán
[Link] 140/158
31/7/2020 Análisis real
B . La suma de los volúmenes de B es menor que ε / 2 K y, en cada bloque B , el
la oscilación de f no excede ε / ( 2 · vol A) . Por lo tanto
∑ ∑ ∑
ω B · vol B = ω B · vol B + ω B · vol B
B∈P si si
∑ ∑
≤K· ε
vol B + vol B
2 · vol A
ε ε
<K · + · Vol A = ε.
2·K 2 · vol A
Se deduce que f es integrable.
Page 133
∫ ∫
(1) f +
∫ g : A → R es integrable y f (x) dx +
A[ f (x) + g (x) ] dx = EL
EL
g (x) dx.
∫ ∫
(2) c · f : A → R es integrable y EL
c · f (x) dx = c · EL
f (x) dx.
[Link] ∫ ∫ 141/158
31/7/2020 Análisis real
Page 134
[Link] 142/158
31/7/2020 Análisis real
ϕ (x) = f x (y) dy y ψ (x) = f x (y) dy.
A2 A2
esto es:
∫ ∫ (∫ ) ∫ (∫ )
s (f ; P) ≤ s (ϕ ; P 1 ) ≤ S (ϕ ; P 1 ) ≤ S (f ; P).
∫ ∫
Resultará que ϕ es integrable y que A1
ϕ (x) dx = A1×A2
f (x, y) dxdy . A
De hecho, es suficiente para probar la primera de las desigualdades anteriores, ya que la segunda es obvia.
∫vía y el tercero es∫análogo. También por analogía, no necesitamos demostrar que
A1
ψ (x) dx = A1×A2
f (x, y) dxdy .
Por lo tanto
∑
s (f ; P) = m (f ; B 1 × B 2 ) · vol B 1 × vol B 2
B1×B2∈P
(∑ )
∑
= m (f ; B 1 × B 2 ) · vol B 2 · Vol. B 1
B1∈P1 B2∈P2
∑
≤ m (ϕ ; B 1 ) · vol B 1 = s (ϕ ; P 1 ).
B1∈P1
135
[Link] 143/158
31/7/2020 Análisis real
Corolario 4. Deje f : A 1 × A 2 × A 2 → R integrarse en el producto de los bloques
A 1 ⊂ R m , A 2 ⊂ R n y A 3 ⊂ R p . Entonces
∫ ∫ ∫ ∫
f (x, y, z) dxdydz = dx dy f (x, y, z) dz
A1×A2×A3 A1 A2 A3
∫ ∫ ∫
= dx dy f (x, y, z) dz.
A1 A2 A3
Con efecto,
∫ ∫ (∫ )
f (x, y, z) dxdydz = dxdy f (x, y, z) dz
A1×A2×A3 A1×A2 A3
∫ (∫ (∫ ))
= dx dy f (x, y, z) dz
A1 A2 A3
∫ ∫ ∫
= dx dy f (x, y, z) dz.
A1 A2 A3
4 J- conjuntos medibles
1. ξ X ∪ Y = ξ X + ξ Y - ξ X ∩ Y ;
2. ξ X ∩ Y = ξ X · ξ Y ;
Page 136
[Link] 144/158
31/7/2020 Análisis real
El ítem (7) del Teorema 9 asegura que los conceptos presentados anteriormente no
dependerá de la elección de bloque A que contiene X .
Si X ⊂ A y P es una partición del bloque A , las sumas superior e inferior de la
función ξ X : A → R en relación con la partición P son
137
[Link] 145/158
31/7/2020 Análisis real
¯f:A→R,
[Link] 146/158
31/7/2020 Análisis real
Page 138
J- conjuntos medibles, dos por dos sin puntos interiores comunes, tomando
si arbitrariamente ξ i ∈ X i para cada i - 1 , ..., k . Esta es la forma más común, y
más intuitivo, pensar en lo integral. Pasemos a las definiciones precisas.
Deje que X ⊂ R n sea un conjunto J medible. Se dice que D = (X 1 , ..., X k ) es
una descomposición de X cuando los conjuntos X 1 , ..., X k son J medibles,
sin puntos interiores comunes (es decir, X i ∩ X j ⊂ fr. X i ∩ fr. X j cuando i = j ),
con X = X 1 ∪ ... ∪ X k . La norma para la descomposición D es el número | D | =
diametro max. X i = diámetro mayor de los conjuntos X 1 , ..., X k .
Por ejemplo, si X ⊂ R n es un bloque n- dimensional, cada partición P determina
una descomposición X = B 1 ∪ ... ∪ B k , donde B k , donde B i son los bloques de la
particionar P .
Sea f : X → R una función limitada en el conjunto J- X medible ⊂ R n .
Dada la descomposición D = (X 1 , ..., X k ) de X escribiremos, para cada i =
1 , ..., k , m i = inf. { F (x) ; x ∈ X i } y M i = sup. { f (x) ; x ∈ X i }. Definiremos
entonces la suma inferior s (f ; D) y la suma superior S (f ; D) poniendo
∑k ∑k
s (f ; D) = m i · vol X i y S (f ; D) = M i · vol X i .
i=1 i=1
J = lim S (f ; D)
El | D | → 0
significa que, por cada ε> 0 dado, hay δ> 0 tal que | D | <
δ ⇒ | J - S (f ; D) | <ε . Del mismo modo, se define el significado de la declaración
I = lim s (f ; D) .
El | D | → 0
[Link] 147/158
31/7/2020 Análisis real
Page 139
Demostración. Dado ε> 0, podemos cubrir Y con una colección finita de bloques
B cuya suma de los volúmenes es <ε . Tomando δ> 0 arbitrariamente , ponemos
cada uno de estos bloques B = [ a i , b i ] dentro del bloque B = [ a i - 2 δ, b i + 2 δ ].
Cómo lim vol B = vol B , hay δ> 0 tal que la suma de los volúmenes de los bloques B
δ→0
es incluso menor que ε . Usando la norma máxima, podemos asegurar que si
Z es un conjunto de diámetro <δ tal que d (Z, B) <δ entonces Z ⊂ B . Por lo tanto,
si D = (X 1 , ..., X k ) es una descomposición de X con | D | <δ , vemos que
Por lo tanto, la suma de los volúmenes de los conjuntos X i ∈ D tal que d (X i , Y) <δ no
excede la suma de los volúmenes de los bloques B , por lo que es menor que ε .
Demostración del teorema 11. Simplemente pruebe la segunda afirmación. Sin pérdida de
generalidad, suponemos que 0 ≤ f (x) ≤ K para todos x ∈ X . Con efecto,
si agregamos una constante c a la función c , tanto la integral superior como el límite
aumentarse hasta c · vol X . Sea ¯ f : A → R la extensión de f en un bloque
n -dimensional El ⊃ X con ¯ f (x) = 0 ∫si x ∈ A - X . Dado ε> 0, queremos
encuentre δ> 0 tal que | S (f ; D) - X
f (x) dx | <ε para toda la descomposición D de X
com | D | <δ . Ahora, dado ε> 0, hay una partición P o de A tal que
∫
S(¯f;Po)< f (x) dx + ε / 2 .
X
Sea Y la reunión de las caras propias de los bloques de P o . Como vol Y = 0, el lema
asegura la existencia de δ> 0 de modo que, para toda la descomposición D de X con
El | D | <δ , la suma de los volúmenes de los conjuntos X i ∈ D con d (X i , Y) <δ es menor
que ε / 2 K .
Sea D una descomposición de X con la norma | D | <δ . Llámalo
X α los conjuntos de D tales que d (X α , Y) <δ . Los conjuntos restantes de D serán
llamado X β . Tenga en cuenta que cada X β debe estar contenido en algún bloque de
partición P o porque de lo contrario, habría x, y ∈ X β en diferentes bloques de P o ,
a continuación, el segmento de línea [ x, y ] contiene algún momento Y . Cómo | x - y | <δ ,
esto daría a d (X β , Y) <δ un absurdo. Escribir M α = sup { f (x) ; x ∈ X α } e
M β = sup { f (x) ; x ∈ X β }, viene
∑ ∑
S (f ; D) = M α · vol X α + M β · vol X β , donde
∑ ∑
M α · vol X α ≤ K · vol X α <ε / 2 e
∑ ∑ (∑ ) ∑
M β · vol X β = M β · vol · X β ≤ M β · vol B
B∈Po Xβ⊂B B∈Po
[Link] 148/158
31/7/2020 Análisis real
140
∫
=S(¯f;Po)< f (x) dx + ε / 2 .
X
∫
Entonces | D | <δ ⇒ S (f ; D) < X
f (x)
∫ dx + ε / 2.
Ahora mostraremos que S (f ; D) ≥ X
f (x) dx para toda la descomposición D de
X . De hecho, que Z sea la reunión de los límites de los conjuntos X i de la descomposición
D . Como vol Z = 0, el lema nos da δ> 0 tal que, para cada partición P del bloque
A con | P | <δ , la suma de los volúmenes de los bloques de P que se cruzan con Z es menor
que ε / K . Tomando | P | <δ , tenemos
∑ ∑
S ( ¯ f ; P) = M B · vol B + M c · vol C,
∫
pronto X
f (x) dx ≤ S ( ¯ f ; P) ≤ S (f ; D) + ε .
∫
Como ε> 0 es arbitrario, concluimos que X
f (x) dx ≤ S (f ; D) para todos
Descomposición D de X . Esto concluye la demostración.
[Link] 149/158
31/7/2020 Análisis real
(ξ 1 , ..., ξ k ) , con ξ 1 ∈ X 1 , ..., ξ k ∈ X k . En términos menos formales, punteado
la descomposición D = (X 1 , ..., X k ) es elegir un punto ξ i en cada conjunto
X i , i = 1 , ..., k .
141
∗ ∗
Toda la partición punteada D está asociado con la suma de Riemann (f ; D )
definido por
∑ ∑k
∗
(f ; D )= f (ξ i ) · vol X i .
i=1
∗
Se dice que el número I es el límite de las sumas de Riemann (f ; D ) cuando
norma | D | tiende a cero, y está escrito
∑
∗
I = limEl | D | → 0
(f ; D ),
cuando, para todos los datos ε> 0, se puede obtener δ> 0 de modo que, para toda la descomposición
∗
D del conjunto X con estándar | D | <δ tiene | (f ; D ) - I | <ε , lo que sea
∗
el camino D a tramado D .
∗
cualquiera que sea el modo D
un punto D . Por el teorema 11, tenemos lim S (f ; D) =
∫ El | D | → 0
X
f (x) dx . ∫
∗
Inmediatamente sigue que lim El | D | → 0
(f ; D ) = X
f (x) dx .
[Link] 150/158
31/7/2020 Análisis real
Page 142
Capítulo 9
Variables cambiantes
[Link] 151/158
31/7/2020 Análisis real
de h (o equivalente) es necesario, sin el cual la fórmula no es válida. (EL
El estudio de estas situaciones generales conduce a la noción de grado , que se analiza en detalle en
libro "Curso de análisis", Vol. 2.)
Otra diferencia es el valor absoluto en | det h (x) |. Es natural que el determinante
reemplace la derivada h (x) porque, cuando n> 1, esto no es un número; pero el valor
que ocurre en la fórmula anterior no parece estar presente cuando n = 1. En
cierto, sin embargo, está oculto en igualdad
∫ h (b) ∫b
f (y) dy = f (h (x)) · h (x) dx.
Ahi esta) los
Page 143
porque
∫ ∫ h (b)
f (y) dy = f (y) dy si h (a) <h (b),
J Ahi esta)
esto es,
∫ ∫ h (a)
h (x)> 0 , y f (y) dy = f (y) dy
J h (b)
1 El caso unidimensional
Las particiones de J = h (I) son de tipo h (P) , dadas por intervalos de la forma
J r = h (I r ) , donde I r (r = 1 , ..., k) son los rangos de una partición P de I .
Para cada r , ponemos M r = sup f (y) = sup f (h (x)) y c r = sup El | h (x) |.
y∈Jr x∈Ir x∈Ir
Page 144
Por el teorema del valor medio, para cada r = 1 , ..., k hay ξ r ∈ I r tal
que | J r | = | h (ξ r ) | · | Yo r |. Poniendo η r = c r - | h (ξ r ) |, tenemos η r ≥ 0, en virtud
continuidad uniforme de h en el intervalo I , lim η r = 0. Se deduce que
El | P | → 0
k∑
lim η r | Yo r | = 0 porque
El | P | → 0
r=1
∑k ( ) ∑k ( )
0≤ η r | Yo r | ≤ max η r · El | Yo r | ≤
max η r · | Yo | .
r r
r=1 r=1
Entonces
∑k ∑k ∑k
S (f ; h (P)) = Mr·|Jr|= M r C r | Yo r | - η r | Yo r | y
r=1 r=1 r=1
∑k
S ((f ◦ h) · | h |; P) = N r | Yo r | ,
r=1
∑k
[Link] 153/158
31/7/2020 Análisis real
S ((f ◦ h) · | h |; P) ≤ S (f ; h (P)) + η r · | Yo r | .
r=1
Resulta que
∫
f (h (x)) · | h (x) | · Dx = lim S ((f ◦ h) · | h |; P)
El | P | → 0
yo
∫
≤ lim S (f ; h (P)) = f (y) dy.
El | P | → 0
J
∫ ∫
La desigualdad opuesta, J
f (y) dy ≤ yo
f (h (x)) · | h (x) | dx , resultados del anterior, que
−1 : J → I en lugar de h , f ◦ h : I → R en lugar de
viene de ser probado, usando h
−1
f y teniendo en cuenta que, para todo y = h (x) , x ∈ I , tenemos (h ) (y) = 1 / h (x) .
Entonces concluimos que
∫ ∫
f (y) dy = f (h (x)) · | h (x) | dx.
J yo
Page 145
2 difomorfismos primitivos
∫
[Link] ∫ 154/158
31/7/2020 Análisis real
∫para todos x ∈ R n , logo
∫ | det h (x) | = 1. Por lo tanto, debemos demostrar que
h (X)
f (y) dy = X
f (h (x)) dx . Ahora, para cada bloque B ⊂ R n , su imagen
h (B) también es un bloque, con bordes de la misma longitud que los de B ,
vol go h (B) = vol B . Como el volumen de un conjunto J- medible Z ⊂ R n
vol es el más pequeño de los números de B i , donde B i = vol Z . Toda la descomposición
h (X) = Y 1 ∪ ... ∪ Y k es tal que Y i = h (X i ) , donde X = X 1 ∪ ... ∪ X k es un
La descomposición X . Cada punto de Y i tiene la forma h (ξ i ) , con ξ i ∈ X i . pronto
∫ ∑
f (y) dy = lim El | D | → 0
f (h (ξ i )) · vol Y i
h (X)
∑ ∫
= lim f (h (ξ i )) · vol X i = f (h (x)) dx.
El | D | → 0
X
Page 146
[Link] 155/158
31/7/2020 Análisis real
= f (ϕ (s, w), w) · | det h (s, w) | ds dw
∫ I×A
Page 147
[Link] 156/158
31/7/2020 Análisis real
Ahora, las primeras j líneas de la matriz jacobiana de h son los vectores
grad ϕ 1 , ..., grad ϕ j y las otras líneas coinciden con las de la matriz de identidad
n × n . Al componer h , si es necesario, con un difeomorfismo tipo 1, podemos
∂ϕ j
Admita eso (x 0 ) ≤ 0. Por el Teorema 5 del Capítulo 6 (aplicado a la función ϕ j )
Jx j
hay un difeomorfismo permisible
148 de 1189.
Lebesgue
De hecho, dado cualquier δ> 0 sea p = (x, - y) con x> 0, y> 0 y
1 +y< δ
entonces X ∩ B (p ; δ / 2 ) es un subconjunto de X con diámetro <δ , el
X 2
que no está contenido en A 1 ni A 2 . ⊲
[Link] 158/158









