Mis Tardes Con Nicolas

Bourbaki...

Joseph Camilo Porras Castiblanco

Universidad Distrital Francisco José de Caldas

Facultad de Ciencias y Educación
Bogotá, Colombia
2019

ii
 Mis Tardes Con Nicolas
Bourbaki...

Joseph Camilo Porras Castiblanco

Trabajo de grado presentado como requisito parcial para optar por el tı́tulo
de:
Matemático

Director:
Carlos Ochoa

Linea de Investigación:
Topologı́a

Universidad Distrital Francisco José de Caldas

Facultad de Ciencias y Educación
Bogotá, Colombia
2019
Nota de Aceptación

Presidente del Jurado

Jurado

Jurado
Para el profesor Ochoa, espero que sea de su
agrado
J.C.P.C.
 Contenido

1. Estructuras topologicas 2
1.1. CONJUNTOS ABIERTOS, VECINDADES, CONJUNTOS
CERRADOS . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.1.1. Conjuntos abiertos . . . . . . . . . . . . . . . . . . . . 2
1.1.2. Vecindades . . . . . . . . . . . . . . . . . . . . . . . . 4
1.1.3. Sistemas fundamentales de una vecindad; bases de
una topologia . . . . . . . . . . . . . . . . . . . . . . . 7
1.1.4. Conjuntos Cerrados . . . . . . . . . . . . . . . . . . . . 8
1.1.5. Familias localmente finitas . . . . . . . . . . . . . . . . 9
1.1.6. Interior, clausura, frontera de un conjunto, conjuntos
densos . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.2. Funciones Continuas . . . . . . . . . . . . . . . . . . . . . . . 13
1.2.1. Funciones Continuas . . . . . . . . . . . . . . . . . . . 13
1.2.2. Comparación de topologı́as . . . . . . . . . . . . . . . . 17
1.2.3. Topologı́as Iniciales . . . . . . . . . . . . . . . . . . . . 19
1.2.4. Topologı́as Finales: . . . . . . . . . . . . . . . . . . . . 21

Bibliografı́a 24

1
 CAPÍTULO 1

Estructuras topologicas

1.1. CONJUNTOS ABIERTOS, VECINDA-

DES, CONJUNTOS CERRADOS
1.1.1. Conjuntos abiertos

Definición 1.1.1 (Estructura TOpologica): Una estructura to-

pológica (o mas exactamente una topologı́a ) en un conjunto X es
una estructura dada por un conjunto D de subconjuntos de X, que
tienen las siguientes propiedades (llamadas axiomas de estructuras
topológicas):

1. (O1 ) Toda unión de conjuntos de D es un conjunto de D )

2. (O2 ) Toda intersección finita de conjuntos de D es un conjunto

de D

Los conjuntos de D son llamados conjuntos abiertos de la estructura

topológica definida por D en X.

2
Estructuras
CONJUNTOS topologicas
ABIERTOS, VECINDADES, CONJUNTOS CERRADOS

Definición 1.1.2 (Espacio Topologico): Un espacio topologico es

un conjunto dotado con una estructura topologica.

Los elementos de un espacio topologicoson con frecuencia llamados puntos.

Cuando una topologia ha sido definida en un conjunto X, este conjunto se
dice que es el conjunto fundamental, el espacio topologico X.
El Axioma (O1 ) implica en particular que la union de subconjuntos vacı́os
de D , es decir el conjunto vacio pertenece a D . El axioma (O2 ) implica
que la interseccion de los subconjuntos vacı́os de D , es decir el conjunto X
pertenece a D .
Para probar que el conjunto D de X sadisface (O2 ) es conveniente probar
que sadisface los siguientes dos axiomas, cuya conjuncion es equivalente a
(O2 ):

1. (O2a ) la intersección de dos conjuntos de D pertenece a D .

2. (O2b ) Se tiene que X pertenece a D .

Ejemplo 1.1.1: Ejemplos de Topologias

Dado cualquier X, el conjunto de subconjuntos de X que consiste de X y
∅ ya que satisface los axiomas (O1 ) y (O1 ), por tanto definen una topologia
en X. También lo hace el conjunto P(X) que es todos los subconjuntos de
X: Esta topologia se define como la topologia discreta en X y el conjunto
X con eta topologia es llamado el espacio discreto.

Un recubrimiento (Ut )t∈I de un subconjunto de A de un espacio topologico

X es llamado abierto si todo Ut es abierto en X.

Definición 1.1.3 (Homeomorfismo): Un homeomorfismo de un

espacio topologico X en un espacio topologico X0 , es un isomor-
fismo de la estructura topologica de X sobre el de X0 ; es decir, de
acuerdo con la definicion general una biyeccion de X en X0 la cual
transforma el conjunto de subconjuntos de X en el conjunto de sub-
conjuntos abiertos de X0 .

X y X0 se dicen homeomorfos si hay un homeomorfismo de X en X0 .

3
Estructuras
CONJUNTOS topologicas
ABIERTOS, VECINDADES, CONJUNTOS CERRADOS

Ejemplo 1.1.2
Si X y X0 son dos espacios discretos, cualquier biyeccion de X en X0 es un
homeomorfismo.

El siguiente criterio resulta inmediato de la definición de un homeomorfismo:

por una biyeccion f de un E.T X en un E.T X0 para ser un homeomorfismo,
es necesario y suficiente que la imagen bajo F de cada conjunto abierto en
X sea un conjunto abierto en X0 , y que la imagen inversa bajo F de cada
abierto en X0 es un abierto en X.

1.1.2. Vecindades

Definición 1.1.4 (Vecindad): SEA X un E.T y A cualquier sub-

conjunto de X. A vecindad de A es cualquier subconjunto de X el
cual contiene un conjunto abierto que contiene a A. Las vecindades
de un subconjunto x consisten de un olo punto , también son llama-
das vecindades del punto x .

Es claro que toda vecindad de un subconjunto A de X es también una ve-

cindad de cada subconjunto B ⊂ A ;En particular, esto es una vecindad de
cada punto de A. De Manera contraria, supongamos que A es una vecindad
de cada punto de un conjunto B, y sea U la union de los conjuntos abiertos-
contenidos en A, entones U ⊂ A , y ya que cada punto de B perteee a un
conjunto abierto contenido en A , tenemos que B ⊂ U ; pero U es abierto
por (O1 ), por consiguiente A es una vecindad de B. En particular:

Propiedades 1.1.1: Un conjunto es una vecindad de cada uno de

estos puntos si y solo si es abierto.

El sentido cotidiano de la palabra ”vecindad .es tal que muchas de las pro-
piedades que involucran la idea matemática de vecindad aparecen como la
expresion matemática de propiedades intuitivas. La eleccion de este termino
en consecuencia tiene la ventaja de hacer el lenguaje mas expresivo. Para es-
te proposito es tambien permitido usar la expresion ”suficientemente cerca 2

”tan cerca como nos plazca.en algunos enunciados. Por ejemplo, la proposi-
ción 1 puede ser escrita de la siguiente forma: Un conjunto A es abierto si
y solo si, para cada x ∈ A; todos los puntos suficientemente cerca de x per-

4
Estructuras
CONJUNTOS topologicas
ABIERTOS, VECINDADES, CONJUNTOS CERRADOS

tenecen a A. Ma generalmente, diremos que una propiedad se sostiene para

todos los puntos suficientemente cerca a un punto x, si esto se satisface para
todos los puntos de alguna vecindad de x.

Denotamos por B(x) el conjunto de todas las vecindades de x. los conjuntos

B(x) tienen las siguientes propiedades:

1. (V1 ) Todo subconjunto de X que contenga un conjunto perteneciente

a B(x) el mismo pertenece aB(x) .

2. (V2 ) Toda intersección finita de conjuntos de B(x) pertenece a B(x)

3. (V3 ) El elemento x esta en todo conjunto de B(x) .

En efecto estas tres propiedades son consecuencia inmediata de la de-
finicion 4 y el axioma (O2 )

4. (V4 ) Si V pertenece a B(x) , entonces ha un conjunto W que pertenece

a B(x) , tal que, para cada y ∈ W , V pertenee a B(y)

De la proposición 1, vamos a tomar W como cualquier conjunto abierto, el

cual contiene a x y esta contenido en V .
Esta propiedad tal ve expresada en la forma de una vecindad de x es también
una vecindad de todos los puntos suficientemente cerca de x.
Estas 4 propiedades de los conjuntos de B(x) son caracterı́sticas. Para ser
precisos, tenemos:

Propiedades 1.1.2: Si cada elemento x de un onjunto X corres-

ponde a un conjunto B(x) de subconjuntos de X tal que las propie-
dades (V1 ),(V2 ), (V3 ) y (V4 ) se sadisfacen, entonces hay una unica
estructura topologica en X tal que , para cada x ∈ X, B(x) es el
conjunto de vecindades de x en esta topologia.

Por proposición 1, si hay una topologia en X que sadisface estas condiciones,

el conjunto de conjuntos abiertos para esta topologia es necesariamente D
de todos los subconjuntos A de X tal que para cada x ∈ Atenemos que A ∈
B(x) ; por lo cual la unicidad de esta topologia si existe.
El conjunto D sadisface los axiomas (O1 ) y (O2 ): para (O1 ), esto sigue in-
mendiatamente de (V1 ), y para (O2 ), de (V2 ). Esto queda por demostrar, que
en la topologia definida por D , B(x) es el conjunto de vecindades de x para

5
Estructuras
CONJUNTOS topologicas
ABIERTOS, VECINDADES, CONJUNTOS CERRADOS

cada x ∈ X. Esto viene de (V1 ) que toda vecindad de x que pertenece a B(x)
. Inversamente, sea V un conjuno perteneciente a B(x) , y sea V el conjunto
de puntos y ∈ X tales que V ∈ B(y) ; si podemos mostrar que x ∈ U ,
U ⊂ V y U ∈ D , entones la prueba estarı́a completada. Tenemos x ∈ U ya
que V ∈B(x) ; también U ⊂ V para todo punto y ∈ U pertenece a V por
(V3 ) y la hipotesis V ∈ B(y), Queda por demostrar que U ∈D , es decir que
U ∈ B(y) para cada y ∈ U ;

Figura 1.1: Figura 1

Ahora (Fig.1) si y ∈ U entonces por V4 hay un conjunto W tal que para cada
z ∈ W tenemos V ∈ B(z) ; ya que V ∈ B(z) lo que significa que z ∈ U , se
sigue de que W ⊂ U , y asi por (V1 ), que U ∈ B(y). (Q.E.D)

Propiedades 1.1.3: Muestra que una topologia en X puede ser

definida por medio de los conjuntos B(x) de las vecindades de punto
de X, sujeto solo a los axiomas (V1 ),(V2 ),(V3 ) y (V4 ).

