Topologı́a general

Ixcóatl Juárez López

21/05/2018
II
Índice general

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

2. Ordinales y Cardinales 15

3. Espacios Topólógicos 17

4. Topologı́a Producto 19

5. Conexidad 21

6. Topologı́a de Identificación; Topologı́a débil 23

7. Axiomas dee Separación 25

8. Axiomas de cubiertas 27

9. Espacios métricos 29
9.1. Metricas de conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
9.2. Topologı́a Inducida por una métrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
9.3. Métricas Equivalentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
9.4. Continuidad de la Distancia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
9.5. Propiedades topologicas de espacios metricos . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
9.6. Producto cartesiano de espacios metricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2
9.7. El espacio l (A); El cubo de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
9.8. Metrización de espacios topológicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
9.9. Espacios Pseudometricos o Calibrados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
9.10. Espacios uniformes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44

III
IV ÍNDICE GENERAL

10. Convergencia 49
10.1. Sucesiones y Redes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
10.2. Bases filtradas en espacios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
10.3. Convergencia y propoiedades de filtros base . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
10.4. cerradura en terminos de filtros base . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
10.5. Continuidad y convergencia en la topologia producto . . . . . . . . . . . . . . . . . . . . . . . 51
10.6. Adecuacion de las sucesiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
10.7. Filtros bases maximales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51

11. Compacidad 53

A. The First Appendix 55

B. The Second Appendix 57

Afterword 61
Capı́tulo 1

Teoria Elemental de conjuntos

1.1. Conjuntos
Definició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

Proposició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

Demostración. Trivial

Definició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 CAPÍTULO 1. TEORIA ELEMENTAL DE CONJUNTOS

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

∅A = {x ∈ A|x 6= x}

Proposició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.

Demostración. 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

Definició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 ó 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 Proposició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

Demostración. 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 proposición para una familia de conjuntos {Ai }ni=1 queda bien definida la
union ni=1 Ai
S

Proposición 1.4. Los siguientes son equivalentes:

cont 1. A ⊆ B

int 2. A = A ∩ B

uni 3. B = A ∪ B
cont
int PropConjElem
Demostración. 1⇒2 Usando la Proposición 1.3 notamos que

A=A∩A⊆A∩B ⊆A

con lo cual A = A ∩ B.
4 CAPÍTULO 1. TEORIA ELEMENTAL DE CONJUNTOS

cont
int PropConjElem
1⇐2 Usando la Proposición 1.3 notamos que

A=A∩B ⊆B

con lo cual A ⊆ B.

unicont PropConjElem
3⇒1 Usando nuevamente la Proposición 1.3 notamos que

A⊆A∪B =B

con lo cual A ⊆ B.

unicont PropConjElem
3⇐1 Usando nuevamente la Proposición 1.3 notamos que

B ⊆A∪B ⊆B∪B =B

con lo cual B = A ∪ B.

Definició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).

Proposición 1.5. Si A, B son dos conjuntos cuya union esta contenida en E. Entonces

A \ B = A ∩ CE (B)

Demostración.
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 Proposició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)

Demostración.
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

Observació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
6 CAPÍTULO 1. TEORIA ELEMENTAL DE CONJUNTOS
PropBasicConj
PropConjElem
DeMorgan
Demostración. 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)

Definición 1.6. Sea X un conjunto le llamamos una operación binaria en X a una función + : X × X → X

Definició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 operació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 operació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

Definició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 ú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 opción es verlo como una funció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.

Definición 1.9. Sean A, B conjuntos. El producto cartesiano A × B, es le conjunto

A × B = {(a, b)|a ∈ A, b ∈ B}

Proposición 1.7. A × B = ∅ si y solo si A = ∅ ∨ B = ∅

Proposició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 intersecció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

Definició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 intsercción α∈A Aα (denotada de otra forma también como
:
\
A = {x ∈ Γ|∀α ∈ A : x ∈ Aα }

Teorema 1.3. Sean (Aα )α∈A , (Bβ )β∈B dos familias de subconjuntos de un conjunto común Γ, entonces:
8 CAPÍTULO 1. TEORIA ELEMENTAL DE CONJUNTOS

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 intersecció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 contradicció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
contradicción, pues A = ∅.

1.5. Conjunto Potencia

Definició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

Definició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 razó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 funció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 funció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)

