Vous êtes sur la page 1sur 116

APUNTES: ESPACIOS MTRICOS Y ESPACIOS TOPOLGICOS

Escrito por Marcelo Chacn S. 2008

Ingeniera Matemtica, Universidad de Santiago de Chile.

NDICE GENERAL

I Espacios mtricos
1. Espacios mtricos

4
5

1.1. Denicin y ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.2. Topologa de un e.m. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.2.1. Conjuntos abiertos y cerrados . . . . . . . . . . . . . . . . . . . . . . . .

5 6 8

1.2.2. Interior, exterior y frontera . . . . . . . . . . . . . . . . . . . . . . . . . . 12 1.2.3. Adherencia o cerradura . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 1.2.4. Subconjuntos densos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 1.2.5. Subespacios mtricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 1.2.6. Mtricas y normas equivalentes . . . . . . . . . . . . . . . . . . . . . . . 19 1.3. Espacios mtricos completos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 1.3.1. Puntos de acumulacin de una sucesin . . . . . . . . . . . . . . . . . . . 22 1.3.2. Sucesiones de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 1.3.3. Teorema de la interseccin de Cantor . . . . . . . . . . . . . . . . . . . . 25
2. Conjuntos conexos y compactos 29

2.1. Conjuntos conexos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29 2.1.1. Conjuntos separados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29 2.2. Conjuntos compactos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31 1

2.2.1. Teorema de Weierstrass-Bolzano . . . . . . . . . . . . . . . . . . . . . . . 34


3. Funciones entre espacios mtricos 38

3.1. Lmite y continuidad de funciones . . . . . . . . . . . . . . . . . . . . . . . . . . 38 3.1.1. Caracterizaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38 3.1.2. Homeomorsmos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41 3.1.3. Funciones continuas sobre conexos y compactos . . . . . . . . . . . . . . 42 3.2. Continuidad uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45 3.2.1. Teoremas de extensin . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47 3.2.2. Convergencia uniforme y puntual . . . . . . . . . . . . . . . . . . . . . . 48 3.2.3. Teorema del punto jo . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50 3.3. Espacios de funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51 3.3.1. Conjunto equicontinuo o familia equicontinua . . . . . . . . . . . . . . . 53 3.3.2. Teorema de Stone-Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . 54
4. Espacios vectoriales normados 57

4.1. Espacios vectoriales normados: Un ejemplo de espacios mtricos . . . . . . . . . 57 4.2. Aplicaciones continuas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58 4.3. Series en un e.v.n. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62 4.4. Espacios de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63 4.4.1. Dual de un espacio de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . 68 4.4.2. Conjuntos ortogonales . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68

II Espacios topolgicos
5. Espacios topolgicos y funciones continuas

69
70

5.1. Espacios topolgicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70 5.2. Bases para una topologa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71 5.3. Topologa del orden . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73 5.4. Topologa producto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82 2

5.5. Topologas mtricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86 5.6. Topologa cociente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89


6. Conexidad y Compacidad 94

6.1. Espacios conexos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94 6.2. Conjuntos conexos en R . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97 6.3. Espacios compactos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100 6.4. Producto de conjuntos compactos . . . . . . . . . . . . . . . . . . . . . . . . . . 103 6.5. Conjuntos compactos en R . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105 6.6. Compacidad punto lmite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107 6.7. Compacidad local . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
7. Axiomas de numerabilidad y separacin 110

7.1. Axiomas de numerabilidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110 7.2. Axiomas de separacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111

Parte I

Espacios mtricos

CAPTULO 1

ESPACIOS MTRICOS

1.1. Denicin y ejemplos


Denicin 1.1.1.

Sea E un conjunto. Una mtrica o distancia es una funcin


d : E E R

tal que 1.
d(x, y) > 0, si x = y d(x, y) = 0, si x = y

2. d(x, y) = d(y, x), x, y E 3. d(x, y) d(x, z) + d(z, y), x, y, z E Un espacio A veces se escribe (E, d).
Denicin 1.1.2.

mtrico (e.m.)

es un conjunto E dotado de una d.

Ejemplo 1.1. (mtrica discreta)

Sea E un conjunto y sea d la mtrica discreta, es decir


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

con x, y E , entonces (E, d) es un espacio mtrico.


5

Ejemplo 1.2.

E = R junto con d(x, y) = |x y|, x, y R. Es fcil probar que d es mtrica. Luego (R, | |) es un espacio mtrico. Adems d es llamada la mtrica usual de R.
Ejemplo 1.3.

d(x, y) =

E = Rn , si x, y Rn tal que x = (x1 , . . . , xn ) e y = (y1 , . . . , yn ), entonces (x1 y1 )2 + + (xn yn )2 es una mtrica. C con d(z, w) = |z w| es un espacio mtrico.

Ejemplo 1.4. Ejemplo 1.5.

En C = C {} denimos
d(z, w) = 2|z w| 1 + |z|2 1 + |w|2 , ; d(z, ) = 2 1 + |z|2

entonces, (C, d) es un e.m.


Si E es un conjunto y d1 y d2 son mtricas sobre E , con d1 = d2 , entonces (E, d1 ) y (E, d2 ) son e.m. distintos.
Nota:

1.2. Topologa de un e.m.


Denicin 1.2.1.

Sea x0 E y R 0. La esfera de centro x0 y radio R en E es el conjunto


{x E : d(x, x0 ) = R}

Denicin 1.2.2.

Sea x0 E y R 0. La bola

abierta

de centro x0 y radio R es el conjunto

Bo (x0 , R) = {x E : d(x, x0 ) < R}

Denicin 1.2.3.

Sea x0 E y R 0. La bola cerrada de centro x0 y radio R es el conjunto


B(x0 , R) = {x E : d(x, x0 ) R}

Ejemplo 1.6.

Sea E un conjunto dotado de la mtrica discreta. Sea x0 E , R 0.

La esfera de centro x0 y radio R, es decir, el conjunto {x E : d(x, x0 ) = R} es: Caso 1 Si R {0, 1}, entonces la esfera de centro x0 y radio R es . /
6

Caso 2 Si R = 1, entonces la esfera de centro x0 y radio R es E {x0 }. Caso 3 Si R = 0, entonces la esfera de centro x0 y radio R es {x0 }. La bola abierta Bo (x0 , R) = {x E : d(x, x0 ) < R} es: Caso 1 Si R > 1, entonces Bo (x0 , R) = E . Caso 2 Si 0 < R < 1, entonces Bo (x0 , R) = {x0 }. Caso 3 Si R = 0, entonces Bo (x0 , R) = . La bola cerrada B(x0 , R) = {x E : d(x, x0 ) R} es: Caso 1 Si R 1, entonces B(x0 , R) = E . Caso 2 Si 0 R < 1, entonces B(x0 , R) = {x0 }.
Nota:

Hay e.m. donde hay bolas o esferas de centros distintos que coinciden. Hay e.m. donde ciertas bolas abiertas coinciden con las bolas cerradas.
Denicin 1.2.4.

de A es el nmero

Sea (E, d) e.m. y sea A un subconjunto de E, es decir, A E . El dimetro


diam(A) = sup d(x, y)
x,yA

Denicin 1.2.5.

Un subconjunto A de E es acotado si diam(A) es nito.

Sea A E . A es acotado existe 0 < R < + tal que A est contenido en una bola de radio R.
Ejercicio:

Solucin.

= Supongamos A acotado. = diam(A) < = sup d(x, y) < +.

Sea R = diam(A)
= x, y A, d(x, y) R = B(x, d(x, y)) B(x, R) x, y A = Supongamos A B(x, R) x A, 0 < R < + = diam(A) < diam(B(x, R)) = 2R

x,yA

= diam(A) 2R < = A es acotado.

E = R, con la mtrica usual, a b R. (a, b), [a, b], (a, b] y [a, b) son acotados pues el dimetro de cualquiera de ellas es |b a| <
Ejemplo 1.7. Ejemplo 1.8.

E = R con la mtrica discreta tiene dimetro igual a 1. Por lo tanto, con la mtrica discreta R es acotada.

1.2.1. Conjuntos abiertos y cerrados


Sea (E, d) e.m.
Denicin 1.2.6.

Bo (x, R) A.
Ejemplo 1.9.

Sea A E . Se dice que A es

abierto

si x A, R > 0 tal que

Solucin. Para probar que Bo (x0 , R) es abierto, hay que probar que x Bo (x0 , R), Rx > 0 tal que
Bo (x, Rx ) Bo (xo , R). Si x B(x0 , R) = d(x0 , x) < R. Luego Rx = R d(x0 , x) > 0. Sea y Bo (x, Rx ), por demostrar d(x0 , y) < R. En efecto d(x0 , y) d(x0 , x) + d(y, x) < d(x0 , x) + Rx = R = d(x0 , y) < R = y Bo (x0 , R) = Bo (x, Rx ) Bo (x0 , R) = Bolas abiertas siempre son conjuntos abiertos.

Sea x0 E y R > 0. La bola abierta Bo (x0 , R) es un conjunto abierto.

A E es abierto A es reunin de bolas abiertas, es decir, si existe una coleccin de bolas {Bo (xi , Ri )}iI tal que
Proposicin 1.2.1.

A=
iI

Bo (xi , Ri )

Demostracin:

= Supongamos que A =
iI

Bo (xi , Ri )

Sea x A = i I tal que x Bo (xi , Ri ) Como Bo (xi , Ri ) es abierto, sabemos que R > 0 tal que Bo (x, R) Bo (xi , Ri ) A. = Bo (x, R) A x A, para algn R > 0. = A es abierto.
= Supongamos que A es abierto. = x A, Rx > 0 tal que Bo (x, Rx ) A.

Luego
xA

Bo (x, Rx ) A. Por otro lado si tomamos x A Bo (x, Rx ) = A


xA xA

= x

Bo (x, Rx ) = A =
xA

Bo (x, Rx )

Proposicin 1.2.2.

Los conjuntos abiertos satisfacen las siguientes propiedades


Ai
iI

1) Unin arbitraria de abiertos es abierto, es decir, si {Ai }iI coleccin de abiertos =

es abierto. abiertos =
n

2) Interseccin nita de abiertos es abierto, es decir, si {Ai }n , con n < , coleccin de i=1 Ai es abierto.
i=1

3) E, son abiertos.

Demostracin:
1) Sea {Ai }iI una coleccin de abiertos. Luego por la proposicin anterior existe una coleccin de Bo (xij , Rij ), entonces bolas abiertas Bo (xij , Rij )iIi tal que Ai =
jIi

A=
iI

Ai =
iI jIi

Bo (xij , Rij )

= A es abierto, pues es reunin de bolas abiertas.


n

2) Sea n < y

{Ai }n i=1

una coleccin de conjuntos abiertos. Si A =


i=1

Ai , entonces si x A

= x Ai 1 i n. Como Ai abierto i = Ri > 0 tal que Bo (x, Ri ) Ai .

Tomando R = m Ri se tiene Bo (x, R) Bo (x, Ri ) Ai 1 i n n


i=1,...,n n

= Bo (x, R)
i=1 n

Ai = A

=
i=1

Ai es abierta.

3) Por demostrar es abierto. Sea x, y E y sean las bolas abiertas Bo (x, R/3) y Bo (y, R/3). Luego es claro que Bo (x, R/3) Bo (y, R/3) = , entonces es abierto pues es interseccin nita

de abiertos. Para mostrar que E es abierto solo basta ver que E se puede escribir como reunin de abiertos.

Ejemplo 1.10.

Sea la coleccin de abiertos An = ,

1 1 n n

, n1

An es una bola abierta en R con la mtrica usual, por lo tanto An es un abierto. pero 1 1 , = {0} no es abierto. n n n=1
Nota:

El e.m. E es abierto, pues E =


xE

B(x, R), R > 0

Como cualquier abierto en un e.m. se escribe como reunin de bolas abiertas, se dice que la coleccin de bolas abiertas de un e.m. es una base del e.m.
Notacin:

Si A E , entonces el complemento1 de A en E es E A.
A E es cerrado si A es el complemento de un conjunto abierto.

Denicin 1.2.7.

Proposicin 1.2.3.

Los conjuntos cerrados satisfacen las siguientes propiedades

1) Unin nita de cerrados es cerrado, es decir, si {Ai }n , con n < , coleccin nita de i=1

cerrados =

Ai es cerrado.

i=1

2) Interseccin arbitraria de cerrados es cerrado, es decir, si {Ai }iI coleccin arbitraria de cerrados = Ai es cerrado.
iI

3) E, son cerrados.

Demostracin:
3) Como es abierto, entonces E = E es cerrado. Por otra parte como E es abierto, entonces E E = es cerrado.
1 Otra
notacin sera

Ac

en

E.

10

1) Sabemos que la interseccin nita de abiertos es abierto, entonces E


i=1

Ai =

(E Ai ) es
i=1

cerrada, con {E Ai }n coleccin nita de cerrados, pues {Ai }n coleccin nita de abiertos. i=1 i=1
2) Sabemos que la unin arbitraria de abiertos es abierto, entonces E
iI

Ai =
iI

(E Ai ) es

cerrada, con {E Ai }iI coleccin arbitraria de cerrados, pues {Ai }iI coleccin arbitraria de abiertos.
Nota:

Una reunin innita de cerrados no necesariamente es cerrada.

Ejemplo 1.11.
n=2

1 1 ,1 = (0, 1) donde (0, 1) es un abierto de R con la mtrica usual. n n

Ejemplo 1.12.

Sea E dotado con la mtrica discreta.


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

Todos los subconjuntos de E , con la mtrica discreta son abiertos y cerrados a la vez. En efecto, {x} = Bo (x, 1/2) es un abierto. Luego Sea A E , donde A = {x} = A es abierto. Por
xA

otra parte X A =
x(XA)

{x} = (X A) es abierto = A es cerrado.


vecindad

Denicin 1.2.8.

Sea x E . Una abierto A tal que x A.


Ejemplo 1.13.

de x es un conjunto V E que contiene un

Los abiertos son vecindades de todos sus puntos.

Sea x E , R > 0. La bola cerrada B(x, R) es una vecindad de x pues contiene a la bola abierta Bo (x, R).
Proposicin 1.2.4.

= Supongamos A E es abierto = x A, Rx > 0 tal que Bo (x, Rx ) A, donde Bo (x, Rx ) es un abierto para todo x. = A es vecindad de cada uno de sus puntos. = Supongamos que A es vecindad de cada uno de sus puntos. Entonces x A, existe un abierto Ox que contiene a x y est contenido en A.

Demostracin:

A E es abierto A es vecindad de cada uno de sus puntos.

Luego es fcil demostrar que


aA

Ox = A, en efecto

11

Es claro que
aA

Ox A. Por otro lado si x A = existe un abierto Ox tal que x Ox A Ox = Ox = A = A es abierto.


aA

= x
aA

Denicin 1.2.9.

{Vi }iI

Sea x E . Un sistema fundamental de vecindades de x es una coleccin de vecindades de x tal que cualquier vecindad de x contiene a algn Vi . La interseccin de todas las vecindades de x es igual a {x}.

Proposicin 1.2.5.

1.2.2. Interior, exterior y frontera


Sea A E . El interior de A, se escribe A, es la reunin de todos los abiertos que estn contenidos en A, es decir,
Denicin 1.2.10.

A=

{O : O A, O abierto}

Proposicin 1.2.6.

1. A es abierto pues es reunin de abiertos.

2. A es el abierto ms grande contenido en A, es decir, si B es un abierto contenido en A = B A 3. Si A es abierto = A = A 4. A B = A B

Sea A E . El plemento de A, es decir, E A


Denicin 1.2.11. Denicin 1.2.12.

exterior

de A, se escribe ext(A), es el interior del com-

Sea A E . La frontera de A, se anota f r(A), es el conjunto de puntos de E que no estn ni en A ni en ext(A), es decir
f r(A) = E (A (E A))

Nota:

1. f r(A) = (A Ac )c .

2. f r(A) es cerrada, pues es el complemento de la unin de dos abiertos.


3. E = f r(A) A (E A).

12

4. f r(A), A, E A son disjuntos entre si.


Proposicin 1.2.7.

= Sea x f r(A). Sea R > 0. Como x A, la bola B(x, R) tiene al menos un elemento en E A, si no x A. / Luego como x E A, la bola B(x, R) tiene al menos un elemento en A, si no x E A / = B(x, R) A = y B(x, R) (E A) = . = Sea x E tal que R > 1 B(x, R) A = B(x, R) (E A) =

Sea A E y x E . x f r(A) toda bola centrada en x contiene elementos de A y E A. Demostracin:

(1.1) (1.2)

Por (1.1), x no puede estar en E A pues de lo contrario habra un R > 0 tal que B(x, R) (E A). Por (1.2), x no puede estar en A pues de lo contrario habra un R > 0 tal que B(x, R) A.
= x f r(A)

Entonces
f r(A) = {x E : R > 0, B(x, R) A = , B(x, R) (E A) = } .

1.2.3. Adherencia o cerradura


Denicin 1.2.13.

Sea A E . La adherencia o clausura de A, se anota A, es la interseccin de todos los cerrados que contienen a A, es decir,
A= {C : A C, C cerrado}

Cuando x A, se dice que x es adherente a A.


Nota:

1. A es un conjunto cerrado. 2. A es el cerrado ms chico que contiene a A. Es decir, si C E es cerrado y A C , entonces A C . 3. Si A es cerrado, entonces A = A. 13

Proposicin 1.2.8.

Sea A E . Son equivalentes

1. B = A
2. B es la reunin del interior de A y la frontera de A, es decir, B = A f r(A)

3. B es el complemento del exterior de A, es decir, B = E (E A). 4. B es el conjunto de todos los puntos x E tal que toda bola cerrada centrada en x intersecta a A. Es decir B = {x E : R > 0, B(x, R) A = }

Demostracin:

Primero probaremos que B = f r(A) A = A. B = f r(A) A es cerrado pues B = E (E A). B contiene a A, pues A est contenido en E (E A) = B = B contiene a A, pues B es un cerrado que contiene a A. Es decir A B. Sea C un cerrado que contiene a A. A C E C E A, E C abierto = E C E A = C E (E A) = B = C B = A B = A = B = E (E A) = f r(A) A.

Falta probar que A = {x E : R > 0, B(x, R) A = } . Sea B = {x E : R > 0, B(x, R) A = }.

= E B = {x E : R > 0, B(x, R) E A} = E A. = B = E (E A) = A. = A = {x E : R > 0, B(x, R) A = } .


Denicin 1.2.14.

Sea A E . Sea x E . La
yA

distancia de x a A

es

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

14

Proposicin 1.2.9.

Sea A E . Entonces
A = {x E : d(x, A) = 0}

Demostracin:
Si x A, entonces R > 0, y A tal que y B(x, R) = R > 0, y A tal que d(x, y) < R
= d(x, y) = d(x, A) = 0 nf
yA

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

Si x {x E : d(x, A) = 0}, entonces R > 0, y A tal que d(x, y) < R = R > 0, B(x, R) A = = x A.
= A = {x E : d(x, A) = 0}
Proposicin 1.2.10.

Si A, B E

1. A B = A B (Vlido solo para un nmero nito de conjuntos). 2. f r(A) = A E A.


Ejemplo 1.14.

Si {Aq }qQ con Aq = {q}, entonces Aq = {q}. Luego


qQ

Aq = Q, pero

Aq = Q = R.
qQ

1.2.4. Subconjuntos densos


Sea (E, d) e.m.
Denicin 1.2.15.

Sea A, B E , entonces

1. A se dice denso si A = E . 2. A se dice denso


Denicin 1.2.16.

en B

si A = B .
separable

denso en E.
Ejemplo 1.15.

Se dice que el e.m. E es

si existe un subconjunto numerable

1. E = R con la mtrica usual, A = Q es denso en E = R. Recordemos que si t R, entonces R > 0, (t R, t + R) contiene algn elemento de Q. Luego, R = Q Como Q es numerable, entonces R con la mtrica usual es separable. R Q tambin es denso en R, aunque no numerable.
15

2. E = [0, 1] con la mtrica d(x, y) = |x y| y consideramos A = n : n 0, 0 k 2n 2 es denso en E . 3. E = Rn , con n 1, con cualquiera de las tres mtricas siguientes:
n n 1/2

d1 (x, y) =
i=1

|xi yi |, d2 (x, y) =
i=1

(xi yi )

, d3 (x, y) = mx |xi yi |. a
i=1,2,...,n

A = Qn es denso en Rn .
Proposicin 1.2.11.

Sea A E . A es denso en E para todo abierto B E, B = , B A = . Demostracin:

= Supongamos A es denso en E . Si B = es abierto en E , entonces existe x B y R > 0 tal que B(x, R) B . Como A es denso, A = E , x est en A. Luego, B(x, R) A = . = B A = . = Si x E , entonces R > 0, Bo (x, R) A = = x A = E A = E = A = A es denso.
Denicin 1.2.17.

A E es nunca denso si su exterior es denso en E.

Proposicin 1.2.12.

Sea A E . A es nunca denso el interior de A es vaco, es decir, A = . Demostracin:


E = A f r(A) (E A).
A

= Si A es nunca denso, entonces la adherencia de su exterior es todo el espacio E . Es decir, x E , R > 0 B(x, R) (E A) = Supongamos que el interior de A fuera no vaco, es decir A = , entonces existira x E y R > 0, B(x, R) A, lo que implicara que B(x, R) (E A) = == . = = . A = Si A = entonces x E , R > 0, B(x, R) (E A) = = E A es denso en E . = A es nunca denso.
Nota:

A no necesariamente es igual a A.

16

E = R, A = Q con la mtrica usual, entonces A=Q= R A==R

1.2.5. Subespacios mtricos


Sea (E, d) e.m. Si M E , entonces d sigue siendo mtrica en M .

Un subespacio mtrico de (E, d) es un espacio mtrico (M, d) con M E y d la misma mtrica denida en E pero restringido a los elementos de M.
Denicin 1.2.18.

Cmo son los abiertos en el subespacio mtrico.?

Sea E = R con la mtrica usual, M = [0, 1] y A = [0, 1/2). Luego A no es abierto en R, pues cualquier bola con centro en cero, intersecta a R A. M En M , Bo (x, R) = {y M : d(x, y) < R}. As
Ejemplo 1.16.
M Bo (0, R) = {y [0, 1] : |y 0| < R}