Ejemplo 1.1.3
Podemos definir una topologia en el conjunto Qde los numeros racionales
tomando po conjuntos abiertos todas las uniones de intervalos abiertos
acotados; el conjunto de estos subconjuntos ciertamente sadisface (O1 ), y
para ver que sadisfac (O2 ) es suficiente resaltar que si la interseccion de
dos intervalos abiertos ]a, b[ y ]c, d[ es no vacia, entonces este es el intervalo
]α, β[, donde α = sup(a, c) y β = inf (b, d). Obtenemos la misma topologia
definida para cada x ∈ Qel conjunto B(x) de las vecindades de x para
ser el conjunto de subconjuntos que contiene un intervalo abierto al cual
pertenece x . El E.T obtenido por asignar esta topologia a Qes llamado
la linea racional. Notemos que en este espacio todo intervalo abierto es

6
Estructuras
CONJUNTOS topologicas
ABIERTOS, VECINDADES, CONJUNTOS CERRADOS

un conjunto abierto . * Podemos definir una topologia en el conjunto Rde

los numeros reales de la misma manera; Rcon esta topologia es llamada la
linea (Recta) real. *

1.1.3. Sistemas fundamentales de una vecindad; bases

de una topologia

Definición 1.1.5 (Sistema fundamental de vecindades): En un

E.T X, un sistema fundamental de vecindades de un punto x (res-
pecto a un subconjunto A de X) es cualquier conjunto G de vecin-
dades de x (respecto a A) tal que para cada vecindad V de x (res-
pecto a A) hay una vecindad W ∈G tal que W ⊂ V .

Si G es un sistema undamntal de vcindades de un subconjunto A de X,

entonces toda intersección finita de conjuntos de G contiene un conjunto de
G .
Ejemplo 1.1.4
1. En un espacio discreto el conjunto x solo constituye un sistema fun-
damental de vecindades de ek punto x.

2. En la lnea (recta) racional Qel conjunto de todos los intervalos abier-

tos que contienen un punto x es un sistema fundamental de vecin-
dades de este punto. Entonces es el conjunto de intervalos abiertos
]x−1/n, x+1/n[ y el conjunto de intervalos cerrados [x−1/n, x+1/n],
donde x ∈Z+ , o a una sucesión estrictamente decreciente de enteros
mayores a cero

Definición 1.1.6 (Base de la topologia): Una base de la topo-

logia de un espacio topologico X es cualquier conjunto B de sub-
conjuntos abiertos de X tal que todo subconjunto abierto de X e la
union de conjuntos que pertenecen a B

Propiedades 1.1.4: Si X e un E.T, entonces para un conjunto B

de subconjuntos abiertos de X para una base de la topologia de X

7
Estructuras
CONJUNTOS topologicas
ABIERTOS, VECINDADES, CONJUNTOS CERRADOS

es necesario y suficiente que para cada x ∈ X el conjunto de V ∈ B

tal que x ∈ V es un sistema fundamental de vecindades x.

Es claro que la condicion es necesaria. Inversamente si se satisface, entonces

dado cualquier conjunto abierto U y cualquier x ∈ U hay un conjunyo abierto
Vx ∈ B tal que x ∈ Vx ⊂ U . La union de los conjuntos Vx para x ∈ U es por
lo tanto igual a U . Esto comprueba la prueba.
Ejemplo 1.1.5
1. La topologia discreta tiene una base, el conjunto de subconjuntos de
X que consiste en un solo punto.

2. EL conjunto de los intervalos abiertos acotados es por definicion una

base de la topologia de la linea (recta) real * el conjunto de intervalos
abiertos acotados es una base de la topologia de la recta real.*

1.1.4. Conjuntos Cerrados

Definición 1.1.7 (Conjunto Cerrado): En un E.T X , el comple-

menti de kis conjuntos abiertos de X son llamados conjuntos cerra-
dos.

Tomando el complemento, encontramos que el axioma (O1 ) y (O2 ) toman la

siguiente forma:
(O10 ) Toda interseccion ede conjuntos cerrados es cerrada (conjunto cerrado).
(O20 ) Toda union finita de conjuntos cerrados es un conjunto cerrado.

El conjunto vacio y todo el espacio X son cerrados ( y por lo tanto ambos

abiertos y cerrados)

En la linea (recta) racional de la forma [a, → [ es un conjunto cerrado, para

este complemento ] ←, a[ es abierto; ası́ mismo, cada intervalo de la forma
] ←, a] es un conjunto cerrado; por lo tanto, también lo es cada intervalo ce-
rrado acotado [a, b], ya que es la intersección de los intervalos[a, → [ y ] ←, b].
El conjunto Zde enteros racionales es cerrado en la lı́nea racional, ya que su
complemento ∪n∈Z ]n, n + 1[ es abierto.

8
Estructuras
CONJUNTOS topologicas
ABIERTOS, VECINDADES, CONJUNTOS CERRADOS

Un recubrimiento (Ft )t∈I de un subconjunto A de un E.T X se dice que es

cerrado si cada Ft es cerrado en X.
Un homeomorfismo f de un espacio topológico X en un espacio topológico
X 0 (no.1) puede caracterizarse como una bijección de X en X 0 ; de modo que la
imagen bajo f de cada subconjunto cerrado de X es un subconjunto cerrado
de X 0 y la imagen inversa bajo f de cada subconjunto cerrado de X 0 es un
subconjunto cerrado de X.

1.1.5. Familias localmente finitas

Definición 1.1.8: Se dice que una familia (At )t∈I de subconjuntos

de un espacio topológico X es localmente finito si por cada x ∈ X
hay un vecindario V de x tal que V ∩ At = ∅ para todos menos
un número finito de ı́ndices t ∈ I. Se dice que un conjunto G de
subconjuntos de X es finito localmente si la familia de subconjun-
tos definida por la función de identidad de G en sı́ misma es finita
localmente

Está claro que si (At )t∈I es una familia finita de subconjuntos localmente y
si Bt ⊂ At por cada t ∈ I, la familia (Bt )t∈I es localmente finita.
Cada familia de subconjuntos de un espacio topológico X es obviamente lo-
calmente finita; Lo contrario no es cierto en general.

Por ejemplo, en R, la cobertura abierta formada por el intervalo] ←, 1[ y los

intervalos ]n, → [ para cada entero n ≥ 0 es localmente finita; y cada inervalo
]n, → [ se encuentra con un número infinito de conjuntos de esta conversión.

Propiedades 1.1.5: La unión de una familia finita local de subcon-

juntos cerrados de un espacio topológico X es cerrada en X

Sea (Ft )t∈I una familia finita local de subconjuntos cerrados de X, y supon-
gamos que x ∈ X no pertenece a F = ∪i∈F Fi , entonces x tiene un vecindario
V que cumple solo con esos Ft cuyos ı́ndices pertenecen a un subconjunto
finito J de I. Por cada i ∈ J sea Ut el complemento de Ft ; F C contiene el
conjunto V ∩ ∩i∈J Ui que es un vecindario de x, ya que cada Ut es abierto y
contiene a x. Por lo tanto, por la Proposición 1 del n. 2, F C es abierto y, por
lo tanto, F es cerrado en X.

9
Estructuras
CONJUNTOS topologicas
ABIERTOS, VECINDADES, CONJUNTOS CERRADOS

Notamos que la unión de una familia arbitraria de subconjuntos cerrados

de X no es necesariamente cerrada; por ejemplo, en la lı́nea racional Q, el
conjunto ]2, 1[ es la unión de los conjuntos cerrados

[1/n, 1 − 1/n] ; n > 2

, pero no es cerrado.

1.1.6. Interior, clausura, frontera de un conjunto, con-

juntos densos

Definición 1.1.9 (Punto interior): En un espacio topológico X,

se dice que un punto x es un punto interior de un subconjunto A de
X si A es un vecindario de x. El conjunto de puntos interiores de A
se llama el interior de A y se denota por Ȧ

De acuerdo con las Definiciones 9 y 4, un punto x es un punto interior de A

si hay un conjunto abierto contenido en A que contiene x; se deduce que Ȧ
es la unión de todos los conjuntos abiertos contenidos en A, y por lo tanto
es el mayor conjunto abierto contenido en A: en otras palabras, si B es un
conjunto abierto contenido en A, luego B ⊂ Ȧ. En consecuencia, si A y B
son dos subconjuntos de X, de manera que B ⊂ A entonces Ḃ ⊂ Ȧ; y A es
un vecindario de B si y solo si B ⊂ Ȧ.

Observación. El interior de un conjunto no vacı́o puede estar vacı́o; este es el

caso de un conjunto que consiste en un único punto que no está abierto, por
ejemplo, en la lı́nea racional * (o la lı́nea real) *.

La Proposición 1 de no.2 se puede reexpresar de la siguiente manera: Un

conjunto es abierto si y solo si coincide con su interior.
la propiedad (V2 ) de no.2 implica que cada punto que es un punto interior
de cada uno de los subconjuntos A y B es un punto interior de A ∩ B; por
consiguiente

A
\ ∩ B = Ȧ ∩ Ḃ (1.1)

10
Estructuras
CONJUNTOS topologicas
ABIERTOS, VECINDADES, CONJUNTOS CERRADOS

Cada punto que es interior al complemento de un conjunto A se dice que es

un punto exterior de A, y el conjunto de estos puntos se llama el exterior de
A en X; un punto x ∈ X que es un punto exterior de A se caracteriza por la
propiedad que x tiene un vecindario que no cumple con A

Definición 1.1.10 (Cerradura de un subconjunto): El cie-

rre(cerradura) de un subconjunto A de un espacio topológico X es
el conjunto de todos los puntos x ∈ X, de modo que cada vecindario
de x se encuentra con Λ, y se denota con Ā

Esta definición se puede reformular diciendo que un punto x se encuentra

en el cierre de un conjunto A si hay puntos de A tan cerca de x como nos
plazca.
Cada punto que no está en el cierre de A es exterior a A, y viceversa; Ası́
tenemos las fórmulas (que son duales entre sı́).
C ˙C C
A =A
c , Ȧ = AC (1.2)
Por lo tanto, a cualquier proposición sobre interiores de conjuntos, corres-
ponde por dualidad una proposición sobre cierres, y viceversa. En particular,
el cierre de un conjunto A es el conjunto cerrado más pequeño que contiene
A; en otras palabras, si B es un conjunto cerrado tal que A ⊂ B la A ⊂ B.
Si A y B son dos subconjuntos de X tal que A ⊂ B entonces A ⊂ B

Un conjunto es cerrado si y solo si coincide con su cierre.

el dual de la formula (1) es

A∪B =A∪B (1.3)

Propiedades 1.1.6: Decimos que A un conjunto abierto en X; en-

tonces por cada subconjunto B de X tenemos

A∩B =A∪B (1.4)

Para suponer x ∈ A ∩ B; Si V es cualquier vecindario de x, V ∩ A es un

vecindario de x, ya que A está abierto; por lo tanto, V ∩ A ∩ B no está vacı́o
y, por lo tanto, x se encuentra en el cierre de A ∩ B

11
Estructuras
CONJUNTOS topologicas
ABIERTOS, VECINDADES, CONJUNTOS CERRADOS

Si x se encuentra en el cierre de A pero no en A, entonces cada vecindario de x

contiene un punto de A distinto a x; pero si x ∈ A puede suceder que x tenga
un vecindario que no contenga puntos de A, excepto x. Decimos entonces que
x es un punto aislado de A. En particular, x se aı́sla en el espacio entero X
si y solo si x es un conjunto abierto.
Un conjunto cerrado que no tiene puntos aislados se denomina conjunto per-
fecto.

Definición 1.1.11 (Frontera): En un espacio topológico de X, se

dice que un punto x es un punto fronterizo de un conjunto A si x
se encuentra en el cierre de A y en el cierre de AC . El conjunto de
puntos de la frontera de A se considera la frontera de A.

La frontera de A es, por lo tanto, el conjunto A ∩ AC que está cerrado. Un

punto fronterizo x de A se caracteriza por la propiedad de que cada vecin-
dario de x contiene al menos un punto de A y al menos un punto de AC ; x
puede o no equivale a A. La frontera de A es la misma que la frontera de AC .
El interior de A, el exterior de A y la frontera de A se separan mutuamente
y su unión es el espacio total de X.

Definición 1.1.12 (Subconjunto denso): Se dice que un subcon-

junto A de un espacio topológico X es denso en X (o simplemente
denso, si no hay ambigüedad acerca de X) si A = X, es decir, si
cada no conjunto abierto vacı́o U de X cumple A.

Ejemplo 1.1.6
Veremos en el Capı́tulo 4, que el conjunto de números racionales y su
complemento son densos en la lı́nea real.
En un espacio discreto X el único subconjunto denso pf X es X∗ en sı́
mismo. Por otro lado, cada subconjunto no vacı́o de X es denso en la
topologı́a de X para los cuales los únicos conjuntos abiertos son ∅ y X

Propiedades 1.1.7: Si B(x) es una base de la topologı́a de un es-

pacio topológico X, hay un conjunto denso D en X tal que la Carta
(D)≤ Carta(B(x) )

12
Estructuras topologicas Funciones Continuas

Podemos restringirnos al caso en el que ninguno de los conjuntos de B(x) esté

vacı́o (los conjuntos no vacı́os de B(x) ya forman una base de la topologı́a
de X). por cada U in BB , sea xv un punto de U ; de la Proposición 3 de
no.3 se deduce que el conjunto D de los puntos xU es denso en X, y tenemos
la Cara (A) ≤ Carta(B(x) ) (Teorı́a de conjuntos, capı́tulo 3)

1.2. Funciones Continuas

1.2.1. Funciones Continuas

Definición 1.2.1 (Función Continua ): Se dice que una función

f de un espacio topológico X en un espacio topológico X 0 es conti-
nuo en un punto x0 ∈ X si, dado cualquier vecindario V 0 de f (x0 )
en X 0 hay un vecindario V de x0 en X tal que la relación x ⊂ V
implica f (x) ⊂ V 0

La definición 1 puede reformularse de la siguiente forma más intuitiva: decir

que f es continuo en el punto x0 significa que f (x) es lo más cercano a f (x0 )
siempre que x esta suficientemente cerca de x0 .

La relación ”para cada x ∈ V , f (x) ∈ V .es equivalente a f (V ) ⊂ V 0 o nueva-

mente a V ⊂ f −1 (V 0 ); en vista del axioma de vecindario (V1 ), vemos que la
definición 1 es equivalente a lo siguiente: f : X  X 0 se dice que es continuo
en el punto x0 si, para cada vecindario V 0 de f (x0 ) en X 0 , f −1 (V 0 ) es un
vecindario de x0 en X. Además, es suficiente que f −1 (V 0 ) sea un vecindario
de x0 por cada vecindario V 0 que pertenezca a un sistema fundamental de
vecindario de f (x0 ) en X 0 .

Propiedades 1.2.1: Sea f una función de un espacio topológico X

a un espacio topológico X 0 . Si f es continuo en x, y si x se encuen-
tra en el cierre de un subconjunto A de X, entonces f (x) se encuen-
tra en el cierre de f (A).

Sea V 0 un vecindario de f (x) en X 0 . Como f es continuo en x, f −1 (V 0 ) es

un vecindario de x en X. Por lo tanto, f −1 (V 0 ) cumple con A, de lo cual se
deduce que V 0 cumple con f (A), y por tanto f (x) está en el cierre de f (A).

13
Estructuras topologicas Funciones Continuas

Propiedades 1.2.2:
Sean X, X 0 , X 00 tres espacios topológicos; sea f una función de X a
X 0 , continua en x ∈ X; sea g una función de X 0 en X 00 , continua en
f (x). Entonces la composición h = g circf : X → X 00 ’es continua en
x.

Sea V 00 un vecindario de h(x) = g(f (x)) en X 00 . Dado que g es continuo

en f (x), se deduce que g −1 (V 00 ) es el vecindario de f (x) en X 0 . Pero f es
continuo en x, por lo tanto f −1 (g −1 (V 00 )) = h−1 (V 00 ) es el vecindario de x en
X, y por lo tanto h es continuo en x.

Definición 1.2.2 (Función continua): Una función de un espacio

topológico X en un espacio topológico X 0 se dice que es continuo en
X (o simplemente continuo) si es continuo en cada punto de X.

Ejemplo 1.2.1
1. La función de identidad de un espacio topológico X sobre sı́ mismo
es continuo.

2. Una función constante de un espacio topológico en un espacio to-

pológico es continuo.

3. Cada función de un espacio discreto en un espacio topológico es con-

tinuo.

Teorema 1.2.1: Sea f una asignación de un espacio topológico X

a un espacio topológico X 0 . Entonces las siguientes afirmaciones son
equivalentes:

a) f es continua en X

