Está en la página 1de 84

TOPOLOG

IA GENERAL (primera parte)


Curso 2008-2009
Marta Macho Stadler
Departamento de Matem aticas
Facultad de Ciencia y Tecnologa
Universidad del Pas VascoEuskal Herriko Unibertsitatea
Barrio Sarriena s/n, 48940 Leioa
e-mail: marta.macho@ehu.es
http://www.ehu.es/mtwmastm
Tlf: 946015352 Fax: 946012516
2

Indice general
Introducci on 5
0.1. Qu e es la topologa? . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
0.2. Un poco de historia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
0.3. Organizaci on de este documento . . . . . . . . . . . . . . . . . . . . . . 8
1. Repaso de algunas nociones b asicas 1
1.1. Nociones de L ogica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.1. Smbolos y conectores . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.2. Los objetos del razonamiento . . . . . . . . . . . . . . . . . . . 3
1.1.3. Condiciones necesarias y sucientes . . . . . . . . . . . . . . . . 4
1.1.4. Los m etodos de demostraci on . . . . . . . . . . . . . . . . . . . 4
1.2. Teora de conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3. Funciones y sus propiedades . . . . . . . . . . . . . . . . . . . . . . . . 9
1.4. Relaciones binarias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.5. Propiedades de los n umeros reales . . . . . . . . . . . . . . . . . . . . . 13
1.6. Cardinalidad de conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.7. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2. Espacios topol ogicos 23
2.1. Denici on de topologa . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.2. Conjuntos abiertos y cerrados . . . . . . . . . . . . . . . . . . . . . . . . 25
2.3. Base y subbase de una topologa . . . . . . . . . . . . . . . . . . . . . . 26
2.4. Espacios de Fr echet y de Hausdorff . . . . . . . . . . . . . . . . . . . . 28
2.5. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
3. Entornos 35
3.1. Entornos y sistemas de entornos . . . . . . . . . . . . . . . . . . . . . . 35
3.2. Bases de entornos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
3.3. Topologas y sistemas de entornos . . . . . . . . . . . . . . . . . . . . . 38
3.4. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
3
4

Indice general
4. Conjuntos en espacios topol ogicos 41
4.1. Interior de un conjunto . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
4.2. Clausura de un conjunto . . . . . . . . . . . . . . . . . . . . . . . . . . 43
4.3. Puntos de acumulaci on y puntos aislados . . . . . . . . . . . . . . . . . . 45
4.4. Frontera de un conjunto . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
4.5. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
5. Numerabilidad 53
5.1. Espacios primero y segundo numerables . . . . . . . . . . . . . . . . . . 53
5.2. Espacios de Lindel of . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
5.3. Espacios separables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
5.4. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
6. Continuidad 61
6.1. Aplicaciones continuas . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
6.2. Algunas propiedades de funciones continuas . . . . . . . . . . . . . . . . 62
6.2.1. Continuidad y espacios Hausdorff . . . . . . . . . . . . . . . . . 62
6.2.2. Continuidad secuencial . . . . . . . . . . . . . . . . . . . . . . . 63
6.2.3. Continuidad y numerabilidad . . . . . . . . . . . . . . . . . . . . 63
6.2.4. Criterio de Hausdorff . . . . . . . . . . . . . . . . . . . . . . . . 63
6.3. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
7. Homeomorsmos 67
7.1. Aplicaciones abiertas y cerradas . . . . . . . . . . . . . . . . . . . . . . 67
7.2. Homeomorsmos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
7.3. Propiedades topol ogicas . . . . . . . . . . . . . . . . . . . . . . . . . . 69
7.4. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
Bibliograa 74
Introducci on
0.1. Qu e es la topologa?
... Adem as de aquella parte de la geometra que trata sobre cantidades y que se ha es-
tudiado en todo tiempo con gran dedicaci on, el primero que mencion o la otra parte, hasta
entonces desconocida, fue G. Leibniz, el cual la llam o geometra de la posici on. Leibniz
determin o que esta parte se tena que ocupar de la sola posici on y de las propiedades
provenientes de la posici on en todo lo cual no se ha de tener en cuenta las cantidades,
ni su c alculo... Por ello, cuando recientemente se mencion o cierto problema que pareca
realmente pertenecer a la geometra, pero estaba dispuesto de tal manera que ni preci-
saba la determinaci on de cantidades ni admita soluci on mediante el c alculo de ellas, no
dud e en referirlo a la geometra de la posici on... L. Euler
La topologa es probablemente la m as joven de las ramas cl asicas de las matem aticas.
En contraste con el algebra, la geometra y la teora de los n umeros, cuyas genealogas
datan de tiempos antiguos, la topologa aparece en el siglo XVII, con el nombre de ana-
lysis situs, es decir, an alisis de la posici on.
De manera informal, la topologa se ocupa de aquellas propiedades de las guras que
permanencen invariantes, cuando son plegadas, dilatadas, contraidas o deformadas, de
modo que no aparezcan nuevos puntos, o se hagan coincidir puntos diferentes. La trans-
formaci on permitida presupone, en otras palabras, que hay una correspondencia biunvoca
entre los puntos de la gura original y los de la transformada, y que la deformaci on hace
corresponder puntos pr oximos a puntos pr oximos. Esta ultima propiedad se llama con-
tinuidad, y lo que se requiere es que la transformaci on y su inversa sean ambas continuas:
trabajamos con homeomorsmos.
Un top ologo trabaja con los mismos objetos que un ge ometra, pero de modo distinto:
no se ja en las distancias o los angulos, ni siquiera de la alineaci on de los puntos. Para
un top ologo un crculo es equivalente a una elipse; una bola no se distingue de un cubo:
se dice que la bola y el cubo son objetos topol ogicamente equivalentes, porque se pasa de
una al otro mediante una transformaci on continua y reversible.
5
6 Introducci on
0.2. Un poco de historia
En 1679, G. Leibniz (1646-1716) publica su famoso libro Characteristica Geometri-
ca, en el que (en t erminos modernos) intenta estudiar m as las propiedades topol ogicas que
las puramente m etricas de las guras. Insiste en que, aparte de la representaci on coorde-
nada de guras, se necesita de otro an alisis, puramente geom etrico o lineal, que tambi en
dena la posici on (situs), como el algebra dene la magnitud.
Los matem aticos en el siglo XVIII muestran poco inter es en la topologa, con la ex-
cepci on de L. Euler (1707-1783) cuyo genio comprende todas las matem aticas. En 1736,
Euler publica un artculo con la soluci on al famoso Problema de los puentes de K onigs-
berg, titulado Solutio problematis ad geometriam situs pertinentis. El ttulo ya indica
que Euler es consciente de que est a trabajando con una clase diferente de matem atica, en
la que la geometra ya no es importante.
El siguiente paso en esta liberaci on de la matem atica tambi en se debe a Euler. En
1750 escribe una carta a C. Goldbach (1690-1764) en la que da la famosa f ormula de
Euler para un poliedro: v l + c = 2, donde v es en n umero de v ertices del poliedro, l
es el n umero de lados y c el n umero de caras. Esta f ormula, de asombrosa simplicidad,
parece que fue olvidada por Arqumedes (287 AC-212 AC) y R. Descartes (1596-1650),
aunque los dos escribieron extensamente sobre poliedros. La raz on debe ser que, para
todo el mundo antes de Euler, pareca imposible pensar en propiedades geom etricas sin
que la medida estuviera involucrada. Euler publica los detalles de esta f ormula en 1752
en dos artculos, donde da una demostraci on basada en la disecci on de s olidos en rodajas
tetra edricas. Euler pasa por alto algunos problemas en su prueba; por ejemplo, supone
que los s olidos son convexos.
A.J. Lhuilier (1750-1840) contin ua el camino iniciado por Euler con su f ormula po-
li edrica. En 1813, publica un importante trabajo, donde indica que la f ormula de Euler
es falsa para s olidos con asas sobre ellos: si un s olido tiene g asas (un asa es un toro
adjuntado al espacio), Lhuilier prueba que la f ormula se escribe v l +c = 2 2g.

