Analisis I

Apuntes de clase
Preparado por JC Trujillo O.
Febrero 2014 - Junio 2014


Indice
general
1

Estructuras fundamentales del Analisis

1
Topologa . . . . . . . . . . . . . . . . . . . . . . . . .
1.1
Ejemplos . . . . . . . . . . . . . . . . . . . . .
1.2
Ejercicios . . . . . . . . . . . . . . . . . . . . .
2
Metrica . . . . . . . . . . . . . . . . . . . . . . . . . .
2.1
Ejemplos . . . . . . . . . . . . . . . . . . . . .
2.2
Topologa inducida por la metrica. . . . . . .
2.3
Ejercicios . . . . . . . . . . . . . . . . . . . . .
3
Norma. . . . . . . . . . . . . . . . . . . . . . . . . . .
3.1
Ejemplos . . . . . . . . . . . . . . . . . . . . .
3.2
Metrica inducida por la norma. . . . . . . .
3.3
Ejercicios . . . . . . . . . . . . . . . . . . . . .
4
Producto interior o escalar. . . . . . . . . . . . . . .
4.1
Ejemplos . . . . . . . . . . . . . . . . . . . . .
4.2
Norma inducida. . . . . . . . . . . . . . . . .
4.3
Ejercicios . . . . . . . . . . . . . . . . . . . . .
5
Las desigualdades de Young, Holder

y Minkowski.

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

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

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

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

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

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

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

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

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

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

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

5
5
5
6
6
7
9
11
12
13
14
16
16
17
18
21
22

Abiertos y cerrados
1
Abiertos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.1
Ejemplo: las bolas abiertas. . . . . . . . . . . . . . . .
1.2
Ejemplo: un conjunto no abierto. . . . . . . . . . . . .
1.3
Ejemplo: bolas abiertas en el espacio discreto. . . . .
1.4
Ejemplo: bolas abiertas en espacios normados. . . . .
1.5
Ejemplo: bolas abiertas en C [ a, b]. . . . . . . . . . . .
2
Cerrados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.1
Ejemplo: las bolas cerradas. . . . . . . . . . . . . . . .
2.2
Ejemplo: las esferas. . . . . . . . . . . . . . . . . . . .
2.3
Ejemplo: Los conjuntos finitos en un espacio metrico.
2.4
Ejemplo: conjuntos no cerrados. . . . . . . . . . . . .
3
Caracterizacion
topologica

de los abiertos y de los cerrados .

3.1
Ejercicios. . . . . . . . . . . . . . . . . . . . . . . . . .
4
Abiertos y cerrados en los espacios metricos. . . . . . . . . .
5
Densidad. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.1
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . .

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

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

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

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

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

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

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

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

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

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

25
25
26
26
26
27
27
27
27
27
28
28
28
34
35
36
36

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

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

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

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

Puntos de acumulacion

39
1
Punto de adherencia que no es de acumulacion.

. . . . . . . . . . . . . . . . . 39
2
Ejemplos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
3
Ejemplo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41

4
5
6
7

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

42
43
43
45

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

47
47
47
47
47
47

Continuidad uniforme
1
Ejemplo: La funcion
distancia es continua. . . . . . . . . . .
2
Ejemplo: La funcion
distancia entre un punto y un conjunto.
3
Ejemplo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4
Una funcion
que no es continua uniformemente. . . . . . . .
5
Una funcion
no lipschitziana. . . . . . . . . . . . . . . . . . .
5.1
Ejercicios. . . . . . . . . . . . . . . . . . . . . . . . . .

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

49
49
49
49
50
50
50

Subespacios metricos
1
Caracterizacion
de los abiertos . . . . . . . . . . . . . . . . . . . . . . . . . . .
2
Caracterizacion
de los cerrados. . . . . . . . . . . . . . . . . . . . . . . . . . .
3
Ejercicios. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

53
53
54
54

Distancias equivalentes
55
1
Homeomorfismos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
1.1
Ejemplos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
2
Distancias equivalentes. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
2.1
Ejemplo: dos metricas equivalentes topologicamente.

. . . . . . . . . . 57
2.2
Ejemplo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
2.3
Ejemplo: metricas equivalentes uniformemente. . . . . . . . . . . . . . 59
2.4
Ejemplo: metricas no equivalentes uniformemente. . . . . . . . . . . . 61
2.5
Ejemplo: metricas equivalentes uniformemente, pero no metricamente. 62
2.6
Ejemplos de metricas equivalentes en R n . . . . . . . . . . . . . . . . . 62
2.7
Metricas equivalentes sobre el espacio producto de un numero

finito de espacios. 63

Espacios metricos completos

1
Sucesiones de Cauchy. . . . . . . . . . . . . . . . . . . . . . .
1.1
Ejemplos de sucesiones de Cauchy no convergentes .
2
Espacios completos. . . . . . . . . . . . . . . . . . . . . . . .
2.1
Ejercicios. . . . . . . . . . . . . . . . . . . . . . . . . .
3
Teorema del punto fijo. . . . . . . . . . . . . . . . . . . . . .
3.1
Ejercicio. . . . . . . . . . . . . . . . . . . . . . . . . . .
4
Aplicaciones del teorema del punto fijo. . . . . . . . . . . . .
4.1
Ecuaciones diferenciales ordinarias. . . . . . . . . . .

Ejemplo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Caracterizacion
de conjuntos cerrados. . . . . . . . . . . .
Caracterizacion
de puntos de acumulacion
por sucesiones.
Ejercicios. . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Continuidad
1
Continuidad . .
1.1
Ejemplo.
1.2
Ejemplo.
1.3
Ejemplo.
1.4
Ejemplo.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

65
65
65
65
66
66
66
66
67

Captulo 1

Estructuras fundamentales del

Analisis
1

Topologa

1.1 (Espacio topologico).

D EFINICI ON

Sea E un conjunto. Una familia P ( E) es una

topologa sobre E si:
1. y E .
2. A1 y A2 , entonces A1 A2 .
3. Si { A } tal que A para todo , entonces

A .

Ademas:
1. La pareja ( E, ) es denominada espacio topologico.
2. Se suele decir que el conjunto E esta provisto de la topologa .
3. A los elementos de E se les denomina puntos. Y,
4. A los elementos de se les llama los abiertos de E.
5. Por induccion
se demuestra facilmente que la interseccion
de una familia finita de
elementos de tambien es un elemento de .

1.1 Ejemplos
1. T OPOLOGI A GROSERA O ANTIDISCRETA . Sea E un conjunto cualquiera. La coleccion

= {, E}
es una topologa sobre E denomina grosera o antidiscreta. En este espacio topologico,

hay
dos abiertos unicamente:

el conjunto vaco y el conjunto E.

2. T OPOLOGI A DISCRETA . Sea E un conjunto cualquiera. La coleccion
de todos los subconjuntos de E, es decir = P ( E), es una topologa sobre E. Es denominada topologa
discreta. Cualquier subconjunto de E es un abierto de E.

3. T OPOLOGI A DE S IERPINSKI. Sea E = { a, b}. La coleccion

= {, E, {b}}
es una topologa sobre E. Al espacio topologico

( E, ) se le conoce con el nombre de

espacio de Sierpinski.
4. T OPOLOGI A DE LAS COLAS DERECHAS. La coleccion

= {( a, +) : a R } {, R }
es una topologa sobre el conjunto de los numeros

reales R.
5. T OPOLOGI A DE LOS COMPLEMENTOS FINITOS. Sea E un conjunto infinito. Entonces, la coleccion

= { A E : E A es finito} {}
es una topologa sobre E.
1.2 Ejercicios
1. Sea
= { A [1, 1] : 0 6 A

(1, 1) 6 A} {[1, 1]}.

Demuestre que es una topologa sobre [1, 1]. A esta topologa se la denominada topologa ni-ni.
2. Sean E un conjunto no vaco y p E. Demuestre que la coleccion

p = { A E : p A} {}
es una topologa sobre E. A e sta se la llama topologa puntual particular.
3. Sea
= {(0, 1 1/n ) : n 2 y

n N } {, (0, 1)}.

Demuestre que es una topologa sobre (0, 1); se la denomina topologa de los intervalos encajados.
4. Sean E un conjunto cualquiera y { } una familia de topologas sobre E. Demuestre que
T
= tambien es una topologa sobre E.

Metrica

1.2 (Espacio metrico). Sea E un conjunto. Una funcion

D EFINICI ON
d : E E R es una
metrica o distancia sobre E si para x E, y E y z E:
1. Positiva: d( x, y) 0.
2. Positiva estrictamente: d( x, y) = 0 si y solo si x = y.
3. Simetrica: d( x, y) = d(y, x ).
4. Desigualdad triangular: d( x, y) d( x, z) + d(z, x ).
Ademas:
1. A la pareja ( E, d) se le llama espacio metrico.
2. Se suele decir que el conjunto E esta provisto de la metrica d.
3. A los elementos de E se les denomina puntos. Y,
4. Al numero

d( x, y) se le llama la distancia entre los puntos x y y.

2.1 Ejemplos
1. L A M E TRICA USUAL DE R. La funcion

d : R R R
( x, y) 7 d( x, y) = | x y|,
donde | a|, el valor absoluto del numero

real a, esta definido por:

