Captulo 5

Espacios Compactos
Denicion 5.1 Sea X un conjunto, {U
i
}
iI
una familia de conjuntos.
1. Se dice que {U
i
}
iI
es un cubrimiento de X, si y solo si, X =

iI
U
i
.
2. Se dice que {U
i
}
iI
es un cubrimiento por abiertos de X, si y solo si, {U
i
}
iI
es un
cubrimiento de X y para todo i I, U
i
es abierto.
Denicion 5.2 Se dice que X es compacto, si y solo si, todo cubrimiento por abiertos de X
tiene un subcubrimiento nito de X. Es decir, si X =

iI
U
i
, entonces existe J I nito,
de modo que X =

iJ
U
i
.
Ademas Y X es compacto, si y solo si, Y es compacto con la topologa relativa.
Lema 5.1 Un subconjunto Y X es compacto, si y solo si, todo cubrimiento de Y por
abiertos de X, tiene un subcubrimiento nito.
Demostracion
) Sea {U
i
}
iI
un cubrimiento de Y por abiertos de X, entonces {U
i
Y}
iI
es un cubri-
miento por abiertos de Y, como Y es compacto, existen i
1
, . . . , i
n
I tal que Y =

n
j=1
U
i
j
por lo tanto {U
i
j
}
n
j=1
es un cubrimiento nito de Y por abiertos de X.
) Sea {V
i
}
iI
un cubrimiento de Y, entonces, existen U
i
T
X
tal que V
i
= U
i
Y para
todo i I, luego {U
i
}
iI
es un cubrimiento de Y por abiertos de X, por lo tanto, existen
72
CAP

ITULO 5. ESPACIOS COMPACTOS 73

i
1
, . . . , i
n
I tal que Y =

n
j=1
U
i
j
, luego
Y =

j=1
U
i
j

Y =
n

j=1
(U
i
j
Y),
por lo tanto Y es compacto.
En adelante nos referimos por cubrimiento a un cubrimiento por abiertos.
Teorema 5.2 Sea X un espacio topologico compacto e Y X cerrado, entonces Y tambien
es compacto.
Demostracion Sea {U
i
}
iI
un cubrimiento de Y, entonces
X = Y

Y
c
=

iI
U
i

Y
c
.
Como Y
c
es abierto, entonces es un cubrimiento por abiertos de X. Pero X es compacto,
entonces existen i
1
, . . . , i
n
, n < tal que
X = Y

Y
c
=

j=1
U
i
j

Y
c
,
luego Y =

