etricos
Jorge Alberto Guccione
Juan Jose Guccione
Indice general
Captulo 2.
1
1
6
7
13
1
2
17
17
19
1
2
3
21
21
22
24
Captulo 5.
27
Sucesiones
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
33
33
35
37
38
38
41
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
45
45
50
52
56
1
2
3
4
Captulo 8.
1
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
59
65
65
Indice general
2
1
2
Completaci
on . . . . . . . . . . . . . . . . . . . . . . . . . . .
Captulo 10.
Metricas Equivalentes
73
Captulo 11.
77
1
2
69
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
83
83
84
84
85
87
89
93
93
95
Captulo 15.
97
.
.
.
.
.
.
.
.
.
.
.
.
Captulo 17. C
alculo Diferencial
Derivaciones entre Productos de Espacios
1.1
Diferenciales Parciales . . . . . .
2
El teorema de los incrementos finitos . .
3
El teorema de la funci
on inversa . . . .
de
.
.
.
iv
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
101
101
103
107
112
114
116
Banach .
. . . .
. . . .
. . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
119
122
123
124
126
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Captulo 1
Espacios m
etricos
1.
Definici
on y ejemplos
Un espacio metrico es un par (X, d), formado por un conjunto no vaco X y una funcion
d : X X R0 ,
llamada funci
on distancia o metrica de X, tal que
1. d(x, y) = 0 si y s
olo si x = y,
2. d(x, y) = d(y, x) para todo x, y X
(simetra),
(desigualdad triangular).
1 Definicion y ejemplos
Espacios metricos
Espacios metricos
1 Definicion y ejemplos
para todo a, b R,
m
ax (|xi zi |) d (x, y) + d (y, z).
i{1,...,n}
Una cuenta similar, pero tomando supremos en lugar de maximos en dos de los casos, prueba
que la funci
on distancia tiene propiedad triangular en el tercer, cuarto y octavo ejemplos.
Ademas esta propiedad es cierta en el noveno, porque
A4C (A4B) (B4C)
para cada terna de conjuntos (A, B, C), y el cardinal de una union es menor o igual que la
suma de los cardinales de cada uno de los terminos involucrados. Solo nos resta considerar los
Ejemplos 10 y 11. Para verificar que la propiedad triangular vale en el ante
ultimo es suficiente
aplicar la desigualdad de Minkowski
v
v
v
u n
u n
u n
uX
uX
uX
p
p
p
p
p
t
t
(1)
|xi + yi |
|xi | + t
|yi |p ,
i=1
i=1
i=1
la cual es v
alida para todo x1 , . . . , xn , y1 , . . . , yn R, con xi e yi sustitudos por xi yi e
yi zi , respectivamente. Cuando p = 1, la desigualdad (1) es una consecuencia inmediata de
que
|x + y| |x| + |y| para todo x, y R,
y cuando p > 1 se sigue de la desigualdad de Holder: si p, q > 1 y 1/p + 1/q = 1, entonces
v
v
u n
u n
n
X
X
u
uX
p
q
p
t
(2)
|xi yi |
|xi | t
|yi |q .
i=1
i=1
i=1
1 Definicion y ejemplos
Espacios metricos
En efecto, aplicando (2) a (|x1 |, . . . , |xn |) y (z1 , . . . , zn ), y a (|y1 |, . . . , |yn |) y (z1 , . . . , zn ), donde
zi = (|xi | + |yi |)p1 , y teniendo en cuenta que (p 1)q = p, obtenemos
n
X
i=1
n
X
(|xi | + |yi |)(|xi | + |yi |)p1
i=1
n
X
i=1
n
X
i=1
v
v
v
v
u n
u n
u n
u n
uX
uX
uX
uX
p
q
q
p
|xi |p t (|xi | + |yi |)p + t
|yi |p t
(|xi | + |yi |)p
t
i=1
i=1
i=1
i=1
v
v
v
u n
u n
u n
uX
uX
uX
p
p
q
= t
|xi |p + t
|yi |p t
(|xi | + |yi |)p .
i=1
i=1
i=1
p
Pn
q
p
un xi o alg
un yj en no nulo,
Dividiendo ahora ambos miembros por
i=1 (|xi | + |yi |) (si alg
es evidente que (1) vale si todos son cero), obtenemos la desigualdad
v
v
v
u n
u n
u n
uX
uX
uX
p
p
p
t (|xi | + |yi |)p t
|xi |p + t
|yi |p ,
i=1
i=1
i=1
i=1
i=1
bq
ap
+
para
p
q
n
n
1X
1X
p
|xi ||yi |
|xi | +
|yi |q ,
p
q
i=1
i=1
i=1
Pn
P
n
lo cual, combinado con el hecho de que i=1 |xi |p = i=1 |yi |q = 1 y 1/p + 1/q = 1 da (3).
Para terminar debemos ver que
(4)
ab
ap bq
+
p
q
para todo a, b 0.
Para ello consideramos el plano (, ). Como p > 1, la funcion = p1 , definida para los
n
umeros reales mayores o iguales que cero, es estrictamente creciente. Dado que, por hipotesis,
(p 1)(q 1) = 1, su inversa es = q1 . Es claro que ab es menor que la suma de las areas
A1 , de la superficie delimitada por el eje , la recta = a y el grafico de = p1 y A2 , de
4
Espacios metricos
1 Definicion y ejemplos
d =
p
q
0
0
Veamos ahora que en el u
ltimo ejemplo tambien se satisface la desigualdad triangular. Cuando
p = 1 esto es una consecuencia f
acil de la desigualdad de Minkowski
Z b
Z b
Z b
|f (t) + g(t)| dt
|f (t)| dt +
|g(t)| dt;
a
y para comprobarlo cuando p > 1 notemos que de la desigualdad (4) se obtiene facilmente la
desigualdad integral de Holder
s
s
Z b
Z b
Z b
p
g
p
|f (t)g(t)| dt
|f (t)| dt
|g(t)|q dt,
a
donde q =
p
p1 ,
|xi yi |
i=1
n
X
|xi | m
ax |yj |
para todo x1 , . . . , xn , y1 , . . . , yn R.
1jn
i=1
v
v
u
u
uX
uX
p
p
t
|xi |p + t
|yi |p ,
i=1
i=1
i=1
f (x + y) f (x) + f (y)
para todo x, y R0 ,
si y solo si x = y.
para todo x, y X,
5
1 Definicion y ejemplos
Espacios metricos
y las desigualdades
f d(x, z) f (d(x, y) + d(y, z)) f d(x, y) + f d(y, z),
las cuales valen porque f es creciente y por la u
ltima hipotesis, muestran que f d tiene la
propiedad triangular.
Ejercicio 1.6. Pruebe que las funciones f (x) := mn(1, x) y f (x) :=
hip
otesis de la proposici
on anterior.
1.1.
x
1+x
satisfacen las
de espacios metricos, hay varias formas de definir una metrica sobre el producto
X := X1 X2 X3 ,
de los conjuntos subyacentes, que tenga alguna relacion con las distancias dadas en los espacios
coordenados. Para empezar, en general no podemos tomar
d(x, y) := sup d1 (x1 , y1 ), d2 (x2 , y2 ), d3 (x3 , y3 ), . . . , dj (xj , yj ), . . .
iN
donde d (xj , yj ) := mn(1, dj (xj , yj )). De hecho, esta formula define una metrica, como el
lector puede comprobar como ejercicio. Sin embargo, por razones que resultaran claras mas
adelante, no es esta la metrica que mas nos interesa. En su lugar vamos a usar la siguiente
funcion:
!
j
1
2
3
d
(x
,
y
)
d
(x
,
y
)
d
(x
,
y
)
d
(x
,
y
)
j
j
1
1
2
2
3
3
,
,
,...,
,... .
de (x, y) := sup
2
22
23
2j
jN
n 1.7. La funci
Proposicio
on de : X X R0 es una metrica.
n. De la definici
Demostracio
on se sigue inmediatamente que de (x, y) = 0 si y solo
si x = y, y que de (x, y) = de (y, x) para todo x, y X. Para concluir la prueba debemos
mostrar que
de (x, z) de (x, y) + de (y, z) para todo x, y, z X.
Para ello basta ver que, como las dj s son funciones distancia,
j
d (xj , zj )
d (xj , yj ) d (yj , zj )
+
de (x, y) + de (y, z)
j
2
2j
2j
para cada j N, donde xj , yj y zj denotan a las j-esimas coordenadas de x, y y z, respectivamente.
6
Espacios metricos
2 Espacios pseudometricos
X
d (xj , yj )
2j
j=1
n 1.9. La funci
Proposicio
on de1 : X X R0 es una metrica.
n. De la definici
Demostracio
on se sigue inmediatamente que de1 (x, y) = 0 si y solo si
e
e
x = y, y que d (x, y) = d (y, x) para todo x, y X. Ademas, las desigualdades
de1 (x, z) =
X
d (xj , zj )
j=1
2j
j
j
X
d (xj , yj ) + d (yj , zj )
2j
j=1
X
d (xj , yj )
j=1
2j
X
d (yj , zj )
j=1
2j
2.
Espacios pseudom
etricos
Decimos que un par (X, d), formado por un conjunto X y una funcion
d : X X R0 ,
llamada funci
on pseudodistancia o pseudometrica de X, es un espacio pseudometrico si d
satisface:
1. d(x, y) = 0 si x = y,
2. d(x, y) = d(y, x) para todo x, y X
(simetra),
(desigualdad triangular).
2 Espacios pseudometricos
Espacios metricos
R0
En la siguiente proposici
on consideramos a Rn0 provisto de la suma coordenada a coordenada y la relaci
on de orden parcial definida por x y si y solo si xi yi para todo
i {1, . . . , n}.
n 1.11. Si di : X X R0 (i = 1, . . . , n) es una familia finita de pseuProposicio
dometricas y
: Rn0 R0
es una funci
on que satisface:
- (x) = 0 si y s
olo si x = 0,
- Si x y, entonces (x) (y)
- (x + y) (x) + (y)
( es creciente),
(desigualdad triangular ),
entonces la funci
on d : X X R0 , definida por
d(x, y) := d1 (x, y), . . . , dn (x, y) ,
es una pseudometrica, que es una metrica si y s
olo si para todo x, y X, con x 6= y, existe
i {1, . . . , n} tal que di (x, y) > 0.
n. Es claro que d(x, x) = 0 para todo x X y que d es simetrica. Para
Demostracio
ver que vale la desigualdad triangular es suficiente notar que
d(x, z) = d1 (x, z), . . . , dn (x, z)
d1 (x, y) + d1 (y, z), . . . , dn (x, y) + dn (y, z)
d1 (x, y), . . . , dn (x, y) + d1 (y, z), . . . , dn (y, z)
= d(x, y) + d(y, z)
para todo x, y, z X. Para terminar, es obvio que la u
ltima afirmacion es verdadera.
(1 p ),
definidas por
(
max(x1 , . . . , xn ) si p = ,
p (x1 , . . . , xn ) := p p
p
x1 + + xpn si p < ,
satisfacen las condiciones pedidas a en la proposici
on anterior. En efecto, es claro que
p (x) = 0 si y s
olo si x = 0 y que la fuci
on es creciente y tiene la propiedad triangular.
Las funciones p (1 p < ) son crecientes porque las funciones
R0
x
R0
xp
y
8
R0
x
R0
p
x
Espacios metricos
2 Espacios pseudometricos
lo son, y la desigualdad de Minkowski (1) muestra que tienen la propiedad triangular. Consideramos ahora dos situaciones distintas. Supongamos primero que d(1) , . . . , d(n) son metricas
definidas sobre un conjunto X, entonces X es un espacio metrico va la funci
on distancia
dp : X X R0
(1 p ),
definida por:
(
m
ax d(1) (x, y), . . . , d(n) (x, y)
dp (x, y) := p
p
d(1) (x, y)p + d(n) (x, y)p
si p = ,
si p < .
Supongamos ahora que tenemos espacios metricos (X1 , dX1 ), . . . , (Xn , dXn ). Entonces el producto X := X1 Xn es un espacio metrico via la funci
on distancia
dp : X X R0
(1 p )
definida por:
(
m
ax dX1 (x1 , y1 ), . . . , dXn (xn , yn )
dp (x, y) := p
p
dX1 (x1 , y1 )p + dXn (xn , yn )p
si p = ,
si p < ,
(
0
si x = y,
f (x) + f (y)
si x 6= y,
|x y| + 2
dA (x, y) :=
|x y| + 1
|x y|
si
si
si
si
x = y,
x 6= y y {x, y} A,
x 6= y, {x, y} * A y {x, y} * X \ A,
x 6= y y {x, y} X \ A,
2 Espacios pseudometricos
Espacios metricos
(i N)
( es creciente),
(desigualdad triangular ),
entonces la funci
on
d : X X R0 ,
definida por
d(x, y) := d1 (x, y), . . . , dn (x, y), . . . ,
es una pseudometrica, que es una metrica si y s
olo si para todo x, y X, con x 6= y,
existe i N tal que di (x, y) > 0.
Ejercicio 1.16. Consideremos una sucesi
on a := (an )nN de n
umeros reales positivos.
1. Pruebe que si a es acotada, entonces la funci
on
a
: RN
0 R0 ,
definida por
a
Espacios metricos
2. Si
i=1 ai
2 Espacios pseudometricos
< , entonces para cada p [1, ) la funci
on
e
dap : X X R0 ,
definida por
v
u
uX
(i)
a
p
e
dp (x, y) := t
ai d (x, y)p ,
i=1
11
Captulo 2
Las bolas abiertas y las bolas cerradas con centro en un punto x de X y radio r > 0, son
los conjuntos
Br (x) := {y X : d(y, x) < r}
- La bola abierta Brd2 (x, y) es el crculo abierto con centro (x, y) y radio r, y B r 2 (x, y)
es el crculo con centro (x, y) y radio r.
- La bola abierta Brd1 (x, y) es el rombo abierto con vertices (xr, y), (x+r, y), (x, y r)
d
y (x, y + r) y B r 1 (x, y) es el rombo con los mismos vertices.
Ejemplo 2.2. En un espacio metrico discreto X,
(
(
(x, y)
(x, y) si r 1,
Br (x, y) =
y
B r (x, y) =
X
si r > 1
X
si r < 1,
si r 1.
Ejemplo 2.3. En C[a, b] la bola abierta Brd (f ) es el conjunto de las funciones g C[a, b]
d
tales que supx[a,b] |f (x) g(x)| < r y la bola cerrada B r (f ) es el conjunto de las funciones
13
XY
Br
valen para cada punto (x, y) y cada r > 0. Dicho de otro modo, cada bola abierta (cerrada) de
X Y es producto de una bola abierta (cerrada) de radio r de X con una de Y . Por inducci
on
resulta entonces que
X1
Xn
BX
r (x1 , . . . , xn ) = Br (x1 ) Br (xn )
Xn
dn
2n
[0, r0 ]
1
.
2n0 +1
1
2n0 +3
<
1
2n0 +2
<
1
2n0 +1
< r.
Como las funciones dj toman sus valores en [0, 1], se sigue de esto
si y s
olo si
dj (xj , yj ) < 2j r
X2
1
0
Br (x) = BX
2r (x1 ) B22 r (x2 ) B2n0 r (xn0 ) Xn0 +1 Xn0 +2
{x}
RA
Br (x) = (x r + 1, x + r 1) (X \ A)
(x r + 1, x + r 1) (X \ A) (x r + 2, x + r 2) A
si r 1,
si 1 < r 2,
si r > 2.
si
si
r
2
r
2
x,
> x,
15
Captulo 3
1.
de R0 {}. M
as generalmente, la distancia d(A, B) entre dos subconjuntos A y B de X,
esta definida por:
d(A, B) :=
nf
aA,bB
bB
d 2, (0, 1] = 1.
1.
2.
3.
4.
5.
n. 1. Porque d(x, ) = nf = .
Demostracio
2. Esto es obvio.
3. Esto tambien es obvio.
4. Para cada a A , existe a0 A tal que d(a, a0 ) < ). Por lo tanto
d(x, A) d(x, a0 ) d(x, a) + .
Como a es arbitrario, esto implica que lo afirmado en el item 3 es verdad.
5. Por definici
on y por propiedades basicas del nfimo,
[
d x,
Bj = Snf
d(x, b) = nf nf d(x, b) = nf d(x, Bj ),
jJ
jJ
jJ bBj
Bj
jJ
como afirmamos.
6. Porque d(x, A) d(x, B) si A B.
Los items del siguiente ejercicio extienden los resultados de la proposicion anterior.
Ejercicio 3.5. Considere un espacio metrico X, subconjuntos A, B, C y D de X, y
familias (Ai )iI y (Bj )jJ de subconjuntos de X. Pruebe que las siguientes afirmaciones son
verdaderas:
d(A, B) < si y s
olo si A y B son no vacos.
d(A, B) = 0 si A B 6= .
Si A B y C D, entonces d(A, C) d(B, D).
Para todo , 0 , con 0 , 0 , d(A, B) d(A , B0 ) + + 0 .
S
S
d iI Ai , jJ Bj = nf iI,jJ d(Ai , Bj ).
T
6. d A, jJ Bj supjJ d(A, Bj ).
1.
2.
3.
4.
5.
n 3.6. |d(x, A) d(y, A)| d(x, y), para todo x, y X y todo subconjunto no
Proposicio
vaco A de X.
18
2 Diametro de un conjunto
para todo z A.
Por lo tanto d(x, A) d(x, y) + d(y, A). Por simetra, d(y, A) d(x, y) + d(x, A).
2.
Di
ametro de un conjunto
El di
ametro de un conjunto A X es el elemento
diam A := sup d(a, b)
a,bA
de
R .
Ejemplo 3.7. El conjunto vaco y las bolas son conjuntos acotados porque
di
am = sup =
19
Captulo 4
Espacios normados
x + y,
1.
Definici
on y primeros ejemplos
Una norma en un k-espacio vectorial E es una funcion k k : E R0 que satisface:
1. kxk = 0 si y s
olo si x = 0.
2. k xk = ||kxk
(homogeneidad).
3. kx + yk kxk + kyk
(propiedad triangular).
Un espacio normado es un k-espacio vectorial E, provisto de una norma.
n 4.1. Si k k es una norma en E, entonces la funci
Proposicio
on d : E E R0 ,
definida por d(x, y) = kx yk, es una metrica que satisface:
1. d(x + z, y + z) = d(x, y) (Invariancia por traslaciones)
2. d( x, y) = ||d(x, y) (Homogeneidad).
n. En efecto,
Demostracio
d(x, y) = 0 kx yk = 0 x = y,
d(x, y) = kx yk = ky xk = d(y, x),
d(x, z) = kx zk kx yk + ky zk = d(x, y) + d(y, z),
d(x + z, y + z) = k(x + z) (y + z)k = kx yk = d(x, y)
21
2 La bola unitaria
Espacios normados
y
d( x, y) = k x yk = ||kx yk = ||d(x, y),
como queramos.
A := { a : a A} y
Br (0)
(1,)
Br (0) =
A := {a : y a A}.
[
Br (0)
(0,1)
2.
La bola unitaria
B1 (0) = {x E : kxk 1}
son
B1 (0) = {x E : kxk < 1}
22
Espacios normados
2 La bola unitaria
1. R0 B = E
2. x + (1 ) y B para todo x, y B y [0, 1]
(B es absorbente),
(B es convexo),
(7)
B = 0 0 B = 0
B
0 B.
0
Por lo tanto si kxk = 0, entonces
\
x
B,
R>0
x+y =x
+ y = ( + )
x
+
y ( + ) B,
+
+
por lo que
kx + yk kxk + kyk,
como queramos.
23
3 Pseudonormas
Espacios normados
Ejercicio 4.6. Pruebe que el resultado establecido en el Teorema 4.5 sigue valiendo si
los items 1,3 y 5 se reemplazan por los siguientes:
1. N B = E,
3. B B para todo escalar con || = 1,
T
5. nN n1 B = 0.
Ejercicio 4.7. Pruebe que un subconjunto B de un espacio vectorial E es la bola abierta
unitaria de una norma si y s
olo si
1.
2.
3.
4.
5.
R0 B = E
x + (1 ) y B para todo x, y B y [0, 1]
B B para todo escalar con || 1,
Para cada x B existe (1, ) tal que x B,
T
R>0 B = 0.
(B es absorbente),
(B es convexo),
3.
Pseudonormas
Una pseudonorma en un k-espacio vectorial E es una funcion k k : E R0 que satisface:
1. kxk = 0 si x = 0.
2. k xk = ||kxk
(homogeneidad).
3. kx + yk kxk + kyk
(propiedad triangular).
Un espacio pseudonormado es un k-espacio vectorial E, provisto de una pseudonorma.
Ejercicio 4.9. Pruebe que si k k es una pseudonorma en E, entonces la funci
on
d : E E R0 ,
definida por d(x, y) = kx yk, es una pseudometrica que satisface:
1. d(x + z, y + z) = d(x, y) (Invariancia por traslaciones)
2. d( x, y) = ||d(x, y) (Homogeneidad).
Pruebe que, recprocamente, si d es una distancia invariante por traslaciones y homogenea en
E, entonces existe una u
nica pseudonorma k k en E tal que
d(x, y) = kx yk
para todo x, y.
En el siguiente ejercicio se supone que el lector conoce la construccion del espacio cociente
de un espacio vectorial por un subespacio (Vease el Apendice A).
24
Espacios normados
3 Pseudonormas
(x) = 0 si y s
olo si x = 0,
Si x y, entonces (x) (y)
(x + y) (x) + (y)
( x) = (x) para todo x Rn0 y R0
( es creciente),
(desigualdad triangular ),
( es homogenea),
entonces la funci
on k k : E R0 , definida por
kxk := kxk1 , . . . , kxkn ,
es una pseudonorma, que es una norma si y s
olo si para todo x E \ {0} existe i {1, . . . , n}
tal que kxki > 0.
n. Es claro que k0k = 0. Ademas, como es homogenea,
Demostracio
k xk = k xk1 , . . . , k xkn = || kxk1 , . . . , kxkn = ||kxk
para todo x E y k, y como es creciente y tiene la propiedad triangular,
kx + yk = kx + yk1 , . . . , kx + ykn
kxk + kyk1 , . . . , kxk + kykn
kxk1 , . . . , kxkn + kyk1 , . . . , kykn
= kxk + kyk
para todo x E. Para terminar, es evidente que la u
ltima afirmacion es verdadera.
Ejemplos 4.13. Las funciones p : Rn0 R0 (1 p ) consideradas en los Ejemplos 1.12 satisfacen las condiciones pedidas a en la Proposici
on 4.12. Usando este hecho es
f
acil ver que si k k(1) , . . . , k k(n) son normas definidas sobre un espacio vectorial E, entonces
la funci
on k kp (1 p ), definida por:
m
ax kxk(1) , . . . , kxk(n)
si p = ,
kxkp := q
p kxkp + kxkp
si p < ,
(1)
(n)
25
3 Pseudonormas
Espacios normados
es una norma sobre E, y que si (E1 , k kE1 ), . . . , (En , k kEn ) son espacios normados, entonces
el producto E1 En es un espacio normado via la norma k kp (1 p ) definida por:
m
si p = ,
ax kx1 kE1 , . . . , kxn kEn
kxkp := q
p kx1 kp + kxn kp
si p < .
En
E1
26
Captulo 5
Sucesiones
Una sucesi
on de puntos de X es una funcion x : N X. Siguiendo una practica habitual
escribiremos xn en lugar de x(n) y denotaremos a la sucesion x con el smbolo (xn )nN . Por
ejemplo, ( n1 )nN y (1)n nN son sucesiones de n
umeros reales. Una sucesion (yn )nN es
una subsucesi
on de (xn )nN si existe una funcion estrictamente creciente s : N N tal que
1
)nN es una subsucesion de ( n1 )nN . En este caso
yn = xsn para todo n N. Por ejemplo, ( 2n
sn = 2n. Una sucesi
on (xn )nN de puntos de X es convergente si hay un punto x X con la
siguiente propiedad: dado > 0, existe n0 N tal que
d(xn , x) <
En este caso decimos tambien que (xn )nN tiende a x o que x es el lmite de (xn )nN , y
escribimos
lm xn = x,
o
(xn )nN n / x .
n
Este lmite es u
nico. En efecto, como d(x, y) d(x, xn ) + d(xn , y) para todo n, si
(xn )nN
/x
(xn )nN
/y,
Sucesiones
Ejemplo 5.5. Una sucesi
on de funciones continuas fn : [a, b] R tiende a una funci
on
continua f : [a, b] R, respecto de la distancia d1 , si y s
olo si el area de la regi
on acotada
determinada por los gr
aficos de fn y f tiende a cero.
Ejercicio 5.6. Cu
ando converge una sucesi
on (xn )nN de puntos de NS (ver el septimo
item de los Ejemplos 1.2).
n 5.7. Para cada espacio metrico X, cada sucesi
Observacio
on (xn )nN de puntos de x
y cada x X son equivalentes:
1. (xn )nN
/x
Nota 5.14. El resultado establecido en el corolario anterior vale para todas las normas k kp , pero cuando p 6= no se sigue directamente de la Proposici
on 5.11. Es necesario
n
n
probar adem
as que (R , k kp ) y (R , k k ) tienen las mismas sucesiones convergentes y los
lmites coinciden (el lector puede probar esto ahora como un ejercicio o deducirlo m
as adelante
del Ejercicio 10.9).
28
Sucesiones
El resultado establecido en el Corolario 5.12 es cierto para un producto numerable de
espacios metricos, dotado de la metrica de . Esta es una de las razones por las que esta
metrica es u
til. Por supuesto, para probar esto no puede apelarse a la Proposicion 5.11. Dado
un producto numerable
X := X1 X2
de conjuntos no vacos, la j-esima proyeccion canonica de X es la funcion pXj : X Xj
definida por pXj (x) = xj si x = (x1 , x2 , x3 , . . . ).
n 5.15. Consideremos una familia numerable (Xi , di ) (i N) de espacios
Proposicio
metricos. Una sucesi
on (xn )nN de puntos de
(X, d ) := (X1 X2 X3 , d )
tiende a un punto x X si y s
olo si la sucesi
on pXj (xn ) nN tiende a pXj (x) para todo j N.
n. Denotemos con xnj a la j-esima cordenada pXj (xn ) de xn , y con xj
Demostracio
a pXj (x). Supongamos primero que (xn )nN tiende a x. Debemos probar que dado > 0,
existe n0 N tal que
xnj B (xj )
para todo n n0 .
Pero por el Ejemplo 2.5, para conseguir esto basta tomar n0 tal que
xn B j (x)
2
para todo n n0 .
Sucesiones
n 5.18. Un punto x de X es un punto de aglomeraci
Observacio
on de (xn )nN si y s
olo
si para toda bola Br (x) con centro en x hay infinitos m N con xm Br (x). En efecto, si
x = lmn xsn , entonces existe n0 N tal que
xsn Br (x)
para todo n n0 .
Como la funci
on n 7 sn es inyectiva, esto prueba que el conjunto
{m N : xm Br (x)}
es infinito. Recprocamente, si el conjunto Ur de los m N tales que xm Br (x) es infinito
para todo r > 0, entonces la sucesi
on (xsn )nN , donde sn es el n-esimo elemento de U1/n
respecto del orden usual, tiende a x, y es una subsucesi
on de (xn )nN , porque la funci
on
n 7 sn es estrictamente creciente.
n 5.19. Recordemos que la recta real extendida R consta del conjunto R
Observacio
m
as dos elementos y tales que < a < para cada n
umero real a. En R todo
conjunto es acotado y tiene supremo e infimo. Consideremos una sucesi
on (xn )nN de puntos
de R. Definimos el lmite superior y el lmite inferior de (xn )nN como los elementos
lm sup xn := nf sup xi
n
n in
lm nf xn := sup nf xi ,
n
n in
Sucesiones
una pregunta natural. Existe una metrica sobre R bajo la cual la convergencia de sucesiones
es la usual?. Como veremos m
as adelante, la respuesta es que si. Tambien estudiaremos y
caracterizaremos los espacios metricos que tienen la propiedad de que toda sucesi
on tiene una
subsucesi
on convergente.
31
Captulo 6
Topologa de espacios m
etricos
1.
Conjuntos abiertos
(R2 , k
k k
1 Conjuntos abiertos
para alg
un r > 0. Esto prueba que jJ Uj es abierto. Por u
ltimo, dado x U V , existen
0
n
umeros reales positivos r y r , tales que Br (x) U y Br0 (x) V . Denotemos con r00 al
mnimo de r y r0 . Es evidente que Br00 (x) U V .
Por la Observaci
on 6.8 y el Teorema 6.9, un conjunto U X es abierto si y solo si es
union de bolas abiertas. Para los abiertos de la recta hay una descripcion mas precisa.
Teorema 6.10. Un subconjunto U de R es abierto si y s
olo si es uni
on disjunta de
intervalos abiertos.
n. ): Esto es una consecuencia inmediata de la Observacion 6.8 y del
Demostracio
Teorema 6.9.
): Para cada x R, denotemos con Ix a la union de todos los intervalos abiertos de R que
contienen a x y est
an includos en U . Escribamos ax := nf(Ix ) y bx := sup(Ix ). Es evidente
que
[ax , bx ] si ax 6= y bx 6= ,
(a , b ] si a = y b 6= ,
x x
x
x
(ax , bx ) Ix
[a
,
b
)
si
a
=
6
y
b
x
x = ,
x x
(ax , bx ) si ax = y bx = ,
34
1 Conjuntos abiertos
S
pero como Ix es abierto, forzosamente Ix = (ax , bx ). Es claro que U = Ix . Para terminar
la demostraci
on basta observar que si Ix Iy 6= , entonces Ix = Iy , ya que si no fuera as,
Ix Iy sera un intervalo abierto estrictamente mayor que Ix o que Iy , que contendra a x y
a y, contradiciendo la definici
on de Ix o de Iy .
Ejercicio 6.11. Pruebe que la descomposici
on de un abierto U de R como uni
on disjunta
de intervalos abiertos obtenida en el Teorema 6.10, es u
nica. Pruebe tambien que la cantidad
de intervalos es finita o numerable.
2. x A si y s
olo si para toda sucesi
on (xn )nN de puntos de X que tiende a x, existe
n0 N tal que xn A para todo n n0 .
3. A A y A = A si y s
olo si A es abierto.
4. Si A B, entonces A B .
5. A = A .
6. (A B) = A B .
S
S
7. jJ Aj ( jJ Aj ) .
n. Es evidente que los items 1, 3, 4 y 5 valen. Por la Observacion 5.7,
Demostracio
1 Conjuntos abiertos
Br (y) = Br (y) Y
[
[
[
A =
BrYy (y) =
BrXy (y) Y =
BrXy (y) Y.
yAY
yAY
yAY
2.
2 Conjuntos cerrados
Conjuntos cerrados
jJ
37
2 Conjuntos cerrados
2.1. El conjunto de Cantor Ahora vamos a introducir un ejemplo famoso de conjunto cerrado que tiene muchas propiedades interesantes, por ejemplo, en un sentido es muy
peque
no porque tiene interior vaco, perotiene el cardinal del continuo. Tomemos el intervalo
1 2
J0 := [0, 1] y quit
el intervalo
resultante J1 es union de los intervalos
emosle
2 3 , 3 . El conjunto
1
cerrados I0 := 0, 3 e I1 := 3 , 1 , de longitud 13 . Partamos cada uno de estos intervalos en
tres partes iguales, y eliminemos el intervalo
obtenido
abierto
del medio. El
conjunto
J2 es
union de los cuatro intervalos I00 := 0, 19 , I01 := 92 , 39 , I10 := 96 , 79 e I11 := 98 , 1 , cada
uno de longitud 19 . Partiendo cada uno de estos intervalos en tres partes iguales y quitando el
intervalo abierto del
obtenemos
medio,
2 3 el
conjunto J63 , el
cual es uni
o8n de
los ocho intervalos
18 19
1
7
9
cerrados I000 :=
0,
,
I
:=
,
,
I
:=
,
,
I
:=
,
001
010
011
27
27 27
27 27
27 27 , I100 := 27 , 27 ,
25
26
20 21
I101 := 27
, 27 , I110 := 24
27 , 27 e I111 := 27 , 1 . Continuando con este proceso recursivo
obtenemos una familia de conjuntos
J1 J2 J3 Jn ,
donde Jn es la uni
on de 2n intervalos cerrados disjuntos Ii1 ...in (ih T{0, 1}), cada uno de
1
longitud 3n . Definimos el conjunto de Cantor C como la interseccion nN Jn de todos los
Jn s. Como cada Jn es cerrado, C es cerrado, y como Jn no incluye a ninguna bola abierta
de radio mayor que 31n , tiene interior vaco. Usando la construccion recursiva de los Jn s es
facil probar por inducci
on que los extremos izquierdo y derecho del intervalo Ii1 ...in son los
n
umeros racionales
n
n
n
X
X
X
X
2 ih
2 ih
2
2 ih
1
y
+ n =
+
,
(8)
h
h
h
3
3
3
3
3h
h=1
h=1
h=1
h=n+1
a a
ah
ah
1
2
:=
f
,
,
.
.
.
,
,
.
.
.
2 2
2
3h
h=1
2 Conjuntos cerrados
Ejemplo 6.32. En R la clausura de los intervalos acotados (a, b), (a, b], [a, b] y [a, b] es el
intervalo cerrado [a, b], la clausura de los intervalos (, a) y (, a] es el intervalo (, a],
y la de los intervalos (a, ) y [a, ) es [a, ). Por supuesto, la clausura (, ) = R es R.
Adem
as la de los intervalos degenerados = (a, a) = [a, a) = (a, a] es el conjunto vaco y la
del intervalo degenerado {a} = [a, a] es {a}.
n 6.33. X \ A = (X \ A) y X \ A = X \ A.
Proposicio
n. La primera igualdad vale porque (X \ A) es el maximo subconjunto
Demostracio
abierto de X \ A y, por lo tanto, es el complemento del mnimo cerrado que incluye a A. La
otra igualdad se puede probar de la misma manera.
n 6.34. Para todo A X y cada x X son equivalentes:
Proposicio
1.
2.
3.
4.
5.
x A.
Br (x) A 6= para todo r > 0.
V A 6= para todo enorno V de x.
Hay una sucesi
on de puntos de A que tiende a x.
d(x, A) = 0.
Teorema 6.35. Las siguientes afirmaciones son verdaderas para cada subconjunto A
de X:
1. A A y A = A si y s
olo si A es cerrado.
2. A B A B.
3. A = A.
4. A B = A B.
T
T
5. jJ Aj jJ Aj .
n. Los tres primeros items son evidentes. Por el item 2 sabemos que
Demostracio
A B A B, y la inclusi
on recproca vale porque A B es un subconjunto cerrado de
X que incluye a A B. La u
ltima afirmacion se sigue del item 2.
El resultado que sigue da otra prueba de que el producto de cerrados en un producto
finito de espacios metricos, es cerrado (Ejemplo 6.25).
n 6.36. Consideremos un producto finito X1 Xn de espacios metricos.
Proposicio
La igualdad
A1 An = A1 An
vale para cada n-upla (A1 , . . . , An ) de conjuntos, con Ai Xi para todo i.
39
2 Conjuntos cerrados
Dicho de otra forma, si toda bola abierta con centro x contiene puntos de A distintos de x,
o, equivalentemente, si d(x, A \ {x}) = 0. Denotamos con A0 al conjunto de los puntos de
acumulaci
on de A. Es claro que A0 A y que si x A \ A, entonces x A0 . As
(9)
A = A A0 .
n. Las equivalencias
Demostracio
A es cerrado en Y Y \ A es abierto en Y
U X, abierto en X, tal que U Y = Y \ A
U X, abierto en X, tal que (X \ U ) Y = A,
muestran que la afirmaci
on del enunciado es verdadera.
Corolario 6.40. Para cada espacio metrico X, cada subespacio Y de X y cada subconX
Y
junto A de Y , las adherencias A , de A en X, y A , de A en Y , satisfacen la igualdad
Y
A = A Y.
X
3.
(10)
En consecuencia
A Fr(A) = A t Fr(A) = A
A \ Fr(A) = A \ Fr(A) = A .
As, A es cerrado si y s
olo si Fr(A) A, y es abierto si y solo si A Fr(A) = .
n 6.41. Por las Observaciones 6.8 y 6.29, sabemos que si
Observacio
Br (x) A Br (x),
entonces Fr(A) Sr (x). La inclusi
on puede ser estricta. Por ejemplo, si X est
a dotado de la
metrica discreta, entonces Fr(B1 (x)) = y S1 (x) = X \ {x} para todo x X. Como veremos
enseguida, esto no puede pasar en espacios normados.
n 6.42. Cada bola abierta Br (x) de un espacio normado E, con centro en un
Proposicio
punto de una esfera Ss (y), tiene puntos de Bs (y) y de E \ Bs (y).
n. Consideremos el vector z := x + (y x), donde es un escalar. Las
Demostracio
igualdades
kx zk = k (x y)k = ||kx yk = ||r
y
ky zk = k(1 ) (y x)k = |1 |r
muestran que
z Br (x) Bs (y) si || < 1 y |1 | < s/r,
k
esto es, si Bs/r (1) Bk1 (0), donde k denota al cuerpo de escalares, y que
z E \ Br (x) Bs (y) si || > 1 y |1 | < s/r,
41
k
o, lo que es igual, si Bks/r (1) E \ B1 (0) .
es el subconjunto
(x1 , . . . , xn ) [1, 1] ([1, 1] : existe i con xi = 1 o xi = 1
de Rn . M
as generalmente, dados espacios normados E1 , . . . , En , la frontera en E1 En
del conjunto
B1E1 (0) BnEn (0),
E
En
i1
i+1
i
B 1 1 (0) B i1
(0) SE
1 (0) B i+1 (0) B n (0),
i=1
E
B j j (0)
donde
denota a la bola cerrada con centro 0 y radio 1 en Ej y S1 j (0) denota a la
esfera con centro 0 y radio 1 de Ej .
42
A0 ,
La relaci
on entre el borde y la frontera de un conjunto esta dada por las igualdades
(A) = Fr(A) A
En efecto,
Fr(A) A = (A \ A ) A = A \ A = (A)
y
(A) (X \ A) = (A \ A ) (A \ A) = A \ A = F r(A).
Ejercicio 6.49. Pruebe que para cada espacio metrico X y cada subconjunto A de X es
cierto que:
1.
2.
3.
4.
5.
6.
7.
8.
43
Captulo 7
1.
Funciones continuas
Una funci
on f : X Y es continua en un punto x X si para todo > 0 existe > 0 tal
que f (B (x)) B (f (x)), es continua en un subconjunto A de X si lo es en cada punto de A,
y es continua si es continua en X. Por ejemplo, la inclusion can
nica iA : A X es continua
para cada espacio metrico X y cada subespacio A de X, y las funciones constantes
X
x
cy0
/Y
/ y0
son continuas para cada par de espacios metricos X, Y . En particular, la funcion identidad
id : X X es continua.
n 7.1. De la definici
Observacio
on de continuidad en un punto se sigue inmediatamente
que si x es un punto aislado de X, entonces para cada espacio metrico Y , toda funci
on
f : X Y es continua en x.
n 7.2. Son equivalentes:
Proposicio
1.
2.
3.
4.
f : X Y es continua en x.
Para todo entorno abierto U de f (x) hay un entorno abierto V de x tal que f (V ) U .
f 1 (U ) es un entorno de x, para cada entorno U de f (x).
(f (xn ))nN tiende a f (x), para cada sucesi
on (xn )nN que tiende a x.
1 Funciones continuas
1 Funciones continuas
f1 fn
tambien lo es.
47
Y1 Yn
f1 (x1 ), . . . , fn (xn )
1 Funciones continuas
n. Basta observar que pYj (f1 fn ) = fj pYj para todo j {1, . . . , n},
Demostracio
y que estas funciones son continuas debido a que son composicion de funciones continuas.
Ejercicio 7.10. Pruebe que las funciones
kk
(x, y)
/k
,
/ x+y
kk
(x, y)
/k
/ xy
k \ {0}
x
inv
/ k \ {0} ,
/ x1
1 Funciones continuas
- Para todo espacio metrico Z, hay una biyeccion entre las funciones continuas de Z en
X y las funciones continuas Z en Y .
- Para todo espacio metrico Z, hay una biyeccion entre las funciones continuas de X
en Z y las funciones continuas Y en Z.
- Tienen la misma cantidad de puntos aislados. En particular, X es perfecto si y solo
si Y lo es.
Por lo tanto, todas esta son propiedades topologicas.
n 7.14. Una funci
Observacio
on f : X Y puede ser continua y biyectiva sin ser un
homeomorfismo. Un ejemplo es la funci
on identidad id : (R, d) R, donde d es la metrica
discreta y el codominio es considerado con la metrica usual.
Una funci
on f : X Z es abierta si f (U ) es abierto para todo abierto U de X y es cerrada
si f (C) es cerrado para todo cerrado C de X. Por ejemplo, para cada par X, Y de espacios
metricos, la proyecciones can
onicas pX : X Y X y pY : X Y Y son funciones abiertas
porque
Y
X
pX (BrXY (x, y)) = pX (BX
r (x) Br (y)) = Br (x)
y
Y
Y
pY (BrXY (x, y)) = pY (BX
r (x) Br (y)) = Br (y)
para todo r > 0 y cada (x, y) X Y . En general estas funciones no son cerradas. Por
ejemplo, el conjunto {(x, y) R2 : x > 0 e y = x1 } es un subconjunto cerrado de R2 cuya
proyeccion a la primera coordenada es el conjunto (0, ), que no es cerrado. Otro ejemplo de
una funcion abierta que en general no es cerrada es la inclusion canonica iY : : Y X, de
un subconjunto abierto Y de X en X. En cambio, si Y es cerrado, entonces iY es una funcion
cerrada, que en general no es abierta.
Ejercicio 7.15. Encuentre funciones fj : Xj Yj (i = 1, . . . , 8) entre espacios metricos,
tales que:
- f1 no es ni continua, ni abierta, ni cerrada,
- f2 es continua, pero no es abierta ni cerrada,
- f3 es abierta, pero no es continua ni cerrada,
- f4 es cerrada, pero no es continua ni abierta,
- f5 es continua y abierta, pero no es cerrada,
- f6 es continua y cerrada, pero no es abierta,
- f7 es abierta y cerrada, pero no es continua,
- f8 es continua, abierta y cerrada.
n 7.16. Para cada funci
Observacio
on biyectiva f : X X 0 son equivalentes:
1. f es un homeomorfismo.
2. f es continua y abierta.
3. f es continua y cerrada.
49
Ejemplo 7.17. Todos los intervalos abiertos no vacos de R son homeomorfos. En efecto,
x
la funci
on f1 : R (1, 1) definida por f1 (x) := 1+x
es un homeomorfismo con inversa
y
1
on f2 : (1, 1) (a, b),
f1 (y) = 1y . Para cada intervalo acotado (a, b), tambien lo es la funci
ba
b+a
definida por f2 (x) := 2 x + 2 ; y es claro que para cada a R lo son las funciones
f3 : (, a) (a, ) y f4 : (, 1) (, a) dadas por f3 (x) = x y
(
x
si x 0,
f4 (x) :=
ax si x 0.
Por u
ltimo, la funci
on f5 : R (, 1) definida por
(
x
si x 0,
f5 (x) :=
x
si x 0,
1+x
es un homeomorfismo.
2.
son equivalentes:
- Para todo > 0, existe > 0 tal que
d(z, z 0 ) < d fX (z), fX (z 0 ) < y d fY (z), fY (z 0 ) < para todo z, z 0 Z.
- Para todo > 0, existe > 0 tal que
d(z, z 0 ) < d f (z), f (z 0 )
para todo z, z 0 Z.
f1 fn
Y1 Yn
f1 (x1 ), . . . , fn (xn )
tambien lo es.
n. Basta observar que pYj (f1 fn ) = fj pYj para todo j {1, . . . , n},
Demostracio
y que estas funciones son uniformemente continuas porque son composicion de funciones
uniformemente continuas.
51
3 Funciones de Lipschitz
n. Por
Demostracio
otesis, dado > 0, existe > 0 tal que si a, a0 A1 o a, a0 A2 ,
hip
0
entonces d f (a), f (a ) < /2 < . Es evidente que podemos tomar < . Si lo hacemos,
entonces
d f (a), f (a0 ) d f (a), f (a00 ) + d f (a00 ), f (a0 ) < 2 = ,
2
donde a00 es como en el enunciado, para cada a A1 y a0 A2 .
ab 1
|a b|,
| a b| =
a + b 2
valida para todo a, b 1, se comprueba f
acilmente que f es uniformemente continua sobre [1, ]. Como las hip
otesis de la Proposici
on 7.26 se satisfacen (como puede tomarse
cualquier n
umero real positivo), f es uniformemente continua.
Corolario 7.28. Consideremos una funci
on f : X Y . Escribamos X como uni
on
X = A1 A2 de dos subconjuntos. Si d A1 \A2 , A2 \A1 , > 0 y f|A1 y f|A2 son uniformememnte
continuas, entonces f es uniformemente continua.
n. Las hip
Demostracio
otesis de la proposicion se satisfacen trivialmente si tomamos
= d A1 \ A2 , A2 \ A1 , > 0 porque no hay ning
un a1 A1 y a2 A2 a distancia menor
que .
Una funci
on f : X Y es un isomorfismo uniforme si es biyectiva, uniformemente continua, y su inversa es uniformemente continua. Dos espacios metricos X e Y son uniformemente
equivalentes si existe un isomorfismo uniforme de X en Y . En ese caso escribimos X 'u Y .
Argumentos identicos a los usados para probar que la relacion ' es reflexiva simetrica y transitiva, prueban que 'u tambien lo es. Una propiedad de espacios metricos es una propiedad
uniforme si cada vez que un espacio metrico X la tiene, la tienen tambien todos los que
son uniformemente isomorfos a X. Por supuesto, las propiedades topologicas son propiedades
uniformes. Pero hay muchas propiedades uniformes que no son topologicas. No damos ning
un
ejemplo ahora, porque todava no hemos introducidos ninguna, pero mas adelante veremos
varias (como la completitud y la acotacion total).
3.
Funciones de Lipschitz
Una funci
on de Lipschitz si existe una constante K 0 tal que
on f : X Y es una funci
d f (x), f (x0 ) Kd(x, x0 ) para todo x, x0 X. El mnimo K que satisface esta condicion es la
constante de Lipschitz de f . Una funcion de Lipschitz es una funci
on corta si tiene constante
de Lipschitz menor o igual que 1, y es una contracci
on si su constante de Lipschitz es menor
que 1.
52
3 Funciones de Lipschitz
1
|a b|
| a b| =
a+ b
y
1
a+ b
pY : X Y Y,
3 Funciones de Lipschitz
para todo x, y X,
por la Proposici
on 3.6.
n 7.36. Si f : X Y y g : Y Z son funciones de Lipschitz, entonces g f
Proposicio
es de Lipschitz.
n. Denotemos con Kf y Kg a las constantes de Lipschitz de f y g, respecDemostracio
tivamente. Como
d g f (x), g f (x0 ) Kg d f (x), f (x0 ) Kg Kf d(x, x0 )
para cada para x, x0 de puntos de X, la funcion g f es de Lipschitz, con constante de
Lipschitz menor o igual que Kg Kf .
Consideremos un espacio metrico X y dos conjuntos disjuntos A y B de X. Decimos que
una funcion continua f : X R separa a A y B si f vale cero sobre A y uno sobre B. El
siguiente resultado muestra que para cada par de cerrados disjuntos hay una funcion continua
que los separa.
Teorema 7.37. Dados subconjuntos cerrados y no vacos C y D de un espacio metrico X,
tales que C D = , la funci
on C,D : X [0, 1], dada por
d(x, C)
,
d(x, C) + d(x, D)
est
a bien definida, es continua, se anula identicamente sobre C y es constantemente igual a 1
sobre D.
C,D (x) :=
para todo x X.
Ademas, es claro que 0 C,D (x) 1 para todo x. Por lo tanto, la funcion C,D esta bien
definida. Para probar que continua es suficiente notar que es cociente de funciones reales que
lo son, y es obvio que vale cero sobre C y uno sobre D.
Corolario 7.38. Dados un cerrado D y un abierto U de X, con D U , existe una
funci
on continua f : X [0, 1], tal que f|D = 1 y f|X\U = 0.
n. Este resultado es una consecuencia inmediata del Teorema 7.37.
Demostracio
3 Funciones de Lipschitz
para todo z, z 0 Z.
para todo z, z 0 Z.
f1 fn
Y1 Yn
f1 (x1 ), . . . , fn (xn )
tambien lo es.
n. Basta observar que pYj (f1 fn ) = fj pYj para todo j {1, . . . , n},
Demostracio
y que estas funciones son continuas de Lipschitz porque son composicion de funciones continuas de Lipschitz.
n 7.44. Consideremos una funci
Proposicio
on de Lipschitz f : X Y . La imagen por f
de cada conjunto acotado A de X, es un conjunto acotado de Y .
n. Denotemos con K a la constante de Lipschitz de f . Como
Demostracio
d f (x), f (x0 ) Kd(x, x0 ) para todo x, x0 X,
si A tiene di
ametro M , entonces f (A) tiene diametro menor o igual que KM .
n 7.45. Para que valga el resultado anterior no es suficiente que f sea uniObservacio
formemente continua. Si X es un espacio metrico no acotado, entonces la funci
on identidad
id : Xd X, donde Xd es el conjunto subyacente de X dotado con la metrica discreta, es
uniformemente continua y aplica su dominio (que es un conjunto acotado) sobre su codominio (que no lo es). Es m
as, cuando X es N (con la distancia usual), f es un isomorfismo
uniforme.
55
4 Isometras
Una funci
on f : X Y es un isomorfismo de Lipschitz si es biyectiva, de Lipschitz, y su
inversa es de Lipschitz. Dos espacios metricos X e Y son isomorfos en el sentido de Lipschitz
si hay un isomorfismo de Lipschitz f : X Y . En ese caso escribimos X 'Lips Y . Tal como
ocurre con las relaciones ' y 'u , la relacion 'Lips es reflexiva simetrica y transitiva. Una
propiedad de un espacio metrico es una propiedad de Lipschitz si cada vez que un espacio la
tiene, la tienen tambien todos los que son isomorfos en el sentido de Lipschitz a el. Es claro
que las propiedades uniformes son propiedades de Lipschitz. Una propiedad de Lipschitz que
no es uniforme, es la de ser un espacio metrico acotado.
n 7.46. Para cada espacio normado E, las siguientes afirmaciones son verProposicio
daderas:
1. La funci
on E
k k
2. La funci
on E E
/ R0 es una funci
on corta.
+
/ E es de Lipschitz.
/ E es continua. Adem
3. La funci
on k E
as, su restricci
on a Br (0) Br (0) es
continua de Lipschitz, para todo r > 0.
4. Si k\{0} y a E, entonces la funci
on : E E, definida por ,a (x) := a+x,
es un isomorfismo de Lipschitz.
4.
Isometras
Una funci
on f : X Y es una isometra si d(x, x0 ) = d f (x), f (x0 ) para todo x, x0 X.
Por ejemplo, dados un espacio metrico X y un subconjunto A de X, la inclusion canonica
iA : A X, de A en X, es una isometra, si (como es usual) se piensa al dominio dotado
con la metrica inducida por la de X. Las isometras son funciones cortas, pero en realidad la
definicion de isometra es mucho m
as fuerte, porque donde en la de funcion corta se pide que
valga una desigualdad, en la de isometra se pide que valga una igualdad.
n 7.47. Las isometras son funciones inyectivas. En efecto, si f : X Y es
Observacio
una isometra, entonces
f (x) = f (x0 ) d f (x), f (x0 ) = 0 d(x, x0 ) = 0 x = x0 .
Por supuesto, esto no es verdad, si en lugar de tratar con espacios metricos, tratamos con
espacios pseudometricos.
Ejercicio 7.48. Muestre que existen isometras no sobreyectivas f : X X.
56
4 Isometras
57
Captulo 8
Espacios m
etricos separables
si x 6= n1 para todo n N,
si x = n1 ,
est
a a una distancia mayor o igual que 1 de todas las fj s. Por lo tanto B[0, 1] no es separable.
Una base de X es un conjunto B P(X), de subconjuntos abiertos de X, tal que
[
(11)
U=
V,
V B
V U
es una base contable de X. Para comprobarlo, dados una bola abierta Br (x) y un punto
y Br (x), tomemos m N tal que B 2 (y) Br (x) y elijamos xn B 1 (y). Es evidente que
m
m
entonces y B 1 (xn ) B 2 (y) Br (x).
m
iN
S
donde la u
ltima igualdad se sigue de que Vj = {Un : Un Vj }, para cada j J.
5. 3. Por hip
otesis, para cada n N el cubrimiento abierto
o
n
Vn := B 1 (x) : x X
n
son disjuntos dos a dos. En efecto, si B rx (x) B rx0 (x0 ) 6= , entonces por la propiedad
2
2
triangular
rx rx0
+
max(rx , rx0 ),
d(x, x0 )
2
2
lo que es absurdo. Esto prueba la afirmacion. Entonces U es contable y, por lo tanto, tambien
lo es D.
8. 1. Fijado n N, consideremos el conjunto Dn , constitudo por todos los subconjuntos D
de X tales que d(x, x0 ) n1 para todo x, x0 D, dotado con el orden definido por inclusion.
Si {D : } es una cadena de elementos de Dn , entonces
[
e :=
D
D
es denso en X. Adem
as es contable, porque cada uno de los D(n)s lo es.
X1 Xn
(x1 , . . . , xi1 , x, xi+1 , . . . , xn )
61
63
Captulo 9
Espacios m
etricos completos
Una sucesi
on (xn )nN de puntos de un espacio metrico X es de Cauchy si para todo > 0
existe n0 N tal que d(xn , xm ) < siempre que n, m n0 .
n 9.1. Toda sucesi
Proposicio
on convergente (xn )nN de puntos de X es de Cauchy.
n. Escribamos x = lmn xn y tomemos n0 N tal que d(x, xn ) < 2 si
Demostracio
n n0 . Entonces d(xn , xm ) d(xn , x) + d(x, xm ) < siempre que n, m n0 .
La recproca de la proposici
on anterior es falsa. Por ejemplo, la sucesion n1 nN es de
cauchy en X := R \ {0} y no es convergente (no al menos en ese espacio). En este ejemplo el
espacio X puede sumergirse en otro en el que toda sucesion de Cauchy es convergente (se trata
del espacio R, que, como veremos pronto, tiene esta propiedad). Mas adelante probaremos
que este es un fen
omeno general.
Antes de introducir los espacios que vamos a estudiar en este captulo, veamos que una
condicion que evidentemente es necesaria para que una sucesion de Cauchy converja, tambien
es suficiente.
n 9.2. Si una sucesi
Proposicio
on de puntos de X es de Cauchy y tiene una subsucesi
on
convergente, entonces es convergente.
n. Supongamos que x1 , x2 , . . . es una tal sucesion y que xs1 , xs2 , . . . es
Demostracio
una subsucesi
on convergente. Escribamos x := lmn xsn . Por hipotesis, dado > 0 existe
n0 N, tal que d(xsl , x) < /2 y d(xn , xm ) < /2 siempre que l, m, n n0 . Elijamos l n0 .
Entonces,
d(xn , x) d(xn , xsl ) + d(xsl , x) < /2 + /2 = ,
siempre que n n0 , puesto que sl n0 .
1.
Definici
on y primeros ejemplos
Un espacio metrico es completo si todas sus sucesiones de Cauchy son convergentes. Por
ejemplo, todo espacio metrico discreto es completo porque sus sucesiones de Cauchy son
finalmente constantes, y Q no lo es.
65
El siguiente resultado muestra que la recproca de la Proposicion 9.5 vale aunque el espacio
ambiente no sea completo.
n 9.7. Si C es un subespacio completo de un espacio metrico X, entonces C
Proposicio
es un subconjunto cerrado de X.
n. Dado x C, tomemos una sucesion (xn )nN de puntos de C que tiende
Demostracio
a x. Como es convergente, (xn )nN es de Cauchy. Por lo tanto, como C es completo, converge
en C. Como su lmite no puede ser otro que x, esto implica que x C. As, C = C.
n 9.8. Todo producto X1 Xn de espacios metricos completos X1 , . . . , Xn ,
Proposicio
es un espacio metrico completo.
n. Como una sucesion de puntos de X := X1 Xn converge si y solo
Demostracio
si cada una de sus sucesiones coordenadas converge, para concluir que la afirmacion hecha en
el enunciado es verdadera debemos mostrar
que una sucesion (xn )nN de puntos de X es de
Cauchy si y s
olo si la sucesi
on pXj (xn ) nN , donde pXj : X Xj es la proyeccion canonica
a la j-esima coordenada, es de Cauchy para todo j {1, . . . , n}. Pero esto es cierto porque,
por la definici
on de d ,
d (xm , xn ) = max d pXj (xm ), pXj (xn )
1jn
para todo m, n N.
\
Bn 6= .
n=1
Cn 6= .
n=1
Cn = {x}.
n=1
1
2i1
para todo i N,
en consecuencia,
Cn = {x}.
n=1
para alg
un x X. Afirmamos que lmn xn = x. En efecto, puesto que dado > 0, existe
n0 N tal que
di
am(Cn ) < para todo n > n0 ,
y puesto que x y xn pertenecen a Cn ; dado > 0, existe n0 N (el mismo n0 ) tal que
d(x, xn ) < para todo n > n0 .
As, lmn xn = x.
Una funci
on f : Z X, de un conjunto Z en un espacio metrico X, es acotada si
diam(f (Z)) < , es decir si su imagen es un conjunto acotado. Para sucesiones (el caso
Z = N) esta definici
on fue dada en el Ejercicio 5.10, y para funciones f : [a, b] R, donde
[a, b] es un intervalo cerrado de R, la supusimos conocida por el lector cuando dimos el tercero
de los Ejemplos 1.2 de espacios metricos. El conjunto
B(Z, X) := {f : Z X : f es acotada}
es un espacio metrico via
d (f, g) := sup d(f (z), g(z)).
zZ
Nota 9.11. En el Captulo 1 escribimos B[a, b] en lugar de B([a, b], R), pero en este y
en los que siguen no usaremos esa notaci
on simplificada. Lo mismo ocurrir
a con la notaci
on
para el espacio de las funciones continuas y acotadas C[a, b], cuando consideremos casos m
as
generales, lo que haremos pronto.
Decimos que una sucesi
on de funciones fn B(Z, X) es uniformemente de Cauchy si
(fn )nN es de Cauchy en B(Z, X) y que tiende uniformemente a f B(Z, X) si tiende a f
en B(Z, X). En este caso tambien escribimos
fn unif / f
f = lm fn .
unif
Ejemplo 9.12. Los elementos de B(Z, R) son las funciones acotadas en el sentido usual
donde d(x,
y) := mn(1, |x y|), (vease el Ejerde Z en R; en cambio, cuando X es (R, d),
cicio 1.6) B(Z, X) es el conjunto de todas las funciones de Z en R. M
as generalmente, si
(X, d) es cualquier espacio metrico y
y) := mn(1, d(x, y)),
d(x,
= X Z . Adem
entonces B(Z, (X, d))
as, como
d (f, g) = mn(1, d (f, g))
la inclusi
on can
onica i : (B(Z, (X, d), d ) (B(Z, (X, d), d ) es un isomorfismo uniforme
de B(Z, (X, d), d ) con su imagen.
Teorema 9.13. Si X es completo, entonces B(Z, X) tambien lo es.
68
2 Completaci
on
n. Por la definici
Demostracio
on de d , si f1 , f2 , . . . es una sucesion uniformemente de
Cauchy de puntos de B(Z, X), entonces f1 (z), f2 (z), . . . es una sucesion de Cauchy en X, y
por lo tanto convergente, para cada z Z. Denotemos con f : Z X a la funcion definida
por
f (z) = lm fn (z).
n
Como (fn )nN es uniformemente de Cauchy, dado > 0, existe n0 N tal que d (fn , fm ) <
siempre que n, m n0 . En consecuencia, si n n0 , entonces
d(fn (z), f (z)) = lm d(fn (z), fm (z)) ,
m
para todo z Z. As, fn tiende a f uniformemente. Para ver que f es acotada es suficiente
notar que si d (fn (z), f (z)) < 1 para todo z Z, entonces
d(f (z), f (z 0 )) d(f (z), fn (z)) + d(fn (z), fn (z 0 )) + d(fn (z 0 ), f (z 0 )) 2 + diam fn (Z)
para todo z, z 0 Z.
El teorema anterior nos permite dar una prueba alternativa de que Rn es un espacio
metric completo.
Corolario 9.14. (Rn , d ), donde d es la distancia introducida en el item 2 de los
Ejemplos 1.2, es completo para todo n N0 .
n. Porque R es completo y hay un isometra biyectiva evidente entre
Demostracio
(Rn , d ) y (B({1, . . . , n}, R), d ) (esto justifica el uso del mismo smbolo para designar a
las funciones distancia de ambos espacios).
Supongamos que Z tambien es un espacio metrico y denotemos con C(Z, X) a
C(Z, X) = {f B(Z, X) : f es continua}.
Teorema 9.15. C(Z, X) es un subconjunto cerrado en B(Z, X) y, por lo tanto, es un
espacio metrico completo.
n. Consideremos funciones fn C(Z, X) y f B(Z, X), donde n N.
Demostracio
Supongamos que fn unif / f y fijemos z0 Z. Dado > 0, tomemos n0 N tal que
d (fn0 , f ) < 3 . Como fn0 es continua, existe > 0 tal que d(fn0 (z), fn0 (z0 )) < 3 si z B (z0 ).
As, para todo z B (z0 ),
d(f (z), f (z0 )) d(f (z), fn0 (z)) + d(fn0 (z), fn0 (z0 )) + d(fn0 (z0 ), f (z0 )) < .
Como z0 es arbitrario, esto prueba el teorema.
2.
Completaci
on
2 Completacion
Una completaci
on de un espacio metrico X es un espacio metrico completo X 0 , junto
con una isometra i : X X 0 tal que i(X) es denso en X 0 . Notemos que por el item 1 del
Teorema 9.16, la metrica de X 0 est
a determinada por la de X y por i. Esto tambien se deduce
facilmente del siguiente teorema.
Teorema 9.17. Todo espacio metrico X tiene una completaci
on. Adem
as, dadas completaciones (X10 , i1 ) y (X20 , i2 ), existe una u
nica isometra biyectiva f : X10 X20 tal que el
diagrama
X
i1
i2
}
}f
}
/ X0
2
}>
X10
conmuta.
0
i1 i1
2 : i2 (X) X1 ,
obtenemos isometras f : X10 X20 y g : X20 X10 , respectivamente. Como i1 (X) es denso en
X10 y g f|i1 (X) : i1 (X) X10 es la inclusion, g f = idX10 . Analogamente, f g = idX20 .
70
2 Completaci
on
yX
y
d (ia (x), ia (x0 )) |ia (x)(x) ia (x0 )(x)| = |d(x, x) d(x0 , x)| = d(x, x0 ),
la funcion ia es una isometra. Es claro ahora que (ia (X), ia ) es una completacion de X.
71
Captulo 10
M
etricas Equivalentes
d1 y d2 son topol
ogicamente equivalentes.
(X, d1 ) y (X, d2 ) tienen los mismos abiertos.
(X, d1 ) y (X, d2 ) tienen los mismos cerrados.
Para cada x X y cada > 0 existe > 0 tal que
Bd1 (x) Bd2 (x)
5. Una sucesi
on (xn )nN de puntos de X tiende a x X en (X, d1 ) si y s
olo si tiende
a x en (X, d2 ).
n. 1. 2. Por la equivalencia entre los items 1 y 2 del Teorema 7.3.
Demostracio
2. 3. Porque un conjunto es cerrado si y solo si es el complemento de un abierto.
2. 4. Por la definici
on de subconjunto abierto de un espacio metrico, dada al comienzo de
la Seccion 1.
1. 5. Por la equivalencia entre los items 1 y 4 de la Proposicion 7.2.
n 10.3. Si d1 y d2 son metricas uniformemente equivalentes de X, entonces
Observacio
(X, d1 ) y (X, d2 ) tienen las mismas sucesiones de Cauchy. En consecuencia, uno es completo
si y s
olo si el otro lo es.
73
Metricas Equivalentes
Por la Proposici
on 1.5 sabemos que si f : R0 R0 es una funcion creciente que satisface
f 1 (0) = {0}
f (x + y) f (x) + f (y)
para todo x, y R0 ,
y d es una funci
on distancia definida sobre un conjunto X, entonces f d tambien es una
funcion distancia. A continuaci
on establecemos condiciones necesarias y suficientes para que
f d sea equivalente a d para toda distancia d.
Lema 10.4. Consideremos una funci
on f : R0 R0 que satisface las condiciones mencionadas arriba. Son equivalentes:
1. f es continua.
2. f es continua en 0.
3. La funci
on identidad id : (X, d) (X, f d) es uniformemente continua para cada
espacio metrico (X, d).
4. La funci
on identidad id : (X, d) (X, f d) es continua para cada espacio metrico (X, d).
n. Es claro que 1 2 y 3 4.
Demostracio
2. 3. Por hip
otesis, sabemos que para cada > 0 existe > 0 tal que f (t) < si t < .
En consecuencia f d(x, x0 ) < siempre que d(x, x0 ) < .
4. 1. Tomemos (X, d) como R0 provisto de la metrica usual. Entonces
d := f d(x, y) = f (|x y|).
Por el item 2 de la Proposici
on 1.1,
0) d(y,
0)| d(x,
y)
|f (x) f (y)| = |d(x,
para todo x, y R.
As, la funci
on
(R0 , d)
x
R
f (x)
Metricas Equivalentes
n 10.6. Para cada funci
Proposicio
on f : R0 R0 que satisface las condiciones mencionadas arriba del Lema 10.4, son equivalentes:
1.
2.
3.
4.
f es continua y para todo > 0 existe > 0 tal que f (x) < x < .
f es continua en 0 y para todo > 0 existe > 0 tal que f (x) < x < .
(X, f d) es equivalente a (X, d) para todo espacio metrico (X, d).
(X, f d) es uniformemente equivalente a (X, d) para todo espacio metrico (X, d).
n 10.7. La condici
Observacio
on en el item 1 se satisface si existe un a > 0 tal que
f : [0, a) [0, f (a) es un homeomorfismo.
Ejercicio 10.8. Pruebe que dos metricas d1 y d2 de un conjunto X son uniformemente
equivalentes si y s
olo si para cada > 0 existe > 0 tal que
Bd1 (x) Bd2 (x)
para todo x X.
Ejercicio 10.9. Pruebe que en Rn todas las distancias dp (1 p ), introducidas en
los items 1 y 2 de los Ejemplos 1.2, son uniformemente equivalentes. Concluya que Rn es
completo con cada una de ellas.
75
Captulo 11
Una funci
on f : X X es una contracci
on si existe 0 < k < 1 tal que
d(f (x), f (y)) kd(x, y)
para todo x, y X.
mn1
X
i=0
mn1
X
!
k
d(x0 , f (x0 ))
i=0
kn
d(x0 , f (x0 )).
1k
En consecuencia, como k n tiende a 0 cuando n tiende a infinito, x0 , x1 , x2 , . . . es de Cauchy.
Escribamos x = lmn xn . Entonces
77
a11
..
A= .
a1m
.. Rmm
.
..
.
am1
amm
m
X
max
|aij ||xj yj |
i
j=1
max
i
m
X
|aij | d (~x, ~y ),
j=1
y
)
d1 (T (~x), T (~y )) =
ij
j
j
i=1 j=1
m X
m
X
|aij ||xj yj |
j=1 i=1
max
j
m
X
!
|aij | d1 (~x, ~y ),
i=1
lo que da la condici
on
m
X
|aij | < 1
i=1
78
para 1 j m.
p
m
m
X
X
j=1
p
v
v
uX
uX
m
m
m
X
u
u
p
q
t
|aij |q t
|xj yj |p
j=1
i=1
j=1
p
v
uX
m
m
X
u
q
t
|aij |q dp (~x, ~y )p ,
=
j=1
i=1
j=1
Pm
la cual para p = 2 se transforma en i,j=1 a2ij < 1. En consecuencia, bajo cualquiera de estas
condiciones la ecuaci
on T (~x) = ~x tiene una soluci
on u
nica ~x0 . Adem
as, lmn T n (~x) = ~x0 ,
m
para todo ~x R .
Ejemplo 11.4. Ahora probaremos un famoso teorema de Picard acerca de la existencia y
unicidad de las soluciones de ciertas ecuaciones diferenciales. En el proceso usaremos libremente el concepto de derivada e integral de funciones reales con valores en Rn . Supongamos
que tenemos una ecuaci
on diferencial
d~y
= f~(x, ~y ),
dx
donde f~ : U Rn es una funci
on continua definida en un abierto U de R Rn . Si existe un
M 0 tal que f~ satisface la siguiente condici
on de Lipschitz con respecto a ~y :
d f~(x, ~y1 ), f~(x, ~y2 ) M d (~y1 , ~y2 ) para todo (x, ~y1 ) y (x, ~y2 ) en U ,
entonces para cada (x0 , ~y0 ) U existe un segmento [x0 d, x0 + d] y una u
nica funci
on
n
diferenciable
~ : [x0 d, x0 + d] R , cuyo gr
afico pasa por (~x0 , ~y0 ), tal que
(x,
~ (x)) U
d~
(x) = f~(x,
~ (x))
dx
~ (x) = ~y0 +
x0
Es f
acil ver que
es un subespacio cerrado del espacio de las funciones continuas y acotadas
C([x0 d, x0 + d], Rn ), donde a Rn lo consideramos provisto de la metrica d y que, por lo
tanto, es completo. Consideremos la aplicaci
on A : C C([x0 d, x0 + d], Rn ), definida por
Z x
A(~
)(x) = ~y0 +
f~(t,
~ (t)) dt.
x0
Dado que
d A(~
)(x), ~y0
Z
=
x0
f~(t,
~ (t)) dt
K|x x0 |,
para todo x [x0 d, x0 + d] y M d < 1. En consecuencia, por el Teorema del punto fijo para
contracciones, la ecuaci
on integral (12) tiene soluci
on u
nica.
El siguiente resultado generaliza el Teorema 11.1.
Teorema 11.5. Si (X, d) es un espacio metrico completo y f : X X es una aplicaci
on
continua tal que f n0 es una contraci
on para alg
un n0 N, entonces f tiene un u
nico punto
fijo.
n. La unicidad se sigue del Teorema 11.1 y de que todo punto fijo de f es
Demostracio
tambien un punto fijo de f n0 . Veamos la existencia. Tomemos x0 X arbitrario. Como f n0
es una contracci
on existe x := lmm f mn0 (x0 ). Afirmamos que f (x) = x. En efecto, dado
que f es continua, f (x) = lmm f mn0 (f (x0 )) y dado que f n0 es una contraccion, existe
0 k < 1 tal que
d(f mn0 (f (x0 )), f mn0 (x0 )) k m d(f n0 (x0 ), x0 ).
As,
d(f (x), x) = lm d(f mn0 (f (x0 )), f mn0 (x0 )) = lm k m d(f n0 (x0 ), x0 ) = 0
m
y, por lo tanto, f (x) = x. Tambien podramos haber argumentado as: por la Nota 11.2
sabemos que
x = lm f mn0 (x0 ) y f (x) = lm f mn0 (f (x0 ))
m
entonces la ecuaci
on integral
Z
(13)
f (x) =
80
A(f )(x) =
a
Afirmamos que
(x a)n
d (f1 , f2 ) para todo x [a, b].
n!
En efecto, el caso n = 0 es trivial, y suponiendo que el resultado vale para n obtenemos
Z x
n+1
n+1
n
n
d(A
(f1 )(x), A
(f2 )(x)) = ||
K(x, y, A (f1 )(y)) K(x, y, A (f2 )(y)) dy
a
Z x
n
n
|| sup
|K(x, y, A (f1 )(y)) K(x, y, A (f2 )(y))| dy
d(An (f1 )(x), An (f2 )(x)) ||n M n
x[a,b] a
Z x
||
a
(y a)n
d (f1 , f2 ) dy
n!
a
Z x
(y a)n
n+1
n+1
dy
= ||
M
d (f1 , f2 )
n!
a
(x a)n+1
= ||n+1 M n+1
d (f1 , f2 ).
(n + 1)!
Z
||M
||n M n
Pero entonces
(b a)n
d (f1 , f2 ).
n!
Esto prueba que A es uniformemente continua y An es una contracci
on para n suficientemente
grande. En consecuencia, por el Teorema 11.5, la ecuaci
on integral (13) tiene una u
nica
soluci
on continua.
d (An (f1 ), An (f2 )) ||n M n
81
Captulo 12
1.
El Teorema de Baire
2 Aplicaciones
[
[
U
Ci
6= U
Ci 6= .
i=1
En consecuencia, si el interior de
i=1
i=1 Ci
es denso, entonces
i=1 Ci
tambien lo es.
Demostraci
probar que existe n N tal que U Cn 6= . Como U es
Son. Debemos
abierto, U ( i=1 Ci ) 6= y
!
[
[
[
(U Ci ) = U
Ci U
Ci ,
i=1
i=1
i=1
2.
Aplicaciones
En esta secci
on damos una pocas aplicaciones del Teorema de Baire. Muchas mas pueden
encontrarse en el libro El Teorema de Categora de Baire y Aplicaciones de Wilman Brito.
2.1.
si existe r > 0 tal que Br (x) = {x}. Esto es, si {x} es un abierto de X. Dado un subconjunto
A de un espacio metrico X, denotemos con aisA (X) al subconjunto de A formado por los
puntos aislados de X que est
an en A.
n 12.6. Si V es un abierto numerable de un espacio metrico completo X,
Proposicio
entonces U V aisU V (X), para cada abierto U de X. En particular V aisV (X) y, por
lo tanto, aisV (X) es infinito y tiene la misma adherencia que V .
n. Supongamos que (U V ) \ aisU V (X) es no vaco. Entonces es finito y
Demostracio
todos sus puntos son aislados, o es infinito numerable, y por el Teorema 12.1 tambien tiene
puntos aislados, pero esto evidentemente es absurdo.
Corolario 12.7. Si X es un espacio metrico completo con finitos puntos aislados, entonces X no es numerable (aunque puede ser finito).
84
2 Aplicaciones
para todo i.
Por definici
on, la m
axima pendiente M P (f, x), de una funcion f : [a, b] R en un punto
x [a, b], es el supremo
f (x + h) f (x)
: x + h [a, b] .
Sup
h
n 12.9. Si M P (f, x) > M P (g, x), entonces
Observacio
M P (f + g, x) M P (f, x) M P (g, x),
porque
(f + g)(x + h) (f + g)(x) f (x + h) f (x) g(x + h) g(x)
=
+
h
h
h
f (x + h) f (x) g(x + h) g(x)
h
h
f (x + h) f (x)
M P (g, x)
h
para todo h.
85
2 Aplicaciones
Lema 12.10. Para todo M, N (0, ) existe h C([a, b], R) tal que d (h, 0) M y
M P (h, x) > N para todo x.
n. consideremos la particion
Demostracio
a = x0 < x1 < < xn1 < xn = b
de [a, b], donde xi = a + i(b a)/n. La funcion continua h : [a, b] R, lineal en cada intervalo
[xi , xi+1 ], definida por
(
M
si i es par,
h(xi ) =
M si i es impar,
satisface las condiciones pedidas si n
N (ba)
2M .
x1 , x2 , x3 , . . . , xi , . . .
de puntos de [a, b] tales que M P (fi , xi ) < n para todo i. Como [a, b] es acotado, (14) tiene
una subsucesi
on convergente
xi1 , xi2 , xi3 , . . . , xij , . . .
Digamos que x es su lmite. Dado h tal que x + h [a, b], exite una sucesion (hj )jN que
tiende a h, tal que xij + hj [a, b] para todo j. Como h es arbitrario, la igualdad
f (x + hj ) f (xij )
f (x + h) f (x)
= lm j ij
n,
j
h
hj
prueba que M P (f, x) n. As, f Cn .
Cn tiene interior vaco. Debemos probar que cada bola abierta Br (f ) con centro en una
funcion continua arbitraria f , tiene puntos que no estan en Cn . Por la Proposicion 12.8,
sabemos que hay una funci
on lineal a trozos g : [a, b] R a distancia menor que r/2 de f .
Como forman un conjunto finito, los modulos de las pendientes de los trozos lineales de g
estan acotados por un n
umero natural m. Por el Lema 12.10, sabemos que existe una funcion
continua h : [a, b] R con |h(x)| r/2 y M P (h, x) > m + n para todo x. Por la desigualdad
triangular la funci
on g + h pertenece a Br (f ) y la Observacion 12.9 muestra que esta fuera
de Cn .
86
2 Aplicaciones
nN
o, lo que es igual,
V
Cn .
nN
6= . As
.
Pero entonces por el Teorema 12.1 existe m tal que Cm
, podemos tomar U = Cm
87
Captulo 13
para todo x A.
i=1
Para probar que vale el item 5), notemos que si la condicion establecida en el item 3) es falsa
para alg
un > 0, entonces dado un punto arbitrario x1 de A, existe x2 A \ B (x1 ), porque
A
B (x1 ); existe x3 A \ (B (x1 ) B (x2 )), porque A
B (x1 ) B (x2 ), etcetera. La
familia (xn )nN construda de este modo satisface la condicion pedida en el enunciado.
Lema 13.2. Consideremos un cubrimiento abierto (Ui )iI de un espacio metrico totalmente acotado X. Si X no es cubierto por ninguna subfamilia finita de (Ui )iI , entonces para
todo > 0 hay una bola cerrada B (x) que no es cubierta por ninguna subfamilia finita de
(Ui )iI .
n. Como X es totalmente acotado existen puntos x1 , . . . , xn X tales que
Demostraci
o
Sn
X = i=1 B (xi ). Si todas estas bolas cerradas fueran cubiertas por subfamilias finitas de
(Ui )iI , entonces X tambien lo sera.
Teorema 13.3. Para todo espacio metrico X son equivalentes:
1.
2.
3.
4.
X es compacto.
A0 6= para todo subconjunto infinito A de X.
Toda sucesi
on (xn )nN de puntos de X tiene una subsucesi
on convergente.
X es totalmente acotado y completo.
3. 4. Por el Teorema 9.2, sabemos que X es completo. Veamos que es totalmente acotado.
Si no lo fuera, existiran > 0 y una sucesion x1 , x2 , . . . de puntos de X tal que d(xi , xj )
si i 6= j. Es obvio que esta sucesi
on no tiene ninguna subsucesion convergente.
4. 1. Supongamos que X tuviera un cubrimiento abierto (Ui )iI sin ning
un subcubrimiento
finito. Usando el Lema 13.2 obtenemos bolas cerradas B1 B2 B3 , ninguna de las
cuales es cubierta por una subfamilia finita de (Ui )iI y tales que diam(Bn ) < n1 . Como X es
T
completo,
n=1 Bn = {x} para un x X. Tomemos Ui tal que x Ui . Es claro que Bj Ui
para alg
un j, lo que es absurdo.
Corolario 13.4. Todo espacio metrico compacto X es separable.
n. Por el teorema anterior, para cada n N existe un conjunto finito de
Demostracio
S
puntos Fn en X tal que B1/n (x) Fn 6= para todo x X. Es claro que nN Fn es denso y
numerable.
Teorema 13.5. Para todo subconjunto C de X es verdad que:
90
n
[
i=1
xi
2 .
xi
2
B xi (xi ).
2
Entonces
xi
xi
2
y, por lo tanto, d0 (f (x), f (x0 )) d0 (f (x), f (xi )) + d0 (f (xi ), f (x0 )) < .
d(x0 , xi ) d(x0 , x) + d(x, xi ) < +
92
Captulo 14
1.
Espacios conexos
n 14.1. Es f
Observacio
acil comprobar que para cada espacio metrico X son equivalentes:
1. Existe un subconjunto no vaco y propio de X que es abierto y cerrado.
2. Existen conjuntos abiertos U1 y U2 de X tales que U1 6= , U2 6= , X = U1 U2 y
U1 U2 = .
3. Existen conjuntos cerrados C1 y C2 de X tales que C1 6= , C2 6= , X = C1 C2 y
C1 C2 = .
4. Existe una funci
on continua f : X {0, 1} no constante (aqu {0, 1} es considerado
provisto de la metrica discreta).
1 Espacios conexos
iI
x0 Ain
Ai es conexo.
2 Espacios arco-conexos
Cx es conexo.
Si x A y A es conexo, entonces A Cx .
Cx Cy = o Cx = Cy .
S
X = xX Cx .
2.
Espacios arco-conexos
2 Espacios arco-conexos
iI
x0 Ain
Ai es arco-conexo.
n. Por hip
Demostracio
otesis, dados x, x0
iI
Ai , existen puntos
x = x0 , x1 , . . . , xn1 , xn = x
tales que para cada i < n hay un camino
i : [ai , ai+1 ]
Ai
iI
de xi en xi+1 . El arco n 0 va de x a x0 .
Cxarc es arco-conexo.
Si x A y A es arco-conexo, entonces A Cxarc .
Cxarc Cyarc = o Cxarc = Cyarc .
S
X = xX Cxarc .
96
Captulo 15
para todo z, z 0 Z y f F.
n
[
Bzi (zi ),
i=1
97
F(zi )
i=1
m
[
B (aj ).
j=1
Denotemos con Inm al conjunto de todas las funciones : {1, . . . , n} {1, . . . , m}. Para
cada S
Inm , escribamos F = {f F : d(f (zi ), a(i) ) < , para todo i}. Es facil ver que
F = Inm F .
Consideremos ahora dos funciones f, g pertenecientes a un mismo F . Dado z Z, tomemos zi tal que d(z, zi ) < zi . Entonces,
d(f (z), g(z)) d(f (z), f (zi )) + d(f (zi ), a(i) ) + d(a(i) , g(zi )) + d(g(zi ), g(z)) < 4.
As, diam(F ) < 4. Como y son arbitrarios, esto muestra que F es totalmente acotado.
2. 3. Tomemos > 0. Como F es relativamente compacto,Sexisten subconjuntos F1 , . . . , Fn
de C(Z, X), todos de di
ametro menor que , tales que F = ni=1 Fi . Elijamos
f1 F1 , . . . , fn Fn .
Dado que, por el Teorema 13.12, las fi s son uniformemente continuas, existe > 0, tal que
d(z, z 0 ) < d(fi (z), fi (z 0 )) < ,
para todo i.
d(z, z 0 )
< , entonces
Una sucesi
on de funciones (fn )nN , de un conjunto X en R, es creciente si fn (x) fn+1 (x)
para todo x X y todo n N y es estrictamente creciente si fn (x) < fn+1 (x) para todo
x X y todo n N.
Teorema 15.2 (Dini). Consideremos un espacio metrico compacto X y una funci
on continua f : X R. Si (fn )nN es un sucesi
on creciente de funciones continuas de X en R, tal
que lmn fn (x) = f (x) para todo x X (convergencia puntual), entonces fn tiende a f
uniformemente.
n. Tomemos x X y > 0. Por hipotesis existe n0 (x), tal que n n0
Demostracio
implica d(fn (x), f (x)) < 2 . Elijamos un entorno abierto Vx de x tal que d(fn0 (x0 ), f (x0 )) <
para todo x0 Vx . Entonces d(fn (x), f (x0 )) < para todo n n0 y x0 Vx . Por compaccidad,
existen x1 , . . . , xm X tales que X = Vx1 Vxm . Si n max{n0 (x1 ), . . . , n0 (xm )},
entonces d(fn (x), f (x)) < para todo x X.
Lema 15.3. La sucesi
on de polinomios Pn (t) R[t], definida recursivamente por
- P0 (t) = 0,
- Pn+1 (t) = Pn (t) + 21 (t Pn2 (t)),
0 Pn (t) < Pn+1 (t) < t para todo n 0 y todo t (0, 1).
Para n = 0 esto es claro. Supongamos que 0 Pn1 (t) < Pn (t) < t. Entonces evidentemente
1
Pn+1 (t) = Pn (t) + (t Pn2 (t)) > Pn (t),
2
1
t Pn (t) + (t Pn2 (t)) < Pn (t) + t Pn (t)
2
t + Pn (t) < 2
p
Pn (t) < 2 (t),
donde la tercera desigualdad equivale a la cuarta porque t Pn (t) > 0. Escribamos ahora
f (t) = lmn Pn (t). Como Pn+1 (t) = Pn (t) + 21 (t Pn2 (t)),
Pn+1 (t) <
1
f (t) = f (t) + (t f (t)2 ),
2
t. Finalmente, la convergencia es uniforme por el Teorema de Dini.
Un
algebra conmutativa sobre un cuerpo k es un anillo conmutativo A junto con un
morfismo de anillos i : k A. Una sub
algebra B de A es un subanillo B de A tal que
i(k) B.
Ejemplo 15.4. Para cada espacio metrico X, el conjunto C(X, R), de las funciones continuas y acotadas de X en R, es un
algebra sobre R via
- (f + g)(x) = f (x) + g(x),
- (f g)(x) = f (x)g(x),
- i()(x) = .
Una sub
algebra A de C(X, R) separa puntos si dados x, y X, existe f A tal que
f (x) 6= f (y).
n 15.5. Si A es una sub
Proposicio
algebra de C(X, R), entonces la adherencia A, de A
respecto de la distancia d , tambien lo es.
n. Tomemos fn , gn , f, g C(X, R). Es facil ver que si
Demostracio
f = lm fn
unif
g = lm gn ,
unif
entonces f + g = lm fn + gn y f g = lm fn gn .
unif
unif
,
2
2
2
2
donde |f g| es la funci
on definida por |f g|(x) = |f (x)g(x)|, para verificar esta afirmacion,
bastara probar que h A |h| A. Pero por el Lema 15.3, sabemos que
donde M > 0 es cualquier cota superior de {|h(x)| : x X}, y como Pn M12 h2 A para
todo n N, de este hecho se sigue que |h| A.
2) Dados x,y X y a,b R, existe f A tal que f (x) = a y f (y) = b. En efecto, si
g A satisface g(x) 6= g(y), podemos tomar
g(z) g(x)
.
f (z) = a + (b a)
g(y) g(x)
3) Dados h C(X,R), x X y > 0, existe hx A tal que hx (x) = h(x) y
hx (x0 ) h(x0 ) + para todo x0 X. En efecto, por el segundo paso, para cada y X
podemos elegir hxy A tal que hxy (x) = h(x) y hxy (y) = h(y) y, una vez elegido hxy , tomar
0 ) < h(y 0 ) + para todo y 0 V . Por compaccidad
un entorno abierto Vy de y tal que hxy
y
S(y
m
existen y1 , . . . , ym X tales que X = i=1 Vyi . La funcion hx = mn(hxy1 , . . . , hxym ) satisface
la desigualdad pedida y, por el primer paso, pertenece a A.
e A tal que h < h
e < h + . En efecto, para
4) Dado h C(X,R) y > 0, existe h
cada x X, tomemos primero, hx como en el tercer paso, y luego un entorno abierto Vx de x
tal que hx (x0 ) > h(x0 ) para todo x0 Vx . Por compaccidad existen x1 , . . . , xm X tales
S
on e
h = max(hx1 , . . . , hxm ) satisface la desigualdad
que X = m
i=1 Vxi . Claramente la funci
pedida y, por el primer paso, pertenece a A.
Corolario 15.7. Toda funci
on continua f : [a, b] R es lmite uniforme de una sucesi
on
P1 , P2 , P3 , . . . de funciones polinomiales Pn : [a, b] R.
100
Captulo 16
Espacios de Banach
1.
Espacios de Banach
Un espacio de Banach es un espacio normado completo.
1 Espacios de Banach
Espacios de Banach
p
elementos de R que satisfacen
i=1 |xi | < , es un espacio de Banach con la norma
p
P
p
on
k kp , definida por kxkp = p
i=1 |xi | . En efecto, dada una sucesi
x := x1 , x2 , x3 , . . .
y n N, denotemos con x|n a (x1 , . . . , xn ). Por el item 6 de los Ejemplos 1.2
kx|n + y|n kp kx|n kp + ky|n kp kxkp + kykp .
Como esto vale para todo n,
kx + ykp = lm (kx|n + y|n kp ) kxkp + kykp .
n
Como adem
as
v
v
u
u
uX
uX
p
p
k x|p = t
|xi |p = || t
|xi |p = ||kx|p ,
i=1
i=1
kxn|m x|m kp = l
m kxn|m xn|m kp .
0
n
kxn xkp = l
m kxn|m x|m kp
0
n
para todo n n0 .
Espacios de Banach
2 Transformaciones Lineales
k k
/ R0 ,
EE
/E
kE
/E ,
se extienden de manera u
nica a funciones continuas
E0
k k0
/ R0 ,
E0 E0
+0
/ E0
k E0
/ E0 .
para cada k, y usando esto se comprueba facilmente que E 0 es un k-espacio vectorial. Por
ejemplo, la suma es comutativa porque
x +0 y = lm (xn + yn ) = lm (yn + xn ) = y +0 x,
n
y
k 0 xk0 = k lm ( xn )k0 = lm k xn k = lm (||kxn k) = || lm (kxn k) = ||kxk0 ,
muestran que k
0
n
k0 es
que k
k0
2.
Transformaciones Lineales
define la distancia de
E0.
2 Transformaciones Lineales
Espacios de Banach
3. f es continua en 0.
4. supkxk1 kf (x)k < .
n. 1. 2. Porque si c es una cota de f , entonces
Demostracio
kf (x) f (x0 )k = kf (x x0 )k ckx x0 k
para todo x, x0 E.
2. 3. Es evidente.
3. 4. Por hip
otesis, existe > 0 tal que f (B (0)) B1 (0). En consecuencia,
1
1
1 0
k f (x)k = 0 kf ( 0 x)k < 0 ,
0
kf (x)k
= mn{c R0 : kf (x)k ckxk x E},
xE\{0} kxk
sup
kxk1
y
kf k = 0 kf (x)k = 0 para todo x E con kxk 1 f = 0.
104
Espacios de Banach
2 Transformaciones Lineales
n 16.7. De la desigualdad
Observacio
kf (x)g(y)k = kf (x)g(x)+g(x)g(y)k k(f g)(x)k+kg(xy)k kf gkkxk+kgkkxyk,
valida para todo f, g L(E, F ) y todo x, y E, se sigue que la funci
on evaluacion
ev : L(E, F ) E F,
definida por ev(f, x) = f (x), es continua. En consecuencia si f = lmn fn en L(E, F ) y
x = lmn xn en E, entonces f (x) = lmn f (xn ) en F . Esto muestra en particular que si
fn tiende a f en L(E, F ), entonces fn tiende a f puntualmente. M
as a
un, de la desigualdad
mencionada arriba se sigue f
acilmente que si fn tiende a f en L(E, F ), entonces fn tiende a
f uniformemente sobre cada subconjunto acotado de E.
Teorema 16.8. Si F es un espacio de Banach, entonces tambien lo es L(E, F ).
n. Consideremos una sucesion de Cauchy (fn )nN en L(E, F ). Para cada
Demostracio
x E, la sucesi
on fn (x) es de Cauchy en F porque kfn (x) fm (x)k kfn fm kkxk.
Escribamos f (x) = lmn fn (x). Las igualdades
f (x + x0 ) = lm fn (x + x0 ) = lm fn (x) + lm fn (x0 ) = f (x) + f (x0 )
n
y
f ( x) = lm fn ( x) = lm fn (x) = f (x),
n
muestran que f es lineal. Como (fn )nN es de Cauchy, dado > 0, existe n0 N tal que
kfn fm k < si n, m n0 . Entonces, para cada x E,
k(f fm )(x)k = lm k(fn fm )(x)k kxk
(16)
y, por lo tanto,
kf (x)k kfm (x)k + k(f fm )(x)k < (kfm k + )kxk,
para todo m > n0 , lo que implica en particular que f L(E, F ). Por u
ltimo, de la igualdad (16) se sigue que f = lmn fn .
n 16.9. Si f L(E, F ) y g L(F, G), entonces g f L(E, G) y, adem
Proposicio
as,
kg f k kgkkf k.
n. Porque kg(f (x))k kgkkf (x)k kgkkf kkxk para todo x E.
Demostracio
105
2 Transformaciones Lineales
Espacios de Banach
kxk=1
La recproca no es cierta. Por ejemplo, el endomorfismo de R2 dado por (x, y) 7 (x, 0), tiene
norma 1 y no es una isometra.
n 16.12. Si f : E F es un isomorfismo, kf k 1 y kf 1 k 1, entonces f
Proposicio
es una isometra.
n. Para cada x E,
Demostracio
kxk = kf 1 f (x)k kf 1 kkf (x)k kf (x)k.
Pero por otra parte, kf (x)k kf kkxk kxk.
kxk=1 ||=1
kxk=1 ||=1
y
kj 1 k = sup kj 1 (f )k = sup kf (1)k sup kf k = 1.
kf k=1
kf k=1
kf k=1
As, por la Proposicion 16.12, j es una isometra. Notese que el argumento muestra tambien
que Homk (k, F ) = L(k, F ).
El resultado que sigue mejora el Ejercicio 10.9.
Teorema 16.14. Si E es un espacio vectorial de dimensi
on finita, entonces todas las
normas de E son equivalentes.
n. Sin perdida de generalidad podemos suponer que E = k n y que una de
Demostracio
las normas es la norma k k . Denotemos con k k a la otra norma y con (e1 , . . . , en ) a la base
canonica de k n . Cada vector x = (x1 , . . . , xn ) k n satisface
kxk = kx1 e1 + + xn en k |x1 |ke1 k + + |xn |ken k nM kxk ,
donde M = m
ax(ke1 k, . . . , ken k). As, para todo par de vectores x, y k n ,
|kxk kyk| kx yk nM kx yk .
En consecuencia, la aplicaci
on k k : (k n , k k ) k continua. Como {x k n : kxk = 1} es
compacto, existen c1 , c2 > 0, tales que c1 kxk c2 para todo x k n con kxk = 1. Pero
esto implica que
x
x
c1 kxk
c2 kxk
y
kxk = kxk
kxk = kxk
kxk
kxk
para cada x k n \ {0}.
Espacios de Banach
2 Transformaciones Lineales
2.1.
vectorial Homk (E, k) y el espacio dual de E es el espacio normado E := L(E, k). Un subespacio H de E es un hiperplano si existe Homk (E, k) no nulo, tal que H = ker().
n 16.17. Para cada subespacio H de E, son equivalentes:
Proposicio
1. H es un hiperplano.
2. H E y si L es un subespacio de E tal que H
3. Existe x E \ H tal que hH, xi = E.
L, entonces L = E.
1
M kyk
para cada y E.
P
Dados un espacio normado E y una sucesion (an )nN de elementos de E, la serie n=1 an ,
P
P
de termino general an , es la sucesi
on (S1 , S2 , . . . ), donde Si = in=1 an . Una serie
n=1 an es
convergente si existe
l
m
S
=
s.
En
tal
caso
decimos
que
s
es
el
l
mite
o
la
suma
de
la serie
i
i
P
P
y escribimos s =
a
.
Finalmente,
decimos
que
a
es
absol
u
tamente
convergente
n=1 n P
n=1 n
si la serie de n
umeros reales
n=1 kan k converge.
P
n 16.19. Toda serie
Proposicio
n=1 an , de elementos de un espacio de Banach E, que
es absolutamente convergente, es convergente.
107
2 Transformaciones Lineales
Espacios de Banach
n. Como
Demostracio
n=1 kan k
es de Cauchy y
n=1 an
lp ,
donde q
i=1
X
X
ky k sup |y (x)| = sup
yi xi sup
|yi xi | sup kykq kxkp = kykq ,
kxkp =1
kxkp =1
kxkp =1
kxkp =1
i=1
i=1
lp .
ky=1k
ky=1k
(n)
(n)
n
n
X
X
X
(n)
(n)
q1
(x ) =
xi (ei ) =
|(ei )|
sg((ei ))(ei ) =
|(ei )|q .
i=1
i=1
108
i=1
Espacios de Banach
2 Transformaciones Lineales
As,
n
X
i=1
n
X
!1
|(ei )|(q1)p
= kk
i=1
n
X
!1
|(ei )|q
i=1
por lo que
v
u n
uX
q
t
|(ei )|q kk.
i=1
Haciendo tender n a infinito, obtenemos que kg()kq kk. Igual que en el caso anterior,
esto prueba simultaneamente ambas afirmaciones.
Para terminar la demostraci
on s
olo falta probar que f(g()) = para todo lp . Pero
si x = (x1 , x2 , x3 , . . . ) lp , entonces
f(g())(x) = f((e1 ), (e2 ), (e3 ), . . . )(x) =
xi (ei ) = (x),
i=1
donde la u
ltima igualdad se sigue de que
!1
n
p
X
X
0
xi ei
=
|xi |p
x
i=1
i>n
p
P
y, por lo tanto, x = i=1 xi ei en lp .
cuando n tiende a ,
e
f
una (W hxi) tal que kk = kk. Dando por hecho el caso trivial e = 0, y multiplicando
e = 1. Definimos (w + x) = (w)
e
por una constante, podemos suponer que kk
+ a, con
e = 1. Es decir, de
a R fijo. Debemos ver que se puede elegir a de forma tal que kk kk
e
f . Reemplazando w por
forma tal que |(w)
+ a| kw + xk para todo R y w W
e
w es facil ver que para ello ser
a suficiente elegir a tal que |(w)
+ a| kw + xk para todo
f , o equivalentemente, tal que
wW
e
e
(w)
kw + xk a (w)
+ kw + xk
f.
para todo w W
f
vW
e
e + kv + xk para todo v, w W
f . Pero
o, lo que es igual, que (w)
kw + xk (v)
e (w)
e
e w)| kv wk = k(v + x) (w + x)k kv + xk + kw + xk,
(v)
|(v
e = 1.
donde la segunda desigualdad vale porque kk
109
2 Transformaciones Lineales
Espacios de Banach
Por la Proposici
on 16.18, como ker() = S es cerrado, es continua. La demostracion se
termina aplicando el teorema anterior.
Corolario 16.24. Dados x, y E tales que hxi hyi = {0}, existe un funcional E
tal que (x) = 0 y (y) = 1. En particular, si E 6= 0, entonces E 6= 0.
n. Esto es consecuencia del corolario anterior y del hecho de que por el
Demostracio
Corolario 16.15, el subespacio S = hxi de E, es cerrado.
Teorema 16.25. Si L(E, F ) es un espacio de Banach y E 6= 0, entonces F tambien es
un espacio de Banach.
n. Fijemos una funcional E no nula y un punto x0 E tal que
Demostracio
(x0 ) = 1. Dado y F , definimos fy : E F por fy (x) = (x) y. Es evidente que fy es
lineal, y es continua porque
kfy (x)k = k(x) yk kykkkkxk.
Ademas, la correspondencia
/ L(E, F )
/ fy
F
y
es lineal y satisface
kxk=1
En consecuencia, si (yn )nN es una sucesion de Cauchy en F , entonces la sucesion (fyn )nN
es de Cauchy en L(E, F ) y, por lo tanto, como L(E, F ) es completo, converge en L(E, F ) a
una funcion lineal f : E F . Pero entonces
f (x0 ) = lm fyn (x0 ) = lm (x0 ) yn = lm yn ,
n
Espacios de Banach
2 Transformaciones Lineales
si k = R,
si k = C,
de E. Es f
acil ver que hx1 , x2 , . . . iQ es numerable y hx1 , x2 , . . . iQ = hx1 , x2 , . . . i = E.
1
nj .
e n )| kn kkx
e
e
|nj (xnj )| = |nj (xnj ) (x
nj k = knj k 0,
j
j
e
porque e se anula sobre S. As, e = 0, lo que es absurdo porque (x)
= 1.
no es isomorfo a l .
Corolario 16.29. l
1
2 Transformaciones Lineales
Espacios de Banach
Recordemos que un
algebra conmutativa sobre un cuerpo k es un anillo conmutativo A
junto con un morfismo de anillos i : k A. Una k-
algebra (no necesariamente conmutativa)
es un anillo A junto con un morfismo de anillos i : k A tal que i()a = ai() para todo
a A y k. Por ejemplo, para cada cuerpo k el anillo de matrices Mn (k) es un algebra via
la aplicaci
on i : k Mn (k) definida por i() := I, donde I es la matriz identidad. Si A es
una k-algebra, entonces A es un k-espacio vectorial via a := i()a, y
(ab) = ( a)b = a( b)
(18)
Espacios de Banach
2 Transformaciones Lineales
y (1 + x +
x2
Teorema 16.34. Si A es un
algebra de Banach, entonces U (A) es abierto.
n. Debemos probar que para cada x0 U (A), existe > 0 tal que
Demostracio
B (x0 ) U (A),
1
o lo que es equivalente, que x1
0 (x0 +x) = 1+x0 x es inversible para todo x B (0). Pero por
1
el Lema 16.33, para que esto u
ltimo ocurra es suficiente tomar = kx1
0 k , porque entonces
1
kx1
0 xk kx0 kkxk < 1.
Teorema 16.35. Si A es un
algebra de Banach, entonces la funci
on
InvA : U (A) U (A),
definida por InvA (x) := x1 , es continua y, por lo tanto, como es involutiva, un homeomorfismo.
n. Tomemos x0 U (A) y x Bkx1 k1 (0). Los argumentos dados en la
Demostracio
0
demostraci
on del Teorema 16.34 prueban que x0 x es inversible. Usando que
1 1
(x0 x)1 = (1 x1
0 x) x0
y
1 3
1 2
1
= 1 + x1
(1 x1
0 x + (x0 x) + (x0 x) + ,
0 x)
kx1
0 k
n
(kx1
0 kkxk)
n=1
1
kx0 kkxk
kx1
k.
1
kx0 kkxk 0
kx1
0 kkxk
kx1
0 k
1kx1
kkxk
0
2 Transformaciones Lineales
Espacios de Banach
y Ru : L(F, E) L(E),
definidas por L
u (f ) := u f y Ru (g) := g u, son isomorfismos de espacios de Banach. Como
L1
U
(L(E))
= I(F, E) y, por el Teorema 16.34, sabemos que U (L(E)) es un subconjunto
u
abierto de L(E), el conjunto I(E, F ) es un subconjunto abierto de L(E, F ). Para ver que
InvE,F es continua basta notar que InvE,F = Ru InvL(E) Lu , y recordar que InvL(E) es
continua por el Teorema 16.35. Ahora es claro que InvE,F es un homeomorfismo, con inversa
InvF,E .
[
[
f (BE
F =
f (BE
(0))
=
i
i (0)),
i=1
i=1
F
un r > 0. Si x f 1 (y), entonces
existen n N e y F tales que f (BE
n (0)) Br (y) para alg
F
F
F
E
0
f (BE
n+kxk (0)) Br (0). En efecto, si z Br (0), entonces z = z + y Br (y) f (Bn (0)), y
as,
E
z = z 0 y f (BE
n (0)) f (x) f (Bn+kxk (0)).
F
Tomemos > 1 tal que n + kxk r. Es evidente que f (BE
r (0)) Br (0). De hecho vale
algo que aparentemente es m
as fuerte aunque en realidad es equivalente: que f (BE
t (0))
F
F
Bt (0) para todo t > 0. En efecto, dado y Bt (0), existe una sucesion de puntos (xn )nN
r
de BE
mn f (xn ). Es claro entonces que y = lmn f ( rt xn ) y
r (0) tal que t y = l
E
F
F
1
as y f (BE
t (0)). Vamos a probar que f (B2t (0)) Bt (0). Fijemos y Bt (0) y 0 < < 2 .
F
E
Tomemos primero x1 BE
t (0) tal que y f (x1 ) Bt (0), luego tomemos x2 Bt (0)
F
tal que y (f (x1 ) + f (x2 )) B2 t (0), etcetera. Existen as x1 , x2 , . . . , xn , E, tales
Pn
P
F
que xn BE
i=1 f (xi ) B n t (0) para todo n N. La serie
i=1 xi es
n1 t (0) y y
absolutamente convergente ya que
X
X
t
kxi k
i1 t =
< 2t.
1
i=1
i=1
114
Espacios de Banach
2 Transformaciones Lineales
P
P
Ademas, si x =
i=1 xi , entonces kxk
i=1 kxi k < 2t y f (x) = y, lo que prueba la
afirmacion. Consideremos ahora un abierto U de V y un punto x de U . Tomemos t > 0 tal
que BV2t (x) U . Entonces
E
E
F
F
f (U ) f (BE
2t (x)) = f (x + B2t (0)) = f (x) + f (B2t (0)) f (x) + Bt (0) = Bt (f (x)),
/F
<
zz
z
z
zz
E
zz f
z
zz
Gr(f )
donde E y F son las funciones definidas por E (x, y) = x y F (x, y) = y. Es facil ver que
E y F son continuas y que E es biyectiva. Por el Teorema de la funcion abierta sabemos
1
1
que E
es continua. Entonces f = F E
tambien lo es.
115
3 Funciones Multilineales
3.
Espacios de Banach
Funciones Multilineales
Una funci
on f : E1 En F , del producto de una familia E1 , . . . , En de k-espacios
vectoriales en un k-espacio vectorial F , es multilineal si para todo i con 1 i n y toda familia x1 , . . . , xi1 , xi+1 , . . . , xn con xj Ej , la aplicacion x 7 f (x1 , . . . , xi1 , x, xi+1 , . . . , xn )
es una funci
on lineal de Ei en F . El conjunto de todas las aplicaciones multilineales de
E1 En en F , provisto de la suma y el producto por escalares definidos por
(f + g)(x1 , . . . , xn ) = f (x1 , . . . , xn ) + g(x1 , . . . , xn )
y
( f )(x1 , . . . , xn ) = f (x1 , . . . , xn ).
es un k-espacio vectorial, llamado espacio de las funciones multilinealeas de E1 En en
F y denotado Mult(E1 , . . . , En ; F ).
Teorema 16.42. La funci
on
: Mult(E1 , . . . , En ; F ) Mult(E1 , . . . , En1 ; Homk (En , F )),
definida por (f )(x1 , . . . , xn1 )(x) = f (x1 , . . . , xn1 , x), es un isomorfismo de espacios vectoriales.
n. Las igualdades
Demostracio
(f + g)(x1 , . . . , xn1 )(x) = (f + g)(x1 , . . . , xn1 , x)
= f (x1 , . . . , xn1 , x) + g(x1 , . . . , xn1 , x)
= (f )(x1 , . . . , xn1 )(x) + (g)(x1 , . . . , xn1 )(x)
y
( f )(x1 , . . . , xn1 )(x) = ( f )(x1 , . . . , xn1 , x)
= f (x1 , . . . , xn1 , x)
= (f )(x1 , . . . , xn1 )(x)
= ( ((f )(x1 , . . . , xn1 )))(x)
= ( (f ))(x1 , . . . , xn1 )(x),
muestran que es lineal. Por u
ltimo, es facil ver que es inversible, y que su inversa
es la funci
on : Mult(E1 , . . . , En1 ; Homk (En , F )) Mult(E1 , . . . , En ; F ), definida por
(g)(x1 , . . . , xn ) = g(x1 , . . . , xn1 )(xn ).
Teorema 16.43. Para cada f Mult(E1 , . . . , En ; F ), son equivalentes:
1. f es continua en 0.
2. f es continua.
3. Existe M 0 tal que
kf (x1 , . . . , xn )k M kx1 k kxn k
para todo (x1 , . . . , xn ) E1 En .
116
Espacios de Banach
3 Funciones Multilineales
n
X
i=1
n
X
i=1
Por lo tanto
kf (y1 , . . . , yn ) f (x1 , . . . , xn )k
n
X
i=1
n
X
i=1
kx1 k kxn k
kf (y1 , . . . , yn )k
=
0n
1
< 0 n kx1 k kxn k,
donde yj =
0
kxj k
1
0 n .
kf (x1 , . . . xn )k
sup
(x1 ,...xn )B1 (0)B1 (0)
3 Funciones Multilineales
Espacios de Banach
118
Captulo 17
C
alculo Diferencial
Una funci
on f : U V , donde U E y V F son subconjuntos abiertos de espacios de
Banach E y F , es diferenciable en un punto x0 U si existe T L(E, F ) tal que
lm
v0
lm
v0
R(v)
= 0.
kvk
n 17.1. Si existe, T es u
Observacio
nico.
n. Supongamos que Te L(E, F ) tiene la misma propiedad que T . Usando
Demostracio
que para cada v E \ {0}
kT (v) Te(v)k
k(f (x0 + v) f (x0 ) Te(v)) (f (x0 + v) f (x0 ) T (v))
=
kvk
kvk
kf (x0 + v) f (x0 ) Te(v)k kf (x0 + v) f (x0 ) T (v)k
+
,
kvk
kvk
y que la expresi
on a la derecha de la desigualdad anterior es un infinitesimo cuando v tiende
a cero, es f
acil ver que para todo v 6= 0
kT ( v) Te( v)k
||kT (v) Te(v)k
kT (v) Te(v)k
= lm
=
.
0
0
k vk
||kvk
kvk
0 = lm
As, T (v) = Te(v). Como T y Te tambien coinciden en 0 porque son lineales, esto termina la
demostraci
on.
119
Calculo Diferencial
Si f es diferenciable en x0 , la funcion T , cuya unicidad acabamos de probar, es llamada
la diferencial de f en x0 y denotada D f (x0 ). Dejamos al lector la tarea de probar que si
las normas de E y F se cambian por normas equivalentes, las funciones diferenciables y la
diferencial permanecen invariantes.
Una funci
on f : U V es diferenciable si lo es en cada punto de U y es diferenciable con
continuidad o de clase C 1 si adem
as la funcion diferencial D f : U L(E, F ) es continua.
n 17.2. Si f : U V es diferenciable en x0 , entonces f es continua en x0 .
Proposicio
n. Porque
Demostracio
lm kf (x) f (x0 )k = lm kf (x) f (x0 ) D f (x0 )(x x0 ) + D f (x0 )(x x0 )k
xx0
xx0
xx0
= 0.
n 17.3 (Linealidad). Si f : U F y g : U F son diferenciables en x0 ,
Proposicio
entonces f + g es diferenciable en x0 para todo , k y
D( f + g)(x0 ) = D f (x0 ) + D g(x0 ).
n. Para abreviar escribamos h := f +g y T := D f (x0 )+D g(x0 ).
Demostracio
Por la propiedad tringular y la homogeneidad de la norma
kf (x0 + v) f (x0 ) D f (x0 )(v)k
kh(x0 + v) h(x0 ) T (v)k
lm
lm ||
v0
v0
kvk
kvk
kg(x0 + v) g(x0 ) D g(x0 )(v)k
+ lm |mu|
v0
kvk
= 0,
como deseamos.
Rg (w)
= 0.
w0) kwk
lm
Por la hip
otesis sobre f existe Rf : U x0 F tal que
f (x0 + v) f (x0 ) = D f (x0 )(v) + Rf (v)
Rf (v)
= 0.
v0 kvk
lm
Entonces
g f (x0 + v) g f (x0 ) = g f (x0 ) + f (x0 + v) f (x0 ) g f (x0 )
= D g f (x0 ) f (x0 + v) f (x0 ) + Rg f (x0 + v) f (x0 )
= D g f (x0 ) D f (x0 )(v) + Rf (v) + Rg D f (x0 )(v) + Rf (v)
e
= D g f (x0 ) D f (x0 )(v) + R(v),
120
Calculo Diferencial
e
donde R(v)
es la funci
on de U x0 en G, definida por
e
R(v)
= D g(f (x0 )) Rf (v) + Rg D f (x0 )(v) + Rf (v) .
Para terminar la demostraci
on, ser
a suficiente mostrar que
e
kR(v)k
(19)
lm
= 0.
v0 kvk
Escribamos
(
kRg D f (x0 )(v)+Rf (v) k
si D f (x0 )(v) + Rf (v) 6= 0,
k D f (x0 )(v)+Rf (v)k
B(v) =
0
si D f (x0 )(v) + Rf (v) = 0.
Un calculo directo muestra que si v U x0 es no nulo, entonces
e
kRf (v)k kRg D f (x0 )(v) + Rf (v) k
kR(v)k
k D g(f (x0 ))k
+
kvk
kvk
kvk
k D f (x0 )(v) + Rf (v)k
kRf (v)k
+ B(v)
.
= k D g(f (x0 ))k
kvk
kvk
Estas desigualdades implican que (19) vale, ya que
lm k D g(f (x0 ))k
v0
kRf (v)k
= lm B(v) = 0,
v0
kvk
y la funcion
k D f (x0 )(v) + Rf (v)k
kvk
es acotada en un entorno reducido de 0.
v 7
h0
Calculo Diferencial
3. Si A es un
algebra de Banach, entonces la funci
on f : U (A) U (A), definida por
f (a) = a1 , es diferenciable y D f (a)(b) = a1 ba1 . En efecto, usando que
(a + x)1 a1 = (a + x)1 (a (a + x))a1 = (a + x)1 xa1 ,
y haciendo algunas acotaciones sencillas, obtenemos la siguiente desigualdad:
kf (a + x) f (a) + a1 xa1 k
k (a + x)1 xa1 + a1 xa1 k
=
kxk
kxk
1
k(a + x) a1 kkxkka1 k
kxk
= k(a + x)1 a1 kka1 k.
La afirmaci
on se sigue inmediatamente de este hecho ya que k(a + x)1 a1 kka1 k
tiende a 0 cuando x tiende a 0.
1.
n
X
ui i f =
i=1
tambien lo es y D f (x0 ) =
Pn
i=1 ui
n
X
ui fi
i=1
D fi (x0 ).
Calculo Diferencial
k(v, w)k
khkkwk
y de que lm(v,w)0 khkkwk = 0.
Ejemplo 17.9. Si A es un
algebra de Banach, entonces la multiplicaci
on m : A A A
es diferenciable y D m(a, b)(v, w) = vb + aw.
n 17.10. Consideremos espacios de Banach E, F1 , F2 y G y un subconjunto
Proposicio
abierto U de E. Si f1 : U F1 y f2 : U F2 son funciones diferenciables en un punto x0 U
y h : F1 F2 G es una funci
on bilineal y continua, entonces la funci
on w : U G, definida
por w(x) = h(f1 (x), f2 (x)), es diferenciable en x0 y
D w(x0 )(v) = h(D f1 (x0 )(v), f2 (x0 )) + h(f1 (x0 ), D f2 (x0 )(v)).
n. Por la regla de la cadena y el Teorema 17.7, sabemos que
Demostracio
D w(x0 )(v) = D h f1 (x0 ), f2 (x0 ) D f1 (x0 )(v), D f2 (x0 )(v) .
El resultado se obtiene ahora inmediatamente aplicando el Lema 17.8.
xi ai
f
xi (a)
con su valor
f
xi (a)(1)
donde pj : E1 En E.
123
Calculo Diferencial
p
=
id
i
E1 En .
i=1 i
Corolario 17.13. Para cada abierto U E1 En , una funci
on diferenciable
f: U V
es de clase
C1
si y s
olo si sus derivadas parciales
f
: U L(Ei , F )
xi
son continuas.
2.
(20)
En efecto, supongamos que esto no es cierto para algun y denotemos con x0 al nfimo de los
xs para los que la desigualdad es falsa. Notemos primero que kg(x0 ) g(0)k (M + )x0 ,
porque de lo contrario la desigualdad (20) sera falsa para un x < x0 . Notemos tambien que
por la definici
on de g 0 (x0 ) y el hecho de que kg(x0 )k M , existe > 0 tal que
kg(t) g(x0 )k (M + )(t x0 )
Pero entonces
kg(t) g(0)k kg(t) g(x0 )k + kg(x0 ) g(0)k (M + )x0 + (M + )(t x0 ),
lo que contradice la definici
on de x0 .
124
Calculo Diferencial
y veamos que kf (b) f (a)k N kb ak. Consideremos la funcion g : [0, 1] F definida por
g(t) := f (at + (1 t)b). Notemos que g es continua. Ademas, por la regla de la cadena es
diferenciable en cada t (0, 1) y
g 0 (t) = D f (at + (1 t)b)(a b).
Por el Lema 17.14
kf (b) f (a)k = kg(1) g(0)k sup kg 0 (t)k = N kb ak,
t(0,1)
como queramos.
f
(a)(xi ai ),
xi
n
X
i=1
f (i) (x1 , . . . , xn ) +
n
X
f
(a)(xi ai ),
xi
i=1
y tanto las funciones constantes como las lineales son diferenciables, para probar el teorema
sera suficiente verificar que las f (i) s son diferenciables en a (con diferencial nula). Para i = 1
f
esto es claro por la misma definici
on de x
(a). Supongamos que i > 0. Por hipotesis, la
1
(i)
diferencial parcial i-esima de f esta definida en cada punto y del segmento L, que une
(x1 , . . . , xi , ai+1 , . . . , an ) con (x1 , . . . , xi1 , ai , . . . , an ). Ademas, por la misma definicion de
f (i) es claro que
f (i)
f
f
(y) =
(y)
(a).
xi
xi
xi
125
3 El teorema de la funci
on inversa
Calculo Diferencial
Pero entonces, como f (i) (a) = f (i) (x1 , . . . , xi1 , ai , . . . , an ) = 0, por el Teorema de los incrementos finitos
f
f
kf (i) (x)f (i) (a)k = kf (i) (x)f (i) (x1 , . . . , xi1 , ai , . . . , an )k sup k
(y)
(a)kkxi ai k.
xi
yL xi
Como
f
xi
Ejercicio 17.18. Con las notaciones del teorema anterior, pruebe que si n 1 de las
diferenciales parciales de f est
an definidas en U y son continuas en a, y la restante existe
en a, entonces f es diferenciable en a (indicaci
on: en la demostraci
on del teorema s
olo se
f
us
o que x1 (a) existe).
Teorema 17.19. Consideremos una funci
on f : U V , cuyo dominio es un abierto U
de un producto de espacios de Banach E1 En y cuyo codominio es un abierto V de
un espacio de Banach F . Para que f sea de clase C 1 es necesario y suficiente que existan las
f
y que las funciones
diferenciales parciales x
i
f
: U L(Ei , F )
xi
sean continuas.
n. La necesidad se sigue inmediatamente de la Observacion 17.12, y la
Demostracio
suficiencia del Teorema 17.17 y el Corolario 17.13.
3.
El teorema de la funci
on inversa
Una funci
on f : U V , de un abierto U de un espacio de Banach E en un abierto V
de un espacio de Banach F , es un difeomorfismo si es biyectiva, diferenciable en U , y f 1 es
diferenciable en V . Un C 1 -difeomorfismo es un difeomorfismo f tal que tanto f como f 1 son
de clase C 1 . Por la regla de la cadena, si f es un difeomorfismo, entonces D f (x) : E F es
un isomorfismo de espacios de Banach para cada x U , y D f (x0 )1 = D f 1 (f (x0 )).
Teorema 17.20. Sea f : U V una funci
on de clase C 1 , donde U y V son abiertos de
espacios de Banach E y F , respectivamente. Consideremos un punto x0 de U . Si D f (x0 ) es
un isomorfismo de espacios de Banach, entonces existen entornos abiertos U0 de x0 y V0 de
f (x0 ), tales que f|U0 es un C 1 -difeomorfismo de U0 en V0
n. Podemos suponer que E = F , x0 = f (x0 ) = 0 y D f (x0 ) = id. En
Demostracio
efecto, como los C 1 -difeomorfismos son cerrados bajo composicion, si el resultado es cierto
para la funci
on
x 7 D f (x0 )1 (f (x0 + x) f (x0 )),
que satisface las restricciones pedidas, tambien es cierto para f . Sea g : U F la aplicacion
definida por g(x) := x f (x). Como D g(0) = 0 y D g : U L(E, F ) es continua, existe r > 0
tal que k D g(x)k 21 para todo x B r (0). Ademas, por el Corolario 16.36 y la continuidad de
D f y de la funci
on InvL(E) : U (L(E)) U (L(E)), que manda cada elemento en su inverso,
126
Calculo Diferencial
U0 = f 1 (V0 ) Br (0).
Dado y Br/2 (0), fijemos r1 > 0 tal que kyk < r1 r. Afirmamos que existe un u
nico punto
xy Br1 (0) tal que f (xy ) = y. Escribamos gy (x) = y + g(x). Por el teorema del punto fijo
para contracciones, como
f (x) = y gy (x) = x,
para probar la afirmaci
on es suficiente mostrar que kgy (x)k r1 para todo x Br1 (0), y que
la funcion
gy : Br1 (0) Br1 (0)
es una contracci
on. Lo primero es cierto porque, por el Teorema de los incrementos finitos,
1
kg(x)k kg(x) g(0)k kxk
2
y, por lo tanto,
kgy (x)k kyk + kg(x)k r;
y lo segundo, porque, de nuevo por el Teorema de los incrementos finitos,
(21)
1
kgy (x) gy (x0 )k = kg(x) g(x0 )k kx x0 k
2
kf 1 (y) f 1 (y 0 )k 2ky y 0 k
para todo y, y 0 V0 ,
lo que en particular prueba que f 1 es continua. Notemos ahora que para todo y, y 0 V0 y
x, x0 U0 tales que f (x) = y y f (x0 ) = y 0 , es cierto que
1
f (y) f 1 (y 0 ) D f (x0 )1 (y y 0 )
=
x x0 D f (x0 )1 f (x) f (x0 )
=
D f (x0 )1 D f (x0 )(x x0 ) f (x) + f (x0 )
Kkf (x) f (x0 ) D f (x0 )(x x0 )k.
127
3 El teorema de la funci
on inversa
Calculo Diferencial
K
l
m
yy
yy 0
ky y 0 k
ky y 0 k
kf (x) f (x0 ) D f (x0 )(x x0 )k
2K lm0
xx
kx x0 k
= 0.
Esto prueba que f 1 es diferenciable en y 0 , y que D f 1 (y 0 ) = D f (x0 )1 . Dicho de otro modo,
D f 1 = InvL(E) D f f 1 . Por lo tanto la funcion D f 1 : V0 L(E) es continua.
Dados espacios de Banach E, F y G, abiertos no vacos U de E y V de F , una funcion
de clase C 1
f : U V G,
y un punto w0 de G, consideremos la ecuacion
(23)
f (u, v) = w0 .
El siguiente resultado dice que bajo condiciones favorables, dada una solucion (u0 , v0 ) de (23),
existe un entorno de u0 en el cual la ecuacion (23) define v como una funcion C 1 de u que
aplica u0 en v0 .
Teorema 17.21 (Teorema de lo funcion implcita). Si la diferencial segunda
f
(u0 , v0 ) : F G
x2
es un isomorfismo, entonces hay entornos U0 de u0 , W0 de w0 y una funci
on C 1
g : U0 W 0 V
tal que f (u, g(u, v)) = v para todo (u, v) U0 W0 .
n. Definimos H : U V E G por H(u, v) := (u, f (u, v)). Un calculo
Demostracio
directo muestra que la diferencial de H en (u0 , v0 ) es la funcion
f
f
(u0 , v0 )(x) +
(u0 , v0 )(y) ,
DH(u0 , v0 )(x, y) = x,
x1
x2
la cual es un isomorfismo de espacios de Banach. Entonces, por el teorema de la funcion
inversa, H tiene una inversa local
H 1 : U0 W0 U V
de clase C 1 . Por la misma forma de H, es claro que existe g : U0 W0 V u
nica tal que
H 1 (u, v) = (u, g(u, v)) para todo (u, v) U0 V0 . Es evidente que esto es exactamente lo
que se necesita para que g satisfaga las condiciones requeridas en el enunciado.
Nota 17.22. La correspondencia que define v en funci
on de u, mencionada arriba del
enunciado del Teorema de la funcon implcita, se obtiene componiendo g con la funci
on
u 7 (u, v0 ).
128