UNIVERSIDAD NACIONAL DEL ALTIPLANO

FACULTAD DE INGENIERÍA CIVIL Y ARQUITECTURA

ESCUELA PROFESIONAL DE CIENCIAS FÍSICO
MATEMÁTICAS

“EL LEMA DE URYSOHN Y ALGUNAS DE SUS

APLICACIONES”

TESIS

PRESENTADO POR:

FRANCISCO QUISPE MACHACA

PARA OPTAR EL TÍTULO PROFESIONAL DE:

LICENCIADO EN CIENCIAS FÍSICO MATEMÁTICAS

PUNO- PERÚ

2018
 UNIVERSIDAD NACIONAL DEL ALTIPLANO
FACULTAD DE INGENIERÍA CIVIL Y ARQUITECTURA
ESCUELA PROFESIONAL DE CIENCIAS FÍSICO MATEMÁTICAS
"EL LEMA DE URYSOHN Y ALGUNAS DE SUS APLICACIONES"
TESIS PRESENTADO POR:
FRANCISCO QUISPE MACHACA
PARA OPTAR EL TITULO PROFESIONAL DE:
LICENCIADO EN CIENCIAS FÍSICO MATEMÁTICAS
FECHA DE SUSTENTACIÓN: 20 DE JUNIO DEL 2018
APROBADO POR EL JURADO REVISOR CONFORMADO POR:

PRESIDENTE:

PRIMER MIEMBRO:

SEGUNDO MIEMBRO:

DIRECTOR:

TEMA: Teorema (Lema de Urysohn)

ÁREA: Topología
LINEA DE INVESTIGACIÓN: Matemática Pura
Dedicatoria
A Dios.
Por haberme permitido llegar hasta este
punto y haberme dado salud para lograr
mis objetivos, además de su infinita bondad
y amor.

A mi madre Marı́a.
Por haberme apoyado en todo momento, por
sus consejos, por la motivación constante
que me ha permitido ser una persona de
bien, pero más que nada, por su amor.
 Agradecimientos
En primer lugar deseo expresar mi agradecimiento al director de esta tesis, Mg.
Julio César Villalta, por la dedicación y apoyo que ha brindado a este trabajo, por el
respeto a mis sugerencias e ideas.

Asimismo, agradezco también a todos los profesores de la escuela profesional de Ciencias

Fı́sico Matemáticas de la Universidad Nacional del Altiplano, por ser orientadores de mi
vida profesional.

A mis padres y a mis hermanos, porque con ellos compartı́ una infancia feliz, que guardo
en el recuerdo y es un aliento para seguir escribiendo sobre la infancia.
 Índice General
Dedicatoria 3

Agradecimientos 4

ı́ndice de Figuras 7

Resumen 8

Abstract 9

1. Introducción 10

1.1. Planteamiento del problema . . . . . . . . . . . . . . . . . . . . . . . . 11

1.2. Formulación del problema . . . . . . . . . . . . . . . . . . . . . . . . . 12

1.3. Hipótesis de la investigación . . . . . . . . . . . . . . . . . . . . . . . . 12

1.4. Justificación del estudio . . . . . . . . . . . . . . . . . . . . . . . . . . . 12

1.5. Objetivos de la investigación . . . . . . . . . . . . . . . . . . . . . . . . 12

1.5.1. Objetivo general . . . . . . . . . . . . . . . . . . . . . . . . . . 12

1.5.2. Objetivos especı́ficos . . . . . . . . . . . . . . . . . . . . . . . . 12

2. Revisión de literatura 14

2.1. Espacios Métricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14

2.1.1. Espacios Vectoriales . . . . . . . . . . . . . . . . . . . . . . . . 14

2.1.2. Espacios Normados . . . . . . . . . . . . . . . . . . . . . . . . . 16

2.1.3. Espacios Métricos . . . . . . . . . . . . . . . . . . . . . . . . . 17

2.1.4. Conjuntos Abiertos y Cerrados . . . . . . . . . . . . . . . . . . . 20

2.1.5. Convergencia y Continuidad . . . . . . . . . . . . . . . . . . . . 27

 2.1.6. Completitud . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38

2.1.7. Compacidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43

2.2. Teória Topológica de Conjuntos . . . . . . . . . . . . . . . . . . . . . . 47

2.2.1. Espacios Topológicos . . . . . . . . . . . . . . . . . . . . . . . . 47

2.2.2. Base de una Topologı́a . . . . . . . . . . . . . . . . . . . . . . . 53

2.2.3. Continuidad y Convergencia de Redes . . . . . . . . . . . . . . . 58

2.2.4. Compacidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67

2.2.5. Topologı́a Producto . . . . . . . . . . . . . . . . . . . . . . . . . 70

2.2.6. Axiomas de Separación . . . . . . . . . . . . . . . . . . . . . . . 73

2.3. Lema de Urysohn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78

3. Materiales y Métodos 83

3.1. Materiales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83

3.2. Presupuesto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83

3.3. Métodos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84

4. Resultados y Discusión 85

4.1. Metrización de Urysohn . . . . . . . . . . . . . . . . . . . . . . . . . . 85

4.2. Extensión de Tietze . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88

4.3. Conexión entre el Lema de Urysohn y el Teorema de Extesión de Tietze . 91

5. Conclusiones 94

6. Recomendaciones 95

Referencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
 Índice de Figuras
2.1. Unicidad del Lı́mite . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31

2.2. Espacio T0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73

2.3. Espacio T1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73

2.4. Espacio Normal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77

2.5. Ilustración de la función f (2.9) . . . . . . . . . . . . . . . . . . . . . . . 80

2.6. Ecuación de la recta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82

 Resumen
En el presente trabajo de investigación, primeramente se prueba el Teorema de
Urysohn (lema de Urysohn), en el cual indica que un espacio topológico es normal si,
y sólo si, cualquier par de subconjuntos disjuntos y cerrados pueden ser separados por
una función continua. Este lema se utiliza comúnmente para la construcción de funciones
continuas con varias propiedades en espacios normales. Es ampliamente aplicable, ya que
todos los espacios métricos y todos los espacios de Hausdorff compactos son normales.
Una primera aplicación del Lema de Urysohn constituye el Teorema de Metrización de
Urysohn. Otra aplicación es el Teorema de Extensión de Tietze. Finalmente, probamos un
Teorema que estable la conexión entre el lema de Urysohn y el Teorema de extensión de
Tietze.

Palabras clave: Lema de Urysohn, Teorema extensión deTietze, Espacios normales, Es-
pacio topológico metrizable.

8
 Abstract
In the present research work, the Theorem (Urysohn’s lemma) is first shown, in
which it indicates that a topological space is normal if, and only if, any pair of disjoint and
closed subsets can be separated by a continuous function. This lemma is commonly used
for the construction of continuous functions with several properties in normal spaces. It is
widely applicable, since all metric spaces and all compact Hausdorff spaces are normal. A
first application of the Urysoh’n Lemma, we consider the Urysoh’n Metrization Theorem.
Another application is the Tietze Extension Theorem. Finally, we will prove a Theorem to
establish the connection between the Urysoh’n lemma and Tietze’s Extension Theorem.

Keywords: Urysohn’s Lemma,Tietze’s extension theorem, Normal spaces, Metrizable to-

pological space.

9
 Capı́tulo1

Introducción
La topologı́a, es una de las ramas más jóvenes de las matemáticas, en contraste
con el álgebra, la geometrı́a y la teorı́a de números, cuyos orı́genes se remontan a la
antiguedad, sin embargo, la topologı́a hace su gran aparición en el siglo XVII.

Este trabajo se realiza en base a la siguiente pregunta ¿Existe una función continua
no constante de un espacio topológico pX, T q con valores reales?. Si pX, T q es normal,
la respuesta es sorprendente y es dada por un lema. Dicho lema lleva por nombre el lema
de Urysohn, el cual indica que un espacio topológico es normal si, y sólo si, cualquier
par de subconjuntos disjuntos y cerrados pueden ser separados por una función continua.
Este lema se utiliza comúnmente para la construcción de funciones continuas con varias
propiedades en espacios normales. Es ampliamente aplicable, ya que todos los espacios
métricos y todos los espacios de Hausdorff compactos son normales.

Pocas veces, durante los estudios universitarios, tocamos dicho lema, pero cuando
lo hacemos es para realizar pasos fundamentales en una demostración o teorı́a. Vamos a
ofrecer tres aplicaciones de dicho lema.

1) La primera aplicación es un resultado topológico y nos dice cuando un espacio to-

pológico pX, T q es metrizable, es decir, cuando podemos afirmar que existe una métri-
ca en X de forma que la topologı́a del correspondiente espacio métrico sea la misma
que la que ya tenı́amos, es decir, T . El resultado afirma que si el espacio satisface el
segundo axioma de numerabilidad y es normal, entonces es metrizable.

2) Una segunda aplicación del lema de Urysohn, es el teorema de extensión de Tietze,

el cual afirma que siendo pX, T q un espacio normal, Y un subespacio cerrado de X
y f : Y Ñ R continua tal que f pY q Ă ra, bs, entonces existe una función continua
fr : X Ñ R con frpXq Ă ra, bs que extiende f .

10
3) Finalmente, una interesante consecuencia de lema de Urysohn y del teorema de exten-
sión de Tiezte muestra que la normalidad es precisamente la condición para que estos
dos resultados trabajen. Más precisamente este resultado indica que para un espacio
T1 , pX, T q, las siguientes condiciones son equivalentes:

(a) X es normal.

(b) Para cualesquiera conjuntos cerrados y disjuntos F, G Ă X, existe una función

continua f : X Ñ R tal que f pXq Ă r0, 1s, f |F “ 0 y f |G “ 1.

(c) Para cualesquiera conjuntos cerrados y disjuntos F, G Ă X, existe una función

continua f : X Ñ R tal que f |F “ 0 y f |G “ 1.

(d) Para cualquier subespacio cerrado Y de X y para cualquier función f : Y Ñ R

con f pY q Ă ra, bs, existe una función continua fr : X Ñ R con frpXq Ă ra, bs tal
que fr|Y “ f.

(e) Para cualquier subespacio cerrado Y de X y para cualquier función f : Y Ñ R,

existe una función continua fr : X Ñ R tal que fr|Y “ f.

1.1. Planteamiento del problema

En la actualidad, la Topologı́a es una nueva rama de la matemática muy inves-

tigada, debido a la existencia de muchos problemas abiertos y aplicaciones interesantes.
Los objetos de estudio, espacios topológicos, muestran una gran diversidad de problemas.
Uno a menudo está interesado en funciones continuas, el concepto de función continua
es básico para una gran parte de las matemáticas, el número de funciones continuas de un
espacio topológico X con valores en un espacio R puede variar mucho, dependiendo de
las topologı́as: todo es posible desde ”todas las funciones son continuas” hasta ”sólo las
funciones constantes son continuas ”. La investigación propuesta está basada en la exis-
tencia de funciones continuas no constantes de un espacio topológico de X con valores
reales.

11
1.2. Formulación del problema

La presente investigación se plantea, responder la siguiente interrogante: ¿Existe

una función continua no constante de un espacio topológico normal X con valores reales?

1.3. Hipótesis de la investigación

Sea pX, T q un espacio topológico. En gerenal no existe una función continua de

X en R. Si X es un espacio normal obtenemos un resultado sorprendente (y sorprenden-
temente facil de probar) y es dado por el Lema de Urysohn.

1.4. Justificación del estudio

El Lema de Urysohn es uno de esos resultados que el alumno lo recibe más o me-
nos indiferente a pesar de los esfuerzos por parte del profesor en insistir de su importancia,
pocas veces, durante la licenciatura, saldrá dicho Lema, pero cuando aparezca será para
hacer pasos fundamentales en una demostración o teorı́a, por ejemplo una caracterización
de los espacios normales.

1.5. Objetivos de la investigación

1.5.1. Objetivo general

Establecer la prueba del Teorema (Lema de Urysohn)

1.5.2. Objetivos especı́ficos

- Aplicar el Teorema (Lema de Urysohn) para demostrar cuando un espacio topológico

es metrizable.

- Aplicar el Teorema (Lema de Urysohn) para establecer y probar el teorema de extensión

12
 de Tietze

- Aplicar el Teorema (Lema de Urysohn) para establecer la conexión entre el lema de

Urysohn y el Teorema de extensión de Tietze.

13
 Capı́tulo2

Revisión de literatura
En este capı́tulo presentaremos un resumen de los resultados básicos necesarios
para el desarrolo de los capı́tulos siguientes, abordaremos algunos conceptos a cerca de los
espacios normados, espacios métricos, convergencia y continuidad en espacios métricos,
espacios métricos completos, espacios topológicos, base de una topologı́a, continuidad y
convegencia de redes, axiomas de separación. Tales conceptos son imprescindibles para
el entendimiento de la demostración de los resultados que son consecuencias del Teorema
(lema) de Urysohn.

2.1. Espacios Métricos

2.1.1. Espacios Vectoriales

Definición 2.1 (Espacio Vectorial). Un conjunto V , no vacio, se llama ESPACIO VEC-

TORIAL sobre un campo F si está provisto de dos operaciones: suma p`q y producto p¨q,
definidos de la manera siguiente:

`:V ˆV ÑV ¨:FˆV ÑV

px, yq Ñ x ` y pα, xq Ñ αx

tales que para todo x, y, z P V y α, β P F, dichas operaciones satisfacen los axiomas

siguientes:

A1. px ` yq ` z “ x ` py ` zq

A2. x ` y “ y ` x

A3. Existe 0! P V tal que x ` 0 “ x.

A4. Para cada x P V , existe único ´x P V tal que x ` p´xq “ 0.

14
 P1. αpx ` yq “ αx ` αy

P2. pα ` βqx “ αx ` βx

P3. αpβxq “ pαβqx

P4. Existe 1 P F tal que 1 ¨ x “ x

Los elementos de V se llaman VECTORES y los elementos de F se llaman ESCALARES.

(Norman B. Haaser, 1978, Pág. 61)

Ejemplo 2.1 ( Espacio Rn ). Sea Rn “ tpx1 , ¨ ¨ ¨ , xn q : x1 , ¨ ¨ ¨ , xn P Ru. Se definen sobre

Rn la suma y producto por escalares mediante:

x ` y “ px1 ` y1 , ¨ ¨ ¨ , xn ` yn q, αx “ pαx1 , ¨ ¨ ¨ , αxn q

donde x “ px1 , ¨ ¨ ¨ , xn q, y “ py1 , ¨ ¨ ¨ , yn q P Rn y α P R. Entonces Rn es un espacio

vectorial.

Ejemplo 2.2. Sea V el conjunto de todas las funciones de un conjunto no vacio X en un

campo F. Para todo par de funciones f, g P V y todo escalar α P F, sean f ` g y kf las
funciones en V con valores en F definidas por:

pf ` gqpxq “ f pxq ` gpxq y pαf qpxq “ αf pxq, @x P X.

Entonces V es un espacio vectorial sobre F.

Definición 2.2 (Subespacio Vectorial). Sea W ‰ H un subconjunto de un espacio vec-

torial V sobre un campo F. Se dice que W es un subespacio vectorial de V , si W es un
espacio vectorial sobre F con respecto a las operaciones de V : suma de vectores y pro-
ducto por un escalar.
(Lipschutz, 1992, Pág.170)

Teorema 2.1. Sea W es un subconjunto de un espacio vectorial V . Entonces W es un

subespacio vectorial de V si se cumple:

(a) 0 P W .

15
(b) Para todo par de vectores u, v P W , la suma u ` v P W .

(c) Para todo u P W y para todo α P F, la multiplicación αu P W .

Demostración. Para la prueba ver (Lipschutz, 1992, Pág. 194)

Ejemplo 2.3. Sea X ‰ H un conjunto. El conjunto de las funciones acotadas de X en R

es un subespacio del espacio vectorial:

F pX, Rq “ tf : X Ñ R : f es una funciónu .

Ejemplo 2.4. Sean U y W subespacios de un espacio vectorial V . Entonces la intersec-

ción U X W es también un subespacio de V .

2.1.2. Espacios Normados

Definición 2.3 (Espacios Normados). Sea E un espacio vectorial sobre un campo F “ R

ó F “ C. Una norma en E es una función k k : E Ñ R tal que:

(N1) kxk ě 0 para todo x P E, con kxk “ 0 si, y sólo si, x “ 0

(N2) kλxk “ |λ| kxk para todo λ P F y x P E

(N3) kx ` yk ď kxk ` kyk para todo x, y P E

Un espacio vectorial normando es un par pE, k kq donde E es un espacio vectorial y k k

es una norma en E.
(Lima, 1976, Pág.23)

Ejemplo 2.5. Sea X cualquier conjunto no vacio. Sea BpX, Rq el conjunto de todas las
funciones acotadas con valores reales. Entonces

kf k8 “ sup t|f ptq| : t P Xu

define una norma en BpX, Rq.

16
Ejemplo 2.6 (Espacio C pr0, 1s , Fq). Sea E “ C pr0, 1s , Fq el espacio de todas las fun-
ciones continuas definidas en el intervalo r0, 1s con valores en F. La función definida en
E por:

kf k8 “ sup t|f ptq| : t P r0, 1su

es un norma en E.

2.1.3. Espacios Métricos

Definición 2.4 (Espacios Métricos). Sea X un conjunto. Una métrica sobre X es una
función d : X ˆ X Ñ R con las siguientes propiedades:

(M1) dpx, yq ě 0 para todo x, y P X y dpx, yq “ 0 si y sólo si x “ y

(M2) dpx, yq “ dpy, xq para todo x, y P X

(M3) dpx, zq ď dpx, yq ` dpy, zq para todo x, y, z P X

Un espacio métrico es un par pX, dq, donde X es un conjunto y d es una métrica en X.

Si la métrica es obvia o irrelevante para un estudio particular, el espacio métrico pX, dq se
escribirá por X.
(Runde, 2005, Pág.23)

Ejemplo 2.7 (El espacio Euclidiano Rn ). Rn con la métrica euclidiana es un espacio

métrico. Sea X “ Rn y
d
n
ÿ
n n
d : R ˆ R Ñ R, px, yq ÞÑ dpx, yq “ pxi ´ yi q2
i“1

c n
ř
(M1) dpx, yq “ pxi ´ yi q2 ě 0, @x, y P Rn , y dpx, yq “ 0 ô x “ y
i“1

(M2) dpx, yq “ dpy, xq para todo x, y P Rn .

17
 En efecto,
d
n
ÿ
dpx, yq “ pxi ´ yi q2
i“1
d
n
ÿ
“ pyi ´ xi q2
i“1

dpx, yq “ dpy, xq, @x, y P Rn

(M3) dpx, zq ď dpx, yq ` dpy, zq para todo x, y, z P Rn .