n
j=1
U
i
j
, por lo tanto Y es compacto.
Ejemplo 5.1 El espacio real R no es compacto, en efecto, denamos el siguiente cubrimiento
{U
i
}
iZ
, U
i
:= ]i 1, i + 1[ , R =

iZ
U
i
.
Si suponemos que R es compacto, existe I Z nito, de modo que R =

iI
U
i
, lo cual no
puede ser, ya que max I + 2

iI
U
i
.
Ejemplo 5.2 Todo conjunto nito es compacto
Teorema 5.3 Todo subconjunto compacto de un espacio de Hausdor es cerrado.
Demostracion Sea X un espacio de Hausdor e Y X compacto.
Si Y = X, entonces Y
c
= abierto, por lo tanto Y es cerrado.
Si Y = X, existe x
o
X\Y, ademas, X es Hausdor, entonces, para todo y Y existe
CAP

ITULO 5. ESPACIOS COMPACTOS 74

U
y
V(x
o
) y V
y
V(y) de modo que U
y
V
y
= . Luego Y

yY
V
y
, pero Y es compacto,
entonces Y

n
i=1
V
y
i
(n < ). Consideremos el conjunto abierto U
x
o
=

n
i=1
U
y
i
y sea
y
o
{y
1
, . . . , y
n
}, entonces
U
x
o
V
y
o
=

i=1
U
y
i

V
y
o
=
n

i=1
(U
y
i
V
y
o
) = ,
luego tenemos
U
x
o

i=1
V
y
i

=
n

i=1
(U
x
o
V
y
i
) = ,
entonces U
x
o
Y = , por lo tanto U
x
o
Y
c
, con U
x
o
V(x
o
), es decir, X\Y = Y
c
es
abierto. As, obtenemos que Y es cerrado.
Proposicion 5.1 Sean (X, T) un espacio de Hausdor, Y un subconjunto compacto de X y
x
o
Y
c
. Entonces, existen U, V T disjuntos, tal que x
o
U e Y V.
Demostracion Como X es un espacio de Hausdor, para todo y Y existe V
y
V(y)
y V
x
o
,y
V(x
o
) tal que V
y
V
x
o
,y
= , luego {V
y
}
yY
es un cubrimiento de Y, pero Y es
compacto, entonces existen y
1
, . . . , y
n
Y tal que Y =
n
i=1
V
y
i
. Luego, basta considerar
U =
n

i=1
V
x
o
,y
i
, V =
n

i=1
V
y
i
,
claramente U, V T y U V = .
Teorema 5.4 Si X es compacto y f : X Y es continua, entonces f(X) es compacto.
Demostracion Sea {U
i
}
iI
un cubrimiento por abiertos de f(X), como f es continua,
entonces para todo i I, f
1
(U
i
) es abierto en X, ademas, para todo x X, f(x) U
i
,
entonces
X

iI
f
1
(U
i
),
pero X es compacto, entonces existe n < de modo que
X
n

j=1
f
1
(U
i
j
).
Por lo tanto
f(X)
n

j=1
U
i
j
,
esto prueba que f(X) es compacto.
CAP

ITULO 5. ESPACIOS COMPACTOS 75

Proposicion 5.2 Sean X compacto, Y un espacio de Hausdor y f : X Y una funcion
continua y biyectiva. Entonces f es un homeomorsmo.
Demostracion Basta probar que f
1
: Y X es continua, para esto utilicemos el Teorema
2.3, demostrando que para todo A cerrado en X, entonces, (f
1
)
1
(A) es cerrado en Y. Sea
A un cerrado en X, como X es compacto, por Teorema 5.2, entonces A es compacto, luego,
por Teorema 5.4, f(A) es compacto en Y, pero Y es un espacio de Hausdor, entonces por
Teorema 5.3 tenemos que (f
1
)
1
(A) = f(A) es cerrado en Y. Por lo tanto f
1
es continua
y as f es un homeomorsmo.
Teorema 5.5 Sean X, Y dos espacio compactos, entonces X Y es compacto.
Claramente, para todo a X y b Y, las siguientes funciones son homeomorsmos
f
b
: X X {b}, f
b
(x) := (x, b),
f
a
: Y {a} Y, f
a
(y) := (a, y).
Sea {U
i
}
iI
un cubrimiento de X Y, entonces
X {b} X Y

iI
U
i
,
pero X es compacto, entonces, existen i
1
, . . . , i
n
I de modo que
X {b}
n

j=1
U
i
j
=: U.
Como U es abierto, para todo x X, existen, V
x
V(x) y V
x,b
V(b) tal que
(x, b) V
x
V
x,b
U, V
x
V
x,b
V((x, b)),
es decir,

xX
V
x
es un cubrimiento de X, luego, existen x
1
, . . . , x
m
X de manera que
X =

m
i=1
V
x
i
, ya que es compacto. Ademas, b

m
i=1
V
x
i
,b
=: W
b
T
Y
, por lo tanto
X {b}

i=1
V
x
i

W
b
U.
Luego, para todo b Y existe W
b
V(b), es decir,

bY
W
b
es un cubrimiento de Y, por
la compacticidad de Y existen b
1
, . . . , b
r
Y tal que Y =

r
k=1
W
b
k
.
CAP

ITULO 5. ESPACIOS COMPACTOS 76

As, obtenemos lo siguiente:
X Y = X

r
k=1
W
b
k
,
=

r
k=1
(X W
b
k
) ,
=

r
k=1

n
j=1
U
i
j

,
=

(r,n)
(k,j)=1
U
(k,j)
.
Por lo tanto X Y es compacto.
Denicion 5.3 Sea X un conjunto. Se dice que una familia de subconjuntos de X satisface
la condicion de interseccion nita, si y solo si, toda interseccion nita de elementos de la
familia es no vaca.
Teorema 5.6 Sea X un espacio topologico. Entonces, X es compacto, si y solo si, toda
familia de cerrados en X que satisface la condicion de interseccion nita.
Demostracion
) Sea C = {F
i
}
iI
una familia de cerrados en X de modo que C satisface la condicion de
interseccion nita, probaremos que