Proposición 1.9. Sea f : X → Y es una funció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α )

Proposición 1.10. Sea f : X → Y es una funció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

Demostración. Para el primer inciso observamos que :

x ∈ A ⇒ f (x) ∈ f (A)

⇒ x ∈ f −1 (f (A))
10 CAPÍTULO 1. TEORIA ELEMENTAL DE CONJUNTOS

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 composició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}

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

Definición 1.13. Sean f : X → Y ,g : A → Y funciones, donde A ⊆ X.

1. La función f considerando solo el conjunto A se le llama la restricció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 dirección opuesta si G : X → Y que coincide con g en A, se le conoce como la extensió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 función, se cumple que para cualesquiera
α, β ∈ A se tienen que fα |Aα ∩Aβ = fβ |Aα ∩Aβ .Entonces existe una única extensión f : X → Y de todas las fα ’s.

Demostración. 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 función esta bien definida y claramente es extensión de cada fα ,
la unicidad sale de que es extensión de cada fα y el hecho de que {Aα |α ∈ A} es una cubierta de X

Definició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 partición de X.

Corolario 1.1. Si A = {Aα |α ∈ A} es una partición de X. Para cada α se tiene que fα : Aα → Y es una
función. Entonces existe una única extensión f : X → Y de todas las fα ’s.
1.6. FUNCIONES O MAPEOS 11

Definición 1.15. Sea f : X → Y una funció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 función f : X → Y sea biyectiva e inclusive de ahi
podemos definir una función g : Y → X tal que g ◦ f = f ◦ g = Id y se define a g como g(y) = f −1 (y)

Definición 1.16. una relación binaria R en un conjunto A es un subconjunto R ⊆ A × A, una pareja (a, b) ∈ R
se denota aRb

Definición 1.17. Una relació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}

Proposición 1.12. Sea R una relació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 = ∅

Observación 1.2. Sea A = {Aα |α ∈ A},definimos

[
R= Aα × Aα
α∈A

.Entonces R es una relación de equivalencia si y solo si A es una partición.

Definició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 función
pA : A → A/R dada por a → Ra es conocida como la proyección de A en A/R.

Definición 1.19. Sean A, B conjuntos y R, S relaciones de equivalencia en A, B respectivamente.Decimos que

una función f : A → B preserva las relaciones de equivalencia si aRa0 implica que f (a)Sf (a0 )
 12 CAPÍTULO 1. TEORIA ELEMENTAL DE CONJUNTOS

Teorema 1.7. Sean A, B conjuntos y R, S relaciones de equivalencia en A, B respectivamente y f : A → B

una funció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 funció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 relación de equivalencia y f∗ es la
inducida por f .

Demostración. 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 funció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.
Definición 1.20. Sean A, B dos clases,

A ⊆ B ⇐⇒ ∀x : x ∈ A ⇒ x ∈ A

A = B ⇐⇒ A ⊆ B ∧ B ⊆ A

lidad Axioma 1.1. (Individualidad)

(x ∈ A) ∧ (x = y) ⇒ (y ∈ A)

Definició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 Formació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
tambié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 funció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.

Proposición 1.13. Si Aes un conjunto y p una propiedad definida sobre un conjunto de variables como cuanti-
ficador.Entoces {x ∈ A|p(x)} es un conjunto.

Demostración. Recordamos que A(p) es una clase y asi

{x ∈ A|p(x)} = A ∩ A

Definició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
Proposición 1.14. Sea {Aα |α ∈ A} una familia de conjuntos, entonces {Aα |α ∈ A} es un conjunto.
AUnion S
Demostración. 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.
 14 CAPÍTULO 1. TEORIA ELEMENTAL DE CONJUNTOS

Proposición 1.15. Si A es un conjunto, entonces {A} tambien lo es.

Demostración. Consideramos que como ∅ es un conjunto, su conjunto potencia también lo es, es decir {∅} y de
Paridad
esta 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.

Proposición 1.16. El producto cartesiano de 2 conjuntos es un conjunto.

Demostración. 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.

Proposición 1.17. La clase de funciones entre dos conjuntos es un conjunto.

Demostración. 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
función, tenemos que
{f : A → B|f es función} = {f ∈ ℘(A × B)|m(f )}

Es un conjunto.

Proposición 1.18. La clase de todos los conjuntos no es un conjunto.

Demostración. Consideramos la clase de Russell R(p), si la clase A de todods los conjuntos fuera un conjunto,
tendriamos que A ∩ R(p) seria tambié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 fundación) En cada conjunto no vacio A existe u ∈ A tal que u ∩ A = ∅

