4.

Conexi
on y Compacidad
Qu
e es un conexo?
A no ser que usemos la ortografa del noroeste, la notacion debiera ser autoexplicativa:
conexo significa de una pieza, conectado, no separado. Ha habido varias definiciones
matem
aticas de este concepto (G. Cantor 1883, C. Jordan 1893, A. Schoenfliesz 1904)
pero el lenguaje introducido hasta ahora nos lleva indefectiblemente a la universalmente
aceptada en la actualidad (S. Mazurkiewicz 1920).
n: Se dice que un espacio topologico es conexo si no existen dos abiertos,
Definicio
U y V, disjuntos y no vacos tales que X = U V.
Notaci
on: Cuando un espacio no es conexo, se suele decir que los dos abiertos U, V
con las propiedades anteriores, forman una separacion.
n: Se dice que un subconjunto de un espacio topologico es conexo, si lo es
Definicio
con la topologa relativa.
Con estas definiciones se sigue que el vaco siempre es conexo, pero es un caso tan
especial que a veces se le excluye, aunque nosotros no lo haremos. Y es que el miedo a
la nada y al vaco, tan arraigado en el pensamiento anterior (un importantsimo filosofo
y matematico del siglo XVII dijo: No se sabra suponer el vaco sin error), se ha perdido hasta tal punto que estos conceptos son habituales en la Filosofa y Matematicas
contempor
aneas.
Era impensable: para imaginar la nada, era menester encontrarse all, en pleno
mundo, con los ojos bien abiertos, y vivo; la nada s
olo era una idea en mi cabeza,
una idea existente que flotaba en esa inmensidad; esa nada no haba venido antes de
la existencia, era una existencia como cualquier otra, y aparecida despu
es de muchas
otras.

Ejemplo 1: IR con la topologa de Sorgenfrey no es conexo. Basta escribir la separaci

on
IR = U V
con U = (, 0), V = [0, +).
Ejemplo 2: A = (2, 3] [4, 5) no es conexo en IR con la topologa usual porque se
tiene la separacion
A=U V

con U = (2, 3],

V = [4, 5).

Ejemplo 3: En IR con la topologa usual, Q no es conexo.

Q=U V
con U = (, 2) Q, V = ( 2, +) Q.
Ejemplo 4: En cualquier espacio topologico los puntos son conexos.
Ejemplo 5: IR con la topologa cofinita es conexo. Esto es una sencilla consecuencia
de que en esta topologa no hay abiertos disjuntos no vacos.
Por la propia forma de la definicion es mas facil construir ejemplos de no conexos
que de conexos (es mas facil romper una cosa que comprobar que no esta rota). Por
ello, los dos u
ltimos ejemplos son un poco triviales. Notese que aunque es intuitivamente
53

evidente que [0, 1], (0, 1) o IR son conexos con la topologa usual, no esta claro cual es la
demostraci
on. En seguida la veremos pero, para fastidiar y practicar, veamos antes un par
de caracterizaciones teoricas de la conexion.
Proposici
on 4.1: Sea X un espacio topologico. Las siguientes afirmaciones son
equivalentes:
1) X es conexo.
2) Los u
nicos subconjuntos de X simultaneamente abiertos y cerrados son y X.
3) No existe ninguna funcion f : X {0, 1} continua y sobreyectiva.
Observaci
on: En 3) se da por supuesto que la topologa en {0, 1} es la inducida por la
usual, que coincide con la discreta.
Dem.: Como ya hemos comentado, es mas sencillo hablar teoricamente de la no
conexi
on que de la conexion, por ello probaremos todas las implicaciones utilizando la
tautologa (a b) (b a).
1) 2) Si hubiera un subconjunto U X abierto y cerrado distinto del vaco y del
total, entonces V = X U tambien lo sera y se tendra que U V = X es una separacion
de X.
2) 3) Si existiera la funcion indicada, se tendra f 1 ({0}) 6= , X (por ser sobreyectiva) y como {0} es abierto y cerrado en {0, 1} (la topologa es la discreta) y f es continua,
se sigue que f 1 ({0}) es abierto y cerrado.
3) 1) Si existiera una separacion, X = U V, entonces la funcion sobreyectiva
f : X {0, 1} definida como
(
0 si x U
f (x) =
1 si x V
sera continua por el Pasting Lemma (Teorema 3.7.4) tomando A = X V = U , B =
X U = V.
La demostracion de que [0, 1] IR es conexo es la base para el estudio de la conexion
en IR con la usual.
Lema 4.2: El intervalo [0, 1] es conexo con la topologa usual.
Dem.: Sea U V = [0, 1] una separacion, donde U y V son abiertos en la topologa
relativa. Podemos suponer 1 V ya que en otro caso bastara intercambiar los nombres
de U y V. Sea s = sup{x U}. Obviamente s [0, 1]. Podemos suponer tambien s 6= 0, 1
ya que estos casos llevan facilmente a contradiccion (s = 0 implicara V = [0, 1] y s = 1
implicara, que V no es abierto porque no existira ning
un entorno de 1 contenido en V).

)(

)( )(
U
54

Si s U, como U es abierto, existe un tal que s (s , s + ) U y se tendra

una contradicci
on porque s < s + /2 U y s no sera cota superior de U. De la misma
forma, si s V entonces s (s , s + ) V y s /2 sera tambien cota superior para
U y por tanto s no sera mnima. En definitiva, s 6 U V lo que contradice que sea una
separaci
on.
En realidad la misma demostracion sirve para extender el resultado.
Proposici
on 4.3: Cualquier intervalo (abierto, cerrado, semiabierto, finito o infinito)
es conexo en IR con la topologa usual.
Observaci
on: Se considera que IR es un tipo de intervalo infinito, IR = (, +). La
manera de tratar con intervalos infinitos es considerar dos puntos que pertenezcan a cada
uno de los abiertos de la separacion y que desempe
nen el papel de 0 y 1 en la demostracion
anterior.
Si A IR no es un intervalo y tiene mas de un punto, existen a < b < c con a, c A,

b 6 A. Con lo cual, A = (, b) A (b, +) A es una separacion. Por tanto

todava podemos redondear mas los resultados anteriores.
Teorema 4.4: Con la topologa usual A IR es conexo si y solo si A = , A = {x}
o A es un intervalo.
Una vez que una misma demostracion mas o menos sencilla ha servido para demostrar
varias cosas, se utiliza el viejo truco en Matematicas, que se podra llamar tener oficio o
experiencia, consistente en inventarse construcciones abstractas (a veces muy abstractas)
donde se pueda aplicar la misma demostracion conocida que a uno no se le habra ocurrido.
Esto sirve, al menos, para que las hemerotecas de las facultades esten llenas de artculos
de investigaci
on independientemente de los progresos que se hagan.
Profesionales de la experiencia? [...] Todo lo que pasaba a su alrededor empez
oy
concluy
o fuera de su vista; largas formas oscuras, acontecimientos que venan de lejos
los rozaban r
apidamente, y cuando quisieron mirar, todo haba terminado ya. Y a los
cuarenta a
nos bautizan sus peque
nas obstinaciones y algunos proverbios con el nombre
de experiencia; comienzan a actuar como distribuidores autom
aticos: dos c
entimos en
la ranura de la derecha y se obtienen preciosos consejos que se pegan a los dientes como
caramelos blandos.

Lo dicho. Nos inventamos un sitio donde repetir la demostracion del lema. Primero
necesitamos que exista un orden en el que se pueda hallar el supremo y despues que se
pueda meter un elemento entre otros dos (s /2 entre s y s o s + /2 entre s y s + ).
n: Se dice que un espacio topologico X con la topologa del orden es un
Definicio
continuo lineal si se cumple:
1) X tiene la propiedad del supremo.
2) Si x, y X con x < y, entonces existe z X tal que x < z < y.
Observaci
on: Recordamos que la propiedad del supremo afirma que todo subconjunto
de X acotado superiormente (por un elemento de X) admite una cota superior mnima
(supremo) en X.
La copia de la proposicion anterior es:
55

Proposici
on 4.5: En un continuo lineal cualquier intervalo es conexo.
Observaci
on: De nuevo se admiten los conjuntos {x X : x > a}, {x X : x < a},
{x X : x a}, {x X : x a}, X, los cuales se consideran intervalos infinitos.
Ejemplo: X = [0, 1] [0, 1] con la topologa del orden lexicografico es conexo. La
segunda propiedad de continuo lineal es obvia. La primera requiere pensarla un poco mas.
Si A X y sx es el supremo de las equis, esto es, sx = sup{x : (x, y) A}, y la vertical
x = sx tiene intersecci
on no vaca con A, entonces
supremo de A = (sx , sup{y : (sx , y) A}).
Si la intersecci
on es vaca el supremo es
supremo de A = (sx , 0).
En cualquier caso siempre existe.














































































A













































































 


 


 







 


 



 A


 


 






 


 








Ejemplo: X = (1, 0] [1, 2) no es un continuo lineal (con el orden usual) porque