En efecto, sean los números reales u1 , u2 , ¨ ¨ ¨ , un y v1 , v2 , ¨ ¨ ¨ , vn satisfacen la de-
sigualdad de Cauchy siguiente:
˜ ¸2 ˜ ¸˜ ¸
n
ÿ n
ÿ n
ÿ
ui vi ď ui 2 vi 2 . (2.1)
i“1 i“1 i“1

De la desigualdad (2.1) y haciendo ai “ xi ´ yi y bi “ yi ´ zi

˜ ¸2 ˜ ¸˜ ¸
n
ÿ n
ÿ n
ÿ
ai bi ď ai 2 bi 2
i“1 i“1 i“1
˜ ¸ d d
n
ÿ n
ÿ n
ÿ
2 ai b i ď2 2
ai ¨ bi 2
i“1 i“1 i“1
˜ ¸ d d
n
ÿ n
ÿ n
ÿ n
ÿ n
ÿ n
ÿ n
ÿ
ai 2 ` bi 2 ` 2 ai b i ď ai 2 ` bi 2 ` 2 ai 2 ¨ bi 2
i“1 i“1 i“1 i“1 i“1 i“1 i“1
˜d d ¸2
n
ÿ n
ÿ n
ÿ
2
pai ` bi q ď 2
ai ` bi 2
i“1 i“1 i“1
d d d
n
ÿ n
ÿ n
ÿ
pai ` bi q2 ď ai 2 ` bi 2
i“1 i“1 i“1
d d d
n
ÿ n
ÿ n
ÿ
2 2
pxi ´ zi q ď pxi ´ yi q ` pyi ´ zi q2
i“1 i“1 i“1

dpx, zq ď dpx, yq ` dpy, zq

Ejemplo 2.8 (Subespacios Métricos). Sea pX, dq un espacio métrico y sea Y un subcon-
junto de X. Entonces la restricción de d a Y ˆ Y (d|Y ˆY : Y ˆ Y Ñ R) transforma a Y
en un espacio métrico.
El espacio métrico pY, d|Y ˆY q es llamado subespacio métrico de X, la métrica de Y se

18
dice inducida por la de X.
(Waldmann, 2014, Pág.7)

Ejemplo 2.9 (Metrica inducida por la Norma). Si pE, k¨kq un espacio vectorial norma-
do y x, y P E, definimos d : E ˆ E Ñ R tal que dpx, yq “ kx ´ yk, entonces pE, dq es
un espacio métrico.

Ejemplo 2.10 (Espacio BpS, Y q). Sean S ‰ H un conjunto y pY, dq un espacio métrico.
La función f : S Ñ Y se dice que es acotada si

sup dpf pxq, f pyqq ă 8

x,yPS

El conjunto BpS, Y q “ tf : S Ñ Y : f es acotadau es un espacio métrico con la métrica

definida por

Dpf, gq “ sup dpf pxq, gpxqq pf, g P BpS, Y qq.

xPS

Ejemplo 2.11. Sea pX, dq un espacio métrico. Definimos dr : X ˆ X Ñ R tal que

dpx, yq
dpx,
r yq “ px, y P Xq,
1 ` dpx, yq

entonces pX, dq
r es también un espacio métrico.

Ejemplo 2.12 (Espacio Métrico Discreto). Sean X un conjunto y la función d : X ˆ

X Ñ R definida por
$
&0,
’
x“y
dpx, yq “
’
%1, x ‰ y,

entonces pX, dq es un espacio métrico. La métrica d es llamada la métrica discreta.

19
2.1.4. Conjuntos Abiertos y Cerrados

Definición 2.5 (Bola Abierta). Sean pX, dq un espacio métrico, x0 P X y r ą 0. La bola

abierta de centro x0 y radio r se define por:

Br px0 q “ tx P X : dpx, x0 q ă ru .

(Runde, 2005, Pág.28)

Proposición 2.2. Dados dos puntos distintos x, y en un espacio métrico X, entonces

existen en X dos bolas abiertas disjuntas con centros x y y respectivamente.
(Lima, 1976, Pág.27)

dpx,yq
Demostración. Sea r tal que 0 ă r ď 2
el radio de las bolas. Supongamos que
Br pxq X Br pyq ‰ H. Luego, existe z P X tal que

z P Br pxq X Br pyq ñ z P Br pxq ^ z P Br pyq.

Por consiguiente,

dpx, yq ď dpx, zq ` dpz, yq ă r ` r “ 2r ď dpx, yq

es una contradicción. Por lo tanto Br pxq X Br pyq “ H.

Ejemplo 2.13 (Bola Abierta en Espacio Discreto). Sean pX, dq un espacio métrico dis-
creto, x0 P X y r ą 0. Entonces
$
, r ă 1,
’
&tx0 u
Br px0 q “
’
%X , r ě 1,

Definición 2.6 (Conjunto Abierto). Sea pX, dq un espacio métrico. Un conjunto U Ă X

se dice abierto si, para cada x P U , existe  ą 0 tal que B pxq Ă U .
(Runde, 2005, Pág.28)

Ejemplo 2.14. Sean pX, dq es un espacio métrico, x0 P X y r ą 0. Entonces U “ Br px0 q

20
es un conjunto abierto.

Br px0 q es abierto ô @x P Br px0 q, D ą 0{B pxq Ă Br px0 q

Para todo x P Br px0 q, tenemos dpx, x0 q ă r ñ  :“ r ´ dpx, x0 q ą 0. Sea y P B pxq,

dpy, xo q ď dpy, xq ` dpx, x0 q

ă  ` dpx, x0 q

“ r ´ dpx, x0 q ` dpx, x0 q

dpy, xo q ă r

Luego B pxq Ă Br px0 q. Por lo tanto, la bola abierta es un conjunto abierto.

Proposición 2.3. Sea pX, dq un espacio métrico. Entonces

(a) H y X son abiertos;

Ť
(b) Si U es una familia de subconjuntos abiertos de X, entonces tU : U P Uu es abier-
to;

(c) Si U1 y U2 son subconjuntos abiertos de X, entonces U1 X U2 es abierto.

(Runde, 2005, Pág.29)