Proposició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.

Demostración. 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 fundación Para la segunda conside-
ramos el conjunto {A, B} el cual nos da el mismo con el mismo razonamiento una contradiccion al axioma de
fundació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 fundació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

Proposición 1.20. La clase de los enteros no-negativos es un conjunto.

infinidad
Demostración. Sea A un conjunto que tiene las propiedades listadas en el Axioma ??, sea B ⊆ ℘(A) definido
infinidad
por B = {B ∈ ℘(A)|Btiene las propiedades del Axioma ??}, cada B ∈ B es un conjunto y ademas por lo
T
axiomas anteriores B tambien es un conjunto; ademá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 Elecció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
Definició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 elección.

3. Si {Aα |α ∈ A} es una familia no vacia de conjuntos no vacios, entonces existe una función c : A →
∪α∈A Aα tal que c(α) ∈ Aα ∀α ∈ A, c es llamada una función de elección.

Demostración. (1) ⇒ (2)

Q Q
Como α∈A Aα 6= ∅, exhibimos c ∈ α∈A Aα , entonces S = c(A) satisface el axioma de elección.

(2) ⇒ (3)
16 CAPÍTULO 1. TEORIA ELEMENTAL DE CONJUNTOS

Para cada α ∈ A, sea A0α = {α} × Aα ; cada A0α es no vacio y la familia (A0α )α∈A es ajena por pares,por el
axioma de elecció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 función S : A → α∈A Aα con la hipotesis necesaria para ser una funcion de elección
(3) ⇒ (1)

S Q
Consideramos c : A → α∈A Aα una funcion de elecció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 proyección pβ : {Aα |α ∈ A} → Aβ
tambien lo es.
Q
Demostración. Sea f ∈ {Aα |α ∈ B}, encontramos por el teorema anterior una función de elección c : A \
S Q
B → {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
Demostración. Sea x ∈ α∈A Aα , de esta forma x(α) ∈ Aα ∀α, debido a la hipótesis de la contención
Q
x(α) ∈ 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α )
α∈A α∈A α∈A