b) Para todo subconjunto A de X , f (A) ⊂ f (A).

c) La imagen inversa bajo f de todos subconjunto cerrado de X 0 es

un conjunto cerrado de X.

d) la imagen inversa bajo f de todo subconjunto abierto de X 0 es

un subconjunto abierto de X.

14
Estructuras topologicas Funciones Continuas

Ya hemos visto que a) implica b) (Proposición 1). Para mostrar que b) implica
c), sea F 0 un subconjunto cerrado de X 0 y sea F = f −1 (F 0 ); luego por la
hipótesis f ( overlineF ) ⊂ overlinef (F ) ⊂ overlineF 0 = F 0 , por lo tanto,
F ⊂ f −1 (F 0 ) = F ⊂ F , de modo que F = F y F es cerrado. En virtud
de la relación (f −1 (A0 ))C = f −1 ((A0 )C ) para cada subconjunto A0 de X 0 , c)
implica d). Finalmente, supongamos que d) está satisfecho. Deje que x sea
cualquier punto de X y que V 0 sea cualquier vecindario de f (x) en X 0 ; luego
hay un conjunto abierto A0 en X 0 para el cual

f (x) ∈ A0 ⊂ V 0

y por lo tanto x ∈ f −1 (A0 ) ⊂ f −1 (V 0 ). Por hipótesis f −1 (A0 ) está abierto en