iI
F
i
= . Sea D = {F
c
i
}
iI
, sabemos que para todos
i
1
, . . . , i
n
I con n < , se tiene

n
j=1
F
i
j
= , entonces
n

j=1
F
c
i
j
= X,
es decir, toda union nita de elementos de D no cubre a X, luego, como X es compacto, D
no es un cubrimiento de X, entonces

iI
F
c
i
= X

iI
F
i
= .
) Sea {U
i
}
iI
un cubrimiento de X, supongamos que no existe un subcubrimiento nito
de X, es decir, para todos i
1
, . . . , i
n
con n < se tiene que

n
j=1
U
i
j
= X, de otro modo,

n
j=1
U
c
i
j
= . Entonces D = {U
c
i
}
iI
es una familia de cerrados que cumple la condicion de
interseccion nita, por lo tanto

iI
U
c
i
= , entonces

iI
U
i
= X,
lo cual es una contradiccion, pues {U
i
}
iI
es un cubrimiento de X.
Esto demuestra el teorema.
CAP

ITULO 5. ESPACIOS COMPACTOS 77

Teorema 5.7 Todo intervalo cerrado en R es compacto.
Demostracion Sean I
y
x
= [x, y] con x < y, un intervalo cerrado en R y C = {U
i
}
iI
un
cubrimiento de I
y
x
. Denamos el siguiente conjunto:
C :=

t I
y
x
| I
t
x
tiene un subcubrimiento nito de C

.
Tenemos que existe i
o
I tal que x U
i
o
, luego C = ya que
x C I
y
x
, [x, x] = {x} U
i
o
C.
Probemos ahora que sup C = y, supongamos que sup C =: s < y, como s I
y
x


iI
U
i
,
existe j
o
I tal que s U
j
o
, ademas, como U
j
o
es abierto, existe > 0 de modo que
]s , s + [ U
j
o
. Como s es el supremo y > 0, existe t M tal que s < t < s, es
decir, existe > 0 tal que
< , t = s M.
Luego, existen i
1
, . . . , i
n
I tal que [x, s ]

n
k=1
U
i
k
por lo tanto
[x, s +] [x, s ] [s , s +]

k=1
U
i
k

U
j
o
=
n+1

k=1
U
i
k
,
donde i
n+1
:= j
o
. Lo cual es una contradiccion, ya que s es el supremo.
Por lo tanto s = y, es decir I
y
x
es compacto.
Teorema 5.8 Sea F R. Entonces, F es compacto, si y solo si, F es cerrado y acotado.
Demostracion
) Sabemos que R es un espacio metrico, luego Hausdor. Ademas, por Teorema 5.3,
si F es compacto, entonces es cerrado, basta probar luego que F es acotado. Sabemos que
F

