Topologia General

Topologı́a general
Ixcóatl Juárez López
21/05/2018
ii
Contents
1 Teoria Elemental de conjuntos 1

1.1 Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Algebra booleana . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.3 Producto Cartesiano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.4 Familias de conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.5 Conjunto Potencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.6 Funciones o Mapeos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.7 Axiomas de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.8 Producto cartesiano General . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2 Ordinales y Cardinales 19
2.1 Relaciones de Orden . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.2 Lema de Zorn,Teorema de Zermelo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2.3 Ordinales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.4 Comparabilidad de ordinales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
3 Espacios Topológicos 27
3.1 Definiciones Basicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
3.2 Bases para un topologia dada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
3.3 Topologización de conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
3.4 Conceptos elementales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
3.5 Topologizando y operaciones elementales preasignadas . . . . . . . . . . . . . . . . . . . . . . 31
4 Topologı́a Producto 35
5 Conexidad 37
6 Topologı́a de Identificación; Topologı́a débil 39
7 Axiomas dee Separación 41
8 Axiomas de cubiertas 43
iii
iv CONTENTS
9 Espacios métricos 45
9.1 Metricas de conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
9.2 Topologı́a Inducida por una métrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
9.3 Métricas Equivalentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
9.4 Continuidad de la Distancia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
9.5 Propiedades topologicas de espacios metricos . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
9.6 Producto cartesiano de espacios metricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
9.7 El espacio l2 (A); El cubo de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
9.8 Metrización de espacios topológicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
9.9 Espacios Pseudometricos o Calibrados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
9.10 Espacios uniformes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
10 Convergencia 65
10.1 Sucesiones y Redes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
10.2 Bases filtradas en espacios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
10.3 Convergencia y propoiedades de filtros base . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
10.4 cerradura en terminos de filtros base . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
10.5 Continuidad y convergencia en la topologia producto . . . . . . . . . . . . . . . . . . . . . . . 67
10.6 Adecuacion de las sucesiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
10.7 Filtros bases maximales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
11 Compacidad 69
A The First Appendix 71
B The Second Appendix 73
Afterword 77
Chapter 1
Teoria Elemental de conjuntos
1.1 Conjuntos
Definición 1.1. Sean A, B dos conjuntos decimos que :
1. A ⊆ B si :
∀x ∈ A se tiene que x ∈ B
2. A = B si :
∀xx ∈ A ⇔ x ∈ B
3.
A⊂B
si A 6= B y A ⊆ B
Proposición 1.1. Sean A, B, C conjuntos, entonces
1. A ⊆ A
2. Si A ⊆ B y B ⊆ C, entonces A ⊆ C
3. A = B si y solo si A ⊆ B ∧ B ⊆ A
Proof. Trivial
Definición 1.2. Sea A un conjunto y p una propiedad que pueden tener los elementos de A.La familia de ele-
mentos de A que cumplen dicha propiedad se denota como :
{x ∈ A|p(x)} = Ap
Claramente
Ap ⊆ Aq ⇔ p(x) ⇒ q(x) ∀x ∈ A
1
2 CHAPTER 1. TEORIA ELEMENTAL DE CONJUNTOS
Definición 1.3. Se define como el conjunto ∅A nulo o vacio de A, como:
∅A = {x ∈ A|x 6= x}
Proposición 1.2. todos los conjuntos nulos son iguales.Entonces existe un unico conjunto nulo y este esta
contenido en cada conjunto:∅ ⊆ A para cada conjunto A.
Proof. Sean A, B dos conjuntos.Si ∅A ⊆ ∅B fuera falso, existirı́a un elemento a ∈ ∅A tal que a ∈ / ∅B , lo
cual indicarı́a que existe un elemento en A tal que a 6= a lo cual es absurdo, de manera analoga vemos que
∅B ⊆ A.
1.2 Algebra booleana