Este
es el primer resultado conocido sobre invariantes topol ogicos.
A.F. M obius (1790-1868) publica una descripci on de la banda que lleva su nombre en
1865. Intenta escribir la propiedad de unicidad de cara de la banda, en t erminos de falta
de orientabilidad.
J.B. Listing (1802-1882) es el primero en usar la palabra topologa. Sus ideas topol ogi-
cas se deben principalmente a su maestro C.F. Gauss (1777-1855). Listing escribe un
artculo en 1847 llamado Vorstudien zur Topologie y en 1861, publica otro artculo, en
el que describe la banda de M obius (cuatro a nos antes que M obius) y estudia la noci on
de conexi on de las supercies. Listing no es el primero en examinar las componentes
conexas de las supercies; B. Riemann (1822-1866) estudia este concepto en 1851 y de
nuevo en 1857 cuando introduce las supercies de Riemann.
C. Jordan (1838-1922) publica en 1882 su Cours dAnalyse, que contiene prue-
0.2. Un poco de historia 7
bas rigurosas de resultados topol ogicos intuitivamente obvios sobre curvas en el plano,
introduciendo adem as otro m etodo para estudiar la conexi on de las supercies.
Listing examina la conexi on en el espacio eucldeo de dimensi on tres, pero E. Betti
(1823-1892) extiende estas ideas a dimensiones arbitarias.
La idea de conexi on es descrita con rigor por H. Poincar e (1854-1925) en una serie
de artculos bajo el ttulo de Analysis situs en 1895. Poincar e introduce el concepto de
homologa y da una denici on precisa de los n umeros de Betti asociados a un espacio.
E. de Jonqui` eres (1820-1901) generaliza en 1890 la f ormula para poliedros convexos de
Euler a poliedros no necesariamente convexos. Asmismo, en relaci on con la conexi on,
Poincar e introduce el concepto de grupo fundamental de una variedad y la noci on de
homotopa.
Un segundo camino en el cual se desarrolla la topologa es a trav es de la gene-
ralizaci on de ideas de convergencia. Este proceso se inicia en realidad en 1817 cuan-
do B. Bolzano (1781-1848) asocia la convergencia con un subconjunto acotado innito
de n umeros reales, en vez de pensar exclusivamente en convergencia de sucesiones de
n umeros.
G. Cantor (1845-1918) introduce en 1872 el concepto de conjunto derivado (o familia
de puntos lmite) de un conjunto. Dene los subconjuntos cerrados de la recta real como
aquellos conteniendo a su conjunto derivado e introduce la idea de conjunto abierto, un
concepto clave en la topologa de conjuntos. Y se dene el concepto de entorno de un
punto.
En 1906, M. Fr echet (1878-1973) llama a un espacio compacto si cada subconjunto
innito acotado contiene un punto de acumulaci on. Fr echet es capaz de extender la noci on
de convergencia de un espacio eucldeo, deniendo los espacios m etricos. Prueba que los
conceptos de abierto y cerrado de Cantor se extienden naturalmente a espacios m etricos.
En el Congreso Internacional de Matem aticos de Roma de 1909, F. Riesz (1880-1956)
propone un nuevo acercamiento axiom atico a la topologa, basado en una denici on con-
juntista de puntos lmite, sin un concepto de distancia subyacente. Unos cuantos a nos m as
tarde, en 1914, F. Hausdorff (1868-1942) dene los entornos a trav es de cuatro axiomas,
de nuevo sin consideraciones m etricas. Este trabajo de Riesz y Hausdorff realmente da
lugar a la denici on de espacio topol ogico abstracto.
Hay una tercera va en la que los conceptos topol ogicos entran en las matem aticas, a
saber, a trav es del an alisis funcional. Esta es un area que surge de la fsica matem atica y
la astronoma, debido a que los m etodos del an alisis cl asico eran inadecuados al abordar
algunos tipos de problemas.
J. Hadamard (1865-1963) introduce la palabra funcional en 1903 cuando estudia los
funcionales lineales F de la forma F(f) = lm
n
_
b
a
f(x)g
n
(x)dx. Fr echet contin ua el
desarrollo de esta teora, deniendo la derivada de un funcional en 1904.
8 Introducci on
E. Schmidt (1876-1959) examina en 1907 la noci on de convergencia en espacios de
funciones; la distancia se dene a trav es un producto interior. S. Banach (1892-1945)
realiza un paso posterior en la abstracci on en 1932, cuando pasa de los espacios con
producto interior a los espacios normados.
Poincar e desarrolla muchos de sus m etodos topol ogicos cuando estudia ecuaciones
diferenciales ordinarias que provienen del estudio de ciertos problemas astron omicos.
Esta colecci on de m etodos se transforma en una completa teora topol ogica en 1912, con
los estudios de L.E.J. Brouwer (1881-1966).
0.3. Organizaci on de este documento
Este documento est a organizado en 7 captulos, el primero de repaso de nociones sobre
teora de conjuntos y los otros corresponden a los 6 primeros temas del programa de la
asignatura Topologa General del curso 2008/2009.
Cada uno de los temas consta de deniciones, propiedades con algunas de las de-
mostraciones m as complicadas y una extensa colecci on de ejemplos. Al nal de cada
captulo aparece una relaci on de problemas, algunos de ellos elementales, otros ya m as
elaborados, otros son una mera excusa para introducir alg un ejemplo de espacio impor-
tante,... en donde se deben aplicar las propiedades estudiadas en la parte te orica. Est an
marcados con aquellos que deben hacerse y entregarse como parte del trabajo del curso.
Leioa, septiembre 2008
Captulo 1
Repaso de algunas nociones b asicas
1.1. Nociones de L ogica
La L ogica es una herramienta b asica en Matem aticas; damos aqu un breve repaso de
algunos conceptos fundamentales.
1.1.1. Smbolos y conectores
En Matem aticas, es fundamental la utilizaci on de smbolos y conectores que sirven
para modicar o combinar sentencias.
Denici on 1.1. Los siguientes smbolos se llaman cuanticadores:
1) el cuanticador universal: (para todo);
2) el cuanticador existencial: (existe).
Denici on 1.2. Tambi en es esencial el uso de los llamados conectores:
1) la negaci on: no;
2) la conjunci on: (y);
3) la disyunci on: (o);
4) la implicaci on: =(si , entonces);
5) la doble implicaci on: (si y s olo si, es equivalente a).
El manejo es sencillo, pero es preciso tener cuidado al utilizarlos. Por ejemplo, si P
y Q son propiedades relativas a los elementos de un conjunto X (denici on 1.11), para
expresar que x cumple P, se escribir a P(x). Y entonces:
1
2 Captulo 1. Repaso de algunas nociones b asicas
Proposici on 1.1. El enunciado P(x) Q(x), signica una de las tres posibilidades (mu-
tuamente excluyentes) siguientes:
(i) P(x) y Q(x);
(ii) P(x) y no-Q(x);
(iii) no-P(x) y Q(x).
Proposici on 1.2. Un enunciado se niega de la siguiente manera:
1) no-(x X, P(x)) es lo mismo que decir que (x X : no-P(x));
2) no-(x X : P(x)) equivale a (x X, no-P(x));
3) no(x X, P(x) Q(x)) es lo mismo que (x X : no-P(x) o no-Q(x));
4) no-(x X : P(x) =Q(x)) es equivalente a (x X, P(x) ,=Q(x)).
Proposici on 1.3. Cuando aparecen varios cuanticadores en un enunciado, es indiferente
el orden en el que se escriben, siempre que los cuanticadores involucrados sean del
mismo tipo. Si P(x, y) es una propiedad relativa a los elementos x e y, entonces:
1) (x, y, P(x, y)) es lo mismo que decir que (y, x, P(x, y));
2) (x, y : P(x, y)) es equivalente a (yy : P(x, y)) .
Contraejemplo 1.1. Hay que tener cuidado cuando se ven involucrados cuanticadores
de distinto tipo. Por ejemplo, el enunciado (x, y : P(x, y)) no equivale a la expresi on
(y : x, P(x, y)). En efecto, si X = N y P(x, y) es la propiedad x y, la primera
expresi on se lee como que todo n umero natural posee otro mayor (que es cierta) y la
segunda signica que existe un n umero natural mayor que todos los dem as (que es falsa).
Proposici on 1.4. El cuanticador existencial y el conector disyunci on se pueden inter-
cambiar en la escritura de un enunciado, as como el cuanticador universal y el conector
conjunci on:
1) (x, P(x)) y (y, Q(y)) es lo mismo que (x, y, P(x) Q(y));
2) (x : P(x)) o (y : Q(y)) es equivalente a (x, y : P(x) Q(y)).
Contraejemplo 1.2. En general, no se pueden intercambiar cuanticadores y conectores
en la escritura de un enunciado:
1.1. Nociones de L ogica 3
1) la expresi on (x, P(x) Q(x)) no equivale a (x, P(x)) (x : Q(x)). En efecto,
si X = N, P y Q son las propiedades de ser par y ser impar respectivamente,
entonces la primera expresi on se lee como que un n umero natural es par o impar
(que es verdadera) y la segunda dice que todo n umero natural es par o todo n umero
natural es impar (que es falsa);
2) la expresi on (x : P(x)) (x : Q(x)) no equivale a (x : P(x) Q(x)). En efecto,
tomando de nuevo el ejemplo de 1), la primera expresi on se lee como que existe un
n umero natural par y existe un n umero natural impar (que es cierta), y la segunda
signica que existe un n umero natural a la vez par e impar (que es falsa).
1.1.2. Los objetos del razonamiento
Denir una teora matem atica es establecer las reglas del juego sobre los objetos ma-
nipulados, los denominados axiomas.
Denici on 1.3. Un axioma es todo enunciado que:
1) sirve de fundamento para la construcci on de una teora;
2) se admite como cierto y no es por lo tanto objeto de discusi on.
Cuando un unico axioma no basta para denir una teora, se pide adem as:
3) que los diferentes axiomas usados no se contradigan y sean independientes los unos
de los otros.
Ejemplos 1.1. Algunos ejemplos de axiomas son los siguientes:
1) axioma de Euclides, que es la base de la Geometra Eucldea: dos rectas paralelas del
plano eucldeo no se cortan;
2) axioma de elecci on: dado un conjunto X, existe una funci on (denici on 1.18) de
elecci on, f : T(X) X (denici on 1.14), que asigna a todo conjunto A no
vaco, un punto distinguido f(A) = a A;
3) lema de Zorn: sea un conjunto parcialmente ordenado (X, ) (denici on 1.31), tal que
todo conjunto bien ordenado (denici on 1.33) admite una cota superior (denici on
1.34); entonces (X, ) posee un elemento maximal (denici on 1.32);
4) axioma de Zermelo: todo conjunto puede ser bien ordenado.
Observaci on 1.1. 2), 3) y 4) son formulaciones equivalentes del mismo axioma.
Denici on 1.4. Una denici on es un enunciado que sirve para explicar o introducir una
nueva noci on.
4 Captulo 1. Repaso de algunas nociones b asicas
Una vez conocidos los axiomas y algunas deniciones, el juego puede comenzar,
puesto que las reglas ya se conocen.
Denici on 1.5. Un teorema es un enunciado que se deduce:
1) directamente de los axiomas o
2) de los axiomas y los teoremas precedentes, y
con las reglas de deducci on que se llaman demostraciones, que aseguran su validez.
Denici on 1.6. A veces, se da unicamente el nombre de teorema a los verdaderamente
importantes, a los que han pasado a la historia con un nombre, o a los que precisan una
demostraci on muy larga, dejando el nombre de proposici on al resto.
Denici on 1.7. Un lema es una proposici on preliminar a la demostraci on de un teorema.
Denici on 1.8. Un corolario es una proposici on que se deduce inmediatamente de un
teorema, por una demostraci on si no inmediata, cuando menos corta y f acil.
1.1.3. Condiciones necesarias y sucientes
Denici on 1.9. (La implicaci on) Sean X un conjunto y P y Q dos propiedades ma-
tem aticas deniendo los conjuntos A = x X : P(x) y B = x X : Q(x)
respectivamente. Si A B (denici on 1.12), todo elemento vericando P, cumple tam-
bi en Q. En este caso, se dice que P implica Q, y se escribe P = Q. Se dice tambi en
que Pes una condici on suciente de Q(para obtener Qbasta con conocer P) o que Qes
una condici on necesaria de P.
Denici on 1.10. (La equivalencia) En las condiciones de la denici on 1.9, si A = B
(denici on 1.12), todo elemento vericando P cumple tambi en Q y viceversa. En este
caso, se dice que P es equivalente a Q, y se escribe P Q. Como A = B es id entico
a A B y B A, la equivalencia P Q signica las dos implicaciones P = Q
y Q = P. Es decir, las dos propiedades equivalentes P y Q caracterizan el mismo
conjunto. Observar que en tal caso P es una condici on necesaria y suciente de Q.
1.1.4. Los m etodos de demostraci on
Hay muchos m etodos de demostraci on, de los cuales citamos los m as importantes a
continuaci on, usando la notaci on de la denici on 1.9:
(i) M etodo de la hip otesis auxiliar: para probar que P =Q, se supone P cierta.
Esta forma de razonamiento, la m as directa, es tambi en la m as conocida. De manera
pr actica consiste en demostrar el teorema P = Q, donde P es la hip otesis y Q la
1.1. Nociones de L ogica 5
conclusi on o tesis, suponiendo que se verica P (la hip otesis es cierta) y ayud andose de
los axiomas y de los otros teoremas de la teora demostrados anteriormente.
(ii) Disjunci on de los casos: para probar que P = Q, se descompone P en la
forma P
1
P
n
, y se prueba que para cada i 1, . . . , n, es P
i
=Q.
Es decir, se descompone el conjunto A de los elementos que cumplen Pen una uni on
disjunta (denici on 1.13) de subconjuntos A
1
, , A
n
. Entonces, se prueba que para cada
1 i n es A
i
B; y como A = A
1
A
n
, se tendr a A B.
Ejemplo 1.1. Probar que si n N, entonces n(n + 1) es par.
Demostraci on: Distinguimos dos posibilidades: si n es par, existe k N, tal que n = 2k,
y entonces n(n + 1) = 2k(2k + 1). Si n es impar, existe k N, tal que n = 2k + 1, y
entonces n(n + 1) = (2k + 1)(2k + 2) = 2(2k + 1)(k + 1), que es claramente par.
(iii) M etodo de contraposici on: para probar que P = Q, se demuestra el con-
trarecproco no-Q =no-P.
Es un primer m etodo de prueba indirecta. Descansa sobre el hecho de que la inclusi on
A B es equivalente a decir que los conjuntos complementarios (denici on 1.13) veri-
can la inclusi on B
c
A
c
.
Ejemplo 1.2. Probar que si n N es tal que n
2
es par, entonces n es par.
Demostraci on: Si n N es impar, entonces n
2
es impar.
(iv) Demostraci on por reducci on al absurdo: para probar un enunciado P, se
supone su negaci on no-P, y se busca una contradicci on en la teora en la que se tra-
baja.
Como evidentemente se admite que esta teora no admite contradicciones, la suposi-
ci on no-P ser a falsa, lo cual es equivalente a decir que P es cierta. A qu e contradicci on
se debe llegar? A contradecir un axioma, un teorema anteriormente probado o la propia
suposici on no-P.
De modo similar, para probar que P = Q razonando por reducci on al absurdo, se
admite lo contrario, es decir, que no-(P =Q), o lo que es equivalente, Py no-Q. Y se
busca entonces encontrar una contradicci on.
(v) El contraejemplo: para probar que un propiedad matem atica P es cierta para un
conjunto X, hay que probar que todos los elementos de X la verican. Pero, se sabe que
la negaci on de (x X, P(x)) es (x X, no-P(x)). As, para probar que esta f ormula
es falsa, basta con encontrar un elemento de X que no verique P: esto es lo que se llama
dar un contraejemplo.
6 Captulo 1. Repaso de algunas nociones b asicas
Ejemplo 1.3. Si x R, es cierto que si x x
2
, entonces es x 1?
Demostraci on: La respuesta es falsa, tomando x = 2.
(vi) La demostraci on por recurrencia: este tipo de demostraci on est a ligada a la
denici on del conjunto de los enteros naturales. Es una t ecnica util para probar que una
propiedad P(n) es cierta para todos los enteros naturales n, o para los que son iguales
o superiores a un cierto n
0
. Sean n
0
un entero natural y P(n) una propiedad matem atica
que depende de un entero n. Para probar que P(n) se verica para cada n n
0
, basta
con probar que:
1) P(n
0
) es cierta,
2) demostrar, bajo la hip otesis de que P(n) se verica para n n
0
, n
0
+ 1, . . . k, que
P(k + 1) es cierta.
La etapa 1) es una simple vericaci on y la 2) es, de hecho, el objeto de una demostraci on.
Ejemplo 1.4. Probar que para cada n N, 1 + +n =
n(n+1)
2
.
Demostraci on: Para n = 1, es cierto que 1 =
1(1+1)
2
. Si la propiedad se verica para
n 1, . . . , k, entonces: 1+2+ +k+(k+1)=(1+2+ +k)+(k+1)=
k(k+1)
2
+(k+1)=
(k+2)(k+1)
2
.
Observaci on 1.2. Hay una forma d ebil de la demostraci on por recurrencia: para probar
que P(n) se verica para cada n n
0
, basta con probar que:
1) P(n
0
) es cierta,
2) demostrar, bajo la hip otesis de que P(k) se verica para k > n
0
, que P(k + 1) es
cierta.
En este caso, para probar que P(k + 1) se verica, nos apoyamos s olo sobre la hip otesis
de que P(k) es cierta.
1.2. Teora de conjuntos
Denici on 1.11. Un conjunto es una colecci on de objetos, llamados elementos o puntos.
Si x es un elemento de X, se denota por x X. An alogamente, x / X denota la no
pertenencia de x a X. El conjunto vaco es el conjunto sin elementos.
Son conjuntos importantes en Matem aticas N, Z, Q, R, .
Se puede denir un conjunto:
1) por extensi on, nombrando todos sus elementos: por ejemplo, el conjunto de los n umeros
naturales pares es 2, 4, 6, 8, ;
1.2. Teora de conjuntos 7
2) a trav es de una propiedad P v alida en un universo U, que servir a para caracterizarlo
x U : P(x). Por ejemplo, el conjunto de los n umeros naturales pares se puede
expresar por x N : x es m ultiplo de 2.
Denici on 1.12. Dados A, B X, se dice que A est a contenido en B, A B, si para
cada x A, es x B. Y A es igual a B, A = B, si A B y B A.
Denici on 1.13. Si A, B X, se denen:
1) la intersecci on de A y B, por A B = x X : x A x B. Claramente,
A B A, B. A y B se dicen disjuntos si A B = ;
2) la uni on de A y B, por A B = x X : x A x B. Es decir x A B, si
se verica una (y s olo una) de las condiciones siguientes:
(i) x A y x B,
(ii) x A y x , B,
(iii) x , A y x B.
Claramente, A, B A B;
3) el complementario de A en X, por X A = x X : x , A. Si no hay duda
de respecto a que conjunto se est a tomando el complementario, se suele denotar por
A
c
;
4) la diferencia de A y B, por A B = A B
c
= x X : x A x , B.
Proposici on 1.5. Las anteriores operaciones verican las siguientes propiedades:
1) leyes idempotentes: A A = A = A A;
2) leyes asociativas: (A B) C = A (B C) y (A B) C = A (B C);
3) leyes conmutativas: A B = B A y A B = B A;
4) leyes distributivas: A(BC) = (AB)(AC) y A(BC) = (AB)(AC);
5) identidades: A X = A = A , A X = X y A = ;
6) propiedades del complementario: A A
c
= X, A A
c
= , (A
c
)
c
= A y X
c
= ;
7) leyes de De Morgan: (A B)
c
= A
c
B
c
y (A B)
c
= A
c
B
c
.
Denici on 1.14. Se llama partes de X o conjunto potencia de X al conjunto de todos los
subconjuntos de X, y se denota por T(X) o 2
X
. Es decir, A X si y s olo si A T(X).
Denici on 1.15. A B = (a, b) : a A b B es el producto cartesiano de A por
B. Sus elementos son pares ordenados.
8 Captulo 1. Repaso de algunas nociones b asicas
Claramente, A B ,= B A. Y A B = , si y s olo si A = o B = . Dos pares
ordenados (a
1
, b
1
), (a
2
, b
2
) AB, son iguales (a
1
, b
1
) = (a
2
, b
2
) si y s olo si a
1
= a
2
y
b
1
= b
2
. Luego, (a
1
, b
1
) ,= (a
2
, b
2
) si y s olo si a
1
,= a
2
o b
1
,= b
2
.
En general, dada una familia nita de conjuntos A
1
, , A
n
, se dene su producto
cartesiano por
n

i=1
A
i
= A
1
A
n
= (a
1
, , a
n
) : a
i
A
i
, i 1, , n. Si
A
i
= A para cada i 1, , n, el producto cartesiano se denota por A
n
.
Proposici on 1.6. El producto cartesiano verica las siguientes propiedades:
1) A (B C) = (A B) (A C);
2) A (B C) = (A B) (A C);
3) si C ,= y A C = B C, entonces A = B;
4) A (B C) = (A B) (A C);
5) (A B) (C D) = (A C) (B D);
6) (A B)
c
= (A
c
B
c
) (A
c
B) (A B
c
);
7) si B C, entonces A B A C;
8) (A B) (C D) = (A D) (C B);
9) si A, B, C y D son conjuntos no vacos, entonces AB C D si y s olo si A C
y B D.
Denici on 1.16. Sea I ,= un conjunto de ndices. Se considera una familia de conjuntos
A
i
: i I, y se dice que esta familia est a indicada por I. Los conjuntos A
i
no tienen
porque ser diferentes.
Denici on 1.17. Dada una familia indicada A
i
: i I, con A
i
X, se dene:
1) la intersecci on generalizada

iI
A
i
= x X : i I, x A
i
, y
2) la uni on generalizada
_
iI
A
i
= x X : i I tal que x A
i
.
Si el conjunto de ndices I es nito, estas deniciones coinciden con las dadas en la
denici on 1.13. Se cumplen tambi en en este caso las propiedades distributivas, las leyes
de De Morgan
_

iI
A
i
_
c
=
_
iI
A
c
i
y
_
_
iI
A
i
_
c
=

iI
A
c
i
, etc.
1.3. Funciones y sus propiedades 9
1.3. Funciones y sus propiedades
Denici on 1.18. Dados dos conjuntos X e Y , una aplicaci on o funci on f : XY , es
una correspondencia que asocia a cada x X, un elemento y s olo uno de Y , que se
denota por f(x).
Ejemplos 1.2. Algunos ejemplos de aplicaciones son:
1) la aplicaci on identidad, 1
X
: XX, denida por 1
X
(x) = x;
2) la aplicaci on inclusi on: si A X, i
A
: AX, se dene por i
A
(x) = x;
3) la aplicaci on constante, c
y
0
: XY , denida por c
y
0
(x) = y
0
, donde y
0
es un punto
jo de Y ;
4) la i- esima proyecci on coordenada, p
i
: A
1
A
n
A
i
, denida por la igualdad
p
i
((a
1
, , a
n
)) = a
i
;
5) la inyecci on diagonal, d: XX
n
, denida por d(x) = (x, , x);
6) la funci on caracterstica de un conjunto: si A X,
A
: X0, 1, denida por

A
(x) =
_
0 si x , A
1 si x A
7) dada f : XY y A X, la restricci on de f a A, f[
A
: AY , est a denida por
f[
A
(a) = f(a);
8) si g : AY y A X, entonces f : XY es una extensi on de g a X, si f[
A
= g;
una aplicaci on puede tener varias extensiones;
9) si f : AY y g : BY son dos aplicaciones, donde A B = X y f(x) = g(x),
para cada x A B, se puede denir la combinada de f y g, como la aplicaci on
h: XY denida por
h(x) =
_
f(x) si x A
g(x) si x B
Denici on 1.19. Dada una aplicaci on f : XY , X se llama el dominio de f e Y es su
codominio. El grafo de f es el conjunto G
f
= (x, f(x)) : x X X Y , que en
muchas ocasiones se identica con f.
Denici on 1.20. Dos aplicaciones f : XY y g : ZW son iguales, cuando coin-
ciden sus dominios (X = Z), sus codominios (Y = W) y f(x) = g(x), para cada x X.
Por ejemplo, si f : XY es una aplicaci on y A X, f y f[
A
no son iguales.
Denici on 1.21. Dada f : XY , f(A) = y Y : a A tal que f(a) = y es la
imagen directa de A. f(X) se llama rango de la aplicaci on.
10 Captulo 1. Repaso de algunas nociones b asicas
Denici on 1.22. Si B Y , f
1
(B) = x X : f(x) B es su imagen recproca.
Proposici on 1.7. Dada f : XY , se verica:
1) f() = , f(X) Y y si A ,= , entonces f(A) ,= ;
2) si A
1
, A
2
X, y A
1
A
2
, entonces f(A
1
) f(A
2
);
3) Si A
i
X para i I, f
_
_
iI
A
i
_
=
_
iI
f(A
i
) y f
_

iI
A
i
_

iI
f(A
i
);
4) si A
1
, A
2
X, f(A
1
) f(A
2
) f(A
1
A
2
) y en particular f(X) f(A
2
)
f(X A
2
). Entre Y f(A
2
) y f(X A
2
) no hay en general ninguna relaci on;
5) f
1
() = , y puede existir , = B Y , tal que f
1
(B) = ;
6) f
1
(Y ) = X;
7) si B
1
, B
2
Y y B
1
B
2
, entonces f
1
(B
1
) f
1
(B
2
);
8) si B
i
Y para i I, f
1
_

iI
B
i
_
=

iI
f
1
(B
i
) y f
1
_
_
iI
B
i
_
=
_
iI
f
1
(B
i
);
9) Si B
1
, B
2
Y , f
1
(B
1
B
2
) = f
1
(B
1
)f
1
(B
2
), y en particular, f
1
(Y B
2
) =
X f
1
(B
2
);
10) si A X, A f
1
(f(A));
11) si B Y , f(f
1
(B)) = f(X) B B;
12) si A X y B Y , f(A f
1
(B)) = f(A) B.
Denici on 1.23. Dadas f : XY y g : Y Z, se dene la composici on de g y f, por
g f : XZ, donde (g f)(x) = g(f(x)), para cada x X.
Proposici on 1.8. Sean f : XY , g : Y Z y h: ZW aplicaciones, entonces:
1) la composici on de funciones es asociativa: h (g f) = (h g) f;
2) f 1
X
= f y 1
Y
g = g;
3) si C Z, es (g f)
1
(C) = f
1
(g
1
(C));
4) si f : XY y g : Y X, en general, f g ,= g f.
Denici on 1.24. Se dice que f : XY es sobreyectiva, si f(X) = Y , es decir, para
cada y Y , existe x X, tal que f(x) = y. Y es inyectiva, si dados x
1
,= x
2
en X, es
f(x
1
) ,= f(x
2
) (o equivalentemente, si f(x
1
) = f(x
2
), entonces x
1
= x
2
).
Proposici on 1.9. Sea f : XY , entonces:
1) B = f(f
1
(B)) para cada B Y , si y s olo si f es sobreyectiva;
1.4. Relaciones binarias 11
2) Y f(A) f(X A) para cada A X si y s olo si f es sobreyectiva;
3) si g, h: Y Z y f es sobreyectiva, entonces g f = h f implica que h = g;
4) si g : Y X y f g = 1
Y
, entonces f es sobreyectiva;
5) A = f
1
(f(A)) para cada A X, si y s olo si f es inyectiva;
6) f
_

iI
A
i
_
=

iI
f(A
i
) para cada familia indicada de conjuntos A
i
X
iI
si y
s olo si f es inyectiva;
7) si f es sobreyectiva, entonces para cada A X es Y f(A) = f(X A) si y s olo
si f es inyectiva;
8) si g, h: ZX y f es inyectiva, entonces f g = f h implica que h = g;
9) si g : Y X y g f = 1
X
, entonces f es inyectiva.
Denici on 1.25. f : XY es biyectiva si es sobreyectiva e inyectiva a la vez. En tal
caso, la correspondencia denida por f
1
: Y X, donde f
1
(y) = x si y s olo si
f(x) = y, es una funci on.
Proposici on 1.10. Sea f : XY , entonces:
1) si f es biyectiva, entonces f
1
tambi en lo es;
2) si f es biyectiva, entonces f
1
f = 1
X
, f f
1
= 1
Y
y (f
1
)
1
= f;
3) si g : Y X y g f = 1
X
y f g = 1
Y
, entonces f es biyectiva y g = f
1
;
4) si f : XY y g : Y Z son biyectivas, entonces g f lo es y adem as (g f)
1
=
f
1
g
1
.
1.4. Relaciones binarias
Denici on 1.26. Dado un conjunto X, una relaci on binaria es R X X. Rse llama:
1) reexiva, si para cada x X, es (x, x) R;
2) sim etrica, si dado (x, y) R, entonces (y, x) R;
3) antisim etrica, si (x, y) R e (y, x) R implica que x = y;
4) transitiva, si dados (x, y), (y, z) R, entonces (x, z) R.
Denici on 1.27. Una relaci on de equivalencia es una relaci on binaria reexiva, sim etrica
y transitiva. Se suele denotar por xRy en vez de (x, y) R.
Denici on 1.28. Dada R una relaci on de equivalencia, se llama clase de x al conjunto
[x] = y X : xRy. El conjunto cociente X/R, es el conjunto de todas las clases de
equivalencia.
12 Captulo 1. Repaso de algunas nociones b asicas
Proposici on 1.11. Algunas propiedades son:
1) x [x] (x se llama representante de su clase), luego [x] ,= ;
2) xRy si y s olo si [x] = [y];
3) [x] ,= [y] si y s olo si [x] [y] = .
Denici on 1.29. Una partici on de X es una familia T = P
i
: i I de subconjuntos
no vacos de X, tales que:
(i) X =
_
iI
P
i
, y
(ii) si P
i
,= P
j
, entonces P
i
P
j
= .
Lema 1.12. Es equivalente dar una partici on de X que una relaci on de equivalencia
sobre el.
Denici on 1.30. Existe una aplicaci on can onica, p: XX/R, que asigna a cada ele-
mento x su clase de equivalencia p(x) = [x]. Se llama aplicaci on cociente y es sobreyecti-
va. Una vez dada la aplicaci on cociente, cada clase de equivalencia en X es precisamente
p
1
(p(x)).
Denici on 1.31. Una relaci on sobre X es un orden parcial si es una relaci on reexiva,
antisim etrica y transitiva. Se dice tambi en que X est a parcialmente ordenado. El orden
se llama total, si dos elementos cualesquiera de X son comparables por esta relaci on.
Denici on 1.32. Si X est a parcialmente ordenado por , entonces:
(i) a X se llama elemento m aximo de X, si para cada x X, es x a;
(ii) a X es un elemento maximal de X, si a , x para cada x ,= a;
(iii) a X se llama elemento mnimo de X, si para cada x X, es x a,
(iv) a X es un elemento minimal de X, si x , a para cada x ,= a.
Ejemplo 1.5. Si X = a, b, c con el orden parcial a b y a c, entonces b es un
elemento maximal de X, pero no un m aximo.
Denici on 1.33. Un conjunto parcialmente ordenado en el cual todo A X no vaco
posee un elemento mnimo, se llama conjunto bien ordenado. Por ejemplo, (Z, ) no
est a bien ordenado.
1.5. Propiedades de los n umeros reales 13
1.5. Propiedades de los n umeros reales
(R, ) es un conjunto totalmente ordenado, donde denota el orden usual en R.
Denici on 1.34. Si A R, se tiene:
1) si u R es tal que a u para cada a A, se dice que u es una cota superior de A;
2) la menor de las cotas superiores de A (es decir, u es cota superior de A y para cada z
cota superior de A es z u) es el supremo de A, y se denota sup(A);
3) si l R es tal que a l para cada a A, se dice que l es una cota inferior de A;
4) la mayor de las cotas inferiores de A (es decir, l es cota inferior de A y para cada z
cota inferior de A es z l) es el nmo de A, y se denota nf(A).
Teorema 1.13. (Axioma de la cota superior) Si A R est a acotado superiormente (es
decir, existe M R, tal que M a, para cada a A), existe el supremo de A. Y en tal
caso, s = sup(A) si y s olo si:
(i) para cada a A, es a s, y
(ii) para todo > 0, existe a

A tal que a

> s .
Del axioma anterior, se deduce que:
Corolario 1.14. Si A R est a acotado inferiormente (es decir, existe m R, tal que
m a, para cada a A), existe el nmo de A. Y entonces, i =nf(A) si y s olo si:
(i) para cada a A, es a i, y
(ii) para todo > 0, existe a

A tal que a

< i + .
Teorema 1.15. Res arquimediano, es decir, el conjunto Nno est a acotado superiormente.
Demostraci on: Si lo estuviera, existira r
0
R, tal que n r
0
para cada n N. Pero
n
0
= [r
0
] + 1 N, y n
0
, r
0
.
Del teorema 1.15 se deducen inmediatamente:
Corolario 1.16. (Propiedad arquimediana) Para todo x > 0, existe n N, tal que
0 <
1
n
< x.
Corolario 1.17. (Densidad de los racionales) Dados dos n umeros reales x < y, existe
r Q, tal que x < r < y.
Demostraci on: Por la propiedad arquimediana (corolario 1.16), existe n
0
N tal que
1
n
0
< y x. El conjunto M = m N : x <
m
n
0
es no vaco y est a bien ordenado,
es decir, existe m
0
M tal que x <
m
0
n
0
y x
m
0
1
n
0
. Es inmediato probar que adem as
m
0
n
0
< y.
14 Captulo 1. Repaso de algunas nociones b asicas
Corolario 1.18. (Propiedad de los intervalos de encaje) Dada [a
n
, b
n
] : n N, una
familia de intervalos cerrados y encajados (es decir, si n m, es [a
m
, b
m
] [a
n
, b
n
]),
entonces

nN
[a
n
, b
n
] ,= .
Demostraci on: Para cada m, n N, es a
n
< b
m
, luego para todo m N, b
m
es cota
superior del conjunto A = a
n

nN
. Si p = sup(A), es claro que p

nN
[a
n
, b
n
].
1.6. Cardinalidad de conjuntos
Denici on 1.35. Dos conjuntos se llaman equipotentes, si existe una correspondencia
biyectiva entre ellos.
Denici on 1.36. X se dice nito si existe n N, tal que X es equipotente a 1, , n.
X es innito, si no es nito, lo cual equivale a decir que es equipotente a un subconjunto
propio de s mismo. X es numerable si es equipotente a N y es contable si es nito o
numerable.
Observaci on 1.3. Dos conjuntos nitos son equipotentes si y s olo si poseen el mismo
n umero de elementos. No sucede lo mismo si X es innito: N es equipotente al conjunto
P de los n umeros pares, y sin embargo P N.
Lema 1.19. La relaci on de equipotencia es una relaci on de equivalencia.
Denici on 1.37. A cada clase de equipotencia se le puede asignar un n umero cardinal,
que es un objeto matem atico tal que existe un conjunto X con Card(X) = .
Denici on 1.38. Un conjunto A es de potencia menor o igual que B, si existe una apli-
caci on f : AB inyectiva, con lo cual Card(A) Card(B) (equivalentemente, si
existe una aplicaci on f : BA sobreyectiva).
Denici on 1.39. Dados dos n umeros cardinales
1
y
2
, se dice que
1

2
, si existen
conjuntos X e Y con Card(X) =
1
y Card(Y ) =
2
y tales que la potencia de X es
menor o igual a la potencia de Y . Se trata de una relaci on de orden. Si
1

2
y
1
,=
2
,
se dice que
1
es estrictamente menor que
2
.
Proposici on 1.20. Se verican las siguientes propiedades:
1) si X es contable y A X, entonces A es contable;
2) si X no es contable y X Y , entonces Y no es contable;
3) si X es innito, existe A X, numerable y propio.
1.6. Cardinalidad de conjuntos 15
Teorema 1.21. N N es numerable.
Demostraci on: Se dene la siguiente relaci on binaria: dados (m
1
, n
1
), (m
2
, n
2
) NN,
(m
1
, n
1
) (m
2
, n
2
) si:
1) m
1
+n
1
< m
2
+n
2
, o
2) m
1
+n
1
= m
2
+n
2
y m
1
< m
2
.
_es un orden total, gracias al cual se pueden escribir los elementos de NN en una lista.
La aplicaci on f : N NN dada por f(m, n) =
1
2
(m+n1)(m+n2) +m, asigna
a cada elemento (m, n) N N el lugar que ocupa en esta lista, y es por lo tanto una
biyecci on.
Corolario 1.22. Del teorema 1.21 se deduce:
1) el producto cartesiano de una familia nita de conjuntos contables, es contable;
2) la uni on de una familia contable de conjuntos contables es contable;
3) Z y Q son numerables.
Demostraci on: Para probar 3), basta con usar 2). Z = N 0 N. Adem as, Q =

m
n
: m Z, n N se puede escribir como la uni on numerable Q =
_
nN
A
n
, donde
A
n
=
m
n
: m Z, que es equipotente a Z.
Contraejemplo 1.3. R no es numerable.
Demostraci on: Basta con demostrar que [0, 1] no es numerable. Si lo fuera, se escribira
[0, 1] = x
n

nN
. Se construye una sucesi on de intervalos encajados del modo siguiente:
x
1
no puede pertenecer a los tres intervalos
_
0,
1
3

,
_
1
3
,
2
3

y
_
2
3
, 1

. Sea I
1
= [a
1
, b
1
] uno
de estos tres intervalos, tal que x
1
, I
1
. Se divide I
1
en tres intervalos de amplitud
1
9
:
_
a
1
, a
1
+
1
3

,
_
a
1
+
1
3
, a
1
+
2
3

y
_
a
1
+
1
3
, b
1

. De nuevo, existe uno de ellos I


2
I
1
, tal
que x
2
, I
2
. Se contin ua de manera inductiva, obteniendo una sucesi on de intervalos
encajados I
n

nN
, cada I
n
de longitud
1
3
n
y tal que x
n
, I
n
. Por la propiedad de los
intervalos de encaje (corolario 1.18), existe p

nN
I
n
[0, 1], lo que es imposible.
El Card() = 0, es el cardinal mnimo. Sin embargo no existe un cardinal m aximo,
ya que:
Teorema 1.23. (de Cantor) Para cada conjunto X, Card(X) < Card(T(X)).
16 Captulo 1. Repaso de algunas nociones b asicas
Demostraci on: Si X = , Card(T(X)) = 1, pues T(X) = . Si X ,= , es ob-
vio que Card(X) Card(T(X)), porque la aplicaci on h: XT(X) denida por
h(x) = x es inyectiva. Supongamos que Card(X) = Card(T(X)), es decir, existe
una aplicaci on f : XT(X) biyectiva. Sea A = x X : x , f(x) T(X). Co-
mo f es sobreyectiva, existe x
0
X tal que f(x
0
) = A. Si x
0
A, esto signicara
que x
0
, f(x
0
) = A, lo cual es imposible. Luego, es x
0
, A, lo cual signica que
x
0
f(x
0
) = A, imposible de nuevo.
En particular, Card(N) =
0
< Card(T(N)) = 2

0
(notaci on que proviene de
la propiedad descrita en el ejercicio 9 del apartado 1.7). Puede probarse que 2

0
=
Card(R) = c, que se llama el cardinal del continuo. De aqu se concluye que
0
< c.
Desde principios de siglo, se ha intentado en vano establecer si existe un n umero
cardinal
1
, entre
0
y c. Georg Cantor (1845-1918) hace la siguiente conjetura:
Teorema 1.24. (Hip otesis del continuo) c =
1
, es decir, no existe ning un conjunto A,
tal que
0
< Card(A) < c.
Paul Joseph Cohen (1934-2007) establece en 1963 que la hip otesis del continuo es in-
decidible: a nadiendo como axioma su veracidad o su falsedad, los fundamentos de la
Matem atica siguen siendo coherentes.
1.7. Ejercicios
1.- Con ayuda del lenguaje simb olico, decidir si son correctas las siguientes deducciones:
a) Los gusanos reptan. Todo lo que repta se mancha. Luego, los gusanos est an sucios.
b) Si aumenta la temperatura o cae un meteorito, los osos polares morir an de hambre. Se
sabe que los osos polares van a sobrevivir, por lo tanto, caer a pronto un meteorito.
c) Ninguna pelota de tenis es de cristal. Ning un objeto de cristal es indestructible. Luego,
ninguna pelota de tenis es indestructible.
d) Si se abandona la utilizaci on de gasolina o se incrementa el uso de energa solar,
la contaminaci on disminuir a. Si se abandona el uso de gasolina, el pas entrar a en
crisis. La utilizaci on de la energa solar no aumentar a, a no ser que no haya crisis.
Por lo tanto, la contaminaci on no va a disminuir.
e) Los profesores son s adicos. Algunos s adicos usan l atigo. Por lo tanto, algunos profe-
sores usan l atigo.
1.7. Ejercicios 17
f) Los caramelos son dulces. Ning un alimento dulce contiene sal. Luego, los caramelos
no contienen sal.
g) Los p ajaros silban. Algunos habitantes de Euskadi son p ajaros. Luego, algunas cria-
turas de Euskadi silban.
h) Si no trabajo duro, me dormir e. Si estoy preocupado, no dormir e. Por lo tanto, si estoy
preocupado, trabajar e duro.
i) Las nubes son esponjosas. Algunos objetos esponjosos son rosas. Luego, algunas
nubes son rosas.
j) Los osos polares tocan el violn. Los violinistas no vuelan. Por lo tanto, los osos
polares no vuelan.
k) Las tortugas ven CSI-Las Vegas. Algunas criaturas de G alapagos son tortugas. Por lo
tanto, algunos habitantes de Gal apagos ven CSI-Las Vegas.
l) Las polillas salen de noche. Algunos caminantes nocturnos son vampros. Por lo tanto,
las polillas son vampros.
m) Si Thor se enfada, hay tormentas. Est a comenzando una tormenta. Por lo tanto, Thor
est a enfadado.
n) Si en Marte hubiera grandes cantidades de agua, podra haber vida. No hay grandes
extensiones de agua en Marte. Por lo tanto, no hay vida en Marte.
n) Los buenos polticos son honestos. Juan es honesto. Juan sera un buen poltico.
o) Algunas personas no beben caf e. Los matem aticos son humanos. Por lo tanto, algunos
matem aticos no beben caf e.
p) Ning un elefante sabe tricotar. Yo no s e tricotar. Luego, soy un elefante.
q) Algunos poetas son nerviosos. Hay gente nerviosa que se come las u nas. Luego,
algunos poetas se comen las u nas.
r) Si hago estos ejercicios, aprender e l ogica. Ya he terminado de hacerlos... S e l ogica!
2.- Negar los siguientes enunciados:
a) Los polticos son gordos y feos.
b) Hay un matem atico que sabe sumar.
c) Algunas personas de Sevilla tienen paraguas.
18 Captulo 1. Repaso de algunas nociones b asicas
d) El Athletic de Bilbao ganar a la Liga de f utbol.
e) Nadie en Euskadi habla swahili.
f) Al menos dos faraones egipcios eran ciegos.
g) Como mucho, la mitad de los n umeros: 1, 2, 3, 4, 5, 6, son pares.
h) A veces, llueve en El Sahara.
i) Siempre hace fro en Groenlandia.
j) Ni Alejandro Magno, ni Julio C esar eran pelirrojos.
k) x A o x B.
l) x A y x B.
m) x A, pero x , B.
n) A B.
n) para cada i I, es x A
i
.
o) existe i I, tal que x A
i
.
3.- Sea X el conjunto de los estudiantes de la Facultad de Ciencia y Tecnologa de la
UPV/EHU, H el conjunto de los hombres, M el de la mujeres, C el de los estudiantes que
van en coche a la Universidad, Ael de los estudiantes que van en autob us a la Universidad,
E el de los estudiantes de Matem aticas y F el de los estudiantes de Fsicas. Describir los
siguientes conjuntos: X H, X M, X C, X A, X E, X F, H C, H A,
H E, H F, M C, M A, M E, M F, C A, C E, C F, A E, A F,
E F, M H, H M, H C, H A, H E, H F, H M, M H, M C,
M A, M E, M F, C A, C E, C F, AC, AM, AH, AE, AF,
E H, E M, E C, E A y E F.
4.- Cuatro compa neros han faltado a la clase de Matem aticas en el Instituto. Delante del
Jefe de Estudios y en presencia de su profesor, se deenden del modo siguiente:
Pedro: No he faltado.
Elena: Lo admito, he faltado, pero estaba con Juan.
Juan: Yo tambi en he faltado; pero no estaba con Elena, sino con Pedro.
Mara: Yo estaba en clase, pero no he visto a Pedro.
El profesor: Estaba concentrado en mis cosas, pero he visto a Pedro en clase.
Puedes ayudar al Jefe de Estudios, sabiendo que s olo tres de estas sentencias son ciertas?
1.7. Ejercicios 19
5.- Traducir las siguientes frases del lenguaje natural en un lenguaje simb olico utilizando
una o varias propiedades P. Negar cada enunciado y traducirlo al lenguaje natural:
a) No hay amor feliz.
b) Una puerta est a abierta o cerrada.
c) Ser o no ser.
d) Las verdades son f aciles de decir.
e) Preero la poesa a la novela hist orica.
6.- Probar la siguiente propiedad: Si x R y para cada > 0, es [x[ < , entonces x = 0.
7.- Dado el conjunto A = a, b, son v alidas las siguientes expresiones?
(i) a A; (ii) a A; (iii) A; (iv) a T(A); (v) T(A).
8.- Sean A, B y C tres conjuntos nitos, de cardinales a, b y c, respectivamente. Sea
p = Card(A B), q = Card(B C), r = Card(A C) y s = Card(A B C).
Calcular el cardinal de A B, A C, B C y A B C.
9.- Se pide:
a) calcular T(X), si X = 1, 2, X = y X = 1, 2, 3, 4;
b) probar que si Card(X) = n, entonces Card(T(X)) = 2
n
;
c) probar que si A B, entonces T(A) T(B). Es cierto el recproco?
10.- Si A, B X, probar que son equivalentes las siguientes expresiones:
(i) A B; (ii) A B = A; (iii) A B = B;
(iv) B
c
A
c
; (v) A B
c
= ; (vi) B A
c
= X.
11.- Probar las propiedades siguientes para conjuntos, dando un contraejemplo en el caso
de inclusi on estricta:
a) A
_
_
iI
B
i
_
=
_
iI
(A B
i
); b) A
_

iI
B
i
_
=

iI
(A B
i
);
c) A
_

iI
B
i
_
=

iI
(A B
i
); d)

iI
A
i

jJ
B
j
=

(i,j)IJ
(A
i
B
j
);
20 Captulo 1. Repaso de algunas nociones b asicas
e)
_

iI
A
i
_

jJ
B
j
_
=

(i,j)IJ
(A
i
B
j
); f)

(i,j)I
2
(A
i
B
j
)

iI
(A
i
B
i
);
g)
_

iI
A
i
_

iI
B
i
_

iI
(A
i
B
i
); h)
_
iI
(A
i
B
i
)
_
(i,j)I
2
(A
i
B
j
);
i)
_
_
iI
A
i
_

_
_
jJ
B
j
_
=
_
(i,j)IJ
(A
i
B
j
);
j)
_

iI
A
i
_

jJ
B
j
_
=

(i,j)IJ
(A
i
B
j
);
k)
_

iI
A
i
_

iI
B
i
_
=

iI
(A
i
B
i
);
l)
_
_
iI
A
i
_

_
_
jJ
B
j
_
=
_
iI

jJ
(A
i
B
j
);
m)
_

iI
A
i
_

jJ
B
j
_
=

iI
_
jJ
(A
i
B
j
).
12.- Para cada uno de los siguientes conjuntos de ndices I y cada familia dada de con-
juntos indicados por I, hallar los conjuntos pedidos:
a) si I = R
2
y para cada p I, S
p
= p, hallar
_
pI
S
p
;
b) si I = (0, ) y para cada x I, C
x
= [0, x], hallar
_
xI
C
x
y

xI
C
x
;
c) si I =
_
1
2
, 1
_
y para cada r I, B
r
es el crculo de radio r y centro (0, 0), hallar
_
rI
B
r
y

rI
B
r
;
d) si I = (0, 1) y para cada r I, N
r
es el interior del crculo de radio r y centro (0, 0),
hallar
_
rI
N
r
y

rI
N
r
;
1.7. Ejercicios 21
e) si I = [1, 2] y para cada x I, A
x
= [
x
2
,
3x
2
], hallar
_
xI
A
x
y

xI
A
x
;
f) si I = N y para cada n I, A
n
=
_

1
n
,
1
n
_
, hallar
_
nI
A
n
y

nI
A
n
;
g) si I = N y para cada n I, B
n
= (
1
n
, 1], hallar
_
nI
B
n
y

nI
B
n
;
h) si I = N y para cada n I, C
n
= (n, n), hallar
_
nI
C
n
y

nI
C
n
.
13.- Dados A, B X, probar:
a)
AB
=
A
.
B
; b)
AB
=
A
+
B

AB
;
c)
AB
=
A

AB
; d)
A
c = 1
A
.
14.- Sean f : XY y g : Y Z dos aplicaciones. Probar:
a) si f y g son sobreyectivas, entonces g f tambi en lo es, pero el recproco no es cierto;
b) si g f es sobreyectiva, entonces g tambi en lo es, pero el recproco no es cierto;
c) si g f es sobreyectiva y g es inyectiva, entonces f es sobreyectiva;
d) si f y g son inyectivas, entonces g f tambi en lo es, pero el recproco no es cierto;
e) si g f es inyectiva, entonces f tambi en lo es, pero el recproco no es cierto;
f) si g f es inyectiva y f es sobreyectiva, entonces g es inyectiva.
15.- Sea f : XY ; probar:
a) si existe g : Y X, tal que g f = 1
X
, entonces f es inyectiva;
b) si existe h: Y X, tal que f h = 1
Y
, entonces f es sobreyectiva;
c) f es biyectiva si y s olo si existen g, h: Y X, tales que g f = 1
X
, f h = 1
Y
y
en tal caso h = f
1
= g.
16.- Sean dos conjuntos X
1
, X
2
y para cada i 1, 2, A
i
X
i
. Sea p
i
: X
1
X
2
X
i
la i- esima proyecci on coordenada. Probar las siguientes propiedades:
a) A
1
X
2
= p
1
1
(A
1
), X
1
A
2
= p
1
2
(A
2
) y A
1
A
2
= p
1
1
(A
1
) p
1
2
(A
2
);
b) si A X
1
X
2
, entonces A p
1
(A) p
2
(A);
22 Captulo 1. Repaso de algunas nociones b asicas
c) p
i
(A
1
A
2
) = A
i
(i 1, 2).
17.- Sean f, g : RR, dadas por:
f(x) =
_
x
2
si x 0
2 si x < 0
y g(x) =
_
x si x 0
x si x < 0
Se pide:
a) estudiar las funciones f g, f f, g g, g f, si tienen sentido;
b) estudiar el car acter sobreyectivo e inyectivo de f, g, f g y g f;
c) calcular f(5, 5], g(5, 5], f
1
(5, 5] y g
1
(5, 5].
18.- Hacer lo mismo que en el ejercicio anterior para las funciones: f : Z
2
Zy g : ZZ
2
dadas por: f(x, y) = x
2
+ y y g(x) = (x, 2x).
19.- Sea f : RR, dada por:
f(x) =
_
_
_
2 si x < 0
1 si 0 x 2
x 1 si x > 2
Se pide:
a) estudiar si f es inyectiva o sobreyectiva;
b) calcular f((1, 3)), f([2, 2]), f
1
((0, 1)), f
1
([4, 4]);
c) si g : RRes la aplicaci on g(x) = [x[, determinar fg y calcular (fg)
1
((2, 5]).
20.- Probar que la aplicaci on f : R 2R 1, denida por: f(x) =
x+2
x2
es
biyectiva y calcular f
1
.
21.- Calcular f(A
i
) y f
1
(B
i
) (i 1, 2), para f : RR, donde:
a) f(x) = x
2
, A
1
= (0, 2), B
1
= (0, 4) y B
2
= (1, 0);
b) f(x) = x
4
, A
1
= (0, 2), A
2
= , B
1
= (0, 16] y B
2
= (1, 0];
c) f(x) =
1
x
(para x > 0), A
1
= N, B
1
= x R : x > 2 y B
2
= N;
d) f(x) = x
3
3x, A
1
= [0, ), B
1
= (0, 2) y B
2
= 2.
22.- Dados x, y R, utilizando el car acter arquimediano de R, probar:
a) si x > 0 e y > 0, existe n N, tal que nx > y;
b) si x > 0, existe n N, tal que 0 <
1
n
< x;
c) si x > 0, existe n N, tal que n 1 x < n.
Captulo 2
Espacios topol ogicos
A lo largo de casi toda la historia de las matem aticas, han ido apareciendo estructuras
y especialidades motivadas por la necesidad de resolver problemas cuantitativos. Por ello,
dichas estructuras u objetos matem aticos tenan cierta rigidez, forzados por el problema de
la medida que intentaban resolver. Hasta hace unos doscientos a nos, ning un matem atico
se interesaba por las propiedades cualitativas de los objetos a los que dedicaba su atenci on.
Estas propiedades fueron apareciendo, por un lado, como simples observaciones a la exis-
tencia de cualidades que no dependan de las magnitudes y que permitan distinguir diver-
sos objetos entre s. Por otra parte, se hicieron necesarios al surgir el c alculo innitesimal
como t ecnica que obligaba a considerar correctamente y formalizar las nociones vagas de
proximidad y continuidad. Estos dos caminos, unas veces independiente y otras conjunta-
mente, desembocaron a principios del siglo XX en la denici on correcta de proximidad,
continuidad y propiedad cualitativa, es decir, se encontr o un objeto matem atico, un espa-
cio topol ogico, en el que los anteriores conceptos tenan su verdadero signicado y donde
todas las intuiciones de las que se haba partido encontraban un tratamiento riguroso.
En este curso se trata de exponer alguna de esas propiedades cualitativas que, haciendo
abstracci on de toda medida y magnitud, son el fundamento de la topologa.
2.1. Denici on de topologa
La noci on de topologa es una generalizaci on de algunas de las propiedades que
poseen los intervalos abiertos en la recta real, propiedades independientes de otras pre-
sentes en R como la suma, el orden o la distancia.
Denici on 2.1. Una topologa sobre un conjunto X es una familia T(X) vericando:
(i) , X ,
(ii) si A, B , entonces A B ,
23
24 Captulo 2. Espacios topol ogicos
(iii) si A
i

iI
, entonces
_
iI
A
i
.
Los elementos de se llaman abiertos y el par (X, ) es un espacio topol ogico.
Ejemplos 2.1. Se introducen algunos ejemplos fundamentales:
1) sobre X,
ind
= , X es la topologa indiscreta;
2) sobre X,
dis
= T(X) es la topologa discreta;
3) si X es innito,
cof
= A X : X A es nito es la topologa conita;
4) si X es innito no contable,
coc
= A X : X A es contable es la
topologa cocontable;
5) si X = a, b,
sier
= , X, a es la topologa de Sierpinski;
6) si X y A X,
A
= B X : A B es la topologa A-inclusi on (observar
que

=
dis
y
X
=
ind
);
7) si X y A X,
A
= X B X : A B = es la topologa A-exclusi on
(observar que

=
dis
y
X
=
ind
);
8)
kol
= , R (a, ) : a R es la topologa de Kolmogorov sobre R, y el par
(R,
kol
) es la recta de Kolmogorov;
9)
sca
= U R : U = AB : A
u
, B I es la topologa scattered(esparcida)
sobre R, y el par (R,
sca
) es la recta scattered;
10) los espacios m etricos son espacios topol ogicos (ver 2.5, problema 6), por ejemplo la
recta real (R,
u
).
Observaci on 2.1. Sobre un mismo conjunto se pueden denir distintas topologas, como
se ha visto en los ejemplos 2.1.
Denici on 2.2. Dadas
1
y
2
dos topologas sobre X, se dice que
1
es menos na que
2
(o que
2
es m as na que
1
), si
1

2
. Si
1

2
o
2

1
, se dice que las topologas
son comparables.
Ejemplos 2.2. Algunos ejemplos de topologas comparables son:
1) para cada X y toda topologa sobre el, es
ind

dis
;
2) sobre R, es
cof

u
y
cof

coc
; pero
coc
y
u
no son comparables;
3) sobre R,
kol

u

sca
.
2.2. Conjuntos abiertos y cerrados 25
2.2. Conjuntos abiertos y cerrados
Denici on 2.3. En (X, ), un conjunto A X se dice cerrado, si su complementario
X A . Denotamos por ( a la familia de cerrados en (X, ).
El concepto de conjunto cerrado es as dual de la noci on de conjunto abierto, y una
topologa puede especicarse a trav es de la familia de sus conjuntos cerrados (, tomando
complementarios.
Lema 2.1. En (X, ), la familia de cerrados ( verica:
(i) , X (,
(ii) si F, G (, entonces F G (,
(iii) si F
i

iI
(, entonces

iI
F
i
(.
Ejemplos 2.3. En los ejemplos anteriores de topologas, tenemos
1) en (X,
ind
), es (
ind
= , X;
2) en (X,
dis
), es (
dis
= T(X);
3) si X es innito, (
cof
= A X : A es nito;
4) si X es innito no contable, (
coc
= A X : A es contable;
5) si X = a, b, (
sier
= , X, b;
6) si X y A X, (
A
=
A
;
7) si X y A X, (
A
=
A
;
8) (
kol
= , R (, a] : a R;
9) (
sca
= U R : B = F H : F (
us
, Q H.
Observaci on 2.2. La propiedad de ser abierto o cerrado es independiente la una de la otra.
Un conjunto puede ser simult aneamente abierto y cerrado, abierto y no cerrado, cerrado
y no abierto o ninguna de las dos propiedades.
26 Captulo 2. Espacios topol ogicos
2.3. Base y subbase de una topologa
Hay topologas que poseen demasiados abiertos y a veces es difcil especicarlos
todos. Por ello, se introduce el siguiente concepto:
Denici on 2.4. En (X, ), una familia es una base de , si para todo U y para
cada x U, existe B , tal que x B U. Los elementos de se llaman abiertos
b asicos.
Lema 2.2. Si es base de , todo abierto puede escribirse como uni on de abiertos
b asicos.
Teorema 2.3. Si T(X), es base de alguna topologa

sobre X, si y s olo si:


(i) X =
_
B
B, y
(ii) para cada B
1
, B
2
y cada x B
1
B
2
, existe B
3
tal que x B
3
B
1
B
2
.
Y, en tal caso,

= U X : existe B
i

iI
: U =
_
iI
B
i
.
Ejemplos 2.4. Algunos ejemplos de bases de topologa son:
1) una topologa es obviamente base de s misma;
2) sobre X,
ind
= X es base de la topologa indiscreta;
3) sobre X,
dis
= x : x X es base de la topologa discreta. Adem as, =
[a, b] : a, b R es base de la topologa discreta sobre R;
4) si A X,
A
= A x : x X es base de la topologa A-inclusi on
A
;
5) si A X,
A
= x : x X A X es base de la topologa A-exclusi on
A
;
6)
1
= (a, b) : a, b R,
2
= (a, b) : a, b Q y
3
= (a, b) : a, b I son bases
de la topologa usual sobre R;
7)
sor
= [a, b) : a < b, a, b R es base para una topologa sobre R, llamada
topologa de Sorgenfrey; el par (R,
sor
) se llama recta de Sorgenfrey. Observar que
[a, b) (
sor
, ya que R[a, b) = (, a) [b, +) =
_
_
c<a
[c, a)
_

_
_
d>b
[b, d)
_
,
es decir, es uni on de abiertos b asicos.
Como se ha visto en los ejemplos 2.4, una topologa puede generarse a trav es de
diferentes bases. Esto sugiere la siguiente denici on:
2.3. Base y subbase de una topologa 27
Denici on 2.5. Dadas
1
y
2
dos bases para las topologas
1
y
2
sobre X, se dice que

1
es m as na que
2
(
1
_
2
), si
2

1
. Y son bases equivalentes si
2
=
1
.
Observaci on 2.3. Si
1
y
2
son bases equivalentes, no tienen porque coincidir. Por ejem-
plo,
1
= (a, b) : a, b Q y
2
= (a, b) : a, b I son bases de la topologa usual
sobre R, pero no son iguales.
Se pueden comparar topologas sobre X conociendo s olo sus bases. Intuitivamente,
cuanto m as peque nos sean los elementos de la base, mayores ser an las topologas induci-
das:
Teorema 2.4. Sean
1
y
2
bases para las topologas
1
y
2
sobre X, respectivamente.
Entonces,
2

1
(
1
_
2
) si y s olo si para cada B
2

2
y cada x B
2
, existe
B
1

1
, tal que x B
1
B
2
.
Corolario 2.5. Sean
1
y
2
bases para las topologas
1
y
2
sobre X, respectivamente.
Entonces,
2
=
1
si y s olo si:
(i) para cada B
2

2
y cada x
2
B
2
, existe B
1

1
, tal que x
2
B
1
B
2
, y
(ii) para cada B
1

1
y cada x
1
B
1
, existe B
2

2
, tal que x
1
B
2
B
1
.
Ejemplos 2.5. Aplicando este criterio, se comprueba que:
(i)
u

sor
ya que para cada (a, b)
u
y cada x (a, b), existe [x, b)
sor
tal que
x [x, b) (a, b); y
(ii)
sor
,
u
, pues para a [a, b)
sor
, no existe B
u
tal que a B [a, b).
A veces, tambi en es util disponer de la noci on de subbase:
Denici on 2.6. Una familia T(X) es una subbase para alguna topologa sobre X, si
la familia de las intersecciones nitas de elementos de es una base para una topologa
sobre X.
Lema 2.6. Si T(X) verica que X =
_
S
S, entonces es subbase para alguna
topologa sobre X.
Ejemplos 2.6. Algunos ejemplos de subbases son:
1) = (, a), (b, ) : a, b R es subbase para
u
sobre R;
2) = (, a], [b, ) : a, b R es subbase para
dis
sobre R;
3) toda topologa es subbase de s misma.
28 Captulo 2. Espacios topol ogicos
2.4. Espacios de Fr echet y de Hausdorff
El axioma T
2
fue introducido en 1914 por Hausdorff. El axioma T
1
se atribuye a
Fr echet. El prop osito principal de los axiomas de separaci on (como T
1
y T
2
), es el de
hacer los puntos y los conjuntos de un espacio topol ogicamente distinguibles.
Denici on 2.7. Un espacio (X, ) es de Fr echet o T
1
, si para cada par de puntos distintos
x ,= y, existe U tal que x U e y , U.
Observaci on 2.4. Aunque no es necesario escribirlo, observar que si el espacio es de
Fr echet y x ,= y, existe U tal que x U e y , U, pero tambi en debe existir V
tal que y V y x , V , ya que los papeles de x e y son reversibles.
Denici on 2.8. Un espacio (X, ) es de Hausdorff o T
2
, si para cada par de puntos dis-
tintos x ,= y, existen abiertos disjuntos U y V , tales que x U e y V . Se suele decir
que U y V separan x e y.
Lema 2.7. Si (X, ) es T
2
, entonces es T
1
. El recproco no es cierto.
Observaci on 2.5. En las deniciones anteriores, pueden reemplazarse los abiertos por
abiertos b asicos.
Ejemplos 2.7. Para los espacios topol ogicos introducidos anteriormente:
1)
dis
,
sca
,
sor
y las topologas metrizables (problema 6 en 2.5) son T
2
(luego T
1
);
2)
cof
y
coc
son T
1
, pero no T
2
;
3)
ind
,
sier
,
kol
,
A
y
A
(para A ,= X, ) no son T
1
(luego no son T
2
).
Proposici on 2.8. Cualquier topologa m as na que una T
1
(respectivamente, T
2
), es T
1
(respectivamente, T
2
).
En muchas ocasiones, es m as util usar la siguiente caracterizaci on de propiedad T
1
:
Proposici on 2.9. (X, ) es T
1
si y s olo si para cada x X, es x (.
Demostraci on: Si (X, ) es T
1
, para cada y ,= x, existe U
y
tal que x , U
y
e y U
y
.
Entonces, x =

y=x
X U
y
, que es cerrado por el lema 2.1. Y recprocamente, si y ,= x,
existe U = X y tal que x U e y , U.
2.5. Problemas 29
2.5. Problemas
1.- Sea
i

iI
una familia de topologas sobre X. Se pide probar:
(i)
_
iI

i
es subbase para una topologa, sup(
i
), la menor que es m as na que cada
i
;
(ii)

iI

i
es una topologa sobre X, nf(
i
), la mayor que es menos na que cada
i
;
(iii) si X = a, b, c,
1
= , X, a, a, b y
2
= , X, a, b, c, encontrar
sup
1
,
2
e nf
1
,
2
.
2.- Una base de cerrados T en (X, ) es una familia de cerrados, tal que todo cerrado en
(X, ) se puede escribir como la intersecci on de una subfamilia de elementos de T. Se
pide probar:
(i) T es base de cerrados en (X, ) si y s olo si = X C : C T es base de ;
(ii) T es base de cerrados para alg un espacio topol ogico si y s olo si:
(a) si C
1
, C
2
T, C
1
C
2
se escribe como intersecci on de elementos de T, y
(b)

CF
C = .
3.- Sea (X, ) un espacio topol ogico, donde X es un conjunto innito. Para cada sub-
conjunto A innito de X, se sabe que A . Probar que =
dis
.
4.- Dar un ejemplo de espacio topol ogico no discreto, en el que coincidan las familias de
abiertos y cerrados.
5.- Describir todas las posibles topologas sobre un conjunto con dos o tres puntos. Estu-
diar cuales de entre ellas son T
1
o T
2
.
6.- Un espacio m etrico es un par (X, d), donde X es un conjunto y d: X XR es
una funci on que satisface las siguientes propiedades:
(1) positividad: d(x, y) 0, x, y X,
(2) propiedad id entica: d(x, y) = 0 si y s olo si x = y,
(3) propiedad sim etrica: d(x, y) = d(y, x), x, y X,
(4) desigualdad triangular: d(x, z) d(x, y) + d(y, z), x, y, z X.
30 Captulo 2. Espacios topol ogicos
La funci on d se llama m etrica sobre X. Si en vez de la propiedad id entica, se verica la
propiedad (2*) d(x, x) = 0, para cada x X, entonces (X, d) se llama espacio pseu-
dom etrico y d es una pseudom etrica.
Probar que los siguientes son espacios m etricos:
(a) (R
n
, d
u
), donde d
u
(x, y) =

i=1
(x
i
y
i
)
2
, es la m etrica eucldea de R
n
, siendo
x = (x
1
, , x
n
) e y = (y
1
, , y
n
);
(b) (R
n
, d
sum
), donde d
sum
(x, y) =
n

i=1
[x
i
y
i
[;
(c) (R
n
, d
max
), donde d
max
(x, y) = max[x
1
y
1
[, , [x
n
y
n
[;
(d) (X, d), donde d(x, y) = 1 si x ,= y y d(x, x) = 0, es la m etrica discreta sobre X.
Dado un espacio m etrico (respectivamente, pseudom etrico), x X y > 0, se dene
la bola abierta de centro x y radio por B(x, ) = y X : d(x, y) < . Y se
dice que A X es abierto si para cada x X, existe > 0 tal que B(x, ) A.
Probar que la familia de los conjuntos abiertos,
d
, es una topologa sobre X (es decir,
la familia = B(x, ) : x X, > 0 es base para
d
), llamada topologa m etrica
(respectivamente, topologa pseudom etrica).
Se dice que un espacio topol ogico (X, ) es metrizable (respectivamente, pseudometri-
zable), si existe una m etrica (respectivamente, una pseudom etrica) d sobre X, tal que
=
d
. Se pide:
(i) pueden distintas m etricas en X generar la misma topologa? En este caso, se dice
que las m etricas son topol ogicamente equivalentes;
(ii) probar que (X,
ind
) no es metrizable, pero si pseudometrizable;
(iii) probar que todo espacio metrizable es T
1
y T
2
es cierta esta propiedad para espacios
pseudometrizables?
(iv) si (X, |.|) es un espacio vectorial normado, queda denida una m etrica d
.
sobre
X por dados x, y X, d
.
(x, y) = |x y|.
7.- Probar que una partici on T de X es base de alguna topologa sobre X e identicarla.
8.- Sea X un conjunto innito y

= U X : X U es innito X. Es

una
topologa sobre X?
2.5. Problemas 31
9.- Probar que en (X, ) son equivalentes las siguientes condiciones:
(i) (X, ) es T
1
; (ii) para cada x X, x =

C cerrado : x C;
(iii) para cada x X, x (; (iv) para cada A X, A =

U : A U.
10.- Sea X un conjunto nito. Si (X, ) es T
1
, probar que =
dis
.
11.- Sea (X, ) un espacio topol ogico T
2
y una subbase de . Si x ,= y, se puede
asegurar que existen U, V tales que x U, y V y U V = ?
12.- Sea X un conjunto innito y
i
: i I la familia de todas las topologas T
2
sobre
X. Probar que
cof
=nf
iI

i
.
13.- Sea (X, ) un conjunto totalmente ordenado. Para , X, se consideran los
conjuntos siguientes: V

= x X : x < , B

= x X : x > y M
,
= B

.
Se pide:
(i) probar que la familia = V

, B

, M
,
: , X es una base para una topologa

ord
en X, llamada topologa del orden. Es (X,
ord
) T
1
? Y T
2
?;
(ii) probar que el conjunto x X : x es cerrado, para cada , X;
(iii) si se toma R (respectivamente, N) con el orden usual, cu al es la topologa del orden
asociada sobre R (respectivamente, N)?
(iv) en [0, 1] [0, 1] se considera el orden lexicogr aco: (a
1
, a
2
) < (b
1
, b
2
) si y s olo si
(a
1
< b
1
o a
1
= b
1
y a
2
< b
2
). Probar que la topologa del orden asociado no es
comparable con la topologa eucldea de [0, 1] [0, 1];
(v) en 1, 2 N con el orden lexicogr aco, cu al es la topologa del orden inducida?
14.- Probar que la familia

= (a, b) : a < b, a, b Q, es una base para la topologa


usual sobre R. Sin embargo, demostrar que la familia

= [a, b) : a < b, a, b Q
genera una topologa

sobre R estrictamente m as na que


u
y estrictamente menos na
que
sor
.
15.- En R, se considera la colecci on = R, (r, ) : r Q. Probar que si
S R est a acotado inferiormente, es
_
sS
(s, ) = (nf(S), ). Concluir que no es una
topologa sobre R.
32 Captulo 2. Espacios topol ogicos
16.- Sea X = R p, donde p , R. Se consideran las colecciones:
(i)
1
=
u
U X : X U es nito, y
(ii)
2
=
u
U X : X U es cerrado usual y acotado.
Probar que se trata de dos topologas sobre X y compararlas.
17.- Se considera
fort
= U R : p , U o R U nito, donde p R. Probar que se
trata de una topologa sobre R, la topologa de Fort y estudiar los axiomas de separaci on.
18.- Sobre R
2
, se pide:
(i) un conjunto U se llama radialmente abierto, si para cada x U, U contiene un
segmento de lnea abierta en cada direcci on alrededor del punto. La familia de los
conjuntos radialmente abiertos,
rad
, es una topologa llamada topologa radial.
Compararla con la topologa eucldea y estudiar si es T
1
o T
2
;
(ii) describir la topologa cuya subbase esta formada por la familia de todas las lneas rec-
tas. Lo mismo, si se considera como subbase la familia de las lneas rectas paralelas
al eje de abscisas;
(iii) si = , R
2
G
k
: k R, donde G
k
= (x, y) R
2
: x > y + k. Es una
topologa sobre R
2
? Lo es si k Z? Y si k Q?
(iv) probar que la familia = x R : x R es base para una topologa sobre R
2
.
Es T
1
? Y T
2
?
19.- En R
2
, se dene una familia T de subconjuntos de X, como sigue:
T = , R
2
F R
2
: F consta de un n umero nito de puntos y de rectas.
Se pide probar:
(i) T es una familia de cerrados para alguna topologa
F
;
(ii) esta topologa es la menor en la que puntos y rectas son subconjuntos cerrados;
(iii) comparar
F
con la topologa usual y la conita;
(iv) existe alguna topologa sobre R
2
en la que las rectas sean cerradas y los puntos no?
(v) existe alguna topologa sobre R
2
en la que los puntos sean cerrados y las rectas no?
2.5. Problemas 33
20.- Vamos a dar una prueba topol ogica (debida a H. F urstenberg en 1955) de la innitud
de los n umeros primos. Sobre Z se dene la familia = S
ab
: a N, b Z, donde
S
ab
= an + b : n Z. Se pide probar:
(i) S
ab
S
cd
= S
rs
, donde r = mcma, c;
(ii) es base de una topologa sobre Z;
(iii) todo conjunto abierto es innito;
(iv) para cada a, b Z, S
ab
es un conjunto cerrado;
(v) para cada entero m Z 1, 1 existe un primo p tal que m S
p0
; deducir que
existen innitos n umeros primos.
21.- Decimos que U N es abierto si dado n U, todo divisor de n pertenece tambi en
a U. Probar que esta relaci on dene una topologa ,=
dis
sobre N. Es (N, ) T
2
?
22.- Para cada n N consideremos el conjunto O
n
= n, n + 1, . . .. Probar que =
O
n

nN
es una topologa sobre N. Qu e abiertos contienen al 1? Es (N, ) T
2
?
23.- Sean X = f : [0, 1] [0, 1] y A
S
= f X : f(x) = 0, x S para
S [0, 1]. Probar que la familia = A
S
: S [0, 1] es una base para una topologa
sobre X. Es (X, ) T
2
?
24.- Sea X la familia de todos los polinomios de coecientes reales y para cada n N,
sea B
n
= p X : p es de grado n. Probar que la familia = B
n

nN
es una base
para una topologa sobre X. Es (X, ) T
2
?
25.- Para cada A N, denimos N(n, A) = Card (A 1, 2, . . . , n). Sea:

ap
=
_
U N : 1 , U o
_
1 U y lm
n
N(n, U)
n
= 1
__
.
Probar que
ap
es una topologa sobre N, la topologa de Appert, y estudiar los axiomas
de separaci on.
26.- Sea T la colecci on de los polinomios en n variables reales. Para cada P T, sea
Z(P) = (x
1
, , x
n
) R
n
: P(x
1
, , x
n
) = 0. Se pide:
(i) probar que Z(P) : P T es una base de cerrados para una topologa sobre R
n
,

zar
, llamada topologa de Zariski;
(ii) probar que
zar
es de T
1
, pero no T
2
;
(iii) si n = 1,
zar
=
cof
. Pero, si n > 1, estas dos topologas son distintas.
34 Captulo 2. Espacios topol ogicos
Captulo 3
Entornos
Los espacios m etricos y sus variantes, introducidos en 1906 por Fr echet, se basan en el
concepto de distancia. La noci on intuitiva de cercana se traslada al concepto matem atico
m as manejable de entorno.
En su Grundz uge der Mengenlehrede 1914, Hausdorff utiliz o el concepto de en-
torno (usado ya por Hilbert en 1902 en una formulaci on axiom atica especial de la geo-
metra eucldea plana) y edic o una teora denitiva de los espacios abstractos basada en
esta noci on.
3.1. Entornos y sistemas de entornos
Los entornos constituyen la manera m as natural de describir las topologas. Esta he-
rramienta indica que sucede cerca de cada punto, es decir, estamos dando una descripci on
local alrededor de x.
Denici on 3.1. N X es un entorno del punto x en (X, ) si existe un abierto U ,
vericando x U N. En esta denici on, puede cambiarse el abierto por un abierto
b asico. La familia ^
x
de todos los entornos de x se llama sistema de entornos de x.
Teorema 3.1. El sistema de entornos de x en (X, ) verica las siguientes propiedades:
(N1) para cada N ^
x
, es x N;
(N2) si N
1
, N
2
^
x
, entonces N
1
N
2
^
x
;
(N3) si N ^
x
y N M, entonces M ^
x
;
(N4) para cada N ^
x
, existe M ^
x
, tal que N ^
y
para cada y M; y adem as
(N5) U si y s olo si U ^
x
para cada x U.
35
36 Captulo 3. Entornos
Y recprocamente, si a cada x X se le asigna una familia no vaca de subconjuntos /
x
,
vericando (N1) a (N4), y se usa (N5) para denir el concepto de conjunto abierto, se
obtiene una topologa sobre X, para la que /
x
= ^
x
en cada punto.
Demostraci on: S olo vamos a comprobar la igualdad /
x
= ^
x
en la segunda parte del
teorema, el resto de la prueba es sencillo. Si N ^
x
, existe U tal que x U N.
Pero U /
x
, luego N /
x
por (N3). Con esto, queda demostrado que ^
x
/
x
.
Recprocamente, para M /
x
se dene U = y M : M /
y
, que es no vaco,
pues x U M. Si demostramos que U , ser a entonces M ^
x
. Sea y U, es
decir, M /
y
. Por (N4), existe U
y
/
y
tal que para cada z U
y
es M /
z
. Por lo
tanto, U
y
U y de (N2) se deduce que U /
y
. Como esto sucede para cada y U, se
concluye que U .
Ejemplos 3.1. Para los ejemplos ya vistos, tenemos:
1) en (X,
ind
), para todo x X, es ^
ind
x
= X;
2) en (X,
dis
), para cada x X, es ^
dis
x
= N X : x N;
3) en (X,
cof
), para todo x X, es ^
cof
x
= U
cof
: x U;
4) en (X,
coc
), para cada x X, es ^
coc
x
= U
coc
: x U;
5) en (X = a, b,
sier
), ^
sier
a
= X, a y ^
sier
b
= X;
6) en (X,
A
), para todo x X, es ^

A
x
= N X : x A N;
7) en (X,
A
), si x A es ^

A
x
= X y si x , A es ^
x
= N X : x N;
8) en (R,
sca
), es ^
sca
x
= ^
u
x
si x Q y ^
sca
x
= N R : x N si x I.
3.2. Bases de entornos
No son necesarios todos los superconjuntos de los entornos de un punto para obtener
una buena descripci on del sistema de entornos. Bastar a con una familia m as peque na:
Denici on 3.2. Una base de entornos o base local de x en (X, ) es una familia B
x
^
x
tal que, para cada N ^
x
, existe B B
x
tal que B N. En cuanto se ha elegido una
base de entornos de un punto (no hay una manera unica de hacerlo), sus elementos se
llaman entornos b asicos. La familia B
x

xX
se llama sistema fundamental de entornos.
3.2. Bases de entornos 37
Ejemplos 3.2. Para los ejemplos ya estudiados, tenemos:
1) en (X,
ind
), para todo x X, se elige B
ind
x
= X;
2) en (X,
dis
), para cada x X, se escoge B
dis
x
= x;
3) en (X = a, b,
sier
), se toma B
sier
a
= a y B
sier
b
= X;
4) en (X,
A
), para todo x X, se elige B

A
x
= x A;
5) en (X,
A
), B

A
x
= X si x A y B

A
x
= x si x , A;
6) en (R,
u
), se elige B
u
x
= (x , x +) : > 0;
7) en (R,
sor
), se toma B
sor
x
= [x, x +) : > 0;
8) en (R,
kol
), se elige B
kol
x
= (x , ) : > 0;
9) en (R,
sca
), se toma B
sca
x
= B
u
x
si x Q y B
sca
x
= x si x I;
10) ^
x
es una base local en x en (X, );
11)
cof
y
coc
no tienen bases de entornos destacadas.
Teorema 3.2. Sea (X, ) y B
x

xX
un sistema fundamental de entornos. Se verica:
(B1) para cada B B
x
, es x B;
(B2) si B
1
, B
2
B
x
, existe B
3
B
x
tal que B
3
B
1
B
2
;
(B3) para cada B B
x
, existe B
0
B
x
, tal que para cada y B
0
, existe B
y
B
y
tal
que B
y
B; y adem as
(B4) U si y s olo si para cada x U, existe B B
x
, tal que B U.
Y recprocamente, si a cada x X se le asigna una familia no vaca T
x
de subconjuntos
de X, vericando (B1) a (B3), y se usa (B4) para denir el concepto de conjunto abier-
to, se obtiene una topologa sobre X, para la que T
x

xX
es un sistema fundamental
de entornos en x.
Una forma natural de construir bases locales es la siguiente:
Lema 3.3. En (X, ), B
x
= ^
x
es una base local en x.
38 Captulo 3. Entornos
3.3. Topologas y sistemas de entornos
Intuitivamente, cuanto menores sean los entornos b asicos, m as nas ser an las topologas
asociadas:
Teorema 3.4. (Criterio de Hausdorff) Sean
1
y
2
topologas sobre X y B
1
x

xX
,
B
2
x

xX
sistemas fundamentales de entornos asociados. Entonces,
1

2
si y s olo
si para cada x X y cada B
1
B
1
x
, existe B
2
B
2
x
tal que B
2
B
1
.
Proposici on 3.5. En las mismas condiciones del teorema 3.4,
1

2
si y s olo si para
cada x X, es ^
1
x
^
2
x
.
La unica diferencia entre las nociones de base local y base de topologa es que las
bases de entornos no constan necesariamente de conjuntos abiertos:
Teorema 3.6. Sea (X, ) y . Entonces, es base de si y s olo si, para cada x X,
la familia B
x
= B : x B es una base local en x.
Observaci on 3.1. En las deniciones de T
1
y T
2
, se pueden reemplazar los abiertos por
entornos o entornos b asicos.
3.4. Problemas
1.- En (X, ), se dice que N X es un entorno de A N, si existe U , tal que
A U N. Probar que N es un entorno de A si y s olo si para cada x A, es N ^
x
.
2.- Probar que (X, ) es T
1
si y s olo si para cada x X, x =

NN
x
N.
3.- Describir los sistemas de entornos de cada punto en los espacios topol ogicos:
(i) X = a, b, d, c y = X, , b, a, b, b, c, d;
(ii) X = a, b, d, c, e y = X, , a, a, b, a, c, d, a, b, c, d, a, b, e.
4.- Sea (X, d) un espacio m etrico. Probar que B
x
= B(x,
1
n
) : n N es una base de
entornos en x para la topologa inducida por la m etrica.
5.- Sobre R, se considera:
(1) si x ,= 0, B
x
= (x , x +) : > 0,
(2) B
0
= B
,n
: > 0, n N, donde B
,n
= (, n) (, ) (n, ).
3.4. Problemas 39
Probar que B
x

xR
es un sistema fundamental de entornos, que dene una topologa
lac
sobre R. El par (R,
lac
) se llama recta enlazada. Comparar
lac
con la topologa usual de
R y estudiar los axiomas de separaci on.
6.- Sobre R se considera:
1) si x ,= 0, B
x
= (x , x +) : > 0, 2) B
0
= (, )
1
n
: n N : > 0.
Comprobar que B
x

xR
es un sistema fundamental de entornos, comparar la topologa
generada con
u
y estudiar los axiomas de separaci on.
7.- Determinar si en (R,
u
) los siguientes intervalos son entornos de 0: (
1
2
,
1
2
], (1, 0],
[0,
1
2
) y (0, 1]. Probar que los conjuntos Q y I no pueden ser entornos de ning un punto.
8.- Para R
2
, el semiplano superior cerrado, se considera:
(1) B
(x,y)
= B
us
((x, y), ) : > 0 peque nopara que B
us
((x, y), ) , para
(x, y) , y ,= 0,
(2) B
(x,0)
= (x, 0) B
us
((x, ), ) : > 0.
Probar que B
(x,y)

(x,y)
es un sistema fundamental de entornos, que dene una topologa

moo
sobre . El par (,
moo
) se llama plano de Moore. Comparar
moo
con la topologa
eucldea sobre y estudiar los axiomas de separaci on.
9.- Se considera R
[0,1]
= f : [0, 1] R, y:
(i) se dene U(f, F, ) = g R
[0,1]
: x F, [f(x) g(x)[ < , para f R
[0,1]
,
F [0, 1] nito y > 0. Probar que U(f, F, ) : F [0, 1] nito, > 0 forma
una base de entornos en f para una topologa,
tyc
, sobre R
[0,1]
, que se denomina
topologa de Tychonof ;
(ii) para f R
[0,1]
y > 0, sea V (f, ) = g R
[0,1]
: x [0, 1], [g(x) f(x)[ < .
Vericar que V (f, ) : > 0 forma una base de entornos en f para una topologa,

ca
sobre R
[0,1]
, llamada topologa caja;
(iii) comparar
tyc
y
ca
y estudiar los axiomas de separaci on para ambas topologas.
10.- Sean L
n
= (x,
1
n
) : x [0, 1) si n > 0, L
0
= (x, 0) : x (0, 1) y X =

_
n=0
L
n
.
Se considera:
(1) si n N y x ,= 0, B
(x,
1
n
)
= (x,
1
n
),
(2) B
(0,
1
n
)
= U L
n
: (0,
1
n
) U, L
n
U es nito,
40 Captulo 3. Entornos
(3) B
(x,0)
= (x, 0) (x,
1
n
) : n > 0.
Comprobar que B
(x,y)

(x,y)X
es un sistema fundamental de entornos sobre X y estudiar
los axiomas de separaci on.
11.- Sea ([0, 1] [0, 1],
ord
), donde la topologa del orden est a generada por el orden
lexicogr aco sobre [0, 1] [0, 1]. Describir los entornos de los puntos:
(i) (x, 0) (con especial atenci on al (0, 0)) y (x, 1) (con especial atenci on al (1, 1)), si
x [0, 1],
(ii) (x, y), para x, y (0, 1).
12.- Para cada x R
2
, sea la familia:
B
x
= xD : D es disco centrado en x, al que le faltan un n umero nito de di ametros.
Se pide:
(i) comprobar que B
x
es una base de entornos en x para una topologa,
slo
, en el plano.
El par (R
2
,
slo
) se llama plano Slotted;
(ii) comparar
slo
con la topologa usual; (iii) Es
slo
T
2
?
(iv) se puede reemplazar, en la denici on, nito por numerable?
13.- Sea M
n
(R) el conjunto de las matrices n por n de n umeros reales. Dada una matriz
A = (a
ij
)
i,j=1,...,n
M
n
(R) y r > 0, se dene:
U
r
(A) = (b
ij
)
i,j=1,...,n
: [a
ij
b
ij
[ < r, i, j = 1, . . . , n.
Probar que la familia B
A
= U
r
(A) : r > 0 es una base de entornos en A, que genera
una topologa en M
n
(R). Estudiar los axiomas de separaci on.
14.- Sea X = (R
2
(0, 0)) 0
+
, 0

, donde 0
+
y 0

son dos puntos a nadidos a


R
2
(0, 0). Para los puntos de R
2
(0, 0) se considera la familia de bolas usuales y
para los otros dos puntos se consideran las familias
B
0
+ = B
+

0
+
: > 0, B
0
= B

: > 0,
donde B
+

= (x, y) : x
2
+ y
2
< , y > 0, B

= (x, y) : x
2
+ y
2
< , y < 0.
Demostrar que las familias anteriores forman bases locales, para los puntos indicados, de
una topologa sobre X.
15.- Sea X = [0, 1] 1

, donde 1

es un punto a nadido a [0, 1], tal que x < 1

para
cada x [0, 1). Para cada x [0, 1], los entornos b asicos son los entornos usuales de x;
los entornos b asicos de 1

son los conjuntos de la forma (a, 1) 1

, donde a [0, 1).


Demostrar que denen una topologa sobre X.
Captulo 4
Conjuntos en espacios topol ogicos
El operador clausura, como concepto primordial para denir estructuras espaciales
(junto con un sistema de axiomas que debe satisfacer), fue introducido por Kuratowski en
su tesis en 1920.
Los conjuntos cerrados ser an los elementos que quedan jos por el operador clausura.
A primera vista, parece sorprendente que una funci on pueda determinarse unicamente a
trav es de sus puntos jos. Pero, observando con un poco de calma las propiedades, se
ve que el conjunto de los valores tomados por el operador clausura es exactamente el
conjunto de sus puntos jos. Adem as, la clausura de A, A, es uno de esos conjuntos jos
que contiene a A, y m as a un, es el menor.
El concepto de interior es el dual del concepto de clausura, tomando complementarios.
Empezaremos por introducir esta noci on.
4.1. Interior de un conjunto
En (X, ), si A X, Ano tiene porque ser un conjunto abierto, pero siempre contiene
conjuntos abiertos: por lo menos el conjunto vaco . Por ello, tiene sentido denir:
Denici on 4.1. Dado (X, ) y A X, el interior de A es el conjunto

A=
_
U X : U y U A.
Si x

A, se dice que x es un punto interior de A.


Lema 4.1. En (X, ), si A X, es

A y adem as

A es el mayor conjunto abierto
contenido en A.
41
42 Captulo 4. Conjuntos en espacios topol ogicos
Ejemplos 4.1. Para los ejemplos ya estudiados, tenemos:
1) en (X,
ind
), para todo A ,= X, es

A= y

X= X;
2) en (X,
dis
), para todo A X, es

A= A;
3) en (X = a, b,
sier
),

b= y

a= a;
4) en (X,
A
), si B ,
A
, es

B= ;
5) en (X,
A
), si B ,
A
, es

B= B A;
6) en (X,
cof
), si A ,
cof
, es

A= ;
7) en (X,
coc
), si A ,
coc
, es

A= ;
8) en (R,
kol
), si A est a acotado superiormente, es

A= ;
9) en (R,
sca
), para

A= (A I) (

A
u
Q).
Lema 4.2. En (X, ), si A B, entonces

A

B.
Teorema 4.3. En (X, ), se verican las siguientes propiedades:
(I1) para todo A X, es

A A;
(I2) para todo A X, es

A=

A;
(I3) para todo A, B X, es

..
A B=

B;
(I4)

X= X; y adem as
(I5) U si y s olo si

U= U.
Y recprocamente, dada una aplicaci on Int : T(X)T(X), que verica (I1) a (I4), y
si se dene el concepto de conjunto abierto usando (I5), queda denida una topologa
sobre X, para la cual Int es el operador interior.
4.2. Clausura de un conjunto 43
Demostraci on: Para la segunda parte, hay que probar que = U X : Int(U) = U
es una topologa sobre X. Para demostrar la ultima parte, Int(A) por (I2) y como
Int(A) A por (I1), se concluye que Int(A)

A aplicando el lema 4.1. Por otro lado,


si U y U A, es U = Int(U) Int(A) por (I3), luego

A Int(A).
Se puede caracterizar el interior de un conjunto a trav es de un sistema fundamental de
entornos:
Proposici on 4.4. Sea B
x

xX
un sistema fundamental de entornos en (X, ), entonces
es x

A si y s olo si existe B B
x
tal que B A.
El interior de cualquier entorno es no vaco:
Lema 4.5. En (X, ), N ^
x
si y s olo si

N ^
x
. En particular, un entorno no puede
tener interior vaco.
4.2. Clausura de un conjunto
Un conjunto A en un espacio (X, ) no tiene porque ser cerrado. Pero siempre existen
cerrados que lo contienen: por lo menos, el total X. Por esta raz on tiene sentido denir:
Denici on 4.2. Sea (X, ) y A X. La clausura de A es el conjunto:
A =

F X : F cerrado y A F.
Si x A, x se llama punto clausura o adherente de A.
Lema 4.6. Sean (X, ) y A X. A es un conjunto cerrado, y adem as es el menor
cerrado que contiene a A.
Ejemplos 4.2. En los ejemplos ya estudiados, tenemos:
1) en (X,
ind
), para todo A ,= , es A = X;
2) en (X,
dis
), para todo A X, es A = A;
3) en (X = a, b,
sier
), b = b y a = X;
4) en (X,
A
), si B , (
A
, es B = X;
5) en (X,
A
), si B , (
A
, es B = B A;
6) en (X,
cof
), si A es innito, es A = X;
44 Captulo 4. Conjuntos en espacios topol ogicos
7) en (X,
coc
), si A no es contable, es A = X;
8) en (R,
kol
), si A no est a acotado superiormente, es A = X;
9) en (R,
sca
), para A = (A Q) (A
us
Q).
Lema 4.7. En (X, ), si A B, entonces A B.
Teorema 4.8. En (X, ), se verican las siguientes propiedades:
(C1) para todo A X, es A A;
(C2) para todo A X, es A = A;
(C3) para todo A, B X, es A B = A B;
(C4) = ; y adem as
(C5) F ( si y s olo si F = F.
Y recprocamente, dada una aplicaci on Cl : T(X)T(X), que verica (C1) a (C4)
(es decir, lo que habitualmente se denomina un operador clausura de Kuratowski), si se
dene el concepto de conjunto cerrado usando (C5), queda denida una topologa sobre
X, para la cual Cl es el operador clausura.
Demostraci on: La primera parte es una simple comprobaci on. Para la segunda parte, basta
con probar que T = A X : Cl(A) = A es la familia de cerrados para una topologa
sobre X. Entonces, U si y s olo si X U T. Por (C2), es Cl(A) = Cl(Cl(A)),
luego Cl(A) T y como A Cl(A), se deduce que A Cl(A) por el lema 4.6. Y si
A F (, es Cl(A) Cl(F) = F, por (C3), luego Cl(A) A.
Se puede caracterizar la clausura de un conjunto a trav es de un sistema fundamental
de entornos:
Proposici on 4.9. Sea B
x

xX
un sistema fundamental de entornos en (X, ), entonces
es x A si y s olo si para cada B B
x
es B A ,= .
Los conceptos de interior y clausura son duales (no opuestos), como las nociones de
abierto y cerrado:
Proposici on 4.10. Sea (X, ) y A X, entonces es X

A= X A y X A =

..
X A.
Denici on 4.3. Un conjunto D es denso en (X, ), si D = X, es decir, si es topol ogica-
mente grande.
4.3. Puntos de acumulaci on y puntos aislados 45
Lema 4.11. Un conjunto D es denso en (X, ), si verica cualquiera de las propiedades
equivalentes siguientes:
(i) D corta a cualquier abierto no vaco;
(ii) si F ( y D F, es F = X;
(iii) D corta a cualquier abierto b asico no vaco;
(iv) D corta a cualquier entorno de cualquier punto;
(v) D corta a cualquier entorno b asico de cualquier punto.
4.3. Puntos de acumulaci on y puntos aislados
Denici on 4.4. Fijado un sistema fundamental de entornos B
x

xX
en (X, ), x X
es un punto de acumulaci on de A X, si para cada B B
x
, es (B x) A ,= .
Al conjunto de los puntos de acumulaci on de A se le llama conjunto derivado de A y se
denota por A

. Si x A A

, se dice que x es un punto aislado de A.


Teorema 4.12. En (X, ), se verican las siguientes propiedades:
(i) si A B, es A

;
(ii) para todo A, B X, es (A B)

= A

;
(iii)

= ;
(iv) A = A A

;
(v) F ( si y s olo si F

F.
Observaci on 4.1. Por la propiedad (v) del teorema 4.12, un conjunto con derivado vaco
es cerrado.
Ejemplos 4.3. Para los ejemplos anteriores, tenemos:
1) en (X,
ind
), para todo A ,= con m as de un punto, es A

= X y para x X, es
x

= X x;
2) en (X,
dis
), para todo A X, es A

= ;
3) en (X = a, b,
sier
), b

= y a

= b;
4) en (X,
A
), si B , (
A
, es B

= X x cuando A B = x y B

= X en otro
caso. Y si B (
A
, entonces B

= ;
46 Captulo 4. Conjuntos en espacios topol ogicos
5) en (X,
A
), si B tiene m as de un punto, es B

= A y si B = x, es B

= A x;
6) en (X,
cof
), si A es innito, A

= X y si A es nito, A

= ;
7) en (X,
coc
), si A es no contable, A

= X y si A es contable, A

= ;
8) en (R,
sca
), para A R y con las notaciones obvias, es A

= A

u
Q.
4.4. Frontera de un conjunto
Denici on 4.5. En (X, ), la frontera de A X es el conjunto fr(A) = A X A. Si
x fr(A) se dice que x es un punto frontera de A.
Lema 4.13. En (X, ), si A X, fr(A) es un conjunto cerrado.
Teorema 4.14. En (X, ), si A X, se verican las siguientes propiedades:
(i) fr(A) = fr(X A);
(ii) fr() = fr(X) = ;
(iii) A = A fr(A) =

A fr(A);
(iv) fr(A) = A

A y

A= A fr(A);
(v) X =

A fr(A) (X A) y esta uni on es disjunta;


(vi) A es abierto si y s olo si fr(A) A = ;
(vii) A es cerrado si y s olo fr(A) A.
Ejemplos 4.4. Para los ejemplos conocidos, se verica:
1) en (X,
ind
), para todo A X propio, es fr(A) = X;
2) en (X,
dis
), para todo A X, es fr(A) = ;
3) en (X = a, b,
sier
), fr(b) = b y fr(a) = b;
4) en (X,
A
), si B X es propio, fr(B) = B si B (
A
, fr(B) = X B si B
A
y fr(B) = X en caso contrario;
5) en (X,
A
), si B X es propio, es fr(B) = A;
4.5. Problemas 47
6) en (X,
cof
), para X innito, fr(A) = X A si A
cof
, fr(A) = A si A (
cof
y
fr(A) = X en caso contrario;
7) en (X,
coc
), para X no contable, fr(A) = XA si A
coc
, fr(A) = A si A (
coc
y fr(A) = X en caso contrario;
8) en (R,
sca
), para A R, es fr(A) = (B
us
Q) (

B
us
Q).
4.5. Problemas
1.- Sea (X, ) un espacio topol ogico, A, B X y A
i
X
iI
. Probar:
(i) x A

si y s olo si x A x;
(ii) si A B = X, entonces A

B= X; (iii) si A B = , entonces A

B= ;
(iv) A si y s olo si
_
B X, es A B = A B =
_
;
(v) A si y s olo si A B A B, para cada B X. Y entonces, B A = B A;
(vi) A B AB,

A

..
A B, (AB)

, AB A B y

..
A B;
(vii)
_
iI

A
i

..
_
iI
A
i
,

iI

A
i

..

iI
A
i
,
_
iI
A
i

_
iI
A
i
,

iI
A
i

iI
A
i
,
_
iI
A

i

(
_
iI
A
i
)

iI
A
i

iI
A
i
)

;
(viii) pueden dos conjuntos diferentes poseer el mismo conjunto derivado? el mismo
interior? la misma clausura? la misma frontera? y los cuatro a la vez?
2.- Sea X un conjunto y
1
,
2
dos topologas sobre X, tales que
2

1
. Con las no-
taciones obvias, probar que para cada A X, se tiene

A
2

A
1
y A
1
A
2
. Se pueden
comparar sus operadores derivados?
3.- Sea (X, ) un espacio topol ogico. Probar:
(i)

A= x X : A ^
x
;
48 Captulo 4. Conjuntos en espacios topol ogicos
(ii) si X no posee puntos aislados y A X es abierto, entonces A no posee puntos
aislados;
(iii) si x A es aislado en A, entonces x es aislado en A. Es cierto el recproco?
(iv) si (X, ) es T
1
y x A

, entonces A corta a cada entorno de x en un n umero innito


de puntos y el conjunto A

es cerrado;
(v) x y si y s olo si ^
x
^
y
. Luego, ^
x
= ^
y
, si y s olo si x = y;
(vi) (X, ) es T
2
si y s olo si para cada x X, x =

NN
x
N.
4.- En (X, ), un abierto A se llama regular, si A =

A y un cerrado A se llama regular


si A =

A. Probar:
(i) si A es cerrado (respectivamente, abierto), entonces

A (respectivamente, A) es un
abierto regular (respectivamente, un cerrado regular);
(ii) A es abierto regular si y s olo si X A es cerrado regular;
(iii) si A y B son abiertos regulares (respectivamente, cerrados regulares), es A B si
y s olo si A B (respectivamente,

A

B);
(iv) si Ay B son abiertos regulares (respectivamente, cerrados regulares), entonces AB
(respectivamente, A B) es abierto regular (respectivamente, cerrado regular). En
general A B (respectivamente, A B) no es abierto regular (respectivamente,
cerrado regular);
(v) en (R,
us
), hay abiertos que no son regulares.
5.- Sea (X, ) un espacio topol ogico y A, B X. Se pide probar:
(i) fr(A) = si y s olo si A es abierto y cerrado a la vez;
(ii) fr(

A) fr(A) y fr(A) fr(A);


(iii) si A B, es fr(A) fr(B)?;
(iv) si fr(A) fr(B) = , se verica que

..
A B=

B, A B = A B y
fr(A B) = (A fr(B)) (fr(A) B);
4.5. Problemas 49
(v) en general, fr(AB) fr(A) fr(B). Si AB = , entonces se da la igualdad.
6.- Construir una tabla (con seis entradas) en que se relacionen los conceptos de conjunto
abierto, cerrado, interior, clausura, frontera y entorno.
7.- Sea D denso en (X, ). Probar:
(i) si U , entonces U D U; (ii) si E D, entonces E es tambi en denso;
(iii) si U es denso y abierto, entonces D U es denso;
(iv) la intersecci on nita de abiertos densos es abierto denso;
(v) si

, entonces D tambi en es denso en (X,

).
8.- Sean G
k
= (x, y) R
2
: x > y + k y la topologa = , R
2
G
k
: k R.
Calcular el interior, el derivado y la clausura de (0, 0) y (x, x) : x R.
9.- En ([0, 1] [0, 1],
ord
), donde la topologa est a inducida por el orden lexicogr aco,
calcular el interior, la clausura y la frontera de (
1
n
, 0) : n N, (1
1
n
,
1
2
) : n N,
(x, 0) : 0 < x < 1, (x,
1
2
) : 0 < x < 1 y (
1
2
, y) : 0 < y < 1.
10.- Sea (N,
ap
) la topologa de Appert, denida en el problema 25 de 2.5. Caracterizar
sus operadores interior y clausura y estudiar los axiomas de separaci on.
11.- En (X, ), se dice que A es:
(a) un F

-conjunto, si es la uni on de una familia contable de conjuntos cerrados y


(b) un G

-conjunto si es la intersecci on de una familia contable de conjuntos abiertos.


Se pide probar:
(i) todo cerrado es un F

-conjunto y todo abierto es un G

-conjunto;
(ii) en (R,
u
), [0, 1] es un F

-conjunto y un G

-conjunto;
(iii) en (R,
u
), Q es un F

-conjunto, pero no es un G

-conjunto;
(iv) si A es un F

-conjunto, existe una familia contable de cerrados F


n
: n N, tal
que F
k
F
k+1
para cada k N, y de forma que A =
_
nN
F
n
;
(v) si A es un G

-conjunto, existe una familia contable de abiertos U


n
: n N, tal que
U
k
U
k+1
para cada k N, y de forma que A =

nN
U
n
;
50 Captulo 4. Conjuntos en espacios topol ogicos
(vi) la uni on contable y la intersecci on nita de F

-conjuntos, es un F

-conjunto;
(vii) la uni on nita y la intersecci on contable de G

-conjuntos, es un G

-conjunto;
(viii) el complementario de un F

-conjunto es un G

-conjunto y viceversa;
(ix) qui enes son los G

-conjuntos en (R,
cof
)?;
(x) en (R,
coc
), todo F

-conjunto es cerrado y todo G

-conjunto es abierto;
(xi) en el espacio m etrico (X, d), todo cerrado es un G

-conjunto y todo abierto es un


F

-conjunto.
12.- Sea X un conjunto y una funci on : T(X)T(X), tal que:
(a) para cada A X, A (A);
(b) para cada A, B X, (A B) = (A) (B);
(c) () = ;
(d) para cada A X, ((A)) = (A).
Una tal aplicaci on se llama un operador clausura de Kuratowski. Se pide probar:
(i) si se denen los cerrados como los A X tales que A = (A), queda denida una
topologa sobre X, cuyo operador clausura es precisamente ;
(ii) si X es innito y se dene (A) = A si A es nito y (A) = X si A es innito.
Comprobar que es un operador clausura de Kuratowski, y ver que topologa genera;
(iii) lo mismo si X = R y (A) = (, sup(A)];
(iv) lo mismo si para B X, (A) = A B, si A es no vaco. Describir los casos en
que B = y B = X;
(v) lo mismo si X = R y (A) = A
us
si A est a acotado y (A) = A
u
0 si A no
est a acotado;
(v) sean
1
y
2
dos operadores clausura de Kuratowski sobre X y sean
1
y
2
las
topologas generadas por ellos. Con las notaciones obvias, se supone que para cada
A X, es
2
(
1
(A)) (
1
. Se pide probar:
(a)
2

1
es un operador clausura de Kuratowski;
(b)
2

1
(A) =

F X : A F, F (
1
(
2
;
4.5. Problemas 51
(c)
1

2
(A)
2

1
(A), para cada A X.
13.- Sea X un conjunto y una funci on : T(X)T(X), tal que:
(a) para cada A X, A (A);
(b) para cada A, B X, (A B) = (A) (B);
(c) (X) = X;
(d) para cada A X, ((A)) = (A).
Una tal aplicaci on se llama un operador interior. Se pide probar:
(i)

= A X : A = (A) es una topologa sobre X, cuyo operador interior es


precisamente ;
(ii) si X es innito y se dene (A) = A si X A es nito y (A) = en otro caso.
Comprobar que se trata de un operador interior, y ver que topologa genera;
(iii) lo mismo si X = R y (A) = (sup(R A), );
(iv) lo mismo si para B X, (A) = A (X B), si A ,= X. Describir los casos en
que B = y B = X.
14.- Sea (X, ) un espacio topol ogico. Una familia de conjuntos A
i
: i I se llama
localmente nita, si cada x X posee un entorno que corta s olo a una cantidad nita de
los elementos de la familia. Se pide probar:
(i) si A
i
: i I es localmente nita, tambi en lo es la familia A
i
: i I;
(ii) si A
i
: i I es localmente nita,
_
iI
A
i
=
_
iI
A
i
;
(iii) la uni on de una familia localmente nita de cerrados, es un conjunto cerrado;
(iv) si la familia de conjuntos A
i
: i I verica que
_
iI
A
i
(, probar que entonces
es
_
iI
A
i
=
_
iI
A
i
.
52 Captulo 4. Conjuntos en espacios topol ogicos
15.- Sea (N, ) el espacio topol ogico del problema 22 en el apartado 2.5. Calcular el
interior, el derivado y la clausura de los conjuntos n, n + 1, . . . , n +p y 2n : n N.
Caracterizar los operadores clausura e interior.
16.- Sea (X, ) el espacio topol ogico del problema 23 del apartado 2.5. Calcular el inte-
rior, el derivado y la clausura de f X : f(0) = 0 y f X : f(0) = 1. Caracterizar
el operador clausura en este espacio.
17.- Sea (Z, ) el espacio topol ogico del problema 20 del apartado 2.5. Calcular el interior,
la clausura y el derivado del conjunto de los n umeros primos, N y el conjunto de los
n umeros pares.
18.- Sea (X, ) el espacio topol ogico del problema 10 en el apartado 3.4. Calcular el
interior, el derivado y la clausura de los conjuntos (
1
2
,
1
n
) : n N, (
1
n
,
1
n
) : n > 1 y
(x, 1) : 0 x <
1
2
(
1
2
, 0).
19.- Sea el espacio m etrico ([0, 1], d
u
). Se divide [0, 1] en tres intervalos de la misma
amplitud, se elimina el intervalo abierto central (que se llamar a intervalo abierto de tipo
1) = (
1
3
,
2
3
) y se conservan los intervalos cerrados (que se llamar an de tipo 1)
0
= [0,
1
3
]
y
1
= [
2
3
, 1]. Se divide cada intervalo cerrado de tipo 1 en tres intervalos de la misma
amplitud. Se eliminan de nuevo los intervalos abiertos centrales (intervalos abiertos de
tipo 2),
0
= (
1
9
,
2
9
) y
1
= (
7
9
,
8
9
) respectivamente, y se conservan los intervalos cerrados
(de tipo 2) resultantes
00
= [0,
1
9
],
01
= [
2
9
,
1
3
],
10
= [
2
3
,
7
9
] y
11
= [
8
9
, 1]. Se contin ua
de este modo el proceso, obteniendo para cada n N, 2
n
intervalos cerrados
i
1
i
n
de tipo n donde i
j
es 0 o 1. Cada intervalo cerrado de tipo n se divide en tres partes
de la misma amplitud, conservando dos intervalos cerrados
i
1
i
n
0
y
i
1
i
n
1
(llamados
intervalos cerrados de tipo n+1) y eliminando cada intervalo abierto
i
1
i
n
de tipo n+1
que queda entre ellos.
Sea C
n
la reuni on de los intervalos cerrados de tipo n y C =

nN
C
n
. C se llama conjunto
perfecto de Cantor, discontinuo de Cantor o conjunto ternario de Cantor. Se pide probar:
(i) C es cerrado y no vaco en ([0, 1], d
u
), luego es compacto y completo;
(ii) la suma de las longitudes de todos los intervalos abiertos eliminados en el proceso es
1: en este sentido (el de la medida), el conjunto de Cantor es peque no;
(iii) todo punto de C posee una representaci on ternaria unica

n=1
a
n
3
n
donde a
n
= 0, 2.
Se concluye que C es un conjunto no contable: en este sentido (el del cardinal), el
conjunto de Cantor es grande;
(iv) C no posee puntos aislados en [0, 1] y

C= .
Captulo 5
Numerabilidad
En este captulo, se denen propiedades asociadas a espacios topol ogicos que envuel-
ven en alg un sentido la contabilidad.
De los axiomas de numeraci on aqu estudiados, el m as antiguo es el de separabilidad,
debido a Fr echet en 1906. En 1914, Hausdorff introdujo el primer y segundo axiomas de
contabilidad. De esos dos, el primero fue ya sugerido en 1906 por Riesz, como una exigen-
cia razonable impuesta a espacios generales. La propiedad de Lindel of (aunque no bajo
este nombre) se us o durante alg un tiempo en estudios relacionados con la compacidad y
parece que fue introducida por Kuratowski y Sierpinski en 1921.
Una de las m as importantes consecuencias del primer axioma de numerabilidad es
que, en espacios que satisfacen dicha propiedad, las sucesiones son adecuadas, para uti-
lizar la frase de Kelley [Ke]: esto signica que en este tipo de espacios no es preciso
introducir otro tipo de redes m as generales para obtener resultados b asicos.
5.1. Espacios primero y segundo numerables
Denici on 5.1. Un espacio (X, ) se dice primero numerable o C
I
, si todo punto posee
una base local contable.
Proposici on 5.1. (X, ) es C
I
si verica cualquiera de la propiedades equivalentes:
(i) para cada x X, existe una base local contable;
(ii) para cada x X, existe una base local contable y decreciente;
(iii) para cada x X, existe una base local contable y decreciente formada por conjun-
tos abiertos.
Demostraci on: (i) (ii) Si B
x
= B
n
: n N es la base local contable, tambi en es base
local B

x
= C
n
: n N, donde C
n
= B
1
B
n
.
53
54 Captulo 5. Numerabilidad
(ii) (iii) Si B
x
= B
n
: n N es la base local contable decreciente, tambi en es
base local B

x
=

B
n
: n N (contable y decreciente).
Ejemplos 5.1. Para los ejemplos estudiados, tenemos:
1) (X,
ind
) es C
I
, al elegir para todo x X, B
x
= X;
2) (X,
dis
) es C
I
, al tomar para todo x X, B
x
= x;
3) (R,
cof
) y (R,
coc
) no son C
I
. En efecto, si (R,
cof
) lo fuera, para cada x X
existira una base local B
x
= B
x
n

nN
. Si x ,= y, como x X y
cof
,
existira B
x
n
y
B
x
tal que x B
x
n
y
X y. Se deduce que x =

x=y
B
x
n
y
,
luego, Xx =
_
x=y
(XB
x
n
y
) es contable (por ser cada XB
x
n
y
nito y la uni on
contable), en contra de la hip otesis;
4) (X = a, b,
sier
) es C
I
, al escoger B
a
= a y B
b
= X;
5) (X,
A
) es C
I
, al elegir para todo x X, B
x
= x A;
6) (X,
A
) es C
I
, al tomar para x A, B
x
= X y para x , A, B
x
= x;
7) (R,
u
) es C
I
, al escoger para cada x R, B
x
= (x
1
n
, x +
1
n
) : n N;
8) (R,
sor
) es C
I
, al elegir para cada x R, B
x
= [x, x +
1
n
) : n N;
9) (R,
kol
) es C
I
, al tomar para cada x R, B
x
= (x
1
n
, ) : n N;
10) (R,
sca
) es C
I
, al escoger para x Q, B
x
= B
us
x
y para x I, B
x
= x;
11) los espacios m etricos son siempre C
I
, pues para cada x X, se elige la base local
B
x
= B(x,
1
n
) : n N.
Este axioma est a ntimamente ligado a la noci on de sucesi on:
Denici on 5.2. Una sucesi on x
n

nN
converge a x en (X, ), y se denota x
n
x, si
para cada N ^
x
, existe n
N
N, tal que para cada n n
N
, es x
n
N.
Teorema 5.2. En (X, ) se verica:
(i) si existe una sucesi on x
n

nN
A que converge a x, entonces x A;
(ii) si A (, entonces para cada sucesi on x
n

nN
A que converge a x, es x A;
5.1. Espacios primero y segundo numerables 55
(iii) si A , para cada sucesi on x
n

nN
que converge a x A, existe n
0
N, tal que
para cada n n
0
, es x
n
A;
(iv) si (X, ) es T
2
, los lmites de sucesiones son unicos.
Adem as si (X, ) es C
I
, todas las implicaciones anteriores son equivalencias.
Demostraci on: (i) La primera implicaci on es inmediata. Por otro lado, si (X, ) es C
I
,
sea B
x
= B
n

nN
la base local contable y decreciente que existe. Sea x A. Para
cada n N, como B
n
A ,= , existe x
n
B
n
A. Hemos construido una sucesi on
x
n

nN
A que converge a x por la hip otesis de decrecimiento. Esta implicaci on no es
cierta si el espacio no es C
I
: en (R,
coc
) s olo convergen las sucesiones semiconstantes.
Es claro que 3 [0, 1] = R, pero no existe ninguna sucesi on en [0, 1] que converja a 3.
(iv) La primera implicaci on es inmediata. Por otro lado, si (X, ) es C
I
y las sucesiones
convergen de manera unica, sean x ,= y y B
x
= B
x
n

nN
yB
y
= B
y
n

nN
sus bases
locales contables y decrecientes respectivas. Supongamos que B
x
n
B
y
n
,= para cada
n N. Eligiendo x
n
B
x
n
B
y
n
, se obtiene una sucesi on que claramente converge a x y
a y, contra la hip otesis. Luego, debe existir n N, con B
x
n
B
y
n
= , y por lo tanto el
espacio es de Hausdorff. Esta implicaci on no es cierta si el espacio no es C
I
: en (R,
coc
)
s olo convergen las sucesiones semiconstantes (es decir, lo hacen de manera unica), pero
el espacio no es de Hausdorff.
Denici on 5.3. (X, ) es segundo numerable o C
II
, si existe una base contable de .
Proposici on 5.3. Si (X, ) es C
II
, entonces es C
I
. Ambas nociones coinciden en el caso
de que X sea un conjunto contable.
Ejemplos 5.2. Para los ejemplos estudiados, se cumple:
1) (X,
ind
) es C
II
, al elegir = X;
2) (X,
dis
) es C
II
si y s olo si X es contable;
3) (R,
cof
) y (R,
coc
) no son C
I
, luego tampoco C
II
;
4) (X = a, b,
sier
) es C
II
;
5) (X,
A
) es C
II
si y s olo si X A es contable;
6) (X,
A
) es C
II
si y s olo si X A es contable;
7) (R,
u
) es C
II
, al elegir
us
= (a, b) : a, b Q;
56 Captulo 5. Numerabilidad
8) (R,
sor
) no es C
II
. En efecto, si = B
n

nN
fuese una base de
sor
, para cada
x R existira B
x
n
tal que B
x
n
[x, x +1). La aplicaci on f : R dada por
f(x) = B
x
n
es claramente inyectiva, lo que contradice la contabilidad de ;
9) (R,
kol
) es C
II
, al tomar
kol
= (a, ) : a Q;
10) (R,
sca
) no es C
II
, pues si x I, es x , para cualquier base de la topologa.
5.2. Espacios de Lindel of
Denici on 5.4. Un cubrimiento de X es una familia de conjuntos | = U
i
: i I, tales
que X
_
iI
U
i
. Un subrecubrimiento de | es una subfamila 1 | que a un cubre X.
Denici on 5.5. Un espacio (X, ) es de Lindel of, si todo cubrimiento por abiertos de X
posee un subrecubrimiento contable (la denici on sigue siendo v alida si se reemplazan
los abiertos por abiertos b asicos).
Proposici on 5.4. Si (X, ) es C
II
, entonces es de Lindel of.
Ejemplos 5.3. En los espacios topol ogicos conocidos, tenemos:
1) (X,
ind
) es de Lindel of;
2) (X,
dis
) es de Lindel of si y s olo si X es contable;
3) (R,
cof
) y (R,
coc
) son de Lindel of;
4) (X = a, b,
sier
) es C
II
, luego de Lindel of;
5) (X,
A
) es de Lindel of si y s olo si X A es contable;
6) (X,
A
) es de Lindel of;
7) (R,
u
) es C
II
, luego de Lindel of;
8) (R,
sor
) es de Lindel of;
9) (R,
Kol
) es C
II
, luego de Lindel of;
10) (R,
sca
) es de Lindel of.
5.3. Espacios separables 57
5.3. Espacios separables
La siguiente denici on generaliza la situaci on de Qen la recta real, que es un conjunto
peque no en cardinal, pero topol ogicamente grande, al ser denso:
Denici on 5.6. Un espacio (X, ) es separable si existe D X, denso y contable.
Proposici on 5.5. Si (X, ) es C
II
, entonces es separable.
Ejemplos 5.4. Para los ejemplos conocidos:
1) (X,
ind
) es separable, pues todo conjunto no vaco es denso;
2) (X,
dis
) es separable si y s olo si X es contable;
3) (R,
cof
) es separable, pues N = R;
4) (R,
coc
) no es separable, pues los conjuntos contables son cerrados;
5) (X = a, b,
sier
) es C
II
, luego separable;
6) (X,
A
) es separable, pues si a A, es a = X;
7) (X,
A
) es separable si y s olo si X A es contable;
8) (R,
us
) es C
II
, luego separable;
9) (R,
sor
) es separable, pues Q = R;
10) (R,
kol
) es C
II
, luego separable;
11) (R,
sca
) no es separable, pues si D = R, debe ser I R.
Proposici on 5.6. Si (X,
2
) es separable y
1

2
, entonces (X,
1
) es separable.
Ejemplos 5.5. No existen relaciones entre los axiomas de separaci on, aparte de las que
ya se han se nalado:
1) (R,
dis
): C
I
, no C
II
, no Lindel of, no separable, metrizable.
2) (R,
ind
): C
I
, C
II
, Lindel of, separable, no metrizable (pues no es T
2
).
3) (R,
cof
): no C
I
, no C
II
, Lindel of, separable, no metrizable (pues no es C
I
).
4) (R,
coc
): no C
I
, no C
II
, Lindel of, no separable, no metrizable (pues no es C
I
).
5) (X,
sier
): C
I
, C
II
, Lindel of, separable, no metrizable (pues no es T
2
).
58 Captulo 5. Numerabilidad
6) (X,
A
) (A propio): C
I
, C
II
si y s olo si X A contable, Lindel of si y s olo si X A
contable, separable, no metrizable.
7) (X,
A
) (A propio): C
I
, C
II
si y s olo si X A contable, Lindel of, separable si y s olo
si X A contable, no metrizable.
8) (R,
kol
): C
I
, C
II
, Lindel of, separable, no metrizable (pues no es T
2
).
9) (R,
scat
): C
I
, no C
II
, Lindel of, no separable, no metrizable.
10) (R,
sor
): C
I
, no C
II
, Lindel of, separable, no metrizable.
5.4. Problemas
1.- En un espacio metrizable (X, ), probar que las propiedades de Lindel of, la sep-
arabilidad y la propiedad C
II
son equivalentes: esta puede ser una manera de detectar
espacios no metrizables.
2.- Sea (X, ) un espacio topol ogico, tal que existe una familia no contable de conjuntos
abiertos disjuntos dos a dos. Probar que (X, ) es no separable.
3.- Sea (X, ) un espacio separable y T
2
. Probar
(i) si (X, ) es C
I
, entonces Card(X) c;
(ii) si (X, ) es C
II
, entonces Card() c.
4.- Dada una sucesi on x
n

nN
sobre (X, ), se dice que tiene a x como punto de aglo-
meraci on, x
n
~ x, si para cada N ^
x
y n N, existe n
N
n, tal que x
n
N
N. Si
llamamos:
lm(x
n
) = x X : x
n
x y adh(x
n
) = x X : x
n
~ x,
se piden probar las siguientes propiedades:
(i) lm(x
n
) y adh(x
n
) son conjuntos cerrados y lm(x
n
) adh(x
n
);
(ii) adh(x
n
) =

mN
x
n
: n m;
(iii) si
1

2
, entonces lm

2
(x
n
) lm

1
(x
n
) y adh

2
(x
n
) adh

1
(x
n
);
(iv) si x
(n)
es una subsucesi on de x
n
, se verica que lm(x
n
) lm(x
(n)
) y
adh(x
n
) adh(x
(n)
).
5.4. Problemas 59
5.- Sean (X,
1
) y (X,
2
) espacios topol ogicos C
I
. Probar que
1
=
2
si y s olo si (toda
sucesi on converge en (X,
1
) converge en (X,
2
) y lo hace al mismo punto).
Esto no es cierto si las topologas no son C
I
. Por ello, las sucesiones no son adecuadas
en espacios topol ogicos (ver [Ke] y el ejercicio 7).
6.- Sea x
n

nN
la sucesi on dada por x
n
= 2n 1 en el espacio topol ogico (N,
cof
).
Probar que lm(x
n
) = adh(x
n
) = N.
7.- Sea (R,
coc
). Probar que 3 [0, 1]. Existe alguna sucesi on en [0, 1] que converja a 3?
8.- En (X, ), se dice que x X es un punto de condensaci on u -punto lmite de A X,
si para cada N ^
x
, N A es no contable. Se denota por

A la familia de los puntos de
condensaci on de A. Probar:
(i) si A B, entonces

A

B. Adem as

A A

;
(ii)

A es un conjunto cerrado;
(iii)

A B =

A

B y

A

A;
(iv) si A no es contable y (X, ) es Lindel of, entonces

A es no vaco;
(v) si (X, ) es C
II
y A X, entonces A

A es contable, luego

A

A = y

A =

A;
(vi) concluir el teorema de Cantor-Bendixon: un espacio C
II
puede descomponerse co-
mo uni on de dos conjuntos disjuntos, uno de ellos perfecto (A es perfecto, cuando
es cerrado y A A

) y el otro contable.
9.- Sea X un conjunto no contable y una topologa sobre X, tal que
cof
. Probar
(i) si es base de , entonces X =
_
B
(X B);
(ii) si X es no contable y es
cof
o
coc
, entonces no puede tener una base contable.
10.- Probar que en un espacio topol ogico la combinaci on de dos cualesquiera de las dos
propiedades siguientes no implica la tercera: C
I
, separable y Lindel of.
11.- En cada uno de los siguientes espacios topol ogicos, estudiar las sucesiones conver-
gentes, los axiomas de numeraci on y la metrizabilidad:
(i) el espacio discreto, el indiscreto, el A-inclusi on, el A-exclusi on, el espacio de Sier-
pinski, el de Appert, el de Fort;
60 Captulo 5. Numerabilidad
(ii) la recta conita, la connumerable, la de Kolmogorov, la scattered, la de Sorgenfrey,
la enlazada;
(iii) el plano de Moore y el plano Slotted.
Captulo 6
Continuidad
El concepto de continuidad se basa en el de proximidad.
6.1. Aplicaciones continuas
Denici on 6.1. Una funci on entre espacios topol ogicos f : (X,
X
)(Y,
Y
) es con-
tinua en a, si para todo entorno M ^
Y
f(a)
, existe N ^
X
a
, tal que f(N) M. Esta
denici on sigue siendo v alida si se reemplazan los entornos por entornos b asicos. Una
funci on es continua en A si lo es en cada punto de A.
Proposici on 6.1. Sea f : (X,
X
)(Y,
Y
) una funci on. Son equivalentes:
(i) f es continua en X;
(ii) para cada x X y cada entorno M ^
Y
f(x)
, es f
1
(M) ^
X
x
;
(iii) para cada x X y cada M B
Y
f(x)
(jada una base local), es f
1
(M) ^
X
x
;
(iv) para cada U
Y
, es f
1
(U)
X
;
(v) para cada U
Y
(una vez elegida una base), es f
1
(U)
X
;
(vi) para cada F (
Y
, es f
1
(F) (
X
;
(vii) para cada A X, es f(A) f(A);
(viii) para cada B Y , es f
1
(B) f
1
(B);
(ix) para cada B Y , es f
1
(

B)

..
f
1
(B).
61
62 Captulo 6. Continuidad
Ejemplos 6.1. Algunos ejemplos de funciones continuas son:
1) para cada espacio (Y,
Y
) y toda funci on f, f : (X,
dis
)(Y,
Y
) es continua;
2) para cada espacio (X,
X
) y toda funci on f, f : (X,
X
)(Y,
ind
) es continua;
3) toda aplicaci on constante f : (X,
X
)(Y,
Y
) es continua;
4) sean f : (X,
X
)(Y,
Y
) continua y las topologas
X

X
y

Y

Y
. Tambi en
es continua la aplicaci on f : (X,

X
)(Y,

Y
).
Proposici on 6.2. Sean f : (X,
X
)(Y,
Y
) y g : (Y,
Y
)(Z,
Z
). Se verica:
(i) si f es continua en a X y g es continua en f(a), entonces g f es continua en a;
(ii) si f es continua en X y g es continua en Y , entonces g f es continua en X.
6.2. Algunas propiedades de funciones continuas
6.2.1. Continuidad y espacios Hausdorff
Lema 6.3. Si f, g : (X,
X
)(Y,
Y
) son aplicaciones continuas e (Y,
Y
) es T
2
, en-
tonces A = x X : f(x) = g(x) (
X
.
Contraejemplo 6.1. El lema 6.3 no es cierto en general: f, g : (R,
ind
)(R,
ind
) son
continuas (f = 1
R
y g = 1
R
), pero el conjunto del lema 6.3, A = 0 , (
ind
.
Corolario 6.4. (Principio de prolongaci on de las identidades) Sean dos aplicaciones
continuas f, g : (X,
X
)(Y,
Y
) e (Y,
Y
) T
2
. Si D es denso en X y f[
D
= g[
D
, en-
tonces f = g.
Contraejemplo 6.2. El anterior principio no es cierto en general: si f = 1
R
y g(x) =
x
Q
(x), f, g : (R,
us
)(R,
ind
), ambas son continuas, f[
Q
= g[
Q
, pero no son aplica-
ciones iguales.
Contraejemplo 6.3. Los axiomas T
1
y T
2
no se conservan por aplicaciones continuas: la
aplicaci on continua 1
R
: (R,
dis
)(R,
ind
) lleva un espacio T
1
y T
2
en otro que no lo
es.
6.3. Problemas 63
6.2.2. Continuidad secuencial
Denici on 6.2. Una funci on f : (X,
X
)(Y,
Y
) es secuencialmente continua, si da-
da una sucesi on x
n

nN
en X que converge a un punto a X, entonces f(x
n
)
nN
converge a f(a) Y .
Proposici on 6.5. Una funci on continua es secuencialmente continua. Si (X,
X
) es C
I
,
ambos conceptos de continuidad son equivalentes.
Demostraci on: La primera parte es sencilla. Sea (X,
X
) C
I
y f : (X,
X
)(Y,
Y
) se-
cuencialmente continua. Dado x A, el teorema 5.2 garantiza que existe x
n

nN
A
tal que x
n
x. Por hip otesis, es f(x
n
) f(x), luego f(x) f(A).
Contraejemplo 6.4. Esto no es cierto en general: 1
R
: (R,
coc
)(R,
dis
) es secuen-
cialmente continua, pero no es continua.
6.2.3. Continuidad y numerabilidad
Proposici on 6.6. La imagen continua de un espacio separable (respectivamente, de Lin-
del of) es separable (respectivamente, de Lindel of).
Contraejemplo 6.5. Esto no sucede con los axiomas C
I
y C
II
: 1
R
: (R,
us
)(R,
cof
)
es continua y lleva un espacio C
I
y C
II
en otro que no lo es.
6.2.4. Criterio de Hausdorff
Proposici on 6.7. (Criterio de Hausdorff de comparaci on de topologas) Dos topologas
sobre X verican
2

1
si y s olo si la identidad, 1
X
: (X,
1
)(X,
2
) es continua.
6.3. Problemas
1.- Dado un espacio topol ogico (X, ), se introducen los conjuntos
C(X) = f : (X, )(R,
us
), f continua y C

(X) = f C(X) : f es acotada.


Se denen las funciones con dominio X y codominio R, para x X y f, g : XR
(a) la suma: (f +g)(x) = f(x) + g(x),
(b) el producto: (f.g)(x) = f(x).g(x),
(c) el producto por un escalar a R: (a.f)(x) = a.f(x),
64 Captulo 6. Continuidad
(d) el cociente: si f(x) ,= 0 para cada x X,
1
f
(x) =
1
f(x)
,
(e) el valor absoluto: [f[(x) = [f(x)[, y
(f) las funciones m aximo y mnimo: m(x) = mnf(x), g(x) y M(x) = maxf(x), g(x).
Se pide probar las siguientes propiedades:
(i) las anteriores operaciones son internas en C(X) y C

(X);
(ii) C(X) y C

(X) son algebras sobre R;


(iii) C

(X) es un espacio vectorial normado, con las operaciones suma y producto es-
calar y la norma |f| = sup[f(x)[ : x X;
(iv) C(X) y C

(X) son retculos con el orden parcial: f g si y s olo si f(x) g(x),


para cada x X;
(v) dados los espacios (X,
X
) e (Y,
Y
), toda aplicaci on continua f : (X,
X
)(Y,
Y
)
induce un homomorsmo entre las algebras asociadas F
f
: C(Y )C(X) (res-
pectivamente, F

f
: C

(Y )C

(X)).
2.- En un espacio topol ogico (X, ), probar:
(i) =
dis
si y s olo si para todo (Y,
Y
) y toda aplicaci on f : (X, )(Y,
Y
), f es
continua;
(ii) =
ind
si y s olo si para todo (Y,
Y
) y toda aplicaci on f : (Y,
Y
)(X, ), f es
continua.
3.- Sea f : (X,
X
)(Y,
Y
) una aplicaci on continua y sobreyectiva. Probar que todo
abierto de (Y,
Y
) es la imagen por f de un abierto saturado (U X es saturado si existe
V Y tal que U = f
1
(V )) de (X,
X
). Probar la propiedad an aloga para cerrados.
4.- Si
A
es la funci on caracterstica de A, probar
(i)
A
: (X, )(R,
us
) es continua en x si y s olo si x , fr(A);
(ii)
A
: (X, )(R,
us
) es continua en X si y s olo si A es abierto y cerrado.
5.- Caracterizar las funciones continuas f : (R,
u
)(R,
coc
).
6.- Dados los conjuntos nitos X = 1, 2, 3, 4, 5 e Y = a, b y las topologas sobre
ellos
X
= , X, 1, 3, 4, 1, 3, 4 y
Y
= , Y, a, se pide:
6.3. Problemas 65
(i) cu antas funciones hay f : XY ? cu antas son inyectivas? Y sobreyectivas?
(ii) encontrar todas las funciones continuas f : (X,
X
)(Y,
Y
).
7.- Dado x R, se llama parte entera de x, [x], al mayor entero que es menor o igual que
x. Estudiar la continuidad de la funci on f : (R,
sor
)(R,
u
), si f(x) = [x].
8.- Sean
1
y
2
dos topologas sobre X y (Y,
Y
) un espacio topol ogico. Probar:
(i) si = nf
1
,
2
, entonces la aplicaci on f : (X, )(Y,
Y
) es continua si y s olo
si f : (X,
i
)(Y,
Y
) es continua, para i = 1, 2;
(ii) si = sup
1
,
2
, entonces la aplicaci on f : (Y,
Y
)(X, ) es continua si y s olo
si f : (Y,
Y
)(X,
i
) es continua, para i = 1, 2.
9.- Sea f : (X,
X
)(Y,
Y
) continua. Probar que para cada F

-conjunto (respectiva-
mente, G

-conjunto) B Y , el conjunto f
1
(B) es un F

-conjunto (respectivamente,
G

-conjunto). Para las deniciones, ver el ejercicio 11 del apartado 4.5.


10.- Encontrar una sucesi on de funciones continuas f
n
: (R,
us
)([0, 1],
us
)
nN
,
cuyo supremo no sea una funci on continua.
11.- Sea (N, ) el espacio topol ogico del problema 21 en el apartado 2.5. Probar que
f : (N, )(N, ) es continua si s olo si (si m divide a n, entonces f(m) divide a f(n)).
12.- Sea (X, ) un espacio topol ogico. Se dice que una aplicaci on f : (X, )(R,
u
) es
semicontinua inferiormente (respectivamente, semicontinua superiormente), si para cada
x X y > 0, existe V ^
x
tal que para cada y V es f(y) > f(x) (respectiva-
mente, f(y) < f(x) + ). Probar:
(i) toda aplicaci on continua f : (X, )(R,
u
) es semicontinua inferior y superior-
mente. Recprocamente, toda aplicaci on semicontinua inferior y superiormente es
continua;
(ii) sean las topologas sobre R,
kol
y
scs
= , R (, a) : a R. Entonces,
f : (X, )(R,
u
) es semicontinua inferiormente (respectivamente, semiconti-
nua superiormente) si y s olo si la aplicaci on f : (X, )(R,
Kol
) (respectiva-
mente, f : (X, )(R,
scs
)) es continua;
(iii) sea f
i
: (X, )(R,
u
)
iI
una familia de aplicaciones semicontinuas inferior-
mente (respectivamente, semicontinuas superiormente). Se supone que I ,= y que
para cada x X el conjunto f
i
(x) : i I est a acotado superiormente (respecti-
vamente, acotado inferiormente) en R. Entonces, la aplicaci on f : (X, )(R,
u
)
66 Captulo 6. Continuidad
denida por f(x) = sup
iI
f
i
(x) (respectivamente, f(x) = nf
iI
f
i
(x)) es semicontinua
inferiormente (respectivamente, semicontinua superiormente);
(iv) si A X,
A
es semicontinua inferiormente (respectivamente, semicontinua supe-
riormente) si y s olo si A (respectivamente, A ().
Captulo 7
Homeomorsmos
Se introduce aqu el concepto de igualdad topol ogica: cuando se dene una estructura
matem atica sobre ciertos conjuntos, la igualdad de esta estructura debe obligar a que los
conjuntos subyacentes sean equivalentes. As, la igualdad entre las estructuras dadas debe
realizarse a trav es de una funci on biyectiva. Adem as de esta condici on, se debe imponer
que esta funci on y su inversa conserven la estructura. As, la igualdad topol ogica ven-
dr a dada por lo que se llamar a un homeomorsmo. En algunas estructuras matem aticas
(como los espacios vectoriales), si una funci on biyectiva f conserva la estructura, au-
tom aticamente se deduce que su inversa f
1
tambi en lo hace. Sin embargo, esto no ocurre
con los espacios topol ogicos.
7.1. Aplicaciones abiertas y cerradas
Denici on 7.1. Una funci on f : (X,
X
)(Y,
Y
) se dice abierta si para cada U
X
,
es f(U)
Y
. Y se dice cerrada, si para cada F (
X
, es f(F) (
Y
.
Ejemplos 7.1. No hay ninguna relaci on entre las nociones de funci on continua, abierta y
cerrada:
1) la funci on id enticamente nula f : (R,
u
)(R,
u
) es continua, no abierta y cerrada;
2) la funci on f : (R,
u
)(R,
u
) dada por f(x) = sin(x) si x 0 y f(x) = arctan(x)
si x 0, es continua, no abierta y no cerrada;
3) la primera proyecci on coordenada f : (R
2
,
u
)(R,
u
) dada por f(x
1
, x
2
) = x
1
es
continua, abierta y no cerrada;
4) la funci on f : (R,
ind
)(R,
dis
) dada por f(x) = 1 si x < 0, f(x) = 0 si x = 0
y f(x) = 1 si x > 0 es no continua, abierta y cerrada;
67
68 Captulo 7. Homeomorsmos
5) la funci on 1
R
: (R,
dis
)(R,
dis
) es continua, abierta y cerrada;
6) la aplicaci on f : (R,
u
)([0, 1],
u
) dada por f(x) = 0 si x 0, f(x) = x si
0 x 1 y f(x) = 1 si x 1 es continua, no abierta y cerrada;
7) la primera proyecci on coordenada f : (,
moo
)([0, 1],
u
) es continua, abierta y
no cerrada.
A pesar de esto, las aplicaciones cerradas est an muy pr oximas a las aplicaciones abier-
tas, ya que poseen la siguiente propiedad respecto a los abiertos saturados
Lema 7.1. Si f : (X,
X
)(Y,
Y
) es una aplicaci on cerrada, dado B Y y U
X
tal que f
1
(B) U, existe V
Y
, tal que B V y f
1
(V ) U.
Y an alogamente, dualizando:
Lema 7.2. Si f : (X,
X
)(Y,
Y
) es una aplicaci on abierta, dado B Y y F (
X
tal que f
1
(B) F, existe G (
Y
, tal que B G y f
1
(G) F.
7.2. Homeomorsmos
Denici on 7.2. Una aplicaci on f : (X,
X
)(Y,
Y
) es un homeomorsmo, si f es
biyectiva, continua y de inversa f
1
continua. Se dice tambi en que (X,
X
) es homeo-
morfo a (Y,
Y
).
Lema 7.3. Si f : (X,
X
)(Y,
Y
) y g : (Y,
Y
)(Z,
Z
) son homeomorsmos, en-
tonces:
(i) f
1
: (Y,
Y
)(X,
X
) es un homeomorsmo;
(ii) g f : (X,
X
)(Z,
Z
) es un homeomorsmo.
Corolario 7.4. La relaci on ser homeomorfos es una relaci on de equivalencia sobre la
familia de los espacios topol ogicos.
Proposici on 7.5. Si f : (X,
X
)(Y,
Y
) es una funci on biyectiva, son equivalentes:
(i) f es un homemorsmo;
(ii) f es continua y abierta;
(iii) f es continua y cerrada;
(iv) U
X
si y s olo si f(U)
Y
;
7.3. Propiedades topol ogicas 69
(v) F (
X
si y s olo si f(F) (
Y
;
(vi) para cada A X, es f(A) = f(A);
(vii) para cada A X, es f(

A) =

..
f(A);
(viii) V
Y
si y s olo si f
1
(V )
X
;
(ix) G (
Y
si y s olo si f
1
(G) (
X
;
(x) para cada B Y , es f
1
(B) = f
1
(B);
(xi) para cada B Y , es f
1
(

B) =

..
f
1
(B).
7.3. Propiedades topol ogicas
Denici on 7.3. Una propiedad relativa a espacios topol ogicos se llama topol ogica, si se
conserva bajo homeomorsmos.
Proposici on 7.6. Son topol ogicas las propiedades T
1
, T
2
, C
I
, C
II
, la separabilidad, la
propiedad de Lindel of y la metrizabilidad.
Contraejemplo 7.1. Por ejemplo, la acotaci on (cuando tenga sentido hablar de este con-
cepto) es un ejemplo de propiedad no topol ogica.
Observaci on 7.1. Desde el punto de vista de la topologa, dos espacios homeomorfos
son indistinguibles. La importancia de esta propiedad radica en que, cuando se traba-
je con propiedades topol ogicas, es posible reemplazar espacios complicados por otros
homeomorfos a ellos, pero m as sencillos de manejar.
7.4. Problemas
1.- Para los espacios y las aplicaciones f : (X,
X
)(Y,
Y
) y g : (Y,
Y
)(Z,
Z
),
probar:
(i) si f y g son abiertas (respectivamente, cerradas), entonces g f es abierta (respecti-
vamente, cerrada);
(ii) si g f es abierta (respectivamente, cerrada) y f es continua y sobreyectiva, entonces
g es abierta (respectivamente, cerrada);
70 Captulo 7. Homeomorsmos
(iii) Si g f es abierta (respectivamente, cerrada) y g es continua e inyectiva, entonces
f es abierta (respectivamente, cerrada).
2.- Sea f : (X,
X
)(Y,
Y
) continua y abierta. Se pide probar:
(i) si B
x
una base local en el punto x, f(B
x
) es base local en f(x);
(ii) si adem as f es sobreyectiva y es base de
X
, entonces f() es base de
Y
.
3.- Probar que f : (X,
X
)(Y,
Y
) es abierta (respectivamente, cerrada), si y s olo si
para cada A X, es f(

A)

..
f(A) (respectivamente, f(A) f(A)).
4.- Sea f : (X,
X
)(Y,
Y
) una aplicaci on sobreyectiva y cerrada. Probar que para
cada U
X
, se verica que fr(f(U)) f(U) f(X U).
5.- Sea f : (X,
X
)(Y,
Y
) una aplicaci on. Probar que son equivalentes:
(i) f es cerrada; (ii) si U
X
, entonces y Y : f
1
(y) U
Y
;
(iii) si F (
X
, entonces y Y : f
1
(y) F ,= (
Y
.
6.- Dado un espacio topol ogico (X, ), se consideran las algebras C(X) y C

(X) in-
troducidas en el problema 1 del apartado 6.3. Si (X,
X
) e (Y,
Y
) son homeomorfos,
qu e relaci on existe entre C(X) y C(Y )? Y entre C

(X) y C

(Y )?
7.- Dos espacios discretos son homeomorfos si y s olo si poseen el mismo cardinal.
8.- Dar un ejemplo de dos espacios topol ogicos (X,
X
) e (Y,
Y
) no homeomorfos, pero
tales que exista una aplicaci on entre ellos, continua y biyectiva.
9.- Si n Z, se dene sobre R la topologa
n
, dada por la base
n
=
u
n. Probar
que
1
,=
2
, pero que (R,
1
) y (R,
2
) son espacios homeomorfos.
10.- Probar los siguientes enunciados:
(i) toda aplicaci on f : (R,
cof
)(R,
u
) es cerrada;
(ii) (R,
u
) y (R,
cof
) no son homeomorfos;
(iii) toda aplicaci on f : (R,
u
)(R,
u
) biyectiva y continua, es abierta;
(iv) toda aplicaci on sobreyectiva f : (X,
cof
)(Y,
cof
) es abierta y cerrada.
7.4. Problemas 71
11.- Sea
[0,
1
2
]
: ([0, 1],
u
)(0, 1,
dis
). Probar que es sobreyectiva, abierta y cerrada,
pero no continua.
12.- Sea X ,= y p, q X. Sea A = p y
A
la topologa A-exclusi on. Estudiar
la continuidad de la funci on f : ([0, 1],
u
)(X,
A
) dada por f(x) = p si x = 0 y
f(x) = q si x ,= 0.
13.- Probar que son homeomorfos la bola cerrada ((x, y) R
2
: x
2
+ y
2
1,
u
) y el
cuadrado ((x, y) R
2
: [x[ 1, [y[ 1,
u
).
14.- En este ejercicio se trata de denir la proyecci on estereogr aca:
(i) la circunferencia unidad en el plano eucldeo es S
1
= (x
1
, x
2
) R
2
: x
2
1
+x
2
2
= 1.
Dado (a
1
, a
2
) S
1
(0, 1), se considera la recta que pasa por (a
1
, a
2
) y (0, 1).
Esta recta corta al eje de abscisas en el punto
_
a
1
1a
2
, 0
_
. Se dene la aplicaci on
h: (S
1
(0, 1), d
u
)(R, d
u
) por h(a
1
, a
2
) =
a
1
1a
2
. Probar que h es un ho-
meomorsmo: es la proyecci on estereogr aca;
(ii) An alogamente, para n 1, la esfera unidad en el espacio eucldeo de dimensi on n+1
se dene por S
n
= (x
1
, . . . , x
n+1
) R
n+1
: x
2
1
+ . . . + x
2
n+1
= 1. Probar que la
aplicaci on h: (S
n
(0, . . . , 0, 1), d
u
)(R
n
, d
u
), dada por h(a
1
, . . . , a
n+1
) =
_
a
1
1a
n+1
, . . . ,
a
n
1a
n+1
_
, es un homeomorsmo: es la proyecci on estereogr aca.
15.- Probar que el espacio eucldeo (R
n
,
u
) es homeomorfo al subespacio (E
n
,
u
), donde
E
n
= (x
1
, , x
n
) R
n
: x
2
1
+ + x
2
n
< 1.
16.- Probar que el n-smplice unidad (
n
,
u
), donde:

n
= (x
1
, , x
n+1
) R
n+1
: x
i
0, i 1, , n + 1, x
1
+ +x
n+1
= 1,
es homeomorfo al cubo n-dimensional ([0, 1]
n
,
u
).
17.- Probar los siguientes enunciados:
(i) en (R,
u
), son homeomorfos todos los intervalos abiertos;
(ii) no son homeomorfos ((0, 1),
u
) y ([0, 1],
u
);
(iii) ((0, 1),
dis
) y ([0, 1],
dis
) son homeomorfos;
(iv) (N,
u
) y (Q,
u
) no son homeomorfos;
(v) (S
1
,
u
) no es homeomorfa a ((0, 1),
u
).
72 Captulo 7. Homeomorsmos
18.- Probar que los espacios eucldeos siguientes son dos a dos homeomorfos:
(i) el cilindro vertical X = (x, y, z) R
3
: x
2
+y
2
= 1,
(ii) el plano privado del origen Z = R
2
(0, 0),
(iii) la corona circular W = (x, y) R
2
: 1 < x
2
+ y
2
< 4,
(iv) la esfera privada de los polos norte y sur, U = S
2
N, S, donde N = (0, 0, 1) y
S = (0, 0, 1),
(v) el cono privado de su v ertice V = (x, y, z) R
3
: x
2
+ y
2
= z
2
, z > 0.
19.- Probar que el primer cuadrante del plano ((x, y) R
2
: x 0, y 0,
u
) y el
semiplano ((x, y) R
2
: y 0,
u
) son homeomorfos.
20.- Probar que las siguientes son propiedades topol ogicas:
(i) X es equipotente a N;
(ii) la topologa sobre X tiene el cardinal de N;
(iii) existe A X, equipotente a N y denso;
(iv) X es metrizable;
pero, no son propiedades topol ogicas:
(i) la topologa sobre X est a generada por la m etrica d;
(ii) X es un subconjunto de R.
21.- Sean dos aplicaciones f : (X,
X
)(Y,
Y
) y g : (Y,
Y
)(X,
X
) continuas,
tales que f g = 1
Y
y g f = 1
X
. Probar que f y g son homeomorsmos.
22.- Sean f : (X,
X
)(Y,
Y
) un homeomorsmo y g : (Y,
Y
)(Z,
Z
). Probar que
g es continua si y s olo si g f lo es.
23.- Sean f : (X,
X
)(Y,
Y
) una aplicaci on abierta y cerrada, una aplicaci on continua
: (X,
X
)([0, 1],
u
) y para cada y Y , (y) = sup(x) : f(x) = y. Probar que
es continua.
24.- Sean (X, ) y H
(X,)
= h: (X, )(X, ) : h homeomorsmo. Se pide probar:
(i) con la composici on de funciones como operaci on, H
(X,)
es un grupo;
(ii) si X = [0, 1] y A = (0, 1) X, sea : H
(X,)
H
(A,
A
)
denida por (h) = h[
A
.
Entonces, es un isomorsmo de grupos, aunque los espacios involucrados (X, )
y (A,
A
) no son homeomorfos.
Bibliografa
[AF] C. Adams and R. Franzosa; Introduction to Topology Pure and Applied, Pren-
tice Hall, 2008.
[Ad] I. Adamson; A General Topology Workbook, Birkh auser, 1995.
[AP] A.V. Arkhangelskii and V. I. Ponomarev; Fundamentals of General Topolo-
gy: Problems and Exercises, Reidel, 1983.
[Ar] M.A. Armstrong; Topologa B asica, Revert e, 1987.
[ADQ] R. Ayala, E. Dominguez y A. Quintero; Elementos de Topologa General,
Addison-Wesley Iberoamericana, 1997.
[Bak] C.W. Baker; Introduction to Topology, Krieger, 1997.
[Bar] S. Barr; Exp eriences de Topologie, Lysimaque, 1987.
[Bau] J.D. Baum; Elements of point-set Topology, Dover, 1991.
[Be] C. Berge; Topological Spaces, Dover, 1997.
[BBIF] Y.U. Borisovich, N. Bliznyakov, Y. A. Izrailevich and T. Fomenko; Introduc-
tion to Topology, Mir, 1985.
[Bor] C.R. Borges; Elementary Topology and Applications, World Scientic, 2000.
[Bou] N. Bourbaki; El ements de Math ematiques: Topologie G en erale, Hermann,
1971.
[Bu] D. Bushaw; Elements of General Topology, John Wiley, 1996.
[BvR] G. Buskes and A. Van der Rooij; Topological Spaces; from distance to neigh-
borhood, Springer, 1997.
[BP] E. Burroni et J. Perron; La G eom etrie de caoutchouc. Topologie, Ellipses,
2000.
73
74 Bibliografa
[Ca] G.L. Cain; Introduction to General Topology, Addison Wesley, 1993.
[CV] C.O. Christenson y W.L. Voxman; Aspects of Topology, Marcel Dekker, 1998.
[Cr] F.H. Croom; Principles of Topology, Cengage Learning Asia, 2002.
[Cu] H. Cullen; Introduction to General Topology, Heath and Co., 1968.
[Cz] A. Czaszar; General Topology, A. Hilger, 1978.
[ChH] J. Chailloux y J. Henry; Problemas (con soluciones detalladas) de Topologa,
Toray-Masson, 1976.
[Cho1] G. Choquet; Topologa, Toray-Masson, 1971.
[Cho2] M. Choquet; Probl` emes de th eorie des fonctions et topologie, Les cours de la
Sorbonne, 1966.
[Da] S.W. Davis; Topology, McGraw Hill, 2005.
[De] A. Delachet; Que sais-je? La Topologie, PUF, 1978.
[Di] J. Dixmier; General Topology, Springer, 1984.
[Du] J. Dugundji; Topology, Allyn and Bacon, 1968.
[E] R. Engelking; General Topology, Heldermann, 1989.
[Fa] A. Faisant; TP et TD de Topologie G en erale, Hermann, 1987.
[FM] G. Fleitas Morales y J. Margalef Roig; Problemas de Topologa General,
Alhambra, 1980.
[Fl] G. Flory; Ejercicios de Topologa y An alisis, Revert e, 1978.
[GG] T.W. Gamelin and R.E. Greene; Introduction to Topology, Saunders Ser.,
1983.
[Ge] M.C. Gemignani; Elementary Topology, Dover, 1990.
[HF] D. Hinrichsen y J.L. Fernandez; Topologa General, Urmo, 1977.
[HY] J.G. Hocking and G.S. Young; Topology, Dover, 1961.
[Hu] S.T. Hu; Elements of General Topology, Holden-Day, 1965.
Bibliografa 75
[Jaf] P. Jaffard; Trait e de Topologie G en erale (en vue de ses applications), PUF,
1997.
[Jan] K. J anich; Topology, Springer, 1984.
[Ke] J.L. Kelley; General Topology, Springer, 1955.
[Ku] K. Kuratowski; Introduction ` a la th eorie des ensembles et ` a la topologie, En-
seignement Math ematique, 1966.
[Le] H. Lehning; Topologie (avec exercices), Masson, 1985.
[Li] S. Lipschutz; Topologa General, McGraw Hill, 1967.
[Man] M.J. Manseld; Introducci on a la Topologa, Alhambra, 1974.
[MOP] J. Margalef Roig, E. Outerelo Dominguez y J.L. Pinilla Ferrando; Topologa,
Alhambra, 1975.
[Mas] X. Masa; Topoloxia Xeral: introducci on aos espacios euclidianos, m etricos e
topol oxicos, Univ. Santiago de Compostela, 1999.
[MMNS] F. Mascar o, J. Monterde, J.J. Nu no y R. Sivera; Introducci o a la Topologia,
Univ. Valencia, 1997.
[Me] B. Mendelson; Introduction to Topology, Dover, 1990.
[Mi] E.G. Milewski; The topology problem solver, REA, 1994.
[Mun1] J.R. Munkres; Topology: a rst course, Prentice-Hall, 1975.
[Mun2] J.R. Munkres; Topologa, Prentice-Hall, 2001.
[Mur] M.G. Murdeshwar; General Topology, Wiley Eastern Limited, 1986.
[N] J. Nagata; Modern General Topology, North Holland, 1985.
[O] P.V. ONeil; Fundamental Concepts of Topology, Gordon and Breach, 1972.
[Pa] C.W. Patty; Foundations of Topology, PWS-Kent, 1993.
[Pe] W.J. Pervin; Foundations of General Topology, Academic Press, 1964.
[Pr] V.V. Prasolov; Intuitive Topology, Math. World, 1995.
[Ro] D. Roseman; Elementary Topology, Prentice-Hall, 1999.
76 Bibliografa
[Ru] G.N. Rubiano; Topologa General, Univ. Nacional de Colombia, 2002.
[Sh] P.L. Shick; Topology Point Set and Geometric, Wiley, 2007.
[Si] W. Sierpinski; General Topology, Dover, 2000.
[Sk] G. Skandalis; Maths pour la licence: topologie et analyse, Dunod, 2001.
[SS] J.A. Steen and J.A. Seebach; Counterexamples in Topology, Dover, 1995.
[Su] W.A. Sutherland; Introduction to Metric and Topological Spaces, Oxford Sci.
Pub., 1993.
[T] W.J. Thron; Topological Structures, Holt, Rinehart and Winston, 1966.
[VINK] O.Ya. Viro, O.A. Ivanov, N.Yu. Netsvetaev, V.M. Kharlamov; Elementary
Topology: Problem Textbook, AMS, 2008.
[Wa2] C. Wagschal; Livrets dexercices: Topologie, Hermann, 1995.
[WD] G. Whyburn and E. Duda; Dynamic Topology, Springer, 1979.
[Wi] S. Willard; General Topology, Addison-Wesley, 1970.