X, de modo que, de modo que f −1 (V 0 ) es un vecindario de x en X. Ası́, d)
implica a).
Observaciones.

1. Sea B una base de la topologı́a de X 0 ; luego, para que f : X → X 0

sea continuo, es necesario y suficiente que f −1 (U 0 ) es abierto en X por
cada U 0 ∈ B.
Ejemplo 1.2.2
Decimos que a es cualquier número racional. La asignación x −→
a + x de la lı́nea racional Qen sı́ misma es continua en Q, para la
imagen inversa bajo esta asignación de un intervalo abierto ]b, c[ es
el intervalo abierto
]b − a, c − a[
.
Del mismo modo, la asignación x → ax es continua en Q; esto queda
claro si a = 0, para entonces ax = 0 para todos x; si a 6= 0 entonces
la imagen inversa debajo de esta asignación del intervalo abierto ]b, c[
es el intervalo abierto con puntos finales b/a y c/a.

2. la imagen directa de un conjunto abierto (resp.closed) de X bajo un ma-

peo continuo f : X → X 0 no está necesariamente abierta (resp.closed)
en X 0

15
Estructuras topologicas Funciones Continuas

Ejemplo 1.2.3
* La función f : x → 1/(1 + x2 ) de Ren sı́ mismo es continuo, pero f (
R ) es el intervalo medio abierto ]0, 1], que no está abierto ni cerrado
en R. *

Teorema 1.2.2:

1. Si f : X → X 0 y g : X 0 → X 00 son dos asignaciones continuas,

g ◦ f : X → X 00 es continuo.

2. Para una bijección f de un espacio topológico X en un espa-

cio topológico X 0 para ser un homeomorfismo, es necesario y
suficiente que f y la inversa de f sean continuos (o, como es
también dicho, que f es bicontinuo).

La primera afirmación es una consecuencia inmediata de la Proposición 2; el

segundo se deriva del Teorema 1, d) y la definición de un homeomorfismo.
Observaciones.

1. Es posible tener una disposición continua de un espacio topológico X

en un espacio topológico X 0 para ser la lı́nea racional Q, y X para ser
el conjunto Qcon la topologı́a discreta; entonces el mapa de identidad
X → X 0 es continuo pero no es un homeomorfismo.