Definición 1.4. Sea Γ un conjunto dado, y A, B dos subconjuntos. AL union A ∪ B, de A y B se define como
A ∪ B = {x ∈ Γ|x ∈ A ó x ∈ B}
La interseccion A ∩ B, de A y B se define como
A ∩ B = {x ∈ Γ|x ∈ A y x ∈ B}
se les llama disjuntos a cualesquiera dos conjuntos A y B tal que A ∩ B = ∅
jElem Proposición 1.3. Sean A, B, C, D cuatro conjuntos.Entonces
1. A ∩ B ⊂ A ⊂ A ∪ B
2. Si A ⊆ B y C ⊆ D, entonces A ∪ C ⊆ B ∪ D
3. Idempotente:
A∪A=A=A∩A
4. Asociativa:
A ∪ (B ∪ C) = (A ∪ B) ∪ C
A ∩ (B ∪ C) = (A ∩ B) ∩ C
5. Conmutativa:
A∪B =B∪A
A∩B =B∩A
6. Distributividad
A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)
1.2. ALGEBRA BOOLEANA 3
Proof. Las demostraciones de los primeros 5 incisos son triviales. Qunito inciso) Para la primera parte vemos
que :
x ∈ A ∩ (B ∪ C) ⇔ (x ∈ A) ∧ [x ∈ (B ∪ C)]
⇔ (x ∈ A) ∧ [x ∈ B ∨ x ∈ C]
⇔ [(x ∈ A) ∧ (x ∈ B)] ∨ [(x ∈ A) ∧ (x ∈ C)]
⇔ [x ∈ A ∩ B] ∨ [x ∈ A ∩ C]
⇔ [x ∈ (A ∩ B) ∪ (A ∩ C)]
Para la segunda parte observamos que
x ∈ A ∪ (B ∩ C) ⇔ (x ∈ A) ∨ [x ∈ (B ∩ C)]
⇔ (x ∈ A) ∨ [x ∈ B ∧ x ∈ C]
⇔ [(x ∈ A) ∨ (x ∈ B)] ∧ [(x ∈ A) ∨ (x ∈ C)]
⇔ [x ∈ A ∪ B] ∧ [x ∈ A ∪ C]
⇔ [x ∈ (A ∪ B) ∩ (A ∪ C)]
Como consecuencia de esta ultima proposición para una familia de conjuntos {Ai }ni=1 queda bien definida la
union ni=1 Ai
S
Proposición 1.4. Los siguientes son equivalentes:
cont 1. A ⊆ B
int 2. A = A ∩ B
uni 3. B = A ∪ B
cont
int PropConjElem
Proof. 1⇒2 Usando la Proposición 1.3 notamos que
A=A∩A⊆A∩B ⊆A
con lo cual A = A ∩ B.
cont
int PropConjElem
1⇐2 Usando la Proposición 1.3 notamos que
A=A∩B ⊆B
con lo cual A ⊆ B.
unicont PropConjElem
3⇒1 Usando nuevamente la Proposición 1.3 notamos que
A⊆A∪B =B
con lo cual A ⊆ B.
unicont PropConjElem
3⇐1 Usando nuevamente la Proposición 1.3 notamos que
B ⊆A∪B ⊆B∪B =B
con lo cual B = A ∪ B.
Definición 1.5. Consideramos A, B conjuntos.
1. El conjunto diferencia A \ B se define como :
A \ B = {x ∈ A|x ∈
/ B}
2. Si B ⊆ A definimos CA (B) el conjunto complemento de B respecto de A como :
CA (B) = A \ B
Otra notacion usual para esto cuando es claro con respecto a que se toma el complemento; es B c = CA (B).
Proposición 1.5. Si A, B son dos conjuntos cuya union esta contenida en E. Entonces
A \ B = A ∩ CE (B)
Proof.
A \ B = {x ∈ E|x ∈ A ∧ x ∈
/ B}
/ B} = A ∩ CE (B)
= {x ∈ E|x ∈ A} ∩ {x ∈ E|x ∈
1.2. ALGEBRA BOOLEANA 5
cConj Proposición 1.6. Si E es un conjunto que contiene la union A ∪ B, entonces :
1. A ∩ CE A = ∅, A ∪ CE A = E
2. CE (CE A) = A
3. CE ∅ = E,CE E = ∅
4. A ⊆ B si y solo si CE B ⊆ CE A
organ Teorema 1.1. (De Morgan)
1.
C (A ∪ B) = C (A) ∩ C (B)
2.
C (A ∩ B) = C (A) ∪ C (B)
Proof.
x ∈ C (A ∪ B) ⇔ x∈
/ A∪B ⇔ x∈
/ A∧x∈
/B
⇔ x ∈ CA ∩ CB
Para el segundo inciso observamos que por el inciso anterior tenemos que:
C (A ∩ B) = C (C (C A) ∩ C (C B))
= C (C (C A ∪ C B))
= CA ∪ CB
Observación 1.1. Consideramos A, B dos conjuntos y E = A ∪ B
1.
(A \ B) ∪ (B \ A) = (A ∪ B) \ (A ∩ B)
2. Si A ∪ X = E y A ∩ X = ∅, entonces X = CE A
PropBasicConj
PropConjElem
DeMorgan
Proof. Para el primer punto observamos que por las Proposiciones 1.6,1.3 y 1.1 se tiene :
(A \ B) ∪ (B \ A) = (A ∩ C B) ∪ (B ∩ C A)
= [(A ∩ C B) ∪ B] ∩ [(A ∩ C B) ∪ C A)]
= [(A ∪ B) ∩ (C B ∪ B)] ∩ [(A ∪ C A) ∩ (C B ∪ C A)]
= (A ∪ B) ∩ (C B ∪ B) ∩ (A ∪ C A) ∩ (C B ∪ C A)
= (A ∪ B) ∩ E ∩ E ∩ (C B ∪ C A)
= (A ∪ B) ∩ (C B ∪ C A)
= (A ∪ B) ∩ C (B ∩ A)
Definición 1.6. Sea X un conjunto le llamamos una operación binaria en X a una función + : X × X → X
Definición 1.7. Un algebra booleana es una terna (E, +, ·), donde E es un conjunto +· son operaciones binarias
en E con las siguientes propiedades:
1. Cada operación es conmutativa.
2. Existen elementos neutros para ambas operaciones, es decir ∃0, 1 ∈ E tal que 0 + a = a,1 · a = a para
cualquier elemento a ∈ E
3. Leyes distributivas:
a · (b + c) = (a · b) + (a · c)
a + (b · c) = (a + b) · (a + c)
4. Existencia de inversos para ambas operaciones; para cada a ∈ E existe a0 ∈ E tal que a + a0 = 1 y
a · a0 = 0
5. Cada operación es asociativa.
Observamos que un conjunto E y la familia de sus subconjuntos junto con la operacion de union e intersec-
cion, con E, ∅ forman un algebra booleana.
1.3. PRODUCTO CARTESIANO 7
1.3 Producto Cartesiano
Definición 1.8. Sean A, B conjuntos, a ∈ A, b ∈ B. Definimos
(a, b) = {{a}{a, b}}
De lo anterior es claro que (a, b) = (c, d) si y solo si a = c y b = d La definicion anterior se da con el único
motivo de que se encuentre un elemento que cumpla con indicar cual es el primer elemento de la pareja y que
se cumpla la propiedad arriba mencionada. Otra opción es verlo como una función f : {1, 2} → A ∪ B con la
propiedad f (1) ∈ A, f (2) = B la cual se explorara mas adelante en la generalizacion de este tema.
Definición 1.9. Sean A, B conjuntos. El producto cartesiano A × B, es le conjunto
A × B = {(a, b)|a ∈ A, b ∈ B}
Proposición 1.7. A × B = ∅ si y solo si A = ∅ ∨ B = ∅
Proposición 1.8. Si C × D 6= ∅, entonces C × D ⊆ A × B si y solo si C ⊆ A, D ⊆ B.
Teorema 1.2. El producto se distribuye en la intersección,union y diferencia.Es decir:
A × (B ∪ C) = (A × B) ∪ (A × C)
A × (B ∩ C) = (A × B) ∩ (A × C)
A × (B \ C) = (A × B) \ (A × C)
1.4 Familias de conjuntos
Definición 1.10. Sea Γ un conjunto, y A = {Aα |α ∈ A} una familia de subconjuntos de Γ. Definimos la union
A )de esta familia de conjuntos es :
S S
α∈A Aα (denotada de otra forma tambien como
[
A = {x ∈ Γ|∃α ∈ A : x ∈ Aα }
A )de esta familia de conjuntos es

T T
Definimos la intsercción α∈A Aα (denotada de otra forma también como
:
\
A = {x ∈ Γ|∀α ∈ A : x ∈ Aα }
Teorema 1.3. Sean (Aα )α∈A , (Bβ )β∈B dos familias de subconjuntos de un conjunto común Γ, entonces:
1. S hS i S
A
α∈A α ∩ B
β∈B β = (α,β)∈A×B (Aα ∩ Bβ )
T hT i T
α∈A Aα ∪ β∈B Bβ = (α,β)∈A×B (Aα ∪ Bβ )
2.
C C (Aα )
S T
α∈A Aα = α∈A
C C (Aα )
T S
α∈A Aα = α∈A
3. S hS i S
A
α∈A α × B
β∈B β = (α,β)∈A×B (Aα × Bβ )
T hT i T
A
α∈A α × B
β∈B β = (α,β)∈A×B (Aα × Bβ )
En general la intersección de una familia de subconjuntos de Γ donde el conjunto de indices A = ∅ se define

como Γ pues de lo contrario existira un elemento x ∈ Γ y α ∈ A tal que x ∈ / Aα , pero esto es una contradicción,
pues A = ∅.Mientras que la union de una familia de subconjuntos de Γ donde el conjunto de indices A = ∅ se
define como vacio pues de lo contrario existira un elemento x ∈ Γ y α ∈ A tal que x ∈ Aα , pero esto es una
contradicción, pues A = ∅.
1.5 Conjunto Potencia

Definición 1.11. Sea A un conjunto, definimos el conjunto potencia ℘(A) de A como el conjunto de todos los
subconjuntos de A.
Teorema 1.4. Sea (Aα )α∈A una familia de conjuntos.Entonces
1. !
\ \
℘ Aα = ℘ (Aα )
α∈A α∈A
2. !
[ [
℘ (Aα ) ⊆ ℘ Aα
α∈A α∈A
1.6 Funciones o Mapeos

Definición 1.12. Sean X, Y dos conjuntos, una funcion f : X → Y , es un subconjunto f ⊆ X × Y de tal forma
que para cada x ∈ X existe y ∈ Y tal que (x, y) ∈ f .A X se le conoce como el dominio de f y a Y como el
1.6. FUNCIONES O MAPEOS 9
codominio.Si tenemos que (x, y) ∈ f escribimos y = f (x) definimos otros dos conjuntos en razón de lo anterior
:
1. Para cada A ⊆ X
f (A) = {f (x) ∈ Y |x ∈ A}
2. Para cada B ⊆ Y
f −1 (B) = {x ∈ X|f (x) ∈ B}
Claramente cada función f : X → Y induce dos funciones f : ℘(X) → ℘(Y )y f −1 : ℘(Y ) → ℘(X), como
A → f (A) y B → f −1 (B)
Teorema 1.5. Sea X, Y conjuntos f : X → Y . Entonces la función f −1 : ℘(Y ) → ℘(X) antes mencionada
tiene las siguientes propiedades:
1. !
[ [
f −1 Aα = f −1 (Aα )
α∈A α∈A
2. !
\ \
f −1 Aα = f −1 (Aα )
α∈A α∈A
3.
f −1 (A \ B) = f −1 (A) \ f −1 (B)
Proposición 1.9. Sea f : X → Y es una función,entonces la funcion inducida f : ℘(X) → ℘(Y ) cumple que :
S S
1. f ( α∈A Aα ) = α∈A f (Aα )
T T
2. f ( α∈A Aα ) ⊆ α∈A f (Aα )
Proposición 1.10. Sea f : X → Y es una función, entonces:
1. Para cada A ⊆ X, se tiene que A ⊆ f −1 (f (A))
2. Para cada A ⊆ X, B ⊆ Y , se tiene que f (f −1 (B) ∩ A) = B ∩ f (A), en particular f (f −1 (B)) =

B ∩ f (X) ⊆ B
Proof. Para el primer inciso observamos que :
x ∈ A ⇒ f (x) ∈ f (A)
⇒ x ∈ f −1 (f (A))
Para el segundo inciso s epuede notar que :
y ∈ f (f −1 (B) ∩ A) ⇔ ∃x ∈ f −1 (B) ∩ Atal que y = f (x)
⇔ ∃x ∈ f −1 (B) ∧ x ∈ Atal que y = f (x)
⇔ y ∈ B ∧ ∃x ∈ A tal que y = f (x)
⇔ y ∈ B ∧ y ∈ f (A)
⇔ y ∈ B ∩ f (A)
Una observacion que es importante hacer aquı́ es: que si f : X → Y ,g : Y → Z son funciones entonces
podemos definir la funcion composición g ◦ f : X → Z como x → g(f (x)), esto de manera conjuntista se
puede apreciar de la siguiente manera:
g ◦ f = {(x, z) ∈ X × Z|∃y ∈ Y de tal forma que (x, y) ∈ f ∧ (y, z) ∈ g}
Proposición 1.11. Sean f : X → Y ,g : Y → Z funciones. Entonces (g ◦ f )−1 = f −1 ◦ g −1
Definición 1.13. Sean f : X → Y ,g : A → Y funciones, donde A ⊆ X.
1. La función f considerando solo el conjunto A se le llama la restricción de f sobre el conjunto A, se escribe

como f |A , y puede ser definida alternativamente como f |A = f ∩ (A × Y )
2. En la dirección opuesta si G : X → Y que coincide con g en A, se le conoce como la extensión de g sobre

todo X.
S
Teorema 1.6. Sea X un conjunto , {Aα |α ∈ A} una familia de subconjuntos de X con α∈A Aα = X( es decir
es una cubierta de X).Para cada α se tiene que fα : Aα → Y es una función, se cumple que para cualesquiera
α, β ∈ A se tienen que fα |Aα ∩Aβ = fβ |Aα ∩Aβ .Entonces existe una única extensión f : X → Y de todas las fα ’s.
Proof. Para cada x ∈ X existe α ∈ A tal que x ∈ Aα , entonces definimos f (x) = fα (x), el hecho de que
fα |Aα ∩Aβ = fβ |Aα ∩Aβ nos garantiza que la función esta bien definida y claramente es extensión de cada fα , la
unicidad sale de que es extensión de cada fα y el hecho de que {Aα |α ∈ A} es una cubierta de X
Definición 1.14. Si A = {Aα |α ∈ A} es una cubierta de X tal que Aα ∩ Aβ = ∅ siempre que α 6= β, se dice
que A es una partición de X.
Corolario 1.1. Si A = {Aα |α ∈ A} es una partición de X. Para cada α se tiene que fα : Aα → Y es una
función. Entonces existe una única extensión f : X → Y de todas las fα ’s.
1.6. FUNCIONES O MAPEOS 11
Definición 1.15. Sea f : X → Y una función decimos que :
1. Es inyectiva si siempre que f (x) = f (y) e spor que x = y
2. Es sobre o suprayectiva si para todo y ∈ Y existe x ∈ X tal que y = f (x)
3. Es biyectiva si es inyectiva y sobre.
Podemos observar un detalle muy curioso :El hecho de que f −1 (y) para cada y ∈ Y este compuesta exac-
tamente de un punto es suficiente y necesario para que la función f : X → Y sea biyectiva e inclusive de ahi
podemos definir una función g : Y → X tal que g ◦ f = f ◦ g = Id y se define a g como g(y) = f −1 (y)
Definición 1.16. una relación binaria R en un conjunto A es un subconjunto R ⊆ A × A, una pareja (a, b) ∈ R
se denota aRb
Definición 1.17. Una relación binaria R en A es llamada relacion de equivalencia si :
1. ∀a ∈ A se tiene que aRa.(Reflexividad)
2. Si aRb, entonces bRa.(Simetria)
3. Si aRb y bRc, entonces aRc.(Transitividad)
Adicionalmente al conjunto Ra se le conoce com la clase de equivalencia de a, donde :
Ra = {x ∈ A|xRa}
Proposición 1.12. Sea R una relación de equivalencia en A.Entonces :

S
1. a∈A Ra = A.
2. Si aRb, entonces Ra = Rb.
3. Si (a, b) ∈
/ R, entonces Ra ∩ Rb = ∅
Observación 1.2. Sea A = {Aα |α ∈ A},definimos

[
R= Aα × Aα
α∈A
.Entonces R es una relación de equivalencia si y solo si A es una partición.
Definición 1.18. Sean A un conjunto y R un relacion de equivalencia en A.El conjunto cuyos elementos son las
R-clases de equivalencia denotado por A/Res conocido como el conjunto cociente de A sobre R: la función
pA : A → A/R dada por a → Ra es conocida como la proyección de A en A/R.
Definición 1.19. Sean A, B conjuntos y R, S relaciones de equivalencia en A, B respectivamente.Decimos que

una función f : A → B preserva las relaciones de equivalencia si aRa0 implica que f (a)Sf (a0 )
Teorema 1.7. Sean A, B conjuntos y R, S relaciones de equivalencia en A, B respectivamente y f : A → B

una función que preserva las relaciones de equivalencia. Entonces existe una y solo una f∗ : A/R → B/S tal
que el diagramaq conmuta
f
A →
− B
pA ↓ pB ↓
A/R −→ B/S
f∗
A f ∗ se le conoce como la función f pasada al cociente. De manera inversa para cualquier par de funciones
f, f∗ sobrte las que conmute el diagrama, necesariamente f preserva la relación de equivalencia y f∗ es la
inducida por f .
Proof. Sea una clase de equivalencia Aα = Ra , definimos f ∗ (Aα ) = Sf (a) . Debido a que f respeta las relaciones
de equivalencia si Rb = Aα , entonces aRb con lo cual f (a)Sf (b) y debido a esto la función esta bien definida.
1.7 Axiomas de Conjuntos

La Razon por la cual se introduce esta parte es por el siguiente problema:Idealmente nos gustaria tener asociado
con cada propiedad p un conjunto E(p), el hecho de que esto no se pueda se deb a la paradoja de Russel y a
la no existencia del conjunto de todos los conjuntos que no pertenecen a si mismos.Considerando la siguiente
propiedad
p(x) = (x es conjunto y x ∈ / x)
y asumiendo que esta propiedad genera un conjunto R(p). De esta forma el conjunto
R(p) ∈
/ R(p) ⇐⇒ R(p) ∈ R(p)
Con lo cual necesitamos una teoria consistente de cuando va a ser algo un conjunto.La idea basica de esta teoria
es que va ha haber 2 tipos de colecciones, clases y conjuntos.
Definición 1.20. Sean A, B dos clases,
A ⊆ B ⇐⇒ ∀x : x ∈ A ⇒ x ∈ B
A = B ⇐⇒ A ⊆ B ∧ B ⊆ A
lidad Axioma 1.1. (Individualidad)

(x ∈ A) ∧ (x = y) ⇒ (y ∈ A)
Definición 1.21. Una clase A es llamada conjunto si existe otra clase A tal que A ∈ A
1.7. AXIOMAS DE CONJUNTOS 13
acion Axioma 1.2. (de Formación de clases) Para cada propiedad p en la cual solo un conjunto de variables son
contadas y en los cuales la variable de clase A no aparece,existe una clase A cuyos miembros son los conjuntos
con esa propiedad p; en simbolos
(x ∈ A) ⇔ (x es conjunto) ∧ p(x)
formacion
De lo anterior la clase de Russel R(p) no es un conjunto. Del Axioma 1.2 las operaciones booleanas A∩B =
{x|x ∈ A ∧ x ∈ B} y A ∪ B = {x|x ∈ A ∨ x ∈ B}, asi como el producto cartesiano A × B, la clase universal
también es clase {x|x es conjunto ∧ x = x} y tambien la clase vacia ∅ = {x|x es conjunto ∧ x 6= x}
Axioma 1.3. La clase vacia ∅ es un conjunto.
ridad Axioma 1.4. (de paridad) Si A, B son dos conjuntos distintos, entonces A = {x = A ∨ x = B} es un conjunto.
Denotado por {A,B}
Union Axioma 1.5. (de Union) Si {Aα |α ∈ A} una familia de conjuntos (incluyendo A debe ser un conjunto), entonces
S
α∈A Aα = {x|∃α ∈ A : x ∈ Aα } es un conjunto.
Axioma 1.6. (de Remplazo) Si A es un conjunto y si f : A → A una función , entonces f (A) es un conjunto.
Axioma 1.7. ( de Inspeccion) Si A es un conjunto, entonces para cualquier clase A, se tiene que A ∩ A es un
conjunto.
Proposición 1.13. Si Aes un conjunto y p una propiedad definida sobre un conjunto de variables como cuantifi-
cador.Entoces {x ∈ A|p(x)} es un conjunto.
Proof. Recordamos que A(p) es una clase y asi
{x ∈ A|p(x)} = A ∩ A
Definición 1.22. Sea A una clase, definimos la clase potencia ℘(A) de A como :
℘(A) = {B|(B es un conjunto ) ∧ (B ⊆ A)}
Axioma 1.8. Si A es un conjunto ℘(A) es un conjunto

T
Proposición 1.14. Sea {Aα |α ∈ A} una familia de conjuntos, entonces {Aα |α ∈ A} es un conjunto.
AUnion S
Proof. De acuerdo al Axioma 1.5 S = {Aα |α ∈ A} es un conjunto, considerando la siguiente propiedad
p(x) = [∀α ∈ A : x ∈ Aα ] que solo considera un conjunto de variables α llamado A. Por lo tanto
\
{Aα |α ∈ A} = S ∩ A(p) = {x ∈ S|p(x)}
Es un conjunto.
Proposición 1.15. Si A es un conjunto, entonces {A} tambien lo es.
Proof. Consideramos que como ∅ es un conjunto, su conjunto potencia también lo es, es decir {∅} y de esta
Paridad
manera debido al Axioma 1.4 tenemos que {A, ∅} es un conjunto. Por otro lado consideramos la propiedad
p(x) = (x = A), y de esta manera tenemos que {A} = {A, ∅} ∩ A(p) que es un conjunto.
Proposición 1.16. El producto cartesiano de 2 conjuntos es un conjunto.
Proof. Sean A, B conjuntos, la idea es considerar para cada a0 ∈ A fa0 : B → A × B, de manera que f (b) =
(a0 , b), de esta manera {{a0 } × B|a0 ∈ A} es una familia de conjuntos, de esta manera
[
A×B = {{a0 } × B|a0 ∈ A}
es un conjunto.
Proposición 1.17. La clase de funciones entre dos conjuntos es un conjunto.
Proof. Consideramos A × B que por lo anterior es un conjunto, y tambien sabemos que por el axioma del
conjutno potencia ℘(A × B) es un conjunto y asi definiendo la propiedad m como la propiedad de ser función,
tenemos que
{f : A → B|f es función} = {f ∈ ℘(A × B)|m(f )}
Es un conjunto.
Proposición 1.18. La clase de todos los conjuntos no es un conjunto.
Proof. Consideramos la clase de Russell R(p), si la clase A de todods los conjuntos fuera un conjunto, tendri-
amos que A ∩ R(p) seria también un conjunto, sin embargo tenemos que
A ∩ R(p) = {x|(xes un conjunto) ∧ (x ∈

/ x)} = R(p)
lo cual sabemos que no es un conjunto, por otro lado el hecho de que A sea un conjunto nos dice que A ∩ R(p)
es un conjunto.
Axioma 1.9. (Axioma de fundación) En cada conjunto no vacio A existe u ∈ A tal que u ∩ A = ∅
Proposición 1.19. 1. Un conjunto no vacio no puede ser miembro de si mismo.
2. Si A, B son conjuntos no vacios, no es posible que A ∈ B, B ∈ A simultaneamente sean verdad.
Proof. Si asumimos que A ∈ A esto nos dice que {A} es un conjunto, como consecuencia no existe un elemento
u ∈ {A} tal que u∩{A} = ∅.lo cual contradice el axioma de fundación Para la segunda consideramos el conjunto
{A, B} el cual nos da el mismo con el mismo razonamiento una contradiccion al axioma de fundación: Si
A ∈ B, B ∈ A y consideramos el conjunto {A, B}, por un lado B ∈ A∩{A, B} y por otro lado A ∈ B ∩{A, B}
lo cual contradice el axioma de fundación.
nidad Axioma 1.10. (Axioma de Infinidad) Existe un conjunto A que cumple las propiedades :
1.8. PRODUCTO CARTESIANO GENERAL 15
1. ∅ ∈ A
2. Si a ∈ A, entonces a ∪ {a} ∈ A
Proposición 1.20. La clase de los enteros no-negativos es un conjunto.

infinidad
Proof. Sea A un conjunto que tiene las propiedades listadas en el Axioma 1.10, sea B ⊆ ℘(A) definido por
infinidad
B = {B ∈ ℘(A)|Btiene las propiedades del Axioma 1.10}, cada B ∈ B es un conjunto y ademas por lo
T
axiomas anteriores B tambien es un conjunto; además N = {B|B ∈ B}es un conjunto.Ahora dado x ∈ N
llamamos a x ∪ {x} ∈ N como el sucesor de x y con esto se puede ver que N es un conjunto que satisface
los axiomas de peano y es un conjunto sin subconjuntos propios que satisfagan esto, por lo tanto este conjunto
puede ser visto como los enteros no-negativos.
ccion Axioma 1.11. (Axioma de Elección) Dada una familia {Aα |α ∈ A} de conjuntos no vacios ajenos por pares,
entonces existe un conjunto S que consiste exactamente de un elemento de cada Aα
1.8 Producto cartesiano General

Q
Definición 1.23. Sea {Aα |α ∈ A} una familia de conjuntos.El producto cartesiano α∈A Aα se define como
sigue :
Y
Aα = {c : A → ∪α∈A Aα |c(α) ∈ Aα ∀α ∈ A}
α∈A
Q
Tambien definimos al operador pβ : α∈A Aα → Aβ como
pβ (c) = c(β)
Teorema 1.8. Las siguientes propiedades son equivalentes:

Q
1. Si {Aα |α ∈ A} es una familia no vacia de conjuntos no vacios,entonces α∈A Aα 6= ∅
2. El axioma de elección.
3. Si {Aα |α ∈ A} es una familia no vacia de conjuntos no vacios, entonces existe una función c : A →
∪α∈A Aα tal que c(α) ∈ Aα ∀α ∈ A, c es llamada una función de elección.
Proof. (1) ⇒ (2)
Q Q
Como α∈A Aα 6= ∅, exhibimos c ∈ α∈A Aα , entonces S = c(A) satisface el axioma de elección.
(2) ⇒ (3)
Para cada α ∈ A, sea A0α = {α} × Aα ; cada A0α es no vacio y la familia (A0α )α∈A es ajena por pares,por
el axioma de elección existe una familia S con un elemento (α, xα ) exactamente de cada conjunto A0α .Como
!
[ [ [
S⊂ ({α} × Aα ) ⊂ (A × Aα ) = A × Aα
α∈A α∈A α∈A
S
Entonces S es una función S : A → α∈A Aα con la hipotesis necesaria para ser una funcion de elección
(3) ⇒ (1)
S Q
Consideramos c : A → α∈A Aα una funcion de elección, entonces c ∈ α∈A Aα
Q
Teorema 1.9. Sea {Aα |α ∈ A} una familia de conjuntos no vacios, sea B ⊆ A, definimos P : {Aα |α ∈
Q Q
A} → {Aα |α ∈ B} por P (c) = c|B .Entonces P es sobre y cada proyección pβ : {Aα |α ∈ A} → Aβ
tambien lo es.
Q
Proof. Sea f ∈ {Aα |α ∈ B}, encontramos por el teorema anterior una función de elección c : A \ B →
S Q
{Aα |α ∈ A \ B}. Definimos c ∈ {Aα |α ∈ A} como sigue c|B = f, c|A\B = c y cumple que P (c) = c|B =
f
Q Q
Corolario 1.2. Si Aα ⊆ Bα ∀α ∈ A, entonces α∈A Aα ⊆ α∈A Bα . Conversamente si cada Aα 6= ∅ y
Q Q
α∈A A α ⊆ α∈A Bα , entonces Aα ⊆ Bα ∀α ∈ A
Q
Proof. Sea x ∈ α∈A Aα , de esta forma x(α) ∈ Aα ∀α, debido a la hipótesis de la contención x(α) ∈
Q
Bα ∀α y de esta forma x ∈ α∈A Aα .Para la segunda observamos que pβ es sobreyectiva.Entonces
! !
Y Y
Aβ = pβ Aα ⊆ pβ Bα = Bβ
α∈A α∈A
Teorema 1.10. Sea {Yα |α ∈ A} conjuntos no vacios, para cada α ∈ A, sean Aα , Bα ⊂ Yα .Entonces:
1.
Y \Y Y
Aα Bα = (Aα ∩ Bα )
2.
Y [Y Y
Aα Bα ⊆ (Aα ∪ Bα )
Q TQ Q Q
Proof. Sea f ∈ α∈A Aα α∈A Bα , de esta manera f ∈ α∈A Aα y f ∈ Bα , se sigue que f (α) ∈ Aα
Qα∈A
y f (α) ∈ Bα ∀α ∈ A, de aqui sigue que f (α) ∈ Aα ∩ Bα ∀α ∈ A y asi f ∈ α∈A (Aα ∩ Bα ).
Q
Si f ∈ α∈A (Aα ∩ Bα ), tenemos que f (α) ∈ Aα ∩ Bα ∀α ∈ A, con lo cual f (α) ∈ Aα y f (α) ∈ Bα
Q Q Q TQ
∀α ∈ A, entonces f ∈ α∈A Aα y f ∈ α∈A Bα y por lo tanto f ∈ α∈A Aα α∈A Bα .
1.8. PRODUCTO CARTESIANO GENERAL 17
Q SQ Q Q
Para el segundo inciso; Sea f ∈ α∈A Aα α∈A Bα , de esta manera f ∈ α∈A Aα o f ∈ α∈A Bα , se
sigue que f (α) ∈ Aα ∀α ∈ A o f (α) ∈ Bα ∀α ∈ A y por lo tanto f (α) ∈ Aα o f (α) ∈ Bα ∀α ∈ A, de aqui
Q
sigue que f (α) ∈ Aα ∪ Bα ∀α ∈ A y asi f ∈ α∈A (Aα ∪ Bα ).
Nosotros haremos un conveniente cambio de notación:

n
\
hAα1 , · · · , Aαn i = p−1
αi (Aαi )
i=1
Q
Corolario 1.3. En {Yα |α ∈ A} se tiene que :
Q T
1. {Cα |α ∈ A} = α∈A hCα i
2. C (hCα i) = hC (Cα )i
Q S
3. C α∈A Cα = α∈A hC (Cα )i
Proof.
Q
f∈ {Cα |α ∈ A}
⇐⇒
f (α) ∈ Cα ∀α ∈ A
⇐⇒
f ∈ hCα i ∀α ∈ A
⇐⇒
T
f∈ α∈A hCα i
Para el segundo inciso, observamos que solo se trata de una imagen inversa por lo que es trivial que se cumple.
Para el tercer inciso es claro que usando el primero y el segundo el tercero se sigue.
Proposición 1.21. Sea {Aα |α ∈ A} una familia de conjuntos, y asumimos que {Aα |λ ∈ L} es una partición
Q
en conjuntos no vacios.Sea T = {Aλ |λ ∈ L}.Entonces
\ h[ i [ h\ i
{Aα |α ∈ Aλ } = {At(λ) |λ ∈ L}
λ∈L t∈T
Proof.
S T T
x∈ t∈T {At(λ) |λ ∈ L} ⇐⇒ ∃t ∈ T : x ∈ {At(λ) |λ ∈ L}
⇐⇒ ∃t ∈ T ∀λ ∈ L : x ∈ At(λ)
=⇒ ∀λ ∈ L∃α ∈ Aλ : x ∈ Aα
S
⇐⇒ ∀λ ∈ L : x ∈ α∈Aλ Aα
T S
⇐⇒ x ∈ λ∈L [ {Aα |α ∈ Aλ }]
Para el tercer renglon observamos que para cada λ existe α = t(λ).
Para terminar la prueba basta probar la implicación opuesta en el tercer renglon.
Sabeos que ∀λ ∈ L∃α ∈ Aλ : x ∈ Aα , con esto observamos que el conjunto
Bλ = {α ∈ Aλ |x ∈ Aα } =
6 ∅
Bλ ⊆ Bλ ⊆ T tal que
Q Q Q
para cada λ ∈ L, entonces existe t ∈ λ∈L λ∈L Aλ , de esta manera existe t ∈ λ∈L
∀λ ∈ L se tiene que x ∈ At(λ)
Chapter 2
Ordinales y Cardinales
2.1 Relaciones de Orden

Definición 2.1. Una relación binaria R en un conjunto Aes llamada un preorden, si esta es reflexiva y transitiva;
es decir :
1. ∀a ∈ A se tiene que aRa.
2. (aRb) ∧ (bRc) ⇒ aRc
A la pareja (A, R) se le conoce como un conjunto preordenado además se le denota comunmente (A, ≺)
Definición 2.2. Sea (A, ≺) un conjunto preordenado.
1. m ∈ A es llamado un elemento maximal en A si ∀a ∈ A, m ≺ a ⇒ a ≺ m; o que es lo mismo no existen

a ∈ A que sigan de m o en caso de existir también preceden a m.
2. a0 ∈ A es llamada cota superior de B ⊆ A si ∀b ∈ B b ≺ a0
3. B ⊂ A es llamada una cadena si cualesquiera dos elementos en B estan relacionados.
Definición 2.3. Sea (A, ≺) un conjunto preordenado con una propiedad adicional
(a ≺ b) ∧ (b ≺ a) ⇒ (a = b) (Antisimetria)
es llamado un orden parcial.Un conjunto con un orden parcial definido es llamado un conjunto parcialmente
ordenado. un conjunto ordenado que tambien es una cadena es llamado un conjunto totalmente ordenado.
Ejemplo 2.1. Sea (A, ≺) un conjunto preordenado.Definimos S como aSb ⇔ a ≺ b ∧ b ≺ a
Af! S es una relación de equivalencia.
1. a ≺ a∀a ∈ A entonces aSa∀a ∈ A
2. Si aSb entonces a ≺ b ∧ b ≺ a, entonces b ≺ a ∧ a ≺ b, entonces bSa
3. Si aSb, bSc entonces a ≺ b ∧ b ≺ a y c ≺ b ∧ b ≺ c, por transitividad tenemos que c ≺ a ∧ a ≺ c ⇒ aSc
19
20 CHAPTER 2. ORDINALES Y CARDINALES
Definimos un orden parcial en A/S un preorden.
Sa ≺ Sb si y solo si a ≺ b
1. Sabemos que a ≺ a ∀a ∈ A, entonces Sa ≺ Sa.
2. Si Sa ≺ Sb y Sb ≺ Sc, entonces a ≺ b y b ≺ c de esta manera a ≺ c, como consecuencia Sa ≺ Sc
En adicion si Sa ≺ Sb y Sb ≺ Sa, entonces a ≺ b y b ≺ a, entonces aSb y de esta manera Sa = Sb Por lo tanto

(A/S, ≺S ) e sun conjunto parcialmente ordenado.
Definición 2.4. Un conjunto parcialmente ordenado W es llamado bien ordenado o un ordinal si cada subcon-
junto B ⊂ W tiene un primer elemento; es decir , para cada B 6= ∅, existe b0 ∈ B tal que b0 ≺ b∀b ∈ B
Proposición 2.1. Cualquier conjunto bien ordenado es totalmente ordenado.
Proof. Sea B un conjunto bien ordenado. Es claro de ver que si a, b ∈ B tenemos que {a, b} es bien ordenado
de tal forma que ambos estan relacionados.
2.2 Lema de Zorn,Teorema de Zermelo.

rmelo Teorema 2.1. Los siguientes son equivalentes:
ccion 1. El axioma de elección.
Zorn 2. Lema de Zorn: Sea X un conjunto preordenado. Si cada cadena en X tiene cota superior, entonces X
tiene al menos un elemento maximal.
rmelo 3. Teorema de Zermelo(Principio del Buen orden): Todo conjunto puede ser bien ordenado.
Por ahora estudiaremos un concepto auxiliar para probar dicho teorema.
Definición 2.5. Sea X un conjunto, F ⊆ ℘(X) una familia no vacı́a de conjuntos, y sea ϕ : F → X una función
fija.La familia F es llamada una ϕ-torre siempre que :
1. ∅ ∈ F.
2. Si {Aα |α ∈ A} cualquier familia totalmente ordenada (por inclusión) de conjuntos en F, entonces

S
α∈A Aα ∈ F
3. Si A ∈ F,entonces A ∪ {ϕ(A)} ∈ F
T
Observación 2.1. Si {Fβ |β ∈ B} es una familia de ϕ-torres, entonces β∈B Fβ es una ϕ-torre minimal.
Lema 2.1. Si F es una ϕ-torre, entonces ∃A ∈ F tal que ϕ(A) ∈ A.

2.2. LEMA DE ZORN,TEOREMA DE ZERMELO. 21
Proof. Sea µ ⊆ F una ϕ-torre minimal.Deseamos demostrar que µ es totalmente ordenada. Definimos
[
A= {M|M ∈ µ}
Es claro que por las propiedades de ϕ-torre y una consecuencia de que fuera totalmente ordenada A ∈ µ y
además A ∪ ϕ(A) ∈ µ, con lo cual A ∪ {ϕ(A)} ⊆ A y de esta manera ocurrirı́a que ϕ(A) ∈ A.
Introduciremos un pequeño concepto auxiliar en la demostración. Decimos que M ∈ µ es medial si y solo si :
∀Mα ∈ µ se tiene que Mα ⊆ M ó M ⊆ Mα
Mostraremos que cada M ∈ µ es medial .
I.-Sea M ∈ µ medial, entonces
∀Mα ∈ µ se tiene que Mα ⊆ M ó M ∪ {ϕ(M )} ⊆ Mα
Demostración(de I): Sea

GM = {Mα ∈ µ|Mα ⊆ M ó M ∪ {ϕ(M )} ⊆ Mα }
Probaremos que GM = µ y para esto es suficiente probar que GM es una ϕ-torre,esto debido a la minimalidad de
µ y el hecho de que GM ⊆ µ.
a)∅ ∈ GM pues ∅ ⊆ M
b)Sea {Mα |α ∈ A} una cadena en GM .
Como Mα ∈ GM hay 2 casos : i) ∃α ∈ A tal que M ∪ {ϕ(M )} ⊆ Mα . ii) ∀α ∈ A se tiene que Mα ⊆ M . Caso
S
i) M ∪ {ϕ(M )} ⊆ Mα ⊆ α Mα Caso i)Como ∀α ∈ A se tiene que Mα ⊆ M , entonces
[
Mα ⊆ M
α
S
En cualquiera de los casos α Mα ∈ GM .
c) Mα ∈ GM .Queremos probar que Mα ∪ {ϕ(Mα )} ⊆ M ó M ∪ {ϕ(M )} ⊆ Mα ∪ {ϕ(Mα )}.
Como Mα ∈ GM , entonces hay 2 casos : i)M ∪ ϕ(M ) ⊆ Mα .
ii)Mα ⊆ M .
Caso i)
M ∪ {ϕ(M )} ⊆ Mα ⊆ Mα ∪ {ϕ(Mα )}
Caso ii)
Mα ⊆ M .
Como M es medial y Mα ∪ {ϕ(Mα )} ∈ µ.En adición tenemos Mα ∪ {ϕ(Mα )} ⊆ M ó M ⊆ Mα ∪ {ϕ(Mα )}.
Para el primer caso tenemos que Mα ∪ {ϕ(Mα )} ∈ GM .
Por otro lado(segundo caso) si M ⊆ Mα ∪ {ϕ(Mα )}, con lo cual
Mα ⊆ M ⊆ Mα ∪ {ϕ(Mα )}
Como ϕ(M ) es solo un punto, las opciones solo son 2:
M = Mα ó M = Mα ∪ {ϕ(Mα )}
Si M = Mα , tenemos que M ∪ {ϕ(M )} = Mα ∪ ϕ(Mα ), y en el otro caso M = Mα ∪ ϕ(Mα ); es decir para

ambos casos tenemos que Mα ∪ ϕ(Mα ) ∈ GM .
De lo anterior se deduce que GM es ϕ-torre y ademas que GM ⊆ µ como consecuencia de la minimalidad

obtenemos que GM = µ
II.- Cada M ∈ µ es medial. Demostracion:(II) Definimos
G = {M ∈ µ|M es medial }
a) ∅ ∈ G.
b)Sea {Mα |α ∈ A} una cadena en G.
Si M ∈ µ y cada Mα es medial para cada α, obtenemos dos posibles resultados
1. ∀α ∈ A, Mα ⊆ M
2. ∃α ∈ A, tal que M ⊆ Mα
Para el primer caso obetenemos que

[
Mα ⊆ M
α∈A
Para el segundo
[
M ⊆ Mα ⊆ Mα
α∈A
S
Por lo tanto α∈A Mα ∈ G c) Sea M ∈ G, debemos mostrar que M ∪ ϕ(M ) es medial.
2.2. LEMA DE ZORN,TEOREMA DE ZERMELO. 23
Sea Mα ∈ µ.Como M es medial por I
Mα ⊆ M ⊆ M ∪ ϕ(M ) ó M ∪ ϕ(M ) ⊆ Mα
Por lo tanto M ∪ ϕ(M ) es medial y asi G ⊆ µ es una ϕ-torre. Por lo tanto G = µ Y concluimos que µ es bien
ordenado.
Zorn-Zermelo
Proof. (Demostracion de Teorema 2.1)
Eleccion
Zorn
1⇒2 Sea F el conjunto de todas las cadenas en X; para cada elemento no vacio A ∈ F, consideramos aA
la cota superior y definimos TA = {x ∈ X|(aA ≤ x) ∧ ¬(x ≤ aA )}.Para probar 2 es suficiente mostrar que
algún TA = ∅.Argumentaremos esto usando reduccion al absurdo, supongamos que TA 6= ∅ usando el axioma
S
de eleccion tenemos que existe una funcion de eleccion c : F → {TA |A ∈ F}, con c(A) ∈ TA para cada
A.Definimos c(∅) = x0 arbitrariamente, probaremos que F 0 = F ∪ {∅} es una c-torre (a) ∅ ∈ F 0 es claro por
definicion.
(b) Consideremos una cadena por inclusion en F 0 , llamemosla {Aα |α ∈ A} por la definicion de F basta ver
S
que {Aα |α ∈ A} es una cadena y pues es claro por que la comparacion se hace 2 a 2 para ver que es una
S
cadena, tomamos x, y ∈ {Aα |α ∈ A} y como F e suna cadena por inclusion obtenemos que x, y pertenecen
a un mismo elemento de la union que es por si mismo una cadena, con lo cual x ≤ y o y ≤ x, con lo cual
{Aα |α ∈ A} es una cadena y además {Aα |α ∈ A} ∈ F 0 .
S S
(c) Sea A ∈ F 0 como por definicion c(A) ∈ TA , por la definición de TA aA ≤ c(A) y de esta manera
a ≤ aA ≤ c(A) para toda a ∈ A entonces A ∪ {c(A)} ∈ F 0 . Lo cual prueba que F 0 es una c-torre Apli-
cando el lema anterior tenemos que existe un A ∈ F 0 que cumple con c(A) ∈ A, debido a esto c(A) ≤ aA lo
cual es una contradicción por la manera en que esta definido TA y el hecho de que c(A) ∈ TA , de esta manera
TA = ∅ para alguna A ∈ F 0 esto implica que para dicho A aA es un elemento maximal en X.
Zorn
Zermelo
2⇒3
Consideremos un conjunto de manera arbitraria E. Consideramos el siguiente conjunto de parejas ordenadas
F = {(A, ≺A )|A ⊂ E y ≺A ≺ es un buen orden para A}
Observamos que F es un conjunto no vacio.
Preordenamos a F por propagación, definiendo

(A, ≺A ) ≺ (B, ≺B ):
1. A ⊆ B
2. ≺B induce ≺A en A
3. y ∈ B \ A ∧ x ∈ A ⇒ x ≺B y
Es fácil ver que de hecho es un (F, ≺) es un orden parcial.
S
Sea {(Aα , ≺α )|α ∈ A} una cadena, consideramos {(Aα , ≺α )|α ∈ A} y le definimos un buen orden
S
≺U ,como sigue: para cualesquiera a, b ∈ {(Aα , ≺α )|α ∈ A} sabemos que existe Aα tal que a, b ∈ Aα , esto
último se debe a que a ∈ Aα1 , b ∈ Aα2 , entonces sin perdida de generalidad Aα1 ⊆ Aα2 , entonces α1 = α.
En este caso definimos a ≺U b si y solo si a ≺α b, por la manera en que definimos el orden en F es claro
que esta bien definido el orden y es un buen orden, con lo cual es una cota superior para nuestra cadena pues es
un conjunto que cumple con estar en F y por ello (F, ≺) cumple las hipotesis del lema de zorn, usamos lema
de zorn ya que es valido por hipotesis (F, ≺) tiene un elemento maximal (F0 , ≺0 ) con lo cual basta ver que
F0 = E y haciendo esto vemos que E es bien ordenado. Supongamos que F0 6= E con esto existe un punto
x ∈ E ∧ x0 ∈ / F0 , definimos f ≺F0 ∪{x0 } x0 para todo f ∈ F0 y definimos f ≺F0 ∪{x0 } g si y solo si f ≺F0 g con
lo cual vemos que (F0 , ≺F0 ) ≺ (F0 ∪ {x0 }, ≺F0 ∪{x0 } ) lo cual rompe con el hecho de que F0 es maximal.Por lo
tanto F0 = E y asi E es bien ordenado.
Zermelo
Eleccion
3⇒1
Consideramos una familia de conjuntos {Aα |α ∈ A}, ahora usando el principio del buen orden ordenamos
S
{Aα |α ∈ A} consideramos c(α) el primer elemento de Aα .Es claro que c es una funcion de eleccion.
2.3 Ordinales
Definición 2.6. Sea W un conjunto bien ordenado
1. S ⊆ W es un ideal si x ∈ S ∧ y ≺ x ⇒ y ∈ S
2. Para cada a ∈ A definimos el intervalo inicial determinado por a como:
W (a) = {x ∈ W |x ≺ a ∧ x 6= a}
Claramente ∅, W son ideales,sin embargo ∅ es un intervalo inicial sin embargo W no
Proposición 2.2. 1. Cada interseccion y union de ideales en W es un ideal en W .
2. Sean I(W ), J (W ) el conjunto de ideales e intervalos iniciales respectivamente.Se tiene que I(W ) =
J (W ) ∪ {W }
T
Proof. Sea (Sα )αinA una familia de ideales. Consideramos x ∈ α∈A Sα y y ≺ x entonces x ∈ Sα ∀α ∈ A,
T T
como cada Sα es un ideal se tiene que y ∈ Sα ∀α ∈ A, de esta manera y ∈ α∈A Sα asi α∈A Sα es un ideal.
La primera contencion es obvia. Por otro lado sea S un ideal distinto del total, sea a el primer elemento de
2.3. ORDINALES 25
W \ S, sea x ∈ W (a) como a es el primer elemento del complemento de S entonces x ≺ a implica que x ∈ S.
x∈
/ W (a) si y solo si a ≺ x de esta manera x ∈
/ S pues de lo contrario a estaria en S.
Definición 2.7. Una funcion entre 2 ordinales es un monomorfismo si es una funcion inyectiva que preserva el
orden entre ambos ()en notacion o lenguaje de R se le conoce como función estrictamente creciente.Si esta es
biyectiva se le llama isomorfismo.
Teorema 2.2. 1. El conjunto I(W ) de los ideales esta bien ordenado por la inculsi ón.
2. La funci ón a → W (a) es un isomorfismo de W a J(W )
Proof. El primer inciso es consecuencia del segundo.

Para probar el segundo es claro ver que a ≺ b entonces W (a) ⊆ W (b). Si a 6= b tenemos que a ∈ W (b) pero no
en W (a), con lo cual nuestra funcion es un isomorfismo.
Ideal Teorema 2.3. Sea W un conjunto bien ordenado,y Σ ⊆ I(W ) cualquier familia con las siguientes propiedades:
1. Cada union de miembros de Σ pertenece a Σ
2. Si W (a) ∈ Σ, entonces también W (a) ∪ {a} ∈ Σ
Entonces Σ = I(W ) y en particular W ∈ Σ
Proof. Primero supongamos que la proposición es falsa, es decir que Σ 6= I(W ), con esto I(W ) \ Σ es un con-
junto de ideales no vació. Por la proposición anterior podemos elegir un ideal inicial S de nuestro subconjunto
de ideales I(W ) \ Σ, en este ideal pueden ocurrir 2 cosas; la primera que tenga ultimo elemento y la segunda
que no tenga este último.
1. En caso de tener último elemento llamemosle a a este podemos observar que W (a) ∪ {a} = S y de esta
manera W (a) ⊆ S, por esta razón y como S es el mas pequeño fuera de Σ W (a) ∈ Σ y por la segunda
propiedad W (a) ∪ {a} = S ∈ Σ lo cual contradice la definición de S
2. En caso de no tener un elemento final podemos ver a S como la union de todos los intervalos iniciales
W (a) ⊆ S:
[
S = {W (a)|W (a) ⊆ S}
es clara la segunda contención, la primera es consecuencia de que si tomas un elemento c en S es forzoso

que haya elementos mas grandes en S por ejemplo b c y de esta manera W (b) ⊆ S por ser ideal S y
b ∈ S, con esto c ∈ {W (a)|W (a) ⊆ S} y como todos esos intervalos iniciales son subconjuntos propios
por no tener elemento final S se tiene que cada intervalo pertenece a Σ y por la primera propiedad S ∈ Σ
con lo cual contradice la definición de S y de esta forma Σ = I(W ).
2.4 Comparabilidad de ordinales

Lema 2.2. Sean W, X conjuntos bien ordenados, una función ϕ : W → X es un isomorfismo en un ideal
de X.Entonces cualquier monomorfismo f : W → Xdebe satisfacer la condicion :∀ω ∈ ϕ(ω) ≺ f (ω).En
particular puede haber a lo mas un isomorfismo entre cada par de ideales de W y X.
Proof. Nosotros vamos a mostrar que :
S = {ω ∈ W |(f (ω) ≺ ϕ(ω)) ∧ (f (ω) 6= ϕ(ω))} =

6 ∅
implica que ϕ(W ) no es un ideal. Consideramos el elemento inicial ω0 de S.ϕ no puede tomar el valor de
f (ω0 ) siendo que f (ω0 ) ≺ ϕ(ω0 ) y f (ω0 ) 6= ϕ(ω0 ), para ver esto veamos que si ω ≺ ω0 se cumple que
f (ω0 ) f (ω) ϕ(ω) por ser ω0 el primer elemento de S y f un monomorfismo. Por otro lado si ω ω0 ,
tenemos que f (ω0 ) ≺ ϕ(ω0 ) ≺ ϕ(ω), por lo que f (ω0 ) ≺ ϕ(ω0 ) y f (ω0 ) ∈
/ ϕ(W ), por lo cual contradice que
sea ϕ(W ) un ideal.Si se tiene que los 2 fueran isomorfismos, tendriamos que la desigualdad se da enn ambos
sentidos por lo cual es el mismo isomorfismo, para verlo en caso de ideales consideramos al ideal como un
conjunto bien ordenado y asi queda la prueba, pues nos quedaria a lo mas un monomorfismo que sale de un ideal
de W a X.
Teorema 2.4. Sea W y X conjuntos bien ordenados.Entonces uno y solo uno de los siguientes se cumple:
1iso 1. Hay un único isomorfismo de W en X.
2iso 2. Hay un único ismorfismo de W en un intervalo inicial de X
3iso 3. Hay un único isomorfismo de X a un intervalo inicial de W

1iso
2iso 1iso
3iso 2iso
3iso
Proof. 1 y 2 tanto como 1 y 3 contradicen el lema si se cumple simultanea alguna de las 2.Si ocurriera que 2 y 3
si ambas funciones existen f : X → W (ω0 ) g : W → X(x0 ) componiendolas encontramos f ◦ g : W → W (ω0 )
un monomorfismo que cumple que f ◦ g(ω0 ) ≺ ω0 que contradice el lema pues la identidad es un isomorfismo
de W en si mismo y por ende cumple el lema.
Por otro lado consideramos el conjunto Σ de ideales de W para los cuales existen isomorfismo de en algún
CarIdeal S
ideal de X.Probaremos que se cumple la primer propiedad de 2.3: Consideramos α∈A Sα una union de el-
ementos de Σ, sea ϕα : Sα → X el isomorfismo correspondiente a un ideal de X, como la interseccion de
ideales es ideal y usando el lema anterior tenemos que ϕα |Sα ∩Sβ = ϕβ |Sα ∩Sβ entonces existe una unic fun-
S S
cion que extiende a todas a la union de sus dominios ϕ : α∈A Sα → α∈A ϕα (Sα ) la cual es claramente un
S S S
isomorfismo.Como α∈A Sα , α∈A ϕα (Sα ) son ideales α∈A Sα ∈ Σ.Si W ∈ Σ obtenemos el isomorfismo
CarIdeal
requerido.De otra si W ∈ / Σ por 2.3 existe Sα ∈ Σ tal que Sα = W (ω0 ) y W (ω0 ) ∪ {ω0 } ∈/ Σ de esta manera
tenemos que ϕα (Sα ) = X de otra manera ϕα (Sα ) = X(x0 ) y claramente este morfismo se puede extender a
todo W (ω0 ) ∪ {ω0 } lo cual contradiceria el hecho de que W (ω0 ) ∪ {ω0 } ∈
/ Σ.
Chapter 3
Espacios Topológicos
3.1 Definiciones Basicas

Definición 3.1. Sea X un conjunto decimos que τ es una topologia para X si:
1. X, ∅ ∈ τ
S
2. Siempre que (Ai )i∈A ⊂ τ , se tiene que i∈A Ai ∈ τ
T
3. Siempre que (Ai )i∈{1,··· ,n} ⊂ τ , se tiene que i∈{1,··· ,n} Ai ∈ τ
Definición 3.2. Le llamamos a la dupla (X, τ ) un espacio topológico si τ e sun topologia para X.
3.2 Bases para un topologia dada

Definición 3.3. Una base para un espacio topologico X se le conoce a un conjunto β contenido en τ , tal que
cualquier elemento en τ es union de β.
Teorema 3.1. Sea (X, τ ) un espacio topologico, β ⊆ τ es una base si y solo si ∀x ∈ X, x ∈ U con U ∈ τ , se
tiene que existe B ∈ β tal que x ∈ B ⊂ U .
Proposición 3.1. Sea (X, τ ) un espacio topologico, β ⊂ τ una base para τ .U ⊆ X esabierto si y solo si ∀x ∈ U
existe Bx tal que x ∈ Bx ⊆ U
3.3 Topologización de conjuntos

Teorema 3.2. Dada una familia de subconjuntos Σ = (Aα )α∈A de X un conjunto, siempre existe τ (Σ) una
única topologı́a la mas pequeña tal que τ (Σ) ⊃ Σ.La topologia se describe como todas las uniones de todas las
intersecciones finitas de elementos de Σ junto con el vacio y el total, a Σ se le llama subbase.
Proof. Claramente es cerrada bajo uniones arbitrarias, para ver que es cerrada bajo interssecciones basta ver
que al usar asociatividad obtenemos nuevamente un miembro de la topologı́a.Para ver que es la mas pequeña si
27
28 CHAPTER 3. ESPACIOS TOPOLÓGICOS
tomamos un miembro de la topologia respectiva, siempre sera algo asi ∪i∈I ∩j=1,...,n Ai,j de inmediato notamos
que este miembro esta en cualquier topolgia que contenga a Σ pues dicha es cerrada bajo intersecciones finitas
∩j=1,...,n Ai,j asi dicho elemento estaria en la topologia que contenga a Σ y uniones arbitrarias, de esta manera
este ultimo seria miembro de la misma topologı́a ∪i∈I ∩j=1,...,n Ai,j .
Teorema 3.3. Sea B = {Uµ |µ ∈ M} una familia conjuntos que cumple que para cada par de elementos Uµ , Uν
dentro de B y cada x ∈ Uµ ∩ Uν existe un elemento Ux ∈ B tal que x ∈ Ux ⊆ Uµ ∩ Uν .Entonces la familia de
todas las uniones de elementos en B junto con el vacio y el total es una topologia que tiene como base a B.
Proof. Solo basta probar que es cerrado bajo intersecciones finitas pero esto es inmediato pues basta hacerlo
S
para 2, con lo cual existe una familia de elementos {Ui |i ∈ I} de B tal que i∈I Ui = Uα ∩ Uµ , tomamos
para cada x ∈ Uα ∩ Uµ el elemento correspondiente de B que tiene a x y esta dentro de dicha interseccion y
lo llamamos Ux , luego es claro que la union de todos los Ux ’s esta metida en Uα ∩ Uµ y tambien es claro que
S
Uα ∩ Uµ ⊆ x∈Uα ∩Uµ Ux
Definición 3.4. Decimos que β, β 0 bases para una topologia, son equivalentes si ambas generan la misma topolo-
gia.
Teorema 3.4. Una condicion necesaria y suficiente para que las 2 bases sean equivalentes es que las siguientes
2 condiciones se cumplan simutaneamente.
1. Para cada U ∈ β, y cada x ∈ U , existe U 0 ∈ β 0 tal que x ∈ U 0 ⊆ U .
2. Para cada U 0 ∈ β 0 , y cada x ∈ U 0 , existe U ∈ β tal que x ∈ U ⊆ U 0 .
Se puede probar dividiendo en 2 casos y usando esta siguiente definición, decimos que τ, τ 0 dos topologı́as
para un conjunto X, τ es mas fina que τ 0 si τ 0 ⊆ τ , naturalmente por que esto podria parecerse al conceptor de
refinamiento, sin embargo también se puede asociar con una imagen y los pixeles,entre mas pixeles tengas de
mayor calidad se puede ver la imagen (como si esto hiciera mas fina la imagen o nitida).
Lema 3.1. Sean τ, τ 0 dos topologı́as con bases β, β 0 respectivamente, τ es mas fina que τ 0 si y solo si ∀B 0 ∈ β 0
y x ∈ B 0 existe B ∈ β tal que x ∈ B ⊂ B 0
Proof. La demostracion es clara debido a que τ 0 ⊂ τ es equivalente a que β 0 ⊆ τ y de una equivalencia de la

caracterizacion de los abiertos es evidente el resto de la prueba.
3.4 Conceptos elementales

Definición 3.5. Decimos que un conjuntos es cerrado si su complemento es abierto, es decir A es cerrado si
X \A∈τ
Proposición 3.2. 1. La union finita de cerrados es un cerrado.
2. Interseccion de cerrados es cerrado.

3.4. CONCEPTOS ELEMENTALES 29
Definición 3.6. Sea A ⊆ X.Un punto x ∈ A e sun punto de adherencia si para cada vecindad de x, dicha
vecindad intersecta a A.El conjunto de puntos de adherencia de A se le conoce como la cerradura de A yse
denota Ā.
Proposición 3.3. Sean X un espacio topologico y A ⊆ X, entonces

\
Ā = {F ⊆ X|F es cerrado y A ⊆ F }
Proof. Sea F ⊆ X F cerrado A ⊆ F ,consideramos x ∈ Ā, entonces toda vecindad de x intersecta a A, en

particular intersecta a F .Si x ∈
/ F , tendriamos que X \ F no intersecta a A pues esta contenido en X \ A, con
T
esto x ∈ F , por lo tanto x ∈ {F ⊆ X|F es cerrado y A ⊆ F }.
T
Por otro lado si x ∈ {F ⊆ X|F es cerrado y A ⊆ F } tenemos que de no intersectar una vecindad U de x a
A, obtendriamos un cerrado X \ U que contiene a A y no tiene a x con lo cual contradecimos el hecho de donde
tomamos x.Por lo tanto x ∈ Ā
Proposición 3.4. Sea X un espacio topológico, A ⊆ X
1. A ⊆ Ā
2. A es cerrado si y solo si A = Ā
Proof. De la proposición anterior se sigue el primer inciso. Para el segundo asumimos que A es cerrado, con lo
cual A es uno de los cerrados que contiene a el mismo, con lo cual es uno de los intersectandos de Ā, entonces
contiene a Ā con lo cual se da A = Ā.Para ver el regreso basta observar que la Ā e suna intersección de
cerrados.
Proposición 3.5. Sea X un espacio topologico y A, B ⊆ X, entonces :

A ⊂ B entonces Ā ⊆ B̄
Ā¯ = Ā lo que es que Ā es cerrado.
∅¯ = ∅
Proof. El primero es claro de ver que si F un cerrado contiene a B entonces F contiene a A con lo cual
{F ⊆ X|F es cerrado y B ⊆ F } ⊆ {F ⊆ X|F es cerrado y A ⊆ F }
con lo cual si intersectamos ambas familias la interseccion mas grande es la de menos miembros, es decir
\ \
{F ⊆ X|F es cerrado y B ⊆ F } ⊇ {F ⊆ X|F es cerrado y A ⊆ F }
El segundo y tercer inciso son claros.
Definición 3.7. Sea X un espacio topologico, sea A un conjunto

1. Decimos que x es un punto de acumulacion de A si cualquier vecindad de x contiene puntos de A difer-

entes de x(sin hacer referencia a que x es un punto de A pues para la definicion se hace incapie de que
esto no es necesario.)Al conjunto de punto de acumulacion de A se le conoce como la acumulacion o
aglomeración de A y se denota A0
2. Decimos que x es un punto de peso de A o un punto pesado en A si cualquier vecindad de x contiene una
cantidad infinita de puntos de A.Al conjunto de puntos de peso de A se le conoce como el conjunto de
peso de A y se denota w(A)
3. Decimos que x es un punto de condensación de A si cualquier vecindad de x contiene una cantidad no

numerable de puntos de A.Al conjunto de puntos de condensación de A se le conoce como el conjunto de
condensación de A y se denota C(A)
Proposición 3.6. Sea X un espacio topológico,A ⊆ X.Entonces Ā = A ∪ A0 .En particular A es cerrado si y

solo si contiene sus puntos de acumulación.
Definición 3.8. Sea A ⊆ X un subconjunto de un espacio topológico.Definimos el interior de A como el abierto

mas grande contenido en A.
[
Int(A) = {U |U es abierto y U ⊆ A}
Proposición 3.7. Int(A) = X \ X ¯\ A .En particular A es abierto si y solo si A = Int(A)

Proof. Considerando la definición

S
Int(A) = {U |U es abierto y U ⊆ A}
S
= {U |U es abierto y X \ U ⊇ X \ A}
S
= {X \ X \ U |U es abierto y X \ U ⊇ X \ A}
T
= X \ ( {F |F es cerrado y F ⊇ X \ A})
= X \ X ¯\ A

Definición 3.9. Sea A un conjunto en un espacion topologico.Definimos la frontera de A como F r(A) = Ā ∩

X ¯\ A
Proposición 3.8. Sea A ⊂ X.Entonces :
1. F r(A) = Ā \ Int(A)
2. F r(A) ∩ Int(A) = ∅
3.5. TOPOLOGIZANDO Y OPERACIONES ELEMENTALES PREASIGNADAS 31
3. Ā = Int(A) ] F r(A)
4. X = Int(A) ] F r(A) ] Int(X \ A)
La proposicion es clara notando que x ∈ Int(A) si y solo si existe un abierto Ux metido en A tal que x ∈ Ux .
Lo cual viene como consecuencia de la definicion de interior como union de abiertos contenidos en el conjunto.
Definición 3.10. Sea D ⊆ X un conjunto. Decimos que es denso si D̄ = X
Proposición 3.9. Las siguientes son equivalentes :
1. D es denso en X
2. Si F es un cerrado que cumple que D ⊂ F ,entonces F = X.
3. Cada abierto basico de X tiene al menos un punto de D.
4. El complemento de D tiene interior vacio.
La prueba de esta también es bastanate clara y se deja como ejercicio para el lector.
3.5 Topologizando y operaciones elementales preasignadas

Teorema 3.5. Sea X un conjunto, y u : ℘(X) → ℘(X) una función con las propiedades:
1. u(∅) = ∅.
2. A ⊆ u(A) para cada A ⊆ X.
3. u ◦ u(A) = u(A) para cada A ⊆ X.
4. u(A ∪ B) = u(A) ∪ u(B) para cada A, B ⊆ X.
Entonces la familia
τ = {X \ u(A)|A ⊆ X}
es una topologia y cumple que u(A) = Ā
Proof. Primero ya tenemos resuelto ∅, X ∈ τ , pues X ⊂ u(X) con lo que X = u(X).
Es claro que´por induccion y leyes de Demorgan la familia es cerrada bajo interseccciones finitas.
Como sabemos que A ∪ B = B si y solo si A ⊂ B, por lo que la cuarta propiedad nos arroja que si A ⊆ B,
tenemos que A ∪ B = B, de esta manera u(A) ∪ u(B) = u(B), con lo que u(A) ⊆ u(B).Para ver por fin
que la familia es cerrada bajo uniones arbitrarias consideramos una de estas,sea (Ai )i∈I ⊆ τ y asi llamemosle
S
A = i∈I Ai .le aplicamos u a X \ A, con lo cual tenemos u(X \ A),observamos que como Ai ⊆ A tenemos que
T T
u(X \ A) ⊆ u(X \ Ai ), con lo cual u(X \ A) ⊆ i∈I u(X \ Ai ). Por otro lado i∈I X \ Ai ⊆ u(X \ A), sin
T T
embargo cada Ai es complemento de u(Si ), i∈I u(Si ) = i∈I X \ Ai ⊆ u(X \ A), usando lo anterior tenemos
que
T
u(X \ A) ⊆ i∈I u(X \ Ai )
T
= i∈I u(X \ X \ u(Si ))
T
= i∈I u(u(Si ))
T
= i∈I u(Si )
T
Con lo cual u(X \ A) = i∈I u(Si ).Lo cual nos dice que
[ [
X \ u(X \ A) = X \ u(Si ) = Ai
i∈I i∈I
S
Por lo tanto i∈I Ai ∈ τ Para probar que Ā = u(A), notamos que u(A) es claramente cerrado, luego A ⊆ u(A)
y por lo tanto Ā ⊆ u(A).Por otro lado A ⊆ Ā, como Ā es cerrado existe S tal que Ā = u(S), con ello aplicamos
u a nuestra contención y tenemos que u(A) ⊆ u(Ā) = u(u(S)) = u(S) = Ā.Por lo tanto Ā = u(A).
Teorema 3.6. Sea X un conjunto, y γ : ℘(X) → ℘(X) una función con las propiedades:
1. γ(∅) = ∅.
2. γ ◦ γ(A) = A ∪ γ(A) para cada A ⊆ X.
3. γ(A ∪ B) = γ(A) ∪ γ(B) para cada A, B ⊆ X.
4. Para cada x ∈ X,x ∈

/ γ(x).
Entonces la familia
τ = {X \ A ∪ γ(A)|A ⊆ X}
es una topologia y cumple que γ(A) = A0
Proof. Basta definir a u del teorema anterior como u(A) = A ∪ γ(A) y basta probar que tiene las propiedades
del teorema anterior y probaremos que es una topologia.
Para la primera es claro que u(∅) = ∅ ∪ γ(∅) = ∅ por la primera propiedad de γ.

La segund propiedad es obvia.
3.5. TOPOLOGIZANDO Y OPERACIONES ELEMENTALES PREASIGNADAS 33
La tercera es que u ◦ u(A) = u(A).Para ello usamos la definicion del lado izquierdo,
u ◦ u(A) = u(A ∪ γ(A))
= A ∪ γ(A ∪ γ(A))
usando la tercera propiedad tenemos

= A ∪ γ(A) ∪ γ(γ(A))
= A ∪ γ(A) ∪ γ ◦ γ(A))
usando la segunda propiedad tenemos

= A ∪ γ(A) ∪ A ∪ γ(A))
= A ∪ γ(A))
= u(A)
Por como definimos a u y por la tercera propiedad de γ es claro que u(A ∪ B) = u(A) ∪ u(B) Falta probar que
γ(A) = A0 .Sabemos que u(A) = Ā. Supongamos que x ∈ A0 , entonces para cualquier abierto U que contenga
a x cumple que sin x intersecta a A y como los abiertos se ven como complementos de imagenes de u, cualquier
abierto que tenga a x se veria como X \ u(S) = X \ (S ∪ γ(S)) con x ∈ / Syx∈ / γS, necesitamos ver que
x ∈ γ(A).
Como γ(A ∪ B) = γ(A) ∪ γ(B) tenemos que si A ⊆ B se tiene que γ(A) ⊆ γ(B).Luego como x ∈ A0 ⊆ Ā,
tenemos que de ocurrir x ∈ / A obtenemos que x ∈ γ(A).Pero si llegase a pasar que x ∈ A, de no estar x en
γ(A).Sabemos que {x} ∪ {x}0 = {x} ∪ γ({x}), con lo cual si y ∈ {x}0 sabemos que y ∈ / {x}, con lo cual
y ∈ γ(x), por otro lado si y ∈ γ(x) entonces tambien y 6= x, con lo cual y ∈ {x} .Por lo tanto {x}0 = γ(x),
0
Con esto y con la tercera propiedad tenemos directamente que B 0 = γB para cualquier conjunto finito B. Lo
que quiere decir que cualquier subconjunto finito de A cumple esto, ahora si x ∈ A y x ∈
/ γ(A), tenemos que
Definición 3.11. Decimos que una familia de abiertos B es una base local de vecindades para y si : para cada
abierto U tal que y ∈ U , entonces existe W ∈ B de tal forma que y ∈ W ⊆ U .
Chapter 4
Topologı́a Producto
35
36 CHAPTER 4. TOPOLOGÍA PRODUCTO
Chapter 5
Conexidad
37
38 CHAPTER 5. CONEXIDAD
Chapter 6
Topologı́a de Identificación; Topologı́a débil
39
40 CHAPTER 6. TOPOLOGÍA DE IDENTIFICACIÓN; TOPOLOGÍA DÉBIL
Chapter 7
Axiomas dee Separación
41
42 CHAPTER 7. AXIOMAS DEE SEPARACIÓN
Chapter 8
Axiomas de cubiertas
43
44 CHAPTER 8. AXIOMAS DE CUBIERTAS
Chapter 9
Espacios métricos
9.1 Metricas de conjuntos

Definición 9.1. Le llamamos metrica en un conjunto Y a una función d : Y × Y → R con las siguientes
propiedades:
1. d(x, y) ≥ 0 ∀x, y ∈ Y
2. d(x, y) = 0 si y solo si x = y
3. d(x, y) = d(y, x)
4.
d(x, y) ≤ d(x, z) + d(z, y) ∀x, y, z ∈ Y
Definición 9.2. A la pareja ordenada (X, d) donde d es una métrica en Y , le llamamos espacio métrico.
9.2 Topologı́a Inducida por una métrica

Definición 9.3. Definimos en un espacio métrico, la bolas con centro en un punto x ∈ Y y de radio r > 0 como
sigue :
Bd (x, r) = {y ∈ Y |d(x, y) < r}
Proposición 9.1. La familia de Bolas (Bd (x, r))r>0,x∈Y es una base para una topologı́a.
Proof. Trivial
Definición 9.4. Sea Y un conjunto y d una metyrica en Y . La topologı́a T (d) es la topologia que tiene como
base a la familia de bolas (Bd (x, r))r>0,x∈Y , también es llamada la topologia inducida por la metrica d
Definición 9.5. Un espacio topológico (Y, T ) se dice que es metrizable o métrico si existe una metrica d en Y
tal que
T = T (d)
Es decir la topologia sea una topologia inducida por la metrica d.
45
46 CHAPTER 9. ESPACIOS MÉTRICOS
Proposición 9.2. sea (X, T (d)), (Y, T (ρ)) dos espacios topológicos inducidos por una metrica. Cualquier
función f : X → Y es continua si y solo si
∀x ∈ X, ∀ > 0∃δ(, x) > 0 : d(ξ, x) < δ ⇒ ρ(f (ξ), f (x)) <
Equivalentemente
f [Bd (x, δ)] ⊆ Bρ (f (x), )
9.3 Métricas Equivalentes

Definición 9.6. Decimos que d, ρ dos metricas en Y son equivalentes (d ∼ ρ) si :
T (d) = T (ρ)
Teorema 9.1. sean d, ρ dos metricas en Y .d ∼ ρ si y solo si ∀a ∈ Y, > 0
1.
∃δ1 = δ( a, : ) : ρ(a, y) < δ1 ⇒ d(a, y) <
2.
∃δ2 = δ( a, : ) : ρ(a, y) < δ2 ⇒ d(a, y) <
Proof. ES directa la demostracion de la proposición de equivalencia de topologias via básicos y que una base
para las metricas son las bolas.
Corolario 9.1. Sea (Y, T (d)) un espacio métrico. Entonces para cada M > 0existe una metrica ρM ∼ d de tal
forma que ρM (x, y) ≤ M ∀x, y ∈ Y
Proof. Definiendo
ρM (x, y) = min(M, d(x, y))
Y de la proposición anterior es directa la equivalencia.
9.4 Continuidad de la Distancia

Definición 9.7. Consideramos un espacio metrico (Y, d). Definimos
1. La distancia de un punto y0 a un conjunto A no vacio como :
d(y0 , A) = inf{d(y0 , A)|a ∈ A}
2.
d(A, B) = inf{d(a, b)|a ∈ A, b ∈ B}
9.5. PROPIEDADES TOPOLOGICAS DE ESPACIOS METRICOS 47
3. El diametro de un conjunto A 6= ∅
δ(A) = sup{d(x, y)|x, y ∈ A}
Teorema 9.2. Sea (Y, d) un espacio metrico.
1. d(y, A) = 0 si y solo si y ∈ A
2. ρ ∼ d si y solo si para cada A ⊆ Y , d(y, A) = 0 ⇔ ρ(y, A) = 0
Proof. Para el primer inciso, observamos que
y∈A
si y solo si
∀B(y, r) : A ∩ B(y, r) 6= ∅
si y solo si
∀r > 0∃ar ∈ A : d(ar , y) < r
si y solo si
d(y, A) = 0
Parta el segundo usamos el primer inciso y observamos que la propiedad que se quiere provar es equivalente a
dar la misma cerradura, es decir para cada A ⊆ Y , d(y, A) = 0 ⇔ ρ(y, A) = 0 es equivalente a pedir que cada
d
A ⊆ Y , A = Aρ, con lo cual es equivalente a ρ ∼ d
Teorema 9.3. Sea (Y, d) un espacio metrico y un subconjunto A ⊂ Y . Entonces la función f : Y R es continua
, donde f esta definida como :.
f (x) = d(x, A)
9.5 Propiedades topologicas de espacios metricos

arTop Teorema 9.4. 1. La metrizabilidad es un invariante topológico.
2. Cada subespacio de un espacio metrico es metrico.Mas precisamente :Dado (Y, T (d)) un espacio metrico
y A ⊆ Y , la topologı́a inducida por T (d) en A como subespacio es exactamente la topologı́a inducida
por la metrica restringida a A.
Proof. Para el primer inciso consideremos h : (X, T ) → (Y, T (d)) un homeomorfismo, definimos ρ(x, x0 ) =
d(h(x), h(x0 )), entonces claramente ρ es una metrica para X y como claramente h : (X, T (ρ)) → (Y, T (d))
es un homeomorfismo, como consecuencia Id : (X, T (ρ)) → (X, T ) es un homeomorfismo y por lo tanto
T = T (ρ).
El segundo inciso es trivial.
Proposición 9.3. Cada espacio metrico es perfectamente normal.
Proof. Basta darnos cuenta de que el {0} es un cerrado Gδ , entonces f : Y → R dada por f (y) = d(y, A)
desaparece solo en A, lo que quiere dcir que A = f −1 (0)
Teorema 9.5. (A.H Stone) Cada espacio metrico es paracompacto.
Proof. Demostraremos que existe una sucesión de cubiertas
{Bn |n ∈ N}
que es localmente estrellada para cada sucesion de cubiertas abiertas. Definimos
1
Bn = {B(x, )|x ∈ X}.
n
Consideremos una cubierta abierta {Uα |α ∈ A}, un x ∈ X y un Uα que tenga a x, consideramos una n adecuada
tal que d(x, C(Uα )) > n1 , tomando V (x) = B(x, 3n
1
), evidentemente
St(V, B3n ) ⊆ Uα
Definición 9.8. Un espacio Y es 1◦ -numerable si para cada y se tiene una base local de vecindades numerable.
Proposición 9.4. Cada espacio metrico es 1◦ -numerable.
Proof. De la definición de la topologia nos damos cuenta que
{B(x, r)|r ∈ Q}
Es una base local de vecindades de x numerable.
Teorema 9.6. En espacios metricos 2◦ -numerable, Lindelöf y separable son equivalentes.
Proof. Separabilidad ⇒ 2◦ -numerabilidad.
Consideramos (yi )i∈N un conjunto denso en un espacio metrico Y , la familia
{B(yi , r)|r ∈ Q}
9.6. PRODUCTO CARTESIANO DE ESPACIOS METRICOS 49
es una base para la topologı́a. Sea B(x, s), para B x, 3s existe yi ∈ B(x, 3s ) de tal forma que

2s
B yi , ⊆ B(x, s)
3
2◦ -numerable ⇒ Lindelöf es resultado del capitulo anterior. Usaremos un pequeño concepto auxiliar, decimos
que un conjunto A ⊆ X es -denso si cualquier punto x ∈ X cumple que d(x, A) < .Demostraremos que para
toda > 0 existe un conjunto A() numerable -denso: consideramos
{B(x, )|x ∈ X}
es una cubierta abierta y ası́ podemos obtener una subcubierta numerable
{B(xi , )|i ∈ N}
A() = {xi }i∈N es un conjunto -denso, entonces

[ 1
D= A
n∈N
n
el cual es un conjunto numerable y claramente es denso.
9.6 Producto cartesiano de espacios metricos

Q
Proposición 9.5. Sea {Yα |α ∈ A}una familia de espacios con mas de 1 punto.Si α∈A Yα es metrizable ,
entonces cada Yα es metrizable y ℵ(A) ≤ ℵ0
Q InvarTop
Proof. Como cada Yα es homeomorfo a una rebanada en α∈A Yα , entonces usando el Teorema 9.4. Para ver
que ℵ(A) ≤ ℵ0 basta demostrar que
Y
ℵ(A) > ℵ0 ⇒ Yα no es 1◦ -numerable
α∈A
Para ello, consideramos un punto y ◦ = {yα◦ }α∈A ∈ α∈A Yα , y sea {Vn |n ∈ N} una base de vecindades
Q
del punto y ◦ . Para cada Vn asociamos un conjunto finito R(n) = {α1 , · · · , αl } ⊂ A de tal forma que y ◦ ∈
S
hUα1 , · · · Uαn i ⊂ Vn .Entonces n∈N R(n) es numerable, como ℵ(A) > ℵ0 , entonces existe β ∈ A tal que
S
β∈/ n∈N R(n), lo cual nos permite afirmar que la familia de Vn ’s no restringe la β-ésima coordenada(es decir
en dicha coordenada tienen puntos de todo el espacio). Elegimos una vecindad Uβ 6= Yβ de yβ◦ , y por lo tanto no
hay un Vn contenido en la vecindad hUβ i de y ◦ .
Teorema 9.7. Sea {(Yn , T (dn ))|n ∈ N} una familia de espacios metricos,donde cada Yn con diametro δn (Yn ).Para
x = (xn )n∈N , y = (yn )n∈N definimos ρ(x, y) = supn∈N dn (xn , yn ).Entonces :
Q
1. ρ es una metrica en n∈N Yn siempre que δn (Yn ) este uniformemente acotado apartir de una n0 .
Q
2. ρ metriza la topologia producto del espacio n∈N Yn si y solo si δn (Yn ) → 0
Proof. Para probar el primer inciso, la condición de que δn (Yn ) este uniformemente acotado apartir de una n0 es
unicamente para que este bien definida nuestra métrica. Las primeras 3 propiedades son directas, mientras que
la desigualdad del triangulo se deduce de lo siguiente
ρ(x, z) = supn∈N dn (xn , zn )
≤ supn∈N {dn (xn , yn ) + d(yn , zn )}
≤ supn∈N dn (xn , yn ) + supn∈N d(yn , zn )
= ρ(x, y) + ρ(y, z)
Para el segundo inciso asumimos que δn (Yn ) → 0;mostraremos que T (ρ) es equivalente a la topologı́a producto
de nuestro espacio.
Sea x ∈ hB(x1 , r1 ), · · · , B(xn , rn )i = U , sea µ = min{r1 , · · · , rn } y con esto probaremos que B(x, µ) ⊆
U.
y ∈ B(x, µ) ⇒ ρ(x, y) < µ
⇒ supn dn (xn , yn ) < µ
⇒ ∀n : dn (xn , yn ) < rn
⇒ ∀n : yn ∈ B(xn , rn )
⇒ ∀n : yn ∈ U
Con lo cual τ ⊆ T (d), con τ la topologı́a producto. Para la segunda contención, consideramos un punto
x ∈ Bρ (x, η). Como δn (Yn ) → 0, entonces existe n0 con δn (Yn ) < η2 ∀n ≥ n0 ; entonces
η η
x ∈ U = hB(x1 , ), · · · , B(xn0 , )i ⊆ Bρ (x, η)
2 2
y como consecuencia τ ⊇ T (d)
Por otro lado asumamos que δn (Yn ) 9 0, entonces podemos encontrar > 0 y una cantidad infinta
de indices in tales que existen x◦in , yi◦n ∈ Yin que satisfacen din (xin , yin ) ≥ . Si selecionamos un punto
x◦ ∈ n∈N Yn de tal forma que coincide en los indices correspondientes in con las x◦in , este elemento no
Q
tiene una vecindad del producto que este contenida en Bρ (x◦ , ) pues si asumimos que dicha existe digamos
hBdl1 (xl1 , r1 ), · · · , Bdln (xl1 , rn )i ⊆ Bρ (x◦ , ), con lo cual el punto z ◦ tal que zi◦n = yi◦n ∀in 6= lj zl◦j =
x◦lj ∀lj , debido a que in es una familia de indices infinita existen indices in tales que zi◦n = yi◦n y con esto
9.7. EL ESPACIO L2 (A); EL CUBO DE HILBERT 51
z ◦ ∈ Bρ (x◦ , ), de esta manera d(xin , yin ) < lo cual es una contradicción y por ende Bρ (x◦ , ) no contiene
ninguna vecindad basica del producto que tenga a x◦ .
Q
Corolario 9.2. Sea {(Yα , T (dα ))|α ∈ A} una familia de espacios metricos.Si ℵ(A) ≤ ℵ0 , entonces α∈A Yα
es metrizable.
9.7 El espacio l2(A); El cubo de Hilbert

Definición 9.9. Sea A un conjunto, Rℵ(A) . El espacio métrico l2 (A) esta dado por :
1. Los elementos :cada sucesión de reales x ∈ Rℵ(A) tal que α x2α < ∞.
P
2. La Topologı́a :la inducida por la metrica

sX
d(x, y) = (xα − yα )2
α∈A
Proposición 9.6. l2 (A) es separable si y solo si ℵ(A) ≤ ℵ0
Proof. El regreso de la proposición es trivial pues el denso clasico de la topologı́a producto (la familia de puntos
que difieren en a lo mas una cantidad finita con un punto fijo y0 es denso y por la hipotesis numerable).
Por otro lado si asumimos que ℵ(A) > ℵ0 :Entonces en cualquier conjunto numerable N , nosotros encon-
tramos entradas no cero para a lo mas una cantidad numerable de ı́ndices; de esta manera podemos encontrar
un indice β tal que para cualquier elemento z ∈ N se cumpla que zβ = 0 (de lo contrario tendriamos que la
intersección de los conjuntos Nx = {αx |xα = 0} es vacı́a, sin embargo Nxc es a lo mas numerable, con lo cual
1
S
x∈N Nx = A es numerable). De esta manera, sea x que cumple xα = 0∀α 6= β y xβ = 1, asi B(x, 2 ) no tiene
puntos de N .
Definición 9.10. El subespacio

2 1
x ∈ l (ℵ0 )||xn | <
n
es llamado el cubo de Hilbert y se denota por I ∞
Proposición 9.7. El cubo de Hilbert I ∞ es homeomorfo a el producto

Q
n∈N In numerable de intervalos unitar-
ios I
Proof. Sabemos que cualquier intervalo unitario I es homeomorfo a J = [−1, 1], con ello ∞
Q Q∞
i=1 I ∼ i=1 J,
∞ ∞
con lo cual basta probar que I ∞ ∼ i=1 J.Definimos ϕ : I ∞ → i=1 J como sigue ϕ(xn )n∈N = (nxn )n∈N ,
Q Q
claramente ϕ es biyectiva y es continua pues la composicion con cada proyeccción es continua.
Para ver la continuidad de la inversa usamos las metricas
|xn − yn |
dn (xn , yn ) = 1
n4
Q∞
Si ρ(x, y) < δ en i=1 J, nosotros tenemos que
s
X xn yn 2
d(ϕ−1 (x), ϕ−1 (y)) = −
n∈N
n n
v
uX 2
u xn − y n 1
= t 1 · 3
n∈N n4 n2
s s
X 1 X 1
< δ2 3 =δ 3
n∈N n2 n∈N n2
Lo cual prueba que ϕ−1 es continua.
Proposición 9.8. El interior de I ∞ en l2 (ℵ0 ) es vacio, asi el complemento de I ∞ es denso.
Proof. Consideramos un punto x◦ ∈ I ∞ y cualquier bola B(x◦ , 2), sabemos que todos los puntos ξn de tal
forma que (ξn )i = x◦i si i 6= n y (ξn )n = x◦n + cumnplen con ξn ∈ B(x◦ , 2) , sin embargo para ser parte del
cubo de hilbert todos simultaneamente necesitariamos que |x◦n + | < n1 ∀n ∈ N, lo cual pasa solo si = 0
y por lo tanto el cubo no contiene ninguna bola.
9.8 Metrización de espacios topológicos
Teorema 9.8. (J. Nagata y Yu. M. Smirnov) Un espacio topológico es metrizable si y solo si es rtegular y tiene
una base que que puede ser descompuesta en una cantidad numerable de familias localmente finitas
Proof. ⇒)
Asumamos que Y es un espacio metrico como consecuencia es paracompacto, entonces tambien es regular.Para
cada n ∈ N, sea (Un,α )α∈A un refinamiento abierto localmente finito de la cubierta abierta {B(y, n1 )|y ∈ Y },
entonces la familia de abiertos (Un,α )n∈N,α∈A es localmente finita para cada n y además es una base para Y ; la
primera afirmación ya esta probada. Para la segunda afirmación consideramos y0 ∈ U con U abierto, elegimos
n0 lo suficientemente grande como para que se cumpla que n10 < 12 d(y0 , Y \ U ), entonces cualquier Un0 ,α que
contenga a y0 cumple con
1
y0 ∈ Un0 ,α ⊆ Bd (yj , ) ⊆ U
n0
9.8. METRIZACIÓN DE ESPACIOS TOPOLÓGICOS 53
la ultima igualdad se debe a que si z ∈ Bd (yj , n10 )
d(z, y0 ) ≤ d(z, yj ) + d(yj , y0 )
1 1
≤ +
n0 n0
2
≤
n0
≤ d(y0 , Y \ U )
con lo cual z ∈ U . ⇐)
S
Asumimos que U = n∈N Un es una base donde para cada n, Un = {Un,α |α ∈ A} es una familia localmente
finita de abiertos, sabemos que Y es regular y cualquier cubierta abierta puede ser refinada por basicos, de lo
que se sigue que Y es paracompacto. De hecho mostraremos que Y es perfectamente normal. Sea y ∈ U un
punto en un abierto, por la regularidad existe Un(y),α(y) tal que
y ∈ Un(y),α(y) ⊆ Un(y),α(y) ⊆ U
Para cada k definimos

[
Fk = {Un(y),α(y) |n(y) = k}
S
Fk es cerrado en Y pues es union localmente finita de cerrados y de esta maner U = k∈N Fk
Como Y es perfectamente normal para cada pareja (n, α) existe una función continua ϕn,α : Y → [0, 1] con
−1
ϕn,α (0) = (Y \ Un,α ). Como para cada n0 la familia Un0 = {Un0 ,α |α ∈ A} es localmente finita, para cada punto
P
y ∈ Y existe un abierto que intersecta una cantidad finita de Un0 ,α ’s, de esta manera la suma α∈A ϕn0 ,α es
finita. Definimos f : Y → l2 (U) definida por las funciones coordenadas siguientes :
1 ϕn,α (y)
fn,α (y) = q
n 1+ P 2
β∈A ϕn,β (y)
Demostraremos que f es un homeomorfismo en un subsespacio.
1. 2
P 2
P P 1√ ϕn,α (y)
n∈N,α∈A fn,α (y) = n∈N α∈A n 1+
P
ϕ2
β∈A n,β (y)
P P 1 ϕ2 (y)
= P n,α
n∈N α∈A n2 1+ β∈A ϕ2n,β (y)
1
P P
= n∈N α∈A n2 <∞
2. Cada fn,α es continua.
3. f es inyectiva pues si x 6= y existe Unα con x ∈ Unα y y ∈

/ Unα , entonces ϕn,α (x) > 0 y ϕn,α (y) = 0 y
como consecuencia f (x) 6= f (y)
4. f : Y → f (Y ) es una función cerrada:Para A ⊆ Y un cerrado y y ∈ / A, entonces para algún (n0 , α0 )

nosotros tenemos que y ∈ Un0 ,α0 ⊆ Y \ A; a causa de que ϕn0 ,α0 (a) = 0 ∀a ∈ A, asi como
ϕn0 ,α0 (y) = k > 0, encontramos que d(f (y), f (A)) ≥ k n10 de tal forma que f (y) ∈
/ f (A)
5. f es continua.Sea y0 ∈ Y y > 0; elegimos n0 que cumla que
X 1 2
<
n≥n
n2 4
0
y sea Wy0 una vecindad que intersecta a lo mas una cantidad finita de Un,α ’s para n ≤ n0 . Asumimos
que la cantidad de indices (n, α) tales que fn,α no desaparece para n ≤ n0 es N (la mmisma cantidad de
indices (n, α) tales que Wy0 intersecta de Un,α ’s para n ≤ n0 ). Elegimos una vecindad Vy0 ⊆ Wy0 tal que
para cada una de esas funciones continuas se cumple que

|fn,α (y) − fn,α (y0 )| ≤ √
2N
Entonces para cualquier y ∈ Vy0 , nosotros obtenemos que :
X 2
|fn,α (y) − fn,α (y0 )|2 ≤
n≤n0 ,α∈A
2
y
X X 2 2
|fn,α (y) − fn,α (y0 )|2 ≤ <
n≥n0 ,α∈A n≥n0 ,α∈A
n2 2
Con lo cual probamos que

X
|fn,α (y) − fn,α (y0 )|2 < 2
n∈N,α∈A
Por lo tanto se cumple que

f (Vy0 ) ⊆ B(f (y0 ), )
Corolario 9.3. En los espacios 2◦ -numerables, la regularidad y metrizabilidad son equivalentes. De hecho un
espacio 2◦ -numerable y regular es homeomorfo a un subespacio del cubo de Hilbert.
Proof. Trivial
Proposición 9.9. Sea Y un espacio regular y Un = {Un,α |α ∈ An } una sucesion de cubiertas abiertas local-
S
mente finitas tal que U = n∈N es una base.Entonces Y es metrizable y la metrica ρ puede ser tomada de tal
forma que Bρ (y, n1 ) ⊆ St(y, Un ), para cada n ∈ N, y ∈ Y
9.8. METRIZACIÓN DE ESPACIOS TOPOLÓGICOS 55
Proof.
1 ϕ (y)
fn,α (y) = qP n,α
n 2
β∈A ϕn,β (y)
Como Un es una cubierta no es necesario agregarle un 1 al denominador. Notamos que si Un,α1 , · · · , Un,αk
son todos los conjuntos en St(y, Un ), entonces fnα (y) 6= 0 si y solo si α ∈ {α1 , · · · , αk }; como consecuencia
2
fn,α1
2
(y) + · · · + fn,αk
(y) = n12 . Ahora, si x ∈ / St(y, Un ), entonces fnα (x) = 0 para α ∈ {α1 , · · · , αk }, de esta
manera
X 1
ρ(x, y)2 = |fn,α (x) − fn,α (y)|2 ≥ fn,α
2 2
(y) + · · · + fn,α (y) = 2
n,α
1 k
n
1
Con lo cual ρ(x, y) ≥ n
Proposición 9.10. Sea (Y, d) un espacio metrico y B = {Bn |n ∈ N} una sucesión de cubiertas abier-
tas.Entonces existe una metrica ρ ∼ d de tal forma que para cada n,{Bρ (y, n1 )|y ∈ Y } refina a Bn
Proof. para cada n ∈ N consideramos Wn un refinamiento común de Bn y de {Bρ (y, n1 )|y ∈ Y }, y sea Un un
refinamiento abierto localmente finito de un refinamiento baricéntrico de Wn . Es evidente que {Un |n ∈ N} es
una base, nosotros podemos obtener ρ ∼ d, entonces nosotros obtenemos que
1
Bρ (y, ) ⊆ St(y, Un ) ⊆ V ∈ Bn
n
Teorema 9.9. Sea Y un espacio arbitrario. las siguientes son equivalentes :
zable 1. Y es metrizable.
orita 2. (K. Morita) Y es T0 y existe una sucesión {Fn |n ∈ N} de cubiertas cerradas localmente finitas con la
siguiente propiedad : para cada y ∈ Y y Wy vecindad de y existe una n tal que St(y, Fn ) ⊆ Wy .
Stone 3. (A.H. Stone) Y es T0 y existe una sucesión {Un |n ∈ N} de cubiertas abiertas con la siguiente propiedad
: para cada y ∈ Y y Wy vecindad de y existe Vy una vecindad de y y n tal que St(Vy , Un ) ⊆ Wy .
angel 4. (A. Arhangel’skii)Y es T0 y existe una sucesión {Un |n ∈ N} de cubiertas abiertas que es localmente
estrellada para cada cubierta abierta.
Metrizable
Morita
Proof. 9.8⇒ 2
Sabemos que como es metrizable es paracompacto.Observemos un poco la demostracion de que cada espacio
metrico es paracompacto, demostramos que existe una sucesión de cubiertas
{Bn |n ∈ N}
que es localmente estrellada para cada sucesión de cubiertas abiertas. Definimos
1
Bn = {B(x, )|x ∈ X}.
n
tal que d(x, C(Uα )) > n1 , tomando V (x) = B(x, 3n
1
), evidentemente
St(V, B3n ) ⊆ Uα
Consideramos los refinamientos localmente finitos
{Cn |n ∈ N}
donde Ci es un refinamiento localmente finito de B2n y observamos que
{Cn |n ∈ N}
es una familia de refinamientos localmente finitos cerrados, donde
Cn = {C|C ∈ Cn }
1
tal que d(x, C(Uα )) > n1 , tomando V (x) = B(x, 3n ), además existe D ∈ Cn de tal forma que D ⊆ B6n y de
esta forma
evidentemente
St(V, D) ⊆ St(V, B3n ) ⊆ Uα
Con lo que se demuestra la implicación.

Morita
Stone
2 ⇒ 9.8
Sin perdida de generalidad Fn+1 ⊆ Fn .Definimos :
Un = {Int[St(y, Fn )]|y ∈ Y }, n ∈ N
Stone
demostraremos que las Un ’s satisfacen la propiedad deseada en 9.8.
Primero cada Un es una cubierta abierta. Para cada y ∈ Y , sea

[
Vn (y) = Y \ {F ∈ Fn |y ∈
/ F };
cada Vn (y) es abierto, y y ∈ Vn (y) ⊆ St(y, Fn ); como (Vn (y))y∈Y es una cubierta entonces Un también lo es.
Notamos que F ∩ Vn (y) 6= ∅ si y solo si y ∈ F ; de lo cual se sigue que :
Stone 1. Si x ∈ Vn (y), entonces St(x, Fn ) ⊆ St(y, Fn ).
Stone 2. Si St(z, Fn ) ∩ Vn (y) 6= ∅ para alguna z ∈ Y , entonces z ∈ St(y, Fn )

9.9. ESPACIOS PSEUDOMETRICOS O CALIBRADOS 57
Consideramos W (y) una vecindad de y, existe k ∈ N y n ≥ k tal que
W (y) ⊇ St(y, Fk ) ⊇ Vk (y) ⊇⊇ St(y, Fk ) ⊇ Vk (y)

Morita
Por la propiedad 2 y el hecho de que Vk (y) también es vecindad de y.
Ahora para concluir falta ver que

St(Vn (y), Un ) ⊂ W (y)
Esto va a ocurrir como consecuencia de lo siguiente : Siempre que que St(z, Fk ) ∩ Vn (y) 6= ∅ tenemos que
aStone
existe z ∈ F ∈ Fk tal que y ∈ F y asi z ∈ F ⊆ St(y, Fk ) ⊆ Vk (y), entonces por 1 St(z, Fk ) ⊆ St(y, Fk ) y
angel como Fn ≺ Fk ⊆ Wy , de esta manera y como IntSt(z, Fn ) ⊆ St(z, Fn ), concluimos lo deseado. ()⇒() Solo
Stone
basta ver que nuestro espacio es T1 , Consideramos x, y ∈ Y , asumimos que x tiene una vecindad W (x) que
no contiene a y, y asi por hipotesis existe una vecindad V (x) tal que St(V (x), Un ) ⊆ W (x), como Un es una
cubierta, existe y ∈ U (y) ∈ Un y de esta forma U (y) ∩ V (x) = ∅, pues y ∈
/ St(V (x), Un ).
angel ()⇒()
zable
Sabemos que por consecuencia de la hipótesis Y es paracompacto.Para cada n sea Bn un refinamiento local-
mente finito de Un , mostraremos que B = {Bn |n ∈ N} es una base.
Sea W un abierto tal que y ∈ W entonces por regularidad existe G abierto de tal forma que
y∈G⊆G⊆W
de esta manera U = {W, Y \ G} es una cubierta, como {Un |n ∈ N} es localmente estrellada para U, entonces
existe n y una vecindad V tal que
St(V, Un ) ⊆⊆ W
Como Bn ≺ Un , tenemos que
y ∈ St(y, Bn ) ⊆ St(y, Un ) ⊆ St(V, Un ) ⊆⊆ W
por lo tanto es base y ası́ es metrizable.
9.9 Espacios Pseudometricos o Calibrados

Definición 9.11. Le llamamos calibración en un conjunto Y a una función d : Y × Y → R con las siguientes
propiedades:
1. d(x, y) ≥ 0 ∀x, y ∈ Y
2. Si x = y, entonces d(x, y) = 0
3. d(x, y) = d(y, x)
4.
d(x, y) ≤ d(x, z) + d(z, y) ∀x, y, z ∈ Y
Tambien definimos a las Bolas d-calibradas con radio con centro en x ∈ Y como:
B(x, d, ) = {y ∈ Y |d(x, y) < }
Definición 9.12. Sea Y un conjunto y D = {dα |α ∈ A} una familia de calibraciones.
1. Decimos que D decimos que es una familia de separación si para cada par de puntos x 6= y existe dα ∈ D
tal que Dα (x, y) 6= 0
2. Asumiendo que D es una familia de separación, la topologı́a T (D) conocida como la topologia inducida
por la familia de separación D es la topologı́a definida por la subbase
B(D) = {B(x, d, )|y ∈ Y, dα ∈ D, > 0}
Definición 9.13. Sea Y un conjunto y D = {dα |α ∈ A} una familia de calibraciones de separación.Decimos

que D es una estructura de calibración para el espacio topologico (Y, T ) si T = T (D). Un espacio topológico
que admite una estructura de calibración se le conoce como un espacio calibrado.
Proposición 9.11. Sea Y un conjunto y D = {dα |α ∈ A} una familia de calibraciones de separaciónen

Y .Definimos D+
D+ = {max(dα1 , · · · , dαn )|{dα1 , · · · , dαn } ⊆ D}
La familia B(D+ ) de todas las bolas D+ -calibradas es una base para la topologı́a T (D).
Proof. Basta notar que cualquier intersección finita de bolas del mismo radio y con el mismpo centro D-
calibradas es una bola D+ -calibrada, pues si {dα1 , · · · , dαn } ⊆ D y definiendo d+ = maxi=1,··· ,n dαi (xi , y)
o podemos denotarno como d+ α con α = {α1 , · · · , αn }, obtenemos que
n
\ n
\
B(x, dαi , ) = {y ∈ Y |dαi (x, y) < }
i=1 i=1
= {y ∈ Y |dαi (x, y) < ∀i = 1, · · · , n}

= y ∈ Y | max dαi (x, y) <
i=1,··· ,n
= B(x, d+ , )
9.9. ESPACIOS PSEUDOMETRICOS O CALIBRADOS 59
Considerando y ∈ ni=1 B(xi , dαi , i ), entonces existe δi tal que B(y, dαi , δi ) ⊆ B(xi , dαi , i ) y ası́ B(y, dαi , mini=1,··· ,n δi
T
δ) ⊆ B(xi , dαi , i ) y de esta forma

n
\ n
\
B(y, d+ , δ) = B(y, dαi , δ) ⊆ B(xi , dαi , i )
i=1 i=1
Y por otro lado sabemos que cada B(x, d+ , ) es una intersección finita de bolas D-calibradas.
Definición 9.14. Consideramos (Yα )α∈A una familia de conjuntos con dβ una calibración en Yβ , entonces defin-
imos dˆ la calibración inducida en α∈A Yα como d(x,
ˆ y) = dα (πα (x), πα (y))
Q
Teorema 9.10. 1. Sea Y un espacio que tiene una estructura de calibración D y A un subespacio. Sea DA
la familia de calibraciones restringidas a A × A. Entonces DA es una estructura de calibracion para el
subespacio A.
2. Sea {(Yβ , T (Dβ ))|β ∈ B} una familia de espacios calibrados. Para cada β ∈ B, sea Dˆβ la familia de
calibraciones inducidas en β∈B Yβ através de los miembros de Dβ . Entonces la familia {Dˆβ |β ∈ B}
Q S
la familia de calibraciones es una estructura de calibración para nuestro espacio producto.
Proof. El primer inciso es directo y se deja como ejercicio.
Para el segundo consideramos un básico de la topologı́a producto y un elemento contenido y ∈ ni=1 hUi i,
T
entonces yi ∈ Ui para cada i, de esta manera encontramos que existe B(xi , d+

αi , ) (para la comun tomamos la
+
mı́nima) de tal forma que yi ∈ B(xi , dαi , ) ⊆ Ui , entonces
n
\ n
\
y∈ hB(xi , d+
αi , )i ⊆ hUi i
i=1 i=1
Primero sea x = (xα )β∈B ∈ ni=1 πi−1 (xi ). Observamos que y ∈ hB(xi , d+ +
T
αi , )i si y solo si πi (y) ∈ B(xi , dαi , )
si y solo si d+ ˆ+
αi (πi (x), πi (y)) < si y solo si y ∈ B(x, dαi , ), como consecuencia
hB(xi , d+ ˆ+
αi , )i = B(x, dαi , )
Por lo tanto
n
\ n
\
hB(xi , d+
αi , )i = B(x, dˆ+ ˆ+
αi , ) = B(x, max dαi , ) = B(x, max
Sn dˆs , )
i=1,···n s∈ i=1 αi
i=1 i=1
Tn +
Sin embargo es claro que i=1 hB(xi , dαi , )i es abierto de la topologı́a producto pues B(xi , d+
αi , ) es un abierto
en T (Dβ ). Por lo tanto
[
B(x, max
Sn dˆs , )|x ∈ Y, > 0, dˆs ∈ {Dˆβ |β ∈ B}
s∈ i=1 αi
es una base para la topologı́a producto.

Teorema 9.11. Un espacio Y es regular si y solo si es un espacio calibrado.
Proof. Asumamos Y con estructura de calibración D. Sea y0 ∈ U un abierto.Entonces existe d+ ∈ D+ y > 0

tal que B(y0 , d+ , ) ⊆ U , definimos f (y) = min[1, −1 d+ (y, y0 )], la cual es una función continua que cumple
que f (y0 ) = 0 y f (Y \ U ) = 0, por lo tanto es completamente regular.
Para el regreso sabemos que todo espacio completamente regular se puede reetiquetar en un producto cartesiano
P Y de intervalos unitarios I y como los intervalos unitarios son calibrados, entonces P Y también lo es.
Corolario 9.4. Un espacio es completamente regular es metrizable si y solo si admite una esturctura de cali-
bración a lo mas numerable.
Proof. La ida es evidente.
Para el regreso consideramos una estructura de calibración a lo mas numerable D = {dn |n ∈ N}, y defini-
mos la siguiente metrica:
X∞
d(x, y) = min[dn (x, y), 2−n ]
i=1
lo cual claramente es una metrica.
9.10 Espacios uniformes

Definición 9.15. Sea Y un conjunto U, V ⊆ Y × Y . Definimos
1.
U −1 = {(y, x)|(x, y) ∈ U }
2.
U ◦ V = {(x, z)|∃y ∈ Y : [(x, y) ∈ V ] ∧ [(y, z ∈ U )]}
3. Para cada y ∈ Y definimos

U [y] = {z|(y, z) ∈ U }
4.
∆ = {(x, x)|x ∈ Y }
Definición 9.16. Sea Y un conjunto, F una familia de subconjuntos de Y × Y decimos que es :
1. Una uniformidad si:
(a) Si V ∈ F, entonces ∆ ⊆ V .
(b) Si V1 , V2 ∈ F, entonces existe W ∈ F tal que W ⊆ V1 ∩ V2
(c) Si V ∈ F, entonces existe W ∈ F tal que W ◦ W −1 ⊆ V1 ∩ V
9.10. ESPACIOS UNIFORMES 61
2. Una estructura uniforme si :
(a) F es una uniformidad .

T
(b) Si V ∈ F y V ⊆ W , entonces W ∈ F Si además {V |V ∈ F} = ∆, a F se le llama de separación.
3. Si F es una uniformidad definimos la estructura uniforme generada por Fcomo :

\
U(F) = {H|H es una estructura uniforme y F ⊆ H}
4. Dos uniformidades F1 , F2 son equivalentes si
U(F1 ) = U(F2 )
Definición 9.17. Sea (Y, T (D)) un espacio calibrado, para cada d ∈ D, > 0 definimos
V (d, ) = {(x, y) ∈ Y × Y |d(x, y) < }
F(D) = {V (d, )|d ∈ D, > 0}
La última es llamada la uniformizacion determinada por D
Proposición 9.12. Dos uniformidades F1 , F2 son equivalentes si y solo si para todo U ∈ F1 existe V ∈ F2 tal
que V ⊂ U y para todo W ∈ F2 existe Z ∈ F1 tal que Z ⊂ W
Definición 9.18. Decimos que dos puntos x, y ∈ Y son V -cercanos si (x, y) ∈ V .Definimos
Definición 9.19. Una familia G = {Uα |α ∈ A} es llamada una familia de uniformización si :
1. Cada par de cubiertas Uα , Uβ ∈ G existe un refinamiento común Uγ ∈ G
2. Para cada cubierta Uα ∈ G existe un refinamiento baricentrico Uβ ∈ G
La familia se dice que es de separación si para cada par de puntos x 6= y ∈ Y existe Uα ∈ G tal que y ∈
/ St(x, Uα )
acion Proposición 9.13. 1. Sea G = {Uα |α ∈ A} una familia de uniformización. Para cada α ∈ A,Vα =
S
{U × U |U ∈ Uα }.Entonces u(G) = {Vα |α ∈ A} es una uniformidad.
iendo 2. Sea F una uniformidad. Para cada V ∈ F, sea U(V ) = {V [y]|y ∈ Y }. Entonces c(F) = {U(V )|V ∈ F}
es una familia de uniformización y además u(c(F)) es equivalente a F
Uniformizacion
Proof. 1 Sabemos que ∆ ⊆ Vα para cada α pues cada Uα es una cubierta.Por otro lado consideramos Vα , Vβ , con
α, β ∈ A, como G es una uniformización tenemos que existe un refinamiento común Uγ para Uα , Uβ . Entonces
Vγ ⊆ Vα ∩ Vβ .
Consideramos Vα y un refinamiento baricéntrico Uβ para Uα .Afirmamos que Vβ ◦ Vβ−1 ⊆ Vα , si (x, y) ∈

Vβ , (y, z) ∈ Vβ−1 , entonces (x, y) ∈ Vβ , (z, y) ∈ Vβ , de esta manera tenemos que existe U, V ∈ Uβ tal que
x, y ∈ U y z, y ∈ V , como consecuencia de lo anterior y que U, V ⊆ St(y, Uβ ) ⊆ W para algun W ∈ Uα ,

Cubriendo
entonces x, y, z ∈ W , entonces (x, z) ∈ Vα . 2 Para la primera parte observamos que si tomamos dos cubiertas
U(V ), Uβ (W ) con V, W ∈ F, por las propiedades de F tenemos que existe Z ∈ F con Z ⊆ V ∩ W de tal forma
que Z[y] ⊆ V [y] ∩ W [y], con lo que U(Z) es un refinamiento común.
Sea U(V ) con V ∈ F, entonces existe W ∈ F tal que W ◦ W −1 ⊆ V . Sea z ∈ St(y, U(W )), asi y, z ∈ W [x] por
lo que (x, y), (x, z) ∈ W ,se sigue que (y, z) ∈ V , entonces z ∈ V [y], por lo tanto z ∈ St(y, U(W )) ⊆ V [y].
Para la segunda demostraremos que VU(V ) = V ◦ V −1 .
(x, y) ∈ VU(V )
∃V [w] ∈ U(V ) tal que x, y ∈ V [w]
∃V [w] ∈ U(V ) tal que (w, x), (w, y) ∈ V
(x, y) ∈ V ◦ V −1
Por otro lado notemos que (x, y) ∈ V , debido a que V es una uniformidad se sigue que (x, y), (x, x) ∈ V y de
esta manera (x, y) ∈ V ◦ V −1 . Por ultimo si V ∈ F existe W ∈ F tal que WU(W ) = W ◦ W −1 ⊆ V y por lo
tanto son equivalentes.
Definición 9.20. 1. Sea F una uniformidad, definimos la topologı́a generada por F como la topologia cuya
base es
T (F) = {V [y]|y ∈ Y, V ∈ F}
2. Sea G una familia de uniformización, definimos la topologı́a generada por F como la topologia cuya base
es
T (G) = {St(y, Uα )|y ∈ Y, α ∈ A}
Un espacio topológico derivado de una uniformidad, se le conoce como un espacio uniforme.
3. Sea (Y, T )un espacio topológico. Decimos que una uniformidad F en Y es compatible con la topologia si
T = T (F)
Observación 9.1.
T (G) = T (u(G))
Y mas un espacio uniforme es separable si y solo si es generado por una estructura uniforme de separación.
9.10. ESPACIOS UNIFORMES 63
Teorema 9.12. Sea (Y, T ) un espacio topológico y F una uniformidad de separación compatible con la topologı́a.
Entonces Y debe ser un espacio calibrado, y existe una familia de calibraciones D que cumple :
1. La topologı́a T = T (D)
2. La uniformidad generada por D es equivalente a F.
Proof. Asumimos que la uniformidad esta dada por una familia de uniformización de cubiertas abiertas G =
{Uα |α ∈ A}. Para cada cubierta abierta Uα construimos una calibración dα como sigue: Sea B0 = {Y }, Uα y
definimos una sucesión de cubiertas abiertas {Bn |Bn ∈ G} de manera inductiva, siendo Bn+1 el refinamiento
estrella de Bn (pues un B refinamiento baricentrico de U un refinamiento baricentrico que a su vez es un refi-
namiento baricentrico de W , B termina siendo un refinamiento estrella de W ). Para cada par de puntos x, y ∈ Y ,
sea
λ(x, y) = inf{2−n |x ∈ St(y, Bn )}
µ(x0 , · · · , xk ) = λ(x0 , x1 ) + λ(x1 , x2 ) + · · · + λ(xk−2 , xk−1 ) + λ(xk−1 , xk )
dα (x, y) = inf{µ(x0 , · · · , xk )|{x0 , · · · , xk } ⊂ Y, x0 = x, xk = y}

1
Es claro que las dα ’s son calibraciones.Es evidente que dα (x, y) ≤ λ(x, y), entonces St(y, Bn ) ⊆ B(y, dα , 2n−1 ).
1
Nosotros mostraremos también que B(y, dα , 2n ) ⊆ St(y, Bn−1 ), esto es consecuencia la siguiente desigualdad
que provaremos
λ(x0 , xk ) ≤ 2µ(x0 , · · · , xk ),
esto pues de ser cierta la desigualdad tendriamos que λ(x, y) ≤ 2dα (x, y) y que dα (x, y) < 21n implica que
λ(x, y) < 22n = 2n−1 1
y de esta manera x ∈ St(y, Bn−1 ) La prueba de la desigualdad se hara por inducción:
Para k = 1 es trivial.Asumimos que se cumple para k ≤ r, sea µ(x0 , · · · , xr+1 ) = a. Sea s el indice mas grande
tal que µ(x0 , · · · , xs ) < a2 , entonces µ(xs+1 , · · · , xr+1 ) < a2 , de lo contrario
a
µ(x0 , · · · , xs ) + λ(xs , xs+1 ) + µ(xs+1 , · · · , xr+1 ) = a < + µ(xs+1 , · · · , xr+1 )
2
entonces
a
µ(x0 , · · · , xs+1 ) = µ(x0 , · · · , xs ) + λ(xs , xs+1 ) <
2
Lo cual contradice la maximalidad de s. Además obtenemos por hipotesis de inducción obtenemos λ(x0 , xs ) <
2 a2 , λ(xs+1 , xr+1 ) < 2 a2 y también λ(xs+1 , xs+1 ) < a, elegimos el valor mas grande de 2−m que cumpla que
2−m ≤ a. Por la definición de λ tenemos que es cero o un valor de la forma 2−n , por lo que λ(x0 , xs ) <
2−m , λ(xs+1 , xr+1 ) < 2−m y también λ(xs+1 , xs+1 ) < 2−m y como consecuencia x0 ∈ St(xs , Bm ),xs ∈
St(xs+1 , Bm ) y xs+1 ∈ St(xr+1 , Bm ), de lo contrario para toda n ≥ m x0 ∈ / St(xs , Bn ),xs ∈
/ St(xs+1 , Bn )
y xs+1 ∈ / St(xr+1 , Bn ), por lo que λ(x0 , xs ) ≥ 2 , λ(xs+1 , xr+1 ) ≥ 2 y también λ(xs+1 , xs+1 ) ≥ 2−n
−n −n
∀n ≥ m. De lo anterior se sigue que existe V, W, Z ∈ Bm tal que xs , xs+1 ∈ V, x0 , xs ∈ W y xs+1 , xr+1 ∈ Z,

con ello x0 , xr+1 ∈ St(V, Bm ), por lo que como los Bl son refinamientos estrella existe U ∈ Bm−1 tal que
St(V, Bm ) ⊆ U .Entonces λ(x0 , xr+1 ) < 2−m+1 < 2a lo cual concluye el paso inductivo de la prueba de la
desigualdad.Para terminar sabemos que para cada St(y, Uα ) se cumple que
1
B(y, dα , ) ⊆ St(y, Bn−1 ) ⊆ St(y, Uα )
2n
por otro lado si consideramos una intersección finita de bolas ti=1 B(yi , dα , 21ni ),
T
de esta manera existen (St(yi , Bni +1 ))ti=1 abiertos en T (F) (pues son union de conjuntos de la forma St(w, Uα ))que
cumplen que
t t
\ \ 1
St(yi , Bni +1 ) ⊆ B(yi , dα , ni )
i=1 i=1
2
Lo cual concluye que T (F) = T (D)

Chapter 10
Convergencia
10.1 Sucesiones y Redes

Definición 10.1. Sean Z+ el conjunto de enteros positivos.Una sucesion en un espacio Y es una función ϕ : Z+ →
Y .Nosotros decimos que :
1. ϕ converge a y0 (es escribe ϕ → y0 ) si :
∀Uy0 ∃N ∈ Ntal que ∀n ≥ N : ϕ(n) ∈ Uy0
2. ϕ se acumula hacia y0 (es escribe ϕ y0 ) si :
∀Uy0 ∀N ∈ N∃n ≥ N : ϕ(n) ∈ Uy0
Definición 10.2. Un conjunto dirigido D es una conjunto preordenado con la siguiente propiedad: Para cada
a, b ∈ D, existe c ∈ D tal que a ≤ c y b ≤ c.Una red en un espacio Y es una función ϕ : D → Y , donde D es
un conjunto dirigido .Nosotros decimos que :
∀Uy0 ∃a ∈ Dtal que ∀b ≥ a : ϕ(b) ∈ Uy0
2. ϕ se acumula hacia y0 (es escribe ϕ y0 ) si :
∀Uy0 ∀a ∈ D∃b ≥ a : ϕ(b) ∈ Uy0
Definición 10.3. Sea D un conjunto dirigido. Le llamamos el conjunto terminal Ta determinado por a, al
conjunto
Ta = {b ∈ D|a ≤ b}
Entonces la definición anterior se reduce a
65
66 CHAPTER 10. CONVERGENCIA
∀Uy0 ∃Ta tal que ϕ(Ta ) ⊆ Uy0
2. ϕ se acumula hacia y0 si :
∀Uy0 ∀Ta ϕ(Ta ) ∩ Uy0
10.2 Bases filtradas en espacios

Definición 10.4. Sea Y un espacio.Una base filtrada A en Y es una familia A = {Aα |α ∈ A}de subconjuntos
de Y que tienen las dos siguientes propiedades:
1. ∀α ∈ Ase tiene que Aα
2. ∀α ∈ A, ∀βinB∃γ tal que Aγ ⊆ Aα ∩ Aβ
Proposición 10.1. Sean A, B dos filtros(bases filtradas) en Y .Entonces :
1.
A ∪ B = {Aα ∪ Bβ |(α, β) ∈ A × B}
Es un filtro.
2.
A ∩ B = {Aα ∩ Bβ |(α, β) ∈ A × B}
Tn
3. Para cada familia finita {Aα1 , · · · , Aαn } ⊆ A existe Aγ ∈ A tal que Aγ ⊆ i=1 Aαi
Proof. Trivial
Definición 10.5. Sea A = {Aα |α ∈ A} un filtro en Y .Entonces :
1. A converge a y0 (es escribe A → y0 ) si :
∀Uy0 ∃Aα tal que : Aα ⊆ Uy0
2. A se acumula hacia y0 (es escribe A y0 ) si :
∀Uy0 ∀Aα : Aα ∈ Uy0
Definición 10.6. Sean A, B dos filtros(bases filtradas) en Y .Entonces B esta subordinado a A, se escribe B ` A,
si
∀Aα ∃Bβ : Bβ ⊆ Aα
Proposición 10.2. 1. Si A ⊆ B, entonces B ` A..

10.3. CONVERGENCIA Y PROPOIEDADES DE FILTROS BASE 67
2. Si B ` A, entoncess cada miembro de B conoce a cada miembro de A.
3. Si A → y0 si y solo si A ` Uy0 (Uy0 el filtro de vecindades de y0 , es decir la familia de todas las vecindades
de y0 )
10.3 Convergencia y propoiedades de filtros base

Teorema 10.1. Y es Hausdorff si y solo si cada filtro convergente en Y converge solo a un punto.
Proof. ⇒) Asumimos que Y es Hausdorff y que A → y0 .Para cualquier y1 6= y0 , existen vecoindades disjuntas
Uy0 , Uy1 ; como por hipotesis existe Aα tal que Aα ⊆ Uy0 y como cualesquiera dos Aα , Aβ tiene intersección no
vacia, entonces no existe Aβ que cumpla Aβ ⊆ Uy1 , y como consecuencia A 9 y0 .
⇐) Supongamos que Y no es Hausdorff existen dos puntos y0 , y1 distintos tales que cualequiera dos de sus
vecindades siempre se intersectan , es decir ∀Uy0 , Uy1 se tiene que Uy0 ∩ Uy1 6= 0, pero sabemos que B =
Uy0 ∩ Uy1 es un filtro y evidentemente B → y0 , y1
10.4 cerradura en terminos de filtros base
10.5 Continuidad y convergencia en la topologia producto
10.6 Adecuacion de las sucesiones
10.7 Filtros bases maximales

68 CHAPTER 10. CONVERGENCIA
Chapter 11
Compacidad
69
70 CHAPTER 11. COMPACIDAD
Appendix A
The First Appendix
The \appendix command should be used only once. Subsequent appendices can be created using the Chapter
command.
71
72 APPENDIX A. THE FIRST APPENDIX
Appendix B
The Second Appendix
Some text for the second Appendix.

This text is a sample for a short bibliography. You can cite a book by making use of the command
\cite{KarelRektorys}: [1]. Papers can be cited similarly: [2]. If you want multiple citations to ap-
pear in a single set of square brackets you must type all of the citation keys inside a single citation, separating
each with a comma. Here is an example: [2, 3, 4].
73
74 APPENDIX B. THE SECOND APPENDIX
Bibliography
torys [1] Rektorys, K., Variational methods in Mathematics, Science and Engineering, D. Reidel Publishing Com-
pany, Dordrecht-Hollanf/Boston-U.S.A., 2th edition, 1975
oti97 [2] B ERT ÓTI , E.: On mixed variational formulation of linear elasticity using nonsymmetric stresses and dis-
placements, International Journal for Numerical Methods in Engineering., 42, (1997), 561-578.
l2001 [3] S ZEIDL , G.: Boundary integral equations for plane problems in terms of stress functions of order one,
Journal of Computational and Applied Mechanics, 2(2), (2001), 237-261.
son67 [4] C ARLSON D. E.: On Günther’s stress functions for couple stresses, Quart. Appl. Math., 25, (1967), 139-
146.
75
76 BIBLIOGRAPHY
Afterword
The back matter often includes one or more of an index, an afterword, acknowledgements, a bibliography, a
colophon, or any other similar item. In the back matter, chapters do not produce a chapter number, but they are
entered in the table of contents. If you are not using anything in the back matter, you can delete the back matter
TeX field and everything that follows it.
77

Topologia General

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Topologia General

Cargado por

Copyright:

Formatos disponibles

Topologı́a general

Ixcóatl Juárez López

1 Teoria Elemental de conjuntos 1

6 Topologı́a de Identificación; Topologı́a débil 39

7 Axiomas dee Separación 41

A The First Appendix 71

B The Second Appendix 73

Teoria Elemental de conjuntos

Proposición 1.1. Sean A, B, C conjuntos, entonces

Definición 1.3. Se define como el conjunto ∅A nulo o vacio de A, como:

1.2 Algebra booleana

La interseccion A ∩ B, de A y B se define como

se les llama disjuntos a cualesquiera dos conjuntos A y B tal que A ∩ B = ∅

jElem Proposición 1.3. Sean A, B, C, D cuatro conjuntos.Entonces

⇔ [(x ∈ A) ∧ (x ∈ B)] ∨ [(x ∈ A) ∧ (x ∈ C)]

Para la segunda parte observamos que

⇔ [(x ∈ A) ∨ (x ∈ B)] ∧ [(x ∈ A) ∨ (x ∈ C)]

Proposición 1.4. Los siguientes son equivalentes:

Definición 1.5. Consideramos A, B conjuntos.

1. El conjunto diferencia A \ B se define como :

2. Si B ⊆ A definimos CA (B) el conjunto complemento de B respecto de A como :

cConj Proposición 1.6. Si E es un conjunto que contiene la union A ∪ B, entonces :

organ Teorema 1.1. (De Morgan)

Observación 1.1. Consideramos A, B dos conjuntos y E = A ∪ B

= [(A ∩ C B) ∪ B] ∩ [(A ∩ C B) ∪ C A)]

= [(A ∪ B) ∩ (C B ∪ B)] ∩ [(A ∪ C A) ∩ (C B ∪ C A)]

1. Cada operación es conmutativa.

5. Cada operación es asociativa.

1.3 Producto Cartesiano

Definición 1.8. Sean A, B conjuntos, a ∈ A, b ∈ B. Definimos

(a, b) = {{a}{a, b}}

Definición 1.9. Sean A, B conjuntos. El producto cartesiano A × B, es le conjunto

Proposición 1.7. A × B = ∅ si y solo si A = ∅ ∨ B = ∅

Proposición 1.8. Si C × D 6= ∅, entonces C × D ⊆ A × B si y solo si C ⊆ A, D ⊆ B.

Teorema 1.2. El producto se distribuye en la intersección,union y diferencia.Es decir:

1.4 Familias de conjuntos

A )de esta familia de conjuntos es