Demostración. paq X es abierto ô @x P X, D ą 0{B pxq Ă X (Por definición de bola

abierta). Por lo tanto X es abierto.
Supongamos que H Ă X no es abierto ñ Dx P H, @ ą 0{B pxq Ć H, lo cual es
una contracción. Por lo tanto H es abierto.
Ť
pbq Sea U una familia de subconjuntos abiertos de X y sea x P tU : U P Uu.

ď
xP tU : U P Uu ñ DU0 P U tal que x P U0 (como U0 es abierto)
ď
ñ D ą 0{B pxq Ă U0 Ă tU : U P Uu

Ť
Por lo tanto tU : U P Uu es abierto.

21
pcq Sean U1 , U2 Ă X abiertos y sea x P U1 X U2 .
Si x P U1 X U2 , entonces x P U1 y x P U2

U1 abierto ñ @x P U1 , D1 ą 0{B1 pxq Ă U1

U2 abierto ñ @x P U2 , D2 ą 0{B2 pxq Ă U1

Sea  “ mı́n t1 , 2 u

B pxq Ă B1 pxq Ă U1 ^ B pxq Ă B2 pxq Ă U2 ñ B pxq Ă U1 X U2

Por lo tanto, U1 X U2 es abierto.

Ejemplo 2.15. Sea (X,d) un espacio métrico. Un subconjunto U Ă X es abierto si, y sólo
si, U es la unión de bolas abiertas.
En efecto, es claro que si U es la unión de bolas abiertas, entonces U es abierto. Recipro-
camente, si U es abierto

U abierto ùñ @x P U, Dx ą 0{ txu Ă Bx pxq Ă U

ď ď
ùñ U “ txu Ă Bx pxq Ă U
xPU xPU
ď
ùñ U “ Bx pxq.
xPU

Ejemplo 2.16. Sean pX, dq un espacio métrico discreto y S Ă X. Entonces

ď ď
S“ txu “ B1 pxq
xPS xPS

es abierto; es decir, todos los subconjuntos de X son abiertos.

Definición 2.7 (Entorno). Sean pX, dq un espacio métrico y x P X. Un subconjunto N

de X es llamado un entorno de x si existe un abierto U de X tal que x P U Ă N . La
colección de todos los entornos de x es denotado por Nx .
(Runde, 2005, Pág.29)

Proposición 2.4. Sean pX, dq un espacio métrico y x P X. Entonces:

22
(a) Un subconjunto N de X pertenece a Nx si y sólo si existe  ą 0 tal que B pxq Ă N ;

(b) Si N P Nx y N Ă M , entonces M P Nx ;

(c) Si N1 , N2 P Nx , entonces N1 X N2 P Nx .

Además, un subconjunto U de X es abierto si, y soló si, U P Ny para todo y P U .

(Runde, 2005, Pág.29)

Demostración. paq X Ą N P Nx ô D ą 0{B pxq Ă N

Supongamos que N Ă X, tal que existe  ą 0 tal que B pxq Ă N . Ya que B pxq es
abierto tal que x P B pxq Ă N , luego existe U “ B pxq abierto tal que x P U Ă N .
Por lo tanto N P Nx

Supongamos que N P Nx

N P Nx ñ D U Ă X abierto tal que x P U Ă N (Como U es abierto)

ñ @x P U, D  ą 0 tal que B pxq Ă U Ă N

Por lo tanto D  ą 0{B pxq Ă N

pbq N P Nx ^ N Ă M ñ M P Nx

N P Nx ñ D U abierto tal que x P U Ă N

ñ D U abierto tal que x P U Ă N Ă M

ñ D U abierto tal que x P U Ă M

ñ M P Nx

pcq Si N1 , N2 P Nx , entonces N1 X N2 P Nx

N1 P Nx ñ D U1 abierto tal que x P U1 Ă N1

N2 P Nx ñ D U2 abierto tal que x P U2 Ă N2

ñ D U1 X U2 abierto tal que x P U1 X U2 Ă N1 X N2

ñ N1 X N2 P Nx

23
 Además, un subconjunto U de X es abierto si y soló si U P Ny para todo y P
U

Definición 2.8 (Conjunto Cerrado). Sea pX, dq un espacio métrico. Un subconjunto F

de X es llamado cerrado si XzF es abierto.
(Runde, 2005, Pág.30)

Definición 2.9 (Bola cerrada). Sean pX, dq un espacio métrico, x0 P X y r ą 0. La bola

cerrada de centro x0 y radio r se define por:

Br rx0 s “ tx P X : dpx, x0 q ď ru .

(Runde, 2005, Pág.30)

Ejemplo 2.17. Si pX, dq es un espacio métrico, toda bola cerrada Br rx0 s es un subcon-
junto cerrado de X.

XzBr rx0 s es abierto ô @x P XzBr rx0 s , D  ą 0{B pxq Ă XzBr rx0 s

Sea x P XzBr rx0 s ñ dpx, x0 q ą r. Sea  :“ dpx, x0 q ´ r ą 0

y P B pxq ñ dpx, yq ă  ^ dpx, x0 q ď dpx, yq ` dpy, x0 q

ñ ´dpx, yq ą ´ ^ dpy, x0 q ě dpx, x0 q ´ dpx, yq

ñ dpy, x0 q ě dpx, x0 q ´ dpx, yq ą dpx, x0 q ´  “ dpx, x0 q ´ dpx, x0 q ` r

ñ dpy, x0 q ą r

ñ y P XzBr rx0 s .

De ello se sigue que XzBr rx0 s es abierto, por consiguiente Br rx0 s es cerrado.

Ejemplo 2.18. Si pX, dq es espacio métrico discreto, entonces todo subconjunto U de X

es abierto y cerrado.

Proposición 2.5. Sea pX, dq un espacio metrico. Entonces,

(a) H y X son cerrados;

24
 Ş
(b) Si F es una familia de subconjuntos cerrados de X, entonces tF : F P Fu es
cerrado;

(c) Si F1 y F2 son subconjuntos cerrados de X, entonces F1 Y F2 es cerrado.

(Runde, 2005, Pág.30)

Demostración. paq H es cerrado, puesto que X es abierto.

X es cerrado, puesto que H es abierto.
Ş Ť
pbq Sabemos que Xz tF : F P Fu “tXzF : F P Fu, es claro que XzF es abierto
Ş
puesto que F P F es cerrado, entonces Xz tF : F P Fu es abierto. Por lo tanto,
Ş
tF : F P Fu es cerrado.

pcq Sabemos que XzpF1 Y F2 q “ pXzF1 q X pXzF2 q, es claro que XzF1 y XzF2 son
abiertos puesto que F1 y F2 son cerrados respectivamente, entonces XzpF1 Y F2 q es
abierto. Por lo tanto, F1 Y F2 es cerrado.

Definición 2.10 (Clausura). Sea pX, dq un espacio métrico. Para cada S Ă X, la clausura
de S se define por:

č
S“ tF : F Ă X cerrado y S Ă F u .

(Runde, 2005, Pág.30)

Observación. De la Proposición 2.5 (b) es inmediato que la clausura de un conjunto es

un conjunto cerrado.

Proposición 2.6. Sean pX, dq un espacio métrico y S Ă X. Entonces

S “ tx P X : N X S ‰ H para todo N P Nx u

“ tx P X : B pxq X S ‰ H para todo  ą 0u .

(Runde, 2005, Pág.31)

25
Demostración. Cada bola abierta es un entorno de su centro y cualquier entorno de un
punto contiene una bola abierta centrada en ese punto; por lo tanto,

tx P X : N X S ‰ H para todo N P Nx u “ tx P X : B pxq X S ‰ H para todo  ą 0u .

Denotamos clpsq “ tx P X : N X S ‰ H para todo N P Nx u

i) Sea x P S y N P Nx ñ x P S y D U Ă X abierto tal que x P U Ă N

Supongamos que N X S “ H ñ U X S “ H

ñ S Ă XzU.

ñ S Ă XzU, Ya que XzU es cerrado.

ñ x P XzU es una contradicción puesto que x P U.

Por lo tanto S Ă clpSq

ii) Sea x P clpSq

Supongamos que x R S ñ U “ XzS es un abierto conteniendo x

ñ x P XzS “ U P Nx

ñ U X S “ H es una contradicción ya que N X S ‰ H.

Por lo tanto clpSq Ă S.

Observación. Si pX, dq un espacio métrico y A, B Ă X, entonces

X “ X, A Ă A y A Ă B ñ A Ă B.

Además, A es cerrado si, y sólo si, A “ A.

(Lima, 1983, Pág.73)

Ejemplo 2.19. Cualquier intervalo abierto en R contiene números racionales. Por lo tanto,
Q “ R.

26
Ejemplo 2.20. Sea pX, dq un espacio métrico. Es claro que Br px0 q Ă Br rx0 s para todo
x0 P X y r ą 0. En general, la igualdad no se cumple. Si pX, dq es discreto y tiene más
de un elemento, tenemos para cualquier x0 P X que

B1 px0 q “ tx0 u “ tx0 u Ĺ X “ B1 rx0 s .

Definición 2.11 (Denso y Separable). Sea pX, dq un espacio métrico.

a) Un subconjunto D de X se dice denso en X si D “ X.

b) Si X tiene un subconjunto denso numerable, entonces X es llamado separable.

(Runde, 2005, Pág.31)

Ejemplo 2.21. Q es denso en R. En particular, R es separable.

2.1.5. Convergencia y Continuidad

Definición 2.12 (Convergencia de Sucesiones). Sea pX, dq un espacio métrico. La su-

cesión pxn q8
n“1 en X se dice convergente a x P X si, para cada  ą 0, existe n P N tal

que dpxn , xq ă  para todo n ě n . Entonces decimos que x es el lı́mite de pxn q8

n“1 y

escribimos x “ lı́m xn o xn Ñ x.
nÑ8
(Runde, 2005, Pág.35)

Simbólicamente

x “ lı́m xn ðñ @ ą 0, Dn P N{n ě n ñ dpxn , xq ă 

nÑ8

Observación. (a) La sucesión pxn q8

n“1 en un espacio métrico converge a x si, y sólo si,

para cada N P Nx , existe nN P N tal que xn P N para todo n ě nN .

(b) Afirmar que lı́mnÑ8 xn “ x en un espacio métrico X, equivale a decir que toda bola
abierta de centro x (o todo entorno N de x) contiene xn para todo valor de n, con
excepción de un número finito de ellos.

27
Definición 2.13 (Sucesión Acotada). Una sucesión pxn q8
n“1 en un espacio métrico X se

dice acotada si el conjunto de términos de la sucesión es acotada, es decir, debe existir

c ą 0 tal que dpxm , xn q ď c para cualesquiera m, n P N.
(Lima, 1983, Pág.116)

Proposición 2.7. Toda sucesión convergente es acotada.

(Lima, 1983, Pág.118)

Demostración. Sea lı́m xn “ x en un espacio métrico X. Escogemos  “ 1, existe

nÑ8
n P N tal que

n ě n ñ xn P B1 pxq.

Por lo tanto el conjunto de los términos de la sucesión está contenido en:

tx1 , ¨ ¨ ¨ , xn ´1 u Y B1 pxq,

luego la sucesión pxn q8

n“1 es acotada.

Proposición 2.8 (Subsucesión Convergente). Si xn Ñ x, entonces toda subsucesión de

pxn q8
n“1 converge para x.

(Lima, 1983, Pág.119)

Demostración. Sea N1 “ tn1 ă n2 ă ¨ ¨ ¨ ă nk ă ¨ ¨ ¨ u un subconjunto infinito de N.

Dado  ą 0.

xn Ñ x ùñ Dn P N{ n ě n ñ dpxn , xq ă .

Luego existe también k P N tal que nk ě n . De ahı́ sigue que

k ě k ñ nk ě nk ě n ñ dpxnk , xq ă .

Por lo tanto lı́m xnk “ lı́m xn “ x.

kÑ8 nÑ8

Ejemplo 2.22. Sea pX, dq un espacio métrico discreto, y sea pxn q8

n“1 una sucesión en X

que converge a x P X. Entonces existe n1 P N tal que dpxn , xq ă 1 para n ě n1 ; es

28
decir, xn “ x para n ě n1 . por lo tanto, toda sucesión convergente en un espacio métrico
discreto es eventualmente constante.

Definición 2.14 (Convergencia Puntual). Se dice que una sucesión de funciones fn :

M Ñ X (definidas en un conjunto arbitrario M y tomando valores en un espacio métrico
X) converge puntualmente a la función f : M Ñ X en M si, para cada x P M , la
sucesión pf1 pxq, f2 pxq, ¨ ¨ ¨ , fn pxq, ¨ ¨ ¨ q tiene lı́mite f pxq P X. Esto es, para cada x P M ,
se tiene lı́m fn pxq “ f pxq.
nÑ8
(Lima, 1983, Pág.129)

Observación. Esto significa que, dados arbitrariamente x P M y  ą 0, existe n P

N (dependiendo de x y ) tal que n ě n ñ dpfn pxq, f pxqq ă .
x
Ejemplo 2.23. La sucesión de funciones fn : R Ñ R, dadas por fn pxq “ , converge
n
puntualmente en R a la función idénticamente nula. En efecto, para cada x P R fijo, se
x
tiene lı́m “ 0. Más detalladamente: dados x P R y  ą 0, tomemos n P N tal que
nÑ8 n
|x|
n ą .


|x|
n ě n ñ n ě n ą
x 
ñ  ă
 
n

Note que, manteniendo  ą 0 fijo, no se puede determinar un número natural n que sea
satisfactorio para todos los puntos x P R.

Definición 2.15 (Convergencia Uniforme). Sea M un conjunto arbitrario, sea X un es-

pacio métrico. Se dice que una sucesión de funciones fn : M Ñ X converge uniforme-
mente a la función f : M Ñ X en M si, para todo número real  ą 0 dado, es posible
obtener n P N (dependiendo apenas de ) tal que n ě n ñ dpfn pxq, f pxqq ă , para
todo x P M .
(Lima, 1983, Pág.129)
x
Ejemplo 2.24. La sucesión de funciones fn pxq “ converge uniformemente para la
n
función idénticamente nula en cualquier subconjunto limitado M Ă R. En efecto, si

29
 c
|x| ď c para todo x P M , entonces, dado  ą 0, basta tomar n ą .

c
n ě n ñ n ě n ą

c |x|
ñ ą ě
x n n
ñ  ă
 
n
x
para cualesquiera x P M . Por otro lado, la sucesión de funciones fn pxq “
no converge
n
uniformemente en R. En efecto, si tomamos  “ 1, por ejemplo, sea cual fuera n esco-
x
gido, podemos hallar n ě n y x P R tales que   ą 1. Basta tomar n ě n y después
 
n
x ą n. Esto muestra que la convergencia x{n Ñ 0 no es uniforme en R.

Ejemplo 2.25. Sea Cpr0, 1s , Fq con la métrica inducida por k¨k8 (Ejemplo 2.6). La suce-
sión pfn q8
n“1 en Cpr0, 1s , Fq converge a f P Cpr0, 1s , Fq con respecto a la métrica inducida

si y sólo si converge uniformemente a f en r0, 1s.

Supongamos que pfn q8

n“1 converge a f

ñ @ ą 0, Dn P N{ n ě n ñ kfn ´ f k8 ă 

ñ @ ą 0, Dn P N{ n ě n ñ |fn ptq ´ f ptq| ď kfn ´ f k8 ă , @t P r0, 1s

ñ pfn q8
n“1 converge a f uniformemente en r0, 1s

Supongamos ahora que fn Ñ f uniformemente en r0, 1s


ùñ @ ą 0, Dn P N{ n ě n ñ |fn ptq ´ f ptq| ă , @t P r0, 1s
2

en consecuencia kfn ´ f k8 “ sup t|fn ptq ´ f ptq| : t P r0, 1su ď ă . Por lo tanto
2
tenemos la convergencia con respecto a k¨k8

Proposición 2.9. Sean pX, dq un espacio métrico, pxn q8 1

n“1 un sucesión en X y sea x, x P

X tales que pxn q8 1 1

n“1 converge a x y x . Entonces x y x son iguales. Es decir, el lı́mite de

una sucesión convergente es único.

(Runde, 2005, Pág.35)

30
 dpx, x1 q
Demostración. Supongamos que x ‰ x1 , de modo que  “ ą 0. Entonces
2

xn Ñ x ô D n1 P N{n ě n1 ñ dpxn , xq ă 

xn Ñ x1 ô D n2 P N{n ě n2 ñ dpxn , x1 q ă 

Sea n “ máx tn1 , n2 u, entonces

dpx, x1 q ď dpx, xn q ` dpxn , x1 q ă  `  “ dpx, x1 q,

lo cual es una contradicción. Por lo tanto x “ x1 .

Figura 2.1: Unicidad del Lı́mite

Proposición 2.10. Sea pX, dq un espacio métrico y sea S Ă X. Entonces S es el conjunto

de puntos de X que son el lı́mite de una sucesión en S.
(Runde, 2005, Pág.36)

Demostración. ˚ Sea x P X el lı́mite de una sucesión pxn q8

n“1 en S y sea  ą 0.

xn Ñ x ñ Dn P N{n ě n ñ dpxn , xq ă 

ñ Dn P N{n ě n ñ xn P B pxq.

Luego xn P B pxq ^ xn P S ñ B pxq X S ‰ H, @ ą 0. Por lo tanto x P S.

31
˚ Sea x P S,

x P S ñ B pxq X S ‰ H, @ ą 0

ñ B 1 pxq X S ‰ H, @n P N.
n

1
Para cada n P N, existe xn P S con dpxn , xq ă n
. Luego, es claro que la sucesión
pxn q8
n“1 converge a x.

Corolario 2.11. Sea pX, dq un espacio métrico. Entonces F Ă X es cerrado si, y sólo si,
toda sucesión en F que converge en X tiene su lı́mite en F .
(Runde, 2005, Pág.36)

Definición 2.16 (Continuidad). Sean pX, dX q y pY, dY q espacios métricos y sea x0 P X.

Entonces f : X Ñ Y se dice que es continua en x0 si para cada sucesión pxn q8
n“1 en X

que converge a x0 , tenemos que lı́m f pxn q “ f px0 q.

nÑ8
(Runde, 2005, Pág.36)

Ejemplo 2.26. La función f : R Ñ R, definida por:

$
` ˘
&sen 1
’
, x‰0
x
f pxq “ ,
’
%0 , x“0

es discontinua en el punto x0 “ 0

Teorema 2.12. Sean pX, dX q y pY, dY q espacios métricos y sea x0 P X. Entonces las
siguientes proposiciones son equivalentes para f : X Ñ Y .

(a) f es continua en x0 .

(b) Para cada  ą 0, existe δ ą 0 tal que

x P X y dX px, x0 q ă δ ñ dY pf pxq, f px0 qq ă 

(c) Para cada  ą 0, existe δ ą 0 tal que Bδ px0 q Ă f ´1 pB pf px0 qqq.

32
(d) Para cada N P Nf px0 q , implica f ´1 pN q P Nx0

(Runde, 2005, Pág.37)

Demostración. paq ñ pbq: Demostraremos que „ pbq ñ„ paq; es decir, existe  ą 0

tal que, para todo δ ą 0, existe xδ con dX pxδ , x0 q ă δ y dY pf pxδ q, f px0 qq ě 0 . Para
1
n P N. Sea x1n “ x 1 , de modo que dX px1n , x0 q ă n
y por lo tanto xn 1 Ñ x0 . Ya que
n

dY pf pxn 1 q, f px0 qq ě 0 para todo n P N, f pxn 1 q ­Ñ f px0 q. como se requiere para que f
sea continua en x0 .

pbq ñ pcq: Para todo  ą 0, existe δ ą 0 tal que

dX px, x0 q ă δ ñ dY pf pxq, f px0 qq ă  ùñ x P Bδ px0 q ñ f pxq P B pf px0 qq

ùñ x P Bδ px0 q ñ x P f ´1 pB pf px0 qqq

ùñ Bδ px0 q Ă f ´1 pB pf px0 qqq

pcq ñ pdq: Sea N P Nf px0 q . Por lo tanto existe  ą 0 tal que

B pf px0 qq Ă N ñ f ´1 pB pf px0 qqq Ă f ´1 pN q.

Por pcq existe δ ą 0 tal que

Bδ px0 q Ă f ´1 pB pf px0 qqq Ă f ´1 pN q

Esto implica f ´1 pN q P Nx0 .

pdq ñ paq: Sea pxn q8

n“1 una sucesión en X tal que xn Ñ x0 . Sea N P Nf px0 q

de modo que f ´1 pN q P Nx0 . Ya que xn Ñ x0 , existe nN tal que xn P f ´1 pN q para

n ď nN ; es decir, f pxn q P N para n ď nN . Ya que N P Nf px0 q fue arbitrario, se tiene
f pxn q Ñ f px0 q.

Definición 2.17 (Continuidad en su Dominio). Sean pX, dX q y pY, dY q espacios métri-

cos. Entonces la función f : X Ñ Y se dice ser continua si es continua en cada punto de
X. (Runde, 2005, Pág.37)

33
Ejemplo 2.27. Sean pX, dX q y pY, dY q espacios métricos. Afirmamos que

|dpx, yq ´ dpx0 , y0 q| ď dpx, x0 q ` dpy, y0 q px, x0 , y, y0 P Xq. (2.2)

a) Fijemos x, x0 , y, y0 P X, entonces

dpx, yq ď dpx, x0 q ` dpx0 , y0 q ` dpy0 , yq (2.3)

dpx, yq ´ dpx0 , y0 q ď dpx, x0 q ` dpy0 , yq (2.4)

Por otro lado,

dpx0 , y0 q ď dpx0 , xq ` dpx, yq ` dpy, y0 q (2.5)

dpx0 , y0 q ´ dpx, yq ď dpx, x0 q ` dpy0 , yq (2.6)

´pdpx, x0 q ` dpy0 , yqq ď dpx, yq ´ dpx0 , y0 q (2.7)

De las desigualdades (2.4) y (2.7) obtenemos |dpx, yq ´ dpx0 , y0 q| ď dpx, x0 q`dpy, y0 q

b) El producto cartesiano X 2 es un espacio métrico con la métrica

˜
dppx, yq, px1 , y 1 qq “ dpx, x1 q ` dpy, y 1 q

La desigualdad (2.2) proporciona inmediatamente que la función distancia d : X 2 Ñ

˜
R es continua, si X 2 está dotado con la métrica d.
En efecto, sea px0 , y0 q P X 2 arbitrario y sea  ą 0, existe  “ δ tal que

˜
dppx, yq, px0 , y0 qq ă δ ñ |dpx, yq ´ dpx0 , y0 q| ď dpx, x0 q ` dpy, y0 q ă δ “ .

Por lo tanto d es continua.

Corolario 2.13. Sean pX, dX q y pY, dY q espacios metricos. Entonces las siguientes pro-
posiciones son equivalentes para f : X Ñ Y .

(a) f es continua.

(b) f ´1 pU q es abierto en X para cada subconjunto abierto U de Y .

34
(c) f ´1 pF q es cerrado en X para cada subconjunto cerrado F de Y .

(Runde, 2005, Pág.38)

Demostración. paq ñ pbq:

Sea U Ă Y abierto ñ U P Ny , @y P U

ñ U P Nf pxq , @f pxq P U

ñ f ´1 pU q P Nx , @x P f ´1 pU q

ñ f ´1 pU q es abierto.

pbq ñ pcq:

Sea F Ă Y cerrado ñ Y zF es abierto

ñ f ´1 pY zF q es abierto

ñ f ´1 pY zF q “ Xzf ´1 pF q es abierto

ñ f ´1 pF q es cerrado.

pcq ñ pbq:

Sea U Ă Y abierto ñ Y zU es cerrado

ñ f ´1 pY zU q es cerrado

ñ f ´1 pY zU q “ Xzf ´1 pU q es cerrado

ñ f ´1 pU q es abierto.

pbq ñ paq: Sean x P X,  ą 0.

B pf pxqq abierto ñ f ´1 pB pf pxqqq es abierto

ñ Dδ ą 0{Bδ pxq Ă f ´1 pB pf pxqqq

ñ f es continua.

35
Definición 2.18 (Distancia punto a conjunto). Sean pX, dq un espacio métrico y H ‰
S Ă X. Entonces la distancia de x P X a S se define:

distpx, Sq “ ı́nf tdpx, yq : y P Su .

(Lima, 1983, Pág.17)

Proposición 2.14. Sea pX, dq un espacio métrico. Dados a, b P X y un subconjunto no

vacio S Ă X, entonces:

|distpa, Sq ´ distpb, Sq| ď dpa, bq

(Lima, 1983, Pág.18)

Demostración. Para todo x P S, tenemos

distpa, Sq ď dpa, xq ď dpa, bq ` dpb, xq ñ distpa, Sq ´ dpa, bq ď dpb, xq,

luego

distpa, Sq ´ dpa, bq ď distpb, Sq ñ distpa, Sq ´ distpb, Sq ď dpa, bq. (i)

Intercambiando a por b

distpb, Sq ´ distpb, aq ď dpa, Sq ñ ´dpa, bq ď distpa, Sq ´ distpb, Sq. (ii)

Por lo tanto de (i) y (ii): |distpa, Sq ´ distpb, Sq| ď dpa, bq.

Definición 2.19 (Diamétro de un Conjunto). Sea pX, dq un espacio métrico. El diamétro

de un subconjunto S ‰ H de X se define por:

diampSq “ sup tdpx, yq : x, y P Su .

(Lima, 1983, Pág.12)

36
Ejemplo 2.28. Sea pX, dq un espacio métrico. Toda bola Br paq es un conjunto acotado y
su diamétro no excede a 2r.

Ejemplo 2.29. Sea pX, dq un espacio métrico y sea H ‰ S Ă X. La función X Ñ R

dada por

x Ñ distpx, Sq

es continua

Ejemplo 2.30. Sean pX, dX q y pY, dY q espacios métricos tal que pX, dX q es discreto, y
sea f : X Ñ Y arbitrario. Entonces f es continua.

Ejemplo 2.31. Sea la función f : R Ñ R tal que

$
&x ´ 1,
’
si x ď 3
f pxq “
% 1 px ` 5q, si x ą 3.
’
2

Ya que f ´1 px1, 3yq “ x2, 3s, f no es continua.

Definición 2.20 (Métricas Equivalentes). Sea X un conjunto. Dos métricas d1 y d2 en

X se dice que son equivalentes si la función identidad sobre X de pX, d1 q en pX, d2 q y de
pX, d2 q en pX, d1 q son continuas.
(Runde, 2005, Pág.38)

Observación. En vista al Corolario 2.13, dos métricas d1 y d2 en el conjunto X son equi-

valentes si, y sólo si, proporcionan el mismo conjunto abierto (o, equivalentemente, el
mismo conjunto cerrado).

Ejemplo 2.32. La métrica euclidiana en Rn y la métrica discreta no son equivalentes.

Ejemplo 2.33. Para j “ 1, ¨ ¨ ¨ , n, sean pXj , dj q espacios métricos. Sea X :“ X1 ˆ ¨ ¨ ¨ ˆ

Xn , y para x “ px1 , ¨ ¨ ¨ , xn q, y “ py1 , ¨ ¨ ¨ , yn q P X, se define

n
ÿ
D1 px, yq “ dj pxj , yj q y D8 px, yq “ máx dj pxj , yj q.
j“1,¨¨¨ ,n
j“1

Entonces D1 y D8 son métricas en X que satisfacen

D8 px, yq ď D1 px, yq ď nD8 px, yq px, y P Xq.

37
Consecuentemente, D1 y D8 son equivalentes.

Ejemplo 2.34. Sea pX, dq cualquier espacio métrico y sea dr la métrica definida en el
Ejemplo 2.11. Afirmamos que d y dr son equivalentes. Probaremos ello:

a) id : pX, dq Ñ pX, dq
r es continua. En efecto, sea x0 P X y sea  ą 0. Existe δ “  tal

que

dpx, x0 q
dpx, x0 q ă δ ñ dpx,
r x0 q “ ď dpx, x0 q ă δ “ 
1 ` dpx, x0 q

b) id : pX, dq
r Ñ pX, dq es continua. En efecto, sea x0 P X y sea  ą 0. Existe δ “

ą 0 tal que
1`

dpx, yq 
dpx,
r x0 q ă δ ñ ă ñ dpx, yq ă 
1 ` dpx, yq 1`

2.1.6. Completitud

Definición 2.21 (Sucesión de Cauchy). Sea pX, dq un espacio métrico. La sucesión

pxn q8
n“1 en X, es una sucesión de Cauchy si, para cada  ą 0, existe n ą 0 tal que

dpxn , xm q ă  para todo n, m ě n .

(Runde, 2005, Pág.41)
Simbólicamente

pxn q8
n“1 en X es una sucesión de Cauchy ðñ @ ą 0, Dn P N{n, m ě n ñ dpxn , xm q ă .

Proposición 2.15. Sea pX, dq un espacio métrico y sea pxn q8

n“1 una sucesión convergente

en X. Entonces pxn q8
n“1 es una sucesión de Cauchy.

(Runde, 2005, Pág.41)


Demostración. Sea x “ lı́m xn y sea  ą 0. Entonces existe n ą 0 tal que dpxn , xq ă
nÑ8 2
para todo n ě n . Consecuentemente, tenemos

 
dpxn , xm q ď dpxn , xq ` dpx, xm q ă ` “  pn, m ě n q,
2 2

38
de modo que pxn q8
n“1 es una sucesión de Cauchy.

Observación. En Rn con la métrica euclidiana: toda sucesión de Cauchy es convergente.

Para espacios métricos en general, este resultado recı́proco no se cumple. Por ejemplo la
` ˘8
sucesión n1 n“1 es Cauchy en el espacio métrico x0, 1s con la métrica usual, pero no tiene
lı́mite en el espacio x0, 1s.

Proposición 2.16. Toda sucesión de Cauchy es acotada.

(Lima, 1983, Pág.162)

Demostración. Sea pxn q8

n“1 una sucesión de Cauchy en un espacio métrico pX, dq. Dado

 “ 1, existe n P N tal que

m, n ě n ñ dpxm , xn q ă .

Luego el conjunto txn , xn `1 , ¨ ¨ ¨ u es acotado. De ello se sigue que

tx1 , x2 , ¨ ¨ ¨ , xn , ¨ ¨ ¨ u “ tx1 , ¨ ¨ ¨ , xn ´1 u Y txn , xn `1 , ¨ ¨ ¨ u

es acotado.

Proposición 2.17. Una sucesión de Cauchy que tiene una subsucesión convergente es
convergente (y tiene el mismo limite que la subsucesión).
(Lima, 1983, Pág.162)

Demostración. Sean pxn q8

n“1 una sucesión de Cauchy en un espacio métrico X y una

subsucesión que converge a un punto x P X. Afirmamos que lı́m xn “ x. En efecto,

nÑ8
dado  ą 0, existe p P N tal que nk ě p ñ dpxnk , xq ă 2 . Existe también q P N tal
que m, n ě q ñ dpxn , xm q ă 2 . Sea n “ máx tp, qu. Para todo n ě n existe nk ě n
entonces

 
dpxn , xq ě dpxn , xnk q ` dpxnk , xq ă ` “ .
2 2

Luego lı́m xn “ x.
nÑ8

39
Definición 2.22 (Espacio Completo). Un espacio métrico pX, dq es llamado completo si
toda sucesión de Cauchy en X converge.
(Runde, 2005, Pág.41)

Definición 2.23 (Espacio de Banach). Un espacio vectorial normado que es completo

con respecto a la métrica inducida por la norma es llamado espacio de Banach.
(Folland, 1999, Pág.152)

Ejemplo 2.35. El espacio métrico Rn es completo.

Ejemplo 2.36. En un espacio métrico discreto, toda sucesión de Cauchy es eventualmente

constante y por consiguiente convergente. Por lo tanto, un espacio métrico discreto es
completo.

Ejemplo 2.37. Sea S ‰ H un conjunto. y sea pY, dq un espacio métrico completo. En-
tonces el espacio métrico pBpS, Y q, Dq del Ejemplo 2.10 es completo. Sea pfn q8
n“1 una

sucesión de Cauchy en BpS, Y q. Sea  ą 0

pfn q8
n“1 es Cauchy ùñ Dn ą 0{ n, m ě n ñ Dpfn , fm q ă .

Para x P S, tenemos

n, m ě n ñ dpfn pxq, fm pxqq ď Dpfn , fm q ă 

Consecuentemente, pfn pxqq8

n“1 es una sucesión de Cauchy en Y para cada x P S. Ya

que Y es completo, esta sucesión es convergente para cada x P S, por lo tanto definimos
f : S Ñ Y por:

f pxq “ lı́m fn pxq px P Sq.

nÑ8

Afirmamos que f P BpS, Y q, y es el lı́mite de pfn q8

n“1 con respeto a la métrica de D. Para

ver esto, sea x P S y note que del Ejemplo 2.27.

|dpfn pxq, fm pxqq ´ dpfn pxq, f pxqq| ď dpfn pxq, fn pxqq ` dpfm pxq, f pxqq Ñ 0,

40
luego

lı́m dpfn pxq, fm pxqq “ dpfn pxq, f pxqq, para n P N.

mÑ8

De ello se sigue para n ě n que

dpfn pxq, f pxqq “ lı́m dpfn pxq, fm pxqq ď lı́m sup Dpfn , fm q ď  px P Sq.
mÑ8 mÑ8

Sea n ě n y sea C “ supx,yPS dpfn pxq, fn pyqq, el cual es finito por la definición de
BpS, Y q. De la anterior desigualdad, obtenemos para x, y P S arbitrarios

dpf pxq, f pyqq ď dpf pxq, fn pxqq ` dpfn pxq, fn pyqq ` dpfn pyq, f pyqq ď 2 ` C.

Por lo tanto, f P BpS, Y q. Ya que n ě n ñ dpfn pxq, f pxqq ď  para todo x P S,

obtenemos:

n ě n ñ Dpfn , f q “ sup dpfn pxq, f pxqq ď 

xPS

Se concluye que f “ lı́m fn en pBpS, Y q, Dq.

nÑ8

Proposición 2.18. Sea pX, dq un espacio métrico y sea Y un subespacio de X.

(a) Si X es completo y Y es cerrado en X, entonces Y es completo.

(b) Si Y es completo, entonces es cerrado en X.

(Runde, 2005, Pág.42)

Demostración. paq Sea X completo y Y cerrado en X

Sea pxn q8
n“1 una sucesión de Cauchy en Y ñ pxn q8
n“1 una sucesión de Cauchy en X

ñ xn Ñ x, x P X

ñ xn Ñ x, x P Y puesto que Y es cerrado en X

ñ Y es completo

41
pbq Sea pyn q8 8
n“1 una sucesión en Y que converge a y P X. Ya que pyn qn“1 converge en X, es

una sucesión de Cauchy en X y por lo tanto en Y .

Y es completo ñ Dy 1 P Y con lı́m yn “ y 1 P Y Ă X

nÑ8
1
ñ y “ y P Y por unicidad del lı́mite

ñ Y es cerrado en X.

Ejemplo 2.38. Sean pX, dX q y pY, dY q espacios métricos. Definimos

CpX, Y q “ tf : X Ñ Y : f es continua u

Cb pX, Y qS “ BpX, Y q X CpX, Y q.

Claramente, Cb pX, Y q es un subespacio del espacio métrico pBpX, Y q, Dq. Afirmamos

que Cb pX, Y q es cerrado en BpX, Y q y por lo tanto completo si pY, dY q es completo.
Sea pfn q8
n“1 una sucesión en Cb pX, Y q que converge a f P BpX, Y q. Afirmamos que f es

continua. Para ver esto, fijemos xo P X. Mostraremos que f es continua en x0 . Sea  ą 0.


fn Ñ f P BpX, Y q ùñ @ ą 0, Dn P N{n ě n ñ Dpfn , f q ă .
3

Fijemos n ě n . Ya que fn es continua en x0 , el conjunto N “ fn´1 pB 3 pfn px0 qqq es un

entorno de x0 . Sea x P N , y note que

dpf pxq, f px0 qq ď dpf pxq, fn pxqq ` dpfn pxq, fn px0 qq ` dpfn px0 q, f px0 qq

ď Dpfn , f q ` dpfn pxq, fn px0 qq ` Dpfn , f q

2
ă ` dpfn pxq, fn px0 qq, porque n ě n
3
dpf pxq, f px0 qq ă  por que x P N.

Luego f pxq P B pf px0 qq ñ x P f ´1 pB pf px0 qqq. Se sigue que N Ă f ´1 pB pf px0 qqq, de
modo que f ´1 pB pf px0 qqq P Nx0 . Ya que  ą 0 fue arbitrario, f es continua en x0 .

42
2.1.7. Compacidad

Definición 2.24 (Cubrimiento Abierto). Sea pX, dq un espacio métrico, y sea S Ă X.

Un cubrimiento abierto de S es una colección U de subconjuntos abiertos de X tal que
Ť
S Ă tU : U P Uu.
(Runde, 2005, Pág.52)

Ejemplo 2.39. Sea el intervalo x0, 1y un subespacio del espacio métrico R. Entonces la
@ D
colección U “ tUn u tal que Un “ n1 , 1 , n “ 1, 2, ¨ ¨ ¨ , es un cubrimiento de x0, 1y.

Definición 2.25 (Espacio Compacto). Un subconjunto K de un espacio métrico pX, dq

es compacto si, para cada cubrimiento abierto U de K, existen U1 , ¨ ¨ ¨ , Un P U tal que

K Ă U1 Y ¨ ¨ ¨ Y Un .

(Runde, 2005, Pág.52)

Ejemplo 2.40. Sea pX, dq un espacio métrico, y sea S Ă X finito. Entonces S es com-
pacto.
En efecto, sea U “ tx1 , ¨ ¨ ¨ , xn u y sea U un cubrimiento abierto de S

ď
SĂ tU : U P Uu ñ @j “ 1, ¨ ¨ ¨ , n, DUj P U{xj P Uj

ñ S Ă U1 Y ¨ ¨ ¨ Y Un .

Por lo tanto, S es compacto.

Ejemplo 2.41. Sea pX, dq un espacio métrico, y sea H ‰ K Ă X compacto. Fijemos

x0 P K. Ya que tBr px0 q : r ą 0u es un cubrimiento abierto de K, existen r1 , ¨ ¨ ¨ , rn ą 0
tal que

K Ă Br1 px0 q Y ¨ ¨ ¨ Y Brn px0 q.

Si R :“ máx tr1 , ¨ ¨ ¨ , rn u, observamos que K Ă BR px0 q, de modo que diampKq ď

2R ă 8. Esto significa, por ejemplo, que cualquier subconjunto no acotado de Rn (o más
generalmente, cualquier espacio normado) no puede ser compacto. En particular, el único
espacio compacto normado es t0u.

43
Ejemplo 2.42. Sea un espacio métrico X “ x0, 1y con la métrica usual. Entonces la
@ D
colección U “ tUn u tal que Un “ n1 , 1 y n “ 1, 2, ¨ ¨ ¨ , es un cubrimiento abierto de
x0, 1y que no tiene un subcubrimiento finito. Por lo tanto X “ x0, 1y no es compacto.

Proposición 2.19. Sea pX, dq un espacio métrico compacto. Entonces X es acotado.

(Lima, 1983, Pág.212)

Demostración. Sea x P X y sea tB1 pxq : x P Xu un cubrimiento abierto de X, entonces

existen x1 , ¨ ¨ ¨ , xn tal que

X “ B1 px1 q Y ¨ ¨ ¨ Y B1 pxn q

Luego X es acotado.

Proposición 2.20. Sea pX, dq un espacio métrico y sea Y un subespacio de X.

(a) Si X es compacto y Y es cerrado en X, entonces Y es compacto.

(b) Si Y es compacto, entonces es cerrado en X.

(Runde, 2005, Pág.53)

Demostración. paq Sea U un cubrimiento abierto para Y . Ya que Y es cerrado en X, la

familia U Y tXzY u es un cubrimiento abierto de X. Ya que X es compacto, tiene un
subcubrimiento finito, es decir, existen U1 , ¨ ¨ ¨ , Un P U tal que

X “ U1 Y ¨ ¨ ¨ Y Un Y XzY ñ X X Y “ pU1 Y ¨ ¨ ¨ Y Un Y XzY q X Y

ñ Y “ pU1 Y ¨ ¨ ¨ Y Un q X Y

ñ Y Ă U1 Y ¨ ¨ ¨ Y Un

Luego Y es compacto.

pbq Sea x P XzY . Para cada y P Y , existen y , δy ą 0 tal que By pxq X Bδy pyq “ H. Ya
(
que Bδy pyq : y P Y es un cubrimiento abierto de Y , existen y1 , ¨ ¨ ¨ , yn P Y tal que

Y Ă Bδy1 py1 q Y ¨ ¨ ¨ Y Bδyn pyn q.

44
 Escogemos  “ mı́n ty1 , ¨ ¨ ¨ , yn u, obtenemos que

` ˘
B pxq X Y Ă B pxq X Bδy1 py1 q Y ¨ ¨ ¨ Y Bδyn pyn q ñ B pxq X Y Ă H

ñ B pxq X Y “ H

ñ B pxq Ă XzY

ñ XzY es abierto.

Luego Y es cerrado en X.

Proposición 2.21. Sean pK, dK q un espacio métrico compacto, pY, dY q cualquier espacio
métrico y sea f : K Ñ Y continua. Entonces f pKq es compacto.
(Runde, 2005, Pág.53)

Demostración. Sea U un cubrimiento abierto de f pKq.

ď ´ď ¯
´1 ´1
f pKq Ă tU : U P Uu ñ K Ă f pf pKqq Ă f tU : U P Uu
ď (
ñ KĂ f ´1 pU q : U P U

ñ existen U1 , ¨ ¨ ¨ , Un P U{K “ f ´1 pU1 q Y ¨ ¨ ¨ Y f ´1 pUn q

` ˘
ñ f pKq “ f f ´1 pU1 q Y ¨ ¨ ¨ Y f ´1 pUn q Ă U1 Y ¨ ¨ ¨ Y Un

ñ f pKq Ă U1 Y ¨ ¨ ¨ Y Un .

Luego f pKq es compacto.

Corolario 2.22. Sean pK, dK q un espacio métrico compacto, y pY, dY q cualquier espacio
métrico. Entonces toda función continua f : K Ñ Y es cerrada, es decir, F Ă K cerrado
ñ f pF q Ă Y es cerrado.
(Lima, 1983, Pág.213)

Demostración. En efecto,

F Ă K cerrado ñ F compacto ñ f pF q compacto ñ f pF q cerrado en Y.

45
Corolario 2.23. Sea pK, dq un espacio métrico compacto no vacio y sea f : K Ñ R
continua. Entonces f tiene un mı́nimo y un máximo en K.
(Runde, 2005, Pág.53)

Demostración. Sea M :“ sup f pKq. Ya que f pKq es compacto, f pKq está acotado, de
modo que M ă 8. Para cada n P N, existe yn P f pKq tal que yn ą M ´ n1 ; está claro que
lı́mnÑ8 yn “ M . Ya que f pKq es cerrado en R, M P f pKq. Por lo tanto, existe x0 P K
tal que f px0 q “ M . De modo análogo se muestra que f tiene mı́nimo.

Lema 2.24. Sea pK, dq un espacio métrico compacto. Entonces toda sucesión en K tiene
una subsucesión convergente.
(Runde, 2005, Pág.54)

Demostración. Sea pxn q8 8

n“1 una sucesión en K. Supongamos que pxn qn“1 no tiene una

subsucesión convergente. Esto significa que, para cada x P K (no puede ser lı́mite de
ninguna subsucesión de pxn q8
n“1 !) existe x ą 0 tal que Bx pxq contiene sólo un número

finito de términos de pxn q8

n“1 ; es decir, existe nx P N tal que n ě nx ñ xn R Bx pxq.

Ya que tBx pxq : x P Ku es un cubrimiento abierto para K, existen x11 , ¨ ¨ ¨ , x1m P K con

K “ Bx1 px11 q Y ¨ ¨ ¨ Y Bx1 px1m q.

1 m

Además

x11 P K ùñ Dnx11 P N{ n ě nx11 ñ xn R Bx1 px11 q

1

x12 P K ùñ Dnx12 P N{ n ě nx12 ñ xn R Bx1 px12 q

2
..
.

x1m P K ùñ Dnx1m P N{ n ě nx1m ñ xn R Bx1 px1n q

m

(
Para n ě máx nx11 , ¨ ¨ ¨ , nx1m , esto significa que

xn R Bx1 px11 q Y ¨ ¨ ¨ Y Bx1 px1m q “ K,

1 m

Esto es un absurdo, por lo tanto pxn q8

n“1 posee una subsucesión convergente.

46
Proposición 2.25. Sea pK, dq un espacio métrico compacto. Entonces K es completo y
separable.

Demostración. Para la prueba, (Runde, 2005)

Corolario 2.26 (Teorema de Heine-Borel). Sea K Ă Rn . Entonces K es compacto si, y

solo si, es cerrado y acotado en Rn

Demostración. Para la prueba, ver (Runde, 2005)

2.2. Teória Topológica de Conjuntos

2.2.1. Espacios Topológicos

Definición 2.26 (Espacio Topológico). Sea X un conjunto. Una topologı́a sobre X es un

subconjunto T de PpXq tal que:

(a) H, X P T ;
Ť
(b) Si U Ă T arbitrario, entonces tU : U P Uu P T

(c) Si U1 , U2 P T , entonces U1 X U2 P T .

Los conjuntos en T son llamados abiertos. Un espacio topológico es un par pX, T q, for-
mado por un conjunto X y una topologı́a T sobre X; algunas veces, si la topologı́a es
obvio o irrelevante, escribiremos simplemente X.
(Runde, 2005, Pág.61)

Ejemplo 2.43. Sea pX, dq un espacio métrico y sea T denota la colección de todos los
subconjuntos de X que son abiertos en el sentido de la Definición 2.6. Por la Proposición
2.3, T es en efecto una topologı́a. Es claro que T no depende en particular de la métrica
d, pero sólo en el sentido de equivalencia.

Definición 2.27. Se dice que un espacio topológico pX, T q es metrizable si existe una
distancia d definida sobre X, tal que T “ Td .
(Runde, 2005, Pág.62)

47
Ejemplo 2.44 (Topologı́a Discreta). Sean X cualquier conjunto, y T “ PpXq. Entonces
T es llamada la topologı́a discreta sobre el conjunto X. El espacio topológico pX, T q se
llama espacio topológico discreto.

Ejemplo 2.45 (Topologı́a Indiscreta). Sean X cualquier conjunto, y T “ tH, Xu. En-
tonces T es llamada la topologı́a indiscreta (caótica) y pX, T q se dice que es un espacio
indiscreto (caótico).

Ejemplo 2.46 (Topologı́a Cofinita). Sea X cualquier conjunto, y sea T de elementos H

y todos los subconjuntos de X con complemento finito.

Ejemplo 2.47. Sea X cualquier conjunto, y sea T de elementros H y todos los subcon-
juntos de X con complemento numerable.

Ejemplo 2.48 (Topologı́a Relativa). Sean pX, T q un espacio topológico y Y Ă X. La

topologı́a relativa en Y (o topologı́a heredada de X) es la colección

T |Y “ tY X U : U P T u

de subconjuntos de Y . Es claro que es una topologı́a sobre Y . El espacio pY, T |Y q es

llamado subespacio de X.

Ejemplo 2.49 (Topologı́a de Sierpinski). Sea X “ t0, 1u un conjunto. Construimos

todas las posibles topologı́as.

T1 “ tH, Xu

T2 “ tH, X, t0uu

T3 “ tH, X, t1uu

T4 “ tH, X, t0u , t1uu .

T2 se conoce como la topologı́a de Sierpinski.

Ejemplo 2.50. Sean pY, TY q un espacio topológico, X un conjunto no vacı́o y f una

función de X en Y . Entonces TX “ tf ´1 pU q : U P TY u es una topologı́a sobre X.

Definición 2.28 (Espacio Hausdorff). Un espacio topológico pX, T q es llamado Haus-

dorff si, para cualquier x, y P X con x ‰ y, existen U, V P T tales que x P U , y P V y
U X V “ H. (Runde, 2005, Pág.62)

48
Ejemplo 2.51. Si pX, dq es un espacio métrico, entonces pX, dq es Hausdorff.

Ejemplo 2.52. Si X cualquier conjunto con más de un elemento, entonces X con la

topologı́a caótica no es de Hausdorff (y por lo tanto no es metrizable).

Ejemplo 2.53. Sea X un conjunto infinito con la topologı́a del Ejemplo 2.46, y sea
x, y P X tal que x ‰ y. Supongamos que X es Hausdorff. Entonces existen subconjuntos
abiertos U y V de X tal que x P U , y P V , y U X V “ H. Luego X “ pXzU q Y pXzV q
es finito, lo cual es una contradicción.

Ejemplo 2.54. Sea X cualquier conjunto no numerable con la topologı́a del Ejemplo
2.47. Entonces X no es un espacio de Hausdoff.

Definición 2.29 (Conjunto Cerrado). Sea pX, T q un espacio topológico. Un subconjun-

to F de X es llamado cerrado si XzF es abierto.
(Runde, 2005, Pág.63)

Proposición 2.27. Sea pX, T q un espacio topológico. Entonces:

(a) H y X son cerrados.

Ş
(b) Si F es una familia de subconjuntos cerrados de X, entonces tF : F P Fu es
cerrado.

(c) Si F1 y F2 son subconjuntos cerrados de X, entonces F1 Y F2 es cerrado.

Demostración. Para la prueba ver (Lima, 1976)

Ejemplo 2.55. Si pR, T q es un espacio topológico con la topologı́a usual, entonces todo
subconjunto finito de R es cerrado.

Ejemplo 2.56. Si pX, T q con la topologı́a discreta, entonces todo subconjunto de X es

abierto y cerrado. Si pX, T q con la topologı́a caótica, los únicos cerrados son X y H.

Definición 2.30 (Entorno). Sea pX, T q un espacio topológico y sea x P X. Un subcon-

junto N de X es llamado un entorno de x si existe un subconjunto abierto U de X tal que
x P U Ă N . La colección de todos los entornos de x es denotado por Nx .
(Runde, 2005, Pág.64)

49
Proposición 2.28. Sea pX, T q un espacio topológico y sea x P X. Entonces:

(a) Un subconjunto U de X es abierto si y soló si U P Nx para todo x P U

(b) Si N P Nx y M Ą N , entonces M P Nx .

(c) Si N1 , N2 P Nx , entonces N1 X N2 P Nx .

(d) Si N P Nx , entonces x P N .

(e) Para cada N P Nx existe U P Nx tal que U Ă N y U P Ny para todo y P U .

Demostración. Para la prueba ver (Waldmann, 2014)

Teorema 2.29. Sea X un conjunto. Para cada x P X, existe H ‰ Nx Ă BpXq tal que:

a) Si N P Nx , entonces x P N ;

b) Si N P Nx y M Ą N , entonces M P Nx ;

c) Si N1 , N2 P Nx , entonces N1 X N2 P Nx ;

d) Para cada N P Nx existe U P Nx tal que U Ă N y U P Ny para todo y P U .

Sea T la colección de todos los subconjuntos U de X tal que U P Ny para cada y P U ;

es decir,

T “ tU Ă X : U P Ny , @y P U u .

Entonces T es la única topologı́a sobre X tal que Nx “ Nx para cada x P X.

(Runde, 2005)

Demostración. i) Trivialmente H, y X estan en T . Sea y P X, de ahı́ sigue que

existe por Ny , luego

U P Ny y U Ă X ñ X P N y ñ X P T

50
 Ť
ii) Si U Ă T , entonces tU : U P Uu P T . En efecto, sea U Ă T y sea y P
Ť
tU : U P Uu.

ď
yP tU : U P Uu ñ DU0 P U Ă T { y P U0

ñ U0 P Ny con y P U0

Luego tenemos:

ď ď
U0 P Ny ^ U0 Ă tU : U P Uu ñ tU : U P Uu P Ny .

Ť Ť
Ya que y P tU : U P Uu fue arbitrario, por lo tanto tU : U P Uu P T .

iii) Si U1 , U2 P T , entonces U1 XU2 P T . En efecto, sean U1 , U2 P T y sea y P U1 XU2 ;

es decir,

U1 , U2 P T ñ U1 , U2 P Ny

ñ U1 X U2 P Ny , @y P U1 X U2

ñ U1 X U2 P T .

Se concluye que T es una topologı́a, de modo que tiene sentido hablar de Nx para
x P X. (Note que no se uso (d).)

iv) Sea x P X y sea N P Nx . Por (d),

N P Nx ñ DU P Nx {U Ă N y U P Ny Para todo y P U pse observa que U P T q

ñ U P T {x P U Ă N

ñ N P Nx

Inversamente, sea N P Nx .

N P Nx ñ DU P T {x P U Ă N

ñ U P Ny , @y P U {x P U Ă N

ñ N P Ny .

51
 Por lo tanto, Nx “ Nx para todo x P X. De la Proposición 2.28, es claro que T
está determinada de manera unica por esta propiedad.

Definición 2.31 (Clausura de un conjunto). Sea pX, T q un espacio topológico. Para

cada S Ă X, la clausura de S se define por:

č
S“ tF : F Ă X cerrado y S Ă F u.

(Runde, 2005, Pág.66)

Proposición 2.30. Sea pX, T q un espacio topológico y sea A, B subconjuntos de X.

Entonces

(a) X “ X

(b) A Ă A

(c) Si A Ă B, entonces A Ă B

(d) A es cerrado si y sólo si A “ A

(Waldmann, 2014, Pág.19)

Proposición 2.31. Sea pX, T q un espacio topológico y sea S Ă X. Entonces

S “ tx P X : N X S ‰ H para todo N P Nx u .

(Runde, 2005, Pág.67)

Definición 2.32 (Denso). Sea pX, T q un espacio topológico. Entonces D Ă X se dice

que es denso en X si D “ X.
(Runde, 2005, Pág.68)

Definición 2.33 (Separable). Un espacio topologico es llamado separable si tiene un sub-

conjunto denso contable.
(Runde, 2005, Pág.69)

52
2.2.2. Base de una Topologı́a

Definición 2.34 (Base - Subbase). Sea pX, T q un espacio topológico. Entonces:

(a) Una base para T es una colección B de conjuntos abiertos tal que cada conjunto
abierto es una unión de conjuntos en B.

(b) Una subbase para T es una colección S de conjuntos abiertos tal que la colección de
todas las intersecciones finitas de conjuntos en S es una base para T .

(Runde, 2005, Pág.69)

Si B es una base de una topologı́a T sobre X, entonces un subconjunto U de X

está en T si, y sólo si, es una unión de elementos de B. Por lo que B genera la topologı́a
T en el sentido siguiente: si sabemos cuáles conjuntos son los elementos de B entonces
podemos determinar los elementos de T , ellos son todos los conjuntos que son uniones
de elementos de B.

Definición 2.35 (Segundo numerable). Un espacio topologı́co pX, T q es llamado segun-

do numerable si T tiene una base numerable.
(Runde, 2005, Pág.112)

Ejemplo 2.57 (Base para pX, dq). Sea pX, dq un espacio métrico. Entonces por el Ejem-
plo 2.15

B “ tBr pxq : x P X, r ą 0u

es una base para la topologı́a inducida por d.

Ejemplo 2.58 (Base para R). Sea R un espacio métrico. Entonces

B “ txa, by : a, b P R ^ a ă bu

es una base para la topologia usual de R.

Ejemplo 2.59. Sea pX, T q con la topologı́a discreta. Entonces

B “ ttxu : x P Xu

53
es una base para T .

Ejemplo 2.60 (Subbase para R). Sea R un espacio métrico. Entonces

S “ tx´8, ay , xb, `8y : a, b P Ru

es una subbase para la topologı́a usual de R.

Proposición 2.32. Sean pX, T q un espacio topológico y Y Ă X. Si B es una base para

T , entonces BY “ tY X B : B P Bu es una base para T |Y .
(Gerard Buskes, 1997, Pág.200)

Demostración. Sea U 1 P T |Y

U 1 P T |Y ñ U 1 “ Y X U, U P T
ď
ñ U 1 “ Y X tB : B P Bu
ď
ñ U1 “ tY X B : B P Bu

Por lo tanto BY es una base para T |Y .

Ejemplo 2.61. Consideremos el subconjunto Y “ r0, 1s de la recta real R, con la to-

pologı́a relativa. La topologı́a relativa tiene como base BY “ tY X xa, by : xa, by P Bu,
donde B “ txa, by : a, b P R ^ a ă bu es una base para la topologı́a usual de R.
$
’xa, by ; si a y b están en Y
’
’
’
’
’
’
&r0, by ; si solamente b está en Y
’
xa, by X Y “
’
’
’
’xa, 1s ; si solamente a está en Y
’
’
’
’
%Y ó H; si ni a ni b están en Y .

(Munkres, 2000, Pág. 102)

Proposición 2.33. Sean pX, T q un espacio topológico y Y Ă X. Si S es una subbase

para T , entonces SY “ tY X S : S P Su es una subbase para T |Y .
(Gerard Buskes, 1997, Pág.200)

54
Demostración. Sea Y X U P T |Y con U P T . Ya que S es una subbase para T , todas
intersecciones finitas de elementos de S determinan un base B para T

ď
Y X U “ Y X tB : B P Bu
ď
“ tY X B : B P Bu
# +
ď n
č
“ Y X Si : Si P S
i“1
# +
ď čn
“ pY X Si q : Si P S
i“1

Luego es U X Y es la unión de intersecciones finitas de elementos de SY y por lo tanto

SY es una subbase para T |Y .

Ejemplo 2.62. Consideremos el subconjunto Y “ r0, 1s de la recta real R, en la topologı́a

relativa. La topologı́a subespacio tiene como subbase SY “ tY X S : S P Su, donde S “
tx´8, ay , xb, `8y : a, b P Ru es una subbase de la topologı́a usual de R.
$
’
’
’
’ r0, ay ; si a está en Y
’
’
’
&xb, 1s ; si b está en Y
’
Y XS “
’
’
’
’ H; si a ă 0 ó b ą 1
’
’
’
’
%r0, 1s ; si a ą 1 ó b ă 0.

Proposición 2.34. Sea pX, T q un espacio topológico. B es una base para T si, y sólo si,
para cada abierto U P T y para cada x P U , existe B P B tal que x P B Ă U .
(Lima, 1976, Pág.69)

Demostración. a) Sea B es una base para T , y sean U P T y x P U .

ď
U PT ñU “ tB : B P Bu .

Luego tenemos

x P U ñ DB P B{x P B Ă U

55
 b) Sea U P T y sea x P U . Existe B P B tal que

ď ď
x P B Ă U ñ txu Ă B Ă U ñ U “ txu Ă tB : B P Bu Ă U,
xPU

Ť
de ello se sigue que U “ tB : B P Bu.

Proposición 2.35. Sea B una base de una topologı́a T sobre un conjunto X. Entonces
un subconjunto U de X es abierto si y sólo si para cada x P U , existe B P B tal que
x P B Ă U . (Morris, 2011, Pág.49)

Proposición 2.36. Sea X un conjunto no vacio y sea B una colección de subconjuntos

de X. Entonces B es una base de una topologı́a sobre X si, sólo si, cumple las siguientes
condiciones:

Ť
(a) X “ tB : B P Bu

(b) Para todo B1 , B2 P B, si x P B1 XB2 , entonces existe B P B tal que x P B Ă B1 XB2 .

(Esta condición se cumple, en particular, cuando B1 X B2 P B.)

(Lima, 1976, Pág.70)

Demostración.

i) (ùñ) Sea B una base de una topologı́a T sobre X, entonces

ď
XPT ñX“ tB : B P Bu .

También, sean B1 , B1 P B y sea x P B1 X B2 .

ď
B1 , B2 P T ñ B1 X B2 P T ñ B1 X B2 “ tB : B P Bu ñ DB P B{x P B Ă B1 X B2 .

ii) (ðù) Sea B una colección de subconjunto de X que satisface paq y pbq. Para de demostrar la
condición necesaria debe existir una topologı́a T que tiene como base B, tal que todo abierto de

56
está topologı́a se puede escribir como la unión arbitraria de elementos de B. Definimos

! ď )
T “ U ĂX:U “ tB : B P Bu

Ť
Claramente H P T , y de (1) X P T . Por otra parte, si U Ă T ñ tU : U P Uu P T . En efecto,
sean U Ă T y sea U P U, de ello se sigue

ď
U PU ñU PT ñU “ tB : B P Bu ,

Ť
se observa que tU : U P Uu es la unión de elementos de U, además U es la unión de elementos
Ť Ť
de B, de ello tU : U P Uu es la unión de elementos de B. Por lo tanto tU : U P Uu P T .
De otra parte, si U1 , U2 P T ñ U1 X U2 P T . En efecto, sean U1 , U2 P T

ď ď ď
U1 “ tBλ : Bλ P Bu , U2 “ tBβ : Bβ P Bu ñ U1 X U2 “ tBλ X Bβ : Bλ , Bβ P Bu

Ť
Luego U1 XU2 “ tBλ X Bβ : Bλ X Bβ P Bu ñ U1 XU2 P T . Finalmente T es una topologı́a,
que tiene como base B.

Ejemplo 2.63. Sea B el conjunto de intervalos semi-abiertos de la recta real R:

B “ tra, by : a ă bu

La recta real R es la unión de los elementos de B,

ď
x P R ñ x P rx, by ñ x P trx, by : x ă b, b P Ru .

Sean B1 “ ra1 , b1 y y B2 “ ra2 , b2 y elementos de B y x P B1 X B2 , podemos escoger

B “ ra, by tal que

x P B Ă B1 X B2

donde a “ máx ta1 , a2 u y B “ mı́n tb1 , b2 u, luego la intersección de dos intervalos semi-
abiertos cualesquiera, es vacia o es otro intervalo semi-abierto, Ası́ la colección de todas
las uniones de conjuntos de B es una topologı́a de R, es decir, B es una base de una
topologı́a T de R. Esta topologı́a T es la topologı́a de Sorgenfrey.

57
2.2.3. Continuidad y Convergencia de Redes

Definición 2.36. Sea pX, T q un espacio topológico. Una sucesión pxn q8

n“1 en X se dice

que converge a x P X si, para cada N P Nx , existe nN P N tal que xn P N para todo
n ě nN . (Runde, 2005, Pág.72)

Esta definición es correcta, pero si uno intenta probar resultados análogos a la

convergencia de sucesiónes en espacios métricos, aparecen problemas. Por Ejemplo, la
Proposición 2.10, no es cierto en espacios topológicos en general

Ejemplo 2.64. Sea X un conjunto no numerable con la topológia del Ejemplo 2.47, es
decir, los conjuntos abiertos son H y aquellos con complemento numerable. Fijemos un
punto x0 P X.

x0 P X ñ tx0 u R T ñ Xz tx0 u no es cerrado,

de manera que Xz tx0 u “ X. Sea pxn q8

n“1 una sucesión en Xz tx0 u, y sea

U “ Xz tx1 , x2 , ¨ ¨ ¨ u .

Debido a la naturaleza de nuestra topologı́a, U es abierto y por lo tanto es un entorno de

x0 . Además, xn R U para todo n P N por definición, de modo que pxn q8
n“1 no puede

converger a x0 .
Observación. Entonces, ¿cómo vamos a definir la continuidad en espacios topológicos ar-
bitrarios?. Por su puesto, podriamos intentar por medio de sucesiones como para espacios
métricos, pero en vista del Ejemplo 2.64, podemos encontrarnos con dificultades inespe-
radas. De las cuatro condiciones equivalentes del Teorema 2.12, la cuarta no hace ninguna
referencia explı́cita a una métrica. Usaremos esto para la definición de continuidad.

Definición 2.37 (Continuidad). Sean pX, TX q y pY, TY q espacios topológicos. Entonces

f : X Ñ Y se dice que es continua en x0 P X si f ´1 pN q P Nx0 para cada N P Nf px0 q . Si
f es continua en todo punto de X, simplemente llamaremos f continua.
(Runde, 2005, Pág.72)

Observación. La definición anterior tambien equivale a f es continua en x0 P X si, sólo

si, para cada N P Nf pxq existe U P Nx tal que f pU q Ă N .

58
Proposición 2.37. Sean pX, TX q y pY, TY q espacios topológicos. Entonces las siguientes
proposiciones son equivalentes para f : X Ñ Y .

(a) f es continua.

(b) f ´1 pU q es abierto en X para cada subconjunto abierto U de Y .

(c) f ´1 pF q es cerrado en X para cada subconjunto cerrado F de Y .

(Runde, 2005, Pág.72)

Ejemplo 2.65 (Continuidad en un Espacio Discreto). Sean pX, TX q y pY, TY q espacios

topológicos tal que X es discreto. Entonces toda función f : X Ñ Y es continua.

Ejemplo 2.66 (Continuidad de una Función Constante). Sean pX, TX q y pY, TY q espa-
cios topológicos. Entonces toda función f : X Ñ Y constante, es continua.

Ejemplo 2.67 (Continuidad de una Función Compuesta). Sean pX, TX q, pY, TY q y

pZ, TZ q espacios topológicos, y sean f : X Ñ Y y g : Y Ñ Z funciones continuas.
Entonces g ˝ f : X Ñ Z es continua.

Ejemplo 2.68. Sean pX, TX q un espacio topológico indiscreto, pY, TY q un espacio de

Hausdorff y f : X Ñ Y continua. Entonces f es constante.
En efecto, supongamos que f no es constante, entonces existen x, y P X tal que f pxq ‰
f pyq.

pY, TY q Hausdorff ñ DU, V P TY {f pxq P U, f pyq P V y U X V “ H.

Ya que f es continua, f ´1 pU q es abierto en X y no vacio por que contiene x.

x P f ´1 pU q ñ f ´1 pU q “ X (Único abierto no vacio en X es X).

Además

y P X “ f ´1 pU q ñ f pyq P U,

es una contradicción puesto que f pyq P U , f pyq P V y U X V ‰ H. (Si Y es también un

espacio topológico indiscreto, toda función de X a Y es continua.)

59
Proposición 2.38. Sean pX, TX q, pY, TY q espacios topológicos y f : X Ñ Y una función.
Sea B una base para TY . Entonces f es continua si, y sólo si, f ´1 pBq P TX para todo
B P B. (Runde, 2005, Pág.78)

Demostración. a) Si f es continua, entonces f ´1 pBq P TX para todo B P B. En efecto,

sea B P B,

B P B Ă TY ñ B P TY ñ f ´1 pBq P TX .

b) Si f ´1 pBq P TX para todo B P B, entonces f es continua. En efecto, sea U P TY

ď
U P TY ñ U “ tB : B P Bu ,

luego

´ď ¯ ď (
´1 ´1
f pU q “ f tB : B P Bu “ f ´1 pBq : B P B P TX .

Proposición 2.39. Sean pX, TX q, pY, TY q espacios topológicos y f : X Ñ Y una función.

Sea S una subbase para TY . Entonces f es continua si, y sólo si, f ´1 pSq P TX para todo
S P S.
(Runde, 2005, Pág.78)

Demostración. a) Si f es continua, entonces f ´1 pSq P TX para todo S P S. En efecto,

sea S P S,

S P S Ă TY ñ S P TY ñ f ´1 pSq P TX .

b) Si f ´1 pSq P TX para todo S P S, entonces f es continua. En efecto, sea U P TY .

Ya que S es una subbase para T , la colección de todas la intersecciones finitas de
conjuntos de S es una base B para T .

ď
U P TY ñ U “ tB : B P Bu ,

60
 luego

´ď ¯
f ´1 pU q “ f ´1 tB : B P Bu
ď (
“ f ´1 pBq : B P B
# ˜ ¸ +
ď n
č
“ f ´1 Si : Si P S
i“1
# +
ď n
č
“ f ´1 pSi q : Si P S P TX
i“1

Definición 2.38 (Topologı́as Comparables). Sea X un conjunto no vacio, y sean T1 y T2

topologı́as sobre X. Diremos que T1 y T2 son comparables si T1 Ă T2 ó T2 Ă T1 . Si
T1 Ă T2 , se dice que T1 es más gruesa que T2 o, equivalentemente, que T2 es más fina que
T1 .
Claramente, T1 es más fina que T2 si, y sólo si, id : pX, T1 q Ñ pX, T2 q es continua.
(Runde, 2005, Pág.73)

Proposición 2.40. Sean X un conjunto y ppYi , Ti qqiPI una familia de espacios topológi-
cos, y sea fi : X Ñ Yi una función para cada i P I. Entonces existe una topologı́a
más gruesa sobre X tal que cada una de las funciones fi es continua. La colección
(
fi´1 pU q : i P I, U P Ti es una subbase para está topologı́a.
(Runde, 2005, Pág.73)

(
Demostración. Sea S “ fi´1 pU q : i P I, U P Ti y sea T la colección de todas las unio-
nes de intersecciones finitas de conjuntos de S. Entonces T es un topologı́a sobre X te-
niendo S como una subbase (S Ă T ) y cada fi : pX, T q Ñ pYi , Ti q es una función
continua por la Proposición 2.37
Sea T 1 cualquier topologı́a sobre X tal que fi : pX, T 1 q Ñ pYi , Ti q es continua para cada
i P I. Por la Proposición 2.37, es claro que S Ă T 1 y por lo tanto T Ă T 1 ; esto es, T es
más gruesa que T 1 .

Ejemplo 2.69. Sean X1 y X2 espacios topológicos. Formamos el producto Cartesiano

X1 ˆ X2 , el conjunto de todos los pares ordenados x “ px1 , x2 q con x1 P X1 y x2 P X2 .

61
Tenemos las proyecciones de coordenadas π1 : X1 ˆ X2 Ñ X1 y π2 : X1 ˆ X2 Ñ X2 ,
tales que

π1 pxq :“ x1 , π2 pxq :“ x2 px “ px1 , x2 q P X1 ˆ X2 q

La topologı́a más gruesa sobre X1 ˆ X2 tal que cada una de las funciones coordenadas es
continua, es conocida como topologı́a del producto.

Definición 2.39 (Conjunto Ordenado). Un orden en un conjunto no vacio S es una

relación R en S con las siguientes propiedades:

(a) px, xq P R para todo x P S;

(b) Si px, yq, py, zq P R, entonces px, zq P R;

(c) Si px, yq, py, xq P R, entonces x “ y.

En lugar de px, yq P R, escribiremos x ĺ y, y usaremos el sı́mbolo ĺ para denotar

el orden de R. Un conjunto S con un orden ĺ es llamado ordenado; si para cualquier
x, y P S, cumple sólo uno de x ĺ y o y ĺ x, diremos que S es totalmente ordenado.
(Runde, 2005, Pág.18)

Ejemplo 2.70 (R Totalmente Ordenado). Los números reales con su orden usual es un
conjunto totalmente ordenando.

Ejemplo 2.71 (BpSq Ordenado). Sea S cualquier conjunto. Para A, B Ă S definimos

A ĺ B ðñ A Ă B

Luego PpSq es un conjunto ordenado pero no es totalmente ordenado si S tiene más que
un elemento.

Definición 2.40 (Conjunto Dirigido). Un conjunto ordenado A es llamado dirigido si,

para cualquier α, β P A, existe γ P A tal que α ĺ γ y β ĺ γ.
(Runde, 2005, Pág.73)

Ejemplo 2.72. El conjunto de los números naturales es dirigido con respecto a la relación
ď usual.

62
Ejemplo 2.73. Los conjuntos Z, Q y R son dirigidos con respecto a la relación ď usual.

Ejemplo 2.74. Sea S cualquier conjunto. Entonces PpSq, ordenado por la inclusión, es
dirigido.

Ejemplo 2.75. El conjunto Nx (de todos los entornos de un punto x) en un espacio to-
pológico pX, T q, es dirigido con respecto a la inclusión inversa; es decir,

U ĺ V ðñ V Ă U. pU, V P Nx q

Ejemplo 2.76. Si pA, ĺq y pB, ĺq dos conjuntos dirigidos, entonces A ˆ B es dirigido

con respecto a la relación

pα, βq ĺ pα1 , β 1 q ðñ α ĺ α1 y β ĺ β 1 .

Llamaremos dirección canonica sobre el producto cartesiano A ˆ B.

Definición 2.41 (Red). Una red o generalización de una sucesión en un conjunto S es una
función de un conjunto dirigido sobre S.
(Runde, 2005, Pág.73)

Si A es un conjunto dirigido que sirve como dominio de alguna red, utilizamos la

notación pxα qαPA para una red en S; si no hay ambiguedad sobre A, escribiremos simple-
mente pxα qα . Es claro que una sucesión es un caso particular de una red.

Ejemplo 2.77. Sea a ă b números reales. Una partición P de ra, bs es un subconjunto

finito de puntos P “ tt0 , t1 , ¨ ¨ ¨ , tn u Ă ra, bs tal que a “ t0 ă t1 ă ¨ ¨ ¨ ă tn “ b.
Nosotros escribiremos

P “ ta “ t0 ă t1 ă ¨ ¨ ¨ ă tn “ bu (2.8)

La colección P de todas las particiones de ra, bs es un un conjunto ordenado; dado P

como en (2.8) y

Q “ ta “ s0 ă s1 ă ¨ ¨ ¨ ă sm “ bu ,

63
definimos
P ĺ Q ðñ tt0 , t1 , ¨ ¨ ¨ , tn u Ă ts0 , s1 , ¨ ¨ ¨ , sm u .

Claramente, esto hace que P sea un conjunto dirigido. Para P P P como en p˚q, una
etiqueta asociada con P es un n-tupla E “ pE1 , ¨ ¨ ¨ , En q con Ej P rtj´1 , tj s para j “
1, ¨ ¨ ¨ , n. Dado P P P, una etiqueta asociada E, y una función f : ra, bs Ñ R, la suma de
Riemann se define por
n
ÿ
Rpf ; P, Eq “ f pEj qptj ´ tj´1 q
j“1

Si, para cada P P P, fijamos una etiqueta EP , las sumas de Riemann pRpf ; P, EP qqPPP
forma una red en R.
Es claro ahora la Definición 2.36 puede extenderse a las redes en general.

Definición 2.42 (Convergencia de Redes). Sea pX, T q un espacio topológico. Una red
pxα qαPA en X se dice que converge a x P X si, para cada N P Nx , existe αN P A con
xα P N para todo α P A tal que αN ĺ α. Entonces dieremos que x es el lı́mite de pxα qαPA
y escribiremos x “ lı́m xα o xα Ñ x.
α
(Runde, 2005, Pág.74)

Observación. La notación lı́m xα “ x tiene que ser manejado con mucha precaución, el
α
lı́mite de una red en espacios topológicos en general no es único; un ejemplo facil, aunque
extremo, es un espacio topológico caótico con más de un punto; toda red converge a todo
punto. Escribir lı́m xα “ x por lo tanto no significa que x es el lı́mite de la red pxα qα , sino
α
que x es uno de los posibles lı́mites de la red.

Ejemplo 2.78. Sea A la colección de todos los subconjuntos abiertos de R. Definimos la

relación ľ en A por

U ľV ôU ĂV

Supongamos que pxU qU PA es una red en R con xU P U para todo U . Entonces xU converge
?
a 2.

Ejemplo 2.79. Sea pX, T q con la topologı́a de Sierpinski; es decir, T “ tH, X, t0uu.
Entonces la red pxα qαPA tal que xα “ 0, para todo α P A converge a los puntos 0 y 1.

Proposición 2.41. Sea pX, T q un espacio topológico y sea S Ă X. Entonces S es el

64
conjunto de puntos de X que son lı́mite de una red en S.
(Runde, 2005, Pág.76)

Demostración. a) Sea x P S. El conjunto Nx es dirigido por la inclusión inversa. Por

la Proposición 2.31, para cada N P Nx , existe un elemento xN P N X S. Entonces
pxN qN PNx es un red en S tal que x “ lı́mN xN .

b) Sea pxα qαPA una red en S tal que x “ lı́mα xα , supongamos que x P U “ XzS
(U P Nx ). Entonces existe αU P A con xα P U Ă XzS para todo α P A tal que
αU ĺ α, esto es una contradicción puesto que xα P S.

Corolario 2.42. Sea pX, T q un espacio topológico. Entonces F Ă X es cerrado si, y

sólo si, cada red en F que converge en X tiene su lı́mite en F .

Proposición 2.43. Las siguientes proposiciones son equivalentes para un espacio to-
pológico pX, T q.

(a) X es Hausdorff.

(b) Toda red convergente en X tiene un único lı́mite.

(Runde, 2005, Pág.76), (Gerard Buskes, 1997, Pág.211)

Demostración. i) Si X es Hausdorff, entonces toda red convergente en X tiene un

único lı́mite. Sea pxα qαPA un red en X tales que existen x, x1 P X con xα Ñ x y
xα Ñ x1 pero x ‰ x1 . Entonces existen N P Nx y M P Nx1 tal que N X M “ H.

xα Ñ x ñ DαN P A{ α ľ αN ñ xα P N.

xα Ñ x1 ñ DαM P A{ α ľ αM ñ xα P M.

Ya que A es dirigido, existe α P A con αN ĺ α y αM ĺ α. Por lo tanto xα P N XM

debe contener para tales α, lo cual es una contradicción porque N X M “ H.

65
 ii) Si toda red convergente en X tiene un único lı́mite, entonces X es Hausdorff. Su-
pongamos que X no es Haudorff. Entonces existen x, y P X con x ‰ y tal que
N X M ‰ H para todo N P Nx y M P Ny .
El conjunto Nx ˆ Ny es dirigido por:

pN1 , M1 q ĺ pN2 , M2 q :ðñ N2 Ă N1 y M2 Ă M1 ppN1 , M1 q, pN2 , M2 q P Nx ˆ Ny q.

` ˘
Para todo pN, M q P Nx ˆNy , existe xpN,M q P N XM . Entonces xpN,M q pN,M qPNx ˆNy
es una red en X.

A) Sea N0 P Nx . Entonces existe pN0 , Xq P Nx ˆ Ny y

pN0 , Xq ĺ pN, M q ñ N Ă N0 ^ M Ă X

ñ xpN,M q P N Ă N0

B) Sea M0 P Ny . Entonces existe pX, M0 q P Nx ˆ Ny y

pX, M0 q ĺ pN, M q ñ N Ă X ^ M Ă M0

ñ xpN,M q P M Ă M0

Por lo tanto xpN,M q Ñ x y xpN,M q Ñ y. Por lo tanto, tenemos una red con al menos
dos lı́mites.

Teorema 2.44. Sean pX, TX q, pY, TY q espacios topológicos y x0 P X. Entonces las si-
guientes proposiciones son equivalentes para la función f : X Ñ Y .

(a) f es continua en x0

(b) Si para cada red pxα qα en X con lı́m xα “ x0 , lı́m f pxα q “ f px0 q.
α α

(Runde, 2005, Pág.77), (Waldmann, 2014, Pág.62)

Demostración. paq ùñ pbq: Sea pxα qαPA una red en X con lı́mα xα “ x0 , y sea N P

66
Nf px0 q .

f continua en x0 ùñ N P Nf px0 q ñ f ´1 pN q P Nx0 .

Consecuentemente tenemos por convergencia

lı́m xα “ x0 ùñ Dαf ´1 pN q P A{ α ľ αf ´1 pN q ñ xα P f ´1 pN q
α

ùñ Dαf ´1 pN q P A{ α ľ αf ´1 pN q ñ f pxα q P N.

Por lo tanto lı́mα f pxα q “ f px0 q.

pbq ùñ paq: Sea N P Nf px0 q , y supongamos por contradicción que f ´1 pN q R Nx0 .

f ´1 pN q R Nx0 ñ @U P TX { x0 P U Ć f ´1 pN q.

Sea Ux0 denota la colección de todos los subconjuntos abiertos de X conteniendo x0 .

Entonces Ux0 es un subconjunto dirigido de Nx0 (con respecto a la inclusión inversa de
conjuntos). Por nuestra suposición escogemos

xU P U zf ´1 pN q para cada U P Ux0 .

Es claro que lı́mU xU “ x0 . Sin embargo, ya que f pxU q R N para todo U P Ux0 , f pxU q ­Ñ
f px0 q, el cual es una contradicción.

2.2.4. Compacidad

Definición 2.43 (Cubrimiento). Sea pX, T q un espacio topológico y sea S Ă X. Un

cubrimiento abierto para S es una colección U de subconjuntos abiertos de X tal que
Ť
S Ă tU : U P Uu.
(Runde, 2005, Pág.79)

Definición 2.44 (Conjunto Compacto). Un subconjunto K de un espacio topológico

pX, T q es llamado compacto si, para cada cubrimiento abierto U de K, existen U1 , ¨ ¨ ¨ , Un P
U tal que K Ă U1 Y ¨ ¨ ¨ Y Un .
(Runde, 2005, Pág.79)

67
Ejemplo 2.80. Sea pX, T q con la topologı́a indiscreta. Entonces todo A Ă X es compac-
to.

Ejemplo 2.81. Sea pX, T q con la topologı́a discreta. Entonces X es compacto si, y sólo
si, es finito.

Definición 2.45 (Intersección Finita). Un espacio topológico pX, T q tiene la propiedad

de la interseción finita si, para cualquier colección F de subconjuntos cerrados de X tal
Ş
que tF : F P Fu “ H, existen F1 , ¨ ¨ ¨ , Fn P F tal que F1 X ¨ ¨ ¨ X Fn “ H.
(Runde, 2005, Pág.79)

Proposición 2.45. Sea pX, T q un espacio topológico. Entonces las siguientes proposi-
ciones son equivalentes.

(a) X es compacto.

(b) X tiene la propiedad de intersección finita.

(Runde, 2005, Pág.79)

Proposición 2.46. Sea pX, T q un espacio topológico y sea Y un subespacio de X.

(a) Si X es compacto y Y es cerrado en X, entonces Y es compacto.

(b) Si X es Hausdorff y Y es compacto, entonces Y es cerrado en X.

(Runde, 2005, Pág.80)

Demostración. paq Sea U un cubrimiento abierto para Y . Ya que Y es cerrado en X, la

familia U Y tXzY u es un cubrimiento abierto de X. Ya que X es compacto, existe
un subcubrimiento finito; es decir, existen U1 , ¨ ¨ ¨ , Un P U tal que

X “ U1 Y ¨ ¨ ¨ Y Un Y XzY ñ X X Y “ pU1 Y ¨ ¨ ¨ Y Un Y XzY q X Y

ñ Y “ pU1 Y ¨ ¨ ¨ Y Un q X Y

ñ Y Ă U1 Y ¨ ¨ ¨ Y Un

Por lo tanto, Y es compacto.

68
 pbq Sea x P XzY . Para cada y P Y , existen subconjuntos abiertos Uy , Vy de X tales
que

x P Uy , y P Vy y Uy X Vy “ H.

Ya que tVy : y P Y u es un cubrimiento abierto de Y , existen y1 , ¨ ¨ ¨ , yn P Y tal que

Y Ă Vy1 Y ¨ ¨ ¨ Y Vyn .

Escogiendo U :“ Uy1 X ¨ ¨ ¨ X Uyn , luego obtenemos que

U X Y Ă U X pVy1 Y ¨ ¨ ¨ Y Vyn q “ H ñ U Ă XzY,

de modo que XzY es un entorno de x. Ya que x P XzY fue arbitrario, XzY es

abierto. Por lo tanto Y es cerrado en X.

Proposición 2.47. Sean pK, TK q un espacio topológico compacto, pY, TY q cualquier es-
pacio topológico y sea f : K Ñ Y continua. Entonces f pKq es compacto.

Demostración. Para la prueba, ver (Runde, 2005)

Corolario 2.48. Sea pK, TK q un espacio topológico compacto no vacio y sea f : K Ñ R

continua. Entonces f alcanza sus valores extremos en K.

Demostración. Para la prueba, ver (Runde, 2005)

Definición 2.46 (Homeomorfimo). Sean pX, TX q, pY, TY q espacios topológicos. Un ho-

meomorfismo entre X e Y es una función biyectiva f : X Ñ Y tal que f y f ´1 son
continuas. Si existe un homeomorfismo entre X y Y , los dos espacios son llamados ho-
meomorfos.
(Runde, 2005, Pág.80)

Teorema 2.49. Sean pK, TK q y pY, TY q espacios topológicos tales que K es compacto, Y
es de Hausdorff, y sea f : K Ñ Y biyectiva y continua. Entonces f es un homeomorfismo.
(Runde, 2005, Pág.81)

69
Demostración. Verificaremos la Proposición 2.37pcq para g “ f ´1 . Sea F Ă K cerrado.
Ya que f es biyectiva, la imagen inversa de F sobre g es f pF q.
Ya que K es compacto, por la Proposición 2.46paq, F es compacto. consecuentemente,
f pF q es compacto en Y por la Proposición 2.47 y por lo tanto cerrado en Y (por que Y
es Hausdorff) por Proposición 2.46pbq. Esto prueba la Proposición 2.37pcq para g “ f ´1
y por lo tanto se tiene la continuidad de f ´1 .

2.2.5. Topologı́a Producto

Definición 2.47. Sea S una colección no vacia de conjuntos. Entonces el producto Car-
ś
tesiano tS : S P Su se define como la colección de todas las funciones f : S Ñ
Ť
tS : S P Su tal que f pSq P S para todo S P S.

Si S “ pSi qiPI una familia de conjuntos indexada. El producto cartesiano de esta

ś
familia indexada, denotado por iPI Si , es el conjunto de todas las funciones

ď
f :IÑ tSi : i P Iu

tal que f piq P Si para cada i P I, el cual denotaremos por f “ pf piqqiPI .

(Runde, 2005, Pág.18)
ś
Definición 2.48. Sea ppXi , Ti qqiPI una familia de espacios topológicos y sea X “ iPI Xi .
Entonces la topologı́a producto en X es la topologı́a más gruesa T en X haciendo a las
proyecciones de coordenadas

πi : X Ñ X i , f ÞÑ f piq pi P Iq

continuas. Llamaremos a pX, T q el producto topológico de ppXi , Ti qqiPI .

(Runde, 2005, Pág.83)

Por la Proposición 2.40, el producto topológico existe, y los conjuntos abiertos

son uniones de conjuntos de la forma

πi´1
1
pU1 q X ¨ ¨ ¨ X πi´1
n
pUn q,

70
donde i1 , ¨ ¨ ¨ , in P I y Uj P Tij para j “ 1, ¨ ¨ ¨ , n.

Ejemplo 2.82. Sea ppXi , Ti qqiPt1,2u espacios topológicos y sea X “ X1 ˆ X2 . Entonces la

topologı́a producto sobre X1 ˆ X2 es la topologı́a T más gruesa sobre X1 ˆ X2 haciendo
las proyeccciones de coodenadas π1 : X1 ˆ X2 Ñ X1 y π2 : X1 ˆ X2 Ñ X2 , tales que

π1 pxq :“ x1 , π2 pxq :“ x2 px “ px1 , x2 q P X1 ˆ X2 q

continuas. Una subbase S para el producto topológico sobre X1 ˆ X2 es formada por el

conjunto π1´1 pU q pU Ă X1 abiertoq y π2´1 pV q pV Ă X2 abiertoq, es decir, el conjunto
U ˆ X2 pU Ă X1 abiertoq y X1 ˆ V pV Ă X2 abiertoq. Note que:

(
S “ π1´1 pU q, π2´1 pV q : U P T1 , V P T2 y

B “ tU ˆ V : U P T1 , V P T2 u

son subbase y base para la topologı́a producto sobre X1 ˆ X2 .

Proposición 2.50. Sean pX, TX q, pY, TY q, pZ, TZ q espacios topológicos, el espacio to-
pológico producto pY ˆ Z, T q, f1 : X Ñ Y , f2 : X Ñ Z y definimos:

f : X Ñ Y ˆ Z, x ÞÑ pf1 pxq, f2 pxqq.

Entonces f es continua si, y sólo si, f1 y f2 son continuas.

(Vilches, s.f., Pág.54)

Demostración. Sean π1 : Y ˆZ Ñ Y y π2 : Y ˆZ Ñ Z las proyecciones de coordenadas

sobre el primer factor y segundo factor respectivamente. Obsérvese que

f 1 “ π1 ˝ f y f 2 “ π 2 ˝ f

Si f es continua, entonces f1 “ π1 ˝ f y f2 “ π2 ˝ f son continuas. Recı́procamente,

supongamos que f1 y f2 son continuas. Sea U ˆ V un elemento básico de la topologı́a
Y ˆ Z, entonces

f ´1 pU ˆ V q “ f1´1 pU q X f2´1 pV q;

71
luego, f es continua.

Proposición 2.51. Sean pX, TX q un espacio topológico y pE, k kq un espacio vectorial

normado sobre R. Dadas las funciones f, g : X Ñ E, podemos definir una nueva función
por:

f ` g : X Ñ E, x ÞÑ f pxq ` gpxq.

Si f y g son continuas, entonces f ` g es continua.

(Vilches, s.f., Pág.54)

Demostración. La función h : X Ñ E ˆ E definida por:

hpxq “ pf pxq, gpxqq

es continua, y

S : E ˆ E Ñ E, px1 , y1 q ÞÑ x1 ` y1

es una función continua. Entonces f ` g “ S ˝ h es continua.

Proposición 2.52. Sean pX, TX q un espacio topológico y pE, k kq un espacio vectorial

normado sobre R, sean α : X Ñ R y f : X Ñ E funciones. Definimos una nueva función
por:

αf : X Ñ E, x ÞÑ αpxqf pxq.

Si f y α son continua, entonces αf es continua.

(Vilches, s.f., Pág.54)

Demostración. La función h : X Ñ R ˆ E tal que hpxq “ pαpxq, f pxqq es continua, y

m : R ˆ E Ñ E tal que mpλ, x1 q “ λx1 es una función continua. Entonces αf “ m ˝ h
es continua.

72
2.2.6. Axiomas de Separación

Definición 2.49 (Espacio T0 ). Un espacio topológico pX, T q es llamado un espacio T0 o

espacio de Kolmogorov si, para cualquier x, y P X con x ‰ y, existe un conjunto abierto
U Ă X tales que (x P U y y R U ) o (y P U y x R U ).
(Runde, 2005, Pág.100)

Figura 2.2: Espacio T0

Ejemplo 2.83. Sea X cualquier conjunto con al menos dos elementos con la topologı́a
indiscreta. Entonces X no es un espacio T0 .

Ejemplo 2.84. Sea pX, T q un espacio topológico con la topologı́a discreta. Entonces X
es un espacio T0 .

Ejemplo 2.85. Sea X “ t0, 1u un conjunto y T “ tH, t0u , t0, 1uu una topologı́a para
X. Entonces X es un espacio T0 .

Definición 2.50 (Espacio T1 ). Un espacio topológico pX, T q es llamado un espacio T1 si,

para cualquier x, y P X con x ‰ y, existen conjuntos abiertos U, V Ă X tales que x P U ,
y RU ey PV,xRV.
(Runde, 2005, Pág.100)

U V

Figura 2.3: Espacio T1

73
Observación. Obviamente, todo espacio T1 es un espacio T0 , y todo espacio de Hausdorf f
es un espacio T1 .

Ejemplo 2.86. Sea X “ t0, 1u un conjunto y T “ tH, t0u , t0, 1uu una topologı́a para
X. El espacio pX, T q no es un espacio T1

Proposición 2.53. Sea pX, T q un espacio topológico. Entonces X es un espacio T1 si, y

sólo si, txu es cerrado para cada x P X.
(Runde, 2005, Pág.101)

Demostración. a) Supongamos que X es un espacio T1 , y sea x P X. Para cualquier

y P X con y ‰ x, entonces existe un subconjunto abierto Uy de X tal que y P Uy pero
x R Uy . Por consiguiente

ď
Xz txu “ tUy : y P X, x ‰ yu

es abierto, de modo que txu es cerrado para cada x P X.

b) Reciprocamente, supongamos que todos los conjuntos unitarios de X son cerrados,

y sean x, y P X tal que x ‰ y. Entonces existen conjuntos abierto U “ Xz tyu y
V “ Xz txu de X tales que x P U “ Xz tyu pero y R U “ Xz tyu, y y P V “ Xz txu
pero y R V “ Xz txu. Por lo tanto X es un espacio T1 .

Ejemplo 2.87. Sea X cualquier conjunto, y sea T la topologı́a que consiste de H y to-
dos los subconjuntos de X que tienen complemento finito. Entonces, trivialmente, todos
los subconjuntos unitarios de X son cerrados, de modo que X es un espacio T1 por la
Proposición 2.53. Sin embargo, si X es un conjunto infinito que posee la topologı́a co-
finita, entonces cualquier par de subconjuntos abiertos no vacios U, V de X siempre se
intersecan, porque si ocurriera que U X V “ H entonces

X “ XzH “ XzpU X V q “ pXzU q Y pXzV q.

Por la definición de la topologı́a cofinita, los subconjuntos XzU y XzV son finitos. En
consecuencia, el espacio pX, T q no es de Hausdorff.

74
 Espacios Hausdorff a veces son llamados espacios T2 , y algunos autores denota
los axiomas de separación con la etiqueta de la forma Tt donde t es un número entero no
negativo (y como máximo cinco).
Nuestro siguiente axioma de separación tiene un sabor algo diferente; no está definido en
términos de la topologı́a, sino a través de funciones continuas.
Dados pX, dX q y pY, dY q espacios metricos, usaremos el sı́mbolo Cb pX, Y q para denotar
las funciones continuas en BpX, Y q. Seguimos usando la misma notación si X es un
espacio topológico.

Definición 2.51 (Completamente regular). Sea pX, T q un espacio T1 . Entonces X es

llamado completamente regular si y sólo si, para cada x P X y para cada cerrado F Ă X
con x R F , existe f P Cb pX, Rq tal que f pXq Ă r0, 1s, f pxq “ 1 y f |F “ 0.
(Runde, 2005, Pág.101)

Ejemplo 2.88. Sea pX, dq un espacio métrico, sea x0 P X y sea F Ă X cerrado tal que
x0 R F . Para evitar la trivialidad, supongamos que F ‰ H. Definimos

g : X Ñ R, x ÞÑ distpx, F q.

Entonces g es continua con g|F “ 0 y gpx0 q ‰ 0. Definimos f : X Ñ R por :

" *
gpxq
f pxq “ mı́n ,1 px P Xq.
gpx0 q

Entonces f pXq Ă r0, 1s, f px0 q “ 1 y f |F “ 0, de modo que X es completamente regular.

Ejemplo 2.89. La recta Sorgenfrey es R con la topologı́a Sorgenfrey, es decir, la colección

de todas las uniones de intervalos semi-abiertos ra, by con a ă b. La topologı́a Sorgenfrey
es más fina que la topologı́a canonica porque

ď
xa, by “ trc, by : a ă c ă bu

es Sorgenfrey abierto para cualquier a ă b. Sea a P R; entonces la semirrecta

ď
ra, `8y “ tra, by : b P R, b ą au

es Sorgenfrey abierto, y ya que es cerrado con respecto a la topologı́a canónica sobre R,

75
es también Sorgenfrey cerrado

ď
x´8, ay “ Xz tra, by : b P R, b ą au .

Consecuentemente, cuando a ă b, el intervalo semi-abierto

ra, by “ ra ` 8y z rb, `8y “ x´8, ay Y rb, `8y

es Sorgenfrey cerrado y abierto. Sea F Ă R un Sorgenfrey cerrado y sea x P RzF .

Por definición de la topologı́a Sorgenfrey, existen a ă b tal que x P ra, by Ă RzF . Sea
f la función caracterı́stica de ra, by. Ya que ra, by es Sorgenfrey cerrado y abierto, f es
continua (y claramente satisface f pRq Ă r0, 1s, f pxq “ 1 y f |F “ 0). Consecuentemente,
la recta Sorgenfrey es completamente regular.

Ejemplo 2.90. Todo subespacio de un espacio completamente regular es también com-

pletamente regular.

Proposición 2.54. Sean pX, T q un espacio completamente regular , x P X y F Ă X

cerrado tal que x R F . Entonces existen subconjuntos abiertos U y V de X tales que
x P U , F Ă V y U X V “ H. En particular X es de Hausdorff.
(Runde, 2005, Pág.103)

Demostración. Sea f : X Ñ R una función continua tal que f pxq “ 1 y f |F “ 0. Sean

" * " *
1 1
U “ y P X : f pyq ą , V “ y P X : f pyq ă .
2 2

De ello se sigue que U y V son abiertos, tales que x P U , F Ă X y U X V “ H.

Definición 2.52 (Espacio Normal). Un espacio T1 pX, T q es llamado normal si, para
cualquier par de conjuntos cerrados F, G Ă X con F X G “ H, existen conjuntos
abiertos U, V Ă X tales que F Ă U , G Ă V y U X V “ H.
(Runde, 2005, Pág.103)

76
 U V
F G

Figura 2.4: Espacio Normal

Ejemplo 2.91. Sea pX, dq un espacio métrico y sean F, G Ă X cerrados y disjuntos (y

no vacios, para evitar la trivialidad). Entonces

f : X Ñ R, x ÞÑ distpx, F q ´ distpx, Gq

es continua. Sean

U “ tx P X : f pxq ă 0u , V “ tx P X : f pxq ą 0u .

Entonces U y V son abiertos tales que F Ă U , G Ă V y U X V “ H. Por lo tanto, X es

normal.

Ejemplo 2.92. Sea pK, T q un espacio compacto Hausdorff, y sean F, G Ă K cerrados

y disjuntos (y no vacios, para evitar la trivialidad). Fijemos x P F . Para y P G, existen
Uy , Vy P T tales que x P Uy , y P Vy y Uy X Vy “ H. Obviamente, tVy : y P Gu es un cu-
brimiento abierto para G, y ya que G (es un subespacio cerrado de un espacio compacto)
es compacto, existen y1 , ¨ ¨ ¨ , yn P G tal que

G Ă Vy1 Y ¨ ¨ ¨ Y Vyn .

Sean

Ux “ Uy1 X ¨ ¨ ¨ X Uyn , Vx “ Vy1 Y ¨ ¨ ¨ Y Vyn .

Entonces Ux y Vx son abiertos tales que x P Ux , G Ă Vx y Ux X Vx “ H. Claramente

77
tUx : x P F u es un cubrimiento para F , y por lo tanto, existen x1 , ¨ ¨ ¨ , xm P F tal que

F Ă Ux1 Y ¨ ¨ ¨ Y Uxm .

Sean

U “ Ux1 Y ¨ ¨ ¨ Y Uxm , V “ Vx1 X ¨ ¨ ¨ X Vxm .

Obtenemos subconjuntos abiertos de X tales que F Ă U , G Ă V y U X V “ H. Por lo

tanto, K es normal. Todos los espacos normales son trivialmente de Hausdorff.

2.3. Lema de Urysohn

Lema 2.55. Sean pX, T q normal, F Ă X cerrado y U Ă X abierto tal que F Ă U .

Entonces existe un abierto V de X tal que

F Ă V Ă V Ă U.

(Runde, 2005, Pág.107)

Demostración. Ya que F, XzU son cerrados y disjuntos, existen V, W Ă X tal que

F Ă V, XzU Ă W, V X W “ H.

V X W “ H ñ V Ă XzW

ñ V Ă XzW

ñ V Ă XzW Ă XzpXzU q “ U

ñ F Ă V Ă V Ă U.

78
Lema 2.56. Sea D el conjunto de números racionales diádicos en x0, 1y, es decir,

!m )
D“ : n P N, m P t1, 2, ¨ ¨ ¨ , 2n ´ 1u .
2n

Entonces en cada intervalo abierto xa, by Ă r0, 1s existe un número diádico.

Demostración. Sea xa, by Ă r0, 1s tal que a ă b. Por la propiedad de Arquimedes, existe
n P N tal que

1
npb ´ aq ą 1 ñ 0 ă ăb´a
n
1 1
ñ 0ă n ă ăb´a
2 n
ñ 1 ă 2 b ´ 2n a
n

Ya que la distancia entre 2n b y 2n a es mayor que 1 y a, b P r0, 1s, existe m P t1, ¨ ¨ ¨ , 2n ´ 1u

tal que

m
2n b ă m ă 2n a ñ a ă ă b.
2n

Teorema 2.57 (Lema de Urysohn). Sea pX, T q un espacio topológico normal, y sean
F , G subconjuntos cerrados y disjuntos de X. Entonces existe una función continua f :
X Ñ R tal que

f pXq Ă r0, 1s , f |F “ 0 y f |G “ 1.

Sug. (Runde, 2005, Pág.109-110) y (Munkres, 2000, Pág.237-240)

Demostración. Ya que XzG es abierto que contiene a F , existe un conjunto abierto

U 1 Ă X tal que
2

F Ă U 1 Ă U 1 Ă XzG.
2 2

79
Por consiguiente, existen subconjuntos abiertos U 1 y U 3 de X tal que
4 4

F Ă U 1 Ă U 1 Ă U 1 Ă U 1 Ă U 3 Ă U 3 Ă XzG.
4 4 2 2 4 4

En consecuencia, existen subconjuntos abiertos U 1 , U 3 , U 5 y U 7 tal que

8 8 8 8

F Ă U1 Ă U 1 Ă U1 Ă U 1 Ă U3 Ă U 3 Ă U1 Ă U 1 Ă U5 Ă U 5 Ă U3 Ă
8 8 4 4 8 8 2 2 8 8 4

U 3 Ă U 7 Ă U 7 Ă XzG.
4 8 8

Continuando de esta manera, existe un conjunto abierto Ur para cada número diádico
r P x0, 1y, tal que para cualesquiera s, t P D, con s ă t, donde D es el conjunto de los
racionales diádicos, tenemos que

F Ă Us Ă U s Ă Ut Ă U t Ă XzG.

Definimos la función f : X Ñ R por:

$
Ş
&sup tt P D : x R Ut u ,
’
xR Ut
tPD
f pxq “ (2.9)
’
%0, en otro caso.

U7/8
U3/4
U5/8
U1/2
U3/8
U1/4
U1/8
F G

0 1/4 1
Figura 2.5: Ilustración de la función f (2.9)

Es claro que f pXq Ă r0, 1s, f |F “ 0 y f |G “ 1. Finalmente mostraremos que f

80
es continua. Ya que S|r0,1s “ tr0, ay , xb, 1s , H, r0, 1s : a, b P r0, 1su es una base para la
topologı́a relativa de r0, 1s, es suficiente mostrar que f ´1 pr0, ayq y f ´1 pxa, 1sq son abiertos
para cada a P r0, 1s.

Sea a P x0, 1s. De la definición de f se sigue que f pxq ă a si, y sólo si, existe
t P D, t ă a, con x P Ut

f pxq ă a ðñ Dt P D, f pxq ă t ă a

ðñ Dt P D, sup tt1 : x R Ut1 u ă t ă a

ðñ Dt P D, t ă a, con x P Ut .

Consecuentemente,

f ´1 pr0, ayq “ tx P X : f pxq P r0, ayu

“ tx P X : f pxq ă au

“ tx P X : Dt P D, t ă a, con x P Ut u
ď
“ Ut .
tăa

es abierto. Además, f pxq ą a si, y sólo si, existe t P D, t ą a,con x R U t

f pxq ą a ðñ Dt P D, f pxq ą t ą a

ðñ Dt P D, sup tt1 : x R Ut1 u ą t ą a

ðñ Dt P D, t ą a, con x R U t

Por lo tanto,

f ´1 pxa, 1sq “ tx P X : f pxq ą au

(
“ x P X : Dt P D, t ą a, con x R U t
ď
“ XzU t .
tąa

es abierto. De ello sigue que f es continua.

Corolario 2.58. Sean pX, T q un espacio topológico normal, F, G subconjunto cerrados

81
y disjuntos de X, y a ă b. Entonces existe un función continua f : X Ñ R tal que

f pXq Ă ra, bs , f |F “ a y f |G “ b.

Sug. (Runde, 2005, Pág.111)

Demostración. a) Por lema de Urysohn, existe una función continua g : X Ñ r0, 1s con
g|F “ 0 y g|G “ 1.

b) Sea el gráfico,

Figura 2.6: Ecuación de la recta

la ecuación de la recta es

y ´ y0 “ mpx ´ x0 q ñ y “ hpxq “ pb ´ aqx ` a.

Es claro que h es un homeomorfimo entre r0, 1s y ra, bs.

c) Definimos la función compuesta f “ h ˝ g : X Ñ ra, bs tal que

f pxq “ ph ˝ gqpxq ñ f pxq “ hpgpxqq

ñ f pxq “ pb ´ aqgpxq ` a.

Esta función verifica los resultados del Corolario.

82
 Capı́tulo3

Materiales y Métodos
3.1. Materiales

Los recursos materiales necesarios de acuerdo al tiempo se tiene resumido en la

siguiente tabla:

Actividades M A M J J A S O N D E A M J
Revisión de la bibliografı́a x x x
Redacción del proyecto x
Presentación del proyecto x
Revisión y aprobación del proyecto x
Redacción del borrador x x x x x x x x
Sustentación x

3.2. Presupuesto

Los recursos utilizados para el desarrollo de este proyecto de investigacióon se ha estima-

do aproximadamente de la siguiente manera.

Descripción Unidades Costo unitario (S/.) Cantidad Costo Total (S/.)

Bibliografı́a Uno 30.00 10 300.00
Papel bond Millar 20.00 4 80.00
Fotocopias Uno 0.10 1000 100.00
Memoria USB 8 GB 30.00 1 30.00
Impresión Uno 0.10 1000 100.00
Uso de internet Horas 1.00 400 400.00
Otros 400.00
Costo total 1410.00

83
3.3. Métodos

En esta investigación se utiliza el método descriptivo, deductivo e inductivo; puesto que

se basa en la interpretación y aplicación del lema de Urysohn.

84
 Capı́tulo4

Resultados y Discusión
En este capı́tulo obtenemos los resultados fundamentales que se derivan del Teorema de
Urysohn (Lema de Urysohn)

Estos son:

- El Teorema de Metrización de Urysohn

- El Teorema de extensión de Tietze

- El Corolario de conexión entre el lema de Urysohn y el Teorema de extensión de Tietze.

4.1. Metrización de Urysohn

Lema 4.1. Sean pX, T q un espacio topológico, B una base para T , y supongamos que, para
cada U P B y cada x P U , existe una función continua fU,x : X Ñ R tal que fU,x pxq “ 1 y
fU,x |XzU “ 0. Entonces T es la topologı́a más gruesa sobre X tal que todas las funciones en
tfU,x : U P B, x P U u son continuas.
(Runde, 2005, Pág.112)

Demostración. Sea T 1 denota la topologı́a más gruesa sobre X tal que todas las funciones en
tfU,x : U P B, x P U u son continuas. Luego T 1 Ă T , supongamos que T Ć T 1 es decir, existe
U P T tal que U R T 1 . Sin perdida de generalidad, supongamos que U P B.

Si U R T 1 , entonces XzU no es cerrado con respecto a T 1

Consecuentemente, existe x R XzU que está en la clausura de XzU con respecto a T 1 , es decir,
T1
x P XzU con respecto a T 1 . Sea pxα qαPA una red en XzU tal que xα ÝÑ x. De ello se sigue que

1 “ fU,x pxq “ lı́m fU,x pxα q “ 0,

α

85
lo cual es una contradicción. Por lo tanto T “ T 1 .

Teorema 4.2 (Teorema de Metrización de Urysohn). Sea pX, T q normal, segundo numerable.
Entonces X es metrizable.
Sug.(Runde, 2005, Pág.112-113)

Demostración. Sea tU1 , U2 , U3 , ¨ ¨ ¨ u Ă T una base numerable para T , y sea

A “ pn, mq P N2 : U n Ă Um .
(

Afirmamos que para cada m P N y para cada x P Um , existe n P N con x P Un Ă U n Ă Um (de

modo particular, pn, mq P A). En efecto, sea m P N y sea x P Um

txu Ă Um ñ DU P T { txu Ă U Ă U Ă Um

ñ Dn P N { txu Ă Un Ă U Ă U Ă Um pU n Ă U q

ñ Dn P N { txu Ă Un Ă U n Ă U Ă Um

ñ Dn P N { x P Un Ă U n Ă Um

Por el lema de Urysohn, para cada pn, mq P A, existe una función continua fn,m : X Ñ R con

fn,m pXq Ă r0, 1s , fn,m |U n “ 1 y fn,m |XzUm “ 0.

Definamos d : X ˆ X Ñ R por:

ÿ 1
dpx, yq “ |fn,m pxq ´ fn,m pyq| px, y P Xq.
2n`m
pn,mqPA

Afirmamos que d es una métrica sobre X

M1) dpx, yq ě 0, @x, y P X con dpx, yq “ 0 Ø x “ y

Es claro que dpx, yq ě 0 a partir de la definición. Mostraremos que dpx, yq Ø x “ y.

i) Si x “ y, entonces dpx, yq “ 0. En efecto,

ÿ 1
x “ y ñ dpx, yq “ |fn,m pxq ´ fn,m pxq|
2n`m
pn,mqPA
ñ dpx, yq “ 0

ii) Si x ‰ y, entonces dpx, yq ‰ 0. En efecto, sean x, y P X tal que x ‰ y. Ya que X es

86
 de Hausdorff,

Dm P N { x P Um , y R Um ñ Dn P N{x P Un Ă U n Ă Um

ñ pn, mq P A.

Ya que fn,m |U n “ 1 y fn,m |XzUm “ 0, tenemos

ÿ 1
dpx, yq “ |fn,m pxq ´ fn,m pyq|
2n`m
pn,mqPA
ÿ 1
“ |1 ´ 0|
2n`m
pn,mqPA
1
ě
2n`m
ą 0

M2) dpx, yq “ dpy, xq, @x, y P X. En efecto,

ÿ 1
dpx, yq “ |fn,m pxq ´ fn,m pyq|
2n`m
pn,mqPA
ÿ 1
“ |fn,m pyq ´ fn,m pxq|
2n`m
pn,mqPA
“ dpy, xq

M3) dpx, zq ď dpx, yq ` dpy, zq, @x, y, z P X. En efecto,

ÿ 1
dpx, zq “ |fn,m pxq ´ fn,m pyq ` fn,m pyq ´ fn,m pzq|
2n`m
pn,mqPA
ÿ 1
ď p|fn,m pxq ´ fn,m pyq| ` |fn,m pyq ´ fn,m pzq|q
2n`m
pn,mqPA
“ dpx, yq ` dpy, zq

T
Afirmamos que id : pX, T q Ñ pX, dq es continua. Sea pxα q una red en pX, T q tal que xα ÝÑ x,

87
puesto que fn,m : pX, T q Ñ R es continua

T usual T
xα ÝÑ x ñ fn,m pxα q ÝÑ fn,m pxq

ñ |fn,m pxα q ´ fn,m pxq| Ñ 0

ÿ
ñ |fn,m pxα q ´ fn,m pxq| Ñ 0
pn,mqPA
ñ dpxα , xq Ñ 0
d
ñ xα ÝÑ x

de modo que la topologı́a inducida por d es más gruesa que T . Por otro lado, cada fn,m : pX, dq Ñ
R con pn, mq P A es continua. Sea pxα q una red en pX, dq tal que

d
xα ÝÑ x ñ dpxα , xq Ñ 0
ÿ
ñ |fn,m pxα q ´ fn,m pxq| Ñ 0
pn,mqPA
ñ |fn,m pxα q ´ fn,m pxq| Ñ 0

ñ fn,m pxα q Ñ fn,m pxq

y por Lema 4.1, concluimos que T es la topologı́a más gruesa que la topologı́a de pX, dq.

4.2. Extensión de Tietze

Lema 4.3. Sea pX, T q un espacio topológico. Entonces Cb pX, Rq, con la norma kf k8 definida
por

kf k8 “ sup t|f pxq| : x P Xu

es un espacio de Banach
(Runde, 2005, Pág.113) y (Folland, 1999, Pág.121)

Demostración. Si f P BpX, Rq, definimos la norma uniforme de f por:

kf k8 “ sup t|f pxq| : x P Xu .

La función dpf, gq “ kf ´ gk8 es una métrica sobre BpX, Rq. BpX, Rq es completo con la
métrica uniforme. Afirmamos que Cb pX, Rq es cerrado en BpX, Rq. En efecto, sea pfn q8
n“1 una

88
sucesión en Cb pX, Rq que converge a f P BpX, Rq. Dado  ą 0


fn Ñ f ñ Dn P N{ n ě n ñ kfn ´ f k8 ă .
3

Dado n ě n y x0 P X, ya que fn es continua en x0 , existe U P Nx0 tal que


|fn pxq ´ fn px0 q| ă p para x P U q.
3

En consecuencia,

|f pxq ´ f px0 q| ď |f pxq ´ fn pxq| ` |fn pxq ´ fn px0 q| ` |fn px0 q ´ f px0 q| ă .

Luego, f es continua y Cb pX, Rq es cerrado en BpX, Rq. Por lo tanto, Cb pX, Rq es un espacio de
Banach.

Teorema 4.4 (Teorema de Extensión de Tietze). Sean pX, T q un espacio normal, Y un subes-
pacio cerrado de X y f : Y Ñ R continua tal que f pY q Ă ra, bs. Entonces existe una función
continua fr : X Ñ R con frpXq Ă ra, bs que extiende f .
Sug. (Runde, 2005, Pág.113-114)

Demostración. La afirmación se cumple si a “ b, ası́ que supongamos que a ă b. Sin perdida de

generalidad, supongamos que a “ ´1 y b “ 1.

1) Sea f0 “ f : Y Ñ R tal que f0 pY q Ă r´1, 1s, y sean

" * " *
1 1
F0 “ x P Y : f0 pxq ď ´ y G0 :“ x P Y : f0 pxq ě .
3 3

Se verifica que F0 y G0 son cerrados y disjuntos. Por Corolario 2.58, existe una función conti-
nua
„ 
1 1 1 1
g0 : X Ñ ´ , tal que g0 |F0 “ ´ y g0 |G0 “ .
3 3 3 3

“ ‰
2) Sea f1 “ f0 ´ g0 |Y : Y Ñ R. Entonces f1 pY q Ă ´ 32 , 23 . Sean
" * " *
12 12
F1 “ x P Y : f1 pxq ď ´ y G1 “ x P Y : f1 pxq ě .
33 33

Se verifica que F1 y G1 son cerrados y disjuntos. Por Corolario 2.58, existe una función conti-

89
 nua
„ 
12 12 12 12
g1 : X Ñ ´ , tal que g1 |F1 “ ´ y g1 |G1 “ .
33 33 33 33

“ ‰
3) Sea f2 “ f1 ´ g1 |Y : Y Ñ R. Entonces f2 pY q Ă ´ 32 23 , 23 23 . Sean
# ˆ ˙2 + # ˆ ˙ +
1 2 1 2 2
F2 “ x P Y : f2 pxq ď ´ y G2 “ x P Y : f2 pxq ě .
3 3 3 3

Se verifica que F2 y G2 son cerrados y disjuntos. Por Corolario 2.58, existe una función conti-
nua
« ˆ ˙2 ˆ ˙ ff
1 2 2 1 2 2 1 2 2
ˆ ˙ ˆ ˙
1 2
g2 : X Ñ ´ , tal que g1 |F1 “ ´ y g1 |G1 “ .
3 3 3 3 3 3 3 3

Continuando de esta manera, obtenemos funciones continuas f0 , f1 , f2 , ¨ ¨ ¨ sobre Y y g0 , g1 , g2 , ¨ ¨ ¨

sobre X tal que
„ ˆ ˙n ˆ ˙n 
1 2 n 1 2 n
„ ˆ ˙ ˆ ˙ 
2 2
fn pY q Ă ´ , y gn pXq Ă ´ , para n P N0
3 3 3 3 3 3

Además, tenemos

fn “ f0 ´ pg0 ` g1 ` ¨ ¨ ¨ gn´1 q|Y pn P Nq.

Sea  ą 0. Ya que
˜ ¸
1 2 n 1
8 8 ˆ ˙
ÿ ÿ 1
kgn k8 ď “ 2 “1ă8
n“0 n“0
3 3 3 1´ 3

existe n P N tal que

 
ÿm n
ÿ 
 kgk k8 ´ kgk k8  ă  pm ą n ą n q
 
 
k“0 k“0
m
ÿ m
ÿ
k gk k8 ď kgk k8 ă  pm ą n ą n q
k“n`1 k“n`1
m
ÿ
k gk k8 ă  pm ą n ą n q
k“n`1
m
ÿ ÿn
k gk ´ gk k8 ă  pm ą n ą n q.
k“0 k“0

Consecuentemente p nk“0 gk q8
ř
n“1 es un sucesión de Cauchy en el espacio de Banach Cb pX, Rq y

90
por lo tanto converge a la función fr : X
r Ñ R. Para x P X tenemos que

n
ÿ n
ÿ
lı́m gk “ fr ñ lı́m gk pxq “ frpxq
nÑ8 nÑ8
k“0 k“0

Por consiguiente,
 
 8 1 2 n
  8 8 8 ˆ ˙
r  ÿ ÿ ÿ ÿ
f pxq “  g pxq ď |g pxq| ď kgk k8 ď “ 1.

n“0 k  n“0 k n“0 n“0
3 3

Además, para y P Y ,
 
n ˆ ˙n
   ÿ  2
f pxq ´ f pxq “ lı́m f pxq ´ gk pxq “ lı́m |fn pxq| ď lı́m “ 0.
 r   
nÑ8   nÑ8 nÑ8 3
k“0

Por lo tanto, fr|Y “ f .

4.3. Conexión entre el Lema de Urysohn y el Teorema de Extesión de Tietze

El siguiente corolario establece la conexión entre el lema de Urysohn y el Teorema de

extensión de Tietze.

Corolario 4.5. Las siguientes proposiciones son equivalentes para un espacio pX, T q que es T1 .

(a) X es normal.

(b) Para cualesquiera cerrados y disjuntos F, G Ă X, existe una función continua f : X Ñ R

tal que f pXq Ă r0, 1s, f |F “ 0 y f |G “ 1.

(c) Para cualesquiera cerrados y disjuntos F, G Ă X, existe una función continua f : X Ñ R

tal que f |F “ 0 y f |G “ 1.

(d) Para cualquier subespacio cerrado Y de X y para cualquier función f : Y Ñ R con f pY q Ă

ra, bs, existe una función continua fr : X Ñ R con frpXq Ă ra, bs tal que fr|Y “ f.

(e) Para cualquier subespacio cerrado Y de X y para cualquier función f : Y Ñ R, existe una
función continua fr : X Ñ R tal que fr|Y “ f.

Sug. (Runde, 2005, Pág.114-115)

91
Demostración. paq ùñ pbq por lema de Urysohn, y pbq ùñ pcq es inmeditato.
pcq ùñ paq: Sean F, G Ă X cerrados y disjuntos, y f una función como en pcq. Sean
" * " *
1 1
U “ x P X : f pxq ă y V “ x P X : f pxq ą .
2 2

Entonces U y V son abiertos y disjuntos tal que F Ă U y G Ă V .

pdq ùñ peq: Sean Y Ă X cerrado y f : Y Ñ R continua.

@ D
i) Sea g “ arctan ˝f : Y Ñ R continua con gpY q Ă ´ π2 , π2 , entonces existe una función
“ ‰
continua gr : X Ñ R con grpXq Ă ´ π2 , π2 tal que gr|Y “ g.

Podriamos simplemente establecer fr “ tan ˝r

g . El problema con esta definición es que a
pesar de que g no alcanza los valores de ´ π2 ó π2 , no podemos descartar por pdq que estos
valores no se encuentren en el rango de gr, de modo que fr “ tan ˝r
g no se pueda definir en
todo X. Para evitar esta dificultad, invocaremos a pdq por segunda vez.
` (˘
ii) Sea F “ gr´1 ´ π2 , π2 . Entonces F es cerrado y tiene una intersección vacia con Y .

A π πE ´A π π E¯
grpY q “ gpY q Ă ´ , ñ Y Ă gr´1 pr
g pY qq Ă gr´1 ´ ,
2 2 ´A π π E¯ 2 2
´1
ñ Y Ă gr ´ ,
2 2
ñ F X Y “ H.

Definamos:

h : F Y Y Ñ R tal que h|F “ 0, h|Y “ 1.

Entonces h es continua porque F y Y son cerrados y abiertos en F Y Y , entonces existe

h : X Ñ R con r
una funcı́ón continua r hpXq Ă r0, 1s tal que r
h|Y “ h

hr
iii) Resulta que r g : X Ñ R es una extensión continua de g alcanzando todos sus valores en
@ π πD
´2, 2 .

´ ¯
hr
r g pxq “ r g pxq px P Y q
hpxqr

“ hpxqgpxq

“ 1.gpxq

92
 ´ ¯
Consecuentemente, fr “ tan ˝ r
hrg : X Ñ R es una extensión continua de f .

´ ´ ¯¯
frpxq “ tan ˝ rhr
g pxq px P Y q
´ ¯
“ tan r g pxq
hpxqr

“ tanpgpxqq

“ tanparctanpf pxqq

“ f pxq

peq ùñ pcq: Sean F, G Ă X cerrados y disjuntos. Sea Y “ F Y G y definimos f : Y Ñ R

mediante f |F “ 0 y f |G “ 1. Entonces f es continua y por lo tanto tiene una extensión continua
fr : X Ñ R tal que fr|Y “ f .

x P F : frpxq “ f pxq “ 0 ñ fr|F “ 0

x P G : frpxq “ f pxq “ 1 ñ fr|G “ 1

Esta extensión satisface pcq.

93
 Capı́tulo5

Conclusiones
- El Lema de Urysohn es un Teorema ”profundo”, porque su demostración implica una idea real-
mente original, que las pruebas anteriores, referente a los conceptos previos de la topologı́a, no
lo hacen.

El Lema de Urysohn nos asegura la existencia de ciertas funciones continuas con valores reales
sobre un espacio normal X: en un espacio topológico normal X, dos cerrados disjuntos se
pueden separar por aplicaciones continuas de X en r0, 1s de forma que en un cerrado vale 0 y
en el otro 1.

- El Lema de Urysohn es la herramienta básica usada al probar el Teorema de metrización de

Urysohn: todo espacio normal, segundo numerable es metrizable.

- El Lema de Urysohn es la herramienta básica usada al probar el Teorema de extensión de Tietze:

caracteriza los espacios topológicos normales en los que es posible extender al espacio total una
función continua definida en un cerrado.

- El Lema de Urysohn y Teorema de Extensión de Tietze es la herramienta básica usada al probar

la conexión entre el lema de Urysohn y el Teorema de extensión de Tietze: la normalidad es
precisamente la condición que hace que estos dos resultados esten conectados.

94
 Capı́tulo6

Recomendaciones
1. Se sugiere continuar con el estudio de estos 3 resultados fundamentales de los espacios Noma-
les y considerar las diversas aplicaciones que estos tienen, por ejemplo, el Teorema de extensión
de Tietze sirve para demostrar el Teorema del punto fijo de Brouwer.

2. Se deja como trabajo a futuro, el estudio de las particiones de la unidad como otras de las apli-
caciones del teorema (lema de Urysohn), de igual forma un estudio más riguroso del Teorema
de Metrización de Urysohn puesto que se vio sólo su demostración.

95
Referencias

Folland, G. B. (1999). Real aalysis: Modern techniques and their applications. John
Wiley & Sons, Inc.
Gerard Buskes, A. V. R. (1997). Topological spaces: From distance to nieghborhood.
Springer.
Lima, E. L. (1976). Elementos de topologia geral. IMPA.
Lima, E. L. (1983). Espacios métricos. IMPA.
Lipschutz, S. (1992). Álgebra lineal. Mc GRAW-HILL.
Morris, S. A. (2011). Topology without tears.
Munkres, J. (2000). Topologı́a. PRINTED IN SPAIN.
Norman B. Haaser, J. A. S. (1978). Análisis real. Litton Educational Publishing, Inc.
Runde, V. (2005). A taste of topology. Springer.
Vilches, M. A. (s.f.). Topologia geral. IME-UERJ.
Waldmann, S. (2014). Topology: An introduction. Springer.

96