2. Para verificar que una bijección continua f : X → X 0 es un homeomor-

fismo, es suficiente para demostrar que para cada x ∈ X y el vecindario
V de cada x, f (V ) es un vecindario de f (x) en X 0 .

3. Sea X un espacio topológico, y para cada x ∈ X sea B(x) el conjunto

de todos los barrios de x. Sea x0 un punto de X; para cada x ∈ X,
definir un conjunto B0 (x) es el conjunto de todos los subconjuntos de
X que contienen x. Se verifica de inmediato que los conjuntos B0 (x)
son conjuntos de vecindarios de puntos de X para una topologı́a en
X; digamos que X0 denota el espacio topológico ası́ obtenido, y que
j : X0 → X denota la función de identidad, que es continuo pero no
en general bicontinuo. Una asignación f de X en un espacio topológico
X 0 es continua en el punto x0 si y solo si la composición X0 → (j)X →
(f )X 0 es continua en X0 ; Esto sigue inmediatamente de las definiciones.

16
Estructuras topologicas Funciones Continuas

1.2.2. Comparación de topologı́as

El teorema 2 del numeral 1 muestra que es posible tomar las funciones con-
tinuas como morfismos de las estructuras topológicas; desde ahora , asu-
miremos que podemos elegir un morfismo. De acuerdo con las definiciones
generales, nos permiten definir un orden en el conjunto de las topologias dado
un espacio topológico X:

Definición 1.2.3: Dadas dos topológias T 1 , T 2 en el mismo con-

junto X , decimos que T 1 es mas fina que T 2 (y que T 2 es mas
gruesa que T 1 ). Si denotamos por Xi el conjunto X con la topologia
T i (i = 1, 2, ...) la función idéntica X1 → X2 es continua. Si tambien
T 1 =T 2 , decimos que T 1 es estrictamente mas fina que T 2 (y que
T 2 es estrictamente mas grueso que T 1 )

Dos topológias, una de las cuales es mas fina que la otra, diremos que son
comparables.

El criterio para que una función sea continua lo da la siguiente proposición:

Propiedades 1.2.3: Dadas dos topológias T 1 , T 2 , en un onjunto

X, las siguientes declaraciones son equivalentes:

1. T 1 es mas fina que T 2

2. Para cada x ∈ X, cada vecindad de x para T 2 es una vecom-

dad de x para T 1.

3. Para cada subconjunto A de X, la cerradura de A en la to-

pológia T 1 esta contenida en la cerradura de A en la to-
pológia T 2 .

4. Todo subconjunto de X el cual es cerrado en T 2 es cerrado en

T1.

5. Todo subconjunto de X el cual es abierto en T 2 es abierto en

T 1.

17
Estructuras topologicas Funciones Continuas

Ejemplo 1.2.4
En un espacio de Hilbert H que consiste de sucesiones x = (xn ) de numeros
reales tales que
∞
X
2
kxk = x2n < +∞
n=0

las vecindades de un punto x0 en la topológia fuerte en H son los conjun-

tos los cuales contienen una bola abierta k x − x0 k< α centrada en x0 ;
las vecindades de x0 en la topológia debil en H son las de los conjuntos
definidos por la relación de la forma sup1≤i≤n | (x − x0 | ai ) |≤ 1 donde el
ai son puntos de H y
∞
X
(x | y) = xn y n
n=0

si x = (xn ) y y = (yn ). Ahora si β = sup k ai k≤ 1 para 1 ≤ i ≤ n; por lo

tanto la relación k x − x0 k≤ 1 implica que | (x − x0 ) | ai |≤k x − x0 kk
ai k≤ 1 donde 1 ≤ i ≤ n. Por lo tanto la topológia fuerte en H es mas fina
que la topológia débil. En otras palabras dada una familia finita (ai )1≤i≤n
de puntos de H , existen puntos x en H tales que (x − x0 | ai ) = 0 para
1 ≤ i ≤ n y tales que k x − x0 k es arbitrariamente mas grande; esto
muestra que la topológia usual es estrictamente mas fina que la topologia
débil.*

Observaciones:

1. En el conjunto ordenado de todas las topológias en un conjunto X,

la topológia en la cual los unicos conjuntos abiertos son ∅ y X es la
mas gruesa y la topológia discreta es la mas fina de todas las topológia
posibles del conjunto.

2. La topológia es mas fina, si tiene mas conjuntos abiertos, conjuntos

cerrados y vecindades.

3. si f : X → X 0 es una función continua, se recuerda que permanece

continua si la topológia X es reemplazada por una topológia mas fina
y la topológia X 0 por una mas gruesa.

18
Estructuras topologicas Funciones Continuas

1.2.3. Topologı́as Iniciales

Propiedades 1.2.4: Sea X un conjunto, sea (Yi )i∈I una familia de

espacions topologı́cos, y para cada i ∈ I sea fi una funcion de X
en Yi . Sea G el conjunto de subconjuntos de X de la forma f −1 (Ui ),
(i ∈ I, Ui abierto en Yi ), y sea B el conjunto de las intersecciones
finitas de conjuntos de G . Entonces B es una base para la topo-
logı́a T en X la cual es la topologı́a inicia de estructura en X para
la familia fi y en particular es la topologı́a mas gruesa en X. Para la
cual las funciones (fi ) son continuas. Mas precisamente, si g es una
función de un espacio topologı́co Z en X, entonces g es continua en
el punto z ∈ Z ( X lleva la topologia T ) si y solo si cada función de
la forma fi ◦ g es continua en Z

Sea D el conjunto de todas las uniones de conjuntos de B(x) , claramente D