2.
Y [Y Y
Aα Bα ⊆ (Aα ∪ Bα )
α∈A α∈A α∈A
Q TQ Q Q
Demostración. Sea f ∈ α∈A Aα α∈A Bα , de esta manera f ∈ α∈A Aα y f ∈ Bα , se sigue que
Qα∈A
f (α) ∈ 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 notació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

Demostración. 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.

Proposición 1.21. Sea {Aα |α ∈ A} una familia de conjuntos, y asumimos que {Aα |λ ∈ L} es una partición
Q
en conjuntos no vacios.Sea T = {Aλ |λ ∈ L}.Entonces
\ h[ i [ h\ i
{Aα |α ∈ Aλ } = {At(λ) |λ ∈ L}
λ∈L t∈T
18 CAPÍTULO 1. TEORIA ELEMENTAL DE CONJUNTOS

Demostración.
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α

S T 
⇐⇒ x ∈ t∈T {At(λ) |λ ∈ L}

Para el tercer renglon observamos que para cada λ existe α = t(λ).

Para terminar la prueba basta probar la implicación opuesta en el tercer renglon.

Sabeos que ∀λ ∈ L∃α ∈ Aλ : x ∈ Aα , con esto observamos que el conjunto

Bλ = {α ∈ Aλ |x ∈ Aα } =
6 ∅

λ∈L Bλ ⊆ Bλ ⊆ T tal que

Q Q Q
para cada λ ∈ L, entonces existe t ∈ λ∈L Aλ , de esta manera existe t ∈ λ∈L
∀λ ∈ L se tiene que x ∈ At(λ)
Capı́tulo 2

Ordinales y Cardinales

2.1. Relaciones de Orden

Definición 2.1. Una relació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 además se le denota comunmente (A, ≺)
Definició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 tambié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.

Definició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 relació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 CAPÍTULO 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.

Definició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

Proposición 2.1. Cualquier conjunto bien ordenado es totalmente ordenado.

Demostración. 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:

1. El axioma de elección.

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.

3. Teorema de Zermelo(Principio del Buen orden): Todo conjunto puede ser bien ordenado.

Por ahora estudiaremos un concepto auxiliar para probar dicho teorema.

Definición 2.5. Sea X un conjunto, F ⊆ ℘(X) una familia no vacı́a de conjuntos, y sea ϕ : F → X una función
fija.La familia F es llamada una ϕ-torre siempre que :

1. ∅ ∈ F.

2. Si {Aα |α ∈ A} cualquier familia totalmente ordenada (por inclusión) de conjuntos en F, entonces

S
α∈A Aα ∈ F

3. Si A ∈ F,entonces A ∪ {ϕ(A)} ∈ F
T
Observació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

Demostración. 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
además A ∪ ϕ(A) ∈ µ, con lo cual A ∪ ϕ(A) ⊆ A y de esta manera ocurrirı́a que ϕ(A) ∈ A.
Introduciremos un pequeño concepto auxiliar en la demostración. Decimos que M ∈ µ es medial si y solo si :

∀Mα ∈ µ se tiene que Mα ⊆ M ó M ⊆ Mα

Mostraremos que cada M ∈ µ es medial .

I.-Sea M ∈ µ medial, entonces

∀Mα ∈ µ se tiene que Mα ⊆ M ó M ∪ ϕ(M ) ⊆ Mα

Demostración(de I): Sea

GM = {Mα ∈ µ|Mα ⊆ M ó M ∪ ϕ(M ) ⊆ Mα }

Probaremos que GM es una cadena.

i)∅ ∈ GM pues ∅ ⊆ M
ii)Sea {Mα |α ∈ A} una cadena en GM .

Como Mα ∈ GM hay 2 casos : a) ∃α ∈ A tal que M ∪ ϕ(M ) ⊆ Mα . b) ∀α ∈ A se tiene que Mα ⊆ M .

S
Caso a) M ∪ {ϕ(M )} ⊆ Mα ⊆ α Mα Caso b)Como ∀α ∈ A se tiene que Mα ⊆ M , entonces
[
Mα ⊆ M
α

S
En cualquiera de los casos α Mα ∈ GM .

c) Mα ∈ GM . Mα ∪ {ϕ(Mα )} ⊆ M ó 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 .
22 CAPÍTULO 2. ORDINALES Y CARDINALES

Como M es medial y Mα ∪ {ϕ(Mα )} ∈ µ.En adición tenemos Mα ∪ {ϕ(Mα )} ⊆ M ó 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α ó 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.
Sea Mα ∈ µ.Como M es medial por I

Mα ⊆ M ⊆ M ∪ ϕ(M ) ó M ∪ ϕ(M ) ⊆ Mα
2.2. LEMA DE ZORN,TEOREMA DE ZERMELO. 23

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
Demostración. (Demostracion de Teorema ??)
24 CAPÍTULO 2. ORDINALES Y CARDINALES
Capı́tulo 3

Espacios Topológicos

Definición 3.1. 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 .

25
26 CAPÍTULO 3. ESPACIOS TOPOLÓGICOS
Capı́tulo 4

Topologı́a Producto

27
28 CAPÍTULO 4. TOPOLOGÍA PRODUCTO
Capı́tulo 5

Conexidad

29
30 CAPÍTULO 5. CONEXIDAD
Capı́tulo 6

Topologı́a de Identificación; Topologı́a débil

