Captulo 1

Preliminares
En este captulo repasamos algunos conceptos y resultados de la teora de
conjuntos y topologa que nos ayudaran a desarrollar el tema de tesis. Aunque
todos los conceptos y resultados son bien conocidos y se suelen encontrar en
muchos libros de topologa general, es bueno definir un marco de referencia
sobre el cual trabajar.

1.1.

Teora de conjuntos

Este repaso de la teora de conjuntos se hara siguiendo un enfoque practico.

Es decir, no se har
a un tratado formal, mas bien se presentaran las definiciones
y los teoremas necesarios para desarrollar la tesis.
Denotamos a los conjuntos con letras may
usculas: A, B, C, ... y a los respectivos elementos de estos conjuntos con letras min
usculas a, b, c, .... Aunque
todos los objetos son conjuntos desde el punto de vista de la teora de conjuntos, a los conjuntos de conjuntos (usualmente llamados familias de conjuntos)
los denotamos con letras caligr
aficas A, B, C, ... y a los respectivos elementos de
estos conjuntos de conjuntos con letras mayusculas A, B, C, .... As, si A es un
conjunto de conjuntos diremos cosas como sea A A y a A. Se tratara de
seguir en lo posible este estilo pero pueden haber excepciones.
Si A es un conjunto,
Si A es una
S denotamos por P (A) a su conjunto potencia.
T
familia de conjuntos, A denota la union de sus conjuntos y A la interseccion
de sus conjuntos (en el caso que A =
6 ).
Definici
on 1.1.1. Una relaci
on sobre un conjunto X es un subconjunto R del
producto cartesiano X X
Si R es una relaci
on sobre X, la notacion xRy significa (x, y) R.
Definici
on 1.1.2. Sea X un conjunto y una relacion sobre X. Decimos que
es un preorden sobre X si:
1. (reflexividad) x x para todo x X
1

CAPITULO 1. PRELIMINARES

2. (transitividad) x y y y z implica x z para todo x, y, z X

Si el preorden ademas cumple
1. (antisimetra) x y y y x implica x = y para todo x, y X
se dice que es un orden parcial.
A un conjunto X con un preorden se lo llama conjunto preordenado o
simplemente preorden y se denota (X, ). De la misma manera con un orden
parcial.
Definici
on 1.1.3. Sea (X, ) un preorden:
1. Se dice que dos elementos x, y X estan relacionados si x y o y x.
2. m X es llamado un elemento maximal si a A : m a = a m.
3. x A es llamado una cota superior de un subconjunto A X si a A :
a x.
4. C X es llamado una cadena si dos elementos cualesquiera de C estan
relacionados.
A continuaci
on mencionamos uno de los resultados mas importantes dentro de la Teora de Conjuntos, el Lema de Zorn. Este lema viene en diferentes
presentaciones. Hay una gran cantidad de ejemplos donde las demostraciones
utilizan el Lema de Zorn. Mencionando algunos ejemplos: El Teorema de Extensi
on de Hahn-Banach, el Teorema de existencia de una base sobre un espacio
vectorial. En esta tesis, se utilizara el lema de Zorn para demostrar el Teorema
de Tychonoff. En algunos libros como [3, p. 880] el Lema de Zorn aparece usando
un orden parcial mientras que en otros libros como [1, p. 31] el Lema de Zorn
aparece usando solamente un preorden. En esta tesis usaremos la version de [1].
Teorema 1.1.4 (Lema de Zorn). Sea X un conjunto preordenado. Si cada
cadena en X tiene una cota superior entonces X tiene al menos un elemento
maximal.
En [1, pp. 31-35] se demuestra que el Lema de Zorn es equivalente al axioma
de la elecci
on y al Teorema del buen ordenamiento.

1.2.

Topologa

En esta secci
on se partira desde lo mas basico de topologa y se estudiaran
solamente los conceptos y resultados necesarios para desarrollar la tesis. Esta
secci
on esta basada principalmente en [4] y [1]
Definici
on 1.2.1. Sea X un conjunto. Una topologa en X es un subconjunto
de P (X) que satisface:
1. X, .

1.2. TOPOLOGIA
2. Si A entonces

3
S

A .

3. Si A es finito y A =
6 entonces

A .

Al par (X, ) se lo llama espacio topologico y a los elementos de se los llama