rR
] r, r[, pero F es compacto, por lo tanto, existen r
1
, . . . , r
n
R con n < , de
manera que F =

n
i=1
] r
i
, r
i
[, llamemos R = {r
i
}
n
i=1
y sea r = max R, luego se tiene lo
siguiente:
F =
n

i=1
] r
i
, r
i
[] r, r[,
por lo tanto F es acotado.
CAP

ITULO 5. ESPACIOS COMPACTOS 78

) Sea F un conjunto cerrado y acotado, entonces, existe m R
+
tal que para todo par
de puntos x, y F, d(x, y) < m, luego para x
o
F obtenemos:
F [x
o
m, x
o
+ m] =: K,
como F es un cerrado dentro de un compacto K, por Teorema 5.2, F es compacto.
Teorema 5.9 Sean X un espacio topologico compacto y f : X R una funcion continua.
Entonces, existen a, b X tal que para todo x X, f(a) f(x) f(b).
Demostracion Sea x X, como X es compacto, entonces, por Teorema 5.4, f(X) es
compacto, luego, por Teorema 5.8, f(X) es cerrado y acotado. Supongamos que s = sup f(X)
f(X), entonces s f(X)
c
un abierto, luego, existe > 0 tal que s ]s , s + [ f(X)
c
,
lo cual es una contradiccion ya que s es cota superior de f(X) y s es el supremo. Por lo
tanto s f(X), luego, existe b X de modo que f(b) = s, entonces para todo x X, se tiene
f(x) f(b). Analogamente probamos que existe a X tal que f(a) = r =nf f(X) f(X) y
as
f(a) f(x) f(b),
para todo x X.
5.1. Espacios Localmente Compactos
Denicion 5.4 Sea X un espacio topologico y x X
1. Se dice que X es localmente compacto en x, si y solo si, existen U V(x) y K compacto
en X tal que
x U K X.
2. Se dice que X es localmente compacto, si y solo si, X es localmente compacto en x, para
todo x X.
Ejemplo 5.3 El espacio real R no es compacto, pero es localmente compacto, en efecto, para
todo x R se tiene lo siguiente:
x ]x 1, x + 1[ [x 1, x + 1], ]x 1, x + 1[ V(x), I
x+1
x1
compacto.
CAP

ITULO 5. ESPACIOS COMPACTOS 79

En general, R
n
no es compacto, ya que el cubrimiento por abiertos B(0, m) con m N,
no tiene subcubrimiento nito, pero es locamente compacto.
x

]x
i
1, x
i
+ 1[

[x
i
1, x
i
+ 1]
Teorema 5.10 (Compacticacion por un Punto) Sea X un espacio topologico.
X es de Hausdor y localmente compacto, si y solo si, existe un espacio topologico Y que
satisface con las siguientes condiciones:
i) X Y.
ii) Y \X contiene un solo punto.
iii) Y es compacto y Hausdor.
Ademas, si Y e Y

son dos espacios similares entonces existe un homeomorsmo h : Y Y

que restringido a X es la identidad.

Demostracion
) Sea Y = X{p} para alg un p X. Denamos una topologa sobre Y que cumpla con
las condiciones anteriores.
T
Y
=

U Y | U T
X
, o existe C X compacto, tal que U = Y\C

.
Claramente X Y y #(Y\X) = #{p} = 1.
Veamos que (Y, T
Y
) es un espacio topologico:
i) Como T
X
entonces T
Y
, ademas, como es compacto en X, se tiene Y \ = Y
T
Y
.
ii) Sean U, V T
Y
, distingamos tres casos:
a) Si U, V T
X
. Entonces U V T
X
T
Y
.
b) Si U T
X
y V = Y \C con C un compacto en X, entonces:
U\C = U C
c
= U Y C
c
= U (Y C
c
) = U V T
y
.
CAP

ITULO 5. ESPACIOS COMPACTOS 80

c) Si U = Y \C
1
y V = Y \C
2
con C
1
, C
2
compactos en X. Claramente C
1
C
2
es un
compacto en X, luego:
Y \(C
1
C
2
) = Y C
c
1
C
c
2
= (Y C
c
1
) (Y C
c
2
) = U V T
Y
.
iii) Sea {U
i
}
iI
una familia de abiertos en Y. Distingamos tres casos:
a) Si U
i
T
X
para todo i I, entonces