satisface el axioma (O1 ) ya que la union es asociativa, y D satisface el axioma
(O2 ) por la definicion de B(x) y que la interseccion finita es distributiva bajo
una union arbitraria el conjunto D es entonces el conjunto de subconjuntos
abiertos de X para una topologı́a T en la cual B(x) es una base. Debemos
probar la ultima afirmación de las proposiciones, la cual implica las otras
gracias a las propiedades de las estructuras iniciales. En primer lugar la
definición de G muestra que las ft son continuas en X ; de lo cual si g es
continua en z , entonces existe la funcion fi ◦ g, por otro lado suponga que
todas las funciones fi ◦ g son continuas en z y sea V una vecindad de g(z) en
X, por definicion , hay un subconjunto finito J de I, y para cada i ∈ J un
subconjunto abierto Ui de Yi tal que V contiene el conjunto abierto Ui de Yi
tal que V contiene el conjunto ∩i∈J ft−1 (Ut ) y g(z) pertenece a este conjunto.
Esto se sigue de
g −1 (V ) ⊃ ∩i∈J g −1 (fi−1 (Ui ))
, y la hipotesis implica que cada uno de los conjuntos g −1 (fi−1 (Ui ) es una
vecindad de z en Z. Esto completa la prueba.

Sea Bi una base de la topologı́a de Yi (i ∈ I); Sea G ’ que denota el con-

junto de subconjuntos de la forma f −1 (Ui ) para i ∈ I y Ui ∈ Bi para cada
i ∈ I; si B 0 es el conjunto de las intersecciones finitas de los conjuntos de G
’es evidente que B 0 es una base de la topologı́a G .

19
Estructuras topologicas Funciones Continuas

Las propiedades generales de la estructura inicial implica en particular las

siguientes propiedades transitivas.

Propiedades 1.2.5: Sea X un conjunto , (Zi )i∈I una familia de es-

pacios topologı́cos, (Jλ )λ∈L una partición de J y (Yλ )λ∈L una fami-
lia de conjuntos indexada por L. Ademas para cada λ ∈ L sea hλ
una función de x en Yλi para cada λ ∈ L y cada i ∈ Ji sea giλ una
funcion de Yλ en Zi y ponga fi = giλ ◦ hλ . Si cada Yλ lleva la topo-
logı́a mas gruesa para la cual las funciones giλ (i ∈ Jλ ) son continuas
entonces la topologı́a mas gruesa en X , para las cuales fi son con-
tinuas es la misma topologı́a mas gruesa para la cual hλ son conti-
nuas.

Ejemplo 1.2.5
1. Imagen inversa de una topologı́a. Sea X un conjunto, Y un espacio
topologı́co, f una función de X en Y ; la topologı́a gruesa G en
X para la cual f es continua es llamada la imagen inversa bajo f
en la topologı́a de Y , de esto que la proposición y la definición de
imagen inversa de la unión y la intersección de conjuntos abiertos en
la topologı́a G son las imágenes inversas bajo f de el conjunto abierto
de Y (o cerrado), en consecuencia para cada x ∈ X el conjunto
f −1 (w), donde w va a través de un conjunto f −1 (w), donde w va
a través de un sistema fundamental de vecindades de f (x) en Y ,
forma un sistema fundamental de vecindades de x en la topologı́a
T . En el capitulo 3 se vera bajo el nombre de topologı́a inducida,
el caso particular en el que X es un subconjunto de Y y f es la
inyección canónica X → Y ; X con la topologı́a inducida es llamado
un subespacio de Y .
Para una función f de un espacio topologı́co X en un espacio to-
pologı́co Y 0 es continuo, para esto es necesario y suficiente que la
topologı́a de X sea mas fina que la imagen inversa bajo f de la to-
pologia de Y 0 .

2. La minima de las cotas superiores de un conjunto de topologı́as . Cada

familia T i (i ∈ I) de topologı́as en un conjunto X tiene una mı́nima
cota superior T es el conjunto ordenado de todas las topologı́as en
X las cuales son mas finas que cada una de las T i . Para ver esto
debemos aplicar la proposición 4 , tomando Yi como el conjunto X

20
Estructuras topologicas Funciones Continuas

con la topologı́a T i , y fi la identidad de X → Yt ; T es la topologı́a

mas gruesa para la cual todas las funciones fi son continuas.
Sea G un conjunto abitrario de subconjuntos de un conjuno X; entre
las topologı́as T en X 0 para las cuales los conjuntos de G son abiertos,
existe una topologia T 0 la cual es la mas gruesa que todas las otras
y es llamada la topologı́a generada por G . Para cada conjunto U ∈G
sea T U la topologı́a cuyos abiertos con ∅ , U y X [es claro que este
conjunto de subconjuntos de X satisface O1 y O2 ]; entonces T 0 es
solo la minima cota superior de las topologı́as T U . Por proposición
4 , si B es el conjunto de las intersecciones finitas de conjuntos qu
pertenecen a G , entonces B es una base de la topologı́a T 0 . Decimos
que G es una subbase de T 0

3. Topologı́a producto: Ea (Xi )i∈I una familia de espaciosQtopologı́cos.

La topologı́a mas gruesa en el conunto producto X = i∈I Xi para
el cual las proyecciones pri : X → Xi son las funciones continuas es
llamado el producto de las topologı́as de los Xi ; estudiaremos esto a
mas detalle en el capitulo 4.

1.2.4. Topologı́as Finales:

Propiedades 1.2.6: Sea X un conjunto, y (Yi )i∈I una familia de

espacios topologı́cos, y para cada i ∈ I,sea fi (i ∈ I) una función
de Ui → Xi . Sea D un conjunto del subconjunto U de X, tal que,
fi−1 (0) es abierto en Yi para cada i ∈ I; entonces D es el conjunto
de subconjuntos abiertos de X en una topologı́a T en X lo cual es
la estructura final de X para la familia (fi ), y en particular T es la
topologia mas fina en X para la cual la funcion de todos los fi son
continuas. En otras palabras, si g es una funcion de X en un espacio
topologı́co Z, entonces g es continua (X lleva la topologı́a T ) si y
solo si cada funcion g ◦ fi es continua.

Es inmediato verificar que D satisface los axiomas (O1 ) y (O2 ). Vamos a

verificar que la ultima afirmacion de la proposicion, la cual implica las otras
afirmaciones a razon de las propiedades generales de las estructuras finales.
Es claro que las fi son continuas en la topologı́a T , por la definición de D ;
por lo que si g es continua ; entonces lo es cada función g ◦ fi . Inversamente,

21
Estructuras topologicas Funciones Continuas

suponemos que cada g ◦ fi es continua, y se V un abierto en Z ; por hipótesis

fi−1 (g −1 (V )) es abierto en Yi para cada i ∈ I; por lo que g −1 (V ) ∈D , y la
prueba esta completada.
Corolario 1.2.1
Bajo la hipotesis de la proposición 4 un subconjunto F de Z es ce-
rrado en la topologı́a T si y solo sifi−1 (F ) es cerrado en Yi para cada
i ∈ I se obtiene directo de la definición de conjuntos abiertos en la
topologı́a T tomando sus complementos. Las propiedades generales
de la estructura final implican las siguientes propiedades transitivas.

Propiedades 1.2.7: Sea X un conjunto, (Zi )i∈I una familia de es-

pacios topologı́cos, (Jλ )λ∈L una partición de I , y (Yλ )λ∈L una fami-
lia indexada de conjuntos por L. Ademas para cada λ ∈ L sea Hλ
una función de Yλ en X ; para cada i ∈ Jλ sea gλ una función de Zi
en Yλ , y pongamos fi = hλ ◦ gλi . Si cada Yλ lleva la topologı́a mas
fina para las cuales las funciones gλi con i ∈ Jλ son continuas enton-
ces la topologia mas fina en X para la cual las fi son continuas es la
misma que la topologı́a mas fina para la cual las Hλ son continuas.

Ejemplo 1.2.6
1. Topologı́a cociente, Sea X un espacio topologı́co , R una relacion de
equivalencia en X, Y = X/R el conjunto cociente de X con respecto
a la relación R , φ : X → Y la función canónica. La topologı́a mas
fina en Y para la cual la función φ es continua es llamado el cociente
de la topologı́a de X por la relación R

2. La mas grande las cotas inferiores de un conjunto de topologı́as.

Toda familia T i (i ∈ I) de topologı́as en un conjunto X tiene una
minima cota interior T en el conjunto de todas las topologias en X,
es decir, T es la mas fina de todas las topologı́as en X las cuales
son mas gruesas que cada una de las T i . PAra ver eso aplicaremos
la proposicion 4, tomando Yi como el conjunto X con la topologı́a
T i y fi la función identidad de Yi → X, si D i es el conjunto de
subconjuntos de X que son abiertos en la topologı́a de T i , entonces
el conjunto ∩i∈I D i es el conjunto de subconjuntos de X para e cual
son abiertos en T . T es llamado la interseccion de las topologı́as T i .

22
Estructuras topologicas Funciones Continuas

3. Suma de espacios topologı́cos. Sean Xi con i ∈ I una familia de

espacios topologı́cos, X el conjunto que es la suma de los Xi ; para
cada i ∈ I. Sea Ji la función canónica de Xi → X. La topologı́a
final T en X para la cual cada función gi son continuas es llamada la
suma de las topologı́as de las Xi , y X con esta topologı́a es llamada
la suma de espacios topologı́cos Xi . Vamos a identificar cada Xi con
un subconjunto de X por medio de Ji , entonces un conjunto A ⊂ X
es abierto (o cerrado) en la topologı́a T si cada conjunto A ∪ Xi es
abierto (o cerrado) en Xi . En particular, cada Xi es a la vez abierto
y cerrado. Las siguientes proposiciones generalizan la situacion del
ejemplo 3.

Propiedades 1.2.8:
Sea X un conjunto, (Xλ )λ∈L una familia de subconjuntos de X, su-
ponga que cada Xλ lleva una topologı́a T λ tal que para cada par de
indices (λ, µ);

1. Xλ ∩ Xµ es abierto(o cerrado) en cada una de las topologı́as

T λ , T µ.

2. Las topologı́as inducidas en Xλ ∩ Xµ por T λ , T µ coinciden.

Sea T la topologı́a mas fina en X para la cual las intecciones
Jλ : Xλ → X son continuas, entonces para cada λ ∈ L, Xλ
es abierto (o cerrado) en X en la topologı́a T , y la topologı́a
inducida por T en Xλ coincide con T λ

Por la proposicion 6 y su colorario, es suficiente probar o mostrar que pa-

ra cada λ y en cada subconjunto Aλ de Xλ las siguientes propiedades son
equivalentes:

1. Aλ es abierto (o cerrado) en la topologı́a T λ

2. Para cada µ ∈ L, Aλ ∈ Xµ es abierto (o cerrado) en la topologı́a T µ

Es claro que 2 implica 1), tomando µ = λ. Por otro lado, si 1) se satisfa-