conjuntos abiertos (cuando la topologa esta sobreentendida). A los complementos de los conjuntos abiertos, osea a los conjuntos de la forma X U con
U se los llama conjuntos cerrados. A menudo se omite la mencion de y se
habla directamente de conjuntos abiertos.
Es f
acil verificar que los siguientes ejemplos son espacios topologicos:
Ejemplo 1.2.2. Sea X un conjunto y = P (X). Entonces (X, ) es un espacio
topol
ogico y a X se lo llama espacio discreto.
Ejemplo 1.2.3. Sea X un conjunto y = {, X}. Entonces (X, ) es un espacio
topol
ogico y a X se lo llama espacio indiscreto.
Ejemplo 1.2.4. Sea X = {0, 1} y = {, {0}, X}. Entonces (X, ) es un
espacio topol
ogico y a X se lo llama el espacio de Sierpinski. Este es ejemplo
sirve como contraejemplo para varias teoremas mas adelante.
Recordemos que si X es un conjunto, se dice que X es finito si existe un
natural n N y una biyecci
on f : {1, 2, ..., n} X.
Ejemplo 1.2.5. Sea X un conjunto y = {A X : X A es finito o es X.
Entonces a X se le ha dado la topologa
Generalmente no se da una topologa sobre X explcitamente sino que se
especifica un subconjunto B P (X) llamado base y se construye una topologa
sobre X usando los elementos de B como generadores.
Definici
on 1.2.6. Sea (X, ) un espacio topologico. Una familia B se dice
que es base de (o base de X, si la S
topologa esta sobreentendida) si para
todo U existe A B tal que U = A, es decir, todo abierto es union de
elementos de la base.
Ejemplo 1.2.7. Si (X, ) es un espacio topologico entonces es base de si
mismo
Ejemplo 1.2.8. Sea X un espacio discreto. Entonces B = {{x} : x X} es
base de X
En todos estos ejemplos ya se ha empezado con una topologa y se ha dado una base de la topologa. Sin embargo tambien se puede hacer lo opuesto,
empezar por una base y luego generar la topologa.
Definici
on 1.2.9. Sea X un conjunto y B P (X) una familia de conjuntos
satisfaciendo:
S
1. X = B

CAPITULO 1. PRELIMINARES
2. Para todo B1 , B2 B y para todo x B1 B2 existe B3 B tal que
B3 B1 B2

Entonces es base de una topologa (B) llamada la topologa generada por

S B
que consiste de todas las uniones de subconjuntos de B, es decir, (B) = { A :
A B}.
Demostraci
on. Verifiquemos que (B) es realmente una topologa en X.
S
S
1. X (B) porque X = B y B B. (B) porque = y B.
S
2. Sea U S
(B) entonces
para todo S
U
talSque U = AU
S
SU existe AU B S
entonces
U = {U : U U = S{ AU : U U} =
{AU : U U }
S
y {AU : U U} B y entonces U (B).
3. Sea U,
que verificar que U V (B). Se tiene que
SV (B). Tenemos
S
U
=
A
y
V
=
A
para
algunos AU , AV B. Entonces U V =
V
S
SU
S
AU AV = {AU AV : AU AU y AV AV . Por el punto 2. de la
Definici
on 1.2.9 se observa que cada AU AV es una union de elementos
de B y por lo tanto U V es una union de elementos de B

Notese que una misma topologa puede tener diferentes bases

Ejemplo 1.2.10. Sea (X, d) un espacio metrico. Entonces se puede verificar
que el conjunto de bolas {B(x, r) : x X y r > 0} cumple con los requisitos de
una base, y por lo tanto se puede dotar ap
X de una topologa inducida por la
metrica d. Si hacemos X = Rn , d(x, y) = (x1 y1 )2 + ...(xn yn )2 entonces
podemos dotar a Rn de la topologa inducida por la metrica d llamada tambien
la topologa usual o estandar de Rn .
Ahora consideremos el concepto de subbase
S
Definici
on 1.2.11. Sea S P (X) tal que S = X. Entonces el conjunto B
de las interesecciones finitas de elementos de S satisface los requerimientos de
la definici
on 1.2.9 y definimos la topologa generada por S como (S) = (B).
Ahora definimos el concepto de vecindad de un punto. Hay dos definiciones
de este concepto. En libros como [2, p. 38] una vecindad no es necesariamente
un conjunto abierto. Sin embargo vamos a seguir la definicion de libros como
[1, p. 63] y [4, p. 96]:
Definici
on 1.2.12. Sea X un espacio topologico y x X. Una vecindad de x
es un conjunto abierto U que contiene a x. Al conjunto de vecindades de de x
lo denotamos por U(x). A la frase U es una vecindad de x la abreviamos con
la frase en ingles U nbdx
Repasemos algunos teoremas sobre los cerrados cuya demostracion se sigue
inmediatamiente de las definiciones en 1.2.1

1.2. TOPOLOGIA

Teorema 1.2.13.
1. La interesccion de una familia no vaca de conjuntos
cerrados es un conjunto cerrado
2. La union de una familia finita de conjuntos cerrados es un conjunto cerrado
Ahora definimos lo que es la clausura de un conjunto y sus teoremas relacionados
Definici
on 1.2.14. Sea X un espacio topologicos y A X. Un punto x X
es un adherente a A si U nbdx : U A 6= . La clausura de A es el conjunto de
todos los puntos adherentes a A y se denota por A.
Teorema 1.2.15. Sea X un espacio topol
ogicos y A, B X. Entonces
T
1. A = {F : F es cerrado y A F
2. A A
3. A es cerrado si y solo si A = A
4. A B = A B
5. A B = A B
Demostraci
on.
Ahora estudiemos funciones continuas entre espacios topologicos generales.
Definici
on 1.2.16. Sea X y Y espacios topologicos y f : X Y una funcion.
Decimos que f es continua si para todo abierto V Y se tiene que f 1 (V ) es
abierto en X. Si x X decimos que f es continua en x si V nbdf (x) : U nbdx :
f (U ) V
Se tiene entonces una definici
on global de continuidad y una definicion de
continuidad en un punto. El siguiente teorema relaciona ambas definiciones
Teorema 1.2.17. Sean X y Y espacios topol
ogicos y f : X Y una funci
on.
Entonces f es continua si y solo si para todo x X, f es continua en x.
Demostraci
on.
Ahora estudiamos uno de los axiomas de separacion, el axioma de separacion
de Hausdorff. Si bien hay otros axiomas de separacion, este axioma es el mas
asumido y es el m
as relevante a la tesis.
Definici
on 1.2.18. Sea X un espacio topologico. Se dice que X es un espacio
de Hausdorff si para todo x, y X con x 6= Y existe U nbdx y V nbdy tales que
U V = .
La mayora de los espacios considerados en topologa son Hausdorff pero hay
algunas excepciones

CAPITULO 1. PRELIMINARES

Ejemplo 1.2.19. Los espacios discretos y los espacios metricos son de Hausdorff. Sin embargo el espacio de Sierpinski no lo es.
Ahora consideramos el producto de espacios topologicos.
Definici
on 1.2.20. Sea {Xi }iI una familia de espacios topologicosQy pj :
Q
X

Xj las proyecciones canonicas. La topologa del producto de iI Xi

i
iI
tiene como subbase al conjunto {p1
j (U ) : j I y U es abierto en Xj }.
Q
Teorema 1.2.21. Sea {Xi }iI una familiaQde espacios topol
ogicos y iI Xi
su producto. Entonces cada proyeccion pj : iI Xi Xj es continua.
Demostraci
on.
Los espacios compactos tienen muchas aplicaciones en analisis y juegan un
papel central en esta tesis.
Definici
on 1.2.22. Sea X un espacio topologico. Una
S cubierta de X es simplimente una familia de conjuntos S P (X) tal que S = X. Una subcubierta
finita de S es un subconjunto de S cuya union sigue siendo X.
Definici
on 1.2.23. Sea X un espacio topologico. Se dice que X es compacto
si toda cubierta por abiertos de X tiene una subcubierta finita.
Generalmente se estudian espacios compactos que tambien son Hausdorff ya
que estos tienen propiedades deseables.
Ejemplo 1.2.24. En Rn un subconjunto A X es compacto si y solo si A
es cerrado y acotado. As, los intervalos [a, b] de R y las clausuras de bolas en
Rn son espacios compactos. Rn y sus bolas abiertas, por el contrario, no son
espacios compactos.

Bibliografa
[1] James Dugundji. Topology (Allyn and Bacon Series in Advanced Mathematics). Allyn and Bacon, Inc., 1st edition, 1966.
[2] John L. Kelley. General Topology (Blue cloth). D. Van Nostrand Company,
writing in margin, foxing edition, 1955.
[3] Serge Lang. Algebra (Graduate Texts in Mathematics). Springer, 3rd edition,
6 2005.
[4] James Munkres. Topology (2nd Economy Edition). Prentice-Hall, Inc., 2nd
edition, 1 2000.