31
32 CAPÍTULO 6. TOPOLOGÍA DE IDENTIFICACIÓN; TOPOLOGÍA DÉBIL
Capı́tulo 7

Axiomas dee Separación

33
34 CAPÍTULO 7. AXIOMAS DEE SEPARACIÓN
Capı́tulo 8

Axiomas de cubiertas

35
36 CAPÍTULO 8. AXIOMAS DE CUBIERTAS
Capı́tulo 9

Espacios métricos

9.1. Metricas de conjuntos

Definición 9.1. Le llamamos metrica en un conjunto Y a una funció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

Definición 9.2. A la pareja ordenada (X, d) donde d es una métrica en Y , le llamamos espacio métrico.

9.2. Topologı́a Inducida por una métrica

Definición 9.3. Definimos en un espacio mé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}

Proposición 9.1. La familia de Bolas (Bd (x, r))r>0,x∈Y es una base para una topologı́a.

Demostración. Trivial

Definició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 , también es llamada la topologia inducida por la metrica d
Definición 9.5. Un espacio topológico (Y, T ) se dice que es metrizable o mé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.

37
38 CAPÍTULO 9. ESPACIOS MÉTRICOS

Proposición 9.2. sea (X, T (d)), (Y, T (ρ)) dos espacios topológicos inducidos por una metrica. Cualquier fun-
ció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. Métricas Equivalentes

Definició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) < 

Demostración. ES directa la demostracion de la proposición de equivalencia de topologias via básicos y que

una base para las metricas son las bolas.

Corolario 9.1. Sea (Y, T (d)) un espacio métrico. Entonces para cada M > 0existe una metrica ρM ∼ d de tal
forma que ρM (x, y) ≤ M ∀x, y ∈ Y

Demostración. Definiendo
ρM (x, y) = mı́n(M, d(x, y))

Y de la proposición anterior es directa la equivalencia.

9.4. Continuidad de la Distancia

Definició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) = ı́nf{d(y0 , A)|a ∈ A}

2.
d(A, B) = ı́nf{d(a, b)|a ∈ A, b ∈ B}
 9.5. PROPIEDADES TOPOLOGICAS DE ESPACIOS METRICOS 39

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

Demostración. 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 funció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 topoló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.
40 CAPÍTULO 9. ESPACIOS MÉTRICOS

Demostración. 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.

Proposición 9.3. Cada espacio metrico es perfectamente normal.

Demostración. 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.

Demostración. Demostraremos que existe una sucesió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α

Definición 9.8. Un espacio Y es 1◦ -numerable si para cada y se tiene una base local de vecindades numerable.

Proposición 9.4. Cada espacio metrico es 1◦ -numerable.

Demostración. De la definició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, Lindelöf y separable son equivalentes.

Demostración. 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 41

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 ⇒ Lindelöf es resultado del capitulo anterior. Usaremos un pequeñ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
Proposició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
Demostración. 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 β-é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
42 CAPÍTULO 9. ESPACIOS MÉTRICOS