= {y [0, 1] : |y| < R} = [0, R) A es abierto en M .


Nota:

En general, si A es abierto en M , no necesariamente tiene que ser abierto en E .

Sea M E . A M es abierto existe O abierto en E tal que A = O M. Demostracin:


Proposicin 1.2.13.

Para probar esto hay que considerar lo siguiente.

B M (x, y) = {y M : d(x, y) R} = M B E (x, R). = Supongamos que A M es abierto en M . Entonces A se escribe como reunin de bolas abiertas M en M . Es decir A = Bo (xi , Ri ). Sea
iI

O=
iI

Bo (xi , Ri )
Bolas en E

= O es abierto en E , pues es reunin de bolas abiertas en E . OM =


iI

Bo (xi , Ri ) M =
iI

M Bo (xi , Ri ) = A

17

= Sea A M tal que A = M O, con O abierto de E . Sea x A = M O.

Como x est en O, que es abierto en E , existe R > 0 tal que Bo (x, R) O.


= Bo (x, R) M O M = A
M = Bo (x, R) A

= A es abierto en M .
Proposicin 1.2.14.

Sea M E . Todo abierto en M es abierto en E M es abierto en E. Demostracin:

= Supongamos que M es abierto en E . Si A es abierto en M , entonces A = O M , con O algn abierto en E . = A es abierto en E , pues es la interseccin de dos abiertos en E . = Como el espacio mtrico es abierto, si todo abierto de M es abierto en E , en particular M es

abierto en M . Luego, M es abierto en E .


Proposicin 1.2.15.

Sea (E, d) e.m.

1. C M es cerrado en M existe C E cerrado en E tal que C = C M . 2. M es cerrado en E todos los cerrados de M son cerrados en E.

= Si C es cerrado en M , entonces su complemento relativo a M es abierto en M . Entonces {x M : x C} = O M , con O abierto en E . / Como O es abierto en E , entonces E O es cerrado en E . Luego
1.

Demostracin:

(E O) M = C. = Supongamos C = C M , con C cerrado en E . Como C es cerrado en E , E C es un abierto en E . Luego, (E C ) M es un abierto en M . Como C es el complemento de (E C ) M relativo a M , entonces C es cerrado en M .
2.

Inmediata.

Sea M E . La adherencia de A M con respecto a M es igual a A M , con A la adherencia de A con respecto a E.


Proposicin 1.2.16.

Sea M E . A M es una vecindad de x M existe una vecindad V de x en E tal que A = V M .


Proposicin 1.2.17.

18

1.2.6. Mtricas y normas equivalentes


Sea E un espacio dotado de dos mtricas d1 y d2 . Los abiertos de (E, d1 ) no necesariamente son los mismos abiertos que los abiertos de (E, d2 ).
Denicin 1.2.19.

Se dice que las mtricas d1 y d2 son equivalentes, si denen los mismos abiertos en E. Es decir, A es abierto en (E, d1 ) A es abierto en (E, d2 ).
Denicin 1.2.20.

funcin tal que 1.

Sea E un espacio vectorial sobre K = R o C. Una norma sobre E es una


:EK

x > 0, si x = 0 x = 0, si x = 0

2. x = || x , x E , K 3. x + y x + y , x, y E
Denicin 1.2.21.

de una norma . A veces se escribe (E, ) para decir que E es un e.v. con la norma
Nota:

Un espacio

vectorial normado2 (e.v.n.)

es un espacio vectorial dotado

Un e.v.n. es un e.m.

Denicin 1.2.22.

son

Sea E un e.v. y sean 1 y 2 dos normas de E. Las normas 1 y 2 equivalentes si las mtricas d1 (x, y) = x y 1 y d2 (x, y) = x y 2 son equivalentes.
1

Sea E un e.v. y sean 1 y 2 dos normas de E. Las normas 1 y 2 son equivalentes existen K1 > 0 y K2 > 0 tal que x 2 K1 x y x 1 K2 x 2 , x E . Demostracin:
Teorema 1.2.1.

Sean d1 (x, y) = x y 1 y d2 (x, y) = x y 2 . Vamos a llamar B 1 (x, R) bola en (E, d1 ) y B 2 (x, R) bola en (E, d2 ). = Supongamos que 1 y 2 son equivalentes. Es decir, que d1 y d2 son equivalentes. Sabemos que Bo (0, 1) B (0, 1). Como Bo (0, 1) es un abierto en (E, d1 ), tambin es un abierto en (E, d2 ) por la suposicin.
2 Los
e.v.n los estudiaremos con mucho ms detalle en el captulo 4

19

Al ser Bo (0, 1) un abierto en (E, d2 ), existe 1/K2 > 0 tal que B 1 (0, 1/K2 ) Bo (0, 1) B (0, 1). Esto signica que si x 2 1/K2 , entonces x 1 1.
2 > 0, entonces 1 1 1 y= x = y 2 = x 2= K2 R K2 R K2 1 = y 1 = x 1 = x 1 K2 R = K2 x K2 R 1
1 K2 R

Sea x E y sea R = x

= Supongamos que existen K1 , K2 > 0 tal que x

K2 x

y x

K1 x 1 , x E .

(1) x E, R > 0, R > 0 tal que B (x, R ) B 2 (x, R). (2) R > 0, R > 0 tal que B 2 (x, R ) B (x, R ).

Supongamos que A es abierto en (E, d2 ).


2 = x A, Rx > 0, Bo (x, Rx ) A 2 = A = Bo (x, Rx ) xA 2 De (1) se tiene que existe Rx > 0 tal que Bo (x, Rx ) Bo (x, Rx ) A

= A =
xA

Bo (x, Rx )

= A es abierto en (E, d1 ).

Para probar que Si x


1

son equivalentes, hay que probar que se tienen las armaciones (1) y (2).
2

K2 x 2 , x E , entonces si x

R, entonces x
2

K2 R.

B 2 (0, R) = {x E : x

R} = B 2 (0, R) B (0, K2 R)
1

B (0, K2 R) = {x E : x

K2 R} = (2)

Si (E, d) es un e.m. cualquiera, siempre podemos encontrar una mtrica d equivalente a d que hace a E un e.m. acotado. Por ejemplo d (x, y) = m {1, d(x, y)}. El dimetro de E con d es 1. n
Nota:

20

1.3. Espacios mtricos completos


Sea (E, d) e.m.

Sea (xn )n0 una sucesin de elementos de E. Se dice que (xn )n0 si existe x E tal que > 0, n0 0 tal que n n0
Denicin 1.3.1.

converge

d(x, xn ) <

Dicho de otro modo, (xn )n0 converge a x E si d(xn , x) 0.


n

Denicin 1.3.2.
n

l xn = x. m

Se dice que x es el

lmite

de (xn )n0 y se escribe xn x si n o

Nota:

Una sucesin puede no tener lmite. Cuando el lmite existe, es nico.


E = R con la mtrica usual. Sea la sucesin xn = (1)n . Esta sucesin no

Ejemplo 1.17.

tiene lmite.
Ejemplo 1.18.

Sea la sucesin (xn )n0 la cual tiene lmite. Ahora veamos que es nico. Supongamos que a y b son lmites de la sucesin (xn )n0 . Entonces (1) > 0, n0 > 0 tal que n n0 = d(xn , a) < /2 (2) > 0, n0 > 0 tal que n n0 = d(xn , b) < /2 De (1) y (2). Si n mx {n0 , n0 } a

Entonces el lmite es nico.


Teorema 1.3.1.

= d(xn , a) < /2 y d(xn , b) < /2 = d(a, b) d(a, xn ) + d(xn , b) Como esto es vlido > 0 d(a, b) = 0 = a = b.

Sea A E .

1. x A existe una sucesin (xn )n0 de elementos de A que convergen a x. 2. A es cerrado el lmite de cualquier sucesin convergente (xn )n0 de elementos de A, est en A.

Demostracin:
1.

= Supongamos que x A.

21

Entonces R > 0, B(x, R) A = . En particular, para R = 1/n, n N, existe xn B(x, 1/n) A. La sucesin (xn )n0 es una sucesin de elementos de A (cada xn A) que converge a x d(x, xn ) 1/n 0 .
n

= Sea (xn )n0 una sucesin de elementos de A que converge a x. Esto signica que > 0, n0 0 tal que d(x, xn ) < , n n0 , es decir, xn B(x, ), n n0 . Como esto es cierto > 0 y cada xn A, se tiene que R > 0, B(x, R) A = = x A. = Si A es cerrado, entonces A = A. Entonces si (xn )n0 es una sucesin de elementos de A que converge a x E . Por parte 1., x A = A.
2.

= Supongamos que el lmite de cualquier sucesin de elementos de A que converge, est en A.

Entonces, dado x A, por la parte 1. , (xn )n0 sucesin de elementos de A tal que xn x.
n

= x A = A A. Como A A = A = A = A es cerrado.

1.3.1. Puntos de acumulacin de una sucesin


Denicin 1.3.3.

punto de

(xn )n0 .

Sea (xn )n0 una sucesin de elementos de E. Un elementos x E es un acumulacin de (xn )n0 si > 0, B(x, ) contiene una innidad de elementos de

Sea E = R con la mtrica usual. Tomamos la sucesin (xn )n0 con xn = (1)n , entonces x = 1 y y = 1 son puntos de acumulacin de (xn )n0
Ejemplo 1.19.

Supongamos que (xn )n0 es una sucesin que converge a x E . Primero veremos que el lmite es necesariamente un punto de acumulacin. Como x es el lmite de (xn )n0 , entonces > 0, n0 0 tal que n n0 , xn B(x, ). = xn0 , xn0 +1 , . . . estn en B(x, ). Luego, en B(x, ) hay una innidad de elementos de (xn )n0 . Como esto es vlido > 0, entonces x es un punto de acumulacin. Supongamos que y E es otro punto de acumulacin de (xn )n0 . Supongamos que x = y , entonces d(x, y) = > 0.

Si (xn )n0 es una sucesin de elementos de E que converge a x E , entonces x es el nico punto de acumulacin de la sucesin. Demostracin:
Proposicin 1.3.1.

22

Luego, tomando R /3, B(x, R) B(y, R) = . Como xn x, entonces existe n0 0 tal que n n0 , xn B(x, R).
n

Luego, como B(x, R) B(y, R) = , entonces los nicos elementos de (xn )n0 que pueden estar en B(y, R) son x0 , x1 , . . . , xn0 1 , que es un nmero nito de elementos. = y no es punto de acumulacin.
Nota:

De la propiedad anterior, se concluye que si (xn )n0 es una sucesin que tiene dos puntos de acumulacin distintos, entonces (xn )n0 no converge.
Denicin 1.3.4.

Sea (xn )n0 una sucesin en E. Si (kn )n0 es una sucesin en N tal que 0 k0 k1 , entonces (xkn )n0 es una subsucesin de (xn )n0 . Sea (xn )n0 una sucesin de E. x E es un punto de acumulacin de (xn )n0 existe una subsucesin (xkn )n0 de (xn )n0 que converge a x.
Proposicin 1.3.2.

= Supongamos que existe una subsucesin (xkn )n0 de (xn )n0 que converge a x. = > 0, n0 0 tal que n n0 , xkn B(x, ) = hay una innidad de puntos de (xn )n0 que estn en B(x, ), los cuales son xkn0 , xkn0 +1 , . . . . = x es un punto de acumulacin. = Supongamos que x E es un punto de acumulacin de (xn )n0 , entonces > 0, hay una innidad de puntos de la sucesin en B(x, ).

Demostracin:

Como es > 0, tomamos = 1 (paso 1)


xk1 B(x, 1), xk1 (xn )n0

Tomamos = 1/2 (paso 2) Como hay una innidad de elementos en la sucesin en B(x, 1/2), se puede tomar
xk2 B(x, 1/2), con k2 > k1

As sucesivamente . . . Tomamos = 1/n (paso n) Tomamos xkn B(x, 1/n), con kn > kn1 . Luego, (xkn )n1 es una subsucesin de (xn )n0 . Adems, como d(x, xkn ) 1/n se tiene que xkn x.
n

23

1.3.2. Sucesiones de Cauchy


Sea (xn )n0 una sucesin de elementos de E. Se dice que (xn )n0 es Cauchy si > 0, n0 0 tal que m, n n0
Denicin 1.3.5.

de

d(xn , xm ) <

Si (xn )n0 es una sucesin convergente entonces (xn )n0 es de Cauchy. Al revs, no necesariamente es cierto. En efecto Si (xn )n0 converge a x, entonces > 0, n0 0 tal que n n0
Nota:

d(x, xn ) < /2

para m, n n0
d(xm , xn ) d(xm , x) + d(x, xn ) < /2 + /2 = = (xn )n0 es de Cauchy.
Ejemplo 1.20.

Sea E = (0, 1) con la mtrica usual


xn = 1 , n2 n

(xn )n2 es de Cauchy pero no converge.


Denicin 1.3.6.

cios mtricos
Ejemplo 1.21.

Los e.m. donde todas las sucesiones de Cauchy convergen se llaman completos.
E = R con la mtrica usual es completo.

espa-

Teorema 1.3.2.

tonces

Sea (E, d) e.m. cualquiera, y sea (xn )n0 una sucesin de Cauchy en E. En-

1. Toda subsucesin de (xn )n0 es de Cauchy. 2. (xn )n0 es acotada, es decir, existe R > 0 tal que (xn )n0 est contenida en una bola de radio R. 3. Si (xn )n0 tiene un punto de acumulacin x E , entonces (xn )n0 converge a x.
24

Supongamos que (xn )n0 es una sucesin de Cauchy. Tomamos = 1. Entonces, existe n0 0 tal que m, n n0 con d(xm , xn ) 1 en particular, si tomamos n = n0 , = m n0 , d(xm , xn0 ) 1 = m n0 , xm B(xn0 , 1)
2.

Demostracin:

Probamos que todos los xm B(xn0 , 1), pero con m n0 . Falta ver que pasa con todos los xm con m < n0 . Tomemos R = mx {d(xn0 , x0 ), d(xn0 , x1 ), . . . , d(xn0 , xn0 1 ), 1} a Se tiene que B(xn0 , R) contiene a todos los elementos de la sucesin.
3.

Supongamos que x es un punto de acumulacin de Cauchy (xn )n0 . Entonces existe (xkn )n0 una subsucesin que converge a x = (1) > 0, n0 0 tal que n n0 , d(x, xkn ) < /2 (2) > 0, m0 0 tal que m, n m0 , d(xm , xn ) < /2 Sea > 0 y sea n0 y m0 como en (1) y (2) respectivamente. Sea r0 = mx {n0 , m0 } a Sea n r0
d(x, xn ) d(x, xkn ) + d(xkn , xn ) < /2 + /2
por (1) por (2)

= = d(x, xn ) 0. = (xn )n0 converge a x.


Nota:
n

1. Si una sucesin de Cauchy no converge, entonces, no

tiene

puntos de acumulacin.

2. Si (xn )n0 es una sucesin de Cauchy que tiene alguna subsucesin convergente, entonces (xn )n0 es convergente.

1.3.3. Teorema de la interseccin de Cantor


Teorema 1.3.3. (de la interseccin de Cantor)

Sea (E, d) e.m.


25

(E, d) completo Si (Fn )n0 es una sucesin de conjuntos cerrados no vacos de E tales que F0 F1 F2 y diam(Fn ) 0, entonces Fn =
n n0

Un e.m. (E, d) es completo para toda sucesin (Fn )n0 , con Fn = B(xn , Rn ) para algn xn E y Rn > 0 tal que Fn+1 Fn y Rn 0, se tiene que
Teorema 1.3.4.
n

Fn =
n0

Supongamos que Fn = B(xn , Rn ) con Fn+1 Fn y Rn 0. n Primero, veamos que (xn )n0 es una sucesin de Cauchy. Sea > 0 Como Rn 0, entonces n0 0 tal que n n0 , 0 < Rn < . (1)
n

. Demostracin:

Fn0 = B(xn0 , Rn0 ) n n0 , B(xn , Rn ) B(xn0 , Rn0 ). (2)

tomemos m, n n0 .
d(xm , xn ) d(xm , xn0 ) + d(xn0 , xn ) <(2) Rn0 + Rn0 = 2Rn0 <(1) 2 = (xn )n0 es de Cauchy. = Supongamos que (E, d) e.m. completo. Entonces (xn )n0 converge a un elemento x E . Para probar que B(xn , Rn ) = , veremos que x
n0 n0

B(xn , Rn ).

Si x no estuviera en
n0

B(xn , Rn ), entonces existe n0 0 tal que x B(xn0 , Rn0 ) /

= d(x, xn0 ) > Rn0 Pero Rn0 < d(x, xn0 ) d(x, xn ) + d(xn , xn0 ) (para n n0 ). De la condicin (2), se tiene que d(xn , xn0 ) Rn0 . Entonces, d(x, x0 ) = > 0 y Rn0 > 0 = d(x, xn0 ) d(xn , xn0 ) d(x, xn )
Rn0 Rn0 Rn0

= Rn0 d(x, xn ) ==

ya que xn x
n

>0

= x
n0

B(xn , Rn ) =
n0

B(xn , Rn ) =

26

= Supongamos que se cumplen las hiptesis para la sucesin de bolas (Fn )n0 . Para probar que (E, d) es completo, hay que probar que cualquier sucesin de Cauchy converge.

Sea (xn )n0 una sucesin de Cauchy en E . 1 1 Sea = n+1 , existe kn 0 tal que m, k kn , d(xm , xk ) < = n+1 . 2 2 Vamos a tomar la subsucesin (xkn )n0 . Sea kn = B xkn ,
1 . Veamos que (kn )n1 satisface las propiedades del teorema: 2n 1 0. Por otro lado 2n

Es directo que Rn = sea y B xkn+1 ,


1

2n+1 d(y, xkn ) d(y, xkn+1 ) + d(xkn+1 , xkn ) 1 1 1 + = n 2n+1 2n+1 2

= B xkn+1 , = =
n0

1 2n+1 1 2n 1 2n

B xkn ,

1 2n

B xkn ,

es una sucesin que cumple las hiptesis.


n0

B xkn ,

= B xkn , 1 2n = d(x, xkn ) 1 , 2n n = d(x, xkn ) 0.


n

Luego existe x
n0

= xkn x n = xn x n = la sucesin de Cauchy converge. = (E, d) es completo.

En el teorema de la interseccin de Cantor es importante pedir que diam(Fn ) 0. n E = R con la mtrica usual. Fn = [n, +) es cerrado en R, diam(Fn ) 0, Fn+1 Fn , pero Fn = .
Nota:
n0

Sea (E, d) e.m. completo y sea (On )n0 una sucesin de abiertos densos en E. Entonces es un conjunto denso en E. Demostracin:
n0 n0

Teorema 1.3.5. (de Baire)

On

Sea (On )n0 una sucesin de abiertos densos en E. Sea A = On E . Para probar que A es denso hay que ver que para todo abierto de E , A = .

27

Vamos a construir una sucesin (B(xn , n ))n0 tal que B(xn+1 , n+1 ) B(xn , n ) y n 0. Como el e.m. es completo se tendr
n0

B(xn , n ) = . B(xn , n ) est en A.


n0

Construiremos las bolas de manera que el elemento x

Paso 0 Como O0 es denso en E , x0 O0 . Como O0 es abierto, 0 > 0 tal que B(x0 , 0 ) O0 . Paso 1 Como O1 es denso en E , x1 O1 Bo (x0 , 0 ). Como O1 Bo (x0 , 0 ) es abierto, 1 > 0 tal que Bo (x1 , 1 ) O1 Bo (x0 , 0 ). . . . Paso n Como On es denso en E , xn On Bo (xn1 , n1 ) Como On Bo (xn1 , n1 ) es abierto, 1 n < n tal que Bo (xn , n ) On Bo (xn1 , n1 ).
2
abierto

La sucesin de bolas (B(xn , n ))n0 satisface:


B(xn+1 , n+1 ) B(xn , n ), n 0. 1 n 0 ya que n 0. n 2 n

Por el teorema de la interseccin de Cantor, x


n0

B(xn , n ).

= x
n0

On = A.

Como B(xn , n ) , n = x = x A = . Como es cualquier abierto en E = A = On es denso en E .


n0

Proposicin 1.3.3.

Teorema de Baire Sea (E, d) e.m. completo y sea (Fn )n0 una sucesin de cerrados con interior vaco. Entonces Fn tiene interior vaco.
n0

Teorema 1.3.6.

Sea (E, d) e.m. (no necesariamente completo). Existe un e.m. (E , d ) completo y una funcin f : E E tal que: 1. d(x, y) = d (f (x), f (y)), x, y E . 2. f (E) es denso en E .

28

CAPTULO 2

CONJUNTOS CONEXOS Y COMPACTOS

2.1. Conjuntos conexos


Sea (E, d) e.m.

2.1.1. Conjuntos separados


Denicin 2.1.1.

Sean A, B E . Se dice que A y B son separados si AB = y AB = .

Nota:

1. Si A y B son separados entonces A B = , pues A B A B = . El recproco no es cierto. 2. Sabemos que d(A, B) = nf d(a, b). aA, bB Si d(A, B) = > 0, entonces A y B son separados. Si no fueran separados, se tendra A B = o A B = . Si A B = , entonces existira x A y x B . Como x B , entonces d(x, B) = 0, es decir, x A e d(x, y) = 0 ==. nf yB Sin embargo pueden haber conjuntos A, B E tales que d(A, B) = 0 y A y B separados.
Ejemplo 2.1.

Sea A = (, 0) y B = (0, +). Luego A y B son separados y d(A, B) = 0.

Propiedades:

29

1. Si A y B son separados y A1 A y B1 B , entonces A1 y B1 son separados. 2. Si A y B son cerrados. A y B son separados A y B son disjuntos. 3. Si A y B son abiertos. A y B son separados A y B son disjuntos.

Demostracin:

= Sabemos que si A y B son separados, entonces A y B son disjuntos. = Supongamos que A y B son abiertos tales que A B = .

Supongamos que A y B no son separados, es decir, A B = o A B = . Supondremos A B = . Entonces existe x A y x B . Como x B , > 0, B(x, ) B = , pero x A implica que > 0 tal que B(x, ) A, es decir, B(x, ) B = ==. Luego A y B deben ser separados.