En general la intersección de una familia de subconjuntos de Γ donde el conjunto de indices A = ∅ se define

1.5 Conjunto Potencia

Teorema 1.4. Sea (Aα )α∈A una familia de conjuntos.Entonces

1.6 Funciones o Mapeos

Proposición 1.10. Sea f : X → Y es una función, entonces:

1. Para cada A ⊆ X, se tiene que A ⊆ f −1 (f (A))

2. Para cada A ⊆ X, B ⊆ Y , se tiene que f (f −1 (B) ∩ A) = B ∩ f (A), en particular f (f −1 (B)) =

Proof. Para el primer inciso observamos que :

Para el segundo inciso s epuede notar que :

y ∈ f (f −1 (B) ∩ A) ⇔ ∃x ∈ f −1 (B) ∩ Atal que y = f (x)

⇔ ∃x ∈ f −1 (B) ∧ x ∈ Atal que y = f (x)

⇔ y ∈ B ∧ ∃x ∈ A tal que y = f (x)

g ◦ f = {(x, z) ∈ X × Z|∃y ∈ Y de tal forma que (x, y) ∈ f ∧ (y, z) ∈ g}

Proposición 1.11. Sean f : X → Y ,g : Y → Z funciones. Entonces (g ◦ f )−1 = f −1 ◦ g −1

Definición 1.13. Sean f : X → Y ,g : A → Y funciones, donde A ⊆ X.

1. La función f considerando solo el conjunto A se le llama la restricción de f sobre el conjunto A, se escribe

2. En la dirección opuesta si G : X → Y que coincide con g en A, se le conoce como la extensión de g sobre

Definición 1.15. Sea f : X → Y una función decimos que :

1. Es inyectiva si siempre que f (x) = f (y) e spor que x = y

2. Es sobre o suprayectiva si para todo y ∈ Y existe x ∈ X tal que y = f (x)

3. Es biyectiva si es inyectiva y sobre.

Definición 1.17. Una relación binaria R en A es llamada relacion de equivalencia si :

1. ∀a ∈ A se tiene que aRa.(Reflexividad)

2. Si aRb, entonces bRa.(Simetria)

3. Si aRb y bRc, entonces aRc.(Transitividad)

Adicionalmente al conjunto Ra se le conoce com la clase de equivalencia de a, donde :