iI
U
i
T
X
T
Y
.
b) Si U
i
= Y \C
i
con C
i
compacto en X para todo i I. Sabemos que

iI
C
i
es
compacto en X, entonces:
Y \

iI
C
i

= Y \

iI
C
c
i

iI
(Y C
c
i
) =

iI
U
i
T
Y
.
c) Si I = J

K donde U
j
T
X
para todo j J y U
k
= Y \C
k
con C
k
compacto en
X para todo k K, entonces:

iI
U
i
=

jJ
U
j

kK
(Y\C
k
)

,
=

jJ
U
j

Y\

kK
C
k

,
=

jJ
U
j

Y

kK
C
k

,
= Y

jJ
U
j

kK
C
k

,
= Y \

jJ
U
j

kK
C
k

T
Y
.
Por lo tanto T
Y
es una topologa sobre Y.
Por ultimo resta probar que Y es compacto y Hausdor:
Sea {U
i
}
iI
un cubrimiento de Y, como p Y = X, entonces existe i
o
I y C
i
o
compacto
en X, tal que p U
i
o
= Y \C
i
o
, ademas Y = C
i
o

(Y \C
i
o
). Recordemos que cada U
i
puede
ser de dos formas:
U
i
= U
i
T
X
, U
i
= (Y C
c
i
),
Luego interseccion con X
U
i
X T
X
, U
i
X = (Y C
c
i
) X = X C
c
i
T
X
,
es decir, abiertos en X. Luego
C
i
o

iI\{i
o
}
U
i

iI\{i
o
}
(U
i
X) ,
CAP

ITULO 5. ESPACIOS COMPACTOS 81

como C
i
o
es compacto, existen i
1
, . . . , i
n
I tal que
C
i
o

n

j=1
(U
i
j
X)
n

j=1
U
i
j
.
Por lo tanto
Y = C
i
o

(Y \C
i
p
)
n

j=1
U
i
j
U
i
o
=
n

j=0
U
i
j
,
esto demuestra que Y es compacto.
Sean x, y Y, si x, y X, como X es Hausdor entonces existen V
x
, V
y
T
X
T
Y
tal
que x V
x
, y V
y
y V
x
V
y
= , ahora si x X e y = p entonces, como X es localmente
compacto, existen U T
X
T
Y
y K compacto en X de modo que
x U K X, y = p Y \K T
Y
, U (Y \K) = ,
por lo tanto Y es un espacio de Hausdor.
Claramente, si Y
1
, Y
2
son espacios similares tal que
Y
1
= X {p
1
}, Y
2
= X {p
2
}, p
1
, p
2
X,
entonces existe un homeomorsmo h : Y
1
Y
2
denido como sigue
h(x) =

x si x X
p
2
si x = p
1
, x Y
1
.
) Sea Y = X {p} con p X un espacio topologico con las propiedades i), ii) y iii),
probemos que X es un espacio de Hausdor localmente compacto:
Sean x
1
, x
2
X Y luego, existen V
1
, V
2
T
Y
tal que x
1
V
1
, x
2
V
2
y V
1
V
2
= ,
basta considerar x
i
U
i
= XV
i
T
X
para i = 1, 2 y claramente U
1
U
2
= , por lo tanto
X es de Hausdor.
Sea x X Y, como Y es de Hausdor, existen U, V T
Y
tal que x U, p V y
U V = , entonces
x U V
c
,
como V
c
es cerrado en Y entonces es compacto, ya que Y es compacto, luego X es localmente
compacto.
CAP

ITULO 5. ESPACIOS COMPACTOS 82

Ejemplo 5.4 Sea p = , entonces:
1. Y = R {} = S
1
.
2. Y = R
n
{} = S
n
.
Teorema 5.11 Sea X un espacio de Hausdor. Entonces, X es localmente compacto, si y
solo si, para todo x X y todo U
x
V(x), existe V
x
V(x) de modo que V
x
es compacto y
ademas:
x V
x
U
x
.
Demostracion
) Trivial.
) Sea x X y U
x
V(x). Consideremos Y = X