4. Si un conjunto abierto O es la unin de dos conjuntos separados O1 y O2 , es decir, O = O1 O2 , entonces O1 y O2 son abiertos. 5. Si un conjunto cerrado F es la unin de dos conjuntos separados F1 y F2 , es decir, F = F1 F2 , entonces F1 y F2 son cerrados.
A E es disconexo si A se escribe como unin de dos conjuntos, no vacos, separados. Es decir, A = A1 A2 , con A1 y A2 separados y no vacos.
Denicin 2.1.2. Denicin 2.1.3.

A es conexo si A no es disconexo E es conexo los nicos conjuntos que son abiertos y cerrados a la

Proposicin 2.1.1.

vez, son y E.
Proposicin 2.1.2.

Sea A E . A es conexo los nicos conjuntos abiertos y cerrados de A son el y A. Sea A, B E .

Proposicin 2.1.3.

1. Si A es conexo, entonces A es conexo. 2. Si A y B son conexos y no separados, entonces A B es conexo. 3. Si A y B son conexos y A B = , entonces A B es conexo. 4. Si (Ai )iI una coleccin de conjuntos conexos tal que
iI

Ai = , entonces
iI

Ai es conexo.

30

5. Si x, y A existe un subconjunto conexo de A que contiene a x e y, entonces A es conexo.

Sea (E, d) e.m. En E se dene la siguiente relacin de equivalencia:


x y existe A E conexo tal que x, y A. es una relacin de equivalencia.

Recordar que una clase de equivalencia de son los conjuntos


[x] = {y E : x y}

La coleccin de clases de equivalencia de es una particin de E . Pero adems, cada clase de equivalencia es un conjunto conexo, y es el conjunto conexo ms grande que contiene a los puntos que estn en l. [x] es la unin de todos los conexos que contiene a x. Como [x] es la unin de conjuntos conexos cuya interseccin es no vaca (contiene al menos a x), necesariamente es conexo.
Denicin 2.1.4.

Las clases de equivalencias de son las componentes Las componentes conexas son cerrados.

conexas

de E

Proposicin 2.1.4.

Nota:

Los nicos conjuntos conexos en Q son los singleton, es decir, los conjuntos {q}, con q Q.
Denicin 2.1.5.

Q no es conexo.

A es totalmente disconexo si los nicos conjuntos conexos son los conjuntos que contienen un solo elemento (singleton).
Teorema 2.1.1.

Sea O R un abierto. Existe una coleccin numerable de intervalos abiertos disjuntos {(ai , bi )}i0 tal que O =
i0

(ai , bi ).

2.2. Conjuntos compactos


Sea (E, d) e.m. 31

Denicin 2.2.1.

de E tales que E =

1. Un

recubrimiento

O .
abierto

de E es una coleccin {O } se subconjuntos

2. Se dice recubrimiento

si O es abierto, .

3. Un subrecubrimiento del recubrimiento {O } es una subcoleccin {O } con tal que E = O .

Un subrecubrimiento de un recubrimiento es una subcoleccin de elementos del recubrimiento que es recubrimiento.


Nota: Ejemplo 2.2.

On =
nZ nZ

R con la mtrica usual On = (n 1, n + 1) para n Z, entonces (n 1, n + 1) = R

= {On }nZ es un recubrimiento abierto de R, pero no tiene subrecubrimientos diferentes de {On Z}.
Nota:

Del ejemplo anterior, R con la mtrica usual, no es compacto.


compacto

Denicin 2.2.2.

El e.m. E es cubrimientos nitos.


Denicin 2.2.3.

si todo recubrimiento abierto de E tiene subre-

1. A E es compacto si es compacto como subespacio mtrico de E.


compacto

2. A E es relativamente pacto. Demostracin:


Proposicin 2.2.1.

si A es compacto.

Si E es un e.m. compacto entonces los conjuntos cerrados en E son com-

Supongamos que E es compacto. Sea F E cerrado. Sea {O } un recubrimiento abierto (con respecto a F ) de F . Luego O = O F con O abierto en E , . O (E F ) = E . O (E F ) ,
abierto en E recubrimiento abierto de contiene a

F n

Como E es compacto, existe n < y O1 , O2 , . . . , On , (E F ) {O } (E F ) tal que


(E F ) = E . Oi = Oi F {O }
n i=1

Oi

F =
i=1

Oi

32

= {Oi }n es un subrecubrimiento nito de {O } i=1 = F es compacto.


Proposicin 2.2.2.

Supongamos que A E es compacto. Probaremos que (E A) es abierto. Sea a (E A). Para todo x A, existe x > 0 y x > 0 tal que Bo (a, x ) Bo (x, x ) = Luego como (Bo (x, x ) A) = A = {Bo (x, x ) A}xA es un recubrimiento abierto de A.
xA n

Sea E un e.m. (no necesariamente compacto). Si A E es compacto, entonces A es cerrado. Demostracin:

Como A es compacto, existe n < y x1 , x2 , . . . , xn A tal que A =


{Bo (xi , xi ) A}n es un subrecubrimiento nito de {Bo (x, x ) A}xA . i=1
n

(Bo (xi , xi ) A), as


i=1

Sea V =
A.
i=1

Bo (a, xi ), entonces V es un abierto, pues es interseccin nita de abiertos, y contiene a

Si x A, existe 1 i n tal que x Bo (xi , xi ). Como Bo (xi , xi ) Bo (a, xi ) = , entonces x V . / Luego V (E A) = (E A) es abierto. = A es cerrado.
Nota:

Los cerrados en un e.m. compacto son compactos. Los compactos en un e.m. son cerrados. Sin embargo, en un e.m. cualquiera no necesariamente cualquier cerrado es compacto. En un e.m. compacto, los cerrados y compactos coinciden (esto es cierto si el e.m. es compacto).
Teorema 2.2.1.

E es un e.m. compacto si {F } es una familia de cerrados tal que


n

F = , entonces existen n < y F1 , F2 , . . . , Fn {F } tal que

Fi = .
i=1

Demostracin:

= Supongamos que E es compacto. Sea {F } una familia de cerrados tal que

F =

(E F ) = E .

= {E F } es un recubrimiento abierto de E .

Como E es compacto, existen n < con E F1 , E F2 , . . . , E Fn {E F } tales que

33

E=

(E Fi )
i=1 n

= =
i=1

Fi . F = posee una subcolec n

= Supongamos que toda coleccin {F } de cerrados tales que

cin nita {Fi }n tal que i=1


i=1

Fi = .

Sea {O } un recubrimiento abierto de E . Tomando complemento y usando lo anterior, se prueba que {O } tiene subrecubrimiento nito y por lo tanto E es compacto.

Supongamos que E es compacto. Si (Fn )0 es una sucesin decreciente de cerrados no vacos, es decir, F1 F2 con Fn = n 0 = Fn = .
Corolario:
n0

Si un conjunto F es cerrado y es la unin de dos conjuntos separados A y B , entonces A y B son cerrados.


Proposicin 2.2.3.

2.2.1. Teorema de Weierstrass-Bolzano


Demostracin:
Teorema 2.2.2.

Si E es compacto, entonces toda sucesin tiene puntos de acumulacin.

Supongamos que E es compacto. Sea (xn )n0 una sucesin en E . Sea An = {xk : k n} con Fn = An = {xk : k n} y An+1 An
= An+1 An = Fn+1 Fn y adems, Fn = , pues contiene a xn .

Por el corolario anterior, como E es compacto,


n0

Fn = .

Sea x
n0

Fn . Entonces x Fn = An = {xk : k n}, n 0.

Sea = 1/n. Como x Amn , existe xmn Amn tal que xmn B(x, 1/n) Sea = 1/(n+1). Como x Amn+1 , existe xmn+1 Amn+1 tal que xmn+1 B(x, 1/(n+1)) B(x, 1/n) As sucesivamente, se obtiene la subsucesin (xmn )n0 tal que d(x, xmn ) < 1/n
= xmn x = (xn )n0 tiene puntos de acumulacin.
Nota:
n

De lo anterior se deduce que si E es compacto, entonces es completo. 34

Proposicin 2.2.4.

Si E compacto, entonces E es acotado.

Lema 2.2.1. (del nmero de Lebesgue)

Supongamos que E es un e.m. donde todas las sucesiones tienen puntos de acumulacin (secuencialmente compacto). Entonces para todo recubrimiento abierto {O } de E existe > 0 tal que toda bola de radio est contenida en algn abierto del recubrimiento. Es decir,
x E, tal que B(x, ) O .

A se llama el nmero
Lema 2.2.2.

de Lebesgue

del recubrimiento.

Sea E un e.m. tal que toda sucesin en E tiene puntos de acumulacin > 0, existe un nmero nito de bolas de radio que recubre E. Es decir, existen x1 , x2 , . . . , xn E tal que E =
n

B(xi , ).

i=1

Teorema 2.2.3. (Bolzano-Weierstrass)

E es compacto toda sucesin tiene puntos de acumulacin. Demostracin:


= Ya lo probamos.

= Supongamos que E es un e.m. donde toda sucesin tiene puntos de acumulacin. Sea {O } un recubrimiento abierto de E .

Del primer lema = > 0 tal que toda bola de radio est contenida en algn conjunto del recubrimiento. (1)
n

Del segundo lema = n < , y x1 , x2 , . . . , xn E tal que E = De (1), se tiene que i tal que B(xi , ) = O , 1 i n
n n i=1

B(xi , ).

= E =
i=1 n

B(xi , )
i=1

Oi E .

= E = =

Oi .

es un subrecubrimiento nito de {O } . = E es compacto.


Ejemplo 2.3.
t[0,1]

i=1 {Oi }n i=1

Sea E = C([0, 1], R) = {f : [0, 1] R, f continua} con la mtrica d(f, g) = sup |f (t) g(t)|.
t[0,1]

Sea A = f E : sup 1 = B(f = 0, 1) E . Entonces A es cerrado y acotado.


35

Probaremos que A no es acotado. Para esto construiremos una sucesin (fn )n1 A que no posee subsucesiones convergentes. Sea n 1 tal que
fn (t) =
1 1 nt 0 t n 1 0 t1 n

Sea m > n

fn (1/m) = 1 n/m y fm (1/m) = 0 = |fn (1/m) fm (1/m)| = 1 n/m entonces, d(fn , fm ) = sup |fn (t) fm (t)| 1 n/m ()

Si tuviramos una subsucesin convergente (fnl )l1 tal que fnl f , entonces > 0, l0 tal l que l l0 ,
d(fnl , f )

t[0,1]

Luego, si l > l l0
d(fnl , fnl ) d(fnl , f ) + d(f, fnl ) 2

lo que no puede ocurrir por ()


De este ejemplo, se concluye que en ciertos e.m., no cualquier cerrado y acotado es compacto.
Nota: Proposicin 2.2.5.

Cualquier cerrado y acotado en R (con la mtrica usual) es compacto. Demostracin:


Corolario:

compactos.

En R con la mtrica usual todos los intervalos [a, b] con a b R son

Sea A R cerrado y acotado. Como A es acotado, existen a b R tal que A [a, b]. Como [a, b] es compacto y A [a, b] es cerrado, entonces A es compacto.
Proposicin 2.2.6.

Considere Rn equipada con la cualquiera de las mtricas siguientes:


n

d1 ((x1 , x2 , . . . , xn ), (y1 , y2 , . . . , yn )) =
j=1

|xj yj |
n

d2 ((x1 , x2 , . . . , xn ), (y1 , y2 , . . . , yn )) =
j=1

(xj yj )2 mx |xj yj | a

d3 ((x1 , x2 , . . . , xn ), (y1 , y2 , . . . , yn )) =

1jn

36

los conjuntos de la forma [a1 , b1 ] [a2 , b2 ] [an , bn ] son compactos. Donde aj bj R para 1 j n.
Nota:

En un e.v. normado de dimensin nita, todos los cerrados y acotados son compactos. En un e.v. normado de dimensin innita, hay cerrados y acotados que no son compactos (espacio de funciones continuas).

37

CAPTULO 3

FUNCIONES ENTRE ESPACIOS MTRICOS

3.1. Lmite y continuidad de funciones


3.1.1. Caracterizaciones
Sean E1 , E2 conjuntos y f : E1 E2 funcin. Sea A E1 y B E2 donde f (A) = {f (x) : x A} y f 1 (B) = {x E1 : f (x) B}.
Nota:

Podemos hablar de inversa sin necesidad que f sea inyectiva.

Propiedades:

1. Si A B E1 = f (A) f (B). 2. f (A B) = f (A) f (B) 3. f (A B) f (A) f (B) (= si f es 1-1). 4. f 1 (A B) = f 1 (A) f 1 (B). 5. f 1 (A B) = f 1 (A) f 1 (B). 6. f 1 (E2 B) = E1 f 1 (B). 7. Si f (A) = B = A f 1 (B) (= si f es 1-1). 8. Si A = f 1 (B) = f (A) B (= si f es sobre). 38

Denicin 3.1.1.

que si

Una funcin f : E1 E2 es

continua en x0 E1 ,

si > 0, > 0 tal

d(x, x0 ) = d(f (x), f (x0 ))


B(x0 ,)f 1 (B(f (x0 ),))

donde depende del punto.


Denicin 3.1.2.

continua.
Ejemplo 3.1.

Si f : E1 E2 es continua en todo x0 E1 , entonces se dice que f es

Sea (E, d) e.m. cualquiera. Consideremos R con la mtrica usual, A E no vaco


f : E R x d(x, A) = d(x, y) nf
yA

f es continua. En efecto, sea > 0


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

existe y A tal que


d(x, y) d(x, A) + /2

Sea x B(x, /2)


d(x , A) d(x , A) d(x , x) + d(x, y) /2 + d(x, A) + /2 = d(x, A) + /2 = d(x , A) d(x, A) (1)

Haciendo lo mismo, pero tomando x en el lugar de x y x en el lugar de x , se obtiene que


d(x, A) d(x , A) (2) =(1), (2) |d(x, A) d(x , A)| , es decir, |f (x) f (x )|

Luego, para = /2 se tiene


d(x, x ) = d(f (x), f (x ))

39

Teorema 3.1.1.

O E2 .

f : E1 E2 es continua f 1 (O) es abierto en E1 para todo abierto

= Supongamos que f : E1 E2 es continua. Sea O E2 un abierto. Sea x0 f 1 (O), entonces f (x0 ) O. Como O es abierto, > 0 tal que Bo (f (x0 ), ) O. Como f es continua, > 0 tal que Bo (x0 , ) f 1 (Bo (f (x0 ), )) = Bo (x0 , ) f 1 (O) = f 1 (O) es abierto. = Supongamos que la preimagen de cualquier abierto es abierto.

Demostracin:

Sea x0 E1 . Sea > 0. Como Bo (f (x0 ), ) es un abierto en E2 , entonces f 1 (Bo (f (x0 ), )) es un abierto en E1 . Como x0 f 1 (Bo (f (x0 ), )), entonces > 0 tal que Bo (x0 , ) f 1 (Bo (f (x0 ), )).
Teorema 3.1.2.

Demostracin:
Teorema 3.1.3.

f : E1 E2 es continua la preimagen de cualquier cerrado es un cerrado

Usar complemento y f 1 (E2 A) = E1 f 1 (A)


f : E1 E2 es continua en x0 E1 para toda sucesin (xn )n0 es E1 , que converge a x0 se tiene que (f (xn ))n0 converge a f (x0 ), es decir xn x0 = f (xn ) f (x0 )
n n

= Supongamos que f es continua en x0 E . Sea (xn )n una sucesin tal que xn x0

Demostracin:

Sea > 0. Como f es continua, > 0 tal que B(x0 , ) f 1 (B(f (x0 ), )). Como xn x0 , n0 0 tal que n n0 , entonces xn B(x0 , ) f 1 (B(f (x0 ), ))
= f (xn ) B(f (x0 ), ) = f (xn ) f (x0 ).
n n

= Supongamos que para toda sucesin (xn )n0 tal que xn x0 se tiene que f (xn ) f (x0 ) n n Suponiendo que f no es continua en x0 para llegar a una contradiccin. Si f no es continua > 0, tal que > 0, x en B(x0 , ) que verica f (x ) B(f (x0 ), ) /

Luego, para = 1/n, xn B(x0 , 1/n) tal que |f (xn ) f (x0 )| > = xn x0 y f (xn ) f (x0 ) == n = f debe ser continua.

40

3.1.2. Homeomorsmos
Sean (E1 , d1 ) y (E2 , d2 ) dos e.m.
Denicin 3.1.3.

f : E1 E2 es un homeomorsmo si:

f es continua. f es biyectiva.
f 1 es continua.
Ejemplo 3.2.

1.
id : (E1 , d1 ) (E1 , d1 ) x x

es biyectiva, continua y id1 = id es continua = id es un homeomorsmo. 2. Sean E1 = R, d1 la mtrica discreta y E2 = R, d2 la mtrica usual. Tomamos
f : (E1 , d1 ) (E2 , d2 ) x x f es biyectiva, y es continua pues si A E2 es abierto, entonces f 1 (A) = A tambin es abierto en E , pero f 1 no es continua, pues {x} E1 es un abierto en E1 y f ({x}) = {x} no es abierto en E2 .
Proposicin 3.1.1.

d1 y d2 son mtricas equivalentes de E id : (E, d1 ) (E, d2 ) x x

es un homeomorsmo. Sea f : E1 E2 continua y biyectiva. Entonces f es homeomorsmo la imagen de cualquier abierto en E1 es un abierto en E2 . Es decir, f (A) E2 es un abierto A E abierto.
Teorema 3.1.4. Teorema 3.1.5.

f es un homeomorsmo la imagen de cualquier cerrado es un cerrado.

41

3.1.3. Funciones continuas sobre conexos y compactos


Sean (E1 , d1 ) y (E2 , d2 ) dos e.m.
Proposicin 3.1.2.

f (A) es conexo.

Sea f : E1 E2 continua. Luego para todo conexo A E1 se tiene que

Demostracin:

Vamos a tomar la restriccin de f a A, es decir, f A : A f (A). Sea B f (A) tal que B es un abierto y cerrado en f (A). Para ver que f (A) es conexo, debemos probar que B = o B = f (A). Notar que, al ser f continua, se tiene que f 1 (B) es un abierto y cerrado en A. Como A es conexo, necesariamente se tiene f 1 (B) = o f 1 (B) = A. Luego, si f 1 (B) = , entonces B = , y si f 1 (B) = A, entonces f (A) B y, por lo tanto, B = f (A). = f (A) es conexo.

Una aplicacin del teorema anterior es lo siguiente.

Si (E1 , d1 ) y (E2 , d2 ) son conexos, entonces (E1 E2 , d) es conexo, donde: d= + , d = d1 + d2 o d = mx {d1 , d2 }. a Demostracin:
Proposicin 3.1.3.

d2 1

d2 2

Para ver que E1 E2 es conexo, probaremos que posee una sola componente conexa. Sean (a1 , a2 ), (b1 , b2 ) (E1 E2 ), probaremos que hay un conexo que contiene a (a1 , a2 ) y (b1 , b2 ). Sean

f : E1 E1 E2 x (x, b2 ) f y g son continuas (probarlo).

g : E2 E1 E2 x (a1 , x)

Luego , f (E1 ) = E1 {b2 } es conexo, pues E1 es conexo (pues es homeomorfo a E1 ). Por otro lado g(E2 ) = {a2 } E2 es conexo, pues E2 es conexo. Como f (E1 ) g(E2 ) = , se tiene que f (E1 ) g(E2 ) es conexo.
(E1 {b2 }) ({a1 } E2 ) = {(x, b2 ) : x E1 } {(a1 , x) : x E2 } (x, y) con x = a1 y y = b2 . (a1 , a2 ) (E1 {b2 }) ({a1 } E2 )

42

(b1 , b2 ) (E1 {b2 }) ({a1 } E2 ) = (a1 , a2 ) y (b1 , b2 ) estn en la misma componente conexa = Como esto es vlido para todo par (a1 , a2 ), (b1 , b2 ), entonces E1 E2 tiene una sola componente

conexa.
= E1 E2 es conexo.
Denicin 3.1.4.

Sea (E, d) e.m.. Un arco o camino que une los puntos a, b E es una funcin continua f : [, ] E , donde R y f () = a y f () = b.
Denicin 3.1.5.

f que une a y b de manera que la imagen del camino est en A.


Teorema 3.1.6.

A E es conexo por caminos o por arcos si a, b A, existe un camino

Demostracin:
B=A = A =

Si A E es conexo por caminos = A es conexo.

Sea A E conexo por caminos. Supondremos que A no es conexo. Entonces, existe B A abierto y cerrado en A tal que B = y
B
abto-cerr

(A B), B = y (A B) = .
abto-cerr

Luego, existen b B y a (A B). Como A es conexo por caminos, existe f : [, ] A continua tal que f () = a y f () = b. Como [, ] es conexo y f continua, entonces f ([, ]) es conexo. Luego
f ([, ]) = (f ([, ]) B) (f ([, ]) (A B))

Como f ([, ]) es compacto, es cerrado = f ([, ]) B es cerrado y f ([, ]) (A B) es cerrado. = f ([, ]) es la unin de dos cerrados disjuntos no vacos ==. pues f ([, ]) es conexo. = A debe ser conexo.
Proposicin 3.1.4. Proposicin 3.1.5.

A Rn es conexo es conexo por arcos.

Para probar que f (E1 ) es compacto, basta ver que cualquier sucesin en f (E1 ) tiene subsucesiones convergentes.

compacto. Demostracin:

Sea f : E1 E2 continua. Si E1 es compacto, entonces f (E1 ) E2 es

43

Sea (yn )n0 una sucesin en f (E1 ). Como yn f (E1 ), existe xn E tal que f (xn ) = yn , n 0. La sucesin (xn )n0 est en E1 . Como E1 es compacto, (xn )n0 tiene subsucesiones convergentes, es decir, existe xnk x E1
k

Como f es continua
f (xnk ) f (x) f (E1 )
y nk

= (ynk )k0 es una subsucesin convergente de (yn )n0 = f (E1 ) es compacto.


Corolario:

Sea f : E1 E2 continua. Si A E1 es compacto, entonces f (A) es compacto.

Si f : E1 E2 es continua, no siempre es cierto que la preimagen de un compacto es un compacto.


Nota: Ejemplo 3.3.

E1 = E2 = R, ambas con la mtrica usual. Sea la funcin f :R R x 0

Luego f es continua. Adems {0} es compacto en R, pero f 1 ({0}) = R no es compacto.