0, 1 X pero no existe z X tal que 0 < z < 1. De hecho, X no es conexo porque (1, 0]
y [1, 2) forman una separacion. Notese que ambos son abiertos en la topologa del orden:
(1, 0] = {x X : x < 1} y [1, 2) = {x X : x > 0}.
Ejemplo: X = (1, 0](1, 2) es un continuo lineal y por tanto conexo con la topologa
del orden. La segunda propiedad es obvia. La propiedad del supremo esencialmente se
sigue de la de IR siempre que el subconjunto considerado, A, este separado del extremo
derecho x = 2. Pero, por que podemos suponerlo as? por que A = (1, 2) X no
contradice la propiedad del supremo? Evidentemente A = (1, 2) no tiene supremo, pero
tampoco esta acotado superiormente por ning
un elemento de X, as que no invalida la
propiedad del supremo.
Obviamente ninguno de los dos espacios anteriores es conexo con la usual.
Como debiera estar claro a estas alturas, un espacio es conexo si no esta roto en
trozos. Para caracterizar matematicamente dichos trozos, podemos decir que dos puntos pertenecen al mismo trozo (estan relacionados) si existe un conexo en el que estan
contenidos. La definicion rigurosa da un poco de miedo pero no mucho.
n: Sea la relacion de equivalencia en un espacio topologico X dada por
Definicio
x y A X conexo con x, y A. Se llaman componentes conexas de X a cada una
de las clases de equivalencia.
Observaci
on: Se puede probar que la componente conexa de A a la que pertenece
x A es el mayor (en el sentido de la inclusion) subconjunto conexo de A que contiene a
x (ejercicio).
56

Ejemplo: X = (2, 3) [5, 6) tiene dos componentes conexas (con la topologa usual):
C1 = (2, 3) y C2 = [5, 6) porque cada par de puntos x, y C1 o x, y C2 estan dentro del
conexo C1 o C2 , y si x C1 , y C2 no existe A X conteniendo a ambos (por que?
Demostrarlo rigurosamente).
Si uno se inventa muchos ejemplos, parece que las componentes conexas son siempre
abiertas, pero no es cierto.
Ejemplo: En X = Q (con la topologa usual) las componentes conexas son los puntos.
La razon es simplemente que los u
nicos subconjuntos conexos de Q son los puntos (y el
vaco) ya que si A Q tiene al menos dos puntos, x < y, tomando x < z < y con

z IR Q, (, z) A (z, +) A sera una separacion.

57

Un circo de conexos, aros en llamas y tartas

Ahora que tenemos el juguete nuevo de la definicion de conexion, veremos en esta
secci
on como funciona, como se articula ante las manipulaciones que conocemos. Ademas
terminaremos obteniendo un resultado notable que puede aplicarse para justificar algunas
afirmaciones no matematicas. Aunque seg
un dijo un filosofo ilustre e ilustrado: Hay que
confesar que los inventores de las artes mecanicas han sido mas u
tiles a la humanidad que
los inventores de silogismos.
Romper no es una transformacion continua, as que las funciones continuas deben
respetar las cosas de una pieza.
Proposici
on 4.6: Si X es conexo y f : X Y es continua, entonces f (X) = Im f
es conexo.
Dem.: Si Im f = U V fuera una separacion de Im f , entonces f 1 (U) f 1 (V) lo
sera de X.
Ejemplo: S 1 es conexo (con la topologa usual) porque es la imagen de la funcion

f : [0, 1] IR2 con f (x) = cos(2x), sen (2x) .

Si pegamos entre s cosas que son de una pieza, el resultado sigue siendo de una pieza.
\
[
Proposici
on 4.7: Si A X son subconjuntos conexos y A 6= entonces A
es conexo.
S
T
Dem.: Supongamos que U V = A fuera una separacion y sea x A . Podemos
suponer (quiza intercambiando los nombres) x U . Debe cumplirse A U , porque si no
(A U) (A V) sera una separacion de A . Pero si cualquier A esta contenido en
S
U, lo mismo ocurre con A y por tanto V = .
Ejemplo: Como en el ejemplo anterior, cada circunferencia Cr = {(x, y) : (x r)2 +
y 2 = r2 } con 0 < r 1, es conexa, por tanto el crculo (x 1)2 + y 2 1 (que es la union
de ellas) tambien lo es.


































































Una vez que sabemos que un crculo es conexo, mediante aplicaciones continuas, sabe

mos que todos lo son. De la conexion de B (0, 1), 1 y las funciones f+ , f : B (0, 1), 1
p
IR3 , con f = 1 x2 y 2 , se sigue que la parte superior e inferior de una esfera son
conexos y, por la proposicion anterior, la superficie esferica tambien lo es. Mas adelante
veremos una demostracion mas directa.
Ejemplo:
usual:

Se llama espacio peine al siguiente subconjunto de IR2 con la topologa

P = ([0, 1] {0}) ({1/n : n ZZ+ } [0, 1]) ({0} [0, 1]).
58

Para los que no esten acostumbrados a tantos productos cartesianos, no es mas que un
peine con mango entre (0, 0) y (1, 0) y p
uas de longitud uno sobre (0, 0) y cada punto de
la forma (1/n, 0).

(0,0)

(1,0)

Cualquier p
ua es conexa (es como [0, 1]) y la union de ella con el mango tambien lo
es (por la proposicion). Como P es la union de todos estos peines unip
ua, de nuevo por la
proposicion, es conexo.
Proposici
on 4.8: Si A X es un subconjunto conexo entonces cualquier subconjunto B X con A B A, es tambien conexo.
Dem.: Si U V fuera una separacion de B, entonces A U o A V (en otro caso
(A U) (A V) sera una separacion de A). Digamos que A U, entonces A X V
porque X V es cerrado y contiene a A. Pero esto implicara B X V y por tanto
U V no sera una separacion.
Corolario 4.9: Si A es conexo, A tambien lo es.
Corolario 4.10: Las componentes conexas de un espacio topologico son conjuntos
cerrados.
Dem.: Si C es una componente conexa, es conexa (por que? No es totalmente obvio)
y, por el corolario anterior, C tambien es conexo. Pero esto implica que C C (ya que
x y para todo x, y C) y en consecuencia C = C.
Ejemplo: El subconjunto de IR2 (con la topologa usual) definido como

S = {(x, y) IR2 : x > 0, y = sen (1/x)} {(x, y) IR2 : x = 0, y [1, 1]}

es conexo, porque S = A con A = {(x, sen (1/x)) : x > 0} y A es conexo porque es la

imagen de la funci
on continua f : (0, +) IR2 , con f (t) = (t, sen (1/t)).
Notaci
on: A veces se llama al conjunto S o a algunas peque
nas variaciones de el,
curva seno del topologo porque sirve para que los topologos den algunos ejemplos y contraejemplos.
59

Proposici
on 4.11: Sean X1 , X2 ,. . . , Xn espacios topologicos (no vacos). El espacio
producto X1 X2 . . . Xn es conexo si y solo si X1 , X2 ,. . . , Xn lo son.
Observaci
on: Este resultado tambien se extiende a productos cartesianos infinitos, pero
como ni siquiera hemos definido la topologa producto en el caso infinito, no entraremos
en ello.
Dem.: ) Es una consecuencia directa de que las proyecciones 1 , 2 ,. . . , n son
continuas (vease la demostracion del Teorema 3.7).
) Basta probarlo para n = 2 y aplicar induccion (repetir el razonamiento n 1
veces).
Sean x1 X1 y x2 X2 . Como X1 y X2 son conexos, X1 {x2 } y {x1 } X2 tambien
lo son, simplemente porque
X1 X1 {x2 }

X2 {x1 } X2

x 7 (x, x2 )

x 7 (x1 , x)

son continuas (de hecho homeomorfismos). Por tanto el subconjunto cruz centrada en
(x1 , x2 )
X2
C(x1 , x2 )
x2

C(x1 ,x2 ) = X1 {x2 } {x1 } X2

x1

X1

es tambien conexo. Moviendo la parte horizontal y dejando la vertical fija, se obtiene