ce, entonces Aλ ∩ Xµ es abierto (o cerrado) en Xλ ∩ Xµ para la topologı́a
T λ µ inducida en Xλ ∩ Xµ por T µ ; por lo tanto Aλ ∩ Xµ es la intersección
de Xλ ∩ Xµ con un subconjunto Bµ de Xµ que es abierto (o cerrado) en la
topologı́a T µ como Xλ ∩ Xµ es abierto (o cerrado) en T µ esto es Aλ ∩ Xµ .

23
Estructuras topologicas Funciones Continuas

Esto completa la prueba.

Recalcamos que si la unión de el Xλ es diferente de X, entonce la topologı́a

inducida por T en X −(∪λ∈L Xλ ) es discreta. Por si x ∈ Xpertenece o ninguno
de los Xλ , entonces x ∩ Xλ = ∅ es abierto (o cerrado) en cada topologı́a T λ
y por lo tanto x es abierto en la topologı́a T .

1.2.5. Pegamiento de espacios topologı́cos

Sea (Xλ )λ∈L una familia de conjuntos, y sea X el conjunto, el cual es la suma
de los Xλ ; identificaremos cada Xλ como un subconjunto de X por medio de
la inyeccion canonica Jλ : Xλ → X.

Sea R una relación de equivalencia en X tal que cada clase de equivalen-

cia de R tiene a lo mas un elemento en cada Xλ , para cada par de indices
(λ, µ). Sea Aλµ un subconjunto de Xλ que consiste de elementos X para el
cual existe un elemento y ∈ Xµ que pertenece a la clase de equivalencia de
X claramente para cada x ∈ Aλµ corresponde a un único y ∈ Aλµ que es
congruente a XmodΛ, la funcion hµλ : Aλµ → Aµλ ası́ definida satisface las
siguientes condiciones:

1. PAra cada λ ∈ L, hλλ es la funcion identidad de Aλλ = Xλ

2. Para cada tripa de indices (µ, λ, γ) de L y cada x ∈ Aλµ ∩ Aλµ tenemos

hµλ (x) ∈ Aµγ y hγλ (x) − hγµ (hµλ (x))

24