Demostración. Para probar el primer inciso, la condición de que δn (Yn ) este uniformemente acotado apartir
de una n0 es unicamente para que este bien definida nuestra mé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 µ = mı́n{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 contenció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 infin-
ta de indices in tales que existen x◦in , yi◦n ∈ Yin que satisfacen din (xin , yin ) ≥ . Si selecionamos un pun-
to x◦ ∈ n∈N Yn de tal forma que coincide en los indices correspondientes in con las x◦in , este elemento
Q

no tiene una vecindad del producto que este contenida en Bρ (x◦ , ) pues si asumimos que dicha existe diga-
mos hBdl1 (xl1 , r1 ), · · · , Bdln (xl1 , rn )i ⊆ Bρ (x◦ , ), con lo cual el punto z ◦ tal que zi◦n = yi◦n ∀in 6= lj
◦ ◦
zlj = xlj ∀lj , debido a que in es una familia de indices infinita existen indices in tales que zin = yi◦n y con
◦
9.7. EL ESPACIO L2 (A); EL CUBO DE HILBERT 43

esto z ◦ ∈ Bρ (x◦ , ), de esta manera d(xin , yin ) <  lo cual es una contradicció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

Definición 9.9. Sea A un conjunto, Rℵ(A) . El espacio métrico l2 (A) esta dado por :

1. Los elementos :cada sucesió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

Proposición 9.6. l2 (A) es separable si y solo si ℵ(A) ≤ ℵ0

Demostración. El regreso de la proposició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
intersecció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 .

Definición 9.10. El subespacio  

2 1
x ∈ l (ℵ0 )||xn | <
n
es llamado el cubo de Hilbert y se denota por I ∞

Proposición 9.7. El cubo de Hilbert I ∞ es homeomorfo a el producto

Q
n∈N In numerable de intervalos unita-
rios I

Demostración. Sabemos que cualquier intervalo unitario I es homeomorfo a J = [−1, 1], con ello ∞
Q
i=1 I ∼
Q∞ ∞ ∞ ∞
∼ i=1 J.Definimos ϕ : I ∞ → i=1 J como sigue ϕ(xn )n∈N =
Q Q
i=1 J, con lo cual basta probar que I
(nxn )n∈N , claramente ϕ es biyectiva y es continua pues la composicion con cada proyeccción es continua.

Para ver la continuidad de la inversa usamos las metricas

|xn − yn |
dn (xn , yn ) = 1
n4
44 CAPÍTULO 9. ESPACIOS MÉTRICOS
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.

Proposición 9.8. El interior de I ∞ en l2 (ℵ0 ) es vacio, asi el complemento de I ∞ es denso.

Demostración. 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. Metrización de espacios topológicos

Teorema 9.8. (J. Nagata y Yu. M. Smirnov) Un espacio topoló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

Demostración. ⇒)
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 además es una base para Y ; la
primera afirmación ya esta probada. Para la segunda afirmació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. METRIZACIÓN DE ESPACIOS TOPOLÓGICOS 45

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 funció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 <∞
46 CAPÍTULO 9. ESPACIOS MÉTRICOS

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 función cerrada:Para A ⊆ Y un cerrado y y ∈ / A, entonces para algú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.

Demostración. Trivial

Proposició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. METRIZACIÓN DE ESPACIOS TOPOLÓGICOS 47

Demostración.
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

Proposición 9.10. Sea (Y, d) un espacio metrico y B = {Bn |n ∈ N} una sucesió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

Demostración. para cada n ∈ N consideramos Wn un refinamiento común de Bn y de {Bρ (y, n1 )|y ∈ Y },

y sea Un un refinamiento abierto localmente finito de un refinamiento baricé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 sucesió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 sucesió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 sucesión {Un |n ∈ N} de cubiertas abiertas que es localmente
estrellada para cada cubierta abierta.
Metrizable
Morita
Demostración. 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 sucesión de cubiertas

{Bn |n ∈ N}

que es localmente estrellada para cada sucesión de cubiertas abiertas. Definimos

1
Bn = {B(x, )|x ∈ X}.
n
 48 CAPÍTULO 9. ESPACIOS MÉTRICOS

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α

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 }

Consideremos una cubierta abierta {Uα |α ∈ A}, un x ∈ X y un Uα que tenga a x, consideramos una n adecuada
1
tal que d(x, C(Uα )) > n1 , tomando V (x) = B(x, 3n ), ademá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 implicació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 tambié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 49

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) tambié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 existe
aStone
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 como
angel Fn ≺ Fk ⊆ Wy , de esta manera y como IntSt(z, Fn ) ⊆ St(z, Fn ), concluimos lo deseado. ()⇒() Solo basta ver
Stone
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 hipó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

Definición 9.11. Le llamamos calibración en un conjunto Y a una funció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
50 CAPÍTULO 9. ESPACIOS MÉTRICOS

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) < }

Definició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 separació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 separación, la topologı́a T (D) conocida como la topologia inducida
por la familia de separación D es la topologı́a definida por la subbase

B(D) = {B(x, d, )|y ∈ Y, dα ∈ D,  > 0}