todo el espacio producto:
[
X1 X2 =
C(x1 ,x2 ) .
x2 X2

Como X1 X2 es union de conexos con puntos en com

un (los de {x1 } X2 ), tambien es
conexo.
Ejemplo: IRn es conexo con la usual ya que IRn = IR IR . . . IR.
Ejemplo: El subconjunto de IR2 , (0, 1] (0, 1] {(0, 0)} es conexo con la usual porque
est
a entre (0, 1) (0, 1) y su cierre, y como cada intervalo es conexo su producto tambien.
Ejemplo: La frontera de la bola unidad en IRn+1
S n = {(x1 , x2 , . . . , xn , xn+1 ) IRn+1 : x21 + x22 + . . . + x2n+1 = 1},
con n 1 es conexa (con la topologa usual).
Para comprobarlo tenemos que recordar (o aprender) que la proyeccion estereografica
es una funcion continua p : S n {N } IRn con N = (1, 0, . . . , 0). La receta es que
poniendo IRn justo debajo de S n , p aplica cada punto de S n {N } en la intersecci
on
n
con IR de la recta que une dicho punto con el polo norte, N (a veces p se extiende a
60

pe : S n IRn {} donde IRn {} tiene una topologa que se introducira mas adelante).
De las sencillas formulas analticas racionales para p y p1 se deduce inmediatamente que
p es un homeomorfismo.

n=1

n=2

x
x

p(x)
p(x)

2x
,
1y
4a
a2 4
p1 (a) = 2
, 2
,
a +4 a +4

p(x, y) =

2x
2y
,
,
1z 1z

4b
a2 + b2 4
4a
p1 (a, b) = 2
,
,
.
a + b2 + 4 a2 + b2 + 4 a2 + b2 + 4
p(x, y, z) =

Como IRn es conexo , Im p1 = S n {N } es conexo y S n = S n {N } tambien lo es. En

general, IRn y S n {N } son indistinguibles topologicamente.
Observaci
on: Aunque no tenga que ver con el curso, para amortizar el ttulo de Doctor
1
diremos que p aplica vectores racionales en vectores racionales de norma uno. El caso
n = 1 es interesante para que los que dan clases particulares se inventen problemas de
trigonometra en los que el coseno y el seno sean exactos (sin races). Basta tomar a Q
4 3
4
3
,
cos = , sen =
5 5
5
5
12 5
12
5
a = 3 p1 (3) =
,
cos =
, sen =
13 13
13
13

10
15
10
15 8
8
a=
cos =
p1 ( ) =
,
, sen =
3
3
17 17
17
17
Como aplicacion, si uno quiere hallar las soluciones enteras (no nulas) de la ecuacion
x2 + y 2 = z 2 puede escribir
x 2 y 2
x
x
x2 + y 2 = z 2
+
= 1 : cos = , sen = .
z
z
z
z
Como sabemos hallar cosenos y senos exactos, sabemos hallar muchas soluciones enteras
de x2 + y 2 = z 2 (de hecho todas, si utilizamos pe).
a = 1 p1 (1) =

42 + (3)2 = 52 ,

122 + 52 = 132 ,

152 + 82 = 172 , . . .

Podran aplicarse ideas parecidas a xn + y n = z n para demostrar de manera elemental el

Ultimo
Teorema de Fermat?
Bueno. . . me parece muy interesante.
Lo ha ledo ya en alguna parte?
Por supuesto que no.
De veras, nunca, en ninguna parte? Entonces, se
nor dice, entristecido, es que
no es verdad. Si fuera verdad alguien lo habra pensado ya.

Para terminar veamos una serie de aplicaciones de la conexion.

61

Teorema 4.12: (Teorema de los valores intermedios). Sea X un espacio topologico

conexo e Y un espacio topologico con la topologa del orden y sea f : X Y una
funci
on continua. Si x1 , x2 X cumplen f (x1 ) < f (x2 ), para cualquier y Y con
f (x1 ) < y < f (x2 ) existe x3 X tal que y = f (x3 ).
Dem.: Si no fuera as, y 6 Im f y por tanto

{z Y : z < y} Im f {z Y : z > y} Im f = Im f
sera una separacion de Im f , lo cual no es posible si X es conexo.
Observaci
on: Tomando X = [a, b], Y = IR este es el Teorema de Bolzano que aparece
en los libros de Calculo de primero.
Una vez que hemos probado que cuando se sabe mucho se pueden demostrar rapidamente cosas faciles diciendo unas pocas palabras difciles, veamos algunas consecuencias.
Es notable que de un resultado intuitivamente tan trivial (el teorema de Bolzano) deduzcamos directamente otras que no lo son. Como ya le explico el mismo Pero Grullo a uno
de nuestros poetas, sus verdades y profecas contienen gran parte de la sabidura del siglo.
Corolario 4.13: (Borsuk-Ulam para n = 1). Si f : S 1 IR es una funcion
continua, existen dos puntos antipodales (opuestos) de S 1 que tienen la misma imagen.
Dem.: Nombremos cada punto de S 1 por su angulo en radianes, , de modo que el
antipodal corresponde a + . Consideremos la funcion F () = f () f ( + ). Como
f (0) = f (2), F (0) = F () y por el teorema de los valores intermedios, si F (0) y F ()
tienen signos distintos existe [0, ] con F () = 0.
Una manera mas pintoresca de enunciar este resultado es:
Si calentamos un aro circular siempre existen dos puntos opuestos
con igual temperatura.
El teorema se puede extender a dimensiones mayores (Teorema de Borsuk-Ulam) y
concluir, por ejemplo, que en la superficie de la Tierra siempre existen dos puntos opuestos
con iguales presiones e iguales temperaturas, pero esto es sorprendentemente difcil de
probar (no es un ejercicio si uno no se llama Borsuk o Ulam, que lo demostraron en 1933).
En el proximo captulo daremos una prueba usando tecnicas de Topologa Algebraica (que
para nosotros, debiles discpulos, son tan poderosas como la de Kaito).
Otra consecuencia del teorema de los valores intermedios es:
Es posible cortar por la mitad, con un solo corte de cuchillo, una tarta
circular adornada con chocolate de manera que cada mitad tenga la misma
cantidad de chocolate.
El resultado se extiende a tartas no circulares, en las que los cortes por la mitad no
son diametrales, pero la demostracion es mas difcil (vease el problema del reparto de la
finca en J. Margalef, E. Outerelo Introducci
on a la Topologa Ed. Complutense 1993).
62

La demostracion del resultado tal como esta establecido aqu, es analoga a la del
corolario anterior pero tomando
F () = Chocolate en la mitad de a + Chocolate en la mitad de + a .

Feliz
+

f () f ( + )

Ch() Ch( + )

Tambien se puede obtener un teorema de punto fijo.

Corolario 4.14: (Teorema de Brouwer para n = 1). Si f : [0, 1] [0, 1] es
continua, admite un punto fijo, esto es, existe x [0, 1] con f (x) = x.
Dem.: Considerando F (x) = f (x) x se tiene F (0) 0, F (1) 0 y se puede proceder
como antes.
Una posible interpretaci
on es:
Si tenemos dos cintas metricas de igual longitud y doblamos una
de ellas sobre s misma cuantas veces queramos y las superponemos una
sobre otra, hay un punto que no ha variado de lugar (1).

(1)

(2)

Aunque esto parece increble es cierto. Mas increble todava es su generalizacion a

dimensiones mayores (Teorema de Brouwer). Por ejemplo, por mucho que arruguemos
una hoja de papel, cuando la pongamos sobre el cuaderno habra un punto cuya proyecci
on
no ha cambiado de lugar (2). Al final del curso conseguiremos, con mucha maquinaria,
una demostracion de esta afirmacion. De nuevo, tendremos que esperar a la llegada de la
Topologa Algebraica para demostrarlo.

63

La familia de conexos se multiplica

Hasta ahora hemos considerado que un espacio no esta roto si no se puede separar en
dos trozos (abiertos). Tambien podramos decir que podemos pasear de un punto a otro
del conjunto, o que los habitantes de este espacio, hasta donde llega la vista, no ven ning
un
trozo roto o ning
un punto a donde no pueden ir paseando.
n: Se dice que un espacio topologico, X, es conexo por caminos o conexo
Definicio
por arcos o arcoconexo, si para cada par de puntos x, y X existe un camino conectando
x e y, esto es, una funcion continua : [0, 1] X con (0) = x, (1) = y.
Observaci
on: Fuera del formalismo topologico actual, la conexion por caminos es mas
natural que la conexion y, de hecho, fue introducida antes (K. Weierstrass, alrededor de
1880).
n: Se dice que un espacio topologico, es localmente conexo si para cada
Definicio
entorno de un punto, U(x), existe un entorno conexo V(x) U(x).
n: Se dice que un espacio topologico, es localmente conexo por caminos si
Definicio
para cada entorno de un punto, U(x), existe un entorno conexo por caminos V(x) U (x).
Ahora, aqu tendra que venir el teorema bonito que nos dijese que todas las formas
de ver que algo no esta roto son equivalentes, pero la realidad es mucho mas caotica y
plena de contraejemplos.
Hace buen tiempo, el mar es verde, prefiero este fro seco a la humedad. Poetas!
Si cogiera a uno por las solapas del abrigo, si le dijera ven en mi ayuda, pensara:
Qu
e es este cangrejo? y huira dej
andome el abrigo entre las manos.
Les vuelvo la espalda, me apoyo con las dos manos en la balaustrada. El verdadero
mar es fro y negro, lleno de animales; se arrastra bajo esta delgada pelcula verde hecha
para enga
nar a las gentes.

Casi lo u
nico que se salva son los dos resultados siguientes.
Proposici
on 4.15: Si X es conexo por caminos entonces es conexo.
Observaci
on: Obviamente de este resultado se sigue que localmente conexo por caminos
localmente conexo, pero es una consecuencia tan trivial que no merece el honor de ser
destacada como corolario.
Dem.: Si U V fuera una separacion de X y : [0, 1] X fuera un camino conectando
un punto de U con otro de V, esto es (0) U , (1) V, llegaramos a que 1 (U) 1 (V)
es una separacion de [0, 1], lo cual es imposible.
Ejemplo: Todos los subconjuntos convexos (no sobra una v) de IRn son obviamente
conexos por caminos y por tanto conexos (recuerdese que convexo quiere decir que la recta
que une cada par de puntos del conjunto esta contenida en el). En particular la bola
unidad es conexa, con lo cual podemos tirar a la basura la demostracion enrevesada de
que el disco unidad es conexo, dada en la seccion anterior.
Proposici
on 4.16:
conexo por caminos

Si X es conexo y localmente conexo por caminos entonces es

64

Dem.: Dado x0 X definimos

A = {x X : : [0, 1] X continua con (0) = x0 , (1) = x}.
Por una parte, A tiene que ser abierto porque si y A entonces la conexion local por
caminos implica que existe un entorno U(y) conexo por arcos y por tanto U(y) A.
(N
otese que podemos pegar dos caminos recorriendo primero uno y despues otro como
mencionamos en un ejemplo tras el Teorema 3.7).
Por otra parte, A debe ser cerrado porque si y A existe un entorno conexo por arcos
U(y) A 6= y podemos conectar y con un punto de U(y) A A y este con x0 .
Como A 6= (x0 A) es abierto y cerrado y X es conexo, la u
nica posibilidad es
A = X.
Es posible encontrar ejemplos escandalosamente sencillos de que la conexion local no
implica conexion.
Ejemplo: En IR con la topologa usual, la union de dos intervalos disjuntos, por
ejemplo A = (0, 1) (2, 3), es obviamente no conexo pero cada punto esta contenido en un
entorno conexo: el intervalo al que pertenece.
Un poco mas difcil es ver que conexo no implica localmente conexo. Hay que buscar
un espacio de una sola pieza pero que a un miope le parezca que esta roto.
Ejemplo: El espacio peine (vease la seccion anterior) es, como habamos visto, conexo.
Que vera un miope situado en (0, 1)?
Si tomamos una peque
na bola situada en (0, 1) no
podemos encontrar un abierto dentro de ella que sea
conexo y contenga a (0, 1). La razon es clara: Dicho
abierto debe contener alg
un punto de la forma (1/n, 1),
el cual pertenece a una componente conexa del abierto
distinta de la de (0, 1), as que no puede ser conexo.
(Ejercicio: escribir la demostracion con detalle hasta que
uno se aburra o este seguro de que la puede terminar).
Ejemplo: La curva seno del topologo (vease la seccion anterior) tambien es conexa
pero no localmente conexa. El razonamiento es identico al anterior, aunque puede que la
demostraci
on con todo rigor nos parezca mas complicada.
Por u
ltimo veamos que conexo no implica conexo por caminos.
Ejemplo: X = [0, 1] [0, 1] con el orden lexicografico es conexo pero no conexo por
caminos.
(
(x,1)

Ix
[
0

]
1

65

(x,0)

(0,0)

(1,1)

La idea no es tan complicada como parece en una primera lectura. Si existiera :

[0, 1] X con (0) = (0, 0), (1) = (1, 1), tendra que pasar por todos los valores
intermedios, esto es Im = X. Entonces para cada intervalo vertical en X, Ux =

(x, 0), (x, 1) , 1 (Ux ) sera un abierto no vaco y podramos encontrar un intervalo abierto
Ix [0, 1] tal que (Ix ) Ux . Como los Ix son disjuntos, tendramos que [0, 1] contiene
a una union no numerable de intervalos disjuntos y esto parece imposible. Para cambiar
parece por es, podemos escoger un n
umero racional arbitrario, rx , de cada Ix , con ello
tendramos
x [0, 1] 7 Ix 7 rx Q
que es una aplicacion inyectiva de [0, 1] (conjunto no numerable) en Q (conjunto numerable), lo cual es una contradicci
on. (Lease todo de nuevo hasta creerse la primera frase
del parrafo).
Observaci
on: El ejemplo anterior tambien prueba que localmente conexo no implica
localmente conexo por caminos. (Ejercicio: Tomarse dos analgesicos y contestar por que).
Un poco de cultura matematica (para descansar): No ha sentido el lector un desasosiego desconfiado en la demostracion anterior al introducir rx ? Son los resabios del
axioma de eleccion, o su equivalente el lema de Zorn, que afirma que podemos escoger
un elemento de cada subconjunto de un conjunto (sea o no numerable). Aunque de aspecto
inocente y aunque K. Godel probo que si las Matematicas no llevan a contradiccion sin el
tampoco con el, todos sentimos algo en nuestro interior diciendo no zornicar frente a la
libre eleccion. En general se prefieren, cuando se conocen, pruebas que no usen el axioma
de eleccion, llamadas constructivas. Ademas suponiendolo se deducen cosas tan raras
como que hay subconjuntos acotados de IR3 de los que es imposible definir el volumen o
el teorema de Banach-Tarski, que dice como dividir una esfera en unos cuantos de estos
subconjuntos y volverlos a unir para obtener dos esferas. Una referencia legible y simpatica
es el artculo: R.M. French The Banach-Tarski Theorem Mathematical Intelligencer 10,
4 pp 21-28 (1988).
Ejemplo: Consideremos el espacio P que consiste en quitarle la p
ua mas a la izquierda
al espacio peine pero dejando los extremos. Esto es,
P = P {(x, y) IR2 : 0 < y < 1, x = 0}.
Entonces P es conexo pero no es conexo por caminos. La demostracion tiene su interes
porque se aplica en varias situaciones.
Un breve argumento indirecto para ver que P es conexo pasa por considerar
P = P {(x, y) IR2 : 0 y 1, x = 0}.
Este conjunto es conexo por caminos y por tanto conexo. Como P P P = P ,
se deduce que P tambien es conexo. Ahora, si P fuera conexo por caminos existira
: [0, 1] P tal que (0) = p, (1) = q con p = (0, 1), q = (1, 0). Sea A = 1 ({p}), A
es no vaco (0 A) y cerrado porque {p} lo es. Si probamos que A es abierto, como [0, 1]
es conexo, se concluira A = [0, 1] y sera constante (contradiccion). Si t0 A, al ser
continua podemos elegir un peque
no intervalo abierto I = (t0 , t0 + ) tal que (I) U
66

donde U es un peque
no entorno de p en P. Como (I) es conexo y contiene a p, debe
cumplirse
(I) componente conexa de U conteniendo a p = {p}
de lo cual se deduce que A es abierto.

t0
[

(
t 0

t 0+

Observaci
on: Al aplicar este procedimiento para demostrar que la curva seno del
top
ologo no es conexa por caminos, debemos considerar el conjunto {0} [1, 1] en vez de
{p}. Notese que si suprimimos este conjunto de la curva seno del topologo el resultado es
conexo y conexo por caminos. De alguna forma hemos suprimido los puntos para los que
el u
nico camino posible requerira que nos mareasemos (discontinuidad no evitable).
Existe una relacion entre la conexion local y las componentes conexas.
Lema 4.17: Si X es localmente conexo entonces sus componentes conexas son
abiertas.
Dem.: Dado x X sea U(x) conexo, entonces U(x) esta totalmente incluido dentro
de una componente conexa que contiene a x.
No es difcil deducir de aqu una especie de recproco generalizado debido a H. Hahn
en 1914, el creador de la conexion local (la demostracion es un ejercicio).
Proposici
on 4.18: X es localmente conexo si y solo si las componentes conexas de
todos los conjuntos abiertos son abiertas.
Para terminar diremos que se definen las componentes conexas por caminos de forma
an
aloga a las componentes conexas (salvo que x y significa ahora : [0, 1] X con
(0) = x, (1) = y). Ademas existe una relacion entre componentes conexas y componentes
conexas por caminos resumida en el siguiente trabalenguas.
Proposici
on 4.19: Si X es localmente conexo por caminos, las componentes conexas
coinciden con las componentes conexas por caminos.
En particular, bajo la conexion local por caminos, conexo implica conexo por caminos,
lo cual, aunque estemos curados de espanto con los contraejemplos, parece bastante logico.
Es lo que yo me deca, se
nor. Pero desconfo de m mismo, se necesitara haberlo
ledo todo.

La demostracion es un ejercicio fsico que consiste en ir a la biblioteca y mirar el Teorema 4.4

del captulo 3 del libro de Munkres.

67

Qu
e es un compacto?
La idea intuitiva que hay tras de la definicion actual de compacto es difcil de explicar,
as que el que no tenga ganas de leer tonteras que pase directamente a la definicion.
Que menos que comenzar las tonteras probando un teorema falso . La funcion
f (x) = 1/x es un contraejemplo.
Toda funcion continua f : (0, 1) IR esta acotada.
que

Dem.: falsa Dado > 0, si a (0, 1) por la definicion de continuidad existe un tal

x (a , a + ) (0, 1) |f (x) f (a)| < .

Por peque
no que sea siempre podemos escoger a1 , a2 , . . . , aN (0, 1) (por ejemplo igualmente espaciados) tales que
(a1 , a1 + ) (a2 , a2 + ) . . . (aN , aN + ) (0, 1).
Para x en el j-esimo intervalo se cumple |f (x) f (aj )| < y por consiguiente f (aj ) <
f (x) < f (aj ) + . De aqu, para todo x (0, 1) se tiene
min(f (a1 ) , . . . , f (aN ) ) < f (x) < max(f (a1 ) + , . . . , f (aN ) + )
y f esta acotada superior e inferiormente. ?
Veamos otro teorema falso mas sutil. Un contraejemplo es an = 1/n.
Toda sucesion 0 < an < 1 tiene una subsucesion con 0 < lim ank < 1.
Dem.: falsa Consideremos la coleccion de intervalos (an 1/(2n), an + 1/(2n)) con
P
n = 1, 2, . . .. Cada uno de ellos tiene longitud > 1/n y 1/n = mientras que la longitud
de (0, 1) es 1, por tanto alg
un punto l (0, 1) esta cubierto por infinitos intervalos, digamos
(ank 1/(2nk ), ank + 1/(2nk )), por tanto lim ank = l (0, 1). ?
As que tenemos dos teoremas demostrados que admiten contraejemplos. Si hacemos
caso de la tautologa a a b estas son buenas noticias, porque podemos deducir que
la hipotesis de Riemann y la conjetura de Poincare son ciertas (dos famosas y antiguas
conjeturas no resueltas); pero como tambien a a b, la hipotesis de Riemann y la
conjetura de Poincare son falsas. Acaso se cumple la tontologa a a?
Absurdo: una palabra m
as, me debato con palabras; all llegu
e a tocar la cosa. Pero
quisiera fijar aqu el car
acter absoluto de este absurdo. Un gesto, un acontecimiento en
el peque
no mundo coloreado de los hombres nunca es absurdo sino relativamente: con
respecto a las circunstancias que lo acompa
nan. Los discursos de un loco, por ejemplo,
son absurdos con respecto a la situaci
on en que se encuentra, pero no con respecto a
su delirio. Pero yo, hace un rato, tuve la experiencia de lo absoluto: lo absoluto o lo
absurdo.

Como muchos habran sabido, el error de la primera demostracion tiene que ver con
la continuidad uniforme. El depende de a y y no podemos, en general, escoger el
mismo para valores distintos de a, con lo cual tendramos que haber escrito:
[
(a (a), a + (a)) (0, 1).
a(0,1)

68

Aun as parece que tiene remedio, porque tomando una subcoleccion finita de intervalos
que cubran (0, 1) el resto de la prueba funciona. Pero hay algo no muy claro: quiza con
mala idea pudieramos inventar (a) tal que esa subcoleccion no exista.
En la segunda demostracion, de nuevo la dificultad u
ltima estriba en nuestra intuici
on de que podemos extraer de una coleccion infinita de intervalos abiertos unos cuantos
tales que todos los demas estan debajo.
n: Se dice que un espacio topologico, X, es compacto si todo recubrimiento
Definicio
abierto de X admite un subrecubrimiento finito.
Observaci
on: Aunque este tan claro que no merezca el nombre de definicion, subrayaremos que un recubrimiento abierto es solo una coleccion de abiertos cuya union es todo
el espacio, y un subrecubrimiento es una subcoleccion con la misma propiedad. A veces
abreviaremos recubrimiento abierto por recubrimiento simplemente.
n: Se dice que un subconjunto de un espacio topologico, A X, es
Definicio
compacto si lo es con la topologa relativa.
Observaci
on: N
otese que para subconjuntos podemos
S entender un recubrimiento abierto
como una coleccion de abiertos, U , en X, tales que U A.
Ejemplo: IR no es compacto porque
[
IR =
(n 00 6, n + 00 6)
nZZ
y no podemos suprimir ninguno de los intervalos porque si no alg
un entero quedara sin
tapar.
Ejemplo: A = {1/n : n ZZ+ } IR con la topologa usual no es compacto. Basta
considerar el recubrimiento
[1
1 1
1
A
2, + 2
n 2n n 2n
n
que no tiene subrecubrimientos. Lo mismo podramos hacer en cualquier subconjunto
infinito que herede la topologa discreta.
Ejemplo: A es compacto (con A como antes). Dado un recubrimiento abierto de
A, digamos C, sea U0 C con 0 U0 . Como 1/n 0 se tiene 1/n U0 excepto un
n
umero finito de veces: 1/n1 , 1/n2 ,. . . , 1/nk . eligiendo Uj C con 1/nj Uj , se tiene
Sk
j=0 Uj A.
Ejemplo: (0, 1) IR no es compacto. Basta tomar el recubrimiento.

(1/n, 1) = (0, 1).

n=2

El siguiente ejemplo es mas notable e incluso a veces recibe un nombre que reservaremos para el u
ltimo teorema de la seccion.
69

Lema 4.20: [0, 1] es compacto (con la topologa usual).

Dem.: Dado un recubrimiento abierto, C, de [0, 1] consideramos
s = sup{x [0, 1] : [0, x] puede recubrirse con un no finito de abiertos de C}.
Hay que demostrar s = 1, con ello, quiza a
nadiendo un abierto que recubra [1 , 1],
tendremos un subrecubrimiento finito. Desde luego que s > 0 porque cualquier abierto
que contenga a cero contiene a [0, ] para alg
un > 0. Supongamos que s < 1, entonces
para cualquier U(s) C existe > 0 tal que [s , s + ] U(s). Por la definicion de s,
[0, s ] esta recubierto por un n
umero finito de abiertos del recubrimiento, pero si a estos
les a
nadimos U(s) se tiene un subrecubrimiento finito de [0, s + ], lo cual contradice que
s sea el supremo.
Mir
andolo con cuidado, esencialmente solo hemos usado la existencia del supremo en
la prueba anterior. A base de generalizar se obtiene un resultado mas poderoso.
Proposici
on 4.21: Si X tiene la topologa del orden y la propiedad del supremo,
entonces para cada a, b X, a < b, el intervalo cerrado [a, b] = {x X : a x b} es
compacto.
Ejemplo: [0, 1] [0, 1] con el orden lexicografico es compacto (simplemente coincide
con el intervalo cerrado [(0, 0), (1, 1)]).
Como en el caso de la conexion, veamos como fabricar nuevos compactos a partir de
nuestra peque
na coleccion.
Proposici
on 4.22: Si f : X Y es continua y K X es compacto, entonces
f (K) tambien lo es.
S
Dem.: Si U fuera un recubrimiento de f (K) sin subrecubrimientos finitos entonces
S 1
f (U ) K tendra la misma propiedad.
Proposici
on 4.23:
compacto.

Si F K X con F cerrado y K compacto, entonces F es

Esto es, cerrado dentro de compacto es compacto.

S
Dem.: Si existiera un recubrimiento U F sin subrecubrimientos finitos entonces
S
(X F ) U K tendra la misma propiedad y esto contradice que K es compacto.
Ejemplo: {(1)n /n : n ZZ+ } {0} es compacto porque es un cerrado dentro de
[1, 1] que es compacto.
La compacidad esta relacionada con propiedades de separacion.
Proposici
on 4.24: Sea X un espacio Hausdorff, K un subconjunto compacto y
x X K, entonces existen dos abiertos disjuntos U y V tales que x U y K V.
Dem.: Para cada y K, por ser el espacio Hausdorff, existen dos abiertos disjuntos
Uy , Vy con x Uy , y Vy . De la compacidad de K se sigue que
[

Vy K y1 , y2 , . . . , yN K :

N
[
n=1

yK

70

Vyn K.

Tomando
U=

N
\

U yn ,

V=

n=1

N
[

V yn

n=1

se tiene el resultado deseado.

Corolario 4.25:
siempre cerrado.

En un espacio de Hausdorff cualquier subconjunto compacto es

Dem.: Por la proposicion anterior, cada punto que no este incluido en el compacto
tiene un entorno abierto que tampoco lo esta, as que el complementario es abierto.
Ejemplo: Con la topologa cofinita en IR, U = IR {0} es compacto (ejercicio) pero
U es abierto y no cerrado.
La u
ltima propiedad que veremos es, esencialmente,
X, Y compactos X Y compacto.
[
Y

Despues de pensarlo un poco, hay un camino

l
ogico: Para todo recubrimiento de X Y , al ser
Y compacto, cada vertical {x} Y admite un subrecubrimiento finito. Si escogemos un tubo de la
forma U(x) Y dentro de dicho subrecubrimiento,
un n
umero finito de tubos recubriran X Y ya que
X esta recubierto por un n
umero finito de los U(x)
cuando x vara.

Cuando se intenta poner todo esto en rigor resulta que la existencia del tubo alrededor
de la vertical no es evidente.
Lema 4.26: (Lema del tubo) Sean X, Y espacios topologicos con Y compacto y sea
x X. Si W es un abierto en X Y con {x} Y W entonces existe U abierto en X
tal que {x} Y U Y W.
Observaci
on: El resultado es, en general, falso si Y no es compacto. Por ejemplo, si
X = Y = IR, W = {(x, y) IR2 : y|x| < 1} no existe ning
un tubo contenido en W y
conteniendo a {0} IR.
Dem.: Por la definicion de la topologa producto, podemos escribir
[
W=
U V

donde U , V son abiertos de las bases de X e Y , respectivamente. De la compacidad de

{x} Y (es homeomorfo a Y ) se sigue que un n
umero finito de productos U V sirven
para cubrir este conjunto. Digamos
{x} Y

N
[
n=1

71

Un Vn

con x Un , Y

Vn . Por tanto, tomando como U la interseccion de los Un

{x} Y U Y

N
[

Un Vn W

n=1

y la demostracion es completa.
Proposici
on 4.27: Sean X1 , X2 ,. . . , Xn espacios topologicos (no vacos), entonces
X1 X2 . . . Xn es compacto X1 , X2 , . . . , Xn son compactos.
Observaci
on: Como en el caso de la conexion, el resultado tambien se extiende a
productos cartesianos infinitos. En ese caso se conoce con el nombre de Teorema de
Tychonoff y requiere emplear el axioma de eleccion.
Dem.: Supondremos n = 2 porque el caso general se sigue iterando (por induccion).
) Es una consecuencia de la continuidad de las proyecciones 1 , 2 .
) Fijado x X1 , como la vertical {x} X2 es compacta, de cada recubrimiento de
X1 X2 podemos extraer una coleccion finita, Wx,n , n = 1, 2, . . . , Nx y, por el lema, la
uni
on de estos abiertos debe contener un tubo Ux X2 con x Ux
{x} X2 Ux X2

Nx
[

Wx,n .

n=1

Por otra parte, por la compacidad de X1 , se necesitan un n

umero finito de abiertos Uxm ,
m = 1, 2, . . . , M para recubrir X1 , con lo cual se tiene
X1 X2

M
[

Uxm X2

m=1

xm
M N[
[

Wxm ,n

m=1 n=1

y Wxm ,n es el subrecubrimiento finito buscado.

Una vez que nos hemos ejercitado en la teora y tenemos una fabrica de compactos
con teoremas grandilocuentes, podemos desvelar el gran secreto: la compacidad en IRn es
una solemne tontera.
Teorema 4.28: (Heine-Borel) En IRn (con la topologa y distancia usuales) un subconjunto es compacto si y solo si es cerrado y acotado.
Observaci
on: Este resultado no es cierto en general, si la topologa o la distancia no
son las usuales. Por ejemplo, con la topologa de lmite inferior en IR, [0, 1) es cerrado y
acotado pero no compacto.
Dem.: ) Al ser IRn Hausdorff sabemos que compacto cerrado. La acotacion se
S
sigue de que n=1 B(0, n) es un recubrimiento de cualquier subconjunto (de hecho de IRn )
que no admite subrecubrimientos finitos si el conjunto no esta acotado (por que? Es muy
f
acil).
) Un subconjunto acotado esta incluido en el cubo Cn = [n, n] . . . [n, n] para
alg
un n suficientemente grande. Como Cn es compacto (es producto de compactos) si el
subconjunto es cerrado tambien sera compacto (cerrado compacto compacto).
72

Ejemplo: S n = {(x1 , x2 , . . . , xn+1 ) IRn+1 : x21 + x22 + . . . + x2n+1 = 1} es compacto.

Trivialmente es acotado y se puede probar rapidamente que es cerrado diciendo que
S = f 1 ({1}) donde f : IRn+1 IR es la funcion continua f (x1 , . . . , xn+1 ) = x21 + . . . +
x2n+1 . Este breve argumento demostrando que S n es cerrado tiene un analogo diferencial, el
teorema de la submersion, que permite probar entre otras cosas que S n es una subvariedad
sin necesidad de echar las cartas.
Para terminar, despues de la submersion un poco de subversion:
n

La compacidad en IR subyace a los conceptos de supremo e nfimo que son la base del
An
alisis Matematico y de la misma construccion de los n
umeros reales. Estos conceptos
han sufrido las desconfianzas de muchos matematicos desde la antig
uedad hasta finales
del siglo XIX. Uno de los u
ltimos reaccionarios, criticando duramente los trabajos de
H.F. Heine y K. Weierstrass hacia la definicion de compacidad, fue L. Kronecker, famoso
por su importantsima contribuci
on matematica, por creer solo en los enteros y por
haber acelerado o motivado la demencia de G. Cantor a causa de sus ataques contra el.
Es realmente injusto que diatribas como estas o conflictos entre biografas sean casi la
u
nica oportunidad para que el lector casual pueda atisbar el caracter de algunos grandes
hombres, y es que no hay como morirse o ser un genio para volverse bueno ante todos,
a pesar de la advertencia del Apostol de las Gentes: y si entendiese todos los misterios
de la ciencia [. . . ], y no tengo amor, no soy nada. [. . . ] y si entregase mi cuerpo al fuego,
y no tengo amor, de nada me sirve. Por ejemplo, en un homenaje postumo a un sabio
fallecido en el siglo XVIII se dijo:
Tena por nacimiento tendencia a la mansedumbre e inclinacion
a la tranquilidad [. . . ] Nunca hablaba de s mismo o con desprecio de
otros y nunca dio motivo alguno ni siquiera al mas malicioso observador
de sospechar en el el menor atisbo de vanidad [. . . ] La holgura de que
disfrutaba [. . . ] le dio oportunidades de hacer el bien, oportunidades que
no dejo escapar.
Pero buscando con empe
no se puede encontrar:
Atrabiliario, hosco y malhumorado, nunca reconocio la vala de
sus compa
neros e hizo lo posible por borrar las huellas de los que le
precedieron. Culpable de diez y nueve muertes [. . . ] nunca hubo tantos
nobles est
upidos en la sabia institucion como bajo su mando.
Es curioso que no dejemos de admirar en los libros y en las paredes de los museos a
heroes que, de estar a nuestro lado, llamaramos ruines y degenerados.
Haba cruzado el sal
on Bordurin-Renaudas en toda su longitud. Me volv. Adi
os,
hermosos lirios todo finura, en vuestros santuarios pintados; adi
os hermosos lirios,
orgullo nuestro y nuestra raz
on de ser, adi
os, cerdos.

En la actualidad la definicion de compacto no da lugar a ning

un recelo a pesar de su
car
acter no constructivo, y el Analisis Matematico esta solidamente asentado. Es justo
a
nadir que muchas de las crticas pasadas estaban justificadas por la falta de rigor al
manejar los conceptos infinitesimales, pero en el terreno de las opiniones solo se recuerda
al que a la larga tiene razon.
73

Qu
e buenos son los compactos!
La primera buena propiedad de los compactos no es mas que la generalizacion de uno
de los teoremas b
asicos del Calculo.
Proposici
on 4.29: Sea X un espacio topologico compacto e Y un espacio topologico
con la topologa del orden, entonces cualquier funcion continua f : X Y alcanza un
m
aximo y un mnimo. Esto es, x1 , x2 X : x X f (x1 ) f (x) f (x2 ).
Dem.: Si no alcanzara un maximo, dado y Im f existe z Im f con z > y. As pues,
tenemos el recubrimiento
[
[
Im f =
{y}
{y Y : y < z}.
yIm f
zIm f
Si {y Y : y < z1 } {y Y : y < z2 } . . . {y Y : y < zN } es un subrecubrimiento
finito llegamos a una contradicci
on porque el mayor de los zj esta en Im f pero no pertenece
al subrecubrimiento. Un argumento simetrico sirve para demostrar que tambien se alcanza
un mnimo.
Destacar un resultado tan poco destacado merece alguna batallita.
Con nuestra intuici
on de Calculo real, la existencia de maximos y mnimos puede
parecer bastante trivial pero en espacios suficientemente complejos puede ser difcil de
probar o incluso falsa. Como ilustracion, citaremos el problema de la braquistocrona
(braquis=breve, cronos=tiempo) que consiste en dados dos puntos A, B a diferentes alturas, hallar la forma de un tobogan que los una para que los ni
nos (o mayores) tarden
lo menos posible en bajar. Consideremos tambien el problema de hallar un camino por el
que tardemos el menor tiempo posible para ir de la ciudad C a la D sabiendo que la region
de D, RD (ver la figura), es pantanosa y avanzamos la mitad de rapido que en RC .
C
A

R
B







































































































































































































































































D







































































































































































El primer problema es muchsimo mas difcil (no es un ejercicio si uno no conoce bien
las palabras magicas: Calculo de Variaciones) que el segundo (ejercicio ingenioso). Por
otra parte, el primero tiene solucion entre las curvas diferenciables (un trozo de cicloide) y
el segundo no (una lnea quebrada). En otras palabras, la funcion que asigna a cada curva
diferenciable uniendo dos puntos el tiempo, alcanza un mnimo en el primer caso pero no
en el segundo. En este u
ltimo caso, las curvas diferenciables solo dan aproximaciones a la
soluci
on.
Curiosidades: El problema de la braquistocrona fue un reto de J. Bernoulli (quien lo
resolvi
o primero) a otros matematicos. Al gran genio I. Newton solo se le resistio unas
74

horas (el 29 de enero de 1697) mientras que a G.W. Leibniz seis meses. Sorprendentemente guarda cierta relacion con el segundo problema que hemos mencionado y este con
la refraccion de la luz. Para saber mas, vease V.M. Tikhomirov Stories about Maxima
and Minima Mathematical World. AMS 1990.
Veamos a continuaci
on dos resultados que relacionan la compacidad con otras definiciones del curso.
Proposici
on 4.30: Sean X e Y espacios topologicos con X compacto e Y Hausdorff
y f : X Y , entonces
f es un homeomorfismo f es continua y biyectiva.
Dem.: ) Es trivial.
) Basta probar que f es cerrada ya que esto implicara que f 1 es continua. Si F es
cerrado en X, entonces es compacto y f (F ) tambien lo es. Como Y es Hausdorff, f (F ) es
cerrado.
Ejemplo: La funcion f : X IR2 , con f (x, y) = (x3 (1y 3 )+3x, x3 (1+y 3 )+3x+2)
y X = [1, 2][3, 4] es una inmersion (homeomorfismo sobre su imagen). La sobreyectividad
de f : X f (X) esta asegurada y como X es compacto y f es continua, basta comprobar
que es inyectiva: Si f (x1 , y1 ) = f (x2 , y2 ), sumando ambas ecuaciones y sacando factor
com
un x1 x2 obtenemos x1 = x2 . Sustituyendo en la segunda ecuacion se deduce y1 = y2 .
Proposici
on 4.31: Si X es un espacio topologico compacto y A es un subconjunto
infinito, entonces A0 6= .
Dem.: Supongamos que A0 = , entonces x X U (x) : A U(x) = o A U(x) =
{x}. Cuando x vara en X, los U(x) cubren todo el espacio y por la compacidad de X
podemos escoger U1 , U2 , . . . UN con
AX

N
[

Uj

j=1

Como Uj A tiene a lo mas un elemento, se deduce que A es finito.

Ejemplo: Tomando como A una sucesion acotada, digamos por un n
umero M , y X =
[M, M ] con la topologa usual, se deduce (sin mucho esfuerzo pero no inmediatamente)
el teorema de Bolzano-Weierstrass:
Toda sucesion acotada tiene una subsucesion convergente.
Realmente el resultado se debe a K. Weierstrass en 1860 pero B. Bolzano creo el metodo
de biseccion que a veces se usa en la demostracion y contribuyo ampliamente a la fundamentaci
on del Analisis Matematico y la teora de sucesiones y series. Su libro Paradojas
del infinito de 1850 incluye contraejemplos tan demoledores como
0 = (1 1) + (1 1) + (1 1) + . . . = 1 (1 1) (1 1) . . . = 1.
No esta tan mal habida cuenta que entre los resultados que S. Ramanujan envio a algunos
matem
aticos antes de ser descubierto estaba 1+2+3+4+5+ = 1/12. Que injustos son
los autores que suspenderan a sus alumnos por menos y critican a aquellos matematicos.
Tambien es cierto que esta igualdad tiene alg
un sentido, pero difcil de explicar.
75

Seg
un cuentan algunos libros, en los albores de la historia de la Topologa General (la
que estudiamos hasta este captulo) se deca que eran compactos los espacios en los que se
cumpla el teorema de Bolzano-Weierstrass y se reservaba el nombre de bicompactos a los
que tenan la propiedad de subrecubrimientos finitos. Pero nuevos teoremas, como el de
Tychonoff que solo se cumple para los bicompactos, hicieron que estos se transformaran
en los compactos por antonomasia. Nos podemos creer as la necesidad de los nuevos
compactos con su definicion artificial y la contigencia de los antiguos, pero tambien es facil
dar causas necesarias de la Revolucion Francesa una vez que sabemos que ha ocurrido.
No reflexionar demasiado en el valor de la Historia. Uno corre el riesgo de hastiarse con ella.

En general, en espacios metricos hay una estrecha relacion entre la compacidad, los
puntos de acumulaci
on y propiedades de convergencia de las sucesiones. Todo esta recogido
en el proximo teorema del que separamos una parte de la demostracion que tiene interes
independiente.
Lema 4.32: (Lema del n
umero de Lebesgue) Sea X un espacio metrico en el que
S
toda sucesion tenga una subsucesion convergente y sea U = X un recubrimiento abierto,
entonces existe > 0 (n
umero de Lebesgue) tal que para cualquier x X hay un abierto
del recubrimiento conteniendo a B(x, ).
Dem.: Si no existe tal , para cada n ZZ+ existe xn X tal que B(xn , 1/n) 6 U
para cualquier U del recubrimiento. Sea l el lmite de una subsucesion convergente de
xn , digamos xnk . Sea U0 tal que l U0 . Por ser U0 abierto existe B(l, ) U0 .
Adem
as de la convergencia de xnk a l se deduce que existe k0 suficientemente grande tal
que xnk0 B(l, /2) y 1/nk0 < /2. De aqu
B(xnk0 , 1/nk0 ) B(xnk0 , /2) B(l, ) U0 .
(Se ha aplicado la desigualdad triangular en la inclusion central). Pero esto contradice que
B(xn , 1/n) 6 U para todo n y cualquier U .
Teorema 4.33: Si X es un espacio metrico, las siguientes afirmaciones son equivalentes:
1) X es compacto.
2) Si A X tiene infinitos elementos A0 6= .
3) Toda sucesion en X tiene una subsucesion convergente.
Observaci
on: En espacios que no son metricos las tres afirmaciones no son equivalentes
y constituyen una peque
na familia de los compactos. Los espacios que cumplen 2) se llaman
numerablemente compactos o se dice que tienen la propiedad de Bolzano-Weierstrass y los
que cumplen 3) se llaman compactos por sucesiones o secuencialmente compactos. Esta
familia se completa con localmente compacto que es un termino que no trataremos en este
curso y que significa que cada punto tiene un entorno contenido en un compacto.
Dem.: Ya hemos probado que 1) 2). Por otra parte si se cumple 2), cualquier
sucesi
on debe tener una subsucesion convergente porque si no tendramos un conjunto
infinito sin puntos lmite (Ejercicio: Completar los detalles. Aunque no lo parezca, se
necesita usar que el espacio es metrico). As que solo queda probar 3) 1).
76

S
Sea U un recubrimiento de X, queremos hallar un subrecubrimiento finito. Por el
lema anterior existira un n
umero de Lebesgue > 0. Tomemos x1 X, x2 X B(x1 , ),
x3 X B(x1 , ) B(x2 , ),. . . etc. Para alg
un N debe cumplirse
X = B(x1 , ) B(x2 , ) . . . B(xN , )
porque si no xn formara una sucesion infinita sin subsucesiones convergentes (todos los
terminos estan separados al menos por ). Eligiendo para cada 1 j N , Uj B(xj , )
S
se tiene que Uj es el subrecubrimiento finito buscado.
Ejemplo: Como X = [0, 1] es compacto y metrico, toda sucesion tiene una subsucesion
convergente y se cumple el resultado del lema del n
umero de Lebesgue. Aplicandolo al

1
recubrimiento de [0, 1] dado por f
(f (a), f (a)+) donde f : [0, 1] IR es continua,
se deduce el teorema de continuidad uniforme: Si f : [0, 1] IR es continua, entonces
f es uniformemente continua, esto es, > 0 > 0 : x (a , a + ) [0, 1]
|f (x) f (a)| < para todo a [0, 1]. Es decir, depende de pero no de a.
Ejemplo: Todo espacio metrico compacto es completo (vease la definicion en el
primer captulo): Por 3), para cada sucesion {xn }
n=1 existe xnk l, esto es, dado > 0,
d(xnk , l) < si nk > N . Si la sucesion es de Cauchy, d(xm , xnk ) < para m, nk > M > N ,
as que por la desigualdad triangular
d(xm , xnk ) < ,
y la sucesion converge a l.

d(xnk , l) <

d(xm , l) < 2 si m > M

Como muestra este ejemplo, la completitud y la compacidad estan muy relacionadas,

de hecho para los espacios metricos totalmente acotados (los que pueden ser recubiertos con
un n
umero finito de bolas arbitrariamente peque
nas), compacto es lo mismo que completo.
Ejemplo: IRn es completo. Cualquier sucesion de Cauchy esta acotada (ejercicio, no
es tan difcil teniendo en cuenta que si los terminos se amontonan no puede haber algunos
que se escapen a infinito) entonces esta incluida en B(~0, R) para alg
un R grande, y este
espacio es completo por ser compacto.
Observaci
on: Como los compactos son tan buenos, a veces conviene ampliar un poco
un espacio no compacto a
nadiendole un punto, normalmente llamado , de manera que
X {} sea compacto. Este nuevo espacio se llama compactificacion de Alexandroff, que
lo introdujo en 1924, cuando se le dota con la topologa dada por
(
U es abierto en X
si 6 U
U abierto en X {}
X U es compacto en X
si U .
Por ejemplo, (a, b) y IR [a, b] {} son abiertos tpicos de la compactificacion de IR.
Esto es como pegar e en un solo infinito, de manera que IR {} con la topologa
de la compactificacion de Alexandroff es homeomorfo a S 1 y, en general, IRn {} a S n
(el homeomorfismo no es mas que la extension de la estereografica).
Para terminar, veamos dos propiedades de los espacios compactos que aparecen en
algunos resultados clasicos.
77

Proposici
on 4.34: Sea X un espacio
T topologico compacto y sean F1 F2 F3 . . .
conjuntos cerrados no vacos, entonces Fj 6= .
Observaci
on: Cuando X y los Fj son intervalos cerrados de la recta real, por razones
obvias, se llama a este resultado teorema de los intervalos
T encajados. Notese que el resultado no es cierto para intervalos abiertos, por ejemplo, (0, 1/n) = .
T
Dem.: Si fuera Fj = ,
[
Uj = X
con Uj = X Fj
sera un recubrimiento abierto y no tendra subrecubrimientos finitos, lo cual es una contradicci
on.
Proposici
on 4.35: Sea X un espacio topologico compacto y Hausdorff y A 6= un
subconjunto tal que A0 = A, entonces A no es numerable.
Observaci
on: A los conjuntos que cumplen A0 = A se les llama perfectos y fueron
introducidos por G. Cantor en 1884. Este resultado implica, por tanto, que los conjuntos
perfectos en compactos Hausdorff son no numerables.
Dem.: De la identidad A = A A0 se sigue que A = A y por tanto A es cerrado.
Si A fuera numerable, digamos A = {x1 , x2 , x3 , . . .}, sea y1 A {x1 } entonces,
por ser el espacio Hausdorff, podemos hallar U1 , V1 disjuntos con y1 U1 , x1 V1 . Por
tanto x1 6 U1 . Como y1 es un punto de acumulacion, (U1 {y1 }) A debe ser no vaco
(de hecho debe contener infinitos elementos), as pues, procediendo de la misma forma
hallamos U2 U1 , V2 disjuntos con y2 U2 A, x2 V2 , con lo cual x2 6 U2 . En general
obtenemos U1 U2 U3 . . . tales que U1 A 6= , U2 A 6= , U3 A 6= ,. . . y x1 6 U1 ,
T
x2 6 U2 , x3 6 U3 ,. . . y esto implica (Uj A) = lo que contradice el resultado anterior.
Ejemplo: Uno de los subconjuntos de [0, 1] mas famosos en Topologa es el conjunto
de Cantor (debido a G. Cantor en 1883) definido por

\
3k + 1 3k + 2
C=
[0, 1]
,
.
3j
3j
k,j=0

Este conjunto es perfecto, lo cual no es una opinion sino una aplicacion de la notacion
antes introducida (ejercicio, no muy facil si uno quiere una solucion breve). Los dos
u
ltimos resultados implican que C es no vaco y no numerable. Para aplicar el primero
se puede considerar como Fj la parte de la interseccion con 0 k 3n1 y n j.
Otras propiedades curiosas del conjunto de Cantor son que sus componentes conexas son
los puntos, que es autosemejante (igual a un par de fotocopias reducidas de s mismo)
y que para cualquier espacio metrico (X, d) existe una funcion continua y sobreyectiva
f : C X. Este increble resultado es el teorema de Hausdorff-Alexandroff. Si uno ya
ha hecho todos los deberes y tiene ganas de mas, puede pasarse por la hemeroteca y tratar
de leer poco a poco el artculo de Y. Benjamini Applications of the Universal Surjectivity
of the Cantor Set American Mathematical Monthly 105 pp 832-839 (1998).
78

Una recta no es redonda, un hombre no es una mujer

En el captulo anterior dijimos que los homeomorfismos establecan una equivalencia entre los abiertos de dos espacios topologicos y, por tanto, entre sus propiedades
topologicas. All hallamos a mano algunos homeomorfismos entre espacios pero como
sabamos muy pocas propiedades y eran demasiado basicas, no pudimos distinguir entre
espacios aparentemente bien distintos. En esta seccion utilizaremos lo que hemos aprendido de conexion y compacidad con este cometido. Despues de todo el rollo teorico de
p
aginas anteriores, nos daremos un respiro sin teoremas, solo con ejemplos. Si no se indica
lo contrario, la topologa empleada sera la (inducida por la) usual.
Ejemplo: Los intervalos en IR: I1 = (a, b), I2 = [a, b] con a < b, no son homeomorfos
porque I2 es compacto pero I1 no lo es.
Ejemplo: El disco unidad abierto en IR2 no es homeomorfo al disco cerrado, porque
el primero no es compacto y el segundo s.
Seguramente muchos esten pensando que estos ejemplos son un poco absurdos porque
un subespacio que es abierto en un espacio mayor no puede ser homeomorfo a otro que no
lo es, pero este argumento no es en general valido (con excepciones, que aqu se aplican,
recogidas en un profundo resultado mencionado al final de la seccion). Para los mas
incredulos, damos un ejemplo de un espacio tal que uno de sus abiertos es homeomorfo a
uno de sus no abiertos.
Ejemplo: Consideremos el siguiente espacio:

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

(0, 2 1/n) IR2 : n ZZ+ .

En este hbrido entre ocho y Manneken-Pis, el subconjunto U = X {(x, y) IR2 : y > 1}
es abierto y homeomorfo a C = X {(x, y) IR2 : 2 y < 1} por medio de la simetra
(x, y) 7 (x, y), pero este u
ltimo conjunto no es abierto en X (por que?). Por cierto, X
no es homeomorfo, por ejemplo, a S 1 porque este u
ltimo conjunto es conexo y X no lo es.
Ejemplo: Sabamos que IR es homeomorfo a cualquier intervalo abierto, (a, b), pero
no puede serlo a ninguno cerrado, [a, b], por la compacidad de este u
ltimo conjunto.
N
otese que ni siquiera puede existir una funcion continua y sobreyectiva f : [a, b]
IR porque f debe alcanzar un maximo y un mnimo. Por otro lado, no solo existe f :
(a, b) IR continua y sobreyectiva, sino que a base de unir curvas de Peano (vease el
final del captulo 42 de M. Kline Mathematical Thought form Ancient to Modern Times
V.III Oxford University Press 1972), se puede obtener f : (a, b) IR2 con las mismas
propiedades, contradiciendo nuestra intuicion acerca del concepto de dimension.
Ahora justifiquemos la primera parte del ttulo.
Ejemplo: S 1 y IR no son homeomorfos, porque uno es compacto y el otro no. De
la misma forma, S n no es homeomorfo a IRn (recuerdes que S n es la frontera de la bola
unidad en IRn+1 ).
79

Cuando ninguno de los espacios que queremos comparar es compacto el problema

de ver si son homeomorfos puede llegar a ser muy difcil. Por ejemplo, seguramente no
existe ninguna demostracion sencilla (sin usar las tecnicas del siguiente captulo) de que
los siguientes espacios, donde D es el disco unidad abierto en IR2 , no son homeomorfos:
X = D {(1, 0)}

 

 

 

 

 

 

 

 

 

 
























































































 














































 







































 




































































 

 

 

 

 

 

 

 

 












































































 

 

 

 

 

 

 

 

 

 

































































































 

 

 

 

 

 

 

 

 




















Y = D {(1, 0)} {(1, 0)}


































































































































































































































































































































































































































Cuando uno de los conjuntos es, en alg

un sentido, unidimensional, la tecnica de
eliminar algunos puntos es muy u
til. El siguiente ejemplo es prototpico.
Ejemplo: Consideremos en IR los espacios X = [0, 1), Y = (0, 1), entonces X e Y no
son homeomorfos (notese que ninguno de los dos es compacto y que ambos son conexos).
Si existiera un homeomorfismo f : X Y , restringiendo al abierto U = X {0} se

tendra que f U : U Y {f (0)} tambien sera un homeomorfismo (por que?). Pero

esto es imposible porque, sea cual sea f (0), U es conexo e Y {f (0)} no lo es.
Ejemplo: IR no es homeomorfo a IRn , n > 1. Si existiera f : IR IRn homeomorfismo, entonces IR {~0} y IRn {f (~0)} seran homeomorfos, pero esto es una contradicci
on
n
porque IR {~0} no es conexo y IR {f (~0)} s lo es. Para justificar rigurosamente esta
u
ltima afirmacion, podemos suponer, por simetra, f (~0) = ~0 y decir que IRn {~0} es conexo
por caminos porque ~x1 , ~x2 se pueden unir con una lnea recta en IRn {~0} si ~x1 6= ~x2 , y
por una quebrada en otro caso.
Ejemplo: S 1 no es homeomorfo a S n , n > 1. Si suprimimos un punto el resultado es
conexo en ambos casos. Necesitamos quitar al menos dos puntos a la circunferencia unidad,
S 1 , para desconectarla. Sean, por tanto, p, q S 1 , p 6= q, entonces S 1 {p} {q} tiene dos
componentes conexas y sin embargo, cualquiera que sea f : S 1 S n , S n {f (p)}{f (q)}
s
olo tiene una (es conexo). Una demostracion rapida de este hecho se reduce a aplicar la
proyecci
on estereografica con f (p) desempe
nando el papel de polo norte y deducir que
n
n
S menos dos puntos es homeomorfo a IR menos un punto.
La simetra de los dos ejemplos anteriores no debiera inducir a confusion: no podemos
especificar a nuestro antojo la imagen de un punto por el posible homeomorfismo.
Ejemplo: Los siguientes espacios

X = (x, y) IR2 : (x + 1)2 + y 2 = 1 (x, y) IR2 : 0 x 1, y = 0

Y = (x, y) IR2 : (x 1)2 + y 2 = 1 (x, y) IR2 : 1 x 0, y = 0

X=

Y=

(0,0)

80

(2,0)

son claramente homeomorfos mediante un giro de 180o o una simetra, pero no puede existir

ning
un homeomorfismo con f (0, 0) = (2, 0) porque X {(0, 0)} tiene dos componentes
conexas mientras que Y {(2, 0)} es conexo.
Dicen que para los angeles y para algunas aves es una tarea difcil distinguir los sexos,
pero con todos los trucos que sabemos ya, es cortar y contar.
Ejemplo: Los siguientes espacios (con la topologa heredada de IR2 y sin considerar
las verrugas) no son homeomorfos:

X=

Y =
q

Si existiera un homeomorfismo f : X Y , consideremos X {p} e Y {f (p)} con p

el centro de la cruz. El conjunto X {p} tiene cuatro componentes conexas y sin embargo
Si f (p) circunferencia{q}

Y {f (p)} es conexo

Si f (p) = q

Y {f (p)} tiene dos comp. conexas

Si f (p) cuerpo de la flecha

Y {f (p)} tiene dos comp. conexas

Si f (p) = r

Y {f (p)} tiene tres comp. conexas

Si f (p) punta de flecha{r} Y {f (p)} tiene dos comp. conexas

con lo cual no hay homeomorfismo posible.
Como u
ltimo ejemplo veamos uno en el que la topologa no es la usual.
Ejemplo: X = (0, 1) [0, 1] con la topologa del orden lexicografico no es homeomorfo
a IR. Quitar puntos no nos lleva a ning
un resultado porque el n
umero de componentes
conexas obtenidas es el mismo, por ello recurrimos a una propiedad mas fina: X no es
conexo por caminos (vimos un ejemplo muy parecido) y IR s lo es.
Para terminar y solo como ilustracion, citaremos un profundo y difcil resultado debido
a L.E.J. Brouwer, llamado Teorema de invariancia del dominio que afirma: Si X1 , X2 IRn
son homeomorfos (con la topologa inducidad por la usual), entonces X1 es un subconjunto
abierto y conexo de IRn si y solo si X2 tambien lo es.
Notaci
on: Muchas veces se llama dominio a un abierto conexo, de ah el nombre del
teorema.
Como aplicacion, IR3 y IR4 no pueden ser homeomorfos, porque si no IR3 {0} y
IR4 tambien lo seran, pero IR3 {0} no es un abierto de IR4 (por que?) y IR4 s lo es.
De la misma forma se deduce que IRn y IRm no son homeomorfos si n 6= m. Nosotros
81

en esta seccion hemos probado que IR y IRn , n 6= 1, no son homeomorfos y el proximo

captulo veremos que tampoco lo son IR2 y IRn , n 6= 2, pero parece que el resto de los casos
requiere artillera pesada (= invariancia del dominio) que se escapa a este pacfico curso.
Esto no es mas de la muestra de lo elusivo que es el concepto de dimension en Matematicas.
Quien tenga curiosidad puede leer el captulo 16 del libro de I. Stewart The problems of
Mathematics Oxford University Press 1987. Despues, o antes, es aconsejable leer tambien
el resto de los captulos del libro porque es magnfico.

82