Si f : E1 E2 es continua, la preimagen de un abierto es abierto, la preimagen de un cerrado es cerrado, la imagen de un compacto es compacto. Al revs, no necesariamente es cierto.
Nota: Corolario:

morsmo. Demostracin:

Sea f : E1 E2 continua y biyectiva. Si E1 es compacto, entonces f es homeo-

Si f : E1 E2 es continua y biyectiva, para probar que f es un homeomorsmo basta ver que la imagen de un abierto es un abierto o que la imagen de un cerrado es un cerrado. Si A E es cerrado, entonces A es compacto, pues E1 es compacto, luego f (A) es compacto = f (A) es cerrado. = f es un homeomorsmo.

Sea f : E R una funcin continua. Si E es compacto, entonces f (E) tiene nmo y supremo y stos se alcanzan. Es decir, a = {f (E)} y b = sup {f (E)}, entonces nf existen xa , xb E tal que f (xa ) = a y f (xb ) = b. En este caso se dice que f tiene mximo y mnimo.
Teorema 3.1.7.

44

Demostracin:
Como E es compacto y f es continua, f (E) R es compacto. Esto implica que f (E) es acotado. Luego existen a = {f (E)} R y b = sup {f (E)} R. nf Como f (E) es compacto, entonces f (E) es cerrado. Luego, a y b estn en f (E) = {y R : x E, f (x) = y} = existen xa , xb E tal que f (xa ) = a y f (xb ) = b.
Corolario:

A E es compacto no vaco, entonces x E , existe y A tal que d(x, y) = d(x, A) = d(x, z). nf
zA

Demostracin:

Sea x E , entonces la funcin


f :A R y d(x, y)

es continua (fcil de probar). Por teorema anterior, {f (E)} = d(x, y) = d(x, A) R y y0 A tal que f (y0 ) = d(x, y). nf nf nf Luego d(y0 , x) = f (y0 ) = d(x, y) = d(x, A). nf
yA yA yA

3.2. Continuidad uniforme


Denicin 3.2.1.

tal que donde


Nota:

Una funcin f : E1 E2 es uniformemente


d(x, y) = d(f (x), f (y))

continua

si > 0, > 0

no depende

del punto.

Una funcin uniformemente continua es continua. Sin embargo, una funcin continua no necesariamente es uniformemente continua, pues depende de y del punto donde se est en E1 . Una clase particular de funciones uniformemente continuas son los Hlder.
Denicin 3.2.2.

f : E1 E2 es Hlder de orden , con 0 1, si k 0 tal que d(f (x), f (y)) kd(x, y) , x, y E1 .

Cuando = 1, se dice que f es Lipschitz, es decir


d(f (x), f (y)) kd(x, y)

45

Proposicin 3.2.1.

Demostracin:

Las funciones Hlder son uniformemente continuas.


k
1 1

Si f : E1 E2 es Hlder de orden , dado > 0, para =


d(x, y) = k

se tiene que si

entonces
d(f (x), f (y)) kd(x, y) k = k

Nota:

Lipschitz = Hlder = Uniformemente continua = Continua.

Teorema 3.2.1.

continua.

Sea f : E1 E2 continua. Si E1 es compacto, entonces f es uniformemente

Demostracin:

Sea f : E1 E2 continua. Para probar que es uniformemente continua, supondremos que no lo es y llegaremos a una contradiccin. Si f no es uniformemente continua, entonces
( > 0, > 0 tal que d(x, y) = d(f (x), f (y)) )

es decir

> 0, > 0, (x , y ) tal que d(x , y ) = d(f (x ), f (y )) >

Luego, para n > 1 y = 1/n, xn , yn tal que d(xn , yn ) 1/n y d(f (x), f (y)) < . Las sucesiones (xn )n1 e (yn )n1 estn en E1 . Como E1 es compacto, existe (xnk )k0 convergente. Como (ynk )k0 est en E1 y E1 es compacto, existe (ynkl )l0 convergente. Como (xnk )k0 converge y (xnkl )l0 es una subsucesin de (xnk )k0 , entonces (xnkl )l0 tambin converge al mismo lmite que (xnk )k0 . Luego tenemos
xnkl x E1
l

ynkl y E1
l

46

Como f es continua, f (xnkl ) f (x) y f (ynkl ) f (y)


l l

Como d(xnkl , ynkl ) 1/nkl , entonces


d(x, y) d(x, xnkl ) + d(xnkl , ynkl ) + d(ynkl , y) d(x, xnkl ) +1/nkl + d(ynkl , y)
0 0

= > 0, l0 0 tal que d(f (xnkl ), z) y d(f (ynkl ), z) . = d(f (xnkl ), f (ynkl )) 2 (Desigualdad triangular).

= d(x, y) = 0 = x = y = f (x) = f (y) = z = f (xnkl ) z y f (ynkl ) z


l l

Si tomamos = /3 (donde > 0 es el del comienzo), entonces d(f (xnkl ), f (ynkl )) 2 < == 3 = f debe ser uniformemente continua.
Nota:

da es compacto.

{Funciones continuas} = {Funciones uniformemente continuas}, si el conjunto de parti-

3.2.1. Teoremas de extensin


Sean (E1 , d1 ) y (E2 , d2 ) dos e.m.

Sean f : E1 E2 y g : E1 E2 dos funciones continuas. El conjunto {x E1 : f (x) = g(x)} es cerrado. Demostracin:


Lema 3.2.1.

Una forma de probar que {x E1 : f (x) = g(x)} = A es cerrado, es mostrando que E A es abierto. Sea E A = {x E1 : f (x) = g(x)}. Si x E A, entonces d(f (x), g(x)) = > 0 Como f es continua, para /3 existe 1 > 0 tal que
d(x, y) 1 = d(f (x), f (y)) /3

Como g es continua , para /3 existe 2 > 0 tal que


d(x, y) 2 = d(g(x), g(y)) /3

47

Tomando = m {1 , 2 }, se tiene n
d(x, y) = d(f (x), f (y) /3 d(x, y) = d(g(x), g(y) /3

Luego, si y Bo (x, )
= d(f (x), g(x)) d(f (x), f (y)) +d(f (y), g(y)) + d(g(y), g(x))
/3 /3

2 + d(f (y), g(y)) 3 d(f (y), g(y)) 3 = f (y) = g(y) = y E A = Bo (x, ) E A = E A es abierto = A es cerrado.
Lema 3.2.2.

Sean f : E1 E2 y g : E1 E2 dos funciones continuas. Si existe A E1 denso tal que f (x) = g(x), x A, entonces f = g, es decir, f (x) = g(x), x E . Demostracin:
Sea B = {x E1 : f (x) = g(x)}. Por el lema anterior, B es cerrado. Adems
A B = A B, = E1 B, = B = E1 = f (x) = g(x), x E1
Teorema 3.2.2. (de extensin)

B = B, (B cerrado) A = E1 , (A denso)

Sea A E1 denso y sea f : A E2 uniformemente continua con E2 completo. Entonces existe una nica funcin continua g : E1 E2 tal que g A = f , es decir,
g(x) = f (x), x A.

3.2.2. Convergencia uniforme y puntual


Sean (E1 , d1 ) y (E2 , d2 ) dos e.m. y sea (fn )n0 una sucesin de funciones tal que fn : E1 E2 .
Denicin 3.2.3.
n

Se dice que (fn )n0

converge puntualmente

a f : E1 E2 si x E1 ,

l fn (x) = f (x) m

48

Esto es equivalente a que x E1 , y > 0,n0 0 tal que n n0


d(fn (x), f (x))

donde n0 depende del punto y de .


Denicin 3.2.4.

0, n0 0 tal que n n0

Se dice que (fn )n0

converge uniformemente

a f : E1 E2 si >

d(fn (x), f (x)) , x E1 .

Esto es equivalente a que > 0, n0 0 tal que n n0


sup {d(fn (x), f (x))}
xE1

Es decir, es la convergencia puntual con la propiedad extra que n0 depende slo de y no de x.


Nota:

Convergencia uniforme = convergencia puntual.

Si (fn )0 es una sucesin de funciones continuas que converge uniformemente a f, entonces f es continua. Demostracin:
Teorema 3.2.3.

Como (fn )n0 converge uniformemente a f , entonces > 0, n0 0, tal que n n0


d(fn (x), f (x)) /3, x E1

Sea x E1 . Hay que probar que f es continua en x. Sea > 0


d(f (x), f (y)) d(f (x), fn (x)) + d(fn (x), fn (y)) + d(fn (y), f (y))

Si tomamos n n0 , se tiene
d(f (x), fn (x)) /3 d(fn (y), f (y)) /3 = d(f (x), f (y)) /3 + d(fn (x), fn (y)) + /3 Como fn es continua, > 0 tal que si d(x, y) , entonces d(fn (x), fn (y)) /3.

Luego, para y Bo (x, ) se tiene d(f (x), f (y)) /3 + /3 + /3 = = f es continua en x. Como es vlido para cualquier x. = f es continua.

Sea B(E1 , E2 ) = {f : E1 E2 : f acotada} y sea (f1 , f2 ) = sup {f1 (x), f2 (x)}.


Denicin 3.2.5.
xE1

Proposicin 3.2.2.

(B(E1 , E2 ), ) es un e.m.

49

3.2.3. Teorema del punto jo


Denicin 3.2.6.

Un

punto jo

de una funcin f : E E es un punto x E tal que

f (x) = x
Denicin 3.2.7.

Una funcin f : E E es una contraccin si 0 k < 1 tal que


d(f (x), f (y)) kd(x, y)

Nota:

Si f es contraccin, entonces es uniformemente continua.

Demostracin: Unicidad: Supongamos que x, y E . Sea la funcin


x y

Teorema 3.2.4.

Si E es completo, entonces toda contraccin tiene un nico punto jo.

f : E E , con constante k < 1 tal que d(f (x), f (y)) kd(x, y) = d(x, y) kd(x, y) = d(x, y) = 0 = x = y

Existencia: Vamos a construir una sucesin (xn )n0 en E , de la manera siguiente:


x0 cualquier punto en E x1 = f (x0 ) x2 = f (x1 )

. . .

xn = f (xn1 ), n > 0 d(x, xn+1 ) = d(f (xn1 ), f (xn )) kd(xn1 , xn ) k 2 d(xn2 , xn1 )

. . .

k n d(x0 , x1 ) = d(x, xn+1 ) k n d(x0 , x1 ) d(xn , xx+p ) d(xn , xn+1 ) + d(xn+1 , xn+2 ) + + d(xn+p1 , xn+p ) = (k n + k n+1 + + k n+p1 )d(x0 , x1 )

Para > 0, n0 > 0 tal que n n0 tenemos que


j=n

kj <

= d(xn , xn+p ) d(x0 , x1 )

50

Como d(x0 , x1 ) es constante = (xn )n0 es de Cauchy. Como E es completo, xn x, donde x es algn elemento de E . n Como f es continua, f (xn ) f (x) y como f (xn ) = xn+1 , n 0 n = f (x) = x.
Teorema 3.2.5. (Tietze y Urysohn)

Sea F E cerrado y sea f : F R continua y acotada. Entonces existe g : E R continua tal que g F = f
Lema 3.2.3.

Para cada par de subconjuntos cerrados A y B de E, existe una funcin continua g : E R tal que 1 si x A g(x) = 1 si x B (1, 1) si x E (A B) con A y B disjuntos.
Lema 3.2.4.

Sea F E cerrado y f : F R continua tal que |f (x)| 3, entonces existe g : E R continua tal que:
i) |g(x)| 1, x F ii) |f (x) g(x)| 2 iii) |g(x)| < 1, x (E F )
Nota:

Si |f (x)| M , entonces la funcin g del lema anterior existe y satisface:

i) |g(x)| M/3, x F ii) |f (x) g(x)| 2M/3 iii) |g(x)| < M/3, x (E F )

Sea F E cerrado. Si f : F R es continua y acotada, entonces existe g : E R continua tal que f = g F .


Teorema 3.2.6.

3.3. Espacios de funciones


Supongamos que E y F son dos e.m. 51

Denicin 3.3.1.

funcin}