{} con la topologa de compactica-

cion por un punto, entonces Y es compacto y Hausdor, ademas U
x
T
Y
, luego U
c
x
= Y \U
x
es cerrado y por lo tanto compacto. Por Proposicion 5.1, existen V, W T
Y
de modo que:
U
c
x
V, x W, V W = ,
entonces, x W V
c
U
x
. Como V
c
es cerrado e Y es compacto, entonces V
c
es compacto,
luego, basta considerar V
x
= V
c
, as obtenemos x V
x
U
x
.
Corolario 5.1 Sean X un espacio topologico de Hausdor y localmente compacto, y A X.
Si A es abierto o cerrado, entonces A es localmente compacto.
Demostracion
Caso 1: Si A es cerrado, consideremos x A X. Como X es localmente compacto,
existen U V(x) T
X
y K un compacto en X de modo que
x U K X,
entonces x UA KA, pero K

= KA es cerrado en A y esta contenido en el compacto

K, entonces K

es compacto, ademas, U

= U A es abierto en A, luego x U

, por
lo tanto A es localmente compacto.
CAP

ITULO 5. ESPACIOS COMPACTOS 83

Caso 2: Si A es abierto, consideremos x A, como A T
X
y X localmente compacto,
entonces, por Teorema 5.11, existe V
x
V(x) compacto tal que
x V
x
A,
por lo tanto A es localmente compacto.
Corolario 5.2 Sea X un espacio topologico. Entonces, X es homeomorfo a un subespacio
abierto de un espacio compacto y de Hausdor, si y solo si, X es localmente compacto y de
Hausdor.
Demostracion
) Supongamos que X es localmente compacto y de Hausdor. Consideremos Y = X{}
y el homeomorsmo inclusion : X Y, luego X es homeomorfo a (X) = X T
X
T
Y
,
donde Y es compacto y de Hausdor (Teorema 5.10).
) Supongamos que X es homeomorfo mediante f a A un subespacio abierto de Y el cual
es compacto y de Hausdor. Como Y es de Hausdor entonces A lo es, as X lo es.
Ademas, dado x A Y, como A es abierto e Y compacto, existen U V(x) y K un
compacto, tal que
x U A Y = K,
por lo tanto X es localmente compacto.
Recordemos: Sea (X, T) un espacio topologico, de modo que todo singleton en X es cerrado.
Se dice que:
1. X es un espacio regular, si y solo si, para todo A cerrado de X y todo x A
c
, existen
U, V T de manera que x U y A V.
2. X es un espacio normal, si y solo si, para todos A, B cerrados y disjuntos en X, existen
U, V T tales que A U y B V.
Teorema 5.12 Si X es compacto y Hausdor, entonces X es normal.
CAP

ITULO 5. ESPACIOS COMPACTOS 84

Demostracion Sean A, B cerrados y disjuntos en X, por Teorema 5.2, A, B son compactos.
Sea x A, luego existen U
x
V(x) y W
x
T
X
) tal que U
x
W
x
= , proposicion 5.1, es
decir,
B W
x
T, U
x
W
x
= , x A,
entonces A

xA
U
x
, como A es compacto, existen x
1
, . . . , x
n
X tal que A

n
i=1
U
x
i
,
luego, basta considerar U =

n
i=1
U
x
i
, ademas denamos W =

n
i=1
W
x
i
.
Claramente se tiene que B W y A U, ademas
U W = (
n
i=1
U
x
i
) (
n
j=1
W
x
j
) =
n
i=1
(U
x
i
(
n
j=1
W
x
j
)) =
Por lo tanto X es normal.
Teorema 5.13 (Lema de Urysohn) Sea (X, T) un espacio topologico normal y A, B ce-
rrados disjuntos. Entonces, existe f : X [0, 1] continua, tal que
f(A) = {0}, f(B) = {1}.
Demostracion Sea P = Q [0, 1] un conjunto numerable y ordenado. Denamos una
sucesion {P
j
}

