Escolar Documentos
Profissional Documentos
Cultura Documentos
Preliminares en conjuntos
ia o v
ub a
no
R st
En este primer capı́tulo presentamos de manera sucinta, los conceptos
de la teorı́a de conjuntos que el lector debe tener presente para la
lectura de este texto, con la finalidad de establecer un lenguaje común
u
1
2 CAPÍTULO 0. PRELIMINARES EN CONJUNTOS
ia o
j∈J j∈J
v
4. Suma de una
` familia de conjuntos. También se acostumbra
notar como j∈J Aj y llamarse entonces el coproducto de la
ub a
nofamilia, X
R st
Aj = {(a, j) | a ∈ Aj , j ∈ J}.
j∈J
u
1. Aj 6= ∅.
2. i 6= j implica Ai ∩ Aj = ∅.
S
3. j∈J Aj = X.
La condición 3 dice que A es un cubrimiento de X.
0.2. RELACIONES 3
ia o
Q Q
5. j∈J Aj ⊆ j∈J Bj si y solo si Aj ⊆ Bj para cada j ∈ J.
Q
6. j∈J Aj
Q
7. j∈J Aj
v
T Q
S Q
j∈J Bj =
j∈J Bj ⊆
Q
Q
j∈J (Aj
j∈J (Aj
T
S
Bj).
Bj ).
ub a
S
no S S
8. ( i∈I Ai ) × ( j∈J Bj ) = (i,j)∈I×J (Ai × Bj ).
R st
0.2 Relaciones
u
G
0.2.1 Funciones
Una relación f ⊆ X × Y se llama una función si,
1. dom(f ) = X.
6. f (f −1 (Bi )) ⊆ Bi .
7. Ai ⊆ f −1 (f (Ai )).
ia o
La siguiente afirmación utiliza el concepto de composición de rela-
v
ciones. Sean f : X −→ Y , g : Y −→ X dos funciones tales que
g ◦ f = idX donde idX : X −→ X es la función identidad, entonces g
ub a
es sobre y f es uno a uno.
no
Si H es una familia indizada de funciones
R st
H = {hi : Xi −→ Yi }i∈I
u
Q Q Q
definimos la función producto h = i∈I hi : Xi∈I −→ Yi∈I
como h((xi )i ) := (h(xi ))i .
G
ia o
q i
v X/Rf
?
≈-
hf
f [X]
ub a
no
donde Rf se encarga de igualar los puntos que tienen una misma
R st
imagen, con lo cual hf definido como hf ([x]) := f (x) está bien definido,
es un monomorfismo y por su codominio es un epimorfismo, es decir,
tenemos un isomorfismo con inversa h−1 −1
u
ia o
Si para todo par de elementos x, y existen x ∨ y y x ∧ y, se dice que
v
(X, ≤) es un retı́culo. (X, ≤) es un retı́culo completoW (o reticulado
ub a
completo) si para todo subconjunto S de X existen S = W sup S y
V
no
V S = inf S. Si se quiere resaltar el papel de X se escribe X S y
R st
X S, respectivamente. Nótese que en un retı́culo completo (X, ≤) se
tiene
u
2
Este es el nombre dado por J. Tukey a un principio maximal introducido en
1935 por M. Zorn (1906–1993) aunque principios similares ya habı́an sido intro-
ducidos por otros matemáticos como Hausdorff, Kuratowski y Brouwer.
8 CAPÍTULO 0. PRELIMINARES EN CONJUNTOS
0.3 Cardinalidad
Dos conjuntos X, Y son equivalentes si existe una biyección
f : X −→ Y . Esta es una relación de equivalencia en la colección de
los conjuntos, y a cada clase de equivalencia la llamamos un número
cardinal y la notamos #(X). El cardinal de N lo notamos de manera
especial como ω o ℵ0 . El cardinal de R como c.
X es finito si es equivalente al conjunto {1, 2, 3, 4, . . . , n} para
algún n ∈ N. En caso contrario decimos que X es infinito. Si X es
finito o equivalente a N decimos que X es enumerable o contable.
Sin duda alguna el problema irresoluble más famoso —desde los
axiomas usuales de la teorı́a de conjuntos— es el primer problema
ia o
de Hilbert:
Hipótesis del continuo —Cantor— Si X ⊆ R es no–contable
v
entonces existe una biyección f : X −→ R.
ub a
noSi J es enumerable
S
también lo es j∈J Aj .
y cada conjunto Aj es enumerable, entonces
R st
Tenemos una gran diferencia entre uniones enumerables y produc-
tos enumerables. Si J es enumerable infinito y cada Aj es enumerable,
u
Q
entonces j∈J Aj es no enumerable.
Teorema de Cantor3 . Si ℘(X) —o 2X — denota el conjunto de
G
N O
IA Conjuntos con topologı́a
UB
9
10 Conjuntos con topologı́a
2ε f (c) g(c)
O
c c
N
2δ
que:
O
Definición 1.1. Una topologı́a1 para un conjunto X es una familia
N
T = {Ui : i ∈ I}, Ui ⊆ X
tal que: IA
1. ∅ ∈ T, X ∈ T.
2. i∈F Ui ∈ T para cada F subconjunto finito de I —F b I—.
T
UB
O
En el caso en que X no posea elemento máximo y mı́nimo, basta
considerar tan solo los intervalos acotados (x, y) —¿por qué?—.
N
3. Discreta. Dado un conjunto X definimos T = 2X —partes de
X, también notada como ℘(X)—. Esta topologı́a es llamada la
IA
topologı́a discreta de X —permite que todo sea abierto—. Es la
topologı́a sobre X con la mayor cantidad posible de abiertos.
p ∈ U.
La definición de esta topologı́a se puede extender a cualquier A ⊆ X
y la notamos como IA .
O
•
J1
N
El diagrama muestra cómo es la contenencia entre estas cuatro
topologı́as, ası́ que J2 y J3 no son comparables. J2 = {∅, X, {0}}
IA
se conoce como la topologı́a de Sierpinski2 . Es el espacio más
pequeño que no es trivial ni discreto.
9. Complementos finitos. Dado un conjunto X, definimos la topolo-
UB
gı́a (T, cof initos) como U ⊆ X es abierto si su complemento U c es
finito, o U = ∅. 3 En este ejemplo —como en cada ejemplo donde
los abiertos se definan en términos de cardinalidad— es interesante
tener en cuenta los tres casos, dependientes de que X sea finito,
infinito contable, o infinito no contable.
.R
O
n Número de topologı́as en T(n)
1 1
2 4
N
3 29
4 IA 355
5 6.942
6 209.527
7 9.535.241
8 642.779.354
UB
9 63.260.289.423
10 8.977.053.873.043
11 1816846038736192
12 519355571065774021
13 207881393656668953041
.R
14 115617051977054267807460
15 88736269118586244492485121
16 93411113411710039565210494095
17 134137950093337880672321868725846
G
18 261492535743634374805066126901117203
Tabla 1.1: Número de topologı́as para un conjunto de n elementos.
Ejercicios 1.1
1.2 Abiertos básicos (generando topologı́as) 15
1. ¿Cómo son los cerrados para los espacios del ejemplo 1.2?
• • • • • • • • •
• • • • • • • • •
O
• • •
N
IA
3. Muestre que para un conjunto X, la intersección de topologı́as sobre
X es de nuevo una topologı́a.
{U ∩ V : U ∈ T, V ∈ I}.
Por supuesto para un espacio (X, T), T en sı́ misma es una base de
O
manera trivial; la palabra trivial se justifica porque una de las condiciones
más importantes para una base será exigir que su cardinalidad no sea muy
grande —espacio 2–contable—
N
¿Cómo reconocer que una colección B de subconjuntos de X pueda
ser base para alguna topologı́a? IA
Teorema 1.5. Sea X un conjunto. B ⊆ ℘(X) es base de una topologı́a
para X si y solo si se cumple que
UB
{B : B ∈ B}.
S
1. X =
O
2. Partición. Dada una partición R sobre un conjunto X —o lo que es
igual una relación de equivalencia R— la colección R junto con el
N
conjunto ∅ es una base para una topologı́a sobre X. Un subconjunto
de X es entonces abierto si es union de subconjuntos pertenecientes
a la partición. IA
3. Lı́nea de Khalinsky. En Z definimos la base
[
B = {{2n − 1, 2n, 2n + 1} : n ∈ Z} {{2n + 1} : n ∈ Z}.
UB
x ↑ := [x, →) := {t : x ≤ t},
[
[x, →) ∩ [y, →) = [z, →) para z ∈ [x, →) ∩ [y, →).
z
O
y algún (u, v) en R2 —V es el interior de un rombo en R2 con
centro en (u, v) —.
N
Es un ejercicio verificar que lo que se puede expresar como unión
de elementos de B1 , lo puedo expresar también como unión de
elementos de B2 , con lo cual las dos topologı́as generadas coinciden.
IA
6. De manera más general, en Rn definimos una base B de la manera
siguiente:
UB
B = {Bε (x) : ε > 0, x = (x1 , . . . , xn ) ∈ Rn }
donde,
!1/2
n
.R
X
n
(xi − yi )2
Bε (x) = (y1 , . . . , yn ) ∈ R <ε .
i=1
O
Demostración. Ejercicio.
N
El lector debe verificar que esta relación es de equivalencia sobre el
conjunto de todas las posibles bases para un conjunto X fijo. Ası́ que,
IA
dada una topologı́a sobre X podemos escoger de la clase de equivalencia
que representa esta topologı́a, el elemento base que mejor se acomode a
nuestro interés —canónico—.
Es posible crear la menor topologı́a sobre X que tenga como abiertos
UB
un cubrimiento D dado. Para ello, creamos a partir de esta colección
una base y luego generamos la topologı́a.
Teorema 1.9. Dado un cubrimiento D de X, existe una única topologı́a
T para la cual los elementos de D son abiertos y cualquier otra topologı́a
.R
Ejercicios 1.2
O
Muestre que B = {Bx : x ∈ R} es base de una topologı́a para R2 .
¿Cómo son los abiertos?
N
2. (R2 , triangulares). Dados a, b, c ∈ R, con a > 0, definimos la
región comprendida entre dos rectas
IA
Da,b,c = {(x, y) : y ≥ ax + b y y ≥ −ax + c} ⊆ R2 .
c•
.R
b•
G
O
las abiertas a izquierda. Necesitamos de la no existencia de
máximos.
N
(d) Bi = {x ↓= (←, x] : x ∈ X} genera la topologı́a Ti de las
colas a izquierda cerradas. Esta topologı́a es de Alexan-
droff. También se dice que la topologı́a es generada por los
IA
inferiores x ↓ de cada elemento. Nótese que en este caso no
es necesario que el orden sea total.
Bi también genera a los intervalos de la forma
UB
[
(←, a) = (←, b],
b<a
[
B+ genera: (a, b) = [t, b),
t>a
[
[a, →) = [a, b),
a<b
[
(a, →) = (a, b),
a<b
[
(←, b) = (a, b).
a<b
5
Introducida por R. H. Sorgenfrey (1915–1996) en 1947 para los números reales,
es una fuente de útiles contraejemplos.
22 Conjuntos con topologı́a
2X....
.
............. ...........
.......
.
..... .
. .....
.. ....
.... .....
..... .....
....
J− J+
. ....... . .......
........... ........ ............ ........
..... ..... ...... .....
.......
. ....
..... ......
. .....
. .....
..... ..... ..
..... .....
.... .... .... ..
....
Ji ......... J0. . Jd
.......... .............
...
....
.
.........
.......
......... .. ....
.... ....... .... ..
.... ..... ..... ....
.... .
.....
. ..... ....
.... .... .... .....
. ..... ... ....
Jai Jad
O
Figura 1.3: Contenencias entre topologı́as.
N
valos semiabiertos a izquierda.
B− genera: (a, b) =
[
(a, x],
IA x<b
[
(←, a] = (b, a],
UB
b<a
[
(a, →) = (a, b),
b<a
[
(←, b) = (a, b).
a<b
.R
X = M or(I, I) = {f | f : I −→ I}.
1.3 Vecindades
En la motivación de este capı́tulo, hemos utilizado el término ‘vecindad’
en el contexto de los números reales; hagamos la generalización a espacios
topológicos de acuerdo a la siguiente definición.
O
...................................
................................ ........... .....
...... ........
N
... .... ......
................... ......................... V ....
.
.. . ..... x ...
. .... ...
.... ..... U ... .... ...
...
...
.... .
... ... ..
... ... • x .. ..
.. ..
...
...
....
....
......
.......
IA ... y
..... •
..............................
...
....
.......
........
..
...
.........
............ .......... .........
.....................................................
UB
Figura 1.4: Propiedad 4 de la axiomatización de vecindad.
1. Si V ∈ V(x) entonces x ∈ V .
O
sistema de vecindades de x en el espacio (X, T).
N
Demostración. Definimos U ∈ T si y solo si para cada x ∈ U se tiene que
U ∈ V(x) —U es vecindad de cada uno de sus puntos—. Veamos que en
IA
efecto T es una topologı́a. Por vacuidad vacı́o está en T. Para x ∈ X,
V(x) es diferente de vacı́o y por lo tanto X ∈ V(x). Dado x ∈ U ∩ V
donde U, V ∈ T, tenemos U ∩ V ∈ V(x) ya que U, V ∈ S V(x). Finalmente,
sea {Ui }, (i ∈ I) una familia en T. Dado x ∈ U = {Ui : i ∈ I} existe
UB
i ∈ I tal que x ∈ Ui y como Ui ∈ V(x) por la propiedad 2 tenemos
U ∈ V(x).
Veamos ahora que efectivamente V(x) es el sistema de vecindades de
x en (X, T) para cada x ∈ X. Si Vx es una vecindad de x existe U ∈ T
tal que x ∈ U ⊆ Vx . Como U ∈ T esto significa que U ∈ V(x) y ası́
.R
Vx ∈ V(x).
Finalmente veamos que V(x) hace parte de las vecindades de x en
T. Dada V ∈ V(x) definimos U = {y ∈ V : V ∈ V(y)}; claramente
x ∈ U ⊆ V , ası́ que solo resta mirar que U ∈ T. Por definición, si y ∈ U
G
entonces V ∈ V(y) y por 4 existe W en V(y) tal que V ∈ V(z) para cada
z ∈ W , con lo cual W ⊆ U y por 1 U está en V(y), pero como esto se
tiene para cada y ∈ U , entonces U ∈ T por la definición de T.
Es un ejercicio verificar que la topologı́a T es única.
O
Un espacio (X,T) se llama
espacio de Hausdorff, T2 ,
N
o separado si dado cual-
quier par de puntos x, y ∈
Xexisten vecindades Vx , Vy
IA con Vx ∩ Vy = ∅.
Es decir, en estos espa-
cios podemos separar los
UB
puntos por medio de vecin-
dades disyuntas. El nom-
bre de Hausdorff para es-
ta propiedad, se debe al he-
cho de haber sido el mate-
.R
8
mático alemán Felix Hausdorff (1868–1962) quien la introdujo como un
axioma adicional a los de la proposición 1.13.
Ejercicios 1.3
G
O
(c) V(x) = {X}.
(d) Sea X = N ∪ {ω} donde ω ∈
/ N. Por cada n ∈ N definamos
N
i. V(n) = {A ⊆ X : n ∈ A},
ii. V(ω) = {A ⊆ X : ω ∈ A y Ac es finito}.
IA
(e) Sea X = (N × N) ∪ {ω} donde ω ∈
/ N × N. Por cada (m, n) ∈
N × N definamos:
i. V((m, n)) = {A ⊆ X : (m, n) ∈ A},
UB
O
b (c) ¿Qué relación existe entre la topo-
logı́a usual y la topologı́a de orden
N
asociada al lexicográfico?
(d) ¿Cómo puede Ud. generalizar esta
IA
a c topologı́a a cualquier conjunto orde-
nado?
(e) Trate de observar cómo es esta topo-
logı́a si el conjunto X es el cuadrado
UB
unidad I × I.
9. Muestre que B = {((a, b), (a, c)) : b < c} es también una base para
la topologı́a del orden lexicográfico.
.R
O
Si {Mi }, (i ∈ I) es una familia de elementos de TA , cada Mi = Vi ∩ A
para un Vi ∈ T. Ası́ que, M = ∪i∈I Mi = ∪i∈I (Vi ∩ A) = A ∩ (∪i∈I Vi ) y
N
como ∪i∈I Vi ∈ T tenemos M ∈ TA .
IA
Los abiertos en A se obtienen de interceptar los de X con A.
UB
.R
M = R ∩ (∪i∈I Bi ) = ∪i∈I (R ∩ Bi )
1.4 Nuevos ejemplos: subespacios de un espacio 29
O
Proposición 1.20. Si B = {Bi } es una base para (X, T) entonces D =
{Bi ∩ A : Bi ∈ B} es una base de TA .
N
Demostración. Veamos que tenemos un cubrimiento. Si x ∈ A entonces
x ∈ Bi para algún i y por tanto x ∈ Bi ∩ A. De otra parte, si x ∈
IA
(Bi ∩ A) ∩ (Bj ∩ A) existe Bk ⊆ Bi ∩ Bj lo que implica x ∈ (Bk ∩ A) ⊆
(Bi ∩ A) ∩ (Bj ∩ A).
UB
Un subconjunto abierto en (A, TA ) no tiene porque serlo en (X, T).
Ejemplo 1.21. 1. Sea R con la topologı́a usual. La topologı́a indu-
cida sobre los enteros es la discreta; {n} es ahora abierto, más no
lo era para R. Por tanto, debemos tener cierta discreción cuando
.R
O
el T oro (ver fig. 1.7). Dados a > b dos reales positivos, T está
formado por todas las triplas de la forma
N
((a + b · cosφ)cosθ, (a + b · cosφ)senθ, b · senφ)
cuando φ, θ varı́an en el intervalo [0, 2π]. Nótese que la parte
IA
UB
.R
O
7. Sobre el cuadrado A = I × I = [0, 1] × [0, 1] podemos considerar y
N
comparar tres topologı́as:
p p
• •
.R
G
(a) (b)
Figura 1.8: (a) un abierto en TI×I , (b) un abierto en T .
Ejercicios 1.3
1. ¿Cómo es la topologı́a de subespacio para S 1 ⊆ R2 ?
O
2. Sea (R2 , verticales) –como se definió en los ejercicios . de la sección
1.2– ¿Cómo son las topologı́as inducidas sobre R × {0} y {0} × R ?
N
3. En (R, usual) considere a los subconjuntos Q, A = {1/n | n ∈
N} ∪ {0}. ¿Cómo son las topologı́as heredadas?
IA
4. ¿En (R2 , lexicograf ico) cómo es la topologı́a inducida sobre la recta
real?, ¿ sobre I × I?.
UB
5. Sean (X, T) un espacio y A ⊆ X. Muestre que F ⊆ A es cerrado
en (A, TA ) si y solo si F es la intersección de A con un subconjunto
cerrado de X.
.R
G
CAPÍTULO 2
N O
IA Espacios métricos
UB
En este capı́tulo vemos a los espacios métricos como una clase particu-
lar de espacios topológicos. Por supuesto que los espacios métricos, en sı́
mismos, son extremadamente importantes y dentro de la matemática me-
recen su propio espacio y por supuesto su propio texto. La presentación
.R
33
34 Espacios métricos
2.1 Métrica
Definición 2.1. Una métrica d para un conjunto X es una función
d : X × X −→ R≥0 = [0, ∞) —toma valores en los números reales
positivos— que satisface las siguientes condiciones para todo x, y, z ∈ X:
1. d(x, y) = 0 si y solo si x = y.
O
3. d(x, y) ≤ d(x, z) + d(z, y) .
N
un espacio métrico.
IA
La desigualdad en 3, llamada la desigualdad triangular nos recuer-
da el hecho de que la distancia más corta entre dos puntos, es aquella
que se toma directamente entre ellos —claro que el sentido del término
distancia es algo que nosotros hemos definido por medio de d, a nuestro
UB
antojo—.
Una consecuencia inmediata de 3 es,
O
Esta métrica se llama la distancia euclı́dea —la manera de medir
usual—. Para verificar la desigualdad triangular basta recordar las
N
desigualdades de:
• Minkowski,
n
X
! 21
IA n
X
! 21 n
X
! 12
(xi + yi )2 ≤ xi 2 + yi 2 (2.4)
i=1 i=1 i=1
UB
• Bunjakovski—Cauchy—Schwartz,
n n
! 21 n
! 12
X X X
|xi yi | ≤ xi 2 yi 2 . (2.5)
i=1 i=1 i=1
.R
n
! p1
X
dp (x, y) := |xi − yi |p , p ≥ 1, (x, y ∈ Rn ).
i=1
O
|xn − yn | ≤ |xn − zn | + |zn − yn |
≤ sup |xn − zn | + sup |zn − yn |
n n
N
= d∞ (x, y) + d∞ (y, z).
Por tanto, IA
d∞ (x, y) = sup |xn − yn | ≤ d∞ (x, z) + d∞ (z, y).
n
Ejemplo 2.4. Sea C([0, 1], R) el conjunto de todas las funciones conti-
UB
nuas de [0, 1] en R, y definamos la métrica d como
Z 1 21
2
d(f, g) = (f (x) − g(x)) dx .
0
.R
O
Si A ∈ On , entonces det(A) ∈ {1, −1} puesto que
det(A)2 = det(A)det(At ) = det(AAt ) = det(I) = 1.
N
El subconjunto SOn ⊆ On de las matrices A ∈ On con det(A) = 1
se llama el grupo ortogonal especial (corresponde a las matrices que
IA
tienen determinante 1 y cuya inversa corresponde a su transpuesta). Este
subconjunto coincide con las rotaciones de Rn alrededor del origen.
Los conjuntos On y SOn son compactos por ser subconjuntos cerra-
UB
2
dos y acotados de Rn , mientras que GLn no lo es pues se trata de un
subconjunto abierto, tampoco es conexo pues es la unión disyunta de los
abiertos formados por las matrices con determinante positivo y negativo
respectivamente.
.R
O
Finalmente (hay que concluir este hermoso ejemplo) cada a ∈ Rn
define una isometrı́a Ta dada por Ta (x) = x + a y llamada una
N
traslación. Las traslaciones forman un subgrupo T rasn abeliano y
T rasn ≤ Isomn (exactamente T rasn = kernel(Ω)); tenemos,
IA
Isomn /T rasn ≈ On .
Ejercicios 2.1
UB
(b)
d∞ (x, y) := max {d(x1 , x2 ), m(y1 , y2 )}. (2.7)
(c)
d(x, y) := d(x1 , x2 ) + m(y1 , y2 ). (2.8)
O
4. Sea X un conjunto no vacı́o. En X N definimos definimos d, la métrica
primeriza o de Baire como: dadas dos sucesiones x = (x1 , x2 , . . .),
y = (y1 , y2 , . . .) en X,
N
d(x, y) := 1/k, si xn = yn para todo n < k y xk 6= yk .
IA
Es decir, k es la coordenada donde por primera vez las dos sucesiones
difieren. Si xn = yn para todo n ∈ N, definimos d(x, y) = 0. Muestre
que (X N , d) es un espacio métrico.
UB
En el caso en que X = N obtenemos la colección de todas las sucesiones
infinitas de números naturales (el cual tiene la misma cardinalidad
que R) y, como curiosidad, este espacio no es más que otra manera
de describir al conjunto de los números irracionales via ‘fracciones
continuas’.
.R
comparten.
Sugerencia: desigualdad triangular. Sean a, b, c sucesiones. Veamos que
d(a, b) ≤ max{d(a, c), d(c, b)}.
Si dos sucesiones son iguales ya está. Supongamos por tanto que ellas
son diferentes entre si. Sea k la longitud del mayor prefijo conjunto entre
a y c, y sea m la longitud del mayor prefijo conjunto entre c y b. Si
n = min{k, m}, sabemos que las primeras n letras de a coinciden con
las primeras n letras de c; y que las primeras n letras de c coinciden con
las primeras n letras de b. Ası́, las primeras n letras de a coinciden con
las primeras n letras de b. Luego, el prefijo común más largo entre a y
b tiene longitud al menos n.
40 Espacios métricos
Por tanto:
O
6. Un espacio ultramétrico X es un espacio métrico (X, d) en el cual la
métrica d satisface la ultra-desigualdad triangular:
N
d(x, z) = max{d(x, y), d(y, z)}.
IA
(a) Muestre que los dos ejercicios anteriores son ejemplos de es-
pacios ultramétricos.
(b) En un espacio ultramétrico cualquier punto de una bola (ver
definición 2.18) puede ser su centro, i.e., si y ∈ Bε (x) entonces
UB
Bε (x) = Bε (y).
K (c) Una bola cerrada es un conjunto abierto.
(d) Una bola abierta es un conjunto cerrado.
.R
1
d(A, B) = donde k = min{n : n ∈ (A ∪ B) − (A ∩ B)}.
k
1
Sugerencia: d(A, B) < si y solo si A ∩ [1, m] = B ∩ [1, m].
m
1. x + y = y + x.
O
2. x + (y + z) = (x + y) + z
N
x para todo x.
5. α(βx) = (αβ)x.
6. (α + β)x = αx + βx.
.R
7. α(x + y) = αx + αy.
8. 1x = x.
al tomar
kxk = kx − y + yk ≤ kx − yk + kyk
kyk = ky − x + xk ≤ ky − xk + kxk
con lo cual
O
−kx − yk ≤ kxk − kyk ≤ kx − yk.
N
Teorema 2.9. Si (X, k k) es un espacio vectorial normado, la fórmula
d(x, y) := ky − xk
d(x, y) + d(y, z) = ky − xk + kz − yk
≥ k(y − x) + (z − y)k = kz − xk = d(x, z).
.R
1. hx, xi = 0 si y solo si x = 0.
2.2 Espacios unitarios o euclidianos 43
2. hx, yi = hy, xi
3. hλx + µy, zi = λhx, zi + µhy, zi, para x, y, z ∈ X, λ, µ ∈ R.
O
define una norma para X.
N
Demostración. Para la demostración basta verificar las siguientes dos
desigualdades clásicas (Bunjakovski–Cauchy–Schwartz)
IA
|hx, yi|2 ≤ hx, xihy, yi,
|hx, yi| ≤ kxk kyk.
(2.12)
(2.13)
hx, yi = x1 y1 + x2 y2 + · · · + xn yn ,
con lo cual
n
! p1
O
X
dp (x, y) := |xi − yi |p , (x, y ∈ Rn ).
i=1
N
4. La métrica del sup d∞ definida como —¿por qué el sı́mbolo ∞?—
∞
! 21
X
(xi − yi )2 (2.14)
i=1
2.2 Espacios unitarios o euclidianos 45
O
∞
X
(x, y) 7→ hx, yi = xk y k (2.15)
N
k=1
∞ ∞
!1/2 ∞
!1/2
X X X
hx, yi ≤ |xk ||yk | ≤ x2k yk2 . (2.16)
k=1 k=1 k=1
.R
∞
!1/2
X
d(x, y) = kx − yk = (xk − yk )2 . (2.17)
k=1
O
Dado V un espacio vectorial —lineal— real y normado, miremos bajo
qué circunstancias V es euclideano —posee un producto escalar—.
N
En otras palabras, buscamos condiciones adicionales sobre la norma
de V que nos garanticen que dicha norma es inducida por cierto
IA
producto escalar definido en V .
Teorema 2.15. Una condición necesaria y suficiente para que un espacio
lineal normado V sea euclideano es que
UB
kf + gk2 + kf − gk2 = 2 (kf k2 + kgk2 ) (2.18)
para cada f, g ∈ V .
kf + gk2 + kf − gk2 = hf + g, f + gi + hf − g, f − gi
= hf, f i + 2hf, gi + hg, gi + hf, f i − 2hf, gi + hg, gi
= 2 (kf k2 + kgk2 ). (2.19)
....
.........
...
..
...
...
.. .......................
.....
.......................
....................
... .
... .
....................... ...
... ...................... ...
....................... .
...
... ...... .......................
. .
..........
.......
..
.. .
.. ..
..
.... ..
...
...
.. .
..
...
....f..− g
... .... ........
...
...
...
...
... .. .... ...
.
...
... ... .
...
..
.
...
... .... ..... ... ...
...
. .
...
...
...
.. .. ... ...
.... .. .... .... ...
... .... .
...
... . ...
..
. ...
. .... ...
... ..
...
..
... . f + g
... ... ...
... ...
... ....
.... .. .... .
..
..
O
Figura 2.1: La ley del paralelogramo
N
espacio con producto interior, expresando el producto en términos de la
norma—.
Por (2.20) tenemos
1
IA
k2f k2 + kf − f k2 = kf k2 ,
hf, f i = (2.21)
4
UB
lo que muestra que éste producto escalar efectivamente genera la norma.
De (2.20) y (2.21) tenemos que
2. hf, gi = hg, f i.
hf + g, hi = hf, hi + hg, hi
G
hαf, gi = αhf, gi
requieren un poco más de trabajo y son dejadas como ejercicio de con-
sulta.
Ejemplo 2.16. Sea I = [0, 1]; por C(I, R) o más brevemente C(I) de-
notamos el conjunto de todas las funciones continuas del intervalo I a
los números reales —al tener funciones continuas sobre el subconjunto
compacto I = [0, 1] podemos garantizar que son acotadas—. Definimos
la distancia d∞ entre dos funciones f, g como
O
|f (x) − h(x)| ≤ |f (x) − g(x)| + |g(x) − h(x)| (2.23)
y por tanto,
N
sup |f (x) − h(x)| ≤ sup |f (x) − g(x)| + sup |g(x) − h(x)| (2.24)
x x x
kf k∞ = kgk∞ = 1,
√
kf + gk∞ = max0≤t≤π/2 : cos(t) + sen(t) := 2,
√
kf − gk∞ = max0≤t≤π/2 : cos(t) − sen(t) := 1,
.R
con lo cual
kf + gk2∞ + kf − gk2∞ 6= 2(kf k2∞ + kgk2∞ ).
G
Por lo tanto, la norma no puede ser generada por ningún producto esca-
lar. Lo mismo es cierto para el espacio (C[a, b], R) para cada a < b.
Ejercicios 2.2
1. Un segmento de recta ab en R2 puede ser descrito como
O
.
Por lo anterior, dado un espacio vectorial, entre las normas arbitra-
N
rias y los espacios métricos homogéneos e invariantes por traslación,
existe una correspondencia biunı́voca natural.
IA
3. Rnp o lpn no es euclideano si p 6= 2 —la norma no puede ser generada
por un producto escalar—.
Sugerencia: Considere el par de vectores u = (1, 1, 0, . . . , 0) y
v = (1, −1, 0, . . . , 0).
UB
O
Bε (x) = {y : d(x, y) ≤ ε}, (2.27)
Sε (x) = {y : d(x, y) = ε} (2.28)
N
son respectivamente, la bola abierta, la bola cerrada y la esfera de
centro en x y de radio ε en el espacio (X, d).
IA
UB
• • •
las bolas abiertas toman una forma muy especial (fig. 2.4); real-
mente son franjas abiertas llenas de todos los segmentos continuos
imaginables —no se alza la mano del papel al trazarlos— esto es,
dados ε > 0 y f ∈ C(I, R), la bola Bε (f ) consiste de todas las
funciones que permanecen estrictamente dentro del área acotada
O
por las funciones f − ε, f + ε.
f +ε
N
IA f
f −ε
UB
Z 1
d1 (f, g) = |f (x) − g(x)|dx (2.30)
0
G
δ y ε
x •
◦• p
•
N O
Figura 2.5: Las bolas en un espacio métrico forman una base.
IA
En efecto, veamos que Br (p) está contenida en cada una de las bolas; a
partir de la desigualdad triangular tenemos que si d(t, p) < r entonces
O
que cada bola en d se puede expresar como una unión de bolas en m, y
lo recı́proco para la otra contenencia.
N
En términos más explı́citos, dada Bεd (x) —una
bola en d— y un punto y con y ∈ Bεd (x) es
y
IA
posible encontrar una bola Bδm (y) —en m y de
ε centro en y— de tal manera que
x
y ∈ Bδm (y) ⊆ Bεd (x).
UB
¿Por qué podemos escoger la bola Bδm (y) de suerte que resulte centra-
da en y? Más aún, para la equivalencia topológica entre dos métricas nos
podemos reducir a la respectiva contenencia de bolas centradas en el mis-
mo punto; esto es, para cada x ∈ X dada Bεd (x) existe Bδm (x) ⊆ Bεd (x)
y viceversa.
G
Tanto e como f son métricas acotadas por 1, y lo que es aún más intere-
sante, d ≡ e y d ≡ f . En efecto, dada la métrica d y la métrica asociada
O
e = min{1, d} tenemos que para la bola Brd (x) —radio r en la métrica
d— al tomar s = min{1, r} se satisface Bse (x) ⊆ Brd (x). La otra inclusión
d
N
es obvia. Para el caso f = es fácil verificar que
1+d
B f r (x) ⊆ Brd (x) y B d r (x) ⊆ Brf (x), r < 1.
1+r
IA
1−r
topológica.
Definición 2.26. Decimos que dos métricas d, m para un mismo conjun-
to X, son métricamente equivalentes o fuertemente equivalentes
si existen dos números reales positivos s, t tales que para todo par de
G
puntos x, y ∈ X se satisface
O
do, decimos que dos normas k k1 , k k2 son topológicamente o métricamente
equivalentes si las respectivas métricas asociadas lo son. De otra parte,
N
decimos que ellas son equivalentes si existen s, t ∈ R>0 tales que,
k k1 ≤ sk k2 y k k2 ≤ tk k1 IA —las notamos k k1 ≡ k k2 —.
∞√
Br/ 2
(x) ⊆ Br1 (x) ⊆ Br2 (x) ⊆ Br∞ (x).
Para el caso del plano, al graficar las bolas B1 ((0, 0)) para cada una
de las métricas dp , obtenemos la figura 2.6 donde en la medida en que p
G
0.5
-1 -0.5 0.5 1
N O
-0.5
-1
IA
Figura 2.6: B1 ((0, 0)) para p=1, 2, 3, 4, 5, 6, 7, 8 en R2p
UB
O
m(x, z) = f (d(x, z)) ≤ f (d(x, y) + d(y, z)) ≤ f (d(x, y)) + f (d(y, z))
= m(x, y) + m(y, z)).
N
Para verificar que las dos métricas nos llevan a la misma topologı́a, de-
bemos tener las contenencias entre las respectivas bolas.
IA
Como f es continua en 0, dado ε > 0, existe δ > 0 tal que x < δ
implica f (x) < ε. Por tanto d(x, y) < δ implica m(x, y) = f (d(x, y)) < ε,
lo cual no es más que contenencia entre bolas.
UB
Por ser f creciente se verifica que, si m(x, y) = f (d(x, y)) < f (ε)
entonces d(x, y) < ε, con lo cual tenemos la otra contenencia entre las
bolas.
A manera de ejemplo, notemos que las funciones
.R
u
, log(1 + u), min{1, u}, arctan u
1+u
satisfacen las condiciones para f . ¿Qué métricas son inducidas por estas
funciones?
G
O
J no es la discreta, no es metrizable. En otras palabras, si (X, d)
es métrico con X finito, siempre tenemos que hdi = discreta.
N
Ejercicios 2.3
IA
1. Muestre que la relación de equivalencia topológica para las métricas,
es en efecto una relación de equivalencia.
4. Dados dos espacios métricos (X, m), (Y, n) muestre que las métricas
d1 , d2 , d∞ del ejemplo ???? pueden ser definidas en X × Y —el
producto de dos espacios métricos es metrizable—. Muestre que
además son equivalentes.
Sugerencia: Para todo par de puntos x, y ∈ X × Y se verifica
G
N O
IA
UB
.R
G
CAPÍTULO 3
N O
IA Bases y numerabilidad
UB
60
61
tenemos que Bic es finito, con lo cual i=1 BTic = ( i=1 Bi )c es un conjunto
S T
enumerable, luego existe un elemento y ∈ i=1 Bi y como R − {y} es un
abierto, debe existir un j ∈ I para el cual Bj está contenido en él, pero
esto es imposible ya que para todo i ∈ I se tiene y ∈ Bi .
Ejemplo 3.4. Consideremos al espacio X = (RN , primeriza) y veamos
que no es 2-contable.
Recordemos que en este espacio lo que importa es el comportamiento
inicial de las sucesiones, a diferencia de lo ‘usual’ en sucesiones, donde
importa el comportamiento final. Si existiera una base enumerable B =
O
{B1 , B2 , . . .}, por cada n ∈ N tomamos un elemento (i.e., una sucesión)
tn = (tnk )∞ n ∞
k=1 ∈ Bn . Por tanto, la sucesión {t1 }n=1 está formada por la
N
primera coordenada de cada sucesión tn .
Construimos ahora una sucesión q = (qn ) en la cual q1 6= tn1 para
IA
cada n, con lo que la primera componente de q es diferente de la primera
componente de cada una de las sucesiones tn , lo que implica tn ∈ / B1/2 (q)
n
para todo n, puesto que al diferir q y t en su primera componente, ya
están lo más lejanas posibles, esto es d(q, tn ) = 1. Ası́ que, ninguna Bn
UB
de la base puede estar contenida en B1/2 (q).
Ejemplo 3.5. El espacio H de Hilbert es 2-contable. Definimos una base
B enumerable de la manera siguiente.
S
Sea D = Dn , (n ∈ N) donde
.R
O
d(z, t) ≤ d(z, q) + d(q, t) ≤ 2ε/3 + ε/3 = ε.
N
—tener una definición local— de la manera siguiente.
Definición 3.6. Sean (X, T) un espacio y x ∈ X. Decimos que Bx ⊆ T
IA
es una base local para x si y sólo si dado U ∈ T con x ∈ U , existe B ∈ Bx
tal que x ∈ B ⊆ U .
proposición.
Proposición 3.7. Sea (X, T) un espacio. B ⊆ T es una base para esta
topologı́a si y sólo si para cada x ∈ X el conjunto Bx = {B ∈ B : x ∈ B}
es una base local en x.
.R
O
1-contable, pues dado x ∈ R el conjunto Bx = {[x, q) : q ∈ Q, q > x} es
una base local enumerable. Muestre que no es 2-contable.
Ejemplo 3.12. El espacio Tωp del ejemplo 1.11 puede ser generado por
N
una base constituida por dos clases de elementos: cualquier conjunto
unitario diferente de {p}, o el complemento de cualquier conjunto finito
IA
de puntos. Este espacio falla en ser 1-contable tan solo por uno de sus
puntos. Sea X un conjunto no contable y p un elemento elegido en X.
Esta topologı́a para X no admite una base local enumerable en el punto
p —pruébelo—.
UB
O
√
2 4
N
Teorema 3.18. Si el espacio (X, T) es 2-contable, entonces es de Lin-
deloff.
IA
Demostración. Lema 1.71.
UB
Corolario 3.19. Sea (X, T) un espacio 2-contable. Entonces cualquier
base Q = {Qi : i ∈ I} se puede reducir a una base enumerable. —Esto es,
no tan solo existe una base enumerable en el espacio, sino que cualquiera
se puede reducir a una enumerable—.
.R
Ejercicios 3.1
1. Muestre que (Rn , usual) es 2-contable.
O
7. En el ejemplo 1.42 introducimos la métrica d∞ del sup para el
conjunto de las funciones continuas C([0, 1], R). Pero la notación
N
nos lleva a conjeturar la existencia de toda la gama de métricas dp
para p ≥ 1. —notamos C p [0, 1] = ((C[0, 1], R), dp )— que mide la
distancia entre dos funciones f, g asignándoles el número
IA
Z 1 p1
p
dp (f, g) := |f (x) − g(x)| .
0
UB
1 .....
...........
..... ...
......................
........... ....
... . ..
................. ......
.. ...... ... ....
.. . ...
.. ......... ..... ....
...
.. ... .. ... ....
... ... ... ...
... ... .. ... . ....
.. ... ... ... ...
....
... ... ... ....
... .. ... ... ...
. .... .... .... ....
.
... .... ..... .... ...
....
.. .... ... .... ...
....
... ... ... ...
... .. ... ... ....
.. ... ... ... ...
... .. .... ....
... ... ... .... ...
. ... ... ...
....
... .... ...
... ... ... .... ....
.. ... ... .... ...
....
... .
... ... . .
... ...
... .. . . ....
.. ... ...
O
... ... ... ....
.. ... ... ... ...
.. .. .. .. ....
x
1 1 1 1
n 4 3 2
1
N
Figura 3.1: Las funciones gn IA
Note que cada gn tiene un segmento de recta en el eje X cada vez
más largo. Es fácil ver que
UB
r
1
d2 (0, gn ) =
3n
mientras que d∞ (0, gn ) = 1. Luego la bola B1/2 (0) en d∞ de centro
la función nula y con radio 1/2, no contiene a ninguna gn , con lo
.R
N O
IA
UB
.R
G
CAPÍTULO 4
N O
Funciones —comunicaciones entre espacios—
IA
UB
68
4.1 Funciones continuas 69
O
V ∈ H se tiene que f −1 (V ) ∈ T.
N
Demostración. Sea f continua y V un elemento de H; para ver que
f −1 (V ) es abierto, lo expresaremos como una unión de abiertos. Sea
x ∈ f −1 (V ), por ser f continua existe Ux abierto tal que f (Ux ) está
contenido en V , luego Ux ⊆ f −1 (V ) y ası́
IA
[
f −1 (V ) = {Ux | x ∈ f −1 (V )}.
UB
O
ε > 0 existe un numero real δ > 0 tal que, si x ∈ X satisface d(a, x) < δ
entonces m(f (a), f (x)) < ε. En otras palabras
N
x ∈ Bδd (a) implica f (x) ∈ Bεm (f (a)).
kf k∞ := sup{kf (x)k : x ∈ X}
d(x, y) < δ se tiene que m(f (x), f (y)) ≤ kd(x, y) < kδ < ε. Si k = 1,
esto es, m(f (x), f (y)) = d(x, y) decimos que f es una isometrı́a —es
continua e inyectiva—. Si f es sobreyectiva entonces f −1 es una isometrı́a
con lo que los espacios resultan homeomorfos.
O
existe δ > 0 tal que, si d(x, y) < δ entonces m(f (x), f (y)) < ε.
En otras palabras, dado cualquier ε > 0, existe δ > 0 —δ dependiendo
N
únicamente de ε con lo que δ es uniforme para todos los puntos x ∈
X a diferencia de la continuidad usual— tal que para cualquier x ∈
X, f (Bδ (x)) ⊆ Bε (f (x)).
IA
Ejemplo 4.8. Por supuesto toda función uniformemente continua es
continua. Pero lo contrario no se tiene; una función tan simple como f :
R −→ R definida por f (x) = x2 es continua pero no lo es uniformemente.
UB
En efecto, para ε = 1 no existe δ tal que |x−y| < δ implique |x2 −y 2 | < 1
1 δ 1
para todo par x, y; por ejemplo para x = + , y = . Pero, si x2
δ 2 δ
es restringida a un intervalo cerrado y acotado [−A, A] entonces si es
ε
uniformemente continua, pues |x − y| < implica
.R
2A + 1
ε
|x2 − y 2 | = |x + y||x − y| ≤ 2A <ε
2A + 1
para x, y ∈ [−A, A]. Contrario a la anterior función, las funciones x 7→
x
G
x + 1 y x 7→ de R en R sı́ lo son.
1 + x2
O
cual δ = ε satisface la condición —tenemos una contracción.
d(x, A) = inf{d(x, a) | a ∈ A}
N
≤ inf{d(x, y) + d(y, a) | a ∈ A}
= d(x, y) + inf{d(y, a) | a ∈ A}
IA
= d(x, y) + d(y, A),
invirtiendo los papeles de x y y obtenemos d(y, A) ≤ d(x, y) + d(x, A)
con lo cual,
UB
d(x, A) − d(y, A) ≤ d(x, y) y d(y, A) − d(x, A) ≤ d(x, y)
lo que implica |d(x, A) − d(y, A)| ≤ d(x, y).
Ejemplo 4.10. Dado (X, d), la función d : X × X −→ R es uniforme-
mente continua cuando a X × X lo dotamos de la métrica
.R
d(y2 , x2 ) entonces,
d(x1 , x2 ) − d(y1 , y2 ) ≤ d(x1 , y1 ) + d(x2 , y2 ) < 2d∞ (x, y) < 2δ = ε.
Similarmente d(y1 , y2 ) − d(x1 , x2 ) < ε con lo cual,
|d(x1 , x2 ) − d(y1 , y2 )| < ε.
R
Ejemplo 4.11. En (C(I, R), sup) la función I : C(I, R) −→ R definida
R R1
por I (f ) = 0 f (t)dt es uniformemente continua. En efecto, basta veri-
ficar la siguiente desigualdad que muestra que tenemos una contracción,
Z Z Z Z
f − g ≤ |f − g| ≤ kf − gk∞ = kf − gk∞ .
I I I I
4.1 Funciones continuas 73
O
(Y, m) un espacio métrico. Dada una función inyectiva f : X −→ Y ,
definimos una métrica d∗ llamada la métrica inducida por la función f
N
como
d∗ (x, y) := m(f (x), f (y)),
IA
la cual hace de f una isometria; si f es sobre entonces tanto f como f −1
resultan ser continuas.
Para el caso X = Y = R y m = usual, obtenemos métricas exóticas
para R según consideremos a f . Por ejemplo, d∗ (x, y) =| arctag(x) −
UB
(X, d) - (Y, m)
fismo —f es biyectiva y tanto f como f −1
son continuas (ver 3.1)— entonces la métrica @
d∗ (x, y) := m(f (x), f (y)) es equivalente a la
@
@ f −1
idX
métrica d. Para ello basta ver que la función @
G
Ejercicios 4.1
1. La compuesta de funciones continuas —cuando lo sea posible— es
de nuevo una función continua.
74 Funciones —comunicaciones entre espacios—
2. Sean (X, d), (X, m) dos espacios métricos. Muestre que d, m son
métricas topológicamente equivalentes si y sólo si las funciones iden-
tidad
O
continua si y sólo si la imagen de un conjunto infinito es de nuevo
un conjunto infinito.
N
4. Sea (X, J ) un espacio para el cual toda f : (X, J ) −→ (R, usual)
es continua. Muestre que J es la discreta.
IA
5. Decimos que una función f : X −→ X entre espacios topológicos es
abierta (cerrada) si la imagen de un subconjunto abierto (cerra-
do) es un abierto (cerrado) en Y . De ejemplos de funciones abiertas
que no sean continuas, de funciones continuas que no sean abier-
UB
tas, de funciones continuas y abiertas, de funciones ni continuas ni
abiertas. Sugerencia: Considere las proyecciones de (R2 , usual) en
R.
6. Una función f : (X, ≤) −→ (Y, ≤) entre conjuntos ordenados es
.R
O
M or(X, Y ) × M or(Y, W ) −→ M or(X, W ) definida por (f, g) 7→ g◦f.
N
Además 1, 2 y 3 satisfacen:
4. h ◦ (g ◦ f ) = (h ◦ g) ◦ f —asociatividad —.
IA
5. Dado X en TOP, existe la función idéntica idX ∈ M or(X, X) la
cual es una flecha y satisface f ◦ idX = f, idX ◦ g = g cada vez que
las composiciones sean posibles.
UB
O
temáticas. Ha llegado a ser también una área de las matemáticas
puras con su propio interés. Brevemente una “categorı́a” es un cam-
N
po del discurso matemático, caracterizado de una manera muy ge-
neral y por lo tanto su teorı́a puede ser utilizada como un conjunto
de herramientas que pueden atravezar un espectro muy amplio de la
IA
vida matemática.
Cuando una propiedad del espacio también pasa a los subespacios, de-
cimos que la propiedad es hereditaria; por ejemplo, la propiedad de
poseer una base enumerable es hereditaria, al igual que poseer una base
.R
zable.
O
definida para hacer la función inclusión contı́nua de la mejor manera
—¿porqué?—.
N
Ejemplo 4.20. Sea X un espacio discreto —grosero— entonces cualqui-
er A ⊆ X hereda la discreta —grosera— como la topologı́a de subespacio,
pues- dado a ∈ A el conjunto {a} = A ∩ {a} es un abierto de la topologı́a
inducida.
IA
Ejercicios 4.2
UB
1. Muestre que la propiedad de ser Hausdorff es hereditaria.
2. ¿Son hereditarias las siguientes propiedades: 1-contable, 2-contable,
T1 , Hausdorff, convergencia trivial, convergencia única?
3. Sea F un ultrafiltro en N más fino que el filtro de Frèchet. En el
.R
N O
Filtros, convergencia y continuidad
Por Gustavo fecha 10:23 , 01/04/2009
IA
UB
5.1 Filtros
Recordemos que el conjunto V(x) de las vecindades de un punto x en un
espacio (X, T) satisface las propiedades:
.R
1. Si F1 , F2 ∈ F entonces F1 ∩ F2 ∈ F.
2. Si F ∈ F y F ⊆ G entonces G ∈ F.
78
5.2 Base de filtro 79
Usualmente los filtros son definidos dando tan solo algunos de sus
O
elementos, a partir de los cuales, los demás pueden ser obtenidos por la
contenencia de la propiedad 2 en 5.1, i.e., los elementos del filtro son los
superconjuntos de los elementos de la base.
N
Nota. La anterior definición no es puntual, como en el caso de la definición
de base para una topologı́a. IA
Teorema 5.4. B ⊆ 2X es una base para un único filtro F de X si y sólo
si satisface:
UB
/ B 6= ∅,
1. ∅ ∈
por B.
Demostración. Definimos
F := {F ⊆ X | B ⊆ F para algún B ∈ B} = h B i.
G
O
tas es una base de filtro para el filtro Vx .
N
B := {Sn | n ∈ N} con Sn := {n, n + 1, . . .}.
IA
El filtro generado por esta base es llamado el filtro de Frèchet.
Nota. De manera análoga a como sucede con las bases en los espacios
topológicos, es de esperarse que existan bases de filtro que nos gene-
ren un mismo filtro; en tal caso, también es útil definir una relación de
equivalencia.
G
O
5.3 Ultrafiltros
N
Definición 5.8. Dado un conjunto X, un ultrafiltro para X es un filtro
IA
maximal en F il(X); esto es, no existe un filtro en X más fino que él.
Teorema 5.9. Dado un filtro F en X, existe un ultrafiltro S en X tal
que F ⊆ S.
UB
Demostración. (Usaremos el lema de Zorn: ‘Si (X, ≺) es parcialmente
ordenado, con la propiedad que cada cadena —una cadena es un subcon-
junto de X que sea totalmente ordenado por ≺— tiene una cota superior
en X, entonces X tiene un elemento maximal’). Sea
.R
M = {G | F ⊆ G y G es un filtro en X}.
B := {F ∩ A | F ∈ U}
O
es una base de filtro en X, pues es tiene la PIF y si F ∩ A = ∅ para
algún F esto implica F ⊆ Ac y por tanto Ac ∈ U. El filtro G = hBi
contiene a U y es más fino ya que A ∈ G, lo cual contradice que U es un
N
ultrafiltro.
Demostración. Sea
T D la colección de todos los ultrafiltros que ccontienen
a F. Dado A ∈ D veamos que A ∈ F. Si A ∈ / F entonces A ∩ F 6= ∅
para todo F ∈ F, luego existe un ultrafiltro
T D para el cual Ac ∈ D con
lo que A ∈
/ D y esto contradice que A ∈ D.
5.3 Ultrafiltros 83
O
c
A ∈ Fc la intersección finita A = {{x} : x ∈ A } está en U.
N
5.3.1 Sucesiones
Recordemos que una función f : N −→ X se llama una sucesión en X y
IA
la denotamos por (xn ) donde xn = f (n).
Definición 5.15. Sean X un espacio y (xn ) una sucesión en X. Decimos
que la sucesión converge a un punto x ∈ X i.e., xn → x si dada cualquier
UB
Vx vecindad de x, existe k ∈ N tal que si m ≥ k entonces xm ∈ Vx —a la
larga o finalmente todos los términos de la sucesión llegan a estar dentro
de la vecindad—.
.R
CAPÍTULO 6
N O
Homeomorfismos –o geometrı́a del caucho–
IA
UB
6.1 Homeomorfismos
En teorı́a de conjuntos, dos conjuntos A, B se definen equivalentes
—iguales en algún sentido y el sentido es precisamente la definición
.R
conjuntos, debemos pedir una relación entre las topologı́as de los dos
espacios. En una categorı́a cualquiera D dados dos objetos A, B deci-
mos que son equivalentes isomorfos si y sólo si existen f ∈ M or(A, B),
g ∈ M or(B, A) tales que f ◦ g = 1B y g ◦ f = 1A . Modelando esta de-
finición para el caso de los espacios topológicos obtenemos la siguiente
definición.
Definición 6.1. Dados dos espacios topológicos (X, T), (Y, H) dire-
mos que X es homeomorfo a Y —o que X es topológicamente
equivalente a Y — si existe f : X −→ Y biyección y tanto f como
f −1 son continuas.
94
i i
i i
i i
6.1 Homeomorfismos 95
O
objetivo de la topologı́a es determinar qué espacios pertenecen a una
misma clase de equivalencia, a cambio de estudiar cada espacio de
manera individual. Ası́ pues, el concepto de homeomorfismo es mucho
N
más profundo de lo que aparenta su definición.
Notemos que un homeomorfismo f como en la definición anterior,
IA
no es tan solo una relación biunı́voca entre los elementos de los es-
pacios, sino que también lo es entre los elementos abiertos de las
topologı́as respectivas. Además, los subconjuntos se relacionan con
los subconjuntos, las uniones con las uniones, los complementos con
UB
i i
i i
i i
O
p
........................................................................................................
...
...
.... ........ ◦
...............................................
.. . ... .. ..............
...
....
...
.....
.
.... S2 .....
.
......
.....
.. . .. .....
. ... ....
...
...
...
... .. ...
◦ (x, y, z)
.. .. .. ... ....
... .. . .. . ...
N
.. .. . ..
. .
........ ...
..... .... . . .. . . . . . . . . . . . . . . ........ .
..
. ....
..... ... . . . . . .. . . .
..
. . .. .......
...
....
.... ... . . . ...
!
. .. . .
.. .
.......
...
.....
.. .
....
. .
... . . ...
◦ ....
...
.
.
.
...
.
...
.......
...
......
...
...
...
... . . ... ...
....
.. .
... .
.
. .
.. . . . . . . . . . . . . . . . .
. .
..
. • ..
. ....
...
F (x, y, z)
. . . . ....
..... ... ...
. . ...
. ...
... ..... . ...
. • .
.
....
.
. ....
...
......
........
IA
................................... ......
.
.
.....
.
....
. ...
..
.................................................................................................................................................................................................................................................................
R2
u2 + v 2 − 1
2u 2v
G(u, v, 0) = , , .
G
u2 + v 2 + 1 u2 + v 2 + 1 u2 + v 2 + 1
La proyección estereográ-
fica envı́a a una circunferencia
‘paralela’ al ecuador en una cir-
cunferencia del plano y si la
circunferencia es cada vez más
cercana al polo su imagen será
cada vez más grande en el plano.
Un meridiano en enviado en
una lı́nea recta.
i i
i i
i i
6.1 Homeomorfismos 97
O
es tan solo una manera vulgar —en el sentido de vulgo— de como
construir espacios homeomorfos a partir de uno dado. El sentido de
homeomorfismo es mucho más amplio y formal.
N
Por ejemplo, esta figura como subes-
pacio de R3 es homeomorfa al Toro sin
IA
que sea posible deformar la una en la otra
—a la manera del caucho—. Se trata sim-
plemente de un Toro enredado como una
manguera —no nos importa el número de
UB
i i
i i
i i
N O
IA
Figura 6.3: Cintas de Möbius homeomorfas con diferente número de giros.
UB
i i
i i
i i
6.1 Homeomorfismos 99
N O
IA
UB
i i
i i
i i
N O
IA
UB
como
x1 x2
......
f ((x1 , x2 )) =
..........
....... ,
...............................
.......
......
...
...
... ...
.... ......
...
...
.
......
.....
|x1 | + |x2 | |x1 | + |x2 | .....
....
...
...
...
... ....
.
....
......
....
....
....
....
....
....
....
.... ... ....
. ....
...
...
.
f la cual es una biyección continua y, ...
.. ...
.... ................................................... .......
.
.
.
....
.. ....
...
....
....
... .. .... ....
G
.
....
coninversa también continua f −1 ((x
.. . .....
.. ...
1 , x2 ))
... .
. .... .
..
... . ....
... .... .... ......
.
... ... .... ....
... ... .... ....
.... .... .... ...
....
.....
......
.......
........... x1 x2 .....
......
.......
..............................
....
....
.... ......
......
...
= , .
(x1 2 + x2 2 )1/2 (x1 2 + x2 2 )1/2
Para el segundo homeomorfismo sean X = R2 − {(0, 0)}el plano
punteado y Y = {(x1 , x2 , x3 ) | x1 2 + x2 2 = 1} el cilindro infinito.
Definimos h : X −→ Y como,
x1 x2 1 2 2
h((x1 , x2 )) = , , log(x1 + x2 )
(x1 2 + x2 2 )1/2 (x1 2 + x2 2 )1/2 2
donde
h−1 ((x1 , x2 , x3 )) = (x1 ex3 , x2 ex3 ) .
i i
i i
i i
.. ......... .
..
.
. . ...... .. .. .. .... ...
. .... .... .... .... .... .... .... .... .
.. .. .. .. .... ..
... ...
.. .. .. .. .. ....
. ...
.. ..... . . . ..
. .. . ... . .. .. ... ..
.. .. .
..
. ....
....
.
. . .. .. .. . .. ..
.. .. . . ... .. .. .. .... .... .... . .. ..
.. .. . . .... .. .. .. ... .... .... .. ... .....
.. .. .. ... . . ... .... .... .... .... .... .... .... .... .... .... ..
.. .. .....
.. .. .. ....
.
.. .. . ... ...
.. . .. . . .... .. .. .. ..... ...
. . .
. .. . . . . . .
.. .. .. .. .. .. h ..... .....
.. .. ..... . . .. ..
.. .
.....
.
.....
.......................................................................................................................................................................... ......................
. . . . ... .. .. .. .
.....
.
.....
.. .. .. .... . . . .. ..
.. .. .. .. ..
.
.....
.
.....
.. .. .... . .
.. .. . .. .. . .
.. .. .. .... .. .. . ..... .....
.. .. . . .... .. .. .. .... .... .... ....
.... .... .... .... .... .... ....
. ..
. . . . . . .... ..
. . ... .... . ....
.. .. .. .. . .. ..
.
..... . .... ... ..
.. .. .. .... . . . .. .. .... .......
.. .
.. .. ..... .. .. .... ....
. .. . .. . . . .... . .. . .. .... ...
.
. .... . .
.. .. . . .... . .. .. ... .... ... ...
.. .. .. .. . .. .... .... .... .... .... .... .... .... .... .... .
.. .. .. ... . ..
O
Ejemplo 6.4. Sean X, Y dos conjuntos totalmente ordenados y dota-
N
dos de la respectiva topologı́a del orden. Sea f : X −→ Y un isomor-
fismo de orden —una biyección que preserva el orden x ≤ y implica
f (x) ≤ f (y)—. f es un homeomorfismo, ya que la preimagen de un
IA
intervalo abierto (y1 , y2 ) en Y es el intervalo abierto (f −1 (y1 ), f −1 (y2 ))
en X. La misma situación ocurre para la función f −1 : Y −→ X.
UB
Ejercicios 6.1
1. La función idéntica de un espacio es un homeomorfismo.
.R
f (B) := {f (B) | B ∈ B}
i i
i i
i i
O
(b) V = {X, ∅, {0}, {0, 1}, {0, 1, 2}}.
N
no es un homeomorfismo.
i i
i i
i i
O
poseer una base enumerable para la topologı́a, tener una base local
contable en cada punto, ser un espacio T1 , ser de Hausdorff.
N
Formalmente, la topologı́a es el estudio de los invariantes topológicos.
Ejemplo 6.6. La propiedad de ser 2-contable es un invariante topo-
IA
lógico. En efecto sean X, Y espacios homeomorfos donde X es 2-
contable; si h : X −→ Y un homeomorfismo y B = {B1 , B2 , . . .} una
base contable de X veamos que h(B) = {h(B1 ), h(B2 ), . . .} es una base
para la topologı́a de Y . Sea V un abierto de Y y sea y ∈ V , entonces
UB
existe U tal que h−1 (y) ∈ U y h(U ) ⊆ V . Por ser B una base, existe
Bi tal que h−1 (y) ∈ Bi ⊆ U . Luego y ∈ h(Bi ) ⊆ h(U ) ⊆ V .
Nota. La propiedad de ser Lindeloff es un invariante toplógico, pe-
ro aún mas, tan solo utilizamos la continuidad de h para demostrar
.R
i i
i i
i i
O
de espacios—
N
El hecho de que un espacio sea metrizable obliga a que todos sus
espacios equivalentes también lo sean.
Teorema 6.7. Si (X, T), (Y, H) son espacios topológicos homeomorfos
IA
y h : X −→ Y es un homeomorfismo, entonces X es metrizable si y
sólo si Y es metrizable.
UB
Pero Bεd (h−1 (y)) ∈ T implica h(Bεd (h−1 (y))) ∈ H pues h es homeo-
∗
morfismo y además h(Bεd (h−1 (y)) está contenido en Bεd (y); por tanto,
∗
Bεd (y) es unión de elementos de H y esto implica que W también es
unión de elementos de H.
i i
i i
i i
O
Demostración. Sean X, Y espacios topológicos homeomorfos donde X
tiene la PPF; veamos que Y también satisface la PPF. En efecto, dada
N
la función continua f : Y −→ Y queremos encontrar un y ∈ Y tal que
f (y) = y. Sea h : X −→ Y un homeomorfismo. La función h−1 ◦ f ◦ h
es continua y por tanto tiene un punto fijo como función de X en X,
IA
llamémoslo x; Ası́ (h−1 ◦ f ◦ h)(x) = x con lo que f (h(x)) = h(x);
tomando y = h(x) obtenemos el punto fijo para f .
Ejemplo 6.10. El intervalo unidad I = [0, 1] con la topologı́a de
UB
encontrado. Si f (0) > 0 y f (1) < 1 tenemos que g(0) > 0 y g(1) < 0.
Como g es continua, por el teorema de Bolzano del cálculo elemental,
existe un punto x tal que g(x) = 0.
Ejemplo 6.11. Los subespacios [0, 1] y (0, 1) de R no son homeomor-
G
i i
i i
i i
suerte que debe existir un punto que regresa a la posición inicial, esto
es, su café no quedó bien revuelto.
Ejercicios 3.3
1. Considere los espacios [0, 1] y (0, 1) cada uno con la topologı́a
discreta (usual) y decida si son homeomorfos.
N O
IA
UB
.R
G
i i
i i
i i
CAPÍTULO 7
N O
Espacios de Identificación —cociente—
IA
UB
107
i i
i i
i i
O
Un subconjunto U ⊆ X/R de un espacio cociente es abierto si y solo
si U = q(A) con A ⊆ X abierto y saturado.
N
Ejemplo 7.2. En el intervalo [0, 1] identificamos 0 ≡ 1. Demostramos
ejemplo 7.13 que I/0≡1 ≈ S 1 . Tenemos que la partición es
en el S
{0, 1} {{a} : a ∈ (0, 1)}.
IA
UB
i i
i i
i i
109
(0, y)
(3, 1 − y)
O
La preimagen de un disco abierto en la cinta,
N
es o bien el conjunto formado por los dos se-
midiscos abiertos, o un disco abierto interior
IA
al rectángulo como en la figura 7.3. En todo
caso se trata de un abierto en X/R pues su
preimagen por q corresponde a un abierto en
la topologı́a del rectángulo.
UB
i i
i i
i i
O
Demostración. Si f es continua claramente f ◦ g también lo es. En
el otro sentido, asumamos que f ◦ g es continua y sea U ⊆ Z con
N
U ∈ T. Para ver que f −1 (U ) es un abierto de Y debemos tener que
q −1 (f −1 (U )) sea abierto de X, es decir, (f ◦ q)−1 (U ) lo sea.
IA
Descomposición canónica por una función
UB
@
f h
f
o hf (f −1 (y)) = y está bien definida y es una
@
@R ?
@
biyección. Y
Si X, Y son además espacios y f es continua, tenemos que
G
hf : X/Rf −→ Y es continua.
Teorema 7.6. La función hf : X/Rf −→ Y es continua.
(Como f = hf ◦ q decimos que el diagrama representa la descomposi-
ción canónica de f .)
i i
i i
i i
111
O
tración es dejada como ejercicio.
N
cociente q : X −→ X/R .
Definición 7.8. Sean (X, T), (Y, H) espacios y f : X −→ Y una
IA
función sobreyectiva. Si Y tiene la mejor topologı́a para la cual f es
continua, es decir
H = TYf = {V ⊆ Y | f −1 (V ) ∈ T}
UB
i i
i i
i i
O
nemos que h−1 f ◦ f = q es continua y como f
Y
es una identificación, por el teorema anterior
h−1
f es continua.
N
¿Cómo podemos reconocer a las identificaciones? i.e., bajo qué con-
IA
diciones una topologı́a dada proviene de una identificación? Parte
de la respuesta nos la da el siguiente teorema.
Teorema 7.11. Sea f : (X, T) −→ (Y, H) una función continua y so-
UB
i i
i i
i i
113
1. {(0, 0), (1, 0), (0, 1), (1, 1)}: las esquinas se identifican.
2. {(x, 0), (x, 1)} para cada x ∈ (0, 1): “pegamos” el borde inferior
con el borde superior.
3. {(0, y), (1, y)} para cada y ∈ (0, 1): “pegamos” los lados.
O
4. {(x, y)} para x ∈ (0, 1) e y ∈ (0, 1): el interior no cambia.
N
IA
UB
f : [0, 1] × [0, 1] → S 1 × S 1
G
donde e2πix := (cos 2πx, sin 2πx) y e2πiy := (cos 2πy, sin 2πy). La re-
lación Rf en [0, 1] × [0, 1] definida por la función f , es decir Rf =
{f −1 (a) : a ∈ T } es exactamente la partición inicial R; luego, por el
teorema 7.12
[0, 1] × [0, 1]/Rf ≈ S 1 × S 1
puesto que como [0, 1] × [0, 1] es compacto y S 1 × S 1 es de Hausdorff,
f resulta ser una identificación.
i i
i i
i i
O
los lados verticales nos producen el cilindro
y los lados horizontales identifican la base de
la botella con su boca pero en sentido con-
N
trario —como lo habı́amos hecho en la cinta
de Möbius— y es aquı́ donde surge la impo-
sibilidad de realización en tres dimensiones;
IA
y hablamos de botella, ya que esta construc-
ción es conocida como la botella de Klein.
Curiosamente, si una botella de Klein sufriera una caı́da que pro-
UB
i i
i i
i i
115
X × [0, 1] CX
N O
Figura 7.7: La construcción cono.
IA
Ejemplo 7.17. CS n ≈ Dn+1 . El cono sobre la n-esfera unitaria es
homeomorfo a la bola unitaria cerrada n + 1–dimensional.
UB
Ejercicios 7.1
1. Muestre que la topologı́a cociente es en efecto una topologı́a y
G
i i
i i
i i
O
6. ¿La composición de identificaciones es una identificación?
N
mejor —más fina— que hace a f continua.
i i
i i
i i
CAPÍTULO 8
N O
IA La topologı́a producto
UB
{(x, y) | x ∈ X, y ∈ Y }.
f
C
HHg
H j
H
X [f,g] Y
G
H
YH *
pX H ?
pY
X ×Y
117
i i
i i
i i
que además lo caracteriza es: si existe otro conjunto C con dos fun-
ciones f : C −→ X, g : C −→ Y entonces estas funciones las podemos
factorizar por medio de pX , pY . En otras palabras, existe una única
función [f, g] : C −→ X × Y tal que el diagrama 8.1 conmuta —
f = pX ◦ [f, g], g = pY ◦ [f, g]—.
Posiblemente para el lector no sea familiar esta propiedad del pro-
ducto cartesiano. Su valor consiste, en que no hace referencia a la
parte intrı́nseca del conjunto, sino a las propiedades que este objeto y
sus flechas tienen dentro de la categorı́a de los conjuntos —factoriza
tanto a f como a g— lo cual nos da una visión sintética del concepto.
O
Otro ejemplo en esta lı́nea de pensamientos —no analı́ticos— es
el de las funciones uno a uno y sobre. Dados dos conjuntos A, B una
N
función f : A −→ B, la que notamos como f ∈ M or(A, B) es uno a
uno si y sólo si dados cualquier conjunto C y cualquier par de flechas
m, n que satisfacen f ◦m = f ◦n, podemos concluir m = n (cancelación
a izquierda).
IA
La ventaja de mirar estos conceptos en términos de flechas y dia-
gramas consiste en que los podemos generalizar a categorı́as donde el
UB
i i
i i
i i
entonces (U × Y ) ∩ (X × V ) = U × V es un abierto de X × Y .
Proposición 8.1. Dados (X, T), (Y, H) espacios topológicos, el con-
junto
B = {U × V : U ∈ T, V ∈ H}
es base para una topologı́a en X × Y .
O
B3 ∈ B.
N
producto en X × Y para los espacios (X, T), (Y, H). La topologı́a
producto es la ‘mejor’ de las topologı́as que hacen las proyecciones
continuas —por ejemplo, la topologı́a discreta lo hace de manera tri-
IA
vial, pero ésta es una topologı́a inútil en el dominio, pues con respecto
a ella todas las funciones son continuas—.
La topologı́a producto es aquella que posee la menor cantidad posible
UB
i i
i i
i i
Ejercicios 8.2
1. ¿Es el producto de dos espacios groseros un espacio grosero?
BX × BY = {BX × BY | BX ∈ BX , BY ∈ BY }
O
es una base para el espacio producto.
N
4. Se puede localizar el anterior ejercicio para obtener una base
local en el punto (x, y) ∈ X × Y a partir de bases locales para x
y y respectivamente?
IA
5. Muestre que el producto finito de espacios 2–contable es un es-
pacio 2–contable.
UB
8. Muestre que R × R = R2 .
G
i i
i i
i i
las funciones ( )
[
x : I −→ Xi x(i) ∈ Xi
i∈I
O
Y
pj : Xi −→ Xj , pj ((xi )) = xj para cada j ∈ I.
N
i∈I
jas abiertas
Tn formadas por la intersección de finitos cilindros, i.e.,
−1
U = k=1 pik (Uik ) o de manera equivalente
Y
U = Ui1 × Ui2 × · · · × Uin × Xi , i 6= i1 , i2 , . . . , in .
G
i∈I
i i
i i
i i
N O
IA
UB
lado?— y observar que p−1i (Ui ) consiste de todas las funciones (xi ) en
el producto que asignan a cada ı́ndice j ∈ I un punto cualquiera de Xj
pero a la coordenada i le debe asignar un punto dentro del abierto Ui ;
esto es, tenemos a todas las funciones que pasan a través del intervalo
G
i i
i i
i i
......
........
.........
..... ..... ..... ......... .... .....
.. ......... .........
....
...
.... ........................... ...............
......
.......
......
......
.
.........
...
.
.
....... ................
...
.
.
.....
... ..
....
......
.
.................... ......
..............
...........
...........
....
.........................................................................
...
.
.
.
..◦
....
. ..................
..........
.........
... ..............
.........
............................................... ....
....
.
.
.
....
.
....
..
..
...
....
...
...
....
...
........
...
.... .........
....
...
..
........
....
....
.......... ....
.....
.
...............
........................... .......
.
.
.
.
.
.. ....
.
.......
.
.
..
.
.
.
.
.
.
.
..
..... .
.......
.... . .
.......
. . . .
......... ..
.
..
..
.... .......
.
.
. .
..
.
..
◦.
.
..
.....
...
............
.
......
...............
...........................................................................
......
......
.........
.
...... ... ... .. .
.. ........
........ . ........
.....
.... .... .............
... ..
...
....
...
...
...
...
...
...
... ......
.. . ...
................
.
. .
..... ..... .
. .
...... ...
........ ................. .
.
. .
....
.... ......
.......... .
.
. .. . .... ...
..... .... ........ ... ........................
.. .......... .. ....
...
............................................................................. . ........................ ............. .
. ... .
.... ...
... .
. ...
. ...
. ......
....... .... ...
..... ..... .... .... ....... . ...
...... ... ...
... ... ... ··· .... ··· ...... ...
... .... .... ... .......
.... ...
.... ... ... ... .... ...... ...
.... .... .... .... .... ...
... ... ... ... .... ...
... ... .... .... ... ...
.... .... ... ... ... ...
... .... .... .... .... ...
.... ... ... ... ... ...
... ... ... .... .... ...
.... .... .... ... ... ...
. . . . . ..
X1 X2 X3 Xi
O
obtenemos la llamada topologı́a caja3 la cual posee más abiertos que
N
nuestra topologı́a producto y por tanto la contiene. Por supuesto, en
el caso de un número finito de ı́ndices, la topologı́a caja coincide con
la topologı́a producto.
IA
A menos queQse especifique otra cosa, cuando hablemos del espacio
producto X = i∈I Xi entenderemos que la topologı́a involucrada es
UB
Tychonoff.
i i
i i
i i
Q
Proposición 8.3. Sea X = i∈I Xi un espacio producto. Para cada
i ∈ I la función proyección pi : X −→ Xi es una función continua,
abierta y sobre.
O
Y
U = Ui1 × Ui2 × · · · × Uin × Xi , i 6= i1 , i2 , . . . , in
N
un abierto básico; si i = ik entonces pi (U ) = Uik ; si i 6= i1 , i2 , · · · , in
entonces pi (U ) = Xi . En cualquier caso pi (U ) es abierto en Xi .
IA
Ejercicios 8.3
1. Muestre que la topologı́a producto es en efecto ‘la mejor’ que
UB
i i
i i
i i
O
un punto xi = ai = bi ∈ Xi con lo que los puntos a = (ai ), b = (bi )
son idénticos excepto por la coordenada j–ésima. La propiedad Tk
falla entonces para el par de puntos a, b en el producto ya que no los
N
podemos separar.
(⇐) —suficiencia—. Supongamos que cada espacio Xi es Tk . Sean
IA
a = (ai ), b = (bi ) dos puntos arbitrarios en X; por tanto, existe al
menos un ı́ndice j ∈ J tal que aj 6= bj . Si Xj es T2 existen vecindades
Vaj , Vbj abiertas y disyuntas. Los abiertos Ua = p−1 j (Vaj ) y Ub =
−1
pj (Vbj ) son disyuntos en X y además a ∈ Ua , b ∈ Ub ; por tanto, X es
UB
grosera.
i i
i i
i i
O
un conjuntoenumerable de ı́ndices—. Pero para este j sabemos que
existe Vj 6= Xj , luego p−1
j (Vx ) es una vecindad abierta de x para la
j (Vx ) y esto contradice a Bx como base
cual no existe algún Bn ⊆ p−1
N
local.
(⇐) Supongamos que cada espacio factor Xi es 1–contable y que
IA
además existe J ⊆ I subconjunto enumerable tal que si i ∈ I − J
entonces Xi es grosero. Dado x = (xi ) ∈ X veamos que existe una
base local contable Bx de x. Por cada xi sea Bxi una base local
contable en Xi —claramente Bxi = {Xi } si i ∈ I − J—. Sea
UB
B = {p−1
i (U ) | i ∈ I, U ∈ Bxi }
Q
Cuando en un producto i∈I Xi todos los factores Xi son iguales a
G
i i
i i
i i
no existe Bn ⊆ V0 .
O
es toda una fuente de contraejemplos.
Ejemplo 8.8. Sean A = ({0, 1}, discreta) y X = AN . Veamos que
N
el conjunto unitario B cuyo único elemento es la sucesión constante
a cero B = {0} = {(0)n } no es un abierto en la topologı́a producto.
IA
Como B es un conjunto unitario lo podemos expresar como B = Bn ,
Q
(n ∈ N) con Bn = {0} para cada n. Pero por otra parte, si B fuese de
la base, los Bn podrı́an ser unitarios únicamente para un número finito
de naturales. Es decir, el producto infinito de espacios discretos no
UB
Ejercicios 8.5
1. ¿Es el producto de espacios groseros un espacio grosero?
.R
espacio producto.
Sugerencia: Sea X el espacio i (Xi , Ti ). SiQYi ⊆ Xi (para cada
Q
i) existen dos maneras de dar topologı́a Q a i Yi . Una como la
inducida de la topologı́a producto en i Xi y otra al tomar la
topologı́a producto de todas las topologı́as Ti |Yi . Muestre que
estas dos topologı́as coinciden.
Q
4. Sea X = i∈I Xi un espacio producto. Entonces X es 2–
contable si y sólo si cada factor Xi es 2–contable y, a excepción
de un número contable de ı́ndices, todos los espacios tienen la
topologı́a grosera.
i i
i i
i i
O
un filtro en el conjunto de ı́ndices I. Muestre que el conjunto
de todas las cajas (Ui ) tales que {i | Ui = Xi } ∈ F forman una
N
base para una topologı́a en X llamada la F-topologı́a.
(a) Si F = 2X es el filtro trivial entonces la F-topologı́a es la
topologı́a caja.
IA
(b) Si F es el filtro de los cofinitos para I, la F-topologı́a es la
topologı́a producto de Tychonoff.
(c) Si F ⊆ T entonces la F-topologı́a está contenida en la T-
UB
topologı́a.
(d) La U-topologı́a en el caso de un ultrafiltro U es una ultra-
topologı́a en el sentido que sólo es superada por la discreta.
.R
i i
i i
i i
O
Bεd (x) ⊆ U1 × U2 × · · · × Un . En efecto, si y = (y1 , y2 , . . . , yn ) ∈ Bεd (x)
entonces para cada coordenada i tenemos
N
n
!1/2
X
|xi − yi | ≤ |xi − yi |2 ≤ ε ≤ εi ,
i=1
IA
y por tanto, cada yi ∈ Bεd (x) ⊆ Ui , es decir y ∈ U1 × U2 × · · · × Un .
i=1
i i
i i
i i
O
i=1
N
1. Por cada i ∈ N tenemos
IA
2−i min{1, di (xi , yi )} = 2−i min{1, di (yi , xi )} ≥ 0,
luego
d(x, y) = d(y, x) ≥ 0.
UB
luego
G
i i
i i
i i
O
X
d(x, y) = 2−i di (xi , yi )
i≥0
N
p−1
X X
≤ 2−i di (xi , yi ) + 2−i
i=0 i≥p
p−1
X ε X −i
IA
< 2−i + 2
i=0
4 i≥p
ε X ε ε
≤ 2( ) + 2−i < + = ε.
UB
4 i≥p
2 2
donde
d∗n
Uni = Bεi i (xni ) ⊆ Xni .
Veamos que Bεd (x) ⊆ U . Sean ε = min{ε1 /2, . . . , εk /2k } y y tal que
d(y, x) < ε, entonces
G
i i
i i
i i
Ejemplo
Q 8.13. Para Xi = ({0, 1}, discreta), (i ∈ R) el espacio
i∈R Xi no es metrizable. Muestre que este espacio producto no es 1–
contable, verificando que no existe una base local contable en 0 = (xi ),
donde xi = 0 para cada i.
O
coordenadas fi : X −→ Yi . La estrecha relación entre la continuidad
de f y la de las fi resulta de la siguiente proposición.
N
Q
Proposición 8.14. La función f : X −→ i∈I Yi es continua en el
punto a si y sólo si cada una de las aplicaciones coordenadas fi es
continua en a.
IA
Demostración. Si f es continua en a, como fi = pi ◦ f donde pi es
la proyección de Y en Yi , por la composición de funciones continuas
UB
i i
i i
i i
es contı́nua.
Para el caso de un producto de dos espacios X1 × X2 , tenemos
que la función t 7−→ f (a, t) de X2 en Y es continua, puesto que la
función X2 −→ {a} × X2 dada por t 7−→ (a, t), t ∈ X2 es un ho-
meomorfismo. En otras palabras, la continuidad de f implica la con-
tinuidad de las funciones parciales X1 −→ Y, X2 −→ Y dadas por
s 7−→ f (s, b), t 7−→ f (a, t) respectivamente.
Lo recı́proco sin embargo es falso; es decir la continuidad sobre las
restricciones de un producto no implica la continuidad sobre todo el
dominio producto; en efecto, sea f : R2 −→ R definida como
O
(
xy/(x2 + y 2 ) si (x, y) 6= (0, 0),
f (x, y) =
N
0 (x, y) = (0, 0).
0.5
0.25 1
0
-0.25 0.5
-0.5
-11 0
G
-0.5
0 -0.5
0.5
1 -1
i i
i i
i i
O
a = (ai ) ∈ X y un ı́ndice i ∈ I, existe un subespacio Xia ⊆ X tal que
a ∈ Xia con Xia homeomorfo a Xi .
N
Demostración. Definimos Xia := {(xi ) : xj = aj , si j 6= i}. Consi-
deremos la función restricción pi |Xia : Xia −→ Xi . Esta función es
IA
continua y biyectiva. Resta ver que ella es abierta —ejercicio!—.
Ejercicios 8.6
1. Sean Xi y Yi (i ∈ I) familias de espacios y fi : Xi → Yi una
función continua para cada i. Entonces la función
.R
Y Y Y
f= fi : Xi → Yi
Q Q
2. Si Xi ≈ Yi homeomorfos para cada i ∈ I, entonces Xi ≈ Yi .
i i
i i
i i
f1
X X1
f2
..
. X2
X3
fi
O
X4
N
Xi
i i
i i
i i
O
Proposición 8.20. Sea X un conjunto y {fi : X −→ (Xi , Gi ) | i ∈ I}
una colección de funciones continuas. Una topologı́a H para X es
igual a la topologı́a inicial T si y sólo si H satisface las condiciones
N
del teorema anterior —propiedad universal—.
IA
Demostración. Ya hemos demostrado que T satisface la propiedad
universal. Supongamos entonces que H también satisface la pro-
piedad universal y veamos que H = T. Consideremos la función
idX : (X, H) −→ (X, T). Aplicando la propiedad a H tenemos que
UB
Ejercicios 8.7
1. Dado un conjunto X y una única función f : X −→ (Y, H)
¿cómo es la topologı́a inicial para X? Notamos esta topologı́a
como
f −1 (H) = {f −1 (U ) : U ∈ H}.
i i
i i
i i
O
topologı́a producto?
N
fi continua y que en efecto es la “mejor”.
de la topologı́a inicial?
i i
i i
i i
f1
X1 X
f2
..
X2 .
X3 fi
X4
Xi
O
Figura 8.6: Objeto final.
N
lo que entonces queremos es que el conjunto U sea abierto en X si
para cada i se tiene que fi−1 (U ) es abierto en Xi ; esta topologı́a final
H es definida como
IA
H = {U ⊆ X | fi−1 (U ) es abierto en Xi , para cada i ∈ I}.
UB
i i
i i
i i
CAPÍTULO 9
N O
Posición de un punto respecto a un conjunto
IA
UB
Ejemplo 9.2. En (R, usual) los intervalos cerrados [a, b] son conjuntos
cerrados. Por supuesto un conjunto no tiene porque ser abierto o cerra-
do, por ejemplo, el subconjunto N en (R, cof initos). Tampoco estos
139
i i
i i
i i
1. ∅ y X son cerrados.
T
2. Si {Ai }, (i ∈ I) es una colección de cerrados entonces i Ai es
cerrado.
O
3. Si {A
Si }, (i ∈ J) —J finito— es una colección de cerrados enton-
ces i Ai es cerrado.
N
El concepto de topologı́a lo hubieramos podido introducir a partir
del concepto de cerrado. Dado un conjunto X y una familia C de
IA
subconjuntos cerrada para intersecciones arbitrarias y uniones fini-
tas, definimos la topologı́a T como la colección de todos los Ac con
A ∈ C.
UB
i i
i i
i i
A = {x : x es adherente a A}.
O
T
Demostración. Sea x ∈ {F : F es cerrado y A ⊆ F } y veamos que
x ∈ A.T Dada Vx vecindad de x existe U abiertoc con x ∈ Uc ⊆ Vx .
N
Si Vx A = ∅ entonces U ∩ A = ∅ luego A ⊆ U , ası́ que U es un
cerrado que contiene a A luego por la hipótesis x ∈ U c , lo cual es una
contradicción.
IA T
En el otro sentido, sea x ∈ A. Si x ∈
/ {F | F es cerrado y A ⊆ F }
existe F cerrado tal que A ⊆ F y x ∈ / F . Luego x ∈ F c con F c abierto
c
y además F ∩ A = ∅ lo cual contradice que x ∈ A.
UB
1. ∅ = ∅.
.R
2. A ⊆ A, para cada A ⊆ X.
3. A es cerrado.
G
4. A = A si y sólo si A es cerrado.
5. A = A.
6. Si A ⊆ B entonces A ⊆ B.
7. A ∪ B = A ∪ B.
8. A ∩ B ⊆ A ∩ B.
i i
i i
i i
O
allá del caso finito, aún en el caso de una unión enumerable. Por
ejemplo, si cada An = { n1 } entonces
N
1 [ [ [ 1
{ : n ∈ N} = An 6= An = {0} { : n ∈ N},
n n n
n
IA
pues en R con la usual A = { n1 : n ∈ N} tiene como puntos
adherentes a más de los del propio A al punto 0.
UB
i i
i i
i i
O
base local– y ası́ B1/n (x) ∩ A = ∅, lo cual contradice d(x, A) = 0.
N
Si el espacio es 1-contable las sucesiones caracterizan la adherencia.
Proposición 9.11 (Lema de las sucesiones). Sean (X, T) un espacio
IA
1–contable y A ⊆ (X, T). x ∈ A si y sólo si existe una sucesión (xn ),
(n ∈ N) con xn ∈ A tal que xn → x.
i i
i i
i i
O
propiedades
1. K(∅) = ∅.
N
2. A ⊆ K(A) —expansión—.
IA
3. K(A ∪ B) = K(A) ∪ K(B).
T = {U ⊆ X | K(U c ) = U c }.
G
T
con lo cual, K i∈I Vic ⊆ i∈I K(Vic ) ⊆ i∈I Vic y esto junto con la
T T
c
= ( i∈I Vi )c .
S S
contenencia en 2 nos dice que K i∈I Vi
i i
i i
i i
O
del teorema anterior. ¿Cómo es la topologı́a generada?
N
terizar en términos de la adherencia.
Teorema 9.15. Sean (X, T), (Y, H) espacios y f : X −→ Y . f es
IA
continua si y sólo si para cada A ⊆ X se tiene f (A) ⊆ f (A).
Si x es arbitrariamente cercano a A entonces f (x) lo es a f (A).
UB
i i
i i
i i
Q Q Q
Demostración. Veamos que i∈I Ai ⊆ i∈I Ai . Sea x ∈ i∈I Q Ai y Vx
una vecindad abierta del punto x = (xi ). Existe un abierto i∈I Ui de
Q
la base de la topologı́a producto con x ∈ i∈I Ui ⊆ Vx . Como xi ∈ Ai
tenemos Ui ∩ Ai 6= ∅ para cada i y ası́
! !
Y Y Y Y
Vx ∩ Ai ⊇ Ui ∩ Ai = (Ui ∩ Ai ) 6= ∅,
i∈I i∈I i∈I i∈I
Q
luego x ∈ i∈I Ai .
O
A
.. . . . .
......... ..... .
... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ........................................
.... ....... ... ......
.. ......
.....
.......... ..............
........... ..................
......................................................
...
....
........ .............
........
........
.......
.....
....
...
...
.. .. ...
N
.
....
.... ..................................... ...
...
..................................... ...
p (A)..
..
...
...
...... ..................................... ...
.....................................
.
...
2 .. ... ..
... .
.. .. ....
.................................
.. .....
.. . ...........................
..... ..... ..
.. .
... ..
.
..
..
.
......
..................... .
...
......
........
IA
.........
... ... ... ... ... ........ ... ... ... ... ... ... ...........................................................................
.......
.........
.
......
....... ..
..
..
..
.. ..
.. ..
.. ..
.. ..
.. ..
.. ..
.. ..
.................p.....(A)
..
..
................................ ..
..
UB
.. ..
pi (A)
Q
Figura 9.2: A ⊆ i∈I
! !
Y Y
pi Ai ⊆ pi Ai = Ai
i∈I i∈I
Q Q Q
cada i, luego i∈I Ai ⊆
para Q Ai pues si A ⊆ Xi entonces
G
i∈I i∈I
A ⊆ i∈I pi (A) (ver fig. 9.2).
Corolario 9.17. Sean (Xi , Ti )i∈I una colección de espacios topológicos
y Ai ⊆ Xi , Ai 6= ∅ para cada i. Entonces
Y
Ai es cerrado si y sólo si cada Ai es cerrado. (9.1)
i∈I
Q
Demostración. ⇒) Sea i∈I Ai un cerrado en el espacio producto.
Como Y Y Y
Ai = Ai = Ai (9.2)
i∈I i∈I i∈I
i i
i i
i i
Ejercicios 9.1
1. Dada Bε (x) en Rn , ¿quién es su adherencia?
O
2. Dada Bε (x) en el espacio métrico (X, d), ¿quién es su adheren-
cia?
N
3. La adherencia se comporta respecto a los subespacios de la si-
guiente manera. Si A ⊆ B ⊆ X entonces A como subespacio de
IA
B es igual a la intersección de A —como subespacio de X— con
B, es decir
AB = AX ∩ B.
UB
i i
i i
i i
O
que b es un punto lı́mite del conjunto A, si para cualquier Vb se
tiene (Vb − {b}) ∩ A 6= ∅. Es decir, cada vecindad del punto b contiene
puntos de A diferentes de b mismo, i.e., b ∈ A − {b}.
N
El conjunto de puntos de acumulación de A lo notamos Aa y lo
llamamos el derivado de A,
IA
Aa = {x | x es un punto de acumulación de A}.
A = A ∪ Aa .
.R
i i
i i
i i
O
Proposición 9.22. Si (X, T) es un espacio Hausdorff, entonces Aa
es cerrado para todo A subconjunto de X.
N
Demostración. De acuerdo al corolario anterior veamos que (Aa )a ⊆
IA
Aa . Sean x ∈ (Aa )a y Vx vecindad de x. No hay pérdida de generalidad
si tomamos Vx como abierta, ya que si no lo es, existe Ux abierto con
Ux ⊆ Vx y trabajamos con este Ux . Sea y ∈ (Vx − {x}) ∩ Aa , luego
y 6= x con y ∈ Aa . Por tanto, Vx que es vecindad tanto de x como de
UB
con lo que x ∈ Aa .
i i
i i
i i
O
Proposición 9.25. Dado (X, T) un espacio y A ⊆ X. (A, TA ) es
discreto si y solo si cada punto de A es aislado.
N
Demostración. En el subespacio (A, TA ) un punto x ∈ A es aislado si
IA
y sólo si {x} es abierto en la topologı́a del subespacio.
Ejemplo 9.26. En (R, usual) consideremos:
UB
1. El subconjunto Z. Si n ∈ Z entonces
1 1
{n} = Z ∩ (n − , n + ).
2 2
Por tanto la topologı́a de subespacio para Z es la discreta.
.R
Ejercicios 4.2
1. Si (X, T) es un espacio y A, B ⊆ X muestre que el conjunto
derivado posee las siguientes propiedades
(a) Si A ⊆ B entonces Aa ⊆ B a .
(b) (A)a = Aa para A ⊆ X.
(c) (A ∪ B)a = Aa ∪ B a para A, B ⊆ X.
i i
i i
i i
Aai ⊆ ( i∈I Ai )a , Ai ⊆ X.
S S
(d) i∈I
O
4. Sea R con la topologı́a generada por la base formada por las
colas (a, →). Muestre que {0}a no es cerrado.
N
5. Sea f : X −→ Y una función uno a uno entre espacios to-
pológicos; f es continua si y sólo si f (Aa ) ⊆ f (A)a para todo
IA
A ⊆ X.
(a) Ais(A) ∩ Aa = ∅.
(b) Ais(A) ∪ Aa = A.
(c) Ais A ⊆ Ais(A).
i i
i i
i i
A◦ = {x : x es interior a A}.
O
x
A
Proposición 9.28. Sean (X, T) un espacio y A ⊆ X. A◦ es el mayor
N
abierto contenido en A. IA
Demostración. Veamos que A◦ =
S
A donde la familia
A = {Ui ⊆ X : Ui ⊆ A y Ui es abierto}.
UB
1. A◦ ⊆ A.
2. (A ∩ B)◦ = A◦ ∩ B ◦ .
3. (A◦ )◦ = A.
i i
i i
i i
4. X ◦ = X.
5. (A ∪ B)◦ ⊆ (A ∪ B)◦ .
O
Dual al concepto de punto interior está el concepto de punto exte-
rior.
N
Definición 9.31. Sean (X, T) un espacio, A ⊆ X y b ∈ X. Decimos
que b es exterior a A si existe una vecindad Vb tal que Vb ⊆ Ac .
IA
El conjunto de los puntos exteriores a A se llama el exterior de
A y lo notamos Ext(A)
UB
x
A
Un subconjunto A de un espacio genera una partición sobre el
espacio de la siguiente manera.
Proposición 9.33. Sean (X, T) un espacio y A ⊆ X. X es la unión
disyunta
X = A◦ ∪ F r(A) ∪ Ext(A).
i i
i i
i i
Ejercicios 4.3
1. Continuidad en términos del interior. Una función f : X −→ Y
O
es contı́nua si y sólo si f −1 (B ◦ ) ⊆ (f −1 (B))◦ para cada B ⊆ Y .
2. Muestre que:
N
(a) A = Ext(A)c .
(b) A = (X − M )◦ .
IA
(c) A◦ = X − (X − A).
(d) F r(A) = A ∩ Ac .
UB
c
/ A◦ y x ∈
(i) F r(A) = {x | x ∈ / (Ac )◦ } = A◦ ∪ (Ac )◦ .
3. Muestre que:
i i
i i
i i
O
6. Si (X, T) es un espacio y A, B ⊆ X entonces A◦ ×B ◦ = (A×B)◦ .
¿Qué sucede si el conjunto de ı́ndices es arbitrario?
N
◦
7. Muestre que Cl Int Cl Int A = Cl Int A, i.e., A◦
IA =A◦ .
Un subconjunto A que está por todas partes del espacio (X, T) merece
un nombre especial.
i i
i i
i i
O
Ejemplo 9.38. Cada Rn es separable —basta considerar a Qn —.
N
Proposición 9.39. Si X es 2-contable entonces X es separable.
i i
i i
i i
y
◦.................................
..... . . . . . . . . . ..
.
..... .......... .. . .. . .. . .. . .. ....
..... .
O
.....
.....
.....
.....
.....
.....
N
.....
..... x
.....
.....
...
IA
Figura 9.3: Un abierto en la topologı́a de Sorgenfrey
UB
L = {(x, −x) : x ∈ R}
i i
i i
i i
O
separables, el espacio producto n∈N Xn , es separable.
N
Demostración. Sea Dn un subconjunto denso en Xn , Dn = {xn0 , xn1 , . . .}.
Consideremos el conjunto M de todos los subconjuntos finitos de N.
M es un conjunto contable. Para cada K ∈ M definimos
IA
SK = {f | f : K −→ N}.
S
SK es enumerable y por tanto F := K∈M SK es también enumerable.
UB
Q
Dada f ∈ F definimos xf ∈ n∈N Xn como
(
xnf(n) , si n está en el dominio de f ,
xf (n) = n
xf (n) = xo si n no está en el dominio de f .
.R
Sea Y
U = Un1 × · · · × Unj × Xn
i6=nj
G
un abierto básico. Por cada ni escogemos mi tal que xnmii ∈ Uni (densi-
dad de Dni ). Para f definida como f (ni ) = mi , (i = 1, . . . , k) se tiene
que xf ∈ U . Luego D := {xf : f ∈ F } es denso.
i i
i i
i i
O
X denso y contable; veamos que f (D) es también denso y contable
en Y . En efecto, dado V abierto en Y para f −1 (V ) existe d ∈ D con
N
d ∈ f −1 (V ) y ası́ f (d) ∈ V –realmente solo hemos utilizado que f es
continua y sobre–.
IA
Concluimos esta sección con un teorema de unicidad, en el sentido
que solo hay una manera de extender una función contı́nua a todo el
espacio una vez esté definida sobre un subconjunto denso.
UB
i i
i i
i i
O
#(cN ) = c. Dado que #(X) ≤ 2ω y X es 1–contable, X tiene una
base —la unión de todas las bases locales— de cardinalidad menor o
igual a
N
N · 2ω = #(N) · c = c = 2ω .
IA ω
Luego el número de conjuntos abiertos en X es a lo más 22 .
ω
Además, 22 es la mejor cota sobre el número de conjuntos abiertos
para estos espacios. Por ejemplo R2 con la topologı́a de Sorgenfrey
(ver ej. 9.43).
UB
Ejercicios 4.4
3. Muestre que C([0, 1]) con la topologı́a hd∞ i del sup es separable.
i i
i i
i i
O
denso en ninguna parte si (M )◦ = ∅.
N
(a) Muestre que Z es diseminado en (R, usual). ¿En (R, cof initos)?
(b) M es diseminado si y sólo si (M )c es denso.
IA
8. Muestre que (I × I, lexi) no es separable.
UB
.R
G
i i
i i
i i
CAPÍTULO 10
N O
IA Compacidad
UB
1
Introducido por el matemático alemán Heinrich Heine (Berlin 1821-Halle 1881)
en 1872 (quien también formuló el concepto de la continuidad uniforme), modifi-
cado por el matemático y polı́tico francés Félix Borel (Saint-Affrique 1871-Parı́s
1956) en 1894, y por Henri Léon Lebesgue (Beauvais 1875-Parı́s 1941) matemático
francés que formuló la teorı́a de la medida en 1910.
162
i i
i i
i i
O
M es no vacı́o y está acotado superiormente por b. Ası́, M admite
N
una mı́nima cota superior s. Veamos que s ∈ M y s = b. Sea U un
elemento de U que contiene a s. Como U es abierto, existe ε > 0 tal
que (s − ε, s] ⊆ U si s = b o para s < b tendrı́amos (s − ε, s + ε) ⊆ U
IA
y por ser s un sup existe δ > 0 tal que δ < ε y s − δ ∈ M . Luego
el intervalo [a, s − δ] está contenido en la unión de un subcubrimiento
finito de U, llamémoslo M. Por tanto M ∪ {U } es un recubrimiento
finito de [a, s], es decir s ∈ M . Si s fuese menor que b entonces
UB
damos nombre
i i
i i
i i
164 Compacidad
O
Ejemplo 10.4. 1. (R, cof initos) es compacto pues dado un cubri-
miento abierto U, tomemos U ∈ U; como U c es finito necesitamos
adjuntarle a U tan solo finitos miembros de U para obtener un
N
subcubrimiento abierto.
i i
i i
i i
f −1 (U) = {f −1 (U ) : U ∈ U}
O
es un cubrimiento abierto de X. Como X es compacto, existe un
subcubrimiento {f −1 (U1 ), . . . , f −1 (Un )} de f −1 (U) y por ser f sobre
N
tenemos f (f −1 (Uk )) = Uk para 1 ≤ k ≤ n. Ası́, Y = f (X) =⊆
U1 ∪ . . . ∪ Un y por tanto U admite un subcubrimiento finito.
IA
Los subconjuntos compactos de un espacio de Hausdorff tienen al-
gunas propiedades deseables, que pueden faltarle a los espacios com-
pactos en general. Esta es una razón para que algunos autores llamen
UB
.......................................
.................... ........
........... ......
..... ......
.... .....
.... A .... .... .... .... ....
...
...
...
... .... ....
... .... .... ... ... ...
... .. .
. ... ... .
.... .
.. a .. .. . ...
....
.... ... • . ..
... ... ...
....
... ... .
.
. ... ... • ...
.... .. .... . ... x
.. .... .. .
G
.... ..
.... .. ...
... ..
.
. .... ...
... x .
. .... ... ....
...
...
U a .
...
. .... ....
.. ... Uxa
.. ...
.
... .
....
... ...
......... .....
.....
....
......
......
........... .......
.............................
i i
i i
i i
166 Compacidad
O
una buena combinación, de hecho forman una propiedad óptima (real-
mente minimal, ejercicio 17). Una topologı́a que es más fina que una
topologı́a de Hausdorff es de Hausdorff, mientras que una topologı́a
N
que es más gruesa que una topologı́a compacta es a su vez compacta.
Ejercicios 10.1
1. Sean (X, T), (Y, H) espacios con X compacto y Y de Hausdorff.
Si f : X −→ Y es continua entonces f (A) = f (A) para todo
G
A ⊆ X.
i i
i i
i i
O
6. Muestre que en un espacio de Hausdorff, A es compacta si A lo
es.
N
7. Sea (X, T) un espacio 1-contable. X es de Hausdorff si y sólo si
cada subconjunto compacto es cerrado.
IA
8. Sea X = ([0, 1), usual). Muestre que la función f : X −→ S 1
definida por f (t) = (cos2πt, sen2πt) es una biyección continua.
UB
¿Es homeomorfismo?.
i i
i i
i i
168 Compacidad
O
10.2 Dos Caracterizaciones de la compacidad
N
Sea X un conjunto y A = {Ai }, (i ∈ I) una familia de subconjuntos
de X. Decimos que A tiene la propiedad de la intersección finita
IA
T finita de A es no vacı́a;
PIF si la intersección de cualquier subfamilia
esto es, si para todo J ⊆ I finito se tiene j∈J Aj 6= ∅. El siguiente
teorema nos da una caracterización de la compacidad en terminos de
los subconjuntos cerrados del espacio.
UB
finito de {Ui }, con lo cual nk=1 Uik = X y esto nos contradice la PIF.
En el otro sentido, si X no es compacto existe {Ui }, (i ∈ I) cubri-
miento abierto que no se puede reducir a uno finito. Sea Ci = X/Ui
para cada i ∈ I. Claramente C = {Ci }, (i ∈ I) tiene la PIF pero
∩C = ∅, lo que contradice nuestra propiedad inicial.
Demostración. C satisface la P IF .
i i
i i
i i
O
Demostración. Supongamos
T que X es compacto y F es un filtro en X;
debemos ver que {F | F ∈ F} = 6 ∅. Veamos que C = {F | F ∈ F}
N
posee la P IF . Dada F1 , F2 , . . . , Fn una subfamilia finita de C
n
\ n
\
Fi ⊆ Fi ,
i=1
IA i=1
Tn
y como F es un filtro tenemos i=1 Fi 6= ∅; pero
n n
UB
\ \
Fi ⊆ Fi ,
i=1 i=1
Tn
con lo cual i=1 Fi 6= ∅. Por tanto ∩C 6= ∅ y ası́ F = ∩C 6= ∅.
En el otro sentido, para verificar que X es compacto tomemos una
.R
elemento de M.
2. M es no vacı́o y el conjunto vacı́o no es un elemento de M.
Sea
F = hMi = {F ⊆ X : M ⊆ F, algún M ∈ M}.
T
Sabemos que F 6= ∅ y por tanto existe x ∈ X con x ∈ {F | F ∈ F}
y como C ⊆ F tenemos
\ \ \
{F : F ∈ F} ⊆ {C : C ∈ C} = {C : C ∈ C},
T
pues cada C es cerrado. De tal manera que x ∈ {C : C ∈ C}.
i i
i i
i i
170 Compacidad
Ejemplo 10.15. (R, cof initos) es compacto Via los filtros. Sea F
un filtro en R y supongamos que a ∈ R satisface que a ∈ / F; luego
existen Va y F ∈ F para los cuales Va ∩ F = ∅ luego F ⊆ X − Va y por
tanto F es un conjunto finito, digamos F = {x1 , x2 , . . . , xn }. Existe
un ı́ndice i ∈ {1, 2, . . . , n} para el cual se satisface que xi está en todos
los elementos del filtro, pues en caso contrario existen F1 , . . . , Fn ∈ F
tales que xk ∈/ Fk , (k = 1, . . . , n) y por tanto F ∩ F1 ∩ . . . ∩ Fn = ∅ lo
cual no puede suceder; por tanto xi ∈ F.
O
definición en términos del concepto de ultrafiltro.
N
Teorema 10.16. Un espacio (X, T) es compacto si y sólo si cada
ultrafiltro en X es convergente.
IA
Demostración. Sea U un ultrafiltro y supongamos que U no es conver-
gente; para cada x ∈ X existe Vx abierta tal que Vx ∈ / U, y como U es
UB
c
un ultrafiltro entonces Vx ∈ U. Por supuesto {Vx }, (x ∈ X) es un cu-
brimiento abierto de X y por la compacidad loSpodemos reducir a un
subcubrimiento finito Vx1 , Vx2 , · · · , Vxn . Ası́, ( ni=1 Vxi )c = ni=1 Vxci =
T
∅ con lo cual ∅ estarı́a en U y esto no puede suceder.
.R
Ejemplo 10.17. (R, cof initos) es compacto Via los ultrafiltros. Sea
U un ultrafiltro en R y veamos que él es convergente. Si U es princi-
pal, entonces claramente es convergente. Si no es principal todos sus
elementos son infinitos, y por tanto dado un x y una Vx cualquiera se
tiene que Vx ∈ U pues de lo contrario Vxc ∈ U pero sabemos que U no
la admite por ser finita. Por tanto U converge a todo punto de R.
i i
i i
i i
O
que tanto X como Y también son compactos.
En el otro sentido sea O = {Oi }, (i ∈ I) un cubrimiento abierto de
X ×Y . Por cada (x, y) ∈ X ×Y existen abiertos Vxy ⊆ X, Vyx ⊆ Y tales
N
que (x, y) ∈ Vxy × Vyx ⊆ Oi para cada Oi que contenga a (x, y). Luego
es suficiente mostrar que los rectángulos básicos Vxy × Vyx construidos
IA
de esta manera contienen una subfamilia finita que recubre a X × Y ,
ya que para cada elemento de esta subfamilia tomamos uno de los Oi
que lo contiene.
Tomemos un y ∈ Y cualquiera y consideremos la familia {Vxy },
UB
Notemos que
i i
i i
i i
172 Compacidad
O
A ⊆ [−t, t] × [−t, t] × · · · × [−t, t] —n copias de [−t, t]—
N
y como cada [−t, t] es compacto tenemos que A es un cerrado contenido
en un compacto, luego A es compacto.
IA
Ejemplo 10.20. El toro y la cinta de Möbius son compactos por ser
cerrados y acotados. Note que T tiene una representación en R3 que
equivale a pegar en cada punto de S 1 al mismo S 1 algo más reducido,
UB
lación.
i i
i i
i i
satisface Va ∩ PX (M ) = ∅ y ası́ Va ⊆ PX (M )c .
O
cerrado; por ejemplo, M = graf o(f ) ⊆ (R2 , usual) para f (x) = 1/x.
N
un espacio producto X × Y . El conjunto IA
{V1 × V2 : V1 ∈ V(A), V2 ∈ V(B)},
.
.....
........
A×B .. ..
.... .....
...............................................................................................................................................................
...
W
... ... ... ...
◦.. ........ ...... ...... ...... ........... ...... ...... ...... ... ..
......... ... . .. . .
..... ...
... .
...
.. .
...
.. ...... . . ..
... ..... .. ....... ........ . ...
.. ... ... ...
............. .. . . .
. .............................................................. ................................... . ...
.. .. . . . . . . . . . ...
... ...... ...... ...... ...... ... ... ...... ...... ...
A × {y} .
.. ..
. . . . ... ...
.. ... ..... .... .... ..... .... ..... .... .
..........
.. .
. . . ...
... ..
. . .. ..... ...... ...... ........
. .. ..... .........
. ... ...
. .
. . ....... ..... .... ...... ... ........ .... ... . ... U ×V
.R
.......... ... . . . .
........ ...... ....... ......... ............ .
........ ........ .........
. . .
. .
. . . .. .. . .
.
.. ... ..............
.... .... ........... ....... ...... ....... ..... ............ ....... ..... ... ............
B.
..
... .. ... .... .... .... .... ... .... ...... ... . ..
.........
. .. . .............
... ... . ... ...... ...... ...... ...... ... ... ...... ..... ...
V .... ... .. .. .
..... ...... ....... ....... ......
. ..
...... ...... ......
. . ... ............
.. ...
.. .... . .. .... ... ... .... .. .. .... ... ..
... .. ... ... ... .. .. ......... ..... ... ... ....
........
.. ..
... ... . ...... ...... ...... ....... ...... . . ... ...
.
. ...
... ..
. .. ... ...... ...... ..... ...... ... .... ...... ...... .... ...
. ....
... ... . ...... ...... ...... ..... ..... ...... ..... .... ..
...... ... ... .. ... ..... ..... ..... ........ . .... ......
. ... ...
... ..
. . ........ ..... ..... ..... ... ........ ..... ...
. . ....
... ... .
. ... .... .... .... ...... . .... .... ... .
. ..
.
. .
. .
. . .... ..... .... .... ..
. .. ...... ..........
.
..
...
. . . .
. ..
.............. ..... .. ........................................................................ .
..................................... ...
. ....
... .
. .. ..
G
... ... .
. ... ...
◦ ... ... ..... ...... ...... ...... ...... ...... ...... ...... ...... ...... ...... ...... ...... ...... . . .
... ... ..
.
.....
............... .......
... . .
...
..
..................................................................................................................................................
...
◦................................................................◦
.. ...... ...... ...... ......
..............................................................................................................................................................................................................................................
.... ...... ...... ...... ......
..
A
U
i i
i i
i i
174 Compacidad
O
corte {x0 } × Y entonces W contiene un tubo Vx0 × Y .
N
producto X × Y . IA
Ejercicios 10.3
1. Muestre que la caracterización en 6.19 no se puede extender a
UB
H = {A ⊆ X | A es compacto}
.R
donde
G
i i
i i
i i
O
10.4 Teorema de Tychonoff
N
Los siguientes párrafos están encaminados a demostrar el resultado
que A. Tychonoff presentó en 1930, el cual ha sido descrito algunas
IA
veces como el resultado —individualmente— más importante de la
topologı́a general. Lo que sı́ es cierto sin ninguna duda, es que él es
uno de los medios más poderosos para garantizar la compacidad de
UB
Q
Lema 10.27. Sean X = Xi , (i ∈ I) un espacio con la topologı́a
producto y x = (xi ), (i ∈ I) un punto en X. Un filtro F de X
converge al punto x si y sólo si para cada i ∈ I el filtro pi (F) en Xi
—dado por la proyección— converge a xi .
i i
i i
i i
176 Compacidad
Luego pik (Vx ) = Vik es una vecindad de xik puesto que las proyecciones
son abiertas. Como pik (F) → xik , pik (Vx ) ∈ pik (F),Q y por tanto existe
F ∈ F tal que pik (F ) ⊆ pQ ik (Vx ), luego F ⊆ Vik × i6=ik Xi . Por ser F
filtro tenemos que Vik × i6=ik Xi está en F para cada k = 1, . . . , n.
Luego
O
\n Y
(Vik × Xi ) = Vx ∈ F,
k=1 i6=ik
N
lo que significa F → x.
Q
Teorema 10.28. Tychonoff 1930. Sea X = Xi , (i ∈ I) un espacio
IA
con la topologı́a producto. Entonces X es compacto si y sólo si cada
espacio coordenado Xi es compacto.
UB
i i
i i
i i
O
(pU ◦ b)−1 ({0}) = {x ∈ X : x
b(U ) = 0} = {x : x ∈ U } = U ;
N
abierta pues
b = {b
U x : x ∈ U } = {b b(U ) = 0} = p−1
x:x U ({0}) ∩ X.
b
IA
En caso de que X sea T0 tenemos que b es inyectiva y por tanto un
homeomorfismo.
UB
/ U y U ∈ T ó
1. ∞ ∈
i i
i i
i i
178 Compacidad
O
como (∪V)c es cerrado y U c es compacto tenemos que (∪V)c es cerrado
y compacto, esto es ∪V ∈ T ∗ .
N
Corolario 10.32. El espacio (X ∗ , T ∗ ) es compacto.
IA
Demostración. Sea U un cubrimiento abierto de X ∗ ; como ∞ ∈ ∪U
existe U0 ∈ U con ∞ ∈ U0 y U0 compacto. Claramente U es también
c
Sn abierto de U0 , luego lo podemos reducir a U1 , . . . , Un y
cubrimiento
∗
ası́ X ⊆ i=1 Ui .
UB
∞ ∈ X y ası́ X = X ∗ en T ∗ .
i i
i i
i i
O
Demostración. Basta considerar la inclusión i : X ,→ X ∗ . Dado U ⊆
N
X, U es abierto en x si y sólo si lo es en X ∗ . Luego G ∗ induce la
topologı́a original G de X. (X, T) no se pierde en (X ∗ , T ∗ ).
Definición 10.36. Sea (X, T) un espacio . Un espacio (Y, H) com-
IA
pacto se llama un compactado de X si y sólo si existe una función
f : X −→ Y continua e inyectiva tal que f : X −→ f (X) ⊆ Y es
un homeomorfismo con f (X) denso en Y . En particular decimos que
UB
Ejercicios 6.7
1. Muestre que en los espacios Hausdorff la compacidad local se
hereda a los subconjuntos cerrados o abiertos.
2. Muestre que la compacidad local es un invariante topológico.
3. Muestre que un espacio producto de espacios es localmente com-
pacto si y sólo si cada espacio coordenado es localmente com-
pacto y, todos excepto un número finito de espacios coordenados
son compactos.
i i
i i
i i
180 Compacidad
O
X yx∈ / A existen vecindades disyuntas de A y x —podemos
separar puntos de cerrados—.
N
IA
UB
.R
G
i i
i i
i i
CAPÍTULO 13
N O
Los axiomas de separación
IA
UB
13.1 T0 , T1 , T2 o Hausdorff
240
i i
i i
i i
O
tos del espacio, al menos uno de ellos se puede separar del otro por
medio de un abierto.
N
Definición 13.1. Un espacio (X, T) es T0 o de Kolmogoroff si y sólo
si dados x, y ∈ X con x 6= y, existe una vecindad abierta Ux de x que
no contiene a y ó existe una vecindad abierta Uy de y que no contiene
a x.
IA
Ejemplo 13.2. Dado un conjunto parcialmente ordenado (X, ≤), el
espacio (X, Jd ) con la topologı́a generada por las colas a derecha ce-
UB
rradas es T0 .
Ejemplo 13.3. Se puede ver a partir de la definición que un espacio
/ {y} ó y ∈
es T0 si y sólo si dados x 6= y, x ∈ / {x}.
Ejemplo 13.4. El espacio del ejemplo 6.62 —intervalos encajados—
.R
i i
i i
i i
O
Hausdorff o T2 . Algunas veces este espacio es llamado “separado”
que no debe confundirse con separable, lo cual tiene un significado
completamente diferente.
N
Ya hemos visto que en estos espacios Hausdorff la convergencia de
una sucesión o de un filtro, en caso de existir es única, lo que es uno
IA
de los requisitos mı́nimos para desarrollar una teorı́a de convergencia.
Ejercicios 7.1
.R
i i
i i
i i
O
6. Muestre que la definición de T2 es equivalente a exigir que para
cada a ∈ X la intersección de todas las vecindades cerradas del
punto a es el conjunto {a}.
N
7. Muestre que todo espacio finito que es T1 necesariamente es dis-
creto.
IA
8. Muestre que un espacio (X, T) es T2 si y sólo si la diagonal
∆X = {(x, x) : x ∈ X}
UB
sucesiones.
Sugerencia: (R, coenumerables).
11. Sea f : (X, T) −→ (Y, H) una función continua y (Y, H) un
G
i i
i i
i i
O
15. ¿Las propiedades T0 , T1 , T2 son hereditarias?
N
17. (R, co-compacto). En R definimos C ⊆ R cerrado si y sólo si
C es cerrado y acotado en el sentido usual. Muestre que este
IA
espacio es T1 pero no es T2 . ¿Se puede generalizar esta topologı́a
a todo espacio ? (ver ejercicio 15 de 6.1).
Q
18. Muestre que el espacio producto i∈I (Xi , Gi ) es T0 , T1 , T2 si y
UB
i i
i i
i i
O
A es cerrado ya que Ac = R ∩ Ac es abierto— no pueden ser separados
¿porqué?. La siguiente es una caracterización local de los espacios
N
regulares y es quizaś la forma más útil de presentar este axioma.
c
Si tomamos U = Vx entonces F ⊆ U y además Vx ∩ U = ∅.
i i
i i
i i
VA (x) = {V ∩ A : V ∈ V(x)}
O
Q
Proposición 13.18. El espacio producto X = Xi , (i ∈ I) con la
topologı́a producto es regular si y sólo si cada Xi es regular.
N
Demostración. Supongamos que para algún ı́ndice i, Xi no es regular
y veamos que entonces X tampoco lo es. Luego existen xi ∈ Xi y
IA
un cerrado Ai ⊆ Xi que no contiene a xi , los cuales no pueden ser
separados. Definimos x ∈ X como x = (xj ) con xi en la componente i
−1
y las demás
Q arbitrarias. Sea A = pi (Ai ) —el cilindro—; consideremos
Ux = Uxi , (i ∈ I) una vecindad cualquiera de x y UA cualquier
UB
i i
i i
i i
O
1. J0 . Un sistema fundamental de vecindades de x es V(x) =
N
{(a, b) : a < x < b}. Es suficiente mostrar que todo elemento
en V(x) contiene una vecindad de x que es cerrada. Sea (a, b) ∈
V(x):
IA
(a) Si existen t, t0 tales que a < t < x y x < t0 < b entonces
x ∈ (t, t0 ) ⊆ [t, t0 ] ⊆ (a, b).
UB
[ [ [
[x, y)c = [a, x) [y, b).
a<x y<b
3. T− . Como en (2).
i i
i i
i i
La razón del nombre para estos espacios es porque son más que
regulares; en efecto los conjuntos f −1 ([0, 1/2)) y f −1 ((1/2, 1]) son ve-
cindades disyuntas de x y F respectivamente.
O
pacio de Tychonoff o T3 1 —estos espacios están entre los T3 y T4 —.
2
Fue Tychonoff quien en 1930 dio un ejemplo de un espacio T3 que no
es completamente regular.
N
Q
Recordemos que los productos de la forma i∈I [0, 1]i —cada [0, 1]i
IA
es el intervalo unidad con la topologı́a usual— con la topologı́a produc-
to de Tychonoff los hemos llamado cubos i-dimensionales y notados
como [0, 1]I . Si (X, T) es un espacio Hausdorff y F = {f | f : X −→
[0, 1]} es la familia de todas las funciones continuas, la función evalua-
UB
ción Y
e : X −→ [0, 1]f
f ∈F
i i
i i
i i
Ejercicios 7.2
O
1. Sea (X, T) un espacio T
T3 . Muestre que para cada F cerrado,
F ⊆ X tenemos F = {V | V ∈ V(F )}.
N
2. ¿Es la regularidad un invariante continuo?
F = {f | f : X −→ [0, 1]}.
13.3 Normales, T4
i i
i i
i i
Claro que esto no se puede dar en el caso que los conjuntos unitarios
O
sean cerrados.
Definición 13.27. Un espacio (X, T) que es normal y además T1 se
N
dice T4 .
Proposición 13.28. Si (X, T) es T4 entonces es T3 .
IA
Demostración. Si X es T1 el conjunto {x} es cerrado para cada x ∈ X,
y ser regular es un caso particular de ser normal.
UB
F ⊆ V ⊆ V ⊆ U.
.R
i i
i i
i i
O
Por supuesto existen espacios normales que no son metrizables.
N
Ejemplo 13.31. Sea R con la topologı́a T definida como: U ∈ T si
/ U . Por supuesto T es Hausdorff, pues
y sólo si U c es contable o 0 ∈
dados x 6= y uno de los dos, digamos x, es diferente de 0; por tanto
IA
{x} y R − {x} son abiertos.
Para ver que (R, T) es normal tomemos F, G cerrados disyuntos no
vacı́os; uno de los dos no contiene al punto 0, digamos F , luego F es
UB
i i
i i
i i
O
Sean VQ , VI abiertos disyuntos separando a Q, I. Por cada (x, 0) ∈
I ⊆ VI existe un disco Dx ⊆ VI de radio rx y tangente a L en el punto
N
(x, 0). Sea Sn = {(x, 0) ∈ I | rx > 1/n}. Ası́, Sn ⊆ Sn+1 y la colección
{Sn } junto con los puntos de Q forman un cubrimiento contable de L.
IA
Veamos que en R sucede lo siguiente:
Si R es una unión contable de los subconjuntos {Sn } entonces por
lo menos uno de ellos contiene un intervalo abierto.
UB
Supongamos que cada Sn tiene interior vacı́o, esto es, dado cual-
quier intervalo I ⊆ L, existe un subintervalo J ⊆ I tal que Sn ∩ J = ∅
—recuerde que Sn es cerrado y esto es equivalente a decir que el interior
de la adherencia de cada Sn es vacı́o, es decir Sn es denso en ninguna
parte—. Como los racionales son enumerables, sea {q1 , q2 , . . .} una
.R
i i
i i
i i
O
Hausdorff y compacto ellos son compactos. Dado g ∈ G lo podemos
separar de cada punto f ∈ F por medio de vecindades disyuntas Vgf ,
Vfg de g y f respectivamente.
N
La colección {Vfg | f ∈ F } es un cubrimiento abierto de F , el cual
lo podemos reducir a un subcubrimiento finito {Vfgi }, (i = 1, 2, . . . , n).
IA
Definimos Vg = ni=1 Vgfi —la intersección de las
T
Sn vecindades
g
de g co-
rrespondientes a estos fi — y definimos Ug = i=1 Vfi . Ası́ F ⊆ Ug .
Repitiendo el anterior proceso para cada g ∈ G, obtenemos un cu-
brimiento {Vg | g ∈ G} de G el cual lo reducimos a uno finito
UB
i i
i i
i i
A
...............................
..........
Ω • • • • •
.... ◦ (ω, Ω) ..
........................................
..
. ....
.
. ..
.. ..
.. ..
ω • • • • • · · · ... • ...
.
. ..
.. ..
.. ..
...
.. ..
..
..
. ..
..
.. ..
..
..
.. ..
.. ..
.. ..
.. ..
4 • • • • • ··· ..
..
..
• ..
..
.
B
...
3
..
• • • • • ··· ..
..
• ...
..
.. .
2 • • • • • ··· •
..
..
..
..
..
..
O
.. ...
1 • • • • • ··· • ..
..
.
..
.. ..
0 • • • • • • .. ..
.. ..
.. ..
.. ..
0 1 2 3 4 ω ..
N
Figura 13.2: El tablón de Tichonoff
IA
donde p[0,ω] : [0, ω] × [0, Ω] −→ [0, ω] la cual es la imagen inversa de
un cerrado.
UB
Ejercicios 7.3
1. Muestre que el producto de espacios normales no necesariamente
es normal, aún en el caso de un número finito de factores.
Sugerencia: Considere el espacio —ejemplo 5.31— con la topo-
logı́a de los cuadrados semiabiertos de Sorgenfrey y considere
los subconjuntos F ,G en la diagonal, dados por los puntos con
componentes racionales y los puntos con componentes irraciona-
les respectivamente.
Este ejemplo también muestra que T3 no implica T4 .
i i
i i
i i
O
5. Muestre que si un espacio producto es normal, entonces cada
espacio factor es normal.
N
6. Si (X, T) es regular y Lidelőf entonces es normal.
i i
i i
i i
CAPÍTULO 14
N O
IA Conexidad
UB
256
i i
i i
i i
O
abierto y cerrado aberrado. Además, no es suficiente exigir que A, B
sean disyuntos, pues todo espacio con más de un punto serı́a trivial-
mente no-conexo. Queremos que realmente A y B sean dos piezas
N
separadas; esto es, que no hayan puntos de A adherentes a B o vice-
versa. Luego A debe estar contenida en B c , A ⊆ B c y como A = B c
concluimos que A y B deben de ser ambos cerrados o equivalentemente
IA
ambos abiertos
Definición 14.2. Un espacio (X, T) es conexo si y sólo si no existe
UB
..
.
..
.
..
..
.
..
.
..
..
.
..
..
.
..
..
.
..
.
..
..
.
..
..
.
..
..
.
..
..
.
..
..
.
..
.
..
..
.
..
..
.
..
..
.
..
.
..
..
.
..
.
..
..
.
..
..
..
..
.
..
..
.
..
.
..
..
..
.
..
..
.
..
..
.
..
.
..
..
.
..
..
.
..
..
.
..
..
..
.
..
.
..
..
.
..
.
....
.
.. .
...
...
...
.
..
.
..
..
.. ..
.
..
..
.
..
.
.. .
..
.
..
..
.
..
.
. .
.
..
..
.
..
..
.
. ..
..
.
..
.
.. ..
.
..
...
..
....
...
.
..
.
.
..
.
..
.
..
..
.. . . . .
...
.
..
.
..
... ....
.
... .
..
.
..
..
.
..
.
..
..
.
..
..
.
..
..
.
..
..
.
..
..
.
..
.
..
..
.
..
..
.
..
..
.
..
..
. ..
. .
...
....
.
..
.
..
.
..
.
..
..
.
..
.
..
. . . . . . . . .
.
..
..
.
..
.
..
.
..
..
.
... ..
. ...
..
..
..
..
. ..
....
..
.
.
.
.
.
.
.
.
.
.
..
..
..
.
..
..
.
.
..
.
.
.
.
..
.
.
..
.
.
.
.
..
.
.
.
..
.
..
.
.
..
.
.
.
.
..
.
.
..
.
.
.
.
..
.
.
..
.
.
.
.
..
.
.
.
..
.
.
.
..
.
.
.
..
.
.
.
..
.
.
.
.
..
.
.
..
.
.
.
.
..
.
.
..
.
.
.
.
..
.
.
..
.
.
.
.
..
.
.
.
..
.
.
.
..
.
.
.
.
..
.
.
..
.
.
.
.
.
..
.
.
.
.
..
.
.
..
.
.
.
.
..
.
.
.
..
.
.
..
.
..
..
..
..
...
..
.
....
..
..
..
.. ..
..
....
....
....
.
..
. .
.
..
..
...
.
..
.
..
.
.. . . . . . . . . . . .
..
.
..
.
..
.
..
.
..
...
.
..
. ....
. ..
. .....
....
.
....
...
.
.
.
.
.
.
.
.
.
..
....
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..
.
.
.
..
.
.
.
..
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..
.
.
.
.
..
.
.
.
.
..
.
.
..
.
.
.
.
..
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..
.
.
.
..
.
.
.
..
.
.
.
..
.
.
.
.
.
.
.
.
.
..
.
.
..
.
.
.
.
..
.
.
.
..
.
.
.
.
.
.
.
.
..
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..
.
.
.
.
..
.
.
.
.
..
.
.
..
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..
.
.
..
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..
.
.
..
..
.
.
..
..
....
.....
.
.
....
....
.
.
.
.
..
..
.
...
..... ...
.
...
... . . . . . . . . . . ..
... ..... ....
... .
..
..
.....
.
...
.
.. .
...
..
..
.
.. ..
.
..
.
..
..
.
..
..
. .
..
.
..
..
.
..
.
..
.. ..
...
....
....
..
...
.......
... ...
.... .....
...
..
..
.. . . . . . . . . . . . . .. ..
..
..
...
. .
..
..... . ..
.. .
..
.
.
....
.
.. ..
.
.
..
.
.
..
.
.
.
..
..
.
.
. .
.
.
..
..
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..
..
...
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..
..
...
.
..
.
..
..
..
.
.
.
.
.
.
..
.
..
..
.
..
..
.
..
.
..
..
.
..
..
.
..
.
..
..
.
..
..
.
..
..
.
..
.
..
..
..
.
..
.
..
..
.
..
..
.
..
.
..
..
.
..
..
.
..
.
..
..
.
.
.
.
.
.
.
.
..
.
...
..
...
...
..
..
.
.
.
.
.
.
..
.
.
..
..
.
...
..
..
..
.
.
..
..
.
.
.
.
.
.
.
.
.
.
.
.
.
..
.
..
.
..
..
.
.
.
.
.
.
..
..
.
.
.
...
......
.
.. ... ..
.......
....... . . . . . . . . . . . . . . . . . . . . . . . . . . . . .... .. ..
.
... . .
. . ...
....
.
......
.... .
...
. ..
..
...
. ... ..
..
..
..
.
..
..
..
. ..
.
..
..
..
...
...
. ......
..... .......
..
.
...
.
..
..
.... ..
. .... .
...
.
.
.. . . . . . . . . . . . . . . . ...
..
.. .
..
.
.. .
.
...
.. .. .
.....
...
..
.
.
.
.
...
..
....
.
..
... .
.........
... ..
..... ...
..
. ..
. ...
...
.
...
.
..
.
..
..
.
..
.
..
..
.
..
..
.
..
..
.
..
.
..
..
.
..
.
..
..
.
..
..
.
..
..
.
..
..
.
..
..
.
..
.
..
..
.
..
..
.
..
.
..
..
.
..
..
.
.
..
.
...
...
......
...
.
..
....... ..
....
..
.....
..
. .
.....
...
..
.
.
.
....
.
.. ..
...
...
.. .
..
.... ..
...
.
. ..
..
.. .... . .
.. .....
.
........... ....... ..... ..
..
.
..
..
..
.
..
. .
.
..
..
.
..
..
...
.. ...... .. . .. .....
....
...
...
.. ...
.
.. . . . . . . . . . . . . . . . . . . . . ..
.. . . . . . . . . . . . . . . ..
. .
..
. . . .
.... .
.
...
.. .
.
. ..
....
..
. .. .. ..
. ...
. ..
. ...
.
....
... ....
..
...
... ..... ..
. ... ... .....
....
...
..
.
..
...
..
.. ..
.
.
.....
.
.
.
.
..
. . . . . . . . . . . . . . . . . . ..
.
..
..
. .....
. .
...
....
.
...
.
.
.
.
.
..
.
.
.
.... .....
. ...... .
. .......
. ...
..
..
.
..
.
..
..
.
..
..
.
..
..
.
..
.
..
..
.
..
..
.
..
..
.
..
..
.
..
.
..
.
.. ..
.
.... . ..
.
....
.
.
.
.
.
..
.
..
.
.
.
.
..
.
.
.
..
.
.
.
..
.
.
..
.
.
.
.
.
... ...
..
.
..
. ..
. .
..
.. ..
. ... .
..
....
....
.. .... .. . .... .
..
.
..
.
..
..
.
..
. .
.
..
.
..
..
.
..
.
..
. ...... ... . .
.. ..
. .
....
. .
.. .
.
.
.
.
.. . . . . . . . . . . . . . . . . . . .
.
... ..
. ...
. ..
.
. ... .
.
.. .
....
... ...
. . ...
..
..
. .
.
..
. .
..
.
.. ..
.
..
..
..
.
... ..
.. .
....
..
.
..
...
.
....
.
.
...
....
.
.
..
...
. ..
.
. . . . . . . . . . . . . . . . . . . ... .
.
.
. . . . . . . . . . . . . . . . . . . .
.. .
.
.
.. . .
.
....
.
.
.
. .
....
..
..
.. ..
..
.. . ....
...
..
......
.. ........ .
.... ...
.
.
.
.
...
.
...
.
..
.
.
...
..
.
..
. .
..
.
.
.
. . . . . . . . . . . . . . . . . . . . . . .. .. .
.
. ...... ..
.....
. ... ... .....
...
. .
. .......
. .....
.
..
..
.
..
.
...
.
.
...
...
.
... . .
..
.
.. . . . . . . . ... ..
.
. .
...
.
..
.
..
..
.
..
..
.
..
..
.
..
.
..
..
.
..
..
..
.
..
.
..
. . . . . . . . . .. . . .
. .. .
.... .
.. .
.. . ..
. . . .... ... ... .. .. .. ..
...
. ..
. .
...
. ..
.
.
. . . . . . . . .. ..
. .
.
..
.
..
. ..
.
..
.
....
.. . . . . . . . . . .. .
.
. ...
.
.. ...... ..
. .... .
.
.
.
. ....
. .
. .
.
.. .
.. ... .
...
. .. .
..
.
. . . . . . . . ..
.
. ....
... ...
.
..
..
. . . . . . . . .. .
.
.
..
.
.
..
. ..
....
..
.
.
.. .
.
..
. . . .. .
.
..
..... ...
...
..
..
.
.
..
.
.
..
..
..
.
..
.
.
..
.
.
..
.
.
. .
.
.
..
.
. . . . . . . . . .. .. . . . . . . . . . .. .. . . . .
. .. . . . . . .. . ..
.
.
. . . . . . .
.
.
.
.
.
. .
.
..
. . . . . . . . .
.
.
.
. ..
.
.
..
.
.
..
..
.
...
.. ..
.
. . .
.
.
...
...
. .
..
.
.
.
.
.
.
.
..
.
.. .. ..
.
.
. .
.
.
.
..
. . . . . . . .
. .. . . . . . . . . .. . . . . . . . .
. .
. .
. .
.. .
. . . . . . . . . . . . . . . . ..
. .
.
. . . . . . . . .
.
.
.
.
.
.
. . . . . . . .
. . . . . .
.
.
.
.
.
.
.
.
.
.
.
. ............. .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..
. ..
.
..
.
.
.
.
.
.
.
..
..
.
.
..
.
.
.
.
.
.
.
.
.
..
.
.
.
..
. .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
........................................
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. .
.
.
.
.
. .
.
.
..
.
.
.
..
.
.
..
.
.
.
..
.
..
.
.
.
..
.
.
..
.
.
.
..
..
.
.
.
.
.
..
.
.
. .
.
.
.
.
.
.
. .. .
. . . . .
.
. .
..
.. .
. .
.
. .
. . .. .. .
. .
. . .
. .. . . .
.
. . . . . . . . . . . . . . . . . . . . . . . . . .. . . .
.
. . . . . . . . . .
.. ... . . . . . . .
. .
. .
. ...
. .
. .. .
. .
. .. .. .. .
. .. . ... ..
. ..
......
. .. .
.
G
.
. ..
.. ..
.
. .
. .
. . .
.
. .
..
.. .. ..
. .
.. .
.. .
.. .
.. .. .. . . . . . .
. . . . . . . . . .. .. . . . . . . . . . .
. . .
... . . . . . . . . . . . . . . .
.
.
.
. . . . . . . . .. ....
..
.
..
..
.
.. .
.
..
..
. ...... . . . . . . . .
.. .. .
.
.
...
. ..
.
..
.
...
.
.
..
....
...
.
.
. .
.
.
...
..
. ...
...
.
....
..
...
.... ..
. ...
.
..
.....
...
.
.
.
.
. . . . . . . . . . ..
.
..
..
.
..
.
..
..
.
..
..
.
..
.
..
..
.
..
..
.
..
. .
.
..
.
..
..
.
. . .
.. . . . . . . . . . .
. . . . . . . . .
. ..
. .. .
......
. .
. ..
. .
.. ..
. . .... ..
. . .
.
.. . .
.
.. ...
. .
.
. . . ..
. . . . . . . . . . . . .. . . . .. . . .. .. . . .. .. . .. . .... .
.
..
. . . . . . . . . . . . . . . . . . . . . . .. .
..
.
.
...
. ..
.
.
..
.
.
...
..
...
.
.
..
...
...
..
.. .
.
..
.
...
....... .
....... .. ...
...
.
. ....
. .
...
..
. ..
.. ...... ..
.
.
.
.. . . . . . . . . . . . . . . . . . . . ..
.
..
.
. .
..
...
.
......
... .
..
. ..
... ..... ..
..
.. . .
...... .
.... .
.
... ..
.
. ...
. ..
..
......
. ....
. ..
..
.
..
. . . . . . . . . . . . . . . . . . . .
..
. .
..
. ..
.....
. ...
.
..
...
...
.
.
... .
. . .
. . ..
.... ..
.
..
..
.
..
.
..
.
. ..
.
..
.
..
.
..
...
.. .....
. .
.
. . .
.
.
.
. .
...
.
...
..
.
...
...
. .
.
.
.
..
.. . . . . . . . . . . . . . . . . . . .. .
..
..
. .
.
....
.
.
..... .
.
.
.
...
.
..
..
..
.
.
.....
. .
..
..
. ......
..
...
..... .
.
..
..
.
..
.
..
..
.
..
.
..
..
.
..
..
.
..
..
.
..
.
..
..
.
..
..
.
..
..
.
..
..
.
..
.
..
..
.
..
.
..
..
.
...
.
..
..... .. ... ... .
...
.....
.
..
.
.
..
.
.
.
.
...
..
...
..
....
.....
..
.
. . . . . . . . . . . . . . . . . . . .
... ...
. .
...
. .
.
..
...........
.. .
.... ... ........ .. ....
... .
. .
.... ..
. ..
...
.
.. .
...
.
...
.
.
...
...
... ..
.
....
.
.
..
...
.
.
. . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . ..
..
...
...
.
.
...
.....
..
. .
.
.
.
..
..
.
..
.
.
.
..
.
..
.. .
.
..... .
.
......... .......
.
.
....
...
..
.
..
..
.
..
..
.
..
.
. ..
.
..
..
.
....
. .
..
....
...
.
.
...........
..... ...
......
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..
.
.
.
.
.
....
.
..
... .
...
..
.
..
.. ... .
.... ....
. .......
..... ..... .. . .
.....
... .
.
..
..
.
..
..
.
..
.
..
..
.
. .
.
..
..
.
..
.
..
..
.
..
..
. . ..
. ....
. .
.... ... . .... .
.. . .
.
. ..
.. ..
...... . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
. ..
.
... ... ... ... ...
.. ..... ...... ...
.
..
.. .
..
.
..
.
..
..
.
..
..
.
..
.
..
..
.
..
..
..
.
..
.
..
..
.
..
.
..
. ..
...
. .. ...... ..
... ... .
... ..
.... . . .
..
.... .
....
..
.... ..
.... ...... .
.
. ..
..
..
..
.....
.
......
...
..
. .
....
...
..
.
...
..
.
..
..
.
..
..
.
..
.. .
.
..
..
.
...
..
..
....
..
...
.......
....
........
.
.
...
..
..
.
.
.
.
.
. .
. .
..
.
... .
.... .... .
..
.
..
..
..
.. . . . . . . . . . . . . .. ..
..
.. . .......... .
..
...
. .
. .
..
..
. .
...
.
..
..
..
...
.
.
..
.
.
..
......
.
..
.
.
.
..
...
...
..
.
..
..
.
.
..
.
..
..
.
..
..
.
..
.
..
..
.
..
.
..
..
.
..
..
.
..
..
.
..
..
.
..
.
..
..
.
..
..
.
..
..
.
..
..
.
..
.
..
..
.
..
..
.
..
.
..
.
.
..
...
..
....
..
..
..
.
...
......
..
.
.
..
.
..
....
.
..
..
..
..
...
.
.
.
..
.... .. ......
..
.
..
..
..
.
..
.
.. . . . . . . . . . . .
.
.
.. . . . . . . . . . . .
..
.
. .
.
.. .
.
..
. .. .. ....
.
.
..
.
.
.......
. .
....
..
. .
.
.
.
..
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..
.
.
..
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..
.
.
.
..
.
.
.
.
..
.
.
.
..
.
.
.
.
.
.
.
.
.
..
.
.
.
..
.
..
.
..
..
.
..
..
.
..
.
..
..
.
..
..
.
..
.
..
..
..
.
..
..
.
..
.
..
..
.
..
.
..
..
..
.
..
.
..
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..
.
..
.
..
.
.
..
.
.
..
..
..
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..
.
.
..
..
.
.
..
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..
..
.
..
.
..
..
...
.
..
.
..
.
.
.
...
....
.
...
. .......
..
.
..
.
..
.
..
.
. . .
.
...
.
..
.
..
.. .
.....
.... ..
.
..
..
....
...
.
...
.
...
...
.
..
.
..
.
.
..
.
..
..
.
..
.
.
.
.
..
.
.
.
..
.
.
.
..
.
.
..
..
.
..
.
.
.
..
.
.
.
..
.
.
.
..
.
.
.
.
..
..
.
..
..
.
..
.
..
..
.
..
..
.
..
..
.
..
..
.
..
..
.
..
.
..
..
.
.
..
.
.
..
.
.
.
.
..
.
.
..
.
.
.
..
.
..
..
.
.
..
.
.
.
.
..
.
.
.
..
.
.
..
.
.
..
..
..
..
.
..
.
..
..
..
..
..
..
...
...... ..
....
...
.
.
.
..
..
.
..
.
..
.
..
..
. . . . . . . . ..
.
..
.
..
..
.
..
.
..
. ...
...
..
..
..
. ...
.
.
..
.
..
..
..
.
..
..
.
..
.
.
.
..
.
.
..
.
.
.
..
..
.
..
.
..
..
.
.
.
..
.
.
.
.
..
.
.
..
.
.
.
.
..
.
.
..
.
.
.
.
..
.
.
.
..
.
.
.
..
.
.
.
..
.
.
.
..
.
.
.
..
.
.
.
..
.
.
.
.
..
.
.
..
.
.
.
.
..
.
.
..
.
.
.
.
..
.
.
..
.
..
.
..
..
.
..
.
.
..
.
.
.
.
..
.
..
.
..
..
..
.
..
..
.. .
..
...
..
. ..
......
....
.
..
.
..
..
.
..
.
..
...
.
..
.
..
.
..
.
..
..
.
..
... . ..
.
..
..
.
..
..
.
.
..
...
..
..
...
.
..
..
.
.... .
.....
.
...
.
..
....
..
.
..
.
..
.. .
.
.
..
.
.
..
.
.
.
.
..
.
..
.
..
.
..
..
.
..
..
.
..
.
..
..
..
.
..
.
..
..
.
..
..
.
..
..
.
..
..
.
..
.
..
..
.
..
.
. .
..
.
..
.
...
.
.. ..
...
.
...
...
...
...
.
..
..
.
..
..
.
..
..
.
..
..
.
..
..
.
..
.
...
.
. ..
..
.
..
..
..
.
..
..
.
..
.
..
..
. .
..
. ..
..
.
..
.
..
..
. ..
.
..
..
.
..
.
.. .
..
.
..
..
.
..
..
..
.
..
..
...
..
..
..
.
..
..
.
..
.
..
..
.
..
..
.
..
..
.
..
..
.
..
.
..
..
.
..
..
.
..
..
.
..
..
.
..
.
..
..
.
..
..
(a) (b)
Figura 14.2: (a) es conexo, aunque menos obvio (b) también es conexo.
i i
i i
i i
258 Conexidad
O
serı́a cerrado. De otra parte, si m ∈
/ A entonces m ∈ B y en este caso
m serı́a un punto de acumulación de A, lo cual contradice la manera
N
como hemos elegido a A.
Ejemplo 14.5. (R, cof initos) es conexo. Lo mismo sucede para todo
subespacio infinito de este espacio.
G
i i
i i
i i
O
Teorema 14.8. Sea A un subconjunto conexo de un espacio topológico
(X, T). Si B es tal que A ⊆ B ⊆ A entonces B es conexo.
N
Demostración. Sea f : B −→ {0, 1} continua. Sabemos que f (A) es
IA
un conjunto unitario puesto que la restricción f |A es continua y A es
conexo, luego f (B) ⊆ f (A) ⊆ f (A) es también unitario y ası́ f no es
sobreyectiva.
UB
Teorema 14.10. Sean (X, T), (Y, H) dos espacios topológicos con X
conexo. Si f : X −→ Y es continua entonces f (X) es conexo.
i i
i i
i i
260 Conexidad
Corolario 14.11. Sean (X, T), (Y, H) dos espacios topológicos con X
conexo y f : X −→ Y una función continua. Entonces
Gf := {(x, f (x)) | x ∈ X} ⊆ X × Y
O
Nota. Tenemos aún más de lo que dice el anterior corolario. El espacio
X es homeomorfo a Gf ; esto es, X es homeomorfo a su “imagen” dada
por f en X × Y .
N
Consideremos la biyección h : X −→ Gf dada por h(x) = (x, f (x)).
La función h es continua ya que sobre la base {Gf ∩ (U × V ) : U ∈
T, V ∈ H} tenemos h−1 (Gf ∩ (U × V )) = U ∩ f −1 (V ).
IA
De otra parte, para U ∈ T, h(U ) = {(x, f (x)) | x ∈ U } = Gf ∩
(U × V ) también es un abierto en Gf con lo que h−1 es continua.
UB
. .
....
Y .... ..
..
h
..
..
.
... ... ... ... ... ... ... ... ... ... ........ ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ..
b2 .
..
..
g •
..
..
..
..
..
a2 • ..
..
..
..
..
..
..
..
...
. ..........
..
a1 b1 X
i i
i i
i i
O
Corolario 14.13. (Rn , usual) es conexo.
N
Demostración. Rn = R × . . . × R.
Lema 14.14. Si (X, T) es un espacio y {Ci }, (i ∈ I) una familia de
IA
subconjuntos conexos de X con la propiedad que existe un ı́ndice j ∈ I
tal que para cada i ∈ I tenemos que Ci ∩ Cj 6= ∅, entonces C = ∪ Ci ,
(i ∈ I) es conexo.
UB
.....
... ....
... ....
Demostración. Si A, B es una separación de ...
.
... ...
...
................... .... .. ..........
...... ....
C entonces para cada Ci tenemos que Ci ⊆ A ...
...
......
.....
.....
.
... ...
... ....
.....
......
...
.
...
... .... ...
. . .
.. ...
... .... .... .. .... ...
ó Ci ⊆ B. Si suponemos que Cj ⊆ A enton- ....
............
.... .. .. ..... ....
...... ........
.... ... ... .. ...
..... ... .. .... ..... .....
.....
...... .......... ....... ....
.....
ces, para ningún ı́ndice i, Ci está contenido .............
....... .... .
...... .. ..
.......
..
......
...................................................... .... ......................................................................
......
.......
..
.R
.
en B puesto que Cj no es disyunto de algún ........... ... ....
.............................................................
. ..........
.............. ............................................
.........
..
.....
.
........ .
...
...... .................... ..........
.. . .. .. .....
Ci . Ası́, todos los Ci estarı́an en A obligando ....
.... ...............
... ... .... .....
... .. .. .....
.....
....
.... ... .. ....
..... ...... .... ... ....
. ...
...
...
.
... ...... .
. . .
.
.
....
..
...
..
.. ... .... .....
a que B sea el conjunto vacı́o, lo cual contra- ..
..... .............
....
.....
...
... .
.
.
..
.
..
........ .....
.
..............
... .
...
dice que A, B es una separación. ...
... ....
... ...
.......
G
i i
i i
i i
262 Conexidad
O
Y
U = Ui1 × · · · × Uin × Xi , en este caso J = {i1 , · · · , in }
i6=ik
N
tenemos que AJ corta a U , esto es C corta a U con lo cual C es
denso.
IA
Ejercicios 8.1
UB
i i
i i
i i
O
11. Sea (X, T) conexo y R una relación de equivalencia en X. Mues-
tre que el espacio identificación X/R es conexo.
N
12. Muestre que si n > 1 entonces Rn no es homeomorfo a R.
entre estos vamos a analizar a aquellos que son maximales con respecto
a la relación de inclusión, los cuales nos brindan una manera natural
de definir una partición sobre un espacio haciendo uso del concepto
de conexidad. En otras palabras, vamos a definir una relación de
G
equivalencia.
i i
i i
i i
264 Conexidad
O
pero existen espacios desconectados totalmente que no son discretos,
por ejemplo X= {0} ∪ {1/n | n ∈ N} o X = Q como subespacios de
(R, usual).
N
Por supuesto todo espacio desconectado totalmente es T1 . Más
aún, cualquier subconjunto contable de un espacio métrico, visto como
IA
subespacio es totalmente desconectado. Y algunos no contables como
los irracionales I ⊆ (R, usual).
UB
Ejercicios 8.2
1. Muestre que las componentes en un espacio X son conjuntos
disyuntos no vacı́os cuya reunión es X.
.R
i i
i i
i i
O
El siguiente espacio totalmente desconectado, es uno de los espacios
N
más patológicos e interesantes que ha acompañado a la topologı́a des-
de sus inicios. Fue introducido independientemente por G. Cantor y
por H. J. Smith en 1875; Cantor lo construyó para resolver de mane-
IA
ra afirmativa un problema que se habı́a planteado en el marco de la
naciente topologı́a, a saber, si existı́a o no un subconjunto compacto
no vacı́o de R que fuera totalmente desconectado y denso en sı́ mis-
UB
mo. Posteriormente fue demostrado que todos los conjuntos con estas
caracterı́sticas son topológicamente equivalentes —homemomorfos—.
Hoy es conocido como el conjunto de Cantor C.
C es un subconjunto no contable del intervalo [0, 1]; exactamente
consiste de todos los números reales x que pueden ser representados
.R
de la forma
X∞
x= αn 3−n ,
i=1
G
i i
i i
i i
266 Conexidad
A0 =[0, 1]
A1 =[0, 1/3] ∪ [2/3, 1]
A2 =[0, 1/9] ∪ [2/9, 1/3] ∪ [2/3, 7/9] ∪ [8/9, 1]
A3 =[0, 1/27] ∪ [2/27, 1/9] ∪ [2/9, 7/27] ∪ [8/27, 1/3] ∪ [2/3, 19/27]∪
[20/27, 7/9] ∪ [8/9, 25/27] ∪ [26/27, 1]
...
O
etc.; en general Ai+1 es obtenido de Ai removiendo la tercera parte en
el medio de cada una de las componentes de Ai con lo que
N
\
C= Ai .
i∈N
IA
Nótese que cada punto en los extremos de las componentes de los Ai
pertenecen a C.
UB
A0 ............................................................................
A1 .......................... ..........................
A2 ......... ......... ......... .........
A3 .... .. .
. ...
. ... .... .... .... ....
... ...
.R
0 1
9
2
9
1
3
2
3
7
9
8
9 1
i i
i i
i i
O
de f tomemos un x ∈ X y por cada n ∈ N consideremos a
Vx (n) := {q ∈ X : qi = xi para i ≤ n}
N
—coinciden con x en las primeras n-componentes—. Dado > 0,
existe N ∈ N tal que la serie
X∞
IA
n
2
<
n=N +1
3
∞ ∞ n
X x −q 2
i i
X
| f (x) − f (q) |= ≤ <
3n 3
n=N +1 n=N +1
axiomas Ti de separación.
• Si µ es la función de medida —longitud— en R, entonces C tiene
“medida” 0 pues la medida de su complemento con respecto a
[0, 1] es la medida de la unión de las terceras partes medias, esto
es
∞ ∞
c
X 2i−1 1 X 2i
µ(C ) = 1/3 + 2/9 + 4/27 + 8/81 + · · · = = = 1.
i=1
3i 2 i=1 3i
Pero como [0, 1] tiene también medida 1, entonces C tiene medida
cero. Ası́ que “el todo no es mayor que cada una de sus partes”.
i i
i i
i i
268 Conexidad
O
• C es también totalmente desconectado —dados x, y ∈ X existe
una separación A, B de X tal que x ∈ A, y ∈ B— pues las
N
componentes conexas de cada punto se reducen al propio punto.
i=1 i=1
cierne.
i i
i i
i i
O
Ejemplo 14.21. El siguiente espacio no es lo-
calmente conexo. Por cada entero positivo n
N
definamos el segmento de recta An ⊆ R2 como
An = {(x, n1 ) : 0 ≤ x ≤ 1} y A0 = {(x, 0) :
IA
0 ≤ x ≤ 1}. Sea X = A0 ∪ (∪n=1 An ). Las .........
.......
.............
...................
...
...
...
...
....
....
......
....
....
.....
....
....
.....
.....
.....
..
....
.... ....
....
......
....
......
....
..
...
..
..
...
........................
.... ..
... ...
....
... ....
... ....
...
...
..... ......... ......... ..........
......... .. .. ..
... .. .... .....
... ..
.... ..
.... ....
..
... .....
... ...
....
...
.. .....
.
.....
.....
.....
.....
... ......
...
...... ....
....
....
.
....
......
....... ...
...
...
.
.................................................................
.......
..
........................................................... .. .......................................................................
...
........ .......... .....
.....
....
....
...
......
.....
... ...
i i
i i
i i
Bibliografı́a
N O
IA
[1] Armstrong, M. A., Basic Topology, UTM Series, SpringerVerlag, Berlin
Heidelberg New York, 1997.
UB
[4] Christenson, C., Voxman, W. Aspects of Topology Series: Pure and ap-
plied Mathematics, M. Dehher, New York, 1977.
G
Un texto con material para dos semestres con una colección excelente de
ejercicios. Se puede leer una y otra vez... Una primera parte en topologı́a de
conjuntos y una segunda en topologı́a algebraica con un tratamiento especial
en teorı́a simplicial y sistemas inversos.
278
i i
i i
i i
BIBLIOGRAFÍA 279
[9] Hrbacek, K., Jech, T., Introduction to set theory, Monographs and Text-
books in Pure and Applied Series, Vol. 220, Marcel Dekker, New York,
O
NY, 1999.
Este es uno de los pocos libro sólidos en la moderna teorı́a de conjuntos.
N
Curiosamente su primer intento de publicación, por parte de sus autores
Checos, fue fallido.
[10] Kahn, D. W., Topology: An Introduction to the Point Set and Algebraic
IA
Areas, Dover Publ. Inc., Mineola, NY, 1995.
[11] Lefschetz, S., Topology, AMS Coll. Publ. 12, Providence, RI, 1930.
UB
[12] Munkres, James R., Topology: a first course, second edition, Prenti-
ceHall, Inc., Englewood Cliffs, NJ, 1999.
514 M966top 21. Deberı́a ser el texto guı́a en muchos cursos.
i i
i i
Historia & Topologı́a
Curso: Topologı́a
I Semestre 2009, Bogotá
ia o
12 de marzo de 2009
v Resumen
ub a
no
Algunos aspectos históricos de la topologı́a de conjuntos con el fin
único de motivar al estudiante en el tema.
R st
Tomado de Aportaciones Matemáticas, Comunicaciones 28, 2000.
Lecturas básicas en topologı́a general. SMM.
u
1. Introducción
G
1
Gustavo N. Rubiano O.
ia o
conjunto X de elementos en el que a cada elemento x ∈ X se le asocia una
familia de subconjuntos de X llamados las vecindades de x. Por ejemplo, el
v
conjunto de puntos del plano es un V-espacio si se considera una vecindad de
cada punto p del plano como el interior de un cı́rculo arbitrario con centro en
ub a
no
p (o el cı́rculo entero). El conjunto de todas las funciones reales de variable
real es un V-espacio, si las vecindades de f (x) se definen como el conjunto
R st
de todas las funciones g(x) para las cuales, dada una constante c, se cumple
|f (x) − g(x)| < c para toda x.
u
2
Historia & topologı́a . . .
2. En (X, d), fn → f .
Por ello es necesario crear estructuras más generales, con cuya ayuda se
pueda determinar la convergencia y la continuidad
Para caracterizar a los espacios que permiten definir su topologı́a mediante
la noción de sucesión, se distinguen dos clases de espacios; X es un espacio de
Fréchet si para todo subconjunto A ⊆ X, un punto x pertenece a la cerradura
de A si y sólo si existe una sucesión xn ⊆ A que converge a x. Un espacio X
es secuencial si A ⊆ X es cerrado en X si y sólo si toda sucesión de puntos
de A tiene todos sus puntos lı́mite en A. Es fácil verificar que todo espacio
1 − enumerable es de Fréchet y que todo espacio de Fréchet es secuencial.
ia o
La definición de espacio topológico que se utiliza en la actualidad fue for-
mulada precisamente en el artı́culo de Kuratowski [Kur22]. Definición. Un es-
v
pacio topológico es una pareja (X, h), donde X es un conjunto y h : P ot(X) →
P ot(X) es una función en el conjunto potencia de X tal que:
ub a
no
R st
1. h(∅) = ∅.
3
Gustavo N. Rubiano O.
ia o
a parejas de elementos distintos, sólo dos). Para los conjuntos parcialmente
ordenados aparece una cuarta relación o un cuarto valor posible para la fun-
ción. v
Ahora no hay inconveniente en generalizar esta representación, y pensar
ub a
no
que está definida una función de las parejas de elementos de un conjunto,
es decir, a cada pareja (a, b) de elementos de un conjunto M está asociado
R st
elemento determinado n = f (a, b) de otro conjunto N. Ampliando aún más
podemos considerar una función definida en triadas, sucesiones de elementos,
u
provecho.
Entre los ejemplos particulares que crean una gran expectativa están, junto
con la teorı́a de conjuntos ordenados, la teorı́a de conjuntos de puntos en el
espacio, y de hecho la relación fundamental allı́ es otra vez una función de las
parejas de elementos, a saber, la distancia entre dos puntos: una función que
esta vez puede tomar una cantidad infinita de valores. Vista de este modo, la
teorı́a de los conjuntos de puntos junto con la teorı́a de los conjuntos ordenados
se incorpora al esquema más general de una teorı́a de aquellos conjuntos en
los cuales están definidas relaciones binarias, relaciones entre cualesquiera dos
elementos del conjunto.
Por otro lado, ésta no es la única interpretación posible. En base a la noción
de distancia, se puede definir, por ejemplo, el concepto de sucesión convergente
y su lı́mite, y este concepto se convierte, eliminando la noción de distancia,
4
Historia & topologı́a . . .
ia o
ni distancia. Con ello aparece la noción de lı́mite como la más general y la de
distancia como la más particular.
v
F. Hausdorff considera en lo sucesivo que la noción de vecindad es la
ub a
fructı́fera y es la que adopta para definir un espacio topológico:... Por es-
no
pacio topológico entenderemos un conjunto E, donde sus elementos (puntos)
R st
x están asociados a ciertos subconjuntos Ux , que llamaremos vecindades de x,
y que satisfacen lo siguiente:
u
Para dos puntos distintos x, y existen vecindades de cada uno sin puntos
en común.
5
Gustavo N. Rubiano O.
ia o
Smith [MoSm22] consideran redes en lugar de sucesiones. Sin embargo, Car-
tan [Car37] introduce la noción de filtro como generalización de sucesión, que
v
se volvió más atractiva que la de red debido a la existencia de ultrafiltros.
ub a
no
R st
2. El trabajo de Fréchet
u
6
Historia & topologı́a . . .
Cada elemento del espacio de Linfield tiene, según Fréchet una sola vecin-
dad constituida por los elementos conjugados del primero. Entonces resulta
que la derivación de conjuntos (el derivado de un conjunto es el conjunto de
sus puntos de acumulación) es distributiva respecto a la unión; pero otras
propiedades topológicas familiares no son válidas en general, el conjunto for-
mado por un solo elemento tiene puntos (elementos) acumulación y el conjunto
derivado no es cerrado.
El concepto de conjunto conexo es pertinente en este espacio y resulta que
si un espacio discreto tiene un conjunto cerrado, éste es también abierto y
el espacio no es conexo. De manera que, observa Fréchet, un espacio discreto
conexo no tiene conjuntos cerrados (propios). De paso aprovecha para criticar
la definición de Hausdorff en donde las vecindades conjuntos abiertos. En un
espacio discreto conexo no hay vecindades abiertas.
En el espacio discreto se llama “aplicación equivalencia” a una correspon-
ia o
dencia biunı́voca entre elementos que preserva la conjugación. Fréchet afir-
ma que las equivalencias son los homomorfismos. Linfield define los conjuntos
v
“simétricos” y Fréchet traduce esta propiedad a la de ser ”localmente topológi-
camente homogéneo”.
ub a
no
Se define el nudo de n dimensiones como el conjunto de n + 1 elementos
R st
formado por los elementos conjugados entre sı́ y un conjunto de n dimensiones
como un conjunto que contiene un nudo de n dimensiones.
u
7
Gustavo N. Rubiano O.
ia o
del conjunto y el concepto crucial es el de “elemento lı́mite de un conjunto en
una clase abstracta”.
v
Hausdorff conocı́a perfectamente el trabajo de Fréchet, por dos razones: la
ub a
primera es que Fréchet publicó su primer trabajo sobre la teorı́a de la dimensión
no
en la famosa revista alemana Mathematische Annalen, en 1910. La segunda es
R st
que el mismo Hausdorff dedica dos páginas en la segunda edición de su libro,
a las clases L de Fréchet, sin darle el crédito debido por los espacios métricos.
Fréchet prefirió llamarlos “espacios distanciados” o “distanciables” hasta el fin
u
de su vida.
G
8
Historia & topologı́a . . .
ia o
podemos comprender cuál es la grave dificultad en el cálculo funcional. Este
se encuentra en las coiidiciones en que estarı́a la teorı́a de las funciones si las
v
propiedades del continuo (recta real) nos fueran totalmente desconocidas.
El continuo funcional no ofrece ninguna imagen simple. La intuición geomé-
ub a
no
trica nada nos dice a priori al respecto. Estamos obligados a remediar esta
ignorancia y sólo podemos hacerlo analı́ticamente, creando para el continuo de
R st
las funciones un capı́tulo de la teorı́a de conjuntos, lo que hizo Fréchet [Hadl2].
El gran ideal de Fréchet en la concepción de su teorı́a de espacios abstractos
u
9
Gustavo N. Rubiano O.
ia o
tinua de un espacio. Se presentan numerosos ejemplos, entre ellos, un espacio
que es la imagen continua de un espacio compacto pero que no está inducido
v
por una descomposición. Se demuestra que una función bicontinua (continua
con inversa continua) siempre está inducida por una descomposición del espa-
ub a
no
cio y que si un espacio X es la imagen continua de un espacio bicompacto,
la función asociada es bicontinua. Utilizando esta clase de razonamientos se
R st
obtienen numerosos resultados en espacios compactos y métricos; por ejemplo,
que todo espacio métrico y compacto es la imagen inyectiva y continua del con-
junto de Cantor. Finalmente se establece un resultado similar para espacios de
u
dimensión cero.
G
10
Historia & topologı́a . . .
11
Gustavo N. Rubiano O.
ia o
aceptada para publicación en 1906, es muy probable que la elección del tema
de tesis se efectuó en la primera mitad de 1905.
v
En las cartas a Hadamard de Fréchet no se encuentra mucha información
ub a
respecto a cómo o por qué se eligió el tema de tesis, ni que tanta influencia
no
tuvo Hadamard en el desarrollo de la misma.
R st
En 1903 inicia Fréchet una amistosa y duradera relación con E. Borel (1871-
1956) matemático y polı́tico francés. El primer resultado de la colaboración
u
entre ellos fue la aparición del libro de Borel [Bor98] escrito con base en los
apuntes de Fréchet. Esta experiencia con Borel fue claramente la influencia más
G
12
Historia & topologı́a . . .
ia o
dial, principalmente como intérprete con la armada británica. De 1919 a 1928
trabajó en el Instituto de Matemáticas de la Universidad de Estrasburgo.
v
Entre los trabajos más importantes de Fréchet se encuentran: (1907) el teo-
ub a
rema de representación de funcionales lineales continuas en el espacio vectorial
no
ahora conocido como L2 (un teorema demostrado en forma independiente y
R st
simultánea por E. Riesz); (1911,1925) la formación del concepto de la diferen-
cial de una función, generalizando la noción del cálculo ordinario; (1915) la
generalización de un trabajo importante de J. Radon, mostrando como exten-
u
13
Gustavo N. Rubiano O.
ia o
en la comunidad matemática francesa, Fréchet no gozaba de tanta populari-
dad en Francia como en el extranjero, principalmente en los Estados Unidos
v
de América y Polonia. Varias veces perdió la posibilidad de ingresar a la Aca-
demia de Ciencias frente a otros matemáticos franceses. Finalmente fue electo
ub a
en 1956 debido a la vacante que dejó la muerte de Borel. Fue electo a la Aca-
no
demia polaca de Ciencias en 1929 y era miembro honorario de la sociedad real
R st
de Edimburgo y miembro del Instituto Internacional de Estadı́stica. Maurice
Fréchet muere el 4 de junio de 1973 en Parı́s.
u
4. La obra de Kuratowski
Salomon Lefschetz en [Lef63] escribe que se puede hablar de matemáticas
pre y post-cantorianas: uno de los parteaguas (habrá otros) fundamentales en
la historia de esta ciencia lo constituye la aportación de Georg Cantor.
14
Historia & topologı́a . . .
ia o
tor y el de Kuratowski, y si el último es de tal perfección, ¿qué no parecerı́a
prudente postular algún desarrollo escencial en ese lapso?
v
En 1908, en el Congreso Internacional de los Matemáticos, celebrado en
Roma, el matemático húngaro Frygies (Federico) Riesz, conocido por su obra
ub a
no
en el cálculo funcional, presentó una ponencia sobre la noción de espacio to-
pológico que por supuesto, llama de otra manera: el continuo matemático.
R st
Ahı́ propone que para un conjunto A cualquiera se defina una función que a
todo subconjunto de A asocie el conjunto de sus puntos de acumulación. Es-
u
Riesz, por supuesto, no se conforma con lo anterior sino que propone cuatro
postulados:
Nuestro primer postulado es que si un elemento es ”posición”de acumula-
ción de un subconjunto M, también lo es de cualquier subconjunto que contenga
a M. El segundo es que cuando un subconjunto se divide en dos subconjuntos,
cada posición de acumulación de ese subconjunto lo sea también de por lo me-
nos uno de los otros subconjuntos. El tercer postulado es que un subconjunto
que consiste de un sólo elemento no tiene posiciones de acumulación. Utili-
zando el segundo postulado se asegura que solamente los subconjuntos infinitos
posean posiciones de acumulación...
En 1918, en su artı́culo [Fre18], Fréchet presenta los tres axiomas antes
citados y el cuarto axioma de Riesz en una forma un tanto diferente: Siendo
E 0 el derivado de E:
15
Gustavo N. Rubiano O.
1. Axiomas 1) y 2) de Riesz: (E ∪ F )0 = E 0 ∪ F 0 .
ia o
tractos con una noción de lı́mite por sucesiones”, que él llama “las clases-L”,
las cuales 40 ó 50 años más tarde desembocan en la teorı́a de la convergencia
v
de Moore-Smith y en la teorı́a de filtros de H. Cartan.
Se debe señalar que en su tesis Fréchet acertó absolutamente con la de-
ub a
no
finición de espacio métrico. Pero se nota, a posteriori claro está, titubeante
frente a las dos posibilidades de generalización de los espacios métricos que se
R st
le ocurren: la definición de “conjuntos abstractos con sucesiones convergentes”
y la definición de “conjuntos con vecindades de cada uno de sus puntos”.
u
1. f (∅) = ∅.
3. f (A ∪ B) = f (A) ∪ f (B).
Y en la pág. 250 la operación cerradura es topológica si además
4. f f (A) = f (A).
16
Historia & topologı́a . . .
5. Kazimierz Kuratowski
ia o
Nace el 2 de febrero de 1896 en Varsovia, Polonia. Inicia su vida univer-
v
sitaria en la Universidad de Glasgow en Escocia estudiando ingenierı́a. Sin
embargo, poco después regresa a Polonia para ingresar a la Universidad de
ub a
Varsovia, donde completa sus estudios, sin contar una pequeña estancia en la
no
Universidad de Lvov.
R st
En ese tiempo no existı́a una escuela matemática polaca homogénea, pues
los logros de los matemáticos polacos estaban muy dispersos, pues no habı́a
un área de interés común.
u
17
Gustavo N. Rubiano O.
Kuratowski
Las cosas en Varsovia empeoraron aún más. Los jóvenes polacos boicotea-
ban a la universidad rusa que existı́a en Varsovia. La demanda era educación
en polaco a todos los niveles, pues la autoridad zarista no permitı́a universida-
des polacas. En estas condiciones los jóvenes polacos debı́an buscar educación
universitaria en el extranjero.
Kuratowski terminó una escuela secundaria polaca en 1913, aprobó el exa-
men final ruso en Moscú como estudiante externo, y viajó a Escocia donde
estudió sólo un año, pues comenzó la guerra en 1914.
En 1906 se funda la sociedad de Varsovia para cursos cientı́ficos, en par-
te como sustituto de la universidad. Entre los que impartı́an cursos en esta
sociedad se encontraba Sierpinski.
Con el inicio de la guerra, la autoridad rusa desaparece (1915) de Varsovia
ia o
lo que permite la creación de dos instituciones: la Universidad de Varsovia y
la Universidad Técnica.
v
Entre los profesores de Kuratowski en este perı́odo se contaba a S. Mazur-
ub a
kiewicz. Un expositor brillante y muy activo en la investigación, quien propuso
no
a Kuratowski conducir investigaciones por sı́ mismo en topologı́a.
R st
Otro de los profesores de Kuratowski fue J. Lukasewicz. Además de sus cur-
sos de lógica e historia de la filosofı́a, el profesor Lukasewicz dirigı́a seminarios
más especializados en metodologı́a de la ciencia.
u
18
Historia & topologı́a . . .
temas comunes con el fin de concentrar esfuerzos y crear una atmósfera propicia
para el florecimiento de tal escuela. Otro de los requisitos para una buena
evolución fue la creación de una revista propia. Esos fueron los dı́as en que se
fundó la conocida revista Fundamenta Mathematicae fundada por Janiszewski,
quien no vivió para ver el primer número.
Kuratowski fue de los primeros autores en publicar en el Fundamenta, de
hecho lo hizo en el primer número.
El perı́odo entre las dos guerras presenció un gran desarrollo de la teorı́a de
conjuntos y de la topologı́a en polonia. Kuratowski se preocupó de extender la
colaboración con matemáticos extranjeros, entre los que se cuentan, John Von
Neunann, P. S. Alxandroff, S. Lefschetz y E. Čcech.
Durante la ocupación Nazi de Polonia los eventos fueron trágicos en muchos
sentidos. Los invasores cerraron todas las instituciones de enseñanza superior.
ia o
Pero esto propició la creación de una “universidad clandestina”. La élite de los
profesores se encargaron de impartir cursos en todos los niveles secretamente.
v
El núnero de estudiantes clandestinos se calcula en aproximadamente 3800
tan solo en los años 1943-44. Cientos de estudiantes obtuvieron los grados de
ub a
Maestrı́a, Doctorado y Segundo Doctorado durante este perı́odo, grados que
no
fueron revalidados después de la guerra.
R st
Después de la guerra se reconoció la necesidad de impulsar aún más las
matemáticas en Polonia mediante la creación del Instituto de Matemáticas
u
19
Gustavo N. Rubiano O.
ia o
Entre estos, en conjunto con resultados en subconjuntos de espacios euclidianos
de cualquier dimensión, desarrolló la definición de las funciones baricéntricas
v
de un espacio normal en el nervio de cualquier cubierta finita del espacio. La
contribución más importante de Kuratowski a la topologı́a se encuentra en su
ub a
trabajo sobre el operador cerradura, en el que se presenta por primera vez una
no
definición axiomática del operador de cerradura, un medio para introducir una
R st
topologı́a en un conjunto.
K. Kuratowski fallece el 18 de junio de 1980 en Varsovia.
u
Bibliografı́a General
G
20
Historia & topologı́a . . .
ia o
[Bor98] E. Borel, Lecons sur les fonctions de variab!es rée!!es et développ-
v
ments en séries de polynomnmes, Gauthierrs-Vilars, Parı́s, 190S.
[Boy68] C. Boyer, A history of Mathematics, Wiley, 1968.
ub a
no
[Car37]FI. Cartan. Théorie des filters, Comp. Rend. 25(1937), 595-598.
R st
[Cech66] E. Cech, Topological Spaces, Prague, 1966.
[Dau79] J. W. Dauben, Geaorg Cantor. His mathematics and Philosophy
u
21
Gustavo N. Rubiano O.
ia o
[Fre25b]M, Fréchet, L’expression la plus génerale de la distance, American
Journal of Mathcmatics 67(1925)
v
[Fre26] M. Fréchet, Sur la notion de voisinage dans un espace discret, Fund.
Math. 8(1926), 151-159.
ub a
no
[Haus14] F. Hausdorff, Grundzüge dre Mengenlehre, Leipzig, 1914.
R st
[Haus24]F. Hausdorff, Die Mengen Gδ in vollstündiqen Raümen, Fund.
Math. 6(1924), 146-148. F. Hausdorff, Mengenlebre, Berlin, 1927. (2. neuhear-
beitete Auı́lage der
u
22
Historia & topologı́a . . .
3(1922), 182-199.
[Kura61] K. Kuratowski, Topology, Vol. 1, Academic-Press, New York,
1966,
[Kur8O] K. Kuratowski, A half century of polish mathematics, Pergamon
Press, 1980.
ia o v
ub a
no
R stu
G
23