Definición 9.13. Sea Y un conjunto y D = {dα |α ∈ A} una familia de calibraciones de separación.Decimos

que D es una estructura de calibración para el espacio topologico (Y, T ) si T = T (D). Un espacio topológico
que admite una estructura de calibración se le conoce como un espacio calibrado.

Proposición 9.11. Sea Y un conjunto y D = {dα |α ∈ A} una familia de calibraciones de separaciónen

Y .Definimos D+
D+ = {máx(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).

Demostración. Basta notar que cualquier intersecció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+ = máxi=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 | máx dαi (x, y) < 
i=1,··· ,n

= B(x, d+ , )
9.9. ESPACIOS PSEUDOMETRICOS O CALIBRADOS 51

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 , mı́ni=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 intersección finita de bolas D-calibradas.

Definición 9.14. Consideramos (Yα )α∈A una familia de conjuntos con dβ una calibración en Yβ , entonces defi-
nimos dˆ la calibració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 calibració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β através de los miembros de Dβ . Entonces la familia {Dˆβ |β ∈ B}
Q S

la familia de calibraciones es una estructura de calibración para nuestro espacio producto.

Demostración. El primer inciso es directo y se deja como ejercicio.

Para el segundo consideramos un bá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, máx dαi , ) = B(x, máx
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, máx
Sn dˆs , )|x ∈ Y,  > 0, dˆs ∈ {Dˆβ |β ∈ B}
s∈ i=1 αi

es una base para la topologı́a producto.

52 CAPÍTULO 9. ESPACIOS MÉTRICOS

Teorema 9.11. Un espacio Y es regular si y solo si es un espacio calibrado.

Demostración. Asumamos Y con estructura de calibración D. Sea y0 ∈ U un abierto.Entonces existe d+ ∈ D+

y  > 0 tal que B(y0 , d+ , ) ⊆ U , definimos f (y) = mı́n[1, −1 d+ (y, y0 )], la cual es una funció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 también lo es.

Corolario 9.4. Un espacio es completamente regular es metrizable si y solo si admite una esturctura de cali-
bración a lo mas numerable.

Demostración. La ida es evidente.

Para el regreso consideramos una estructura de calibración a lo mas numerable D = {dn |n ∈ N}, y defini-
mos la siguiente metrica:
X∞
d(x, y) = mı́n[dn (x, y), 2−n ]
i=1

lo cual claramente es una metrica.

9.10. Espacios uniformes

Definició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 }

Definició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 53

2. Una estructura uniforme si :

a) F es una uniformidad .
T
b) Si V ∈ F y V ⊆ W , entonces W ∈ F Si además {V |V ∈ F} = ∆, a F se le llama de separació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 )

Definició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 última es llamada la uniformizacion determinada por D

Proposició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

Definición 9.18. Decimos que dos puntos x, y ∈ Y son V -cercanos si (x, y) ∈ V .Definimos
Definición 9.19. Una familia G = {Uα |α ∈ A} es llamada una familia de uniformización si :

1. Cada par de cubiertas Uα , Uβ ∈ G existe un refinamiento común Uγ ∈ G

2. Para cada cubierta Uα ∈ G existe un refinamiento baricentrico Uβ ∈ G