j=i
de la siguiente manera:
Como A B = , entonces
A B
c
=: U
1
T, P
1
:= {1}.
Como X es normal, A es cerrado y U
1
abierto, entonces, existe U
0
T tal que
A U
0
U
0
U
1
, P
2
:= {0, 1}
Donde s
3
es el siguiente a 0 en P
A U
0
U
0
U
s
3
U
s
3
U
1
, P
3
= {0, s
3
, 1}.
De esta manera construimos U
s
n
, donde s
n
es el siguiente a s
n1
en P. As, el termino
n-esimo viene dado por P
n
= {0, s
3
, s
4
, . . . , s
n
, 1} (los primeros n n umeros de la sucesion),
donde
A U
0
U
0
U
s
i
U
s
i
U
1
= B
c
.
CAP

ITULO 5. ESPACIOS COMPACTOS 85

Es una sucesion denida por recurrencia U
s
j
, estan denido para todo s
j
P
El conjunto {U
t
| t P
n
} es ordenado por inclusion, tal como los respectivos subndices
en la recta real, notemos ademas que P
n
{s
n+1
} = P
n+1
[0, 1].
Luego, como s
n+1
= 0 = mnP
n+1
y s
n+1
= 1 = max P
n+1
, existen p, q P
n+1
de modo
que p < s
n+1
< q. Usando la denicion U
s
n+1
tenemos que
U
p
U
s
n+1
U
s
n+1
U
q
. (5.1)
As armamos que (5.1) se cumple para todo p, q P
n+1
P.
A
U
p
U
q
B
Podemos tambien extender la denicion de U
i
a todo i Q como sigue:
V
i
=

si i < 0
U
i
si 0 i 1
X si 1 < i
de modo que (5.1) sigue siendo cierto.
Para cada x X denamos Q(x) = { i Q | x V
i
}, notese que este conjunto no con-
tiene valores menores que cero, ya que V
i
= para i < 0. Ademas, si i > 1, x V
i
= X
para todo x X, entonces Q]1, [ Q(x), por lo tanto Q(x) es acotado inferiormente y
la mayor de sus cotas inferiores esta en [0, 1], esto nos permite denir la siguiente funcion:
f : X [0, 1], f(x) =nf (Q(x)) .
Notemos que, si x A entonces f(x) = 0 ya que A V
0
V
i
, i 0, por otro lado, si x B
se tiene x V
1
= B
c
y as x V
i
para i > 1, luego f(x) = 1.
CAP

ITULO 5. ESPACIOS COMPACTOS 86

Veamos ahora que f es continua:
Para esto primero probemos que
x V
r
f(x) r, x V
r
f(x) r. (5.2)
Ya que:
Si x V
r
, entonces x V
s
para todo s > r, por lo tanto ]r, [ Q Q(x), luego
f(x) =nf(Q(x)) r.
Si x V
r
, entonces x V
s
para todo s < r, por lo tanto (] , r[ Q) Q(x) = , luego
f(x) =nf(Q(x)) r.
Sean ]a, b[ [0, 1] abierto, x f
1
(]a, b[), entonces a < f(x) < b, luego, existen p, q Q
de modo que
a < p < f(x) < q < b,
como p < q entonces V
p
V
q
.
Denimos V = V
q
V
p
es un abierto, y el contrapositivo de (5.2) obtenemos lo siguiente
f(x) > p x V
p
, f(x) < q x V
q
.
por lo tanto x V.
Ademas, si y f(V) entonces existe z V X tal que f(z) = y, luego z V
q
V
q
implica que f(z) q, y z V
p
implica que f(z) p, por lo tanto
f(z) [p, q] ]a, b[, f(V) ]a, b[.
Esto prueba que f
1
(]c, d[) T, concluyendo la demostracion.