(
a
si a 0,
| a| =
a si a < 0,
es una metrica sobre R. A esta metrica se le conoce como la metrica usual de la recta real.
Si no se dice lo contrario, cuando se hable de R como un espacio metrico, se asumira que la metrica es la usual.

2. M E TRICAS SOBRE R n . Para cada n N y para cada p [1, +), la funcion

d p : R n R n R

( x, y)

7 d p ( x, y) =

|x j y j |

j =1

!1

donde x = ( x1 , x2 , . . . , xn ) y y = (y1 , y2 , . . . , yn ), es una metrica sobre R n .

(a) Si n = 1, la metrica d p coincide con la metrica usual para todo p [1, +).
(b) Si n = 2, la metrica d2 se denomina eucldea:
q
d2 ( x, y) = | x1 y1 |2 + | x2 y2 |2 .
El espacio metrico (R2 , d2 ) es conocido como el plano eucldeo.
(c) Si n = 3, la metrica d2 tambien es denominada eucldea:
q
d2 ( x, y) = | x1 y1 |2 + | x2 y2 |2 + | x3 y3 |2 .

El espacio metrico (R3 , d2 ) es conocido como el espacio eucldeo tridimensional.

3. L A M E TRICA p = DE R n . La funcion

d : R n R n R
( x, y) 7 d ( x, y) = max{| xi yi | : 1 i n},
donde x = ( x1 , x2 , . . . , xn ) y y = (y1 , y2 , . . . , yn ), es una metrica sobre R n .
4. E L ESPACIO UNITARIO C n . La funcion

d : C n C n R

( x, y)

v
u n
u
7 d( x, y) = t | x j y j |2 ,
j =1

donde x = ( x1 , x2 , . . . , xn ), y = (y1 , y2 , . . . , yn ) y |z| es el modulo

del numero

complejo
z, esta definido de la siguiente manera:
p
|z| = | a + b| = a2 + b2 .

Al espacio (C n , d) se lo suele llamar espacio unitario complejo n-dimensional. En el caso

n = 1, el espacio (C, d) se denomina plano complejo.
7

5. L A M E TRICA DISCRETA . Sea E un conjunto cualquiera no vaco. La funcion

d : E E R

( x, y) 7 d( x, y) =

1 si x 6= y,
0 si x = y

es una metrica sobre E denominada metrica discreta. El espacio ( E, d) se denomina espacio

discreto.
6. E L ESPACIO DE SUCESIONES s. Sea S el conjunto de todas las sucesiones de elementos del
campo K; es decir:
S = KN = { x : N K }.
La funcion

d : S S R

( x, y) 7 d( x, y) =

|x j y j |

2 j 1 + | x j y j | ,

j =1

donde x = ( x j ) y y = (y j ), es una metrica sobre S. El espacio (S, d) se representa con la

letra s.
7. E L ESPACIO DE SUCESIONES p . Sean p [1, +) y
(
SP =

x : N K : j N, x j = x ( j)

|x j |

< ;

j N

es decir, S p es el espacio de todas las sucesiones de elementos de K tales que la serie

|x j | p

j N

converge. La funcion

d p : S p S p R

!1

( x, y) 7 d p ( x, y) =

|x j y j | p

j N

donde x = ( x j ) y y = (y j ), es una metrica sobre S p . El espacio metrico (S p , d p ) suele ser

representado con p .
8. E L ESPACIO DE SUCESIONES ACOTADAS . Sea SA el conjunto de todas las sucesiones de
elementos de K que son acotadas; es decir:
SA = {( xn ) S : M > 0 tal que
La funcion

| x j | M para todo j N }.

d : SA SA R
( x, y) 7 d ( x, y) = sup | x j y j |,
j N

donde x = ( x j ) y y = (y j ), es una metrica sobre SA. El espacio metrico (SA, d ) suele

ser representado con .

9. E L ESPACIO DE LA FUNCIONES CONTINUAS C [ a, b]. Sean un intervalo cerrado [ a, b] y el conjunto de todas las funciones definidas en [ a, b] y que toman valores en K:
FC [ a, b] = { x : [ a, b] K : x

es continua en [ a, b]}.

La funcion

d : FC [ a, b] FC [ a, b] R
( x, y)
7 d ( x, y) = max | x (t) y(t)|
t [ a,b]

es una metrica sobre el conjunto FC. Al espacio metrico ( FC, d ) se le representa con
C [ a, b].
10. E L ESPACIO DE
la funcion

LAS FUNCIONES CONTINUAS

C p [ a, b ]

CON

d p : FC [ a, b] FC [ a, b] R

( x, y)

7 d p ( x, y) =

p [1, ). Dado el intervalo [ a, b],

Z

b
a

| x (t) y(t)| dt

 1p

es una metrica sobre el conjunto FC [ a, b]. Al espacio metrico ( FC [ a, b], d p ) se le representa con C p [ a, b].
2.2 Topologa inducida por la metrica. Primero una definicion.

1.3 (Bola abierta). Sean ( E, d) un espacio metrico y r > 0. El conjunto

D EFINICI ON
Br ( x ) = {y E : d( x, y) < r }
se denomina bola abierta de centro x y radio r.
Todo espacio metrico es un espacio topologico.

De manera mas precisa, se tiene el

siguiente teorema.
T EOREMA 1.1 (Topologa inducida por la metrica). Sea ( E, d) un espacio metrico. Entonces, el conjunto
d = { A E : x A, r x > 0 tal que Br x ( x ) A}
es una topologa sobre E denominada la topologa inducida por la metrica d; es decir, E es un
espacio topologico

provisto de la topologa d .
Una de las consecuencias de este teorema consiste en que todo lo que se pueda afirmar
sobre un espacio topologico

es aplicable a un espacio metrico.

Dado que d es una topologa sobre E, todos los elementos de d son los abiertos de E.
Esto justifica la siguiente definicion
para un espacio metrico cualquiera.
1.4 (Abierto). Sea ( E, d) un espacio metrico. Un conjunto A de E es abierto si
D EFINICI ON
y solo para todo x A, existe r x > 0 tal que
Br x ( x ) A.
Es consecuencia inmediata del teorema 1.1 que la interseccion
finita de abiertos es un
conjunto abierto y que la union
arbitraria de abiertos tambien es un conjunto abierto. De
manera mas precisa, tenemos el siguiente teorema.
9

T EOREMA 1.2 (Propiedades de los abiertos). Sea ( E, d) un espacio metrico. Entonces:

1. y E son conjuntos abiertos.
2. Si { A } L es una familia finita de abiertos; es decir, L es un conjunto finito y A es
un abierto para todo L, entonces
\

es un conjunto abierto.
3. Si { A } L es una familia arbitraria de conjuntos abiertos de E; es decir, para todo
L, A es un conjunto abierto de E, entonces
[

es un abierto de E.
Ejemplo 1
La topologa discreta es la topologa inducida por la metrica discreta. En efecto, si ( E, d) es un espacio
metrico discreto, todo conjunto A de E es un abierto, pues si x A y r = 12 , entonces


1
Br ( x ) = y E : d( x, y) <
2

= {y E : d( x, y) = 0}

= { y E : y = x } = { x },
lo que implica que B 1 ( x ) A.

Por otro lado, no todo espacio topologico

es un espacio metrico en el siguiente sentido.

Sea ( E, ) un espacio topologico.

Vamos a probar que no siempre existe una metrica d

tal que la topologa d , la inducida por la metrica d, sea igual a la topologa . Para ello,
demostremos primero el siguiente teorema.
T EOREMA 1.3. Sean ( E, d) un espacio metrico y x0 E. Entonces el conjunto E { x0 } es
un conjunto abierto.
Demostracion. Sea u E { x0 }. Debemos hallar un r > 0 tal que
Br (u) E { x0 }.

(1.1)

Sea r tal que 0 < r < d(u, x0 ). Entonces se verifica la inclusion

(1.1). En efecto, sea
x Br (u). Debemos demostrar que x E { x0 }; es decir, debemos probar que x 6= x0 .
Para ello, probemos que d( x, x0 ) 6= 0.
Por la desigualdad triangular, tenemos que:
d(u, x0 ) d(u, x ) + d( x, x0 ).
Por lo tanto:
d( x, x0 ) d(u, x0 ) d(u, x ).

Ahora, como x Br (u), se tiene que

d(u, x ) < r,
10

es decir, se verifica que:

d(u, x ) > r,
de donde obtenemos que
d( x, x0 ) d(u, x0 ) d(u, x ) > d(u, x0 ) r > 0,
ya que r < d(u, x0 ). En resumen: d( x, x0 ) > 0; es decir, x 6= x0 .
Ahora vamos a probar que existe al menos un espacio topologico

cuya topologa no
proviene de una metrica.
T EOREMA 1.4. Sea la topologa grosera sobre un conjunto E que tiene al menos dos
elementos. Ninguna metrica sobre E induce la topologa .
Demostracion. Supongamos lo contrario: sea d una metrica sobre E tal que la topologa d ,
la inducida por d, fuera igual a ; es decir, supongamos que la metrica d fuera tal que
d = = {, E}.
Por otro lado, tenemos que
d = { A E : A es abierto en el espacio topologico

( E, )}.
Por lo tanto, los dos unicos

conjuntos abiertos del espacio metrico ( E, d) son y E.

Sin embargo, dado x0 E fijo, por el teorema 1.3, sabemos que E { x0 } es un abierto
del espacio metrico ( E, d); por lo tanto:
E { x0 } d .
Esto significa que E { x0 } debe ser igual o bien al conjunto vaco, o bien, al conjunto
E. Pero es imposible cualquiera de estas dos opciones, pues como E tiene al menos dos
elementos, el conjunto E { x0 } tiene al menos un elemento, por lo que no es vaco, y
tampoco puede ser igual a E, ya que no tiene el elemento x0 .
La contradiccion
obtenida nos dice que no puede existir una metrica sobre E que induzca la topologa grosera .
2.3 Ejercicios
1. Probar que la funcion

d : NN NN R

(n, m)

7 d(n, m) =

0
1
k

si n j = m j para todo j N,
donde k es el primer ndice para el cual n j 6= m j ,

donde n = (n j ) NN y m = (m j ) NN , es una metrica sobre NN , el conjunto de todas las

sucesiones de numero

naturales.
2. Sea E = { x j : j N

j 1} un conjunto numerable. Demuestre que la funcion

d : E E R

( x, y) 7 d( x, y) =

1 + i+1 j
0

si i 6= j,

si i = j

es una metrica sobre E; a e sta se la conoce como la metrica de Sierpinski.

11

3. Sea (R 2 , d2 ) el plano eucldeo. Demuestre que la funcion

d : R 2 R 2 R

( p, q )

d ( p, q )
2

7 d ( p, q ) =

d2 ( p, 0) + d2 (q, 0)

si p = q;
si p 6= q y si la lnea que pasa por p y por q,
pasa tambien por el origen;
en cualquier otro caso

es una metrica sobre R 2 ; a esta metrica se la conoce como metrica radial.

4. Sea ( E, d) un espacio metrico cualquiera. Demuestre que las funciones
=

d
1+d

= mn{d, 1}

son tambien metricas sobre el conjunto E.

5. Sean ( Ei , di ), con 1 i n, espacios metricos. Demuestre que la funcion

d=

di

1 i n

es una metrica sobre el producto cartesiano E =

6. Sean x R N y y R N definidas por
xn =

Ei .

1 i n

1
n+1

yn =

n
.
n+1

Pruebe que x y que y . Calcule d ( x, y).

3 Norma. Tanto la estructura topologica

como metrica se definen sobre un conjunto cualquiera. La norma, en cambio, para ser definida, requiere de un espacio vectorial.
En todo lo que sigue, si no se presta a confusion,
las operaciones interna y externa de
todos los espacios vectoriales que se utilicen se representaran con + y , respectivamente; y
el cuerpo sobre el cual se define el espacio vectorial sera siempre o bien R o bien C. Cuando
las proposiciones que se afirmen sean validas tanto para R como para C, diremos que el
espacio vectorial es sobre el cuerpo K.
1.5 (Espacio normado). Sea E un espacio vectorial sobre el cuerpo K. Una
D EFINICI ON
funcion
kk : E R es una norma sobre E si para x E, y E y K:
1. Positiva: k x k 0.
2. Definida positiva: k x k = 0 si y solo si x = 0.
3. Homogeneidad: k x k = || k x k.
4. Desigualdad triangular: k x + yk k x k + kyk.
Ademas:
1. A la pareja ( E, kk) se le llama espacio normado.
2. Se suele decir que el espacio vectorial E esta provisto de la norma kk.
3. El numero

k x k es referido como la norma del vector x o la longitud de x.

12

3.1 Ejemplos
1. L A NORMA USUAL DE R. La funcion
valor absoluto

| | : R R
x 7 | x |
es una norma sobre R. A esta norma se le conoce como la norma usual de la recta real.
Si no se dice lo contrario, cuando se hable de R como un espacio normado, se asumira que la norma es la usual.
2. N ORMAS SOBRE R n . Para cada n N y para cada p [1, +), la funcion

kk p : R n R
n

x 7 k x k p =

|x j |

!1

j =1

donde x = ( x1 , x2 , . . . , xn ), es una norma sobre R n .

3. L A NORMA p = DE R n . La funcion

kk : R n R
x 7 k x k = max{| xi | : 1 i n},
donde x = ( x1 , x2 , . . . , xn ), es una norma sobre R n .
4. E L ESPACIO UNITARIO C n . Sea p [1, ). La funcion

kk p : C n R
n

x 7 k x k p =

|x j |

j =1

!1

!1

donde x = ( x1 , x2 , . . . , xn ), es una norma sobre C n .

5. E L ESPACIO DE SUCESIONES p . Sea p [1, +). La funcion

kk p : S p R

x 7 k x k p =

|x j | p

j N

donde x = ( x j ), es una norma sobre S p . El espacio normado (S p , kk p ) suele ser representado por p .
6. E L ESPACIO DE SUCESIONES ACOTADAS . La funcion

kk : SA R
x 7 k x k = sup | x j |,
j N

donde x = ( x j ), es una norma sobre el conjunto SA. El espacio normado (SA, d ) suele
ser representado mediante .

13

7. E L ESPACIO DE LA FUNCIONES CONTINUAS C [ a, b]. Sean un intervalo cerrado [ a, b]. La funcion

kk : FC [ a, b] R
x
7 k x k = max | x (t)|
t [ a,b]

es una norma sobre el conjunto FC. Al espacio normado ( FC, kk ) se le representa con
C [ a, b].
8. E L ESPACIO DE
la funcion

LAS FUNCIONES CONTINUAS

C p [ a, b ]

kk p : FC [ a, b] R
x

7 k x k p =

CON

Z

p [1, ). Dado el intervalo [ a, b],

b

| x (t)| dt

 1p

es una norma sobre el conjunto FC [ a, b]. Al espacio normado ( FC [ a, b], kk p ) se le representa con C p [ a, b].
9. E L ESPACIO DE
el conjunto
La funcion

LAS FUNCIONES CONTINUAS Y ACOTADAS.

Sean ( E, d) un espacio metrico y

A ( E, R ) = { x : E R : x es continua y es acotada}.

kk : A ( E, R ) R
x
7 k x k = sup{| x (t)| : t E}

es una norma sobre A ( E, R ). Al espacio normado (A ( E, R ), kk ) se lo suele representar con B ( E, R ).

10. E L ESPACIO C k [ a, b]. Sean k un entero positivo, [ a, b] un intervalo cerrado y el conjunto
FDC k [ a, b] = { x : [ a, b] R : x es k veces diferenciable y x (k) es continua en [ a, b]},
de todas las funciones reales definidas en [ a, b] que son k veces diferenciables y que la
derivada de orden k es continua. La funcion

kk : FDC k [ a, b] R
x

7 k x k =

ax | x ( j) (t)|
tm
[ a,b]

j =0

es una norma sobre FDC k [ a, b]. El espacio normado ( FDC k [ a, b], kk) suele ser representado por C k [ a, b].
3.2 Metrica inducida por la norma. Todo espacio normado es un espacio metrico. De
manera mas precisa, se tiene el siguiente teorema.
T EOREMA 1.5 (Metrica inducida por la norma). Sea ( E, kk) un espacio normado. Entonces
la funcion

dkk : E E R
( x, y) 7 dkk ( x, y) = k x yk

es una metrica sobre E denominada metrica inducida por la norma kk; es decir, E es un
espacio metrico provisto con la metrica dkk .
Una de las consecuencias principales de este teorema consiste en que todo lo que se
pueda decir de un espacio metrico es aplicable a un espacio normado. Ademas, dado que
toda metrica induce una topologa (teorema 1.1), entonces todo espacio normado induce
una topologa, va la metrica inducida por la norma. Por lo tanto, todo lo que se pueda
decir de un espacio topologico

es aplicable a un espacio normado.

14

Ejemplo 2
1. Las metricas d p de R n son las inducidas por las normas kk p .

2. La metrica d de R n es la inducida por la norma kk .

3. Las metricas d p de p son las inducidas por las normas kk p .

4. La metrica d de es la inducida por la norma kk .

5. Las metricas d p de C [ a, b ] son las inducidas por las normas kk p .

6. La metrica d de C [ a, b ] es la inducida por la norma kk .

Por otro lado, no todo espacio metrico es normado. De manera mas precisa, no para
toda metrica existe una norma que la induzca. Para probar este resultado, necesitamos del
siguiente teorema.
T EOREMA 1.6 (Traslacion
invariante). Sea ( E, d) un espacio metrico tal que d sea inducida
por una norma kk sobre E. Entonces, para todo x E, y E, a E y K, se verifican
las siguientes igualdades:
1. dkk ( x + a, y + a) = dkk ( x, y).
2. dkk (x, y) = ||dkk ( x, y).
Ahora vamos a probar que existe al menos un espacio metrico cuya metrica no es inducida por una norma.
T EOREMA 1.7. Sea ( E, d) un espacio metrico discreto tal que E sea un espacio vectorial
sobre K y tenga al menos dos elementos. Ninguna norma sobre E induce la metrica d.
Demostracion. Supongamos lo contrario: sea kk una norma sobre E tal que la metrica dkk ,
la inducida por la norma, sea igual a d; es decir, la norma kk es tal que
dkk = d.
Por lo tanto, d debe satisfacer las dos igualdades del teorema 1.6; en particular la segunda
1.6.2:
d(x, y) = ||d( x, y)
(1.2)
para todo x E, todo y E y todo K.
Sin embargo, si tomamos x0 E y y0 E tales que x0 6= y0 que existen, ya que E
tienen al menos dos elementos, y K tal que || 6= 0 y || 6= 1, tenemos, por un lado,
que
x0 6= y0 y d(x0 , y0 ) = 1;
y, por otro lado, que
d(x, y) = ||d( x0 , y0 ) = || 1 = || 6= 1.
Por lo tanto, para x0 , y0 y , se verifica
d(x, y) 6= ||d( x, y),
que contradice (1.2).
Esta contradiccion
nos dice que es imposible que pueda existir una norma que induzca
la metrica discreta.

15

3.3 Ejercicios
1. Sean M n el conjunto de todas las matrices cuadradas de orden n y de numeros

reales, y kk cualquier norma de R n . Sea L M n ; se define1

k L k = sup{k Lx k : k x k 1}.
(a) Demuestre que k L k define una norma sobre M n .

(b) Pruebe que k LM k k L k k[ M ]k.

(c) Sea L una matriz de orden 2:

L=

a
b


b
,
c

donde a > 0 y c > 0. Si se considera R 2 con la norma eucldea, demuestre que



q
1
a + c + ( a c)2 + 4b2 .
k Lk =
2
2. Sean [ a, b ] un intervalo acotado de numeros

reales y f : [ a, b ] R. Se define la variacion total de

f al numero

V ( f ; a; b ) = sup | f (ti ) f (ti1 )| : P = {t j : 0 j n } es una particion

de [ a, b ] .
j =1

Si V ( f ; a; b ) es finito, se dice que la funcion

f es de variacion acotada en [ a, b ]. Demuestre que

k f k = | f ( a+)| + V ( f ; a; b ),
donde
f ( a+) = lm f (t),
t a +

define una norma sobre el conjunto de todas las funciones de variacion

acotada sobre el intervalo
[ a, b ].
3. Sea R [ a, b ] el conjunto de todas las funciones reales que son integrables segun
Riemann en el
intervalo [ a, b ]. Sea x R [ a, b ]; la funcion
N, definida sobre R [ a, b ] a traves de la igualdad
N (x) =

Z b
a

| x (t)|dt,

define una norma sobre R [ a, b ]?

4. En el conjunto FDC1 [ a, b ], las funciones N1 y N2 definen sendas normas, donde
N1 ( x ) = max | x (t)|
t[ a,b ]

N2 ( x ) =

Z b
a

| x (t)|dt + N1 (t)?

4 Producto interior o escalar. Mediante la estructura de metrica, provista a un conjunto,

podemos medir la distancia entre dos elementos de dicho conjunto. Sin embargo, no es
suficiente dicha estructura para hablar de la longitud de dichos elementos. Para ello, es necesario considerar la estructura de espacio vectorial y de norma. Sin embargo, la estructura
de norma no es suficiente para definir el concepto de ortogonalidad2; para ello, es necesario
la estructura de producto escalar.
1 Aqu Lx es considerado como el producto de la matriz L, de orden n y la matriz x, de orden n 1, que nos da,
a su vez, un vector, o una matriz de orden n 1.
2 En realidad, esto no es preciso. A trav
es del espacio dual, podemos hablar, en cierto sentido, de ortogonalidad
en un espacio de Banach, como se vera mas adelante.

16

 1.6 (Espacio con producto escalar 3 ). Sea E un espacio vectorial sobre un cuerD EFINICI ON
po K. Un producto interior o escalar sobre E es una funcion
h, i : E E K que satisface
las siguientes propiedades para x E, y , z E y K:
1. Aditiva: h x + y, zi = h x, zi + hy, zi.
2. Homogenea: hx, yi = h x, yi.
3. Simetrica: h x, yi = hy, x i.
4. Positiva: hx, x i 0 .
5. Definida positiva: hx, x i = 0 si y solo si x = 0.
Ademas:
1. A la pareja ( E, h, i) se le llama espacio con producto escalar.
2. Se acostumbra decir que el espacio vectorial E esta provisto del producto escalar h, i.
3. El escalar (elemento de K) hx, yi es referido como el producto escalar de x con y.
4.1 Ejemplos

1. E L ESPACIO EUCLI DEO R n . La funcion

h, i : R n R n R
( x, y)

7 hx, yi =

xjyj
j =1

es un producto escalar sobre R n . El espacio con producto escalar (R n , h, i) es conocido

como el espacio eucldeo R n .
2. E L ESPACIO UNITARIO C n . La funcion

h, i : C n C n C
( x, y)

7 h x, yi =

xj yj
j =1

es un producto escalar sobre C n . El espacio con producto escalar (C n , h, i) es conocido

como el espacio unitario R n .
3. E L ESPACIO DE H ILBERT 2 . La funcion

h, i : S2 S2 C
( x, y) 7 h x, yi =

xjyj,

j N

donde x = ( x j ) y y = (y j ), es un producto escalar sobre 2 . El espacio con producto

escalar (2 , h, i) es conocido como el espacio de Hilbert 2 .
3 He preferido utilizar escalar en lugar de interior, porque esta ultima

palabra se suele utilizar para indicar

una operacion
sobre un conjunto que asocia uno o mas elementos del conjunto a un elemento del mismo elemento
del conjunto, que no es el caso del producto escalar.

17

4. E L ESPACIO DE LAS FUNCIONES CONTINUAS SOBRE UN

cerrado y acotado de numeros

reales. La funcion

COMPACTO .

h, i : FC [ a, b] FC [ a, b] C
( x, y)

7 h x, yi =

Z b
a

Sea [ a, b] un intervalo

x (t)y(t)dt

es un producto escalar. El espacio ( FC [ a, b], h, i) se representa por C2 [ a, b].

5. O TRO ESPACIO DE FUNCIONES CONTINUAS. Sea

F1 = x : [0, ) R : x es continua en [0, )
La funcion

h, i : F1 F1 R
( x, y) 7 h x, yi =

es un producto escalar.

Z b
a

2 t

| x (t)| e dt < .

x (t)y(t)et dt

4.2 Norma inducida. Todo espacio con producto escalar es un espacio normado. De manera mas precisa, se tiene el siguiente teorema.
T EOREMA 1.8 (Norma inducida por el producto escalar). Sea ( E, h, i) un espacio con producto escalar. Entonces la funcion
4

kk h,i : E R

x 7 k x k h,i = hx, x i 2

es una norma sobre E denominada norma inducida por el producto escalar h, i; es decir, E
es un espacio normado provisto con la norma kkh,i .
Se concluye, entonces, que todo lo que se pueda decir de un espacio normado, metrico
y topologico

es aplicable a un espacio con producto escalar visto como espacio normado,

metrico y topologico

con la norma inducida, la metrica inducida por la norma inducida y

la topologa inducida por la metrica inducida, respectivamente.
Para demostrar el teorema 1.8, es necesario probar antes el siguiente teorema.
T EOREMA 1.9 (Desigualdad de Schwartz). Sea ( E, h, i) un espacio con producto escalar.
Se verifica la desigualdad
1

| hx, yi | h x, x i 2 hy, yi 2

(1.3)

para todo x E y todo y E. La igualdad ocurre si y solo si { x, y} es una conjunto

linealmente dependiente.
Con la ayuda de esta desigualdad, se prueba que la funcion
definida por (1.3) satisface
el cuarto axioma que define una norma la desigualdad triangular. De manera mas
precisa, tenemos el siguiente teorema.
T EOREMA 1.10 (La desigualdad triangular). Sea ( E, h, i) un espacio con producto escalar.
Entonces, para todo x E y todo y , se verifica la desigualdad

k x + y k k x k + ky k ,
donde

k x k = hx, x i 2 .

La igualdad se alcanza en (1.4) si y solo si x = 0 o y = x, con 0.

4 Est
a

funcion
esta bien definida gracias al cuarto axioma de producto escalar.

18

(1.4)

Ejemplo 3
1. La norma de 2 es la inducida por el producto escalar de 2 :

1
2

1
2

k x k2 = h x, x i = x j x j = | x j |
j N

j N

2. La norma kk2 de R n es la norma inducida por el producto escalar del espacio eucldeo R n :

1
2

1
2

1
2

k x k2 = h x, x i = x j x j = | x j |2 .
j =1

j =1

3. La norma kk2 de C n es la norma inducida por el producto escalar del espacio unitario C n :

1
2

1
2

1
2

k x k2 = h x, x i = x j x j = | x j |2 .
j =1

j =1

4. La norma kk2 de C2 [ a, b ] es la norma inducida por el producto escalar del espacio de las funciones continuas sobre un compacto:
1
2

kx k2 = h x, x i =

Z

b
a

x (t)y(t)dt

 12

Z

b
a

| x (t)| dt

 12

Por otro lado, no toda norma proviene de un producto escalar; es decir, existe una norma tal que ningun
producto escalar induce a dicha norma. Para demostrar esta afirmacion,

probemos antes una propiedad de una norma inducida por un producto escalar.
T EOREMA 1.11 (Igualdad del paralelogramo). Sean ( E, h, i) un espacio con producto escalar y kk la norma inducida por el producto escalar. Entonces, para todo x E y todo
y E, se verifica la siguiente igualdad:

k x + yk2 + k x yk2 = 2(k x k2 + kyk2 ).

(1.5)

El resultado se obtiene por aplicaciones simples de los axiomas que definen el producto
escalar y de las siguientes consecuencias elementales de estos axiomas.
T EOREMA 1.12. Sea ( E, h, i) un espacio con producto escalar. Se verifican las siguientes
propiedades:
1. Si K = R, entonces el producto escalar es simetrico: hx, yi = hy, x i.
2. hx + y, zi = h x, zi + hy, zi.
3. h x, yi = h x, yi.
4. h x, y + zi = h x, yi + h x, zi.
Por supuesto, la demostracion
de este teorema se obtiene, facilmente, de la aplicacion

de los axiomas de producto escalar. Ahora probemos el teorema 1.11.

19

Demostracion. El resultado se obtiene por aplicaciones simples de los axiomas que definen
el producto escalar. Por un lado tenemos que:

k x + yk2 = hx + y, x + yi
= hx, x + yi + hy, x + yi
= (h x, x i + h x, yi) + (hy, x i + hy, yi)


 
= k x k2 + kyk2 + hx, yi + hx, yi


= k x k2 + kyk2 + 2(hx, yi).

Por otro lado, tenemos que:

k x yk2 = k x + (y)k2
= h x + (y), x + (y)i
= h x, x + (y)i + h(y), x + (y)i
= (hx, x i + hx, yi) + (hy, x i + hy, yi)



= h x, x i + 1 h x, yi + hy, x i + (1)(1) hy, yi
= (hx, x i hx, yi) + ( hy, x i + hy, yi)


 
= k x k2 + kyk2 h x, yi + h x, yi


= k x k2 + kyk2 2(hx, yi).

Por lo tanto, obtenemos que:





k x + yk2 + k x yk2 = k x k2 + kyk2 + 2(hx, yi) + k x k2 + kyk2 2(h x, yi)


= 2 k x k 2 + k y k2 .

El teorema que acabamos de demostrar nos permite mostrar que no todo espacio normado es un espacio con producto escalar en el sentido de que la norma se la inducida por
un producto escalar. De manera mas precisa, probemos el siguiente teorema.

T EOREMA 1.13 (El espacio C [ a, b] no es uno con producto escalar). No existe un producto
escalar que induzca la norma del espacio C [ a, b].
Demostracion. Razonemos por contradiccion.
Para ello, supongamos que existe un producto escalar h, i tal que la norma de C [ a, b] es inducida por este producto escalar; es decir, tal
que
1

k x k = max{| x (t)| : t [ a, b]} = hx, x i 2 .

Por lo tanto, por el teorema 1.11, para todo x C [ a, b] y todo y C [ a, b], se debe verificar
la igualdad (1.5):
(1.5)
k x + yk2 + k x yk2 = 2(k x k2 + kyk2 ).
Sin embargo, si x0 y y0 son tales que
x0 : [ a, b] R
t 7 x0 (t) = 1

y0 : [ a, b] R

no se verifica la igualdad (1.5).

20

7 y0 (t) =

ta
,
ba

En efecto, tenemos que

k x0 k = max{| x0 (t)| : t [ a, b]} = max{1 : t [ a, b]} = 1.

Como y0 es una funcion
estrictamente creciente, entonces

k y0 k = max{|y0 (t)| : t [ a, b]} = y0 (b) =

Por lo tanto:

ba
= 1.
ba

2(kx0 k2 + k y0 k2 ) = 2(12 + 12 ) = 4.

Ahora, calculemos k x

+ yk2

( x0 + y0 )(t) =

y kx

yk2 .

(1.6)

El primer lugar, tenemos que

t + b 2a
ba

( x0 y0 )(t) =

t + b
ba

para todo t [ a, b]. Por lo tanto, x0 + y0 es estrictamente creciente y x0 y0 es estrictamente

decreciente. Tenemos, entonces, que:

k x0 + y0 k = max{| x0 (t) + y0 (t)| : t [ a, b]}

= x0 (b) + y0 (b) = 2,
k x0 y0 k = max{| x0 (t) y0 (t)| : t [ a, b]}
= x0 ( a) y0 ( a) = 1,
lo que muestra que

k x0 + y0 k2 + k x0 y0 k2 = 22 + 12 = 5.

(1.7)

Las igualdades (1.6) y (1.7) muestran que la igualdad del paralelogramo (1.5) no se
verifica para x0 y y0 . En otras palabras, la norma del espacio C [ a, b] no es inducida por
ningun
producto escalar.
Dado un espacio con producto escalar, cuando hablemos de e l como un espacio normado, si no se dice lo contrario, esa norma siempre sera la inducida por el producto escalar.
4.3 Ejercicios
1. Sea
F2 =

x : R R : x es continua en R

Probar que la funcion

h, i : F2 F2 R
( x, y) 7 h x, yi =

Z b
a

Z
0


2
| x (t)|2 et dt < .

x (t)y(t)et dt

es un producto escalar. Sea = ( F2 , h, i).

(a) Si x : R R tal que x (t) = 1 para todo t R y y : R R tal que y(t) = t, x ?
y ? En el caso de que la respuesta sea afirmativa, calcule h x, yi y las normas de x y de y,
respectivamente.
(b) Sean x0 y y0 dos funciones definidas de la siguiente manera:
(
(
1 si t [1, 1],
t si t [1, 1],
x0 ( t ) =
y
y0 ( t ) =
0 si t R [1, 1]
0 si t R [1, 1].
x0 ? y0 ? En el caso de que la respuesta sea afirmativa, calcule h x0 , y0 i y las normas
de x0 y de y0 , respectivamente.

21


2. Sean k N, l N y f k : 0,



R, gl : 0, 2 R tales que

f k (t) = cos kt

gl (t) = sen lt

para todo t [0, /2]. Calcule las normas de x, de y y h x, yi en el espacio C2 [0, /2].

3. Sean n N, y las sucesiones x n , yn definidas por

si 0 j 2n ,

0
1
n
x j = 2n + j si 1 j n,
y

n
0
si j > 2 + n

ynj

1
n

si 1 j n2 ,
si j > n2 .

Pruebe que x n 2 , yn 2 para todo n N. Ademas, halle las normas de x n y yn , respectivamente, y calcule el producto escalar de x con y y de y con x.

4. Demuestre la norma del espacio p no es inducida por ningun

producto escalar si p 6= 2.

5 Las desigualdades de Young, Holder

y Minkowski. Para probar que las funciones d p ,

kk p , con p > 1, son metricas o normas en los espacios R n , p y C p [ a, b], se utilizan las
siguientes desigualdades indicadas en el siguiente teorema.
T EOREMA 1.14. Sean p y q dos numeros

reales positivos conjugados; es decir, tales que

q > 1, q > 1 y
1 1
+ = 1.
p q
Entonces:
1. Desigualdad de Young: si x y y son dos numeros

reales positivos, entonces:

xp
yq
+ .
p
q

xy
2. Desigualdad de Holder

para

(a) sumas finitas: si x R n y y R n , entonces:

n

|x j y j |

j =1

!1

|x j |

j =1

!1
q

|y j |

j =1

donde x = ( x1 , x2 , . . . , xn ) y y = (y1 , y2 , . . . , yn );
(b) sumas infinitas: si x S p y y Sq , entonces:
!1

j N

|x j y j |

j N

|x j |

!1
q

j N

|y j |

donde x = ( x j ) y y = (y j );
(c) integrales: si x y y son funciones continuas en [ a, b], entonces:
Z b
a

| x (t)y(t)|dt

Z

b
a

| x (t)| dt

 1p Z

b
a

|y(t)| dt

 1q

cuando p = q = 2, estas desigualdades son conocidas por el nombre de desigualdad

de Schwarz.
22

3. Desigualdad de Minkowski para:

(a) sumas finitas: si x R n y y R n , entonces:
!1

|x j y j | p

j =1

|x j | p

!1

j =1

!1

|y j | p

j =1

(b) sumas infinitas: si x S p y y S p , entonces:

!1

j N

|x j y j |

!1

j N

|x j |

!1

j N

|y j |

(c) integrales: si x y y son funciones continuas en [ a, b], entonces:

Z

b
a

| x (t) y(t)| p dt

 1p

Z

b
a

| x (t)| p dt

 1p

Z

b
a

|y(t)| p dt

 1p

La demostracion
de estas desigualdades pueden ser encontradas en la mayora de los
libros de la bibliografa. El siguiente teorema tambien es de mucha ayuda para los espacios
de funciones continuas.
T EOREMA 1.15. Sea x : [ a, b] R una funcion
continua en [ a, b] tal que x (t) 0 para
todo t [ a, b] y
Z b
a

Entonces x (t) = 0 para todo t [ a, b].

x (t)dt = 0.

(1.8)

Demostracion. Supongamos lo contrario; es decir, supongamos que existe t0 [ a, b] tal que

x (t0 ) 6= 0. Supongamos, ademas, que t0 6 { a, b}; luego analizaremos estos dos casos.
Sea = x (t0 ); entonces > 0. Como x es una funcion
continua en t0 , existe > 0 tal
que

| x (t) x (t0 )| <

2
para todo t (t0 , t0 + ) [ a, b]. Por lo tanto, de esta desigualdad, obtenemos que

< x (t) < ;

2
2

es decir, obtenemos que

>0
2
para todo t (c, d) = (t0 , t0 + ) [ a, b]. Por lo tanto, tenemos que
x (t) >

Z d
c

x (t)dt >

Z d

dt =

(d c)
.
2

Concluimos, entonces, de la desigualdad (1.9) que:

Z b
a

x (t)dt

Z d
c

x (t)dt >

(d c)
> 0,
2

pues c 6= d, lo que contradice con la hipotesis

(1.8) sobre x. Esto significa que x = 0.

En el caso de que t0 = a, entonces c = a; si t0 = b, d = b.

23

(1.9)

Captulo 2

Abiertos y cerrados
En este captulo, vamos a estudiar los conceptos de conjuntos abiertos y cerrados, frontera,
interior, clausura y exterior. Empezaremos con la nocion
de abierto en un espacio topologi
co. En el captulo siguiente, trabajaremos las sucesiones, para en captulo subsiguiente,
caracterizar los conceptos de este captulo mediante las sucesiones.
1 Abiertos. La topologa inducida por la metrica esta constituida por todos los conjuntos
del espacio metrico para los cuales todo elemento es el centro de una bola abierta contenida
en el conjunto. Por eso, en un espacio metrico, aceptamos como definicion
de conjunto
abierto la siguiente.
2.1 (Conjunto abierto). Sea ( E, d) un espacio metrico. Un conjunto A de E es
D EFINICI ON
abierto si y solo si para todo x E, existe r > 0 tal que Br ( x ) A.
En particular, se tiene el siguiente teorema para espacios metricos. Puede verse este
resultado como un caso particular de la definicion
de topologa, o puede demostrarse a
partir de la definicion
anterior.
T EOREMA 2.1 (Propiedades de los abiertos). Sea ( E, d) un espacio metrico. Entonces:
1. E y son conjuntos abiertos.
2. La union
arbitraria de abiertos es un conjunto abierto. De manera mas precisa: si
{ Ai }i I es una familia de conjuntos abiertos de I; es decir, si para todo i I, Ai es un
conjunto abierto. Entonces
[
Ai
i I

es un conjunto abierto.
3. La interseccion
de un numero

finito de abiertos es un conjunto abierto. De manera

mas precisa: si { Ai }i I es una familia de conjuntos abiertos de I, con I un conjunto
finito, entonces
\
Ai
i I

es un conjunto abierto.
4. La interseccion
arbitraria de abiertos no es un conjunto abierto. En efecto, si I = N y


1 1
Ai = ,
i i
25

para todo i I con i 6= 0, entonces todos los Ai son conjunto abiertos su interseccion

es
\
A i = {0 },
i I

que no es un conjunto abierto.

1.1 Ejemplo: las bolas abiertas. Sea ( E, d) un espacio metrico. Dado a E y r > 0, recordemos
que la bola de centro a y radio r es el conjunto

Br ( a) = { x E : d( a, x ) < r }.
Para cada a E y cada r > 0, la bola abierta Br ( a) es un conjunto abierto.
En particular, en R, con la metrica usual, todos los intervalos simetricos

( a, a),
donde a > 0, son conjuntos abiertos, pues son las bolas abiertas Br ( a) con r = a.
Tambien, con la metrica usual en R, tenemos que todo intervalo finito (longitud finita) de nume
ros reales es un conjunto abierto. En efecto, sea ( a, b ), con a < b un intervalo abierto:

( a, b ) = { x R : a < x < b }.
Entonces

( a, b ) = Br (c)
con c = ( a + b )/2 y r = b c = c a, de donde se deduce que es un conjunto abierto.
Se puede dar una demostracion
de que este conjunto es abierto utilizando la definicion
2.1. En
efecto: sea x ( a, b ). Entonces, si
r = mn{ x a, b x },
se tiene que r > 0 y que

Br ( x ) = ( x r, x + r ) ( a, b ).

En R 2 , con la metrica eucldea, tenemos que los conjuntos de la forma

{( x1 , x2 ) R 2 : x12 + x22 < r2 } = Br (O)

con r > 0 y O = (0, 0), son conjuntos abiertos.
De manera similar, se puede demostrar que los siguientes intervalos son conjuntos abiertos en R
con la metrica usual: ( , a), ( a, + ).

1.2 Ejemplo: un conjunto no abierto. En R, todo conjunto unitario { a} no es abierto. En efecto,

para todo r > 0, el intervalo ( a r, a + r ) no esta contenido en { a}; por lo tanto, ninguna bola abierta
centrada en a, el unico

elemento del conjunto unitario { a} esta contenida en este conjunto.

En R, con la metrica usual, los conjuntos ( a, b ], [ a, b ), ( , a] y [ a, + ) no son conjunto abiertos.

1.3 Ejemplo: bolas abiertas en el espacio discreto. Sea ( E, d) un espacio metrico discreto.
Todo conjunto de E es un conjunto abierto.
Para probar esta afirmacion,
caractericemos, en primer lugar, las bolas en un espacio metrico
discreto. Es facil comprobar que si a E y r > 0, entonces
(
{ a} si r 1,
Br ( a) =
E
si r > 1.
Ahora, sea A E (no vaco). Sea a A; entonces
B 1 ( a) = { a} A;
2

por lo tanto, A es abierto.

26

1.4 Ejemplo: bolas abiertas en espacios normados. En un espacio normado, la bola abierta
Br ( a) puede ser expresada de la siguiente manera:
Br ( a) = { x E : k a x k < r }.

1.5 Ejemplo: bolas abiertas en C [ a, b]. En el espacio C [ a, b], el conjunto

{ x C [ a, b ] : | x (t)| < 1 para todo t [ a, b ]},
es un conjunto abierto, pues

{ x C [ a, b ] : | x (t)| < 1 para todo t [ a, b ]} = { x C [ a, b ] : max | x (t)| < 1}

t[ a,b ]

= { x C [ a, b ] : kx k < 1},
que es la bola abierta de centro 0 y radio 1 en C [ a, b ].

Cerrados

2.2 (Conjunto cerrado). Sea ( E, ) un espacio topologico.

D EFINICI ON

Un conjunto A E
es cerrado si y solo si su complemento E A es abierto; es decir, si E A .
De la definicion
de conjunto cerrado y del teorema 2.1 y de las propiedades de los complementos de uniones e intersecciones, se deduce el siguiente teorema.
T EOREMA 2.2 (Propiedades de los cerrados). Sea E un espacio topologico.

Entonces:
1. los conjuntos y E son conjuntos cerrados;
2. la union
de una familia finita de conjuntos cerrados es un conjunto cerrado; es decir, si
{ A j } j J , donde J es un conjunto finito, es una familia de conjuntos cerrados, entonces
[

Aj

j J

es un conjunto cerrado.
3. la interseccion
de cualquier familia de conjuntos cerrados es un conjunto cerrado;
es decir, si { A j } j J , donde J es un cualquier conjunto, es una familia de conjuntos
cerrados, entonces
\
Aj
j J

es un conjunto cerrado.
2.1 Ejemplo: las bolas cerradas. Sea ( E, d) un espacio metrico. Dado a E y r > 0, la bola
cerrada de centro a y radio r es definida como el conjunto

Br [ a] = { x E : d( a, x ) r }.
Para cada a E y cada r > 0, la bola cerrada Br [ a] es un conjunto cerrado.

2.2 Ejemplo: las esferas. Sea ( E, d) un espacio metrico. Dado a E y r > 0, la esfera de centro a y
radio r es el conjunto

Sr ( a) = { x E : d( a, x ) = r }.

Para cada a E y cada r > 0, esfera Sr ( a) es un conjunto cerrado.

27

2.3 Ejemplo: Los conjuntos finitos en un espacio metrico. Sea ( E, d) un espacio metrico.
Todo conjunto unitario es un conjunto cerrado, pues, por el teorema 1.3, el complemento del conjunto
unitario siempre es un conjunto abierto.
Ahora, mediante induccion
matematica y el teorema 2.2, se prueba facilmente que todo conjunto
A, finito y no vaco, es cerrado, pues:
A = { ai : i I } =

i I

{ ai }

y el conjunto I es finito.

2.4 Ejemplo: conjuntos no cerrados. En R, con la metrica usual, los conjuntos ( a, b], [ a, b),
( a, + ) y ( , a) no son conjuntos cerrados.

Terminemos esta seccion

con un par de propiedades faciles de probar sobre las bolas
abiertas y cerradas.
T EOREMA 2.3. Sea ( E, d) un espacio metrico. Si a E, 0 < r < s, entonces
Br ( a) Bs ( a).
Ademas, se tiene que
Br ( a) Br [ a].
3

Caracterizacion
topologica

de los abiertos y de los cerrados

2.3 (Vecindad). Sean ( E, ) un espacio topologico

D EFINICI ON

y a E. Una parte V de E
es una vecindad de a si y solo si existe un abierto U en E tal que a U V.
Que un elemento a de un espacio topologico

este en una vecindad quiere decir, entonces, que siempre existe un conjunto abierto U que tiene a a como elemento. Es claro,
entonces, que todo conjunto abierto es una vecindad de cada uno de sus puntos, y en los
espacios metricos, todas las bolas abiertas y cerradas son vecindades de cada uno de sus
puntos.
A traves de la nocion
de vecindad podemos caracterizar a los conjuntos abiertos. De
manera mas precisa, se tiene el siguiente teorema.
T EOREMA 2.4. Sea ( E, ) un espacio topologico.

Una condicion
necesaria y suficiente para
un conjunto A E sea abierto es que para todo x A, exista una vecindad Vx de x tal que
Vx A.
Demostracion. La demostracion
de que la condicion
es necesaria es trivial. Veamos que la condicion
es
suficiente. Para ello, supongamos que para todo x A, existe una vecindad Vx de x tal que Vx A.
Demostremos que A es un conjunto abierto.
Sean x A y Vx A la vecindad que tiene a x como elemento. Existe, entonces, un conjunto
abierto A x tal que
x A x Vx A.

Por lo tanto:

{ x } A x A.

Si tomamos las uniones generalizadas haciendo recorrer x en A, tenemos que:

[

x A

{x}

x A

Ax

A.

x A

Pero
A=

x A

{x}

x A

28

A = A.

(2.1)

Entonces, de (2.1), concluimos que

A
es decir, tenemos que

x A

A=

A x A;

Ax ,

x A

donde A x es un abierto para todo x A. Por lo tanto, A es un conjunto abierto, pues es la union
de
conjuntos abiertos.

Sean ( E, ) un espacio topologico

y A E. Es facil probar que existen el conjunto abierto mas grande que esta contenido en A y el conjunto cerrado mas pequeno
que contiene al
conjunto A. El primero se obtiene tomando la union
de todos los abiertos que estan contenidos en A; el segundo, tomando la interseccion
de todos los cerrados que contienen a
A.
De manera mas precisa, para el caso del abierto mas grande, se tiene el siguiente teorema.
T EOREMA 2.5 (Interior de un conjunto). Sean ( E, ) un espacio topologico

y A E. Entonces, el conjunto
[
int A = { B : B y B A}
satisface las siguientes propiedades:
1. es abierto; es decir, int A ;
2. es el abierto mas grande que esta contenido en A; es decir, si X A y X es abierto,
entonces X int A.
Para el caso del cerrado mas pequeno,
se tiene, en cambio, el siguiente teorema.
T EOREMA 2.6 (Clausura de un conjunto). Sean ( E, ) un espacio topologico

y A E.
Entonces, el conjunto
\
A = { B : E B y A B}

satisface las siguientes propiedades:

1. es cerrado; es decir, E A ;
2. es el cerrado mas grande que contiene al conjunto A; es decir, si A X y X es cerrado,
entonces A X.
A traves del interior y la adherencia de un conjunto, podemos caracterizar los conceptos de abierto y cerrado, respectivamente. De manera mas precisa, tenemos el siguiente
teorema, cuya demostracion
se obtiene facilmente por aplicacion
de los teoremas 2.5 y 2.6.
T EOREMA 2.7 (Caracterizacion
de abierto y cerrado). Sean ( E, ) un espacio topologico

y
A E. Entonces:
1. A es abierto si y solo si int A = A.
2. A es cerrado si y solo si A = A.
El interior y el exterior preservan la relacion
de subconjuntos:
T EOREMA 2.8. Sea ( E, ) un espacio topologico.

Entonces:
1. Si A B, entonces int A int B.
2. Si A B, entonces A B.
29

Demostracion. Como int A A, entonces se tiene que int A B. Por lo tanto, int A es un abierto que
esta contenido en B, de donde, por la definicion
de interior de B, se tiene que
int A int B.
Por otro lado, como B B, se tiene que A B; por lo tanto, B es un cerrado que contiene a A, de
donde, por la definicion
de adherencia de A, se tiene que
A B,
como se quera demostrar.

La definicion
de interior puede ser caracterizada tambien de la siguiente manera.
T EOREMA 2.9. Sean ( E, ) un espacio topologico

y A E. Entonces
x int A

Vx , una vecindad de x, tal que Vx A.

Ahora dediquemos tiempo a una caracterizacion

de la clausura.
T EOREMA 2.10. Sean ( E, ) un espacio topologico

y A E. Entonces
xA

Vx , una vecindad de x, Vx A 6= .

Demostracion. En primer lugar, supongamos que x A. Debemos probar que toda vecindad de x se
interseca con A. Supongamos lo contrario; es decir, supongamos que existe una vecindad V de x tal
que
V A = .
Sea U el abierto tal que

x U V.

(2.2)

A ( E U ),

(2.3)

Como V A = , tambien se tiene que U A = . De esta igualdad se deduce que

ya que si z A, entonces z 6 U.
Ahora bien, dado que E U es un conjunto cerrado, pues U es abierto, tenemos, por definicion

de adherencia y por (2.3), que

A ( E U ),

de donde, como x A, se verificara que x ( E U ), proposicion

que contradice a (2.2). Se demuestra as que la condicion
es necesaria.
Recprocamente, supongamos toda vecindad de x tiene interseccion
no vaca con A; probemos
que x A. Para ello, sea F un conjunto cerrado tal que
A F.
Debemos probar que x F.
Supongamos lo contrario; es decir, supongamos que x 6 F. Entonces x U = E F. Como U es
abierto, U sera una vecindad de x, de donde, por hipotesis,

se verificara que
U A 6= .
Por lo tanto, existira z U tal que z A. Luego, por la definicion
de U, z 6 F, lo que es imposible,
ya que, como A F, entonces z A. Concluimos, entonces, que x F.

T EOREMA 2.11 (Exterior). Sean ( E, ) un espacio topologico

y A E. Entonces el conjunto
ext A =

{B : B y

A B = },

al que se lo denomina exterior del conjunto A, cumple las siguientes propiedades.

30

1. ext A es abierto.
2. ext A A =
La demostracion
es bastante sencilla.
2.4 (Frontera). Sean ( E, ) un espacio topologico
D EFINICI ON

y A E. El conjunto
A = A int A
es conocido con el nombre de frontera del conjunto A.
La frontera de un conjunto siempre es un conjunto cerrado, pues es la interseccion
de
dos conjuntos cerrados:
A = A ( E int A).
Dado un conjunto A en un espacio topologico

E, el interior, exterior y frontera de A

constituyen una particion
del conjunto E. De manera mas precisa, se tiene el siguiente
teorema.
T EOREMA 2.12 (Particion
de un espacio topologico).

Sean ( E, ) un espacio topologico

y
A E. Entonces la clase
{int A, A, ext A}
es una particion
de E; es decir:
1. E = int A A ext A; y
2. los conjuntos int A, A y ext A son disjuntos dos a dos.
Demostracion. En primer lugar, probemos que E es la union
de los tres conjuntos. Dado que cada
uno de ellos son subconjuntos de E, la union
de los tres es un subconjunto de E. Resta, por lo tanto,
probar
E int A A ext A.

Sea x E. Vamos a demostrar que x debe estar en uno de esos tres conjuntos. Para ello, vamos a
considerar tres casos.

1. Si x 6 A y x 6 int A, probemos que x ext A.

Para ello, debemos demostrar que existe un conjunto abierto B que satisface las siguientes
condiciones:
A B = y x B.
(2.4)
Por un lado, de x 6 A, obtenemos que
x 6 A int A;
es decir, tenemos que
x 6 A

x 6 E int A.

(2.5)

Sin embargo, por hipotesis

tenemos que x 6 int A; es decir, x E int A, por lo que la proposicion

de la derecha en (2.5) es falsa. Esto implica que la proposicion

a la izquierda de la disyuncion

en (2.5) es verdadera:
x 6 A.

Esta ultima

proposicion,
por la caracterizacion
de la clausura mediante vecindades (teorema 2.10
en la pagina 30), podemos asegurar la existencia de una vecindad V de x tal que
V A = .
Sea B el abierto tal que
x B V,

31

(2.6)

de donde, por (2.6), podemos concluir que

BA=
con lo que se ha encontrado el abierto B que satisface las dos condiciones en (2.4). Esto quiere
decir que x ext A como se quera demostrar.

2. Si x 6 A y x 6 ext A, probemos que x int A.

De la hipotesis

x 6 A, tenemos la disyuncion
(2.5), que es equivalente a
x 6 A

x int A.

(2.7)

De manera que, para probar que x int A, vamos a descartar la proposicion

izquierda de la
disyuncion
en (2.7). Supongamos, entonces, que
x 6 A.

(2.8)

Ahora bien, de la hipotesis

x 6 ext A, sabemos que cualquiera que sea el abierto B tal que

x B, necesariamente debe ocurrir que
A B 6= .

(2.9)

Si tomamos B = E A, entonces B es abierto por el teorema 2.6 y x B, por (2.8). Entonces,

de (2.9), sabemos que
A ( E A) 6= .

Existe, entonces z E A y z A; es decir, existe z 6 A y z A, lo que es imposible, pues

A A. Por lo tanto, la proposicion
izquierda de la disyuncion
en (2.7) es falsa, lo que implica que
la proposicion
en esa misma disyuncion
es verdadera, que es lo que se quera demostrar.
3. Si x 6 int A y x 6 ext A, probemos que x A.
Para ello, debemos probar
x A y x 6 int A.

(2.10)

La proposicion
de la derecha se verifica por hipotesis.

Para demostrar x A, tomemos un

conjunto cerrado F tal que A F y demostremos que x F. Si no fuera as; es decir, si x 6 F,
entonces
x U = E F,
donde U es un conjunto abierto. Ademas, como A F, tenemos que
U A = .
En resumen, existe un abierto U tal que x U y U A = ; es decir, x ext A, lo que
contradice con la hipotesis

de que x 6 ext A. En otras palabras, x F, lo que prueba que x A.

En resumen, hemos probado que todo elemento de E debe ser elemento o bien de int A, o bien de A,
o bien de ext A.
A continuacion
probaremos:
int A A = ,

(2.11a)

int A ext A = ,

(2.11b)

A ext A = .

(2.11c)

De la definicion
de A, se tiene que
int A A = int A A ( E int A)

= A (int A ( E int A))

= A = ,
lo que prueba (2.11a).

32

Por otro lado, dado que

int A A

A ext A = ,

tenemos que int A ext A = , lo que prueba (2.11b).

Finalmente, (2.11c) se obtiene facilmente de la definicion
de frontera:


A ext A = A ( E int A) ext A

= ( A ext A) ( E int A)
= ( E int A) = .

En el siguiente teorema, reunimos diversas relaciones entre el interior, el exterior y la

frontera de un conjunto y de su complemento.
T EOREMA 2.13. Sean ( E, ) un espacio topologico

y A E. Entonces:
1. ext A = int ( E A).

2. ext (E A) = int A.

3. A = ( E A).

Demostracion.
1. Que u ext A es equivalente a que exista un abierto X tal que u X y X A = ; lo que, a su
vez, es equivalente a que u X y X E A, pues si z X, z 6 A; es decir, existe un abierto
X tal que u X E A; pero esto equivale a que u int ( E A), ya que u E A. Por lo
tanto, ext A = int ( E A).

2. ext ( E A) = int ( E ( E A)) = int A.

3. En primer lugar, al aplicar el teorema 2.12 al conjunto A, tenemos que

E = int A A ext A.

(2.12)

Por el mismo teorema, al aplicar al conjunto E A, nos da que

E = int( E A) ( E A) ext ( E A) ,
igualdad que se re-escribe de la siguiente manera, gracias a las dos primeras partes de este
teorema:
E = ext A ( E A) int A.
(2.13)
Por lo tanto, de 2.12 y de 2.13, concluimos que

int A A ext A = ext A ( E A) int A,

de donde, como los tres conjuntos involucrados en cada uno de los lados de esta ultima

igualdad son disjuntos dos a dos, respectivamente, podemos concluir que A = ( E A).

El siguiente teorema nos muestras tres caracterizaciones de la adherencia de un conjunto en terminos de su interior, de su frontera y de su exterior.
T EOREMA 2.14. Sean ( E, ) un espacio topologico

y A E. Entonces:
1. A = int A A.

2. A = A A.

3. A = E ext A.

Demostracion.
1. Demostracion
de A = int A A:


int A A = int A A ( E int A)


= int A A (int A ( E int A))

= A E = A,

pues int A A A y A E.

33

2. Demostracion
de A = A A. Sea u A A. Si u A, entonces u A, pues A A; por otro
lado, si u A, entonces u A por la definicion
de frontera. En resumen, hemos demostrado que
A A A.
Recprocamente, supongamos que u A. Si u A, entonces u A A. Si u 6 A, entonces
u 6 int A, pues int A A. Por lo tanto, como u A y u 6 int A, por la definicion
de frontera,
u A; as que u A A. En resumen, hemos demostrado que A A A.

3. Demostracion
de A = E ext A:

E ext A = (int A A ext A) ext A

= int A A = A,

pues los conjuntos int A, ext A y A son disjuntos dos a dos.

T EOREMA 2.15. Sean ( E, ) un espacio topologico

y A E. Entonces a A si y solamente si toda vecindad V de a se interseca a la vez con A y con E A.

Demostracion. Que a A es equivalente a A y a 6 int A, lo que equivale a que para cualquier
vecindad V de a, se tenga que V A 6= (por el teorema 2.10) y que V 6 A (pues a 6 int A). A
su vez, esta ultima

conjuncion
equivale a que V A 6= y que exista z V tal que z 6 A; es decir,
z V y z E A; es decir, V interseca tanto A como E A.

T EOREMA 2.16. Sean ( E, ) un espacio topologico

y A E. Entonces

(E A) = E int A.
Demostracion. La prueba es sencilla como se muestra en la siguiente cadena de equivalencias:
u ( E A) para toda vecindad V de u, V ( E A) 6=

para toda vecindad V de u, existe z V, z 6 A

para toda vecindad V de u, V 6 A
u 6 int A.

C OROLARIO 2.1. Sean ( E, ) un espacio topologico

y A E. Entonces
A = A ( E A).
3.1 Ejercicios. En todos los ejercicios, salvo que se diga lo contrario, ( E, ) representara un espacio
topologico,

A, B y C, representaran subconjuntos de E.
1. Si A B, en que relacion
estan A y B?

2. Si A B, en que relacion
estan ext A y ext B?

3. Sea { A j } j J una familia de conjuntos de un espacio topologico

E. Demuestre que:

[ 
[
(a)
A j A j . Ofrezca un ejemplo que muestre que la inclusion
contraria no se verij J

j J

j J

j J

fica necesariamente cuando J es un conjunto infinito.

[ 
[
(b)
A j = A j si J es un conjunto finito.

34

(c)

j J

Aj

\

j J


A j . Ofrezca un ejemplo que muestre que la inclusion
contraria no se veri-

fica necesariamente, incluso en el caso en el que J es un conjunto finito.

(d) A partir de las relaciones anteriores, establezca las correspondientes para los interiores.
4. Sean E un conjunto con la topologa discreta y A E. A que son iguales int A, ext A, A y A,
respectivamente?
5. Sean ( E, ) un conjunto con la topologa grosera y A E. A que son iguales int A, ext A, A y A,
respectivamente?
6. Sea E un conjunto provisto de la topologa puntual particular. Encuentre condiciones necesarias y
suficientes (no necesariamente ambas) para los conjuntos cerrados y para el interior, el exterior y
la frontera de un conjunto, respectivamente.
7. Demuestre que la topologa de Sierpinski es un caso particular de la topologa puntual particular.
8. Sea E un conjunto provisto de la topologa de los complementos finitos.
(a) Caracterice a los conjuntos cerrados.
(b) Demuestre que si E es un conjunto finito, la topologa de los complementos finitos es la topologa discreta.
(c) Si E es un conjunto numerable, calcule A para cualquier A E.

(d) Si E es infinito y A y B son abiertos, demuestre que A B 6= .

4 Abiertos y cerrados en los espacios metricos. Sea ( E, d) un espacio metrico. Como

se recordara (ver la definicion
1.4 en la pagina 9), la topologa inducida por la metrica
d consiste de todos los conjuntos A de E para los cuales si x A, existe r > 0 tal que
Br ( x ) A. Es facil probar que el interior de A se puede caracterizar de la siguiente manera.
T EOREMA 2.17. Sean ( E, d) un espacio metrico y A E. Entonces:
int A = { x A : r > 0, B( x; r ) A}.
Es claro que todas las propiedades que se verifican para los abiertos y los cerrados en
un espacio topologico

arbitrario son tambien satisfechas por los abiertos de un espacio

metrico, ya que estos conjuntos son elementos de la topologa inducida por la metrica.
En los espacios metricos, podemos utilizar las bolas abiertas en lugar de las vecindades
en general; as, todos los teoremas y definiciones que involucren vecindades en un espacio topologico,

siguen vigentes en un espacio metrico si se cambian vecindades por bolas

abiertas.
Por ejemplo, el teorema 2.10 puede ser enunciado as: x A si y solo si para todo > 0,
la bola de centro B( x; ) A 6= . De manera mas precisa, tenemos el siguiente teorema.
T EOREMA 2.18. Sean ( E, d) un espacio metrico y A E. Entonces x A si y solo si para
todo > 0, existe y A tal que d( x, y) < .
En otras palabras, para cualquier elemento x de la adherencia del conjunto A, siempre
existe un elemento y de A tan cerca de x como se quiera. Dicho de otro modo, si x A tal
que x 6 A, entonces x puede ser aproximado por un elemento de A con la precision
que se
quiera. Esta nocion
puede hacerse mas precisa con el concepto de sucesion,
tema a tratarse
en un captulo posterior.

35

5 Densidad. Sean E un espacio metrico, A y B conjuntos de E. El conjunto A es denso

respecto de B si B A; es decir, si cada punto de B es un punto de adherencia de A.
A los conjuntos densos en el espacio E se les denomina densos en todas partes, o simplemente, densos. Se tiene, entonces, que A es denso en E si y solo si A = E. Por lo tanto, si
A es denso en E, todo elemento de E es el limite de una sucesion
de elementos de A; o de
manera equivalente, para cada x E, hay un elemento de A tan cerca de x como se quiera:
para cada , existe y A tal que d( x, y) < .
5.1 Ejercicios
1. Demuestre que la topologa inducida por la metrica de Sierpinski es la topologa discreta.
2. Caracterice las bolas abiertas de la metrica radial sobre R 2 y la clausura de cualquier conjunto.
3. Demuestre que la funcion

d : R + R + R



1
1
7 d( x, y) =  
x
y

( x, y)

es una metrica sobre R + . Ademas, determine las bolas de centro 1 y radio r.

4. En R con la metrica usual, sea

n o 
1
A = ( , 1) 0, , 3 3 : n N .
4
n
Determine el interior, la adherencia, la frontera y el exterior del conjunto A.
5. Sean ( E, d) un espacio metrico y A E un conjunto abierto. Demuestre que A es la union
de bolas
abiertas.
6. Sean ( E, d) un espacio metrico y A E. Demuestre:
(a) A A

(int A) A.

(b) A es abierto si y solo si A A = .

(c) A es cerrado si y solo si A A.

Caracterice los conjuntos A tales que A = .

7. Sean ( E, d) un espacio metrico, A E, ( A) = int A y ( A) = int A. Demuestre que:
(a) Si A es abierto, entonces A ( A).

(b) Si A es cerrado, entonces ( A) A.

(c) y son invariantes respecto de la inclusion

de conjuntos.

8. Sea ( E, d) un espacio metrico. Al producto cartesiano E E se le puede dotar de la siguiente

metrica:
d (( x1 , x2 ), (y1 , y2 )) = max{d( x1 , y1 ), d( x2 , y2 )}.
La diagonal de E E es el conjunto

= {( x, x ) E E : x E } .
Demuestre que es un conjunto cerrado en ( E E, d ).

9. Sea {( Ei , di )}i I una familia de espacios metricos donde I es un conjunto finito. Demuestre que si
p [1, + ), las funciones
!1
dp =

di

d = max di
i I

i I

son, cada una, una metrica sobre el producto cartesiano Ei .

i I

36

10. Sean d1 y d2 dos metricas sobre un mismo conjunto E. Suponga que existe una constante k > 0 tal
que
d1 ( x, y) kd2 ( x, y)

para todo x E y todo y E. Demuestre que toda bola abierta de ( E, d1 ) contiene una bola abierta
de ( E, d2 ).

11. Demuestre que el conjunto de los numeros

racionales es denso en R.
12. Demuestre que en un espacio metrico, la union
de un conjunto abierto y su exterior es denso.

37

Captulo 3

Puntos de acumulacion

Sean ( E, d) un espacio metrico y A E. Los puntos de adherencia del conjunto A son los
puntos mas cercanos al conjunto A (incluidos estan, por supuesto, los mismos elementos
de A). En este captulo, vamos a tratar los puntos de acumulacion.
La caracterstica de un
punto de acumulacion
es que hay un numero

infinito de elementos del conjunto tan cerca

de dicho punto (del de acumulacion).

3.1 (Punto de acumulacion).

D EFINICI ON

Sean ( E, d), A E y a E. El punto a es un

punto de acumulacion del conjunto A si para todo > 0, se verifica que

( B ( a) { a}) A 6= 0;
en otras palabras, cualquier bola abierta centrada en a tiene al menos un punto de A distinto
de a.
Notaremos con A el conjunto de todos los puntos de acumulacion
del conjunto A. Un
punto que no es de acumulacion
es denominado punto aislado.
Es facil ver que todo punto de acumulacion
de un conjunto A es un punto de adherencia; es decir, siempre se verifica que
A A.
Por otro lado, la otra inclusion
no se verifica siempre; es decir, un punto de adherencia no
es un punto de acumulacion
necesariamente.
1 Punto de adherencia que no es de acumulacion.

Si a E y A = { a}, tenemos que a es un

punto de adherencia del conjunto A, mientras que a no es punto de acumulacion.

En efecto, a no puede ser un punto de acumulacion,

porque para todo > 0, se tiene que
( B ( a) { a}) A = ( B ( a) { a}) { a} = .

Ejemplos. Con la topologa usual, todos los puntos de un intervalo son puntos de acumulacion.

Por ejemplo, si A = ( a, b ), probemos que x A es un punto de acumulacion.

Para ello, sea > 0. Si

> max{ x a, b x },

entonces

por lo tanto

( a, b ) ( x , x + ) = B ( x ),
( B { x }) ( a, b ) = ( a, b ) { x } 6= ;

es decir, x es un punto de acumulacion

de ( a, b ).

39

En cambio, si
entonces se tiene que

mn{ x a, b x } < < max{ x a, b x },

( a, x + ) = ( x , x + ) ( a, b ) o ( x , b ) = ( x , x + ) ( a, b ),
de donde se tiene que

( B { x }) ( a, b ) = ( a, b ) { x } 6= ;

es decir, x es un punto de acumulacion

de ( a, b ).
Finalmente, si
< mn{ a x, b x },
tenemos que

( x , x + ) ( a, b ),

de donde

( B { x }) ( a, b ) = ( a, b ) { x } 6= ;

es decir, x es un punto de acumulacion

de ( a, b ).
En el siguiente grafico se visualizan los tres casos:

x+
b

x+
b

x+

En este caso, ademas de que todo x ( a, b ) es un punto de acumulacion

de ( a, b ), tenemos que a
y b son puntos de acumulacion,
que no estan en el conjunto.
En efecto, para el caso de a, por ejemplo, se tiene que para todo > 0:

(( a , a + ) { a}) ( a, b ) = ( a, a + ) 6=
si < b a, o

(( a , a + ) { a}) ( a, b ) = ( a, b ) 6=

si > b a.
Resulta de ayuda realizar los respectivos graficos en los casos anterior. De manera similar se
prueba para b.
Finalmente, si x > b o x < a, entonces x no es un punto de acumulacion.
En efecto, supongamos
que x > b. Vamos a probar que existe una bola que no interseca al intervalo ( a, b ). Basta tomar
= x b. En ese caso, tenemos que

( x , x + ) = (b, 2x b ),
de donde

(( x , x + ) { x }) (( a, b ) { x }) = ((b, 2x b ) { x }) 6= .
Es decir, x no es un punto de acumulacion.

40

Ejemplo. Sea
K=


1
: n N, n 6= 0 .
n

Entonces K = {0}; es decir, el unico

punto de acumulacion
de K es el numero

0.
En efecto, probemos, en primer lugar, que 0 es un punto de acumulacion.
Para ello, sea > 0.
Debemos probar que
( B (0) {0}) K 6= ;
es decir, como

B (0) = ( , ),
vamos a probar que

(( , ) {0}) K 6= .

Como > 0, por la propiedad arquimediana, existe n0 N, n0 6= 0 tal que

1
< n0 ,

es decir, tal que

0<
Esto significa que existe n0 tal que

Y, como

1
< .
n0

1
( , ).
n0
1
K
n0

1
6= 0,
n0

tenemos que
1
(( , ) {0}) K;
n0
es decir:

(( , ) {0}) K 6= ,

lo que quiere decir que 0 es un punto de acumulacion

de K.
Ahora probemos que ningun
numero

real diferente de 0 es un punto de acumulacion

de K. Para
ello, sea x 6= 0. Vamos a considerar cuatro casos1 : x (0, 1] K, x K, x < 0 y x > 1.
Supongamos que x (0, 1] K. Vamos a encontrar un 0 > 0 para el cual sucede

( x 0 , x + 0 ) K = ,
con lo que se probara que x no es un punto de acumulacion
de K.
Por la propiedad arquimediana, existe n N tal que
1
< n.
x
Por el principio del buen orden, sea n0 N, n0 6= 0 el mas pequeno
tal que
1
< n0 .
x
Entonces

1
< x.
n0
Como n0 es el mas pequeno
de todos los naturales que cumplen con (3.1), tenemos que
x<
1 Consideramos

1
,
n0 1

estos casos porque K (0, 1].

41

(3.1)

pues, si ocurriera que

x>
tendramos que

1
,
n0 1

1
< n0 1,
x
y n0 ya no sera el mas pequeno
que cumple con (3.1).
Tenemos, entonces que
1
1
<x<
.
n0
n0 1
Luego, si elegimos


1
1
0 = mn x ,
x ,
n0 n0 1
tenemos que


1
1
,
,
( x 0 , x + 0 )
n0 n0 1
de donde, tenemos que:
(( x 0 , x + 0 ) { x }) K = .

(3.2)

(3.3)
(3.4)

En efecto, vamos a probar que para todo u K, se tiene que

u 6 ( x 0 , x + 0 ) ,

lo que implica (3.4).

Como u K, existe m0 N tal que

u=

1
.
m0

Como x 6 K, entonces m0 6= n0 .
Tenemos dos casos; si m0 > n0 , entonces
u=

1
1
<
,
m0
n0

1
1
,
n0 n0 1

de donde
u 6
y, por lo tanto, por (3.3), tenemos que

u 6 ( x 0 , x + 0 ) .
Por otro lado, si m0 < n0 , entonces
m0 n0 1,

de donde

1
1

= u,
n0 1
m0

de donde

u 6
y, por lo tanto:

1
1
,
n0 n0 1

u 6 ( x 0 , x + 0 ) .

Con esto hemos probado que x (0, 1] K no es un punto de acumulacion

de K.
Se deja como ejercicio demostrar que x no es un punto de acumulacion
en los otros tres casos.

Ejemplo. El conjunto
A=

 

1
n
: n N, n 6= 0
:nN
n
n+1

tiene exactamente dos puntos de acumulacion.

42

5 Caracterizacion
de conjuntos cerrados. Vamos a probar que un conjunto es cerrado si
y solo si posee todos sus puntos de acumulacion;
para probarlo, vamos a mostrar que la
adherencia de un conjunto esta conformada por los puntos del conjuntos y sus puntos de
acumulacion.

T EOREMA 3.1. Sean ( E, d) y A E. Entonces

A = A A .
Demostracion. En primer lugar, supongamos que x A y probemos que x A A .
Para ello, supongamos que x 6 A; demostremos, entonces, que A . Con este proposito,

sea > 0;
debemos probar que
(3.5)
( B ( x ) { x }) A 6= .
Como x A y > 0, entonces

Sea
Como x 6 A, entonces y 6= x. Luego
Entonces

B ( x ) A 6= .
y B ( x ) A.
y B ( x ) { x } .
y ( B ( x ) { x }) A,

con lo que se ha probado (3.5), como se quera.

Ahora, como siempre ocurre que A A y A A, tenemos que
A A A,
con lo que se demuestra que A = A A , como se quera.

T EOREMA 3.2. Sean ( E, d) y A E. Entonces A es cerrado si y solo si A A.

Demostracion. Si A es cerrado, entonces A = A, de
A A,
concluimos que A A.
Por otro lado, si
tenemos que
como se quera.

A A,
A = A A = A,

6 Caracterizacion
de puntos de acumulacion
por sucesiones. Finalmente, establezcamos
el hecho de que alrededor de un punto de acumulacion
siempre hay infinitos puntos del
conjunto.
T EOREMA 3.3. Sean ( E, d), A E y a A . Entonces para todo > 0, se tiene que
B ( a ) A
es un conjunto infinito; es decir, la bola de centro a y radio tiene un numero

infinito de
elementos de A.

43

Demostracion. Supongamos lo contrario; es decir, supongamos que el conjunto

X = B ( a ) A
es finito. Supongamos, entonces, que
X = { x1 , x2 , . . . , x n } .
Para cada i {1, 2, . . . , n }, definamos ri = d( xi , a) y
r=

mn

i {1,2,...,n}

ri .

Como r > 0 y a A , entonces, necesariamente debe ocurrir que

( Br ( a) { a}) A 6= ;
en particular, debe ocurrir que
Br ( a) A 6= .

Sin embargo, si

u Br ( a) A,

entonces

u A y d(u, a) < r,
es decir, para algun
j0 {1, 2, . . . , n }, se tiene que
d(u, a) < r j0 .

(3.6)

Ahora bien, cada x X, por la definicion

de X, cumple con
x B ( a )

x A;

d( x, a) <

x A.

es decir, cumple con

Por lo tanto:

r j0 = d( x j0 , a) < ,
pues x j0 X. Tenemos, entonces que

r j0 < ,

de donde, por (3.6), tenemos que

d(u, a) < ,
y, como u A, entonces
de donde, existe i0 {1, 2, . . . , n } tal que

u X,
u = x i0 .

Por lo tanto:
ri0 = d(u, a) < r ri0 ,
lo que es imposible. Por lo tanto, X no puede ser finito.

Al igual que los puntos de adherencia, un punto de acumulacion

es el lmite de una
sucesion
de elementos del conjunto, con la particularidad de que ningun
termino de la
sucesion
es igual al punto de acumulacion.
Esta condicion
tambien es suficiente. De hecho,
tenemos las siguientes equivalencia.
T EOREMA 3.4. Sean ( E, d), A E y a E. Las siguientes tres proposiciones son equivalentes:
1. El punto a es punto de acumulacion
de A; es decir, a A .
2. El punto a es el lmite de una sucesion
de elementos de a, todos ellos diferentes de
a; es decir, existe ( xn ) tal que para todo n N, se verifica que xn A , xn 6= a, y,
ademas, xn a.
3. Toda bola abierta centrada en a tiene un numero

infinito de elementos de a.
44

Ejercicios.
1. Sea


n o 
1
A = ( , 1) 0, , 3 3 : n N .
4
n

Determinar los conjuntos int A, A, A, A , y el conjunto de puntos aislados de A.

2. Dada un sucesion
( xn ) en un espacio metrico E, un punto a E es un valor adherente de la
sucesion
( xn ) si existe una subsucesion
de ( xn ) que converge a a; es decir, si existe una funcion

: N N, estrictamente creciente, tal que la sucesion

( x n ) converge a a.
Demuestre que una condicion
necesaria y suficiente para que a E sea un valor adherente de
una sucesion
( xn ) es que, para cada vecindad V de a y cada m N, exista n N tal que n m
y xn V.

45

Captulo 4

Continuidad
1

Continuidad

4.1 (Vecindad). Sean E un espacio topologico,

D EFINICI ON

V un subconjunto de E y a V.
El conjunto V es una vecindad de a si existe un abierto U tal que
a U V.
Es inmediato de la definicion
que un conjunto abierto es vecindad de cada uno de sus
puntos. En particular, en un espacio metrico, todas las bolas abiertas son vecindades de
cada uno de sus puntos
4.2 (Continuidad en un espacio topologico).
D EFINICI ON

Sean E y F dos espacios topologi

cos y a E. Una funcion
f : E F es continua en a si y solo si para toda vecindad V de
f ( a), f 1 (V ) es una vecindad de a. La funcion
f es continua si es continua en todo a E.
1.1 Ejemplo. Sea E un espacio topologico;

entonces, la funcion
identidad I : E E con I ( x ) = x

para todo x E es continua. En efecto, sean a E y V una vecindad de I ( a). Como I ( a) = a,

entonces V es una vecindad de a; ademas
I 1 (V ) = { x E : I ( x ) V } = { x E : x V } = V.

Por lo tanto, I 1 (V ) es una vecindad de a.

1.2 Ejemplo. Sean E un conjunto provisto de la topologa discreta y F un espacio topologico

cualquiera; entonces, toda funcion

f de E en F es continua, ya que todo conjunto de E es un abierto, por
lo que f 1 (V ) es un conjunto abierto para cualquier vecindad de f ( a) para cualquier a E.

1.3 Ejemplo. Sean E un conjunto provisto de la topologa grosera y F un espacio topologico

cualquiera. Sean f una funcion

de E en F, a E y V una vecindad de f ( a); como f 1 (V ) 6= , pues
a f 1 (V ), la unica

posibilidad de que f 1 (V ) sea una vecindad de a es que f 1 (V ) = E. Entonces,

f es continua en a si y solo si f 1 (V ) = E para toda vecindad V de a. Esta claro que la funcion

identidad cumple con esta condicion.

1.4 Ejemplo. Sea E y F como en el numeral anterior y g una funcion

de F en E; entonces, g es
continua. En efecto, sea a F y V una vecindad de g( a); por lo tanto, V = E, ya que la topologa de E
solo tiene dos elementos: y E; y g1 (V ) = F, pues g( x ) E para todo x F. Por lo tanto, g1 (V )
es una vecindad de a; es decir, g es continua. En resumen, toda funcion
de un espacio topologico

en
el espacio con la topologa grosera es continua.
En los espacios metricos, la definicion
de continuidad se puede expresar en termino de
bolas abiertas:
47

T EOREMA 4.1. Sean ( E, d1 ), ( F, d2 ) dos espacios metricos y a E. Una funcion

f : E A
es continua en a si y solo si para todo > 0, existe > 0 tal que
B ( a) f 1 ( B ( f ( a))) .
En otras palabras, dado > 0, existe > 0 tal que para todo x E, se verifica la implicacion

d1 ( x, a) < d2 ( f ( x ), f ( a)) < .

48

Captulo 5

Continuidad uniforme
En este captulo, vamos a estudiar los conceptos de continuidad uniforme y de funciones
lipschitzianas, y su relacion
con la continuidad.
5.1 (Funcion
D EFINICI ON
continua). Sean E y F dos espacios metricos y f : E F. La
funcion
f es continua si f es continua en todo a E.
1

Ejemplo: La funcion
distancia es continua. Sea ( E, d) un espacio metrico; entonces la fun-

cion

: E E R
( x, y) 7 ( x, y) = d( x, y)

es una funcion
continua si consideramos la metrica usual en R y cualquiera de las siguientes metricas
en E E:
d (( x1 , x2 ), (y1 , y2 )) = max{d( x1 , y1 ), d( x2 , y2 )}
y

d p (( x1 , x2 ), (y1 , y2 )) = (d p ( x1 , y1 ) + d p ( x2 , y2 )) p

con p 1.

Ejemplo: La funcion
distancia entre un punto y un conjunto. Sean ( E, d) un espacio

metrico, A E y x E. Se define la distancia de x a A de la siguiente manera:

d( x, A) = nf d( x, y).
y A

La funcion

es continua.

: E R
x 7 ( x ) = d( x, A)

5.2 (Funcion
D EFINICI ON
continua uniformemente). Sean ( E, d1 ) y ( F, d2 ) dos espacios
metricos y f : E F. La funcion
f es continua uniformemente si para todo > 0, existe
> 0 tal que para todo x E y todo y E, se verifica la implicacion

d1 ( x, y) < d2 ( f ( x ), f (y)) < .

Las funciones y definidas en las secciones 5.1 y 5.2, respectivamente, son funciones
continuas uniformemente.
3

Ejemplo. La funcion

es una funcion
continua uniformemente.

+
f : R + R

x 7 x

49

4 Una funcion
que no es continua uniformemente. Es facil demostrar que toda funcion

continua uniformemente es continua; la proposicion

recproca no es verdadera. En efecto,
la funcion
x 7 x2 de R + en R + es continua, pero no continua uniformemente.
En efecto, probemos que la funcion

f : R + R +
x 7 x2
no es continua uniformemente.
Para ello, debemos encontrar un 0 > 0 tal que para todo > 0, existan x0 R + y y0 R + tales
que
| x0 y0 | < y | f ( x0 ) f (y0 )| 0 ;
es decir, tales que

| x0 y0 | < y



 2

x0 y20  0 .

5.3 (Funcion
D EFINICI ON
lipschitziana). Sean ( E, d1 ) y ( F, d2 ) dos espacios metricos y
f : E F. La funcion
f es lipschitziana si existe L > 0 tal que para todo x E y todo
y E, se verifica la desigualdad
d2 ( f ( x ), f (y)) Ld1 ( x, y).
Las funciones y definidas en las secciones 5.1 y 5.2, respectivamente, son funciones
lipschitzianas.
5

Una funcion
no lipschitziana. Es facil demostrar que toda funcion
lipschitziana es continua
uniformemente; pero la proposicion
recproca no es verdadera.
En efecto, la funcion

+
g : R + R

x 7 x
no es lipschitziana.
Para probarlo, necesitamos del siguiente teorema.

T EOREMA 5.1. Sea f : I R, con I un intervalo, una funcion

diferenciable. Entonces f es lipschitziana si y solo si f es acotada.
Antes de demostrar este teorema, lo vamos a aplicar para probar que la funcion
g no es lipschitziana.
Para ello, nos bastara con demostrar que la derivada de g no esta acotada. En este caso, I =
(0, + ). Entonces
1
g ( x ) = ,
2 x
que no esta acotada en I, pues lmx 0+ g ( x ) = + .

5.1 Ejercicios.
1. Demuestre mediante la definicion
de continuidad uniforme que la funcion

t 7 t
para todo t 0 es continua uniformemente.

2. Demuestre mediante la definicion

de continuidad uniforme que la funcion

t 7

1
t

para todo t > 0 no es continua uniformemente. Ademas, demuestre que la restriccion

de esta
funcion
a [ a, + ), con a > 0 es lipschitziana.

50

3. Sean a R y f : R R una funcion

continua en R. Si las restricciones f a ( , a) y ( a, + )
son continuas uniformemente, respectivamente, demuestre que f es continua uniformemente.
4. Sean E y F dos espacios metricos y f : E F. Demuestre que f es continua uniformemente
si y solo si para todo > 0, existe > 0 tal que para todo A E, se verifica la implicacion

diam A < diam f ( A) < .

5. Cuales de las siguientes funciones de R en R son lipschitzianas?
t 7

t2

1
,
+1

t 7

t
.
+1

t2

t 7 arctan t.

6. Sean > 1 y f : R + R + definida por

f (t) = t .
Demuestre que:
(a) f no es continua uniformemente.
(b) La restriccion
de f al segmento [0, a] con a > 0 es lipschitziana (y, por lo tanto, es continua
uniformemente en [0, a]).
7. Sean f : A R R y a A. Se dice que f es lipschitziana de orden en a si y solo si existen
L > 0 y > 0 tales que se cumple la implicacion

x B ( a) | f ( x ) f ( a)| M | x a| .
(a) Sea f : R (1, 1) R definida por
f (x) =

x2 1.

Demuestre que f es lipschitziana de orden 1 en cualquier punto de [ c, 2] con c > 1, y que

es lipschitziana de orden 21 en cualquier punto de [1, 2].
8. Sea f : R R una funcion
derivable en a R. Demuestre que f es lipschitziana de orden 1
en a.
9. Demuestre que una funcion
lipschitziana de orden en a es continua en a si > 0 y es derivable en a si > 1. Es lipschitziana de orden 1 en 0 la funcion
g siguiente?
g : R R
x 7 g( x ) =

x sen
0

1
x

si x 6= 0,
si x = 0.

Es g derivable en 0? Que puede concluir de la relacion

entre derivabilidad y lipschitziana de
orden 1?
10. Si E es un espacio vectorial normado y f : R + E una funcion
continua uniformemente,
demuestre que existe a > 0 y b R tales que para todo x > 0, se verifica la desigualdad

k f ( x )k ax + b.

51

Captulo 6

Subespacios metricos
Dado un espacio metrico ( E, d) y un subconjunto F de E, la restriccion
de la funcion
da
F F es tambien una metrica; por lo tanto, se tiene que F es un espacio metrico con la
metrica d = d| F F . Al subespacio ( F, d ) se le denomina subespacio de E. Se acostumbra a
utilizar la misma letra d para indicar la metrica d , y, por supuesto, siempre que se hable de
un subespacio, la metrica es la restriccion
de la metrica del espacio.
1

Caracterizacion
de los abiertos

T EOREMA 6.1. Sean E un espacio metrico, F un subespacio de E, a F y r > 0. Entonces:

1. La bola abierta de centro a y radio r en el subespacio F es igual a F Br ( a); es decir:

{ x F : d( x, a) < r } = F Br ( a).
2. Un conjunto A F es abierto en el subespacio F si y solo si existe un abierto B en E
tal que A = B F.
3. Una condicion
necesaria y suficiente para que un subconjunto A de F, que es abierto
en F, sea abierto en E es que F sea abierto en F.
Demostracion.
1. Puesto que F E, se tiene que:

{ x F : d( x, a) < r } = { x E : x F d( x, a) < r }
= { x E : x F } { x E : d( x, a) < r }
= F Br ( a).
2. Suponga que A F es un abierto en F; hay que probar que existe B E tal que
A = B F.
El resultado es obvio si A es vaco. Suponga que A 6= . Sea x A. Como A es abierto
en F, existe r x > 0 tal que la bola de centro en a y radio r x en F, es decir, el conjunto F Br x ( x ),
esta contenido en A:
F Br x ( x ) A.
Por lo tanto, tenemos que

x A

( F Br x ( x )) A;

53

y, como por la distributiva de la union

respecto de la interseccion,
se tiene que
[

x A

( F Br x ( x )) =

x A

x A

Br x ( x ) = F

Br x ( x ),

x A

se concluye que
F

x A

Br x ( x ) A.

Elijamos, entonces, como el conjunto B la union

de las bolas abiertas:
[

B=

Br x ( x ).

x A

Este conjunto es abierto en E, pues es la union

arbitraria de abiertos de E.
Tenemos, entonces que
F B A.
Finalmente, si u A, como A es abierto en F, existe ru > 0 tal que
uF

Br u (u ) A.

Y, como
Br u (u )
tenemos que

Br x ( x )

x A

uF

es decir, hemos probado que

u Br u (u ),
Br x ( x );

x A

A F B,

con lo que hemos probado que A = F B, con B abierto de E, como se quera.

3. Se obtiene como corolario de la proposicion
anterior.

2 Caracterizacion
de los cerrados. Dado que un conjunto es cerrado si su complemento
es abierto, del teorema 6.1, se obtiene el siguiente teorema.
T EOREMA 6.2. Sean E un espacio metrico, F un subespacio de E. Entonces:
1. Un conjunto A F es cerrado en el subespacio F si y solo si existe un cerrado B en E
tal que A = B F.
2. Una condicion
necesaria y suficiente para que un subconjunto A de F, que es cerrado
en F, sea cerrado en E es que F sea cerrado en F.

Ejercicios. Sea E un espacio metrico y F un subespacio.

1. Caracterizacion
de vecindades. Si a F, demuestre que una condicion
necesaria y suficiente
para que V F sea una vecindad de a en F es que exista una vecindad W de a en E tal que
V = W F.

2. Caracterizacion
de la adherencia. Sea A F. La adherencia de A en F es igual a B F, donde
B es un conjunto en E.

3. Si F es denso en E, demuestre que para cada x F y cada vecindad V de x en F, la adherencia

V de V (en E) es una vecindad de x en E.

54

Captulo 7

Distancias equivalentes
1

Homeomorfismos.

7.1 (Homeomorfismo). Sean E y F dos espacios metricos y f : E F. La

D EFINICI ON
funcion
f es un homeomorfismo si:
1. f es biyectiva,
2. f es continua, y
3. f 1 es continua.
Los espacios E y F se dicen homeomorfos.
1.1 Ejemplos. En R, tenemos que:
1. Los subespacios metricos [0, 1] y [ a, b ] de R son homeomorfos, pues la funcion

: [0, 1] [ a, b ]
t 7 a + (b a)t
es una biyeccion,
es continua y 1 es continua.
2. Los subespacios (0, 1) y ( a, b ) son homeomorfos.
3. El subespacio (1, 1) es homeomorfo al espacio R, pues la funcion

: R (1, 1)
t 7 1t t2
es biyectiva, continua y su inversa es continua.
4. El espacio R es homeomorfo a todo intervalo abierto no vaco.

T EOREMA 7.1. En la clase de todos los espacios metricos, la relacion

E es homeomorfo a
F es una relacion
de equivalencia; es decir:
1. Todo espacio E es homeomorfo consigo mismo.
2. Si un espacio E es homeomorfo a un espacio F, entonces F es homeomorfo a E.
3. Si E es homeomorfo a F, F lo es a G, entonces el espacio E es homeomorfo a G.
Si es un homeomorfismo de E en F, entonces se prueba facilmente que A E es
abierto en E si y solo si ( A) es abierto en F. Esta propiedad tambien es suficiente, siempre
y cuando la funcion
sea una biyeccion.
Lo expresamos en el siguiente teorema.
55

T EOREMA 7.2. Sea : E E una biyeccion.

Entonces f es un homeomorfismo si y solo
si para todo A E, se verifica la equivalencia
A es abierto de E si y solo si f ( A) es abierto de F.
Los homeomorfismos son, entonces, aplicaciones que transforman las nociones topologicas

de E en nociones topologicas

F: abiertos, cerrados y vecindades de E se transforman bajo un homeomorfismo en abiertos, cerrados y vecindades de F, respectivamente.
2 Distancias equivalentes. Sobre un mismo conjunto E, se pueden definir metricas diferentes, lo que hace que los espacios metricos sean diferentes. Por ejemplo, sobre R podemos
definir la metrica usual d1 ( x, y) = | x y|, pero tambien podemos definir la metrica discreta
(
1 si x 6= y,
d2 ( x, y) =
0 si x = y.
Como espacios metricos, (R, d1 ) y (R, d2 ) son diferentes de modo general, pues, por
ejemplo
d1 (0, 2) = |2 0| = 2 y d2 (0, 2) = 1.
Sin embargo, hay otras diferencias importantes. Por ejemplo, el conjunto N no es acotado en (R, d1 ), pero s lo es en (R, d2 ). Otra diferencia importante es que, para todo a R,
el conjunto { a} no es abierto en (R, d1 ), pero s lo es en (R, d2 ).
Volviendo al caso general, aunque dos metricas sobre un mismo conjunto haga de ese
conjunto dos espacios metricos diferentes, en cuanto a la distancia entres sus puntos, esencialmente esos dos espacio metricos no van a ser diferentes en algunos sentidos. Por ejemplo, puede darse el caso de que la topologa inducida por ( E, d1 ) sea igual que la topologa
inducida por ( E, d2 ). En ese sentido, como espacios topologicos,

los dos son el mismo;

en este sentido, las metricas d1 y d2 son equivalentes topologicamente.

Hay dos tipos de

equivalencia mas.
7.2 (Metricas equivalentes topologicamente).
D EFINICI ON

Sean d1 y d2 dos metricas sobre

un conjunto E. Las metricas son equivalentes topologicamente si inducen la misma topologa
sobre E.
En otras palabras, dos metricas sobre un mismo conjunto son equivalentes topologica
mente si tienen el mismo conjunto de abiertos, y, por lo tanto, de cerrados.
La equivalencia topologica

se puede caracterizar de la manera siguiente.

T EOREMA 7.3. Las metricas d1 y d2 sobre un conjunto E son equivalentes topologicamente

si y solo si la funcion
identidad I : ( E, d1 ) ( E, d2 ) es un homeomorfismo.
Demostracion. Gracias al teorema 7.2, sabemos que I es un homeomorfismo si y solo si es verdadera
la proposicion
A E es un abierto de ( E, d1 ) si y solo si I ( A) es un abierto de ( E, d2 ).
Ahora bien, como I ( A) = A, tenemos que I es un homeomorfismo si y solo si es verdadera
la proposicion
A E es un abierto de ( E, d1 ) si y solo si A es un abierto de ( E, d2 ) , la misma
que es equivalente a que las topologas de ( E, d1 )y ( E, d2 ) son iguales. Queda as demostrado el
teorema.

Decir que dos metricas son equivalentes topologicamente

quiere decir, entonces, que

las funciones I : ( E, d1 ) ( E, d2 ) y I : ( E, d2 ) ( E, d1 ) son continuas.
Por otra parte, que los dos espacios tengan los mismos abiertos no quiere decir que
tengan las mismas bolas abiertos. En general, la situacion
es la siguiente.

56

Bajo el supuesto de que las metricas d1 y d2 son equivalentes topologicamente,

de la
continuidad de la funcion
I : ( E, d1 ) ( E, d2 ), si a E y r > 0, existe > 0 tal que
B ( a) I 1 ( Br ( I ( a)));
es decir, como I 1 ( A) = A para cualquier conjunto, tenemos que la continuidad de I
implica que para todo r > 0, existe > 0 tal que
B ( a) Br ( a).
En otras palabras, la continuidad de I : ( E, d1 ) ( E, d2 ) implica que para toda abierta
en ( E, d2 ), existe una bola abierta del mismo centro que la primera, contenida en e sta. De
manera similar para la funcion
I : ( E, d2 ) ( E, d1 ). Por lo tanto, podemos caracterizar la
equivalencia topologica

de dos metricas mediante el siguiente teorema.

T EOREMA 7.4. Dos metricas sobre un mismo conjunto son equivalentes topologicamente

si y solo si toda bola de cada uno de los conjuntos contiene una bola del mismo centro del
otro conjunto.
2.1 Ejemplo: dos metricas equivalentes topologicamente.

Consideremos la metricas siguientes sobre E = (0, + ):

d1 :

E2 R
( x, y) 7 d1 ( x, y) = | x y|

d2 :

E2 R
( x, y) 7 d2 ( x, y) = | ln x ln y|.

Probemos, en primer lugar, que d1 y d2 son equivalente topologicamente.

Para ello, nombremos

con E1 y E2 los espacios ( E, d1 ) y ( E, d2 ), respectivamente. Ahora procedamos a demostrar que las
funciones identidad I1 : E1 E2 y I2 : E2 E1 son continuas.
Sea a E; para demostrar que I1 es continua en a, tomemos > 0; debemos encontrar > 0 tal
que si x E, se verifica la implicacion

d1 ( x, a) < d2 ( x, a) <
(recuerdese que I1 ( x ) = x). En otras, lo que hay que demostrar es que, dado > 0, existe > 0 tal
que si x E, se verifica la implicacion

| x a| < | ln x ln a| < .
Pero esta proposicion
no es mas que el enunciado de que la funcion
ln de E en R (con la metrica
usual) es continua en a, con a > 0, la cual sabemos que es verdadera.
Ahora probemos que I2 es continua en a. Para ello, sea r > 0; hay que encontrar > 0 tal que
para todo x E, es verdadera la implicacion
(recuerde que I2 ( x ) = x):

| ln x ln a| < | x a| < r.
Si u = ln x y v = ln a, esta ultima

implicacion
se reescribe de la siguiente manera:

| u v| < | eu ev | < r,
de donde se tiene que demostrar que I2 es continua es equivalente a demostrar que la funcion

f : R E
t 7 et
es continua, lo cual sabemos que es verdadero (con la metrica usual en R).

57

2.2 Ejemplo. Con respecto al ejemplo anterior, vamos a mostrar que una bola en el espacio E1 es
tambien una bola en el espacio E2 , y viceversa.
Para este ejercicio, modifiquemos la notacion
de las bolas abiertas. Para i {1, 2}, escribiremos
Bi ( a; r )
para indicar la bola abierta de centro a y radio r en el espacio Ei .
Antes que nada, observese que todo intervalo acotado puede ser escrito como una bola en E1 (un
intervalo simetrico); as, si y son dos numero

reales tales que < , tenemos que

(, ) = { x R : < x < }


+
+
+
= x R :
< x
<
2
2
2



= xR:
< x
<
2
2
2







<
= x R :  x
2 
2


+
= B1
;
.
2
2
Por un lado, tenemos que si a > 0 y > 0:
B2 ( a; ) = { x > 0 : d2 ( x, a) < }

= { x > 0 : | ln x ln a| < }
= { x > 0 : ln a < ln x < ln a + }

= { x > 0 : eln a < x < eln a+ }

= { x > 0 : ae < x < ae }

= ae , ae


e + e e e
= B1 a
;a
2
2
= B1 ( a cosh ; a senh ) ;

es decir, la bola de centro a y radio en E2 es igual a la bola de centro a cosh y radio a senh en E1 .
Por otro lado, si a > 0 y > 0, con < a, tenemos que (recuerdese que la funcion
logaritmo y su
inversa, la funcion
exponencial, son funciones estrictamente crecientes):
B1 ( a; ) = { x > 0 : a < x < a + }

= { x > 0 : ln( a ) < ln x < ln( a + )}



 


ln( a ) + ln( a + )
ln( a ) + ln( a + )
= x > 0 : ln( a ) < ln x
+
< ln( a + )
2
2




ln( a + ) ln( a )
ln( a ) + ln( a + )
ln( a + ) ln( a )
= x>0:
< ln x
<
2
2
2


1 a+
1
1
a
+

= x > 0 : ln
< ln x ln( a2 2 ) < ln
2 a
2
2 a
(
)
r
r
p
a+
a+
2
2
= x > 0 : ln
< ln x ln a < ln
a
a
(
)
r


p
a+


= x > 0 : ln x ln a2 2  < ln
a
(
)
r
 p

a+
2
2
= x > 0 : d2 x, a < ln
a

58

= B2

a2

2 ; ln

a+
a

es decir, la bola de centro a y radio en E1 es igual a la bola de centro a2 2 y radio ln aa+

.
Que una bola de centro a en el espacio Ei es igual a una bola en otro espacio E j (con j 6= i), implica
que los espacios E1 y E2 son homeomorfos, segun
el teorema 7.4.

Sean E un conjunto cualquiera, no vaco, y d1 y d2 dos metricas sobre E. Utilizaremos la

siguiente notacion
en lo que resta de esta captulo:
1. E1 = ( E, d1 ) y E2 = ( E, d2 ).
2. I1 e I2 las funciones identidad sobre E: I1 : E1 E2 e I2 : E2 E1 . Para i {1, 2},
tenemos que Ii ( x ) = x para todo x E; ademas: Ii1 = Ij con j 6= i, y i, j {1, 2}.
3. Bi ( a; r ) en lugar de Br ( a), para la bola de centro a y radio r en el espacio metrico Ei .
Las metricas d1 y d2 son equivalentes topologicamente,

por definicion,
si inducen la misma topologa sobre E. Hemos caracterizado esta relacion
a traves de las funciones Ij : deben
ser funciones continuas. Pero podran no ser ni continuas uniformemente ni lipschitzianas.
Para cada una de estas situaciones, tenemos un tipo de equivalencia entre metricas.
7.3 (Metricas equivalentes uniformemente). Las metricas d1 y d2 son equivaD EFINICI ON
lentes uniformemente si y solo si las funciones I1 e I2 son continuas uniformemente.
2.3 Ejemplo: metricas equivalentes uniformemente. Sean E un conjunto y d1 una metrica
sobre E. La funcion

d1
1 + d2
es tambien una metrica sobre E (la demostracion
queda como ejercicio). La notacion
para los correspondientes espacios metricos indicada anteriormente aplica tambien para este ejemplo.
Mostremos que estas dos metricas son equivalentes uniformemente. Para ello, debemos demostrar que I1 e I2 son funciones continuas uniformemente.
En primer lugar, probemos que I1 es continua uniformemente. Sea > 0; debemos encontrar
> 0 tal que para todo x E y todo y E, se verifique la implicacion

d2 =

d1 ( x, y) < d2 ( x, y) < ;
es decir, que se verifique la implicacion

d1 ( x, y) <

d1 ( x, y)
< .
1 + d1 ( x, y)

Sean x E y y E; puesto que

d1 ( x, y)
< (1 )d1 ( x, y) <
1 + d1 ( x, y)

d1 ( x, y) <
,
1
siempre que < 1, basta que se tome

,
1
con lo que se probara, para 0 < < 1, que si d1 ( x, y) < , se cumple tambien que
=

d1 ( x, y)
< .
1 + d1 ( x, y)

59

(7.1)

En cambio, si 1, cualquier > 0 hace verdadera la implicacion

(7.1), pues, para todo x E y
todo y E, se tiene que
d1 ( x, y) < 1 + d1 ( x, y),
de donde, son verdaderas las desigualdades
d1 ( x, y)
<1
1 + d1 ( x, y)
para todo ( x, y) E2 . Con esto se prueba que I1 es continua uniformemente.
Ahora probemos que I2 tambien es continua uniformemente. Sea r > 0; vamos a encontrar > 0
tal que para todo (u, v) E2 , es verdadera la implicacion

d2 (u, v) < d1 (u, v) < r;

es decir:

d1 (u, v)
< d1 (u, v) < r.
1 + d1 (u, v)

(7.2)

Si 0 < < 1, tenemos, para todo (u, v) E2 , la equivalencia:

d1 (u, v)

< d1 (u, v) <

;
1 + d1 (u, v)
1
por lo tanto, para obtener que d1 (u, v) < r, bastara con tomar tal que
r=
de donde se tendra que
0<=

,
1+
r
< 1.
1+r

En resumen, si se toma

r
,
1+r
es verdadera la implicacion
(7.2), lo que prueba que I2 es continua uniformemente.
Notemos que pudimos habernos ahorrado la demostracion
de que I1 es continua uniformemente,
pues, dado que para todo ( x, y) E2 con x 6= y, se tienen las equivalencias:
=

1 + d1 ( x, y) > 1

1
<1
1 + d1 ( x, y)
d1 ( x, y)
< d1 ( x, y)
1 + d1 ( x, y)

d2 ( x, y) < d1 ( x, y),
pues d1 ( x, y) > 0. Y si x = y, tenemos que d2 ( x, y) = d1 ( x, y).
En resumen, para todo ( x, y) E2 , se verifica que
d2 ( x, y) d1 ( x, y),
lo que implica que I1 es lipschitziana y, por tanto, continua uniformemente.

Una de las consecuencias de que dos metricas sean equivalentes uniformemente es que
si el un espacio es completo, el otro tambien lo es. En efecto, para probar ello, una sucesion
( xn ) es de Cauchy en E1 , lo es tambien tambien en el espacio E2 (la convergencia es
preservada porque las metricas son equivalentes topologicamente).

Supongamos, entonces, que ( xn ) es de Cauchy en E1 , y sea > 0; buscamos un n0 N

tal que, para todo n n0 y todo m n0 , se verifica la desigualdad
d2 ( xn , xm ) < .

60

(7.3)

Ahora bien, como la identidad I1 es continua, para el dado, existe > 0 tal que, para
todo (u, v) E2 , se verifica la implicacion

d1 (u, v) < d2 (u, v) < .

(7.4)

Por lo tanto, como ( xn ) es de Cauchy en E1 , para , existe n0 N tal que, para todo p n0
y todo q n0 , se cumple que
d1 ( x p , xq ) < .
(7.5)
Tenemos, entonces, si n n0 y m n0 , se verifican, simultaneamente, las desigualdades (7.4) y (7.5) para xn y xm :
d1 ( x n , x m ) < d2 ( x n , x m ) <

d1 ( xn , xm ) < ,

de donde se tiene que para todo n n0 y todo m n0 , se cumple

d2 ( xn , xm ) < ;
es decir, ( xn ) es de Cauchy en E2 .
De manera similar, se prueba que las sucesiones de Cauchy en E2 tambien son de
Cauchy en E1 .
2.4 Ejemplo: metricas no equivalentes uniformemente. Vamos a demostrar que las metricas
d1 ( x, y) = | x y| y d2 ( x, y) = | ln x ln y| sobre (0, + ) no son equivalentes uniformemente. Con
esto se demuestra que dos metricas pueden ser equivalente topologicamente,

pero no uniformemente, necesariamente.

Para ello, vamos a probar que ( E, d1 ) no es completo, pero s lo es ( E, d2 ).
En el primer caso, E1 no es completo, porque no es cerrado en R. Tambien podemos probarlo a
traves del siguiente ejemplo: la sucesion

 
1
n n 1
no converge en E1 , porque en R converge a 0 y 0 6 E1 .
Demostremos ahora que E2 s es completo. Para ello, sea ( xn ) una sucesion
de Cauchy en E2 .
Vamos a demostrar que es convergente.
Para ello, probemos que (ln xn ) es de Cauchy en R con la metrica usual. Sea > 0; como es de
Cauchy en E2 , existe 0 N tal que para todo p 0 y todo q 0 , se verifica la desigualdad
d2 ( x p , xq ) < ,
es decir:

| ln x p ln xq | < .

(7.6)

Esto significa que la sucesion

de numeros

reales (ln xn ) es de Cauchy en R con la metrica usual; por

lo tanto, es convergente, ya que R es completo. Sea L R el lmite de esta sucesion.
Pero, como
 
| ln xn L | = | ln xn ln e L |

= d2 ( x n , e L ),

tenemos que
lm d2 ( xn , e L ) = 0,
pues
En resumen, ( xn ) converge a

eL

lm | ln xn L | = 0.
en E2 .

7.4 (Metricas equivalentes metricamente). Las metricas d1 y d2 son equivalenD EFINICI ON

tes metricamente si y solo si las funciones I1 e I2 son continuas lipschitzianas.
61

Si d1 y d2 son equivalentes metricamente, entonces, por un lado, tenemos que I1 es

lipschitziana. Entonces, existe una constante L1 > 0 tal que para todo ( x, y) E2 , se
verifica la desigualdad
d2 ( x, y) L1 d1 ( x, y).
(7.7)
Por otro lado, tenemos tambien que I2 es lipschitziana; luego, existe una constante L2 >
0 tal que para todo ( x, y) E2 , la desigualdad siguiente es verdadera:
d1 ( x, y) L2 d2 ( x, y).

(7.8)

Entonces, que d1 y d2 sean equivalentes metricamente implica que existen constantes

> 0 y > 0 tales que para todo ( x, y) E2 , se verifican las desigualdades:
d1 ( x, y) d2 ( x, y) d1 ( x, y)
(Basta con tomar = L21 y = L1 ). El recproco tambien es verdadero.
T EOREMA 7.5 (Metricas equivalentes metricamente). Dos metricas son equivalentes metricamente si y solo si existen constantes > 0 y > 0 tales que para todo ( x, y) E2 , son
verdaderas las desigualdades:
d1 ( x, y) d2 ( x, y) d1 ( x, y).
2.5 Ejemplo: metricas equivalentes uniformemente, pero no metricamente. Es inmediato
que dos metricas equivalentes uniformemente lo son tambien uniformemente. El recproco no es
cierto.
En efecto, si d1 es la metrica usual sobre R y d2 = d1 /(1 + d1 ) sobre R tambien, como hemos visto
antes, son equivalentes uniformemente, pero no lo son metricamente.
Para probar esta ultima

afirmacion,
haremos uso del hecho de que si dos metricas son equivalentes metricamente, entonces la propiedad de ser conjunto acotado es invariante. La demostracion
de
esta propiedad es sencilla y se deja como ejercicio.
Establecida, entonces, esta propiedad, vemos facilmente porque d1 y d2 no son equivalentes: R,
con la metrica d1 , no es acotado, pues diam R = + , mientras que R con la metrica d2 s es acotado,
pues diam R 1. Es mas, todo conjunto en (R, d2 ) es acotado.

2.6 Ejemplos de metricas equivalentes en R n . Recordemos que para todo real p 1, las

funciones de R n R n , definidas por

!1

| xk yn |

d p ( x, y) =

kn

son metricas sobre R n . Para cada p 1, d p y d son equivalentes.

Para probarlo, utilicemos el teorema 7.5. En primer lugar, se tiene para todo i {1, 2, . . . , n } que

| xi yi | p

| xk yk | p ,

kn

de donde, obtenemos que

!1

| xi yi |

kn

| xk yk |

= d p ( x, y),

con lo que concluimos que

d ( x, y) = max | xi yi | d p ( x, y).
in

62

(7.9)

Por otro lado, como

| xi yi | max | xi yi | = d ( x, y),
in

tenemos que

| xi yi | p d ( x, y),

de donde

| xi yi | p nd (x, y),

in

es decir:

!1

| xi yi |

in

nd ( x, y),

con lo que obtenemos la desigualdad

d p ( x, y)

nd ( x, y),

que, junto con (7.9), concluimos que

d ( x, y) d p ( x, y)

nd ( x, y).

2.7 Metricas equivalentes sobre el espacio producto de un numero

finito de espacios.
Recordemos que si {( Ek , dk )}kK es una familia finita (K es un conjunto finito) de espacios metricos,
el producto cartesiano
E=
k K

puede ser provisto de las siguientes metricas:

!1

d = max dk
k K

dp =

d
k K

Con un procedimiento similar al utilizado en el caso de las metricas en R n , se puede probar que las
metricas d y d p son equivalentes.

63

Captulo 8

Espacios metricos completos

1

Sucesiones de Cauchy.

8.1 (Sucesion
D EFINICI ON
de Cauchy). Sea ( xn ) una sucesion
en el espacio metrico ( E, d).
Se dice que la sucesion
es de Cauchy si y solo si para todo > 0, existe n0 N tal que para
todo n n0 y todo m n0 , se verifica la desigualdad
d( xn , xm ) < .
T EOREMA 8.1. En todo espacio metrico se verifican las siguientes proposiciones:
1. Toda sucesion
convergente es de Cauchy. El recproco no es verdadero.
2. Toda sucesion
de Cauchy es acotada. El recproco no es verdadero.
1.1 Ejemplos de sucesiones de Cauchy no convergentes . Sea E el conjunto de todas las
funciones continuas definidas en el intervalo [0, 1] y que toman valores en R. A este conjunto se le
puede dotar de la metrica
d( x, y) =
La sucesion
( xn ) definida por

Z 1
0

n
n2
xn (t) =
t

2
4

| x (t) y(t)| dt.

si 0 t
si

1
1
,
2
n

1
1
1
1
t + ,
2
n
2 n

1
1
+ t 1,
2
n
para cada n 3, es una sucesion
de Cauchy que no es convergente.
si

2 Espacios completos. Un espacio metrico es completo si toda sucesion

de Cauchy es
convergente. Los espacios R n son completos, todo espacio metrico discreto es completo,
los espacios , p , c y c0 son completos.
El espacio de las funciones reales definidas en un segmento y que son continuas no es
completo con la metrica dada en el ejemplo anterior. Tambien el subespacio de las sucesiones con numero

finito de terminos distintos de cero no es completo, porque no es cerrado.

T EOREMA 8.2 (Completacion).

Todo espacio metrico posee una completacion,

que es uni
ca, salvo una isometra.
Una demostracion
clara se puede encontrar en el texto de Kreyszig.
65

2.1 Ejercicios.
1. Sea s el conjunto de todas las sucesiones reales. Demuestre que
( x, y) =

|xj yj |

2j 1 + | x j y j |

j 1

es una metrica sobre s y que el espacio (s, ) es completo.

2. Demuestre que la funcion
( x, y) 7 | arctan x arctan y| es una metrica sobre R. Pruebe que el
espacio
no es completo y demuestre que su completacion
es isometrica al intervalo
 resultante

2, 2 .

3. Demuestre que la funcion

( x, y) 7 | e x ey | es una metrica sobre R. Pruebe que el espacio
resultante no es completo y demuestre que su completacion
es isometrica al intervalo [0, + ).

4. Demuestre que la funcion

( x, y) 7 | x3 y3 | es una metrica sobre R. Pruebe que el espacio
resultante no es completo. Sobre la base de los dos problemas anteriores, encuentre la completacion
del espacio resultante. Ofrezca una generalizacion
del problema.

Teorema del punto fijo.

T EOREMA 8.3. Sean E un espacio metrico y f : E E. Si E es completo y existe 0 < L < 1

tal que para todo ( x, y) E2 , se verifica la desigualdad
d( f ( x ), f (y)) Ld( x, y),
entonces f posee un unico

punto fijo; es decir, existe un unico

a E tal que f ( a) = a.
Una demostracion
adecuada se encuentra en el texto de Komornik.
3.1 Ejercicio.
1. Sean E un espacio metrico y f : E E. Se define f 0 = f y f n = f f n1 para todo n > 1.
(a) Si n > 1, demuestre que un punto fijo de f tambien sera un punto fijo de f n .

(b) Si E = R y f ( x ) = 2 x2 , determine los puntos fijos de f y de f 2 .

(c) Si E es completo, f continua y existe n > 1 tal que f n es una contraccion,

demuestre que
f posee un unico

punto fijo.

2. Aplique el teorema del punto fijo para demostrar que la ecuacion

x n (5 x )( x + 1) = 0
tiene una raz en el intervalo [0, 4] (cualquiera que sea n N).

3. Demuestre que existe una y solo una funcion

continua y acotada y : [0, + ) R que satisface
la ecuacion

Z x
2
y( x ) = sen x +
et y(te x )dt
0

para todo x 0.

Aplicaciones del teorema del punto fijo.

66

4.1 Ecuaciones diferenciales ordinarias. Sean D R2 , un conjunto abierto y conexo,

f : D R una funcion
continua. El problema de encontrar una funcion
diferenciable
: I R, con I un intervalo de R, tal que

(t, (t)) D
para todo t I, y

(8.1)

d
(t) = f (t, (t))
(8.2)
dt
para todo t I, es denominado ecuacion
diferencial de primer orden y es denotado por
(t) =

x = f (t, x ).

(8.3)

Si una funcion
y un intervalo I de este tipo existen, la funcion
es denominada solucion
de la ecuacion
diferencial (8.3) sobre I. Geometricamente, el problema (8.3) prescribe
la pendiente f (t, x ) en cada punto de D, de modo que, una solucion
sobre I de este
problema es una funcion
cuyo grafico tiene pendiente f (t, (t)) para cada t I.
Dado el punto (, ) D, el problema de encontrar un intervalo I que contenga a y
una solucion
de (8.3) sobre I que satisfaga
( ) =

(8.4)

es denominado problema de valor inicial. Este problema suele representarse por

x = f (t, x ),

x ( ) = .

Bajo el supuesto de que sea unan solucion

sobre I del problema de valor inicial, entonces, por el Teorema Fundamental del Calculo, obtenemos que para todo t I, se verifica
la igualdad
(t) = +

Z t

f (s, (s)) ds.

(8.5)

Recprocamente, tenemos que una funcion

que satisface esta igualdad es, tambien,
solucion
del problema de valor inicial.
Gracias al teorema del punto fijo, podemos demostrar que la ecuacion
(8.5) tiene solucion
unica

si f esta acotada en D y es lipschitziana respecto de sus segunda componente;

es decir, si existe M > 0, un real tal que

| f (t, x )| M

(8.6)

y existe un numero
para todo (t, x ) D,

real L > 0 tal que

| f (t, x1 ) f (t, x2 )| L| x1 x2 |.

(8.7)

De manera mas precisa, demostremos que existe un numero

real a > 0 y una funcion

continua : [ a, + a] R que satisface la ecuacion

(8.5).
Para ello, como D es abierto y (, ) D, existen reales a > 0 y b > 0 tales que

[ a, + a] [ b, + b] D.

(8.8)

Ahora, consideremos el conjunto

E = { : [ a, + b] R : |(t) | 2Ma, para todo t [ a, + a]}.
Entonces, E es un subespacio del espacio de las funciones continuas y acotadas definidas
en [ a, + a]; por lo tanto, E es completo.
67

A continuacion,
vamos a definir la aplicacion

T : E E
7 ,
definida por
(t) = +

Z t

f (s, (s)) ds

para todo t [ a, + a].

Veamos bajo que condiciones T es una contraccion.
En primer lugar, aseguremos que la
imagen de T esta en E. Para ello, sea E; vamos a probar que T E; es decir, vamos a
demostrar que
|( T)(t) | 2Ma
para todo t [ a, + a].
Sea t [ a, + a], entonces



Z t



|( T)(t) | =  +
f (s, (s)) ds 


Z t



f (s, (s)) ds
=

Z t

Z t

| f (s, (s))| ds
M ds

Z +a

M ds

= 2Ma.

(La eleccion
de b debe ser tal que se cumpla b 2Ma para que se verifique tambien (8.8)).
Por otro lado, sea t [ a, + a], y sean E, E; entonces:

 

Z t
Z t



f (s, (s)) ds +
f (s, (s)) ds 
|( T)(t) ( T)(t)| =  +

Z t



=  [ f (s, (s)) f (s, (s))] ds

Z t

Z t

L
L

| f (s, (s)) f (s, (s))| ds

L | (s) (s)| ds

Z +a
a

Z +a

| (s) (s)| ds
max

a u [ a, + a ]

= 2La

max

u [ a, + a ]

{| (u) (u)|} ds

| (u) (u)|

= 2La d ( );
es decir:

|( T)(t) ( T)(t)| 2La d ( )

68

para todo t [ a, + a]. Por lo tanto:

max

u [ a, + a ]

|( T)(t) ( T)(t)| 2La d ( ),

es decir:
d ( T T) 2La d ( ).
Esto quiere decir que, para que T sea una contraccion
hay que elegir a de tal manera que,
ademas de satisfacer (8.8), se cumpla tambien que
2La < 1.
Con las elecciones adecuadas de a y de b (que son posibles ya que D es un abierto),
garantizamos que T es una contraccion,
por lo tanto, por el teorema del punto fijo, existe
una unica

E tal que
T = ,
de donde, para todo t [ a, + a], se verifica la igualdad
(t) = +

Z t

69

f (s, (s)) ds.