La familia se dice que es de separación si para cada par de puntos x 6= y ∈ Y existe Uα ∈ G tal que y ∈
/ St(x, Uα )
S
acion Proposición 9.13. 1. Sea G = {Uα |α ∈ A} una familia de uniformización. Para cada α ∈ A,Vα = {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 uniformización y además u(c(F)) es equivalente a F
Uniformizacion
Demostración. 1 Sabemos que ∆ ⊆ Vα para cada α pues cada Uα es una cubierta.Por otro lado consideramos
Vα , Vβ , con α, β ∈ A, como G es una uniformización tenemos que existe un refinamiento común Uγ para Uα , Uβ .
Entonces Vγ ⊆ Vα ∩ Vβ .

Consideramos Vα y un refinamiento baricé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
54 CAPÍTULO 9. ESPACIOS MÉTRICOS

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 comú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.

Definició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 uniformización, definimos la topologı́a generada por F como la topologia cuya base
es
T (G) = {St(y, Uα )|y ∈ Y, α ∈ A}

Un espacio topológico derivado de una uniformidad, se le conoce como un espacio uniforme.

3. Sea (Y, T )un espacio topológico. Decimos que una uniformidad F en Y es compatible con la topologia si
T = T (F)
Observació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 separación.
9.10. ESPACIOS UNIFORMES 55

Teorema 9.12. Sea (Y, T ) un espacio topológico y F una uniformidad de separación compatible con la topo-
logı́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.

Demostración. Asumimos que la uniformidad esta dada por una familia de uniformización de cubiertas abiertas
G = {Uα |α ∈ A}. Para cada cubierta abierta Uα construimos una calibración dα como sigue: Sea B0 =
{Y }, Uα y definimos una sucesió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 refinamiento baricentrico de W , B termina siendo un refinamiento estrella de W ). Para cada par de puntos
x, y ∈ Y , sea

λ(x, y) = ı́nf{2−n |x ∈ St(y, Bn )}

µ(x0 , · · · , xk ) = λ(x0 , x1 ) + λ(x1 , x2 ) + · · · + λ(xk−2 , xk−1 ) + λ(xk−1 , xk )

dα (x, y) = ı́nf{µ(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 ).
Nosotros mostraremos también que B(y, dα , 21n ) ⊆ 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 inducció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. Además obtenemos por hipotesis de inducción obtenemos λ(x0 , xs ) <
2 a2 , λ(xs+1 , xr+1 ) < 2 a2 y también λ(xs+1 , xs+1 ) < a, elegimos el valor mas grande de 2−m que cumpla que
2−m ≤ a. Por la definició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 tambié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−n , λ(xs+1 , xr+1 ) ≥ 2−n y también λ(xs+1 , xs+1 ) ≥ 2−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
56 CAPÍTULO 9. ESPACIOS MÉTRICOS

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 intersecció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)

Capı́tulo 10

Convergencia

10.1. Sucesiones y Redes

Definición 10.1. Sean Z+ el conjunto de enteros positivos.Una sucesion en un espacio Y es una funció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

Definició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 función ϕ : D → Y , donde D es
un conjunto dirigido .Nosotros decimos que :

1. ϕ converge a y0 (es escribe ϕ → y0 ) si :

∀Uy0 ∃a ∈ Dtal que ∀b ≥ a : ϕ(b) ∈ Uy0

2. ϕ se acumula hacia y0 (es escribe ϕ  y0 ) si :

∀Uy0 ∀a ∈ D∃b ≥ a : ϕ(b) ∈ Uy0

Definició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 definición anterior se reduce a

57
58 CAPÍTULO 10. CONVERGENCIA

1. ϕ converge a y0 (es escribe ϕ → y0 ) si :

∀Uy0 ∃Ta tal que ϕ(Ta ) ⊆ Uy0

2. ϕ se acumula hacia y0 si :
∀Uy0 ∀Ta ϕ(Ta ) ∩ Uy0

10.2. Bases filtradas en espacios

Definició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β

Proposició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

Demostración. Trivial

Definició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

Definició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α

Proposición 10.2. 1. Si A ⊆ B, entonces B ` A..

10.3. CONVERGENCIA Y PROPOIEDADES DE FILTROS BASE 59

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.

Demostración. ⇒) 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
intersecció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

60 CAPÍTULO 10. CONVERGENCIA
Capı́tulo 11

Compacidad

61
62 CAPÍTULO 11. COMPACIDAD
Apéndice A

The First Appendix

The \appendix command should be used only once. Subsequent appendices can be created using the
Chapter command.

63
64 APÉNDICE A. THE FIRST APPENDIX
Apéndice 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{KarelRek
[1]. Papers can be cited similarly: [2]. If you want multiple citations to appear 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].

65
66 APÉNDICE B. THE SECOND APPENDIX
 Bibliografı́a

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 Ó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 Günther’s stress functions for couple stresses, Quart. Appl. Math., 25, (1967), 139-146.

67
68 BIBLIOGRAFÍA
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.

69