El conjunto de las funciones que van de E a F se anota F E = {f : E F : f

Denimos la funcin:
: F E F E R {+} (f, g) (f, g) = sup d(f (x), g(x))
xE

que cumple que 1. (f, f ) = 0 2. Si f, g F E son tales que (f, g) = 0


= sup d(f (x), g(x)) = 0
xE

= d(f (x), g(x)) = 0, x E = f = g .

3. (f, g) = (g, f ), f, g F E . 4. (f, g) (f, h) + (h, g), g, h, f F E . Para asegurar que sea nita, podemos restringir al espacio de las funciones acotadas o tomar sobre F una mtrica equivalente a la original que sea acotada. Vamos a suponer que sobre F tenemos una mtrica acotada. Entonces (F E , ) es un e.m.
Denicin 3.3.2.

El conjunto de las funciones continuas de E en F se escribe C(E, F ).


C(E, F ) es cerrado en (F E , )

Proposicin 3.3.1.

C(E, F ) es cerrado si (fn )n0 es una sucesin en C(E, F ) convergente a f F E , entonces f C(E, F ).

Demostracin:

Como (fn )n0 converge uniformemente, f C(E, F ) = C(E, F ) es cerrado.


Teorema 3.3.1.

Demostracin:
xE

Si F es completo, entonces (F E , ) es completo.

Sea (fn )n0 una sucesin de Cauchy en F E . Entonces > 0, n0 0 tal que n, m n0 , (fn , fm ) <
= sup d(fn (x), fm (x)) < = (fn (x))n0 es de Cauchy x E . Como F es completo, (fn (x))n0 converge en F .

52

Sea f (x) = l fn (x), entonces la funcin f est bien denida. Luego, f F E . m n Tenemos que dado > 0, n0 0 tal que n, m n0 , d(fn (x), fm (x)) , x. Fijando n n0 y tomando lmite sobre m, se obtiene:
m

l d(fn (x), fm (x)) = d fn (x), l fm (x) = d(fn (x), f (x)) , x E. m m


m

= (fn )n0 converge uniformemente a f = F E es completo.


Corolario:

Si F es completo, entonces (C(E, F ), ) es completo. Demostracin:


Esto es cierto, pues un cerrado de un e.m. completo es completo.

3.3.1. Conjunto equicontinuo o familia equicontinua


Denicin 3.3.3.

que

Un conjunto M F E es

equicontinuo en x0 E

si > 0, > 0 tal

d(x, x0 ) = d(f (x), f (x0 )) , f M.

Se dice que M es equicontinuo, si es equicontinuo en todo x0 E .


Nota:

Si M es equicontinuo, entonces toda f M es continua. Es decir, M C(E, F ). Al revs no es cierto. Es decir, existen subconjuntos de C(E, F ) que no son equicontinuos. Por ejemplo, si E = F = R. M = {fn (x) = xn : n > 1} C(R, R), pero no es equicontinuo.

Sea (fn )n0 una sucesin en M equicontinuo que converge puntualmente a una funcin f. Si E es compacto, entonces (fn )n0 converge uniformemente a f, y por lo tanto, f es continua. Demostracin:
Lema 3.3.1.

Sea M equicontinuo y (fn )n0 una sucesin que converge puntualmente a f F E . Esto signica que, fn (x) f (x), x E . Es decir, dado x E , > 0, n0 0 tal que n n0 , d(fn (x), f (x)) .
n

Como (fn )n0 es un conjunto equicontinuo en x, para > 0, existe x > 0 tal que si
d(x, y) x = d(fn (x), fn (y)) < , n 0

La coleccin {Bo (x, x )}xE es un recubrimiento abierto de E . Como E es compacto, existen


k

x1 , x2 , . . . , xn E tal que E =
i=1

Bo (xi , xi )

53

Sea x cualquier elemento en E . Existe un 1 i k tal que x Bo (xi , xi ). Luego


d(fn (x), fn (xi )) , n 0
n

(1)

Como fn (xi ) f (xi ), existe ni 0 tal que n ni , d(fn (xi ), f (xi )) Tomando no = mx {nj }, se tiene que n n0 a
ijk

d(fn (xj ), f (xj )) , 1 j k

(2)

Para n n0 ,
d(fn (x), f (x)) d(fn (x), fn (xi )) + d(fn (xi ), f (xi )) + d(f (xi ), f (x))
por (1) por (2) por (1)

Como esto es cierto para todo x E , se tiene que n n0 ,


sup d(fn (x), f (x))
xE (fn ,f )

= fn f (uniformemente).
n

Teorema 3.3.2. (Ascoli)

Supongamos que E es compacto. Sea M C(E, F ). Entonces M satisface las dos condiciones siguientes: 1. x E , Mx = {f (x) : f M } verica Mx es compacto. 2. M es equicontinuo M es un subconjunto compacto de C(E, F ) Sea E compacto, entonces M C(E, R o C) M es cerrado, acotado y equicontinuo.
Corolario:

3.3.2. Teorema de Stone-Weierstrass


Como aplicacin de este resultado se tiene que cualquier funcin en C([a, b], R) se puede aproximar por un polinomio.
Teorema 3.3.3. (de Stone-Weierstrass)

Sea E un e.m. compacto, y sea A C(E, R) un conjunto que satisface:


54

1. A es un lgebra. Es decir: R, f, g A = f A, f + g A, f g A 2. x E, f A tal que f (x) = 0 3. A separa puntos de E. Es decir, si x, y son dos puntos distintos en E, entonces f A tal que f (x) = f (y). Entonces A es denso en (C(E, R), ) (donde es la distancia de la convergencia uniforme.)
Denicin 3.3.4.

Sean f, g C(E, R). Entonces

sup(f, g) es la funcin h que verica h(x) = nf(f, g) es la funcin h que verica h(x) = f (x) si f (x) g(x) g(x) si g(x) < f (x) f (x) si f (x) g(x) g(x) si g(x) > f (x)

f + g |f g| f + g |f g| + y nf(f, g) = . 2 2 2 2 Adems si f,g son continuas = nf(f, g) y sup(f, g) son continuas. sup(f, g) =
Lema 3.3.2.

Sea E compacto y A C(E, R) con las propiedades siguientes:

1. f, g A, sup(f, g) e nf(f, g) estn en A. 2. x E , R, f A tal que f (x) = . 3. x, y E tal que x = y, y , R, f A tal que f (x) = y f (y) = . Entonces A es denso en (C(E, R), ).
Denicin 3.3.5.

Se dice (fn )n0 es montono si se tiene (1) (2).

(1) fn (x) fn+1 (x), x. (2) fn (x) fn1 (x), x.

55

Sea > 0. Para n 0 denimos Fn = {x E : |fn (x) f (x)| < } es cerrado, pues fn , f y | | son funciones continuas. Como (fn )n0 es montona Fn+1 Fn , n =
n0

Sea E compacto y (fn )n0 una sucesin de funciones en C(E, R) que converge puntualmente a una funcin continua f. Si (fn )n0 , entonces la convergencia es uniforme. Demostracin:

Teorema 3.3.4. (de Dini)

Fn = .

Como E es compacto, N0 > 0 tal que FN0 = .


= n N0 , Fn = . = n N0 , |fn (x) f (x)| ., x E = sup |fn (x) f (x)|
xE

= (fn , f ) = fn f (uniformemente).
n

Lema 3.3.3.

Existe una sucesin (un )n0 de polinomios que restringidos a [0, 1] convergen uniformemente a la funcin f (t) = t. Sea E compacto, A C(E, R) un lgebra y A su adherencia en C(E, R). Si f, g A, entonces sup(f, g) e nf(f, g) estn en A.

Lema 3.3.4.

56

CAPTULO 4

ESPACIOS VECTORIALES NORMADOS

4.1. Espacios vectoriales normados: Un ejemplo de espacios mtricos


Denicin 4.1.1.

funcin tal que 1.

Sea E un espacio vectorial sobre K = R o C. Una norma sobre E es una


:EK

x > 0, si x = 0 x = 0, si x = 0

2. x = || x , x E , K 3. x + y x + y , x, y E
Denicin 4.1.2.

de una norma . A veces se escribe (E, ) para decir que E es un e.v. con la norma (Un e.v. es un e.m.).
Proposicin 4.1.1.

Un

espacio vectorial normado (e.v.n.)

es un espacio vectorial dotado

Demostracin:
Ejemplo 4.1.

Un e.v.n. (E, ) es un espacio mtrico con la mtrica d(x, y) = x y .

Usando las propiedades de mtrica.

e.v.n.

1. E = Rn . (x1 , . . . , xn )

x2 + x2 (norma usual) = (Rn , 1 n

2)

57

2. (x1 , . . . , xn )

= mx |xi | es un e.v.n. a
i=1,...,n

3. E = {f : [0, 1] R | f continua} = C([0, 1], R). Con f


(C([0, 1], R), d) es un e.v.n.
Denicin 4.1.3. Nota:

= sup |f (x)|, entonces


x[0,1]

Un e.v.n. que es completo es un espacio Sean (E1 , 1 ), . . . , (En ,


n

de Banach.

E. fun. uniformemente continuas = E. fun. continuas = Banach = e.v.n. = e.m.


n)

Proposicin 4.1.2.

e.v.n. con n < , entonces E =


1/p p

Ei
i=1

es un e.v.n. con cualquiera de las normas


n

=
i=1

xi ,

= sup xi ,
1in

=
i=1

xi

Teorema 4.1.1.

Sobre un e.v. nito, todas las normas son equivalentes.

4.2. Aplicaciones continuas


Sean E y F dos e.v.
Denicin 4.2.1.

Una funcin L : E F se dice lineal si:

L(x + y) = L(x) + L(y), x, y E . L(x) = L(x), K, x E .

Si F es un e.v.n. de dimensin nita, entonces toda funcin lineal L : E F , donde F es cualquier e.v.n., es continua. Ms an, L es Lipschitz y, por lo tanto, uniformemente continua. Demostracin:
Teorema 4.2.1.

Sea E e.v.n. de dimensin nita. Sea {e1 , e2 , . . . , en } una base de E .


n

Para x E , existen nicos x1 , x2 , . . . , xn K tal que x = Tomemos en E la norma


x
E i=1 n

xi e i .

=
i=1

|xi |

58

Sea L : E F una funcin lineal, (F es un e.v.n. con la norma


L(x) L(y)
F

F ).

Sean x, y E

= =

L(x y)
n

F n i

L
i=1 n

x ei
i=1 n

y i ei
F n

=
i=1 n

xi L(ei )
i=1

y i L(ei )
F

=
i=1

(xi y i )L(ei )
F

i=1

|xi y i |L(ei )
F n F

1in

mx L(ei ) a
k

i=1

|xi y i | = k x y
dE (x,y) xy
E

= L es Lipschitz. = L es uniformemente continua.


Nota:

El teorema anterior no es cierto si E es de dimensin innita.

Ejemplo 4.2.

E = {P (x) = a0 + a1 x + + an xn : a0 , a1 , . . . , an R, n N} es un e.v. sobre R, de dimensin . L:E R P P (3)

es lineal. Sea Pn E denido por Pn (x) =


xn . Entonces (Pn )n0 es una sucesin en E . 2n 1

Sea P = 0, entonces d(P, Pn ) = P Pn = sup |Pn (x) P (x)| = sup |Pn (x)| = n 2 0x<1 0x<1 = Pn P , si n . Si L fuera continua, debera ocurrir que |L(Pn ) L(P )| 0.
n

L(Pn ) = L(P ) = 0 = L no es continua.

3 2

= |L(Pn ) L(P )| =

3 2

59

Proposicin 4.2.1.

Sean E y F e.v.n. sobre K = C o R, y sea f : E F una funcin lineal. Las siguientes armaciones son equivalentes 1. f es continua en un punto x0 E . 2. f es continua. 3. M 0 tal que x E , f (x) 4. f es uniformemente continua.
F

M x

Sabemos que 4. = 2. = 1.. Supongamos que f : E F es una funcin lineal continua en x0 E . Entonces dado > 0, > 0 tal que si x x0 E = f (x) f (x0 ) Sean x, y E .
f (x) f (x0 )
F

Demostracin:

= f (x y + x0 ) f (x0 )
z

Si tomamos
z x0 xy
E E

= f (z) f (x0 ) = f (x) f (y)

F F

= f es uniformemente continua y por lo tanto continua. Entonces hemos probado 1. = 2. y 1. = 4. = 1., 2., 4. son equivalentes. Por otro lado 3. = 4. pues si f satisface

3.

, entonces f es Lipschitz.

Falta probar que 1.,2. o 4. = 3. Probaremos 2. = 3. Supongamos que f es continua. En particular, es continua en 0 E . Luego, dado > 0, > 0 tal que
x0
E

= f (x) f (0)
E

= f (x) x = y x f x x x f (x)
F

F E

= = f (y) f (x) x
F

Sea x E , x = 0. Luego x = 0. Sea y =


f (y)
F

= =

=
F

60

= f (x)

x E Tomando M = / , se tiene f (x)


F

M x

E,

x E .

Denicin 4.2.2.

L(E, F ) el espacio de las funciones lineales continuas de E a F L(E, F ) = {L : E F : L lineal y continua}

es un e.v.n. sobre K.
Sobre L(E, F ) se dene la siguiente norma:
L =
Proposicin 4.2.2.

sup
xE, x=0

L(x) F x E

Sea L L(E, F ), entonces


= sup
xE, x=0

L(x) = sup L(x) = sup L(x) x xE, x 1 xE, x =1

= {M : M 0, x E, L(x) M x } nf

y x E , L(x)

L x

Denicin 4.2.3. Denicin 4.2.4.

Sea E e.v.n sobre K = C o R, entonces (K, | |) es un e.v.n Sea E e.v.n, entonces se dice dual
algebraico

de E al conjunto

E = {f : E K : f lineal}

Denicin 4.2.5.

Sea E e.v.n, entonces se dice dual

topolgico

de E al conjunto

L(E, K) = E = {f : E K : f lineal y continua}

Denicin 4.2.6.

1. A los f en E , se les llama formas

lineales.

2. A los f en E , se les llama formas


Nota:

lineales continuas.

E = L(E, K). Entonces E es un e.v.n. con la norma f = |f (x)|F x E xE, x=0 sup

61

Si dim(E) < , entonces E = E . En general E E

Sean E y F dos e.v.n. sobre K = C o R. Si F es completo, entonces f (x) F (L(E, F ), ) es completo f = sup .
Proposicin 4.2.3.
xE,x=0

Como (K, | |) es completo y E = L(E, K), entonces E es completo. Es decir, E es un espacio de Banach.
Nota:

Sean E y F dos e.v.n. sobre K = C o R. Si F es completo, entonces (L(E, F ), L(E,F ) ) es completo.


Proposicin 4.2.4.

Sean E,F y G tres e.v.n. Sean f L(E, F ) y g L(F, G), entonces g f est en L(E, G) y
Proposicin 4.2.5.

gf
Nota:

L(E,G)

L(F,G)

L(E,F )

Esto implica que g f es continua.

4.3. Series en un e.v.n.


Denicin 4.3.1.

La serie

de

Sea E un e.v.n. y (xn )n0 una sucesin en E. trmino xn es la sucesin de sumas


N

xn
n=0 N 0 N

Se dice que la serie de trmino xn converge, si se le anota como

xn
n=0 N 0

converge. En este caso, al lmite

xn .
N

n=0

Denicin 4.3.2.

Se dice que

xn
n=0 N 0

es

normalmente convergente
N

si la serie a

valores reales de trmino xn converge. Es decir, si gente. Demostracin:


Proposicin 4.3.1.

xn
n=0 N 0

converge.

En un espacio de Banach, toda serie normalmente convergente es conver-

Sea E un espacio de Banach.

62

Sea
n=0

xn
N 0

una serie normalmente convergente.


N

Como E es completo, basta ver que


n=0

xn
N 0

es de Cauchy.
xn <

xn < = > 0, n0 tal que


n=0 n=n0

Sean N > M > n0


N M

xn
n=0 N n=0

xn =
n=M +1

xn
n=M +1

xn
n=M +1

xn <

=
n=0

xn
N 0

es de Cauchy.
GL(E) = {f L(E, E) : f biyectiva y f 1 continua}

Denicin 4.3.3. Teorema 4.3.1.

Sea E un Banach

1. GL(E) es un abierto en L(E, E) 2. La funcin


g : GL(E) GL(E) f f 1

es biyectiva y continua.

4.4. Espacios de Hilbert


Denicin 4.4.1.

Se dice que una funcin f es antilineal si:

1. f (x + y) = f (x) + f (y), x, y E . 2. f (x) = f (x), x E, K.


Denicin 4.4.2.

Sea E un e.v. sobre K = C o R. Una funcin f : E E K, que satisface 1.


fx : E K

forma sesquilineal

sobre E es una

y f (x, y)

es antilineal x E
63

2.
fy : E K x f (x, y)

es lineal y E
Denicin 4.4.3.

Una forma

Hermitiana

es una forma sesquilineal con la propiedad

f (x, y) = f (y, x), x, y E

Nota:

Si f es una forma Hermitiana, entonces


f (x, x) = f (x, x) = f (x, x) R

Denicin 4.4.4.

denida

Una forma Hermitiana f sobre E es positiva si f (x, x) > 0 si x = 0.

positiva

si f (x, x) 0, x E . Es

f (0, 0) = 0 cuando f es sesquilineal. Luego una forma Hermitiana es denida positiva si es positiva y f (x, x) = 0 x = 0.
Nota: Denicin 4.4.5.

Un producto escalar en un e.v. E sobre K, es una funcin , : E E K, con , una forma Hermitiana denida positiva
f (x, y) = x, y

Denicin 4.4.6.

Un espacio Pre-Hilbert sobre K = C o R es un e.v. E sobre K equipado con un producto interno , : E E K. Veremos que a partir de , se puede denir una norma sobre E
x = x, x

Proposicin 4.4.1. (Desigualdad de Schwartz)

Sea E un espacio Pre-Hilbert con producto escalar , . Entonces x, y E se tiene


| x, y | x, x
1/2

y, y

1/2

Adems, la igualdad se alcanza si, y slo si, x e y no son linealmente independiente. Demostracin:
64

Si x = 0 la desigualdad se cumple. Ahora si x = 0 = x, x > 0. Sean , K


= 0 = x + y, x + y = x, x + y + y, x + y x, x + x, y + y, x + y, y

= x, x + x, y + y, x + x, y

Para = y, x , = x, x se obtiene
x, x ( + x, y + y, x + y, y ) = = = x, x (| y, x |2 y, x x, y | y, x |2 + x, x y, y ) x, x (| y, x |2 | y, x |2 | y, x |2 + x, x y, y ) x, x ( x, x y, y | y, x |2 ) 0

como x, x > 0
= x, x y, y | y, x |2 = | y, x | x, x 1/2 y, y
1/2

Supongamos ahora que x e y no son l.i. Luego, y = x


x, y = x, x = x, x y, y = x, x = x, x | x, y |2 = x, x ( x, x ) = x, x x, x = x, x x, x
y,y

= = | x, y | = y, y
1/2

y, y x, x

x, x

1/2

Corolario: (Desigualdad de Minkwoski)

Sea E un Pre-Hilbert con producto escalar , . Denimos x = Entonces x, y E se tiene


x+y x + y

x, x .

Demostracin:

65

x+y

= = = =

x + y, x + y = x, x + y, x + x, y + y, y x, x + x, x + x, y + y, y x, x + 2Re( x, y ) + y, y x x x
2 2 2 2

+ 2Re( x, y ) + y + 2| x, y | + y +2 x y + y
2 2

(P or Schwartz)

= ( x + y )2 = x + y x + y
Teorema 4.4.1.

Sea E un Pre-Hilbert con producto escalar , : E E K. La funcin


E R x x = x, x

es una norma. A se le llama norma asociada al producto escalar. Adems E con es un e.v.n. Un espacio de Hilbert es un e.v.n. con la norma asociada al producto escalar que es completo. Es decir, es un espacio de Banach con una norma que proviene de un producto escalar.
Denicin 4.4.7. Proposicin 4.4.2.

Sea E un espacio Pre-Hilbert sobre K = C o R

1.

(Frmula del paralelgramo)

x, y E x+y
2

+ xy

= 2( x

+ y 2)

2.

(Producto escalar a partir de la norma)

x, y E 1 x, y = ( x + y 4
2

xy

+ i x + iy

i x iy 2 )

Teorema 4.4.2. (Proyeccin en un Hilbert)

Sea E un Hilbert. Sea A E cerrado, conexo y no vaco. Entonces x E , ! PA (x) A tal que
d(x, A) = d(x, PA (x)) PA (x) es la proyeccin de x sobre A.

66

Proposicin 4.4.3.

entonces

Sean E un Hilbert y A E un cerrado, conexo y no vaco. Sea y A,


Re( z y, x y ) 0, z A y = PA (x)

Denicin 4.4.8.

Se dice que x, y E son ortogonales si x, y = 0.

Si A E , el ortogonal de A es el conjunto A = {x E : x, y = 0, y A}.


Nota:

A es un subespacio vectorial de E . A es cerrado. En efecto si (xn )n0 es una sucesin de elementos de A que converge a x E , entonces si y A. = x, y = = x xn + xn , y x xn , y + x n , y = x xn , y
=0

= | x, y | = | x xn , y | = | x, y | = 0 = x, y = 0 = x A .
Teorema 4.4.3.

x xn

y 0
n

Sea E un Hilbert y A E un subespacio vectorial cerrado:

1. Sea x E . Sea y A, entonces


x y, z = 0, z A y = PA (x)

Es decir, y = PA (x) x y A Se dice que PA (x) es la proyeccin ortogonal de x sobre A. 2. La funcin


PA (x) : E A x PA (x)

es lineal y continua. Adems, Ker(PA ) = A , y si A = {0}, entonces PA = 1.


67

3. Todo x E se escribe de manera nica como x = x1 + x2 , con x1 A y x2 A . Se dice que E es suma directa topolgica se sus dos subespacios vectoriales cerrados A y A .
Nota:

Sean E un Hilbert y A E

A (A )

Si A es un subespacio vectorial cerrado, A = (A )

4.4.1. Dual de un espacio de Hilbert


Sea E un Hilbert. Si a E la funcin
fa : E K x x, a x .

es lineal. Adems es continua pues |fa (x)| = | x, a | a


aK

Veremos que todos los elementos del dual E = {f : E K : f lineal y continua} son de la forma fa , para algn a E .
Teorema 4.4.4. (de la representacin de Riesz)

Sea E un Hilbert. Entonces f E , ! a E tal que f = fa . Adems


:E E a fa

es antilineal, continua y biyectiva, con fa

= a

4.4.2. Conjuntos ortogonales


Sea E un Pre-Hilbert con producto escalar , . Una familia (ai )iI es un conjunto ortogonal si ai , aj = 0, i, j, i = j y ai = 0, i I. Se dice que (ai )iI es un conjunto ortogonal si es un conjunto ortogonal tal que ai = 1, i I.
Denicin 4.4.9. Nota:

Si (ai )iI es un conjunto ortogonal, entonces

ai ai

es un conjunto ortogonal.
iI

Si (ai )iI es un conjunto ortogonal, entonces (ai )iI es l.i. 68

Parte II

Espacios topolgicos

69

CAPTULO 5

ESPACIOS TOPOLGICOS Y FUNCIONES CONTINUAS

5.1. Espacios topolgicos


Sea X conjunto no vaco. Una topologa sobre X es una familia I P(X) (P(X) = {A : A X}) que satisface:
Denicin 5.1.1.

1. Uniones arbitrarias de elementos de I estn en I. U I Ej: {U }J I =


J

2. Intersecciones nitas de elementos de I estn en I.


Ej:
n

U1 , U2 , . . . , Un I =
i=1

Ui I

3. , X estn en I.
Denicin 5.1.2.

X , se llama espacio topolgico

Un par (X, I) donde X es un conjunto no vaco y I es una topologa sobre

Sea (X, I) e.t.. Entonces los elementos de X los llamaremos puntos, los elementos de I los llamaremos conjuntos abiertos, dado x X , se llama vecindad de x a cualquier conjunto V abierto que contiene a x.
Notacin:

V(x) = {V I : x V }.

70

Ejemplo 5.1.

Sea X conjunto no vaco.


indiscreta. discreta.

1. II = {, X}. Entonces I es una topologa sobre X . Se llama topologa

2. ID = P(X) = {A : A X} es una topologa sobre X y se llama topologa 3. If = {A X : X A es un conjunto nito} {} es una topologa. 4. IW = {A X : X A es numerable} {} es topologa.
Denicin 5.1.3.

na

que I2 si I2 I1 .

Sea X un conjunto y I1 , I2 topologas sobre X. Entonces I1 se dice

ms

5.2. Bases para una topologa


Sea (X, I) e.t. Una familia B I es llamada una base (para I) si todo conjunto abierto (es decir, cualquier elemento de I) es unin de elementos de B.
Denicin 5.2.1. Teorema 5.2.1.

Sea (X, I) e.t. y B I son equivalentes

(i) B es base para I. (ii) Para cada G I y x G U B tal que x U G.

Demostracin:

Por demostrar (i) = (ii). Sea G I y x G, pero G I = G = A con A B, J . Adems como x G existe 0 J tal que x A0 . Luego x A0 G y A0 B. Por demostrar que (ii) = (i). Sea G I. Para cada x G, Ux B tal que x Ux G, entonces G =
xG J

Ux y cada Ux B .

Sea (X, I) e.t. y B base para I, entonces A es abierto x A U B tal que x U A.


Teorema 5.2.2.

71

Demostracin:

= Consecuencia de la equivalencia (ii). = Consecuencia de (ii) = (i).

Sea X conjunto y = , P(X). Problema:


(i) Encontrar la topologa I menos na (ms pequea) que se puede denir sobre X tal que I . (ii) Caracterizar I .

Solucin.
(i) Sea T = {I : I es topologa sobre X y I} por lo tanto T = ya que P(X) T y luego I =
IT

(ii) Sea I la siguiente topologa sobre X : I = {, X, intersecciones nitas de elementos de y las uniones arbitrarias de estas intersecciones nitas}

Se puede demostrar que I es una topologa y que I = I .


Denicin 5.2.2.

Sea (X, I) e.t. y I, entonces se dice una sub-base de I si I = I.

Nota:

para I.

Si es sub-base de I la familia de intersecciones nitas de elementos de es base

Sea B = {U : M} familia cualquiera de subconjuntos de X que verica que para cada (, ) M M y cada x U U tal que M tal que x U U U , entonces
Teorema 5.2.3.

(i) IB consiste de , X y todas las uniones de elementos de B . (ii) B {} {X} es una base para IB (iii) IB es la topologa ms pequea que contiene a B .

72

5.3. Topologa del orden


Sea X conjunto. Una relacin < sobre X se dice un orden
(i) x < y x = y (ii) x < y y < z x = z (iii) x < y x = y y = x
sobre

X si:

Si ]a, b[= {x X : a < x < b} intervalo abierto. Entonces si a < b y ]a, b[= decimos que a : predecesor inmediato de b. b : antecesor inmediato de a.
Denicin 5.3.1. Ejemplo 5.2.

1. X = R, <= relacin menor habitual.


y , si x2 < y 2 (x2 = y 2 y x < y), entonces

2. X = R, x

es una relacin de orden.

3. Sean X, Y conjuntos. Sean <X relacin de orden sobre X y <Y relacin de orden sobre Y. Sobre X Y dene la relacin
(a, b) < (c, d) a < c (a = c y b < d)

Entonces < es una relacin de orden sobre X Y llamado Orden


Denicin 5.3.2.

de diccionario

Sea X conjunto y < orden sobre X. Sea A X decimos que b X es el mximo (resp. mnimo) de A si b A y si x b (resp. b x) x A.
A X se dice acotado por abajo (resp. por arriba) si b X tal que b x (resp. x b) x A. Tales b se llamarn cota inferior (resp. superior) de A.
Denicin 5.3.3.

sup A = m n{b X : b es cota sup. de A} A = sup{b X : b es cota inf. de A} nf

Dado a, b X, a < b
]a, b[= {x X : a < x < b} ]a, b] = {x X : a < x b}

73

[a, b[= {x X : a x < b} [a, b] = {x X : a x b}

Sea B< la coleccin de todos los subconjuntos de X del siguiente tipo: 1. Todos los intervalos abiertos ]a, b[. 2. Todos los intervalos de la forma [a0 , b[ donde a0 es el mnimo (si lo hay) de X . 3. Todos los intervalos de la forma ]a, b0 [ donde b0 es el mximo (si lo hay) de X .
Armacin 5.1.

Sea A, B B< y x A B , entonces C B< tal que x C A B .


del orden

Entonces B< es una base para un topologa I< : Topologa


Denicin 5.3.4.

sobre X .

Sea (X, I) e.t. e Y X entonces IY = {Y U : U I} es una topologa sobre Y y (Y, IY ) se llama un subespacio topolgico de (X, I).
Lema 5.3.1.

Si B es una base para una topologa I sobre X e Y X decimos que

U es un abierto en Y si U IY U es un abierto en X si U I Sea Y subespacio de X . Entonces si U es abierto en Y e Y es abierto en X , se tiene que U es abierto.
Lema 5.3.2. Denicin 5.3.5. Teorema 5.3.1.

Sea (X, I) e.t., entonces F X se dice cerrado si X F I

Sea Y subespacio de (X, I) e.t.. Entonces

a) A es cerrado en Y A = Y F con F cerrado en X b) A es cerrado en Y y Y cerrado en X A es cerrado en X

Demostracin:

74

a) A es cerrado en Y Y A es abierto en Y Y A = V Y con V abierto en X A = Y (V Y ) = Y (X V ) A = Y F con F cerrado en X

si x Y (V Y )
= x Y (x V x Y ) / / = x Y x V / = x Y x X V b) A = F Y con F cerrado en X e Y es cerrado en X . = A es cerrado en X .
Denicin 5.3.6.

Sea (X, I) e.t. y A X . Entonces se dene

1. 2.

Interior

de A = A = {U I : U A}

adherencia o Clausura

de A = A = {F I : F cerrado y A F }

3. x A : x se dice punto interior de A x A: x se dice punto adherente de A.

Sea Y subespacio de (X, I) e.t. y A Y . Si A denota la adherencia de A en X entonces A Y es la adherencia de A en Y. Demostracin:


Teorema 5.3.2.

La adherencia de A en Y =
=

{F : F es cerrado en Y y A F } {H Y : H es cerrado en X y A H}

= Y {H : H es cerrado en X y A H} = Y A
Teorema 5.3.3.

Sea A X , (X, I) e.t. y B base para I.

a) x A V A = V I tal que x V b) x A B A = B B tal que x B

Demostracin:
75

a) = Sea x A y V I tal que x V . Adems sabemos que A = {F : F cerrado y A F }. Supongamos que V A = = F = X V es cerrado y A F = F est en {F : F cerrado y A F } = x F = X V ==, pues x V = V A = . = V I tal que x V se tiene V A = . Por demostrar que x A.

Supongamos que x A = existe F cerrado en X tal que A F y x F / / = V = X F I, V A = y x V ==, pues V A = , V abierto.


b) = Inmediato. = B B tal que x B se tiene que B A = . Sea V I tal que x V = V = Bi con Bi B , i I y existe i0 I tal que x Bi0
iI

= Bi0 A = = V A = , pues Bi0 V = x A, por a).


Ejemplo 5.3.

1. (R, I )

A =]0, 1] = A = [0, 1] y A =]0, 1[. B = {1/n : n N} = B = {0} B y B = . C = {0} ]1, 2[= C = {0} [1, 2], C =]1, 2[. Q=RyQ= I = R Q = I = R y = . I N = N y = . N

2. Y =]0, 1] como subespacio de (R, I|| ). Si A =]0, 1/2[


A = adherencia de A en R = [0, 1/2]. AY = adherencia de A en Y = [0, 1/2] ]0, 1[=]0, 1/2].

3. (X, II ), donde II = {X, } (top. indiscreta).


A X = A= ; si A = X si A = .

76

A=

; si A X si A = .

4. (X, ID ), donde ID = P(X) (top. discreta).


A X = A=A A=A

5. (R2 , I< ), donde <: diccionario.


Denicin 5.3.7.

A =](1, 2), (3, 1)] = A =](1, 2), (3, 1)[ y A = [(1, 2), (3, 1)].

lacin

o punto

Sea (X, I) e.t. A X, x X . Entonces x se dice un lmite de A si


V (A {x}) = , V I tq x V
derivado.

punto de acumu-

donde A = {x X : x el punto lmite de A} conjunto


Nota:

1. x A x A {x} 2. A = A A 3. Son equivalentes i. A es cerrado ii. A = A iii. A A

Demostracin:
1.

2. Tenemos que A A. Sea x A y V V(x). = = V A {x} V A, pues A {x} A. = x A. A A A. Sea x A tal que x A, por demostrar x A . / Sea V V(x) cualquiera, entonces V (A {x}) = V A = = x A . A A A = A A = A.

77

3. Sabemos i. = ii. Por demostrar ii. = iii. Tenemos A = A = A A = A = A A. Por demostrar iii. = i..

Tenemos que

A A = A A A = A A = A = A = A es cerrado.
Ejemplo 5.4.

Consideremos (R, I|| )

A =]0, 1] = A = A = [0, 1]. B = {1/n : n N} = B = B {0} y B = {0}. C = {0} ]1, 2[= C = [1, 2]. Q = R, Z = y (R Q) = R.
Nota:

No podemos asegurar que A A, pero si que A A.

Denicin 5.3.8.

Un e.t. (X, I) se dice Hausdor

(o T2 )

si

x, y X, x = y, V1 V(x) y V2 V(y) tal que V1 V2 =

Propiedades:

1. Sea (X, I) e.t. Hausdor

a ) F X ; F nito F cerrado. b ) A X ; x A V A contiene innitos puntos V V(x)


2. Sea (X, I< ), < es un orden total sobre X . Entonces (X, I< ) es Hausdor. 3. Sea (X1 , I1 ) y (X2 , I2 ) e.t. Hausdor (X1 X2 , Ip ) es Hausdor. (Ip : top. producto) 4. (X, I) e.t. Hausdor y Y X Y es Hausdor, como subespacio de X .

78

Sean (X, IX ), (Y, IY ) e.t. Una funcin f : X Y se dice tiva a la top. IX sobre X y IY sobre Y ) si
Denicin 5.3.9.

continua

(rela-

f 1 (V ) IX

V IY

Nota:

Sean (X, IX ), (Y, IY ) e.t., f : X Y


B BY

1. Si BY es base de IY entonces f es continua f 1 (B) IX

2. Si Y es sub-base de IY entonces f es continua f 1 (U ) IX U Y


Teorema 5.3.4.

Sea (X, IX ), (Y, IY ) e.t. y f : X Y . Entonces son equivalentes:

1. f es continua. 2. A X se tiene f (A) f (A). 3. F Y cerrado en Y, f 1 (F ) es cerrado en X .

Por demostrar 1. = 2. Sea A X e y f (A), por demostrar y f (A) y f (A) = x A tal que y = f (x). Sea V VY (y) por demostrar V f (A) = . Supongamos V f (A) = = V Y f (A) = f 1 (V ) f 1 (Y f (A)) X A, pero f 1 (V ) IX y x f 1 (V ) (ya que y = f (x) V ) = f 1 (V ) VX (x) y f 1 (V ) A = ==, pues x A.
= V f (A) = = y f (A) f (A) f (A).

Demostracin:

Por demostrar 2. = 3. Sea F Y cerrado en Y . Sea A = f 1 (F ) X = f (f 1 (F )) f (f 1 (F )) Tenemos que f (f 1 (F )) F


= f 1 (F ) f 1 (f (f 1 (F ))) f 1 (F )

f (f 1 (F ))F

F = F , pues F cerrado.

79

= f 1 (F ) = f 1 (F ) = f 1 (F ) cerrado.

Por demostrar 3. = 1. Sea U IY , por demostrar f 1 (U ) IX , pero U IY = Y U cerrado = f 1 (Y U ) = X f 1 (U ) cerrado. = f 1 (U ) abierto.


= f 1 (U ) IX
Denicin 5.3.10.

Sean (X1 , I1 ), (X2 , I2 ) e.t. y f : X Y biyectiva. Entonces si f y : Y X son continuas, se dice que f es un homeomorsmo

Teorema 5.3.5.

(Regla de construccin de funciones continuas). Sean (X, IX ), (Y, IY ), (Z, IZ ) e.t. 1. Si f : X Y es constante = f es continua. 2. A X . Entonces i : A X , i(x) = x es continua, si A se considera como subespacio de X. 3. f : X Y, g : Y Z continuas = g f : X Z continua. 4. (Restriccin del dominio) f : X Y continua. A X subespacio de X = f |A : A Y dada por (f |A )(x) = f (x) es continua. 5. (Restriccin del rango) f : X Y continua. Z Y subespacio de Y tal que f (x) Z = g : X Z dada por g(x) = f (x) es continua. 6. (Expansin del rango) f : X Y continua Y Z subespacio de Z = h : X Z denida por h(x) = f (x) es continua. 7. Si X es union de conjuntos abiertos U tal que f |U es continua = f : X Y es continua. 8. f : X Y continua para cada x X cada V VY (f (x)), existe U VX (x) tal que
f (U ) V.

80

Sea X = AB donde A y B son cerrados de X . Sean f : A Y y g : B Y continuas, con A y B considerados como subespacio de X . Si f (x) = g(x) x AB , entonces h : X Y denida por: f (x) si x A, h(x) = g(x) si x B. es continua.
Teorema 5.3.6. Ejemplo 5.5.

f :RR f (x) =

4x + 2 si x 0 2 + xex si x 0

A =] , 0] y B = [0, +[.
Teorema 5.3.7.

(X, I), (Y1 , I1 ) y (Y2 , I2 ) e.t. y f : X Y1 Y2 def. por f (x) = (f1 (x), f2 (x)). Considere Y1 Y2 con la topologa producto (B = {U1 U2 : U1 I1 , U2 I2 } es base de esta

topologa). Entonces

f es continua f1 : X Y1 y f2 : X Y2 son continuas.

= Sean p1 : Y1 Y2 Y1 denida por p1 (y1 , y2 ) = y1 y p2 : Y1 Y2 Y2 denida por p2 (y1 , y2 ) = y2 . Entonces si Ui Ii , i = 1, 2. p1 (Ui ) = {(y1 , y2 ) : yi Ui } = i U1 Y2 si i = 1 Y1 U2 si i = 2

Demostracin:

= p1 , p2 son continuas. Luego f1 = p1 f y f2 = p2 f si f es continua, f1 , f2 son continuas. = Supongamos f1 : X Y1 y f2 : X Y2 son continuas. Por demostrar f : X Y1 Y2 es continua. f 1 (U1 Y2 ) I, U1 I1 f 1 (Y1 U2 ) I, U2 I2
1 pero f 1 (U1 Y2 ) = {x X : f (x) = (f1 (x), f2 (x)) U1 Y2 } = {x X : f1 (x) U1 } = f1 (U1 ) I ya que f1 es continua y U1 I1 . Anlogamente f 1 (Y1 U2 ) I.

81

5.4. Topologa producto


Sea {(X , I )}J familia indexada de e.t. Sea X =
J

X = {(x )J : x X }.

Sea Bc =
J

U : U I J

. X .
J

Armacin 5.2.

Bc es una base para una topologa sobre X =

Denicin 5.4.1.

La nica topologa Ic generada por Bc sobre X =


J

X se llama topologa

caja.
Ejemplo 5.6.

Sea (R, I|| ), donde I|| topologa usual de R.

Sea Rw =

Xi , donde Xi = R, i N. Los elementos de Rw son las sucesiones (xn )nN tal

que xn R, n. Considere sobre R la topologa caja: Ic . Entonces R =


w w 1 1 ] n , n [ Ic .

i=1

i=1

Consideremos f : R Rw denida por f (t) = (t, t, . . . , t, . . .). Sea f


1 i=1

1 1 , [ n n

= A, entonces 0 A ya que f (0) = (0, . . . , 0, . . .) A.

1 1 n, n i=1

Armacin 5.3.

> 0 el intervalo ] , [
1 1 n, n

= f 1 2 = f 2 =

i=1

,..., ,... 2 2

i=1

1 1 n, n

1 1 = n , n , n N n 1 = 0 < < , n N == (propiedad de Arqumedes) 2 n

1 i=1

1 1 n, n

no es abierto en R
X .
J

f no es continua.

Problema: Sea (X , I )J familia de e.t. Considere X = Toda funcin f : Z


J

X = X se escribe f (z) = (f (z))J donde f : Z X .

82

Queremos denir una topologa Ip sobre


J

X de modo que J.

f :Z
J

X es continua f : Z X es continua

Nota:

Si X = R, N entonces la topologa caja no sirve. Si J es nito, la topologa caja sirve.


Armacin 5.4.

El conjunto
= p1 (U0 ) : 0 J, U0 I0 0

es una sub-base para una topologa sobre


J

X . Tal topologa se llama topologa producto.

Base para la topologa producto:


Bp =
J

A : {1 , . . . , n } J tales que A I y A = X , {1 , . . . , n } /

Nota:

En R =
w i=1

R con la topologa producto el conjunto A =


i=1

Ii donde Ii =]ai , bi [, ai < bi

no es abierto. (si fuera abierto entonces (pi )iI A, U Bp tal que x U A)


Ic es ms na que Ip , es decir, Ip Ic . La igualdad se cumple si J es nito.
Teorema 5.4.1.

Para cada J ,
P :
J

X , Ip

(X , I )

dada por p (x )J = x es continua.


Teorema 5.4.2.

Considere
J

X con la topologa producto o la topologa caja. Entonces p :


J

J,

X X

83

denida por p ((x )J ) = x es continua. Demostracin:


Para J , p :
J

X X denida por p ((x )J ) = x . A con


J

Entonces si U I , p1 (U ) =

A = = p1 (U ) es un abierto. = p es continua.
Teorema 5.4.3.

U ;Si = X ; =

Considere
J

X , Ip

y (Y, IY ) e.t. Entonces

f :Y
J

X es continua J, f = p f : Y X es continua

Demostracin:

= f es continua = f = p f es continua. = Considere un elemento cualquiera de la subbase p =


J

A : A I , J y 0 J tal que A = X , = 0 A0 =
J

Notacin: Dados 0 J y A0 I0 ,

U tal que

U =

X A0

; J {0 } ; Si = 0

siguiendo con la demostracin, tenemos que A0 = p1 (A0 ) 0 Basta demostrar que f 1 ( A0 ) IY , A0 I0 , 0 J . 1 Pero f 1 ( A0 ) = f 1 (p1 (A0 )) = (p0 f )1 (A0 ) = f0 (A0 ) IY . 0
Teorema 5.4.4.

Sea (X , I )J e.t. Hausdor. Entonces


J

X , Ip

es Hausdor.

Demostracin:

Sean (x )J ,(y )J
J

X tal que (x )J = (y )J

84

= J tal que x = y . Entonces x e y son puntos distintos del e.t. Hausdor X , y por lo tanto, U , V I tal que U V = y x U , y V .

Considere los abiertos U , V de Ip . Por lo tanto, (x )J U y (y )J V . Sea (z )J U V = z U y z V == ya que U V = .


= U V = =
J

X , Ip

es Hausdor.
X , Ic

Corolario:
J

es Hausdor.

Si (X , I )J familia de e.t. Para cada J , consideramos A X , entonces X . A


J J

Si A se considera como subespacio de X , es decir, consideramos sobre A la topologa IA = {U A : U I }, entonces (A , IA )J es otra familia de e.t. Entonces a podemos ponerle la topologa caja o la topologa producto.
Teorema 5.4.5.
J

Si A subespacio de X para todo J , entonces


J

A , Ip

es subespacio

de
J

X , Ip
A . Entonces U0 = V0 A0 con V0 I0 y
J

Demostracin:
luego U0

Sea 0 J y U0 I0 y consideremos U0 en
A

= V 0

A .

Para = 0 , V0 Para = 0 , V0

A = X A = A , ya que A X . A = U0 .
J

Luego 0 , 1 , . . . , n tal que U0 IA0 , U1 IA1 , . . . , Un IAn . Entonces


U0
A

U1

Un

= V0

V1

V n

85

donde Vi Ii y Ui = Vi Ai , i = 1, 2, . . . , n. A es un abierto de Ip de Pero V0 X V1 X Vn X


J J

X
J

Hacemos lo mismo para la unin que tambin es cumplen con la denicin de topologa.

5.5. Topologas mtricas


Denicin 5.5.1.
1. 2. 3. Una

distancia sobre un conjunto X

es una funcin

d:X X R

que verica

d(x, y) 0 x, y X; d(x, y) = 0 x = y d(x, y = d(y, x)) d(x, y) d(x, z) + d(z, y)

Si (X, d) e.m. Dados , > 0 y x X Bd (x, ) = {y X : d(x, y) < }. Entonces


z Bd (x, ) Bd (y, )

se tiene que
Bd (x, ) Bd (x, ) Bd (x, )

entonces {Bd (x, ) : x X, > 0} es una base para una nica topologa Id sobre X .
Id : Topologa inducida por d

Problema: Sea (X, I) e.t. Bajo qu condiciones existe d : X X R distancia tal que I = Id ? (Cundo un e.t. es metrizable?).

Teorema 5.5.1. Demostracin:

Sean

(X, d)

e.m. y

(X, Id )

e.t. correspondiente. Entonces

(X, Id )

es Hausdor.

Sean x, y X con x = y . Entonces r = d(x, y) > 0 y luego Bd (x, r/3) Bd (y, r/3) =
= (X, Id ) es Hausdor.
Id Id

Nota:
Todos los espacios con una mtrica son Hausdor. Todos los espacios Hausdor son metrizables. no es metrizable.

Ejercicio: Sea X conjunto innito y dene I = {A X : X A es nito}{}, entonces el e.t. (X, I)

86

Solucin. Sean x, y X , con x = y.

Suponga que U, V I, U V = tal que x U e y V . Luego X U y X V es nito = (X U ) (X V ) es nito, pero


X = X = X (U V ) = (X U ) (X V ) es nito == (X, I) no es Hausdor. = (X, I) no es metrizable.

Lema 5.5.1.
ms na que

Sea

d1 , d2

distancias sobre

= Tenemos Id1 Id2 . Sea x X y > 0. Pero Bd1 (x, ) Id1 = Bd2 (x, ) Id2 = > 0 tal que Bd2 (x, ) Bd1 (x, ), ya que Bd2 = {Bd2 (y, r) : y X, r > 0} es bade para Id2 . = Sea U Id1 , por demostrar que U Id2 . Sea x U Id1 , > 0 tal que Bd1 (x, ) U . Por hiptesis asociado a x y a > 0, > 0 tal que Bd2 (x, ) Bd1 (x, ) U = U Id2 .

Demostracin:

Id1

(es decir,

Id1 Id2 )

X y Id1 , Id2 las correspondientes topologas. Entonces Id2 > 0 , > 0 tal que Bd2 (x, ) Bd1 (x, ), x X.

es

Teorema 5.5.2.
una distancia

E e.v. sobre R de dimensin nita dada una norma sobre E , d(x, y) = x y y por lo tanto una topologa mtrica sobre E .
Sea con la topologa usual es metrizable.

podemos denir

Corolario: Rw

Nota: Todas las topologas mtricas sobre E , que vienen de una norma, son iguales. Denicin 5.5.2.
y = (y )J
Sea

conjunto de ndices

RJ =
jJ

Xj

donde

Xj = R j J .

Dado

x = (x )J ,

elementos de

RJ ,

denimos

(x, y) = sup {m {(x y )} , 1} n


J

Armacin 5.5. Denicin 5.5.3. Teorema 5.5.3.


si

es una distancia sobre

RJ .
sobre

La topologa inducida por

RJ

es llamada

topologa uniforme (Iu ).

La topologa uniforme sobre

RJ

es ms na que la topologa producto y son diferentes

es innito. (Ip

Iu Ic )

87

Denicin 5.5.4.
todo vecindad

(X, I) e.t.. Una sucesin (xn )nN X se dice U UI (x) de x existe N N tal que xn U n N
Sea

que

converge a

xX

si para

Lema 5.5.2. (Lema de la sucesin)


Sea

(X, I) e.t.

AX

tal que

xn x,

entonces

x A.

El recproco es verdadero si

(X, I)

es metriz-

able.

Demostracin:

= Sea (xn )nN A tal que xn x. Por demostrar que x A. Sea U VI (x). Como xn x, n0 N tal que xn U, n n0 . = U A = = x A. = Supongamos ahora que (X, I) es metrizable, por demostrar que x A = existe una sucesin (xn )nN A tal que xn x. Sea d mtrica sobre X tal que Id = I Para cada n N tenemos 1 A= B x, n

Elegimos xn B(x, 1/n) A = (xn )nN A.

Armacin 5.6.

xn x

Sea U VI (x). Entonces n0 N tal que x B(x, 1/n0 ) U Luego xn0 U y para n n0
d(xn , x) < = n n0 , xn B(x, 1/n0 ) = n n0 , n U . = xn x. 1 1 n n0

Teorema 5.5.4.
continua

Demostracin:

(X, IX ), (Y, IY ) e.t. con (X, IX ) metrizable y sea f : X Y entonces f sucesin convergente xn x en (X, IX ) se tiene f (xn ) f (x) en (Y, IY ).
Sean

es

= Sea xn x en (X, IX ). Por demostrar que f (xn ) f (x) en (Y, IY ).

Sea V VIY (f (x)), entonces como f es continua, f 1 (V ) VIX (x) Entonces xn x = n0 N tal que xn f 1 (V ), n n0
= f (xn ) V, n n0 = f (xn ) f (x)

88

= Sea A X . Por demostrar f (A) f (A).

Sea y f (A) = y = f (x) con x A. Por lema de la sucesin, como (X, I) es metrizable, existe una sucesin (xn )nN A tal que xn x. Entonces (f (xn ))nN f (A) y f (xn ) f (x)
= y = f (x) f (A) = f (A) f (A) = f es continua.

Teorema 5.5.5.

Sea

(X, I) e.t.

f, g : X R
es continua.

continuas con

con la topologa usual. Entonces

f + g, f g, f x son continuas. Si g(x) = 0, x X entonces f /g

Denicin 5.5.5. Sea fn : X Y sucesin de funciones decimos que (fn )nN converge uniformemente a f : X Y , si > 0, N N tal que d(fn (x), f (x)) , n N x X . Teorema 5.5.6.
Si Sea

(fn )nN

converge

(Y, d) e.m. y (fn )nN sucesin de funciones uniformemente a f : X Y , entonces f es continua.


y

(X, I) e.t.

continuas

fn : X Y .

5.6. Topologa cociente


Denicin 5.6.1.
aplicacin Sean

se dice una

aplicacin cociente si

(X, IX ), (Y, IY )

e.t. y

p : X Y

epiyectiva (es decir,

p(X) = Y ).

La

U IY p1 (U ) IX

Nota: p es cociente si y slo si


A Y cerrado p1 (A) es cerrado en X

Denicin 5.6.2.

CX

se dice

saturado con respecto a p : X Y

epiyectiva si

C p1 ({y}) = = p1 ({y}) C

Nota: p : X Y epiyectiva.
a0 ) X es saturado. a) C X es saturado p1 (p(C)) = C = Sabemos C p1 (p(C)). Sea x p1 (p(C)) = y = p(x) p(C) = y = p(x) = p(z), z C = z p1 ({y}) C = p1 ({y}) C =

Demostracin:

89

saturado

= p1 ({y}) C = x p1 ({y}) C p1 (p(C)) C p1 (p(C)) = C

= Supongamos C p1 ({y}) = = z C p1 ({y}) Por demostrar que p1 ({y}) C . Sea x p1 ({y}) = p(x) = y = p(z). hip. = x p1 (p(C)) = C p1 ({y}) C . b) p es aplicacin cociente p es continua y p lleva conjuntos abiertos saturados de X en conjuntos abiertos de Y . = Como p es aplicacin cociente, es continua. Sea U X abierto y saturado. = p1 (p(U )) = U es abierto en X . def. cuoc. = p(U ) es abierto en Y . = Sea U IY = p1 (U ) IX . Supongamos ahora p1 (U ) IX . Por demostrar que U IY Si V = p1 (U ), entonces p1 (p(V )) = p1 (p(p1 (U ))), (ya que p es epiyectiva)
=U p cont. a)

Demostracin:

= p

(U ) = V.

= V es abierto y saturado. = p(V ) IY , pero p(V ) = p(p1 (U )) = U IY p es una aplicacin cociente. c) p es aplicacin cociente p es continua y p lleva conjuntos cerrados saturados de X en conjuntos cerrados de Y . d) p continua y abierta (resp. cerrado) = p es aplicacin cociente.

Sea (X, I) e.t. A conjunto y p : X A epiyectiva


Y = U A : p1 (U ) I

entonces
a) Y es una topologa sobre A

90

b) p : (X, I) (A, Y) es aplicacin cociente. c) Y es la nica topologa que se puede denir sobre A de modo que p : X A sea aplicacin

cociente. (ver def. de aplicacin cociente)


Sea

Denicin 5.6.3.

(X, I) e.t. A

conjunto y

p:XA

epiyectiva. Entonces

Y = U A : p1 (U ) I
es llamada la

topologa cociente inducida por


1.

Ejemplo 5.7.

(X, IX ), (Y, IY ) e.t. Sea (X Y, Ip ) e.t. Entonces, p1 : X Y X denido por p1 (x, y) = x es continua y epiyectiva. Adems, si U V es abierto bsico de X Y , entonces p1 (U V ) = U IX . Luego, p1 es abierta p1 es aplicacin cociente.

Nota: En general, p1

no es cerrada. de

p1 : R R R, F = {(x, y) : xy = 1} cerrado = p1 (F ) = R {0} no es cerrado de R.


2.

RR

(topologa usual).

X = [0, 1] [2, 3], Y = [0, 2].

Subespacios de

con la topologa usual.

p : X Y x p p(x) = x x1
; si ; si

x [0, 1] x [2, 3]

es epiyectiva, continua y cerrada (= aplicacin cociente.).

Sin embargo,

no es abierta.

([0, 1]
3.

es abierto en

p([0, 1]) = [0, 1]

no es abierto en

Y)

p : R A = {0, 1, 2} 0 x p(x) = 1 2 p es epiyectiva. 1 Si Y = U A : p (U ) es abierto de R = Y = {, {0, 1, 2} , {0} , {1} , {0, 1}} topologa p1 ({0}) =]0, [ p1 ({1}) =] , 0[ p1 ({2}) = {0} no es

; si

x>0

; si x<0 ; si x=0

cociente inducida por

p.

abierto en

R.

91

Denicin 5.6.4.

(X, I) e.t. y sea X una particin de X . Sea p : X X la aplicacin que lleva cada x X en el elemento de X que contiene a x. Entonces p es epiyectiva y el espacio topolgico (X , Y), donde Y es la topologa cociente inducida por p, es llamado un espacio cociente de X .
Sea

Nota:
1. {Aj }jJ = X particin de X . Se dene para x, y X
x y existe j J tal que x, y Aj

Esta es relacin de equivalencia cuyas clases de equivalencias son los conjuntos Aj . 2. Abiertos tpicos de (X , Y) son los U X tales que
p1 (U ) = {Aj : j J y Aj U }

es un conjunto abierto en X . Luego, U es una coleccin de clases de equivalencias cuya unin es un abierto de X.

Ejemplo 5.8.

1.

X = [0, 1]

como subespacio de

R.

Sea

X = {{x} : 0 < x < 1} {{0, 1}} p : X X x Y. ]a, b[, con a, b ]0, 1[. Los abiertos de Y que
Elementos de

p(x) =

x {0, 1}

; si ; si

0<x<1 x {0, 1}

contienen a

{0, 1}

son de la forma

U =]0, [ ]1 , 1[ {0, 1} = p1 (U ) = [0, [ ]1 , 1]


2. Sea

X (x, y) : x2 + y 2 1

y sea la particin de

X,

X = (x, y) : x2 + y 2 < 1 (x, y) : x2 + y 2 = 1


Sea

S 1 = (x, y) : x2 + y 2 = 1

. Una vecindad tpica de

S1

en

(X , Y)

es

U = (x, y) : 1 < x2 + y 2 < 1 S 1


Con esto se puede demostrar que

X (x, y, z) R3 : x2 + y 2 + z 3 = 1 =

1X

es homeomorfo a la esfera

92

Teorema 5.6.1.
continua continua

Demostracin:
Denimos

(X, IX ), (Y, IY ), (Z, IZ ) e.t. p : X Y aplicacin cociente 1 que es constante sobre cada conjunto p ({y}) para y Y . Entonces g induce f : Y Z tal que f p = g .
Sean

g : X Z

una aplicacin

f :Y y

Z f (y) = g(x), si x p1 ({y})

f est bien denida x, x p1 ({y}) = g(x) = g(x ) f p=g f (p(x)) = g(x), ya que x p1 (p(x)) f es continua Sea V IZ , por demostrar que f 1 (V ) IY . Como p es aplicacin cociente. = g 1 (V ) IX , pero (f p)1 (V ) = g 1 (V ) IX = f 1 (V ) IY (ya que p es cociente).

Teorema 5.6.2.
a) (Z, IZ ) b)

Sea

Entonces X es una

g : (X, IX ) (Z, IZ ) epiyectiva y continua. Sea X = particin de X con la topologa cociente. Entonces = (X , Y)
es hausdor.

g 1 ({z}) : z Z

es Hausdor

La aplicacin Adems

induce una aplicacin biyectiva y continua

f : X Z.

es un homeomorsmo

es una aplicacin cociente.

93

CAPTULO 6

CONEXIDAD Y COMPACIDAD

6.1. Espacios conexos


Denicin 6.1.1.
1. Una 2. Sea

(X, I)
de abiertos disjuntos no vacos de

separacin de X es un par U, V
se dice

tales que

X = U V .

(X, I)

conexo si no existe separacin de X .

Nota: (X, I) es conexo los nicos subconjuntos de X que son abiertos y cerrados son X, . Demostracin:
= Sea A X que es abierto y cerrado. Entonces X = A (X A) con A y X A abiertos. Como X es conexo A = o X A = = A = o A = X . = Supongamos U, V separacin de X = U, V son abiertos disjuntos no vacos y X = U V = U = X V = U = X V y V = X U = U y V son a la vez abiertos y cerrados = U = X para U = . = V = == = X conexo.

Lema 6.1.1.
disjuntos no El espacio

(X, I) e.t. y Y X vacos A y B cuya unin


Sea

subespacio de es

X.

Una separacin de

es un par de conjuntos

Y,

ninguno de los cuales contiene un punto lmite del otro. de

Y es conexo si no existe separacin (Aqu A y B no son necesariamente abiertos.)

94

Ejemplo 6.1.
Si

1.

conjunto con ms de 1 elemento. Entonces

(X, ID ), X

donde

ID

es la topologa

discreta, no es conexo. En efecto,

p, q X , p = q . U = {p} yV = X {p}
= =

es separacin de

2. 3.

(X, II ),

donde

II

es la topologa indiscreta, es conexo siempre. efecto,

Y = [1, 0[ ]0, 1] como subespacio de R no es conexo. En A = [1, 0[= , B =]0, 1] = y A B = Luego A B = [1, 0] B = y A B = A [0, 1] = A, B es separacin de Y = Y no es conexo. Y = Q como subespacio de R no es conexo. En efecto, A =] , 2[ Q = , B =] 2, [ Q = y A B = Luego A =] , 2], B = [ 2, [ = A B = = A B Y = Q no es conexo. Y =Z Y
como subespacio de

4.

5. 6. 7.

no es conexo.

subespacio de

es conexo

es un intervalo.

X = (x, y) R2 : y = 0 (x, y) R2 : x > 0, y =


es una separacin de

1 x

como subespacio de

R2

no es conexo.

Sean C, D abiertos disjuntos no vacos de X tal que X = C D. = C Y , D Y son abiertos disjuntos de Y y (C Y ) (D Y ) = (C D) Y = X Y = Y . Como Y es conexo, entonces (C Y ) y (D Y ) no puede ser una separacin. = C Y = o D Y = . = Y D o Y C .

Lema 6.1.2. Si C, D Demostracin:

y si

Y X

es conexo

= Y C

Y D

Denicin 6.1.2.
conexo.

Sea

(X, I) e.t. A X

se dice

conexo (en (X, I)) si A como subespacio de X


X
tal que

es

Teorema 6.1.1.

Sea

(X, I) e.t.

Si

{A }J

familia de subconjuntos conexos de

A =
J
entonces

A
J

es conexo.

Demostracin:
Sea p
J

A y sea Y =
J

Suponga que C, D es una separacin de Y .

95

= Y = C D, con C, D abierto en Y no vacos y disjuntos.

Suponga que p C Como cada A es conexo = A C, J .


= Y =
J

A C ==

= D = = C, D no puede ser una separacin de Y . = Y = A es conexo.


J

Teorema 6.1.2.

Sea

(X, I) e.t.

subconjunto conexo de

X.

Entonces

A B A = B

conexo.

Supongamos lo contrario. Sea U, V separacin de B . Entonces A conexo = A U o A V Supongamos A U = A U = B V = . En efecto, como U, V separacin de B .

Demostracin:

= U V = (U U ) V = (U V ) (U V ) = . Como B A U = B V = == ya que V es un subconjunto no vaco de B . = B conexo.

Nota: A conexo = A conexo. Teorema 6.1.3.


Sean subconjunto conexo de

Demostracin:

(X, IX ), (Y, IY ) Y.

e.t. y

f :XY

continua. Entonces

conexo

= f (X)

es

Caso 1 (f epiyectiva) Supongamos C, D es separacin de f (X), con C, D no vacos, disjuntos, C D = Y , C D = C D = . Entonces


f 1 (C) f 1 (D) = f 1 (C D) = f 1 (f (X)) = X
epi.

y f 1 (C) f 1 (D) = f 1 (C D) = . Pero f 1 (C), f 1 (D) no vacos y abiertos en X . f 1 (C), f 1 (D) es una separacin de X . Caso 2 (f (X) = Y )

96

Consideremos
f : X f (X) x f (x) = f (x)

Entonces f es continua y epiyectiva y entonces por caso 1, f (X) es conexo. = f (X) conexo.

Teorema 6.1.4.

Sea

(X , I )

familia de e.t. Entonces

X
J

con la top. producto es conexo.

6.2. Conjuntos conexos en R


Recuerdo
Sea A conjunto ordenado por < y A0 A
a) b A se dice mximo (resp. mnimo) de A0 si b A0 y x b (resp. b x), x A0 b) A0 se dice acotado superiormente (resp. inferiormente) si existe b A llamado cota superior (resp. inferior) de A0 tal que x b (resp. b x) x A0 c) Si A0 es acotado superiormente (resp. inferiormente) y el mnimo (resp. mximo) de las cotas superiores (resp. inferiores) es a, entonces a se llama supremo (resp. nmo) de A0 .

Denicin 6.2.1. Denicin 6.2.2.


si

Un conjunto ordenado

se dice que tiene la

propiedad del supremo

si todo

subconjunto no vaco

A0

de

que es acotado superiormente tiene supremo

Un conjunto ordenado

con ms de 1 elemento, es llamado un

continuo lineal

a) A b)
Si

tiene la propiedad del supremo.

x < y,

entonces existe Si

zA

tal que

x < z < y. L
con la topologa del orden es conexo y tambin

Teorema 6.2.1.

es un continuo lineal, entonces

lo son todo intervalo y todo rayo.

Corolario: R con la topologa usual es conexo y tambin lo es cualquier intervalo y cualquier rayo. Proposicin 6.2.1. Demostracin:
1 Ver
seccin

Todo subconjunto conexo de

es un intervalo.

Sea S R que no es intervalo, entonces existen a, b S y c S tales que a < c < b. /


5.3
Topologa del orden

97

Luego, ] , c] S , ]a, ] S es una separacin de S = S no es conexo Pregunta: Vale lo mismo para cualquier continuo lineal?

Teorema 6.2.2. (Del valor intermedio)


f :XY puntos de X y
Sea continua, con existe

conexo y

rY

Demostracin:
Sean

tal que

Y conjunto ordenado con la topologa del orden. Si a f (a) < r < f (b), entonces existe c X tal que f (c) = r.

son

A = f (X) ] , r[ B = f (X) ]r, [

son disjuntos, no vacos. Adems A y B son abiertos en f (X). Si no hay punto c X tal que f (c) = r, entonces A B = f (X) = A, B separacin de f (X) == pues f (X) es conexo.

Denicin 6.2.3. Sea (X, I) e.t. Dados p, q X , un camino en X de p a q es una aplicacin continua
f
tal que:

f : [a, b] X
tal que

f (a) = p

arco-conexo si todo par de puntos en X


Nota:

f (b) = q . ([a, b]

intervalo de

no trivial, es decir,

a < b).

Entonces

(X, I)

se dice

pueden unirse por un camino.

1. Si (X, I) arco-conexo = (X, I) conexo. 2. El recproco es falso. 3. (X, IX ), (Y, IY ) e.t. y f : X Y continua y epiyectiva. Entonces
(X, IX ) arco-conexo = (Y, IY ) arco-conexo.

Ejemplo 6.2.

1. Toda bola abierta o cerrado en un

B(a, r) = {x

Rn

: x a < r}.

Dados

Rn es arco-conexo. p, q B(a, r), entonces

En efecto

(1 t)p + tq B(a, r)
pero

(1 t)p + tq a

(1 t)(p a) + t(q a) (1 t)(p a) + t(q a) , t [0, 1]

= (1 t) p a + t q a < (1 t)r + tr = r

98

Luego

f : [0, 1] B(a, r) t
es un camino en 2. 3.

f (t) = (1 t)p + tq

B(a, r)

entre

q. Rn
es arco-conexo.

X = Rn {0}

como subespacio de

S n1 = {x Rn : x = 1}

es arco-conexo. En efecto,

g : (Rn {0}) S n1 x x x
es continua y epiyectiva.

Cada componente de

xi 2 + + x2 x1 n n1 como subespacio de Rn es arco-conexo si n 2. S g(x)


es de la forma Sea

=0

Denicin 6.2.4.

(X, I) e.t.

Denimos la

relacin de equivalencia
y

x y existen subconjuntos conexo de (X, I) que contiene a x

a y.
y

x y existen subconjuntos arco conexo de (X, I) que contiene a x

a y.

Denicin 6.2.5.

Sea

(X, I) e.t.

Se llama

clase de equivalencia de un elemento x X

al conjunto

[x] = {y X : x y}

Denicin 6.2.6. Las clases de equivalencia de (resp. componentes arco-conexas) de (X, I). Nota:

(resp

son llamadas

componentes conexas

1. Si (X, I) es conexo (resp. arco-conexo), entonces hay solo una componente conexa (resp. arcoconexo) que es X . 2. X = [0, 1/2] [1, 2] como subespacio de R, entonces X tiene 2 componentes conexas (resp. arco-conexas). 3. X = Q como subespacio de R, {x} es componente conexa y arco-conexa.

Teorema 6.2.3.

Sea

(X, I) e.t.

99

1.

X=
C c.c.

C=
D c.ac.

D = C D =

2. Si 3.

C, D

son componentes conexas (resp. arco-conexas)

C = D.

C
de

componente conexa (rep. arco-conexa) de

X = C

es subconjunto conexo (resp. arco-conexo)

X.
existe una nica componente conexa (resp. arco-conexa)

4. Si

A X es conexo (resp. arco-conexo), tal que A C = y entonces A C .

Sea (X, I) e.t. Entonces (X, I) se dice localmente conexo (resp. arcoDenicin 6.2.7. conexo)en x si V VI (x) existe v VI (x), v V y v conexo (resp. arco-conexo)

(X, I)

se dice localmente conexo (resp. arco-conexo) si es localmente conexo (resp. arco-conexo)

en todo punto

x X.
es localmente conexo

= Sea U I y C componente conexa de U . Si x C existe V V(x), V conexo tal que V U (denicin de localmente conexo). Entonces V conexo = V C = C es abierto. = Sea x X y U VI (x). Sea C la componente conexa de U que contiene a x. Entonces C VI (x) y C U y C es conexo (pues cada componente conexa es conexa).

Teorema 6.2.4. Demostracin:

(X, I)

U I,

cada componente conexa de

est en

I.

Teorema 6.2.5.
est en

(X, I)

es localmente arco-conexo

U I,

cada componente arco-conexa de

Demostracin:

I.

Igual que la anterior.

Teorema 6.2.6.
nente conexa de Si

Sea

(X, I) e.t.

Toda componente arco-conexa de

est contenida en alguna compo-

X. X
y las componentes arco-

(X, I)

es localmente arco-conexo, entonces las componentes conexas de

conexas de

son las mismas.

6.3. Espacios compactos


Denicin 6.3.1.
Una coleccin

de subconjuntos de un espacio X es un

recubrimiento de X si

X=
A
se dice que

es un

recubrimiento abierto si los elementos de son abiertos de X.


100

Denicin 6.3.2.
nito

Un e.t. es

compacto si todo recubrimiento abierto de X tiene un subrecubrimiento


R
es compacto.

Ejemplo 6.3.
Sea

El subespacio de

= {Ai }iI

Notar que existe

X = {0} {1/n : n Z+ }, en efecto, Ai = X . un recubrimiento abierto de X. Sea i0 I tal que 0 Ai0 y + tal que n n , 1/n A . Si A n0 Z in es tal que 1/n Ain , 0 i0
es un subrecubrimiento nito de X.

para

a n n0 1, = Ai1 , Ai2 , . . . , Ain0 1 , Ai0 =


X compacto.

Cualquier espacio nito es compacto. El intervalo

(0, 1] no es compacto, pues el recubrimiento abierto = {(1/n, 1] : n Z+ } no posee

subrecubrimientos nitos.

Denicin 6.3.3. Sea Y subespacio de X. Se dice que una coleccin de conjuntos es un recubrimiento de Y si la unin de los elementos de contiene a Y. Lema 6.3.1.
Sea Y un subespacio de X. Entonces Y es compacto ssi todo recubrimiento de Y de subconjuntos abiertos en X contiene un subrecubrimiento nito de Y.

= Supongamos Y compacto. Sea = {A } recubrimiento de Y formado por abiertos en X . = Y

Demostracin:

A (A Y )

= Y =

luego como (A Y ) es un abierto en Y , entonces = {A Y } es un recubrimiento abierto de Y . Ahora como Y es compacto, existe m < y 1 , . . . , m tales que
m

Y =
i=1

Ai Y
m

= Y
i=1

Ai

= {Ai }m es un subrecubrimiento nito de . i=1 = Sea = {A } un recubrimiento tal que A es un abierto de Y , y tal que Y =

A .

Sea A X abierto en X tal que A = A Y (pues A abierto de Y ). Como los A es un recubrimiento de Y formado por, abiertos de X , existe m < y 1 , . . . , m
m m m

tal que Y
i=1

Ai = Y =
i=1

Ai Y =
i=1

Ai , entonces {A1 , . . . , Am } es un subrecubrimiento

101

nito

= Y es compacto.

Teorema 6.3.1. Demostracin:

Todo subconjunto cerrado de un espacio compacto es compacto.

Sea X un espacio compacto, y sea A X un cerrado. Sea = {A } un recubrimiento de A formado por abiertos de X . Como A es cerrado X A abierto y, por lo tanto, la coleccin = (X A) es
m

un recubrimiento abierto de X en , es decir, existen A1 , . . . , Am tales que m < y X =


i=1

Supongamos X Hausdor y A X compacto. Probaremos que X A es abierto. x Tomemos x A y sea y0 X A. Como X es Hausdor, existen abiertos Ux y Uy0 tal que x Ux , x x y0 Uy0 y Ux Uy0 = . Sea = {Ux }xA . La coleccin es un recubrimiento de A por abiertos de X y como A compacto,
n

Teorema 6.3.2. Demostracin:

Todo subconjunto compacto de un espacio de Hausdor es cerrado.

existe un subrecubrimientos nito, es decir, existe n < , x1 , x2 , . . . , xn A tal que A


i=1

Uxi .

x x x Sea V = Uy01 Uy02 Uy0n es un abierto que contiene a y0 . Adems V Uxi = , i = 1, 2, . . . , n

= V A = = V X A = X A es abierto.

Ejemplo 6.4.
Sea

Si X no es Hausdor. los compactos no necesariamente son cerrados. Por ejemplo

X =R

con la topologa

If = {A X : X A

es un conjunto nito} este espacio topolgico no

es Hausdor. En este espacio los cerrados son los conjuntos nitos, pero todo A es compacto con esta topologa, pues si

dado

A R abiertos
nito.

0 , X A

es nito. Luego

A A0 (A A0 ) = A A = {x1 , x2 , . . . , xn }
XA0 n

Tomando

i ,

tal que

x i Ai ,

tenemos que

A
i=0

Ai ,

y por lo tanto

{Ai }n i=0

es un subre-

cubrimiento nito.

todo conjunto

A X = R

con la topologa

If

es compacto, pero los nicos cerrados son los

conjuntos nitos.

Lema 6.3.2.

Sea

disjuntos U y V

(X, I) e.t. Hausdor, Y X tales que x0 U y Y V .


Sea Sea

compacto y

x0 X Y .

Entonces existen abiertos

Teorema 6.3.3. Teorema 6.3.4.

f :XY f :XY

continua, con X compacto. Entonces

f (X)

es compacto.

continua y biyectiva. Si X es compacto e Y es Hausdor, entonces f

es un homeomorsmo.

102

Demostracin:

Solo nos falta que f 1 sea continua. Para esto basta ver que f (A) es cerrado en Y si A es cerrado en X. Si A es cerrado en X , es compacto, pues X es compacto. Como f es continua, f (A) es compacto en Y y como Y es Hausdor, entonces f (A) es cerrado. = f 1 es continua = f es homeomorsmo.

6.4. Producto de conjuntos compactos


Lema 6.4.1. (del Tubo)
Sea

X Y un espacio producto, {x0 } Y X Y , entonces N una vecindad de x0 .

con

compacto. Si

contiene un

N X Y es un abierto que contiene la bra conjunto W Y que contiene a {x0 } Y , donde W es

{x0 } Y N X Y . Como N es abierto y los conjuntos {V U : V X abierto, U Y abierto} son una base de la topologa. Luego (x, y) {x0 } Y , existe Vx Uy con Vx x abierto en X y Uy y abierto en Y tal que Vx Uy N . Tambin es claro que {Vx Uy }(x,y){x0 }Y es un recubrimiento de {x0 } Y . Notar que {x0 } Y es homeomorfo a Y , por lo tanto, {x0 } Y es compacto. Luego existe un subrecubrimiento nito {Vi Ui }n {Vx Uy }(x,y){x0 }Y de {x0 } Y . i=1 Suponiendo que cada Vi Ui intersecta a {x0 } Y (en caso contrario, se saca el conjunto del recubrim-

Demostracin:

iento). Denimos W = V1 Vn es un abierto de X que contiene a x0 = {x0 } Y W Y . Veamos que W Y N . Sea (x, y) W Y = x W = x V1 , V2 , . . . , Vn () Como {Vi Ui }n es un recubrimiento de {x0 } Y , 1 i n tal que (x0 , y) Vi Ui = y Ui i=1 De () = x Vi = (x, y) Vi Ui N (por construccin)
= (x, y) N = W Y N

Teorema 6.4.1.

n
Sea

{X1 , X2 , . . . , Xn }

una coleccin nita de espacios compactos. Entonces

Xi
i=1

es

compacto con la topologa producto.

Demostracin:

Basta probar que X1 X2 es compacto. El caso n > 2 se hace por induccin. Sea un recubrimiento abierto de X1 X2 . Sea x0 X1 , entonces {x0 } X2 es compacto, pues es homeomorfo a X2 . Como es recubrimiento de {x0 } X2 , existe un subrecubrimiento nito {A1 , . . . , An } de
n

{x0 } X2 , es decir, {x0 } X2


i=1

Ai = Nx0 .

103

Del lema del tubo, existe Wx0 vecindad de x0 en X1 tal que {x0 } X2 Wx0 X2 Nx0 . Luego para cada x X1 , existe una vecindad Wx de x tal que la bra {x0 } X2 Wx X2 Nx . (Wx )xX1 es un recubrimiento abierto de X1 . Como X1 es compacto, existe un subrecubrimiento nito {Wx1 , Wx2 , . . . , Wxm } (Wx )xX1 de X1 . = {Wx1 X2 , Wx2 X2 , . . . , Wxm X2 } es un recubrimiento de X1 X2 . Con
ni

Wxi X2 Nxi =
j=1 m

Aj , con A1 , . . . , Ani
(i) (i) (i) m ni

= X1 X2
i=1 (i) ni ,m (Aj )j=1,i=1

Wxi X2
i=1 j=1

Aj

(i)

= es un subrecubrimiento nito de X1 X2 = X1 X2 es compacto.

Denicin 6.4.1.

Se dice que una coleccin de subconjuntos

de X satisface la

condicin de la
n

interseccin nita (cif) si para cada subcoleccin nita {C1 , . . . , Cn } de C se tiene


Teorema 6.4.2.
Sea X un e.t. Entonces X es compacto ssi para cada coleccin

Ci = .
i=1

de cerrados de X

satisfaciendo cif, se tiene que

C = .
CC

Si C es una coleccin de cerrados de X , entonces = {X C : C C} es una coleccin de abiertos de X . = Supongamos que X es compacto y sea C una coleccin de cerrados que satisface la cif. Como X es compacto y C satisface cif, no puede ser un recubrimiento de X . Si lo fuera, podramos extraer un subrecubrimiento nito {X C1 , X C2 , . . . , X Cn } , lo que implicara
n n

Demostracin:

X=

(X Ci ) y por lo tanto,
i=1 i=1

Ci = , lo que contradice la cif. Luego como no es recubrimiento (X C)


CC

de X , entonces X =

(X C) X = X
CC

= =
CC

C=

= Esto es equivalente a demostrar que, X no es compacto = Existe una coleccin C de cerrados de X , satisfaciendo cif, se tiene que
CC

C = .

Entonces, supongamos que X no es compacto, luego existe un recubrimiento abierto de X que no posee subrecubrimiento nitos. Denimos C = {X A : A } coleccin de cerrados. Notar que C satisface la cif, pues si {X A1 , X A2 , . . . , X An } C es una subcoleccin nita de C, entonces
n n n

(X Ai ) = X

Ai = , pues
i=1 i=1

Ai

X. C = .
CC

Luego,
CC

i=1

C=

(X A) = X
A A

A = X X = =

104

Corolario: Si X es compacto y (Cn )nN es una coleccin de cerrados no vacos de X tal que Cn Cn+1 ,
entonces

Corolario:

Cn = . nN Sea (X, I)

e.t. compacto ssi toda coleccin de subconjuntos de X que satisface cif. verica A=
A

6.5. Conjuntos compactos en R


Teorema 6.5.1.
Sea X un conjunto simplemente ordenado que satisface la propiedad del supremo. Con la topologa del orden cada intervalo cerrado de X es compacto.

Demostracin:

Sean a < b y sea un recubrimiento abierto en X de [a, b]. Paso 1: Probaremos que para todo x [a, b], existe y [a, b] tal que y > a y tal que [x, y] se puede recubrir con a lo ms dos elementos de . Sea x [a, b], x = b. Si x posee un sucesor inmediato en [a, b], el intervalo [x, y] posee slo dos elementos, y estos son x e y . Tomando A1 , A2 tales que x A1 e y A2 , tenemos que [x, y] A1 A2 . Si x no posee un sucesor inmediato, sea A tal que x . Como A es abierto y x = b, existe c [a, b] tal que [x, c[ A. Tomando y [x, c[, se tiene que [x, y] A. Sea C = {b y > a : [a, y] se puede describir por un nmero nito de elementos de }. Gracias al paso 1, C = . Como X satisface la propiedad del supremo y C es no vaco y acotado por ambas, existe c = sup C. Paso 2: Probaremos que c C. Sea A tal que c A. Supongamos que c C. Como c > a y A es abierto, entonces existe d a / tal que (d, c] A. Como suponemos que c C y c = sup C, existe z (d, c], z = c tal que z C. / Como z C, existe una subcoleccin nita {A1 , A2 , . . . , An } que recubre a [a, z]. Por otro lado, (z, c] (d, c] A. Por lo tanto [a, c] = [a, z] (z, c] se puede recubrir por {A1 , A2 , . . . , An , A} = c C == c debe estar en C. Paso 3: Probaremos que c = b. Supongamos que c < b. Aplicando el paso 1 a c, obtenemos que existe y > c en [a, b] tal que [c, y] se recubre con a lo ms dos elementos de A. Entonces, como c C y [a, y] = [a, c) [c, y], podemos recubrir [a, y] con un nmero nito de elementos de , lo que probara que y C, pero esto contradice

105

c = sup C. Luego, c = b. = [a, b] se puede recubrir con un nmero nito de elementos de . = [a, b] compacto.

Corolario: Los intervalos [a, b], a < b R son compactos. Teorema 6.5.2.
Un subconjunto A de

Rn

es compacto ssi es cerrado y acotado con alguna mtrica

proveniente de las normas euclidianas.

= Sea A Rn compacto. Como Rn es Hausdor, entonces A es cerrado. Para probar que A es compacto denimos = {Bo (0, m) : m Z+ }. La coleccin es un recubrimiento abierto de Rn , en particular recubre a A. Como A es compacto existe una subsucesin nita {Bo (0, m1 ), Bo (0, m2 ), . . . , Bo (0, mk )} que recubre a A. Ordenando m1 m2 mk , tenemos que Bo (0, m1 ) Bo (0, mk ).
k

Demostracin:

= A
i=1

Bo (0, mi ) = Bo (0, mk )

= x A, x mk < = A es acotado. = Sea A Rn un conjunto cerrado y acotado. Como A acotado, existe R > 0 nito tal que
n

A
i=1

[R, R].
n

Sabemos que el producto de compactos, es compacto, =


n i=1

[R, R] es compacto y como

A
i=1

[R, R] es cerrado = A compacto.

Teorema 6.5.3. (Teorema del valor mnimo y mximo)


Sea

f :X Y

continua, donde Y es un conjunto ordenado con la topologa del orden. Si X es com-

pacto, entonces existen puntos a y b mnimo y un mximo.

tales que

f (a) f (x) f (b), x X ,

es decir, f alcanza un

Si X es compacto entonces A = f (X) Y es compacto. Si probamos que existen c, d f (X) tales que c y d, y f (X), obtenemos el resultado. Supongamos que no existe tal d. Sea = {(, a) : a A}, donde (, a) = {y : y < a}. Como suponemos que f (X) = A no es acotado por arriba, la coleccin es un recubrimiento abierto de A. Como A compacto, existe una subcoleccin {(, a1 ), (, a2 ), . . . , (, an )} nita que recubre a A. Si ordenamos el subrecubrimiento de tal forma que a1 a2 an = y < an , y A ==, pues supusimos que A no era acotado superiormente. = d A tal que y d, y A. De igual forma se prueba que existe un c tal que c y, y A. Tomando el recubrimiento

Demostracin:

106

= {(a, ) : a A}. tomando a, b X tal que f (a) = c y f (b) = d, se tiene el resultado.

Teorema 6.5.4.

Sea

X =

un espacio compacto Hausdor. Si cada punto de X es un punto lmite

de X, entonces X es no numerable.

Paso 1: Probaremos que dado U X abierto, no vaco y dado cualquier x X , existe V U abierto, no vaco tal que V no contiene a x. Sea x X y U X abierto no vaco. Por hiptesis, existe y U , con y = x. Como X Hausdor, existen V1 V(x), V2 V(y) tal que V1 V2 = . Sea V = U V2 . V es abierto y no vaco (V contiene a y ). Como x V1 y V1 V = , entonces x V . / Paso 2: Probaremos que toda funcin f : N X no es sobreyectiva. Sea f : N X una funcin y denamos xn = f (n), n N. Sea V1 X un abierto que contenga a x1 (por ejemplo, V1 = X ). Por paso 1, existe V2 V1 abierto no vaco tal que x1 V2 . Aplicando el / paso 1 nuevamente. existe V3 V2 no vaco, tal que x2 V3 . As suscesivamente nalmente, para todo / n N, existe Vn+1 Vn abierto, no vaco tal que xn Vn+1 . / Tenemos que (Vn )nN es una sucesin decreciente de cerrados no vacos en un compacto. Por lo tanto, Vn = . Por construccin, x {x1 , x2 , . . .} = f (N). Luego f no es sobreyectiva. /
nN

Demostracin:

= N0 se puede hacer una biyeccin de los N a X . = X no es numerable.

Corolario: [a, b] R es no numerable.

6.6. Compacidad punto lmite


Denicin 6.6.1.
un punto lmite.

(X, I) e.t.

se dice

punto lmite compacto si todo subconjunto innito de X tiene


= (X, I)
es punto lmite compacto.

Teorema 6.6.1.

(X, I) e.t.

es compacto

El recproco en general es falso.

Demostracin:

Sea (X, I) e.t. compacto. Sea A X tal que A = . Por demostrar que A es nito.
A = = A = A A = A = A cerrado = A compacto. Para cada a A. a A = U V(a) tal que U (A {a}) = . Luego tomamos Ua V(a) tal / que Ua (A {a}) = . Entonces {Ua }aA es un recubrimiento de A y como A es compacto tiene

subrecubrimiento nito

107

= existen a1 , a2 , . . . , an A tal que A


n n i=1

Uai , pero Uai A = {ai }

A=A A es nito.
Sea

Uai =
i=1

(A Uai ) = {a1 , a2 , . . . , an }
i=1

Lema 6.6.1. (del nmero de Lebesgue)

un recubrimiento abierto de un e.m.

(X, d).

Si X es compacto, existe

>0

tal que para todo

subconjunto de X de dimetro menor a

existe elemento de

que lo contiene, es decir,

F X y diam(F ) < = A tq F A
donde

es el nmero de Lebesgue del recubrimiento

Denicin 6.6.2.
convergente.

(Y, I) se dice secuencialmente

compacto si toda sucesin en Y tiene subsucesin

Teorema 6.6.2. (Continuidad uniforme)


Sean

(X, dX ), (Y, dY ) e.m. con (X, dX ) compacto continua, es decir, > 0, > 0 tal que

f :XY

continua. Entonces f es uniformemente

dX (x1 , x2 ) < = dY (f (x1 ), f (x2 )) <

Demostracin:

Sea > 0 y consideremos el recubrimiento abierto {B(y, /2)}yY de Y . Entonces = f 1 (B(y, /2)) yY es un recubrimiento abierto de X . Sea > 0 nmero de Lebesgue de . Sean x1 , x2 X tal que dX (x1 , x2 ) < . = diam {x1 , x2 } < = existe elemento de que contiene al conjunto {x1 , x2 }. = y Y , tal que {x1 , x2 } f 1 (B(y, /2))
= f (x1 ), f (x2 ) B(y, /2) = dY (f (x1 ), f (x2 )) dY (f (x1 ), y) + dY (y, f (x2 )) < /2 + /2 =

Teorema 6.6.3.
1. 2. 3.

Sea

(X, d)

e.m. Son equivalentes

(X, d) (X, d) (X, d)

es compacto. es punto lmite compacto. es secuencialmente compacto.

6.7. Compacidad local


Denicin 6.7.1.
existe un compacto

(X, I)

se dice

localmente compacto si es localmente compacto en todo x.


108

(X, I) e.t. y x X decimos C X que contiene una vecindad


Sea

que

(X, I)

es

localmente compacto en x

si

de x.

Nota: Si

(X, I) e.t.

compacto

= (X, I) e.t.

localmente compacto.

un espacio topolgico compacto y Hausdor.?

Problema: Dado un espacio (X, I) que no es compacto. Es (X, I) homeomorfo a un subespacio de


Sea

Denicin 6.7.2.

(X, I) e.t.

Hausdor localmente compacto. Denotaremos por

a un elemento

u objeto que no pertenece a X. Considere el conjunto topologa sobre Y, y

Y = X {}.

Sea

I = I {Y C/C X compacto}.

Entonces

es una

(X, I)

compacticacin a 1 punto de Sea

(X, I). (Y, I)


la compacticacin a 1 punto de

Teorema 6.7.1.
(X, I).
1. 2. 3. 4. Entonces

(X, I) e.t.

localmente compacto. Sea

(Y, I) (X, I)

es compacto y Hausdor. es un subespacio de

(Y, I).

Y X

consiste de un solo punto.

X =Y.
Sea

Lema 6.7.1. Corolario:

(X, I) e.t.

Hausdor. Entonces,

(X, I)

es localmente compacto en x ssi para toda

vecindad U de x, existe vecindad V de x tal que Sea

es compacto y

V U.

(X, I) e.t.

Hausdor localmente compacto y sea Y subespacio de X. Entonces Y es

cerrado en X o Y abierto en X

= Y es localmente compacto. Corolario: Un espacio topolgico (X, I) es homeomorfo a un subconjunto dor compacto ssi (X, I) es localmente compacto y Hausdor.

abierto de un espacio Haus-

109

CAPTULO 7

AXIOMAS DE NUMERABILIDAD Y SEPARACIN

7.1. Axiomas de numerabilidad


Denicin 7.1.1.
1. Se dice que Cada Sea

(X, I) e.t.
tiene

x X.

(X, I) BB

base numerable en x si existe coleccin B I numerable tal que:

contiene a x.

V I tq x V, B B tq x B V .
2.

(X, I)

se dice

1ero numerable si todo x X


(X, I) e.t.

tiene base numerable.

Teorema 7.1.1.
1. Dado 2.

Sea

1ero numerable, entonces:

A X , x A
es continua Sea

existe sucesin

(xn ) A
n
es

tal que

xn x
n

f :XY

(xn ) X, xn x
Entonces

se tiene

f (xn ) f (x).
n

Denicin 7.1.2. Nota:


1. (X, I) 2do 2.

(X, I) e.t.

(X, I)

2do numerable si (X, I) tiene base numerable.

numerable

= (X, I)

1ero numerable.

No todo e.m. es 2do numerable. 1. Todo subespacio de un espacio 1ero numerable (resp. 2do numerable) es 1ero

Teorema 7.1.2.

numerable (resp. 2do numerable).

110

2. El producto de espacios 1ero numerables (resp. 2do numerables) con la topologa producto es 1ero numerable (resp. 2do numerable).

Denicin 7.1.3. Teorema 7.1.3.

Sean

(X, I) e.t. (X, I)

A X.

Entonces A se dice

denso en X si A = X

Suponga

tiene base numerable. Entonces

1. Todo recubrimiento abierto de X tiene subrecubrimiento numerable. 2. Existe

DX

que es denso en X y numerable.

Denicin 7.1.4.
1. 2.

Sea

(X, I) e.t.

(X, I) (X, I)

se dice se dice

Lindelf si todo recubrimiento abierto de X tiene subrecubrimiento numerable. separable si existe D X


denso en X y numerable.

Nota:
1. Si (X, I) tiene 2. Si (X, I) 2do
base numerable

= (X, I)

es Lindelf.

numerable

= (X, I)

es Lindelf y separable.

7.2. Axiomas de separacin


Denicin 7.2.1.
1. Sea

(X, I) e.t.

tal que

{x}

es cerrado

x X .

Entonces

(X, I)

se dice

Regular: Si para todo x X

F X

cerrado y

x F, /

existen

U, V I, U V =

tal que

xU y F V
2.

Normal: Si para todo F1 , F2

cerrados disjuntos de X. Existen

U, V I, U V =

tal que

F1 U y F2 V

Nota: (X, I) normal Lema 7.2.1.


1. 2. Sea

= (X, I)

regular

= (X, I)
es cerrado

Hausdor

(X, I) e.t.

tal que

{x}
y

x X . x U , V I
tal que tal que

(X, I) (X, I)

es regular es normal

x X F X

U I

tal que

xV V U
tal que

cerrado y

U I

F U , V I

F V V U

Teorema 7.2.1.

1. Un subespacio de un espacio Hausdor es Hausdor. El producto de espacios

Hausdor con la topologa producto es Hausdor.

111

2. Un subespacio de un espacio regular es regular. El producto de espacios regulares con la topologa producto es regular. 3. Un subespacio de un espacio normal

no necesariamente es normal. normales con la topologa producto no necesariamente es normal.


Todo espacio metrizable es normal.

El producto de espacios

Teorema 7.2.2. Demostracin:

Sea (X, d) e.m. y A, B cerrados disjuntos de (X, d). Por demostrar que U, V I, U V = tal que A U, B V . Para cada a A, elegimos a > 0 tal que B(a, a ) B = . Similarmente para cada b B, elegimos b > 0 tal que B(b, b ) A = . Sea U = B(a, a /2), V = B(b, b /2)
U, V son abiertos y A U , B V . Por demostrar que U V = . Si z U V = z B(a, a /2) B(b, b /2) para ciertos a A, b B . = d(a, b) < a /2 + b /2. Si a /2 b /2 = d(a, b) b = a B(b, b ) A == Si b /2 a /2 = d(a, b) a = b B(b, a ) B == U V = .
aA bB

Sea (X, I) e.t. Hausdor compacto (X, I) es regular. Sean A, B cerrados disjuntos de (X, I). Entonces para cada x AUx , Vx I, disjuntos tal que x Ux y B Vx . Luego {Ux }xA es un recubrimiento abierto de A. Como A es compacto = existen x1 , x2 , . . . , xk A
k

Teorema 7.2.3. Demostracin:

Todo espacio Hausdor compacto es normal.

tal que A
i=1 k

Uxi .
k

Sea U =
i=1

Uxi I y A U y sea V =
i=1

Vxi I y B V y U V = .

Por construccin: Ux1 Vx1 =

= Ux1 V U x2 V

= =

. . .

. . .

. . .

. . .

U xk V = U V = .

Teorema 7.2.4. Demostracin:

Todo espacio regular 2do numerable es normal.

112

Sea (X, I) e.t. regular y B es base numerable de (X, I). Sean A, B cerrados de (X, I). Para cada x A, Ux I tal que x Ux y Ux B = . Como (X, I) es regular = Vx I tal que x Vx Vx Ux . Por otro lado como B es una base = Bx B tal que x Bx Vx Vx Ux Bx Ux = Bx B = . existe recubrimiento de A {Un }nZ+ tal que Un B y Un B = n Z+ . Similarmente existe recubrimiento abierto de B {Vn }nZ+ tal que Vn B y Vn A = . Sean U = Un , V = Vn
nZ+ nZ+ n n

U, V I, A U, B V . Para cada n

Z+ ,

sean Un = Un
i=1

Vi y Vn = Vn
i=1

Ui .

Sean U =
nZ+

Un y V =
nZ+

Vn .

Luego U , V I. Adems A U y B V ya que si x A = j Z+ tal que x Uj y x no est en ningn Vi . = x Uj .


k

= z Uj Vk para ciertos j, k Z+ y supongamos j k . Entonces z Uj y z Vk = Vk = z Uj y z Uj == / U V =


i=1

Ui .

Teorema 7.2.5.
Sea

Todo conjunto bien ordenado X es normal con la topologa del orden.

Teorema 7.2.6. (Lema de Urysohn)


(X, I) e.t.
normal, A,B cerrados disjuntos de X y

[a, b]

intervalo de

R.

Existe

f : X [a, b]

continua tal que

f (x) = a, x A, f (x) = b, x B
Sea

Denicin 7.2.2.
conjuntos abiertos.

(X, I) e.t.

Entonces

A X

se dice  G  si A es interseccin numerable de

Teorema 7.2.7. (Versin fuerte del lema de Urysohn)


Sea

(X, I) e.t.

normal y A, B cerrados disjuntos de

(X, I).

Entonces, existe

f : X [0, 1] continua
tal que

f 1 ({0}) = A

f 1 ({1}) = B ,

ssi A es un

G .

Teorema 7.2.8. (de extensin de Tietze)


Sea

(X, I) e.t.

normal,

AX

cerrado y

[a, b] R
se extiende continuamente a

1. Toda aplicacin continua F es continua y

f : A [a, b] F (x) = f (x) x A.

F : X [a, b],

es decir que

2. Toda aplicacin continua continua y

f :AR F (x) = f (x) x A.

se extiende continuamente a

F : X R,

es decir que F es

113

NDICE ALFABTICO

adherencia, 13, 75 aplicacin cociente, 89 arco o camino, 43, 98 base, 71 base numerable, 110 clase de equivalencia, 99 compacticacin a 1 punto, 109 componentes conexas, 31 condicin de la interseccin nita, 104 conjunto abierto, 8 acotado, 7 cerrado, 10 compacto, 32, 101 conexo, 30, 94, 95 conexo por caminos, 43 denso, 15, 111 derivado, 77 disconexo, 30 equicontinuo, 53 localmente compacto, 108 nunca denso, 16 ortogonal, 68 relativamente compacto, 32 saturado, 89 secuencialmente compacto, 108 separable, 15, 111 separado, 29

totalmente disconexo, 31 convergencia puntual, 48 uniforme, 49 Desigualdad de Schwartz, 64 desigualdad de Minkwoski, 65 triangular, 47 dimetro, 7 espacio
L(E, F ), 61

1ero numerable, 110 2do numerable, 110 de Banach, 58 de Hilbert, 66 normal, 111 regular, 111 cociente, 92 dual algebraico, 61 topolgico, 61 Hausdor, 78 Lindelf , 111 mtrico, 5 mtrico completo, 24 pre-Hilbert, 64 topolgico, 70

114

vectorial normado, 19, 57 exterior, 12 forma Hermitiana, 64 sesquilineal, 63 formas lineales, 61 lineales continuas, 61 frontera, 12 funcin antilineal, 63 continua, 39, 79 Hlder, 45 lineal, 58 Lipschitz, 45 uniformemente continua, 45 homeomorsmo, 41, 80 interior, 12, 75 lema de la sucesin, 88 del nmero de Lebesgue, 35, 108 del tubo, 103 localmente conexo, 100 mtrica, 5 discreta, 5 usual, 6 norma, 19 orden, 73 orden de diccionario, 73 ortogonal, 67 producto escalar, 64 punto adherente, 75 de acumulacin, 22, 77 jo, 50

interior, 75 lmite compacto, 107 recubrimiento, 32 sub-base, 72 subespacio mtrico, 17 topolgico, 74 sucesin de Cauchy, 24 teorema de Ascoli, 54 de extensin, 48 de la interseccin de Cantor, 25 continuidad uniforme, 108 de Baire, 27 de Bolzano-Weierstrass, 35 de Dini, 56 de extensin de Tietze, 113 de la representacin de Riesz, 68 de proyeccin en un Hilbert, 66 de Stone-Weierstrass, 54 de Tietze y Urysohn, 51 de Urysohn, 113 del valor intermedio, 98 del valor mnimo y mximo, 106 topologa, 70 caja, 82 cociente, 91 del orden, 74 discreta, 71 indiscreta, 71 producto, 83 uniforme, 87 vecindad, 11, 70

115