Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Topología Sin Dolor
Topología Sin Dolor
SIDNEY A. MORRIS
Versin del August 19, 20102
Ninguna parte de este libro puede ser reproducida por proceso alguno, en
ninguna forma o por ningn medio, sin permiso previo por escrito del autor.
Si desea un versin imprimible de este libro, por favor envie un email a morris.sidney@gmail.com con
su nombre
su compromiso de respetar los derechos del autor, no brindando la clave, ni copia impresa o digital a nadie
ms. (Profesores pueden utilizar este material en sus clases y comentarle a sus estudiantes sobre el libro,
pero no pueden proveer a los mismos con una copia del libro o con la contrasea. Los estudiantes deben
contactarme directamente.)
2 Este libro est siendo actualizado y expandido continuamente; se anticipa que existirn alrededor de quince
captulos en total.
Si usted descubriera algn error o deseara sugerir mejoras, por favor enve un email a
morris.sidney@gmail.com.
Contents
Comentarios del Traductor
0 Introduccin
0.1
0.2
0.3
0.4
Reconocimientos . . . . . . . . . .
Lectores: Ubicaciones y Profesiones
Cumplidos de los Lectores . . . . .
El Autor . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1 Espacios Topolgicos
1.1
1.2
1.3
1.4
Topologa . . . . .
Conjuntos Abiertos
Topologa Conita
Postdata . . . . . .
12
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2 La Topologa Euclidiana
2.1
2.2
2.3
2.4
Topologa Euclidiana . . . .
Base de una Topologa . . .
Base de una Topologa Dada
Postdata . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Subespacios . . . . . . . .
Homeomorsmos . . . . .
Espacios No Homeomorfos
Postdata . . . . . . . . . .
35
40
47
54
56
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
4 Homeomorsmos
4.1
4.2
4.3
4.4
13
20
25
32
34
3 Puntos Lmites
3.1
3.2
3.3
3.4
4
4
5
10
57
63
67
70
71
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
71
76
82
89
CONTENTS
5 Funciones Continuas
5.1
5.2
5.3
90
Funciones Continuas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
Teorema del Valor Intermedio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
Postdata . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
6 Espacios Mtricos
6.1
6.2
6.3
6.4
6.5
6.6
Espacios mtricos . . . . . .
Convergencia de secuencias .
Completitud . . . . . . . . .
Contracciones . . . . . . . .
Espacios de Baire . . . . . .
Postdata . . . . . . . . . . .
105
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
105
121
125
137
140
148
Bibilografa
150
ndice
165
Chapter 0
Introduccin
La topologa es una importante e interesante rama de las matemticas, cuyo estudio no slo
introduce nuevos conceptos y teoremas sino que pone en contexto viejas nociones como la de
funcin continua. Sin embargo, slo decir esto no le dara la verdadera signicacin a la topologa.
La topologa es tan importante que su inuencia se evidencia en casi todas las otras ramas
de la matemticas. Por lo que su estudio es relevante para todos aquellos que aspiren a ser
matemticos, independientemente de que su especializacin sea (actualmente o en el futuro)
lgebra, anlisis, teora de categoras, teora del caos, mecnica continua, dinmica, geometra,
matemtica industrial, biologa matemtica, economa matemtica, matemtica nanciera, modelacin
matemtica, fsica matemtica, matemtica de las comunicaciones, teora de nmeros, matemtica
numrica, investigacin de operaciones o estadsticas. (La bibliografa sustancial al nal de este
libro basta para indicar que la topologa ciertamente tiene relevancia en todas estas reas, y en
muchas ms.) Nociones topolgicas como compacidad, conexidad y densidad son tan bsicas para
los matemticos de hoy como las nociones de conjunto y funcin lo eran para los matemticos de
la pasada centuria.
La topologa tiene diferentes ramastopologa general (tambin conocida como topologa
conjuntista), topologa algebraica, topologa diferencial y lgebra topolgicasiendo la primera,
topologa general, la puerta para el estudio de las otras. En este libro yo pretendo brindar una
base slida en topologa general. Cualquiera que concienzudamente se estudie los primeros diez
captulos y resuelva al menos la mitad de los ejercicios tendr ciertamente esa base.
Para el lector que no haya previamente estudiado una rea axiomtica de las matemticas
como lgebra abstracta, aprender a escribir demostraciones ser difcil. Para asistirlo en ese
empeo, frecuentemente en los captulos iniciales, incluyo un comentario que no forma parte de
la demostracin, pero esboza el proceso de razonamiento que llev a la misma.
Los comentarios son indicados de la manera siguiente:
2
3
Para arribar a la demostracin, utilic cierto proceso de razonamiento, el cual pudiera
ser llamado fase de descubrimiento o fase experimental.
Sin embargo, el lector aprender que aunque la experimentacin es muchas veces
esencial, nada puede substituir una demostracin formal.
Los lectores de este libro pudieran desear comunicarse entre ellos para debatir dicultades,
soluciones a ejercicios, comentarios sobre el libro y lecturas adicionales. Para hacer esto ms
fcil, he creado un grupo en Facebook llamado Topology Without Tears readers. Todos ustedes
son bienvenidos para unirse al grupo, slo deben enviarme un email a (morris.sidney@gmail.com)
pidindolo.
Finalmente, debo mencionar que los avances matemticos son entendidos mejor cuando se
consideran en su contexto histrico. En su forma actual, este libro no aborda sucientemente el
contexto histrico. Por el momento me tengo que conformar con notas sobre personalidades de
la topologa en el Apndice 2siendo estas notas extradas en gran medida de The MacTutor
History of Mathematics Archive [207]. Se anima al lector a visitar el sitio The MacTutor History
of Mathematics Archive [207], y leer los artculos completos, as como tambin leer artculos sobre
otras personalidades. Pero una buena comprensin de la historia raramente se obtiene leyendo de
una sla fuente.
Considerando el contexto histrico, todo lo que dir es que la mayora de la topologa descrita
en este libro fue descubierta en la primera mitad del siglo veinte. Y se pudiera decir que el
centro de gravedad en este perodo de descubrimiento fue Polonia. (Las fronteras se han movido
considerablemente.) Sera justo decir que la Segunda Guerra Mundial cambi el centro de gravedad
permanentemente. El lector debe consultar el Apndice 2 para entender este crptico comentario.
CHAPTER 0.
INTRODUCCIN
0.1 Reconocimientos
Partes de versiones anteriores de este libro fueron usadas en la Universidad La Trobe, la Universidad
de New England, la Universidad de Wollongong, la Universidad de Queensland, la Universidad
de South Australia, el Colegio Urbano de New York, y la Universidad de Ballarat durante los
ltimos 30 aos. Deseo agradecer a aquellos estudiantes que criticaron las versiones anteriores
e identicaron errores. Agradecimientos especiales van a Deborah King y a Allison Plant por
sealar numerosos errores y aquezas en la presentacin. Gracias tambin a otros colegas, como
Carolyn McPhail, Ralph Kopperman, Karl Heinrich Hofmann, Rodney Nillsen, Peter Pleasants,
Georey Prince, Bevan Thompson y Ewan Barker, quines leyeron varias versiones y ofrecieron
sugerencias para mejorar el texto. Gracias tambin a Jack Gray, cuyas excelentes notas de clases
Teora de Conjuntos y Aritmtica Transnita 1 en la Universidad de New South Wales, escritas
en los aos 70, inuenciaron nuestro Apndice sobre la Teora de Conjuntos Innitos.
En varias partes de este libro, especialmente en el Apndice 2, existen notas histricas.
Aqu aprovecho para reconocer dos fuentes maravillosas Bourbaki [30] y The MacTutor History of
0.3.
divulgar referencias tiles para cursos de las disciplinas fundamentales que enfrentan los graduados
Pawin Siriprapanukul, Tailandia: Me estoy preparando para emprender estudios doctorales
en Economa y encuentro su libro realmente til para entender el complejo tema de topologa.
Christopher Roe, Australia: Permtame primero agradecerle por escribir su libro Topologa
Sin Dolor 2 ? Aunque es probablemente bastante bsico para usted, leerlo me ha resultado
una experiencia maravillosa.
Jeanine Dorminey, EUA: Actualmente estoy tomando un curso de topologa, y estoy teniendo
una inusual dicultad con la clase. Yo he estado leyendo la versin digital de su libro en
lnea y me ha ayudado mucho.
2 Nota
CHAPTER 0.
INTRODUCCIN
Tarek Fouda, EUA: Yo estudio un curso avanzado de anlisis matemtico en el Instituto de
Tecnologa Stevens para obtener un ttulo de Master en Ingeniera Financiera. Es la primera
vez que me expongo a la asignatura de topologa. Yo compr algunos libros, pero encuentro
que su libro es el nico que explica la materia de una manera tan interesante que yo deseara
tenerlo conmigo todo el tiempo, para leerlo en el tren o en la escuela.
Jose Vieitez, Uruguay: En este semestre yo estoy enseando topologa en la Facultad de
Ciencias de Universidad de la Repblica. Me gustara tener una versin imprimible de su
(muy buen) libro.
Prof. Dr. Ljubomir R. Savic, Instituto de Mecnica y Teora de las Estructuras, Universidad
de Belgrado, Serbia: Yo estoy aprendiendo topologa y he encontrado su libro maravilloso.
Mi especialidad es Mecnica Continua y Anlisis Estructural.
Pascal Lehmann, Alemania: Tengo que imprimir su fantstico libro para escribir notas en
el margen de las hojas.
0.3.
Gabriele Luculli, Italia: Soy slo una estudiante joven, pero encuentro muy interesante
la forma en que propone la asignatura de topologa, especialmente la presencia de tantos
ejercicios.
Paul Unstead, EUA: Me gustan sus notas pues brindan muchos ejercicios concretos, y no
asumen que el lector es un especialista en matemticas.
M. Rinaldi, EUA: sta es, por mucho, la ms clara y mejor introduccin a la topologa
que he visto. . . Cuando estudiaba sus notas los conceptos se me pegaban rpidamente, y sus
ejemplos son fantsticos.
CHAPTER 0.
INTRODUCCIN
Martin Vu, Universidad de Oxford: Estoy haciendo una maestra en matemticas aplicadas
aqu en Oxford. Ahora me estoy acostumbrando a los conceptos abstractos en matemticas,
el ttulo del libro 'Topologa Sin Dolor' tiene una abstraccin natural.
Duncan Chen, EUA: Usted debe de recibir correos electrnicos como ste frecuentemente,
pero de todas formas me gustara agradecerle por el libro `Topologa Sin Dolor'. Soy un
desarrollador de software y disfruto leer matemticas.
Maghaisvarei Sellakumaran, Singapur: Dentro de poco me voy a los EUA para hacer un
doctorado en economa. Encuentro su libro sobre topologa extremadamente bueno.
Tom Hunt, EUA: Gracias por poner este magnco texto a disposicin de todos en Internet.
Fausto Saporito, Italia: Estoy leyendo su ameno libro, y es el mejor que he visto sobre esta
materia.
Takayuki Osogami, EUA: Comenc a leer su libro 'Topologa Sin Dolor' en lnea, y encuentro
que es un material muy agradable para aprender topologa y conceptos matemticos en
general.
Roman Knll, Alemania: Gracias por permitirme leer su maravilloso libro. 'Topologa Sin
Dolor' me ayud mucho, y recuper de alguna manera mi inters en las matemticas, el cual
haba perdido debido a clases no sistemticas y memorizaciones superciales.
0.3.
Yuval Yatskan, EUA: Le ech un vistazo al libro, y parece ser un trabajo maravilloso.
N.S. Mavrogiannis, Grecia: Es un muy buen trabajo.
Semih Tumen, Turqua: S que los doctorados en economa demandan el aprendizaje de
bastante matemticas, por lo que mientras revisaba los tpicos necesarios, encontr su libro
extremadamente til.
Javier Hernndez, Turqua: Estoy realmente agradecido a todos aquellos, que al igual que
usted, dedican esfuerzos a compartir sus conocimientos con otros, sin pensar solamente en
los benecios que podran tener al ocultar el candil debajo de la mesa y obtener dinero para
que podamos detectar la luz.
J. Chand, Australia: Muchas gracias por producir 'Topologa Sin Dolor'. Su libro es
fantstico.
Richard VandeVelde, EUA: Dos aos atrs lo contact para obtener una copia imprimible
de 'Topologa Sin Dolor' para mi uso personal. En ese momento estuve enseando un curso
combinado de pre-grado y post-grado en topologa. Le di a los estudiantes la direccin para
acceder en lnea al texto. Incluso cuando no segu los temas en exactamente el mismo orden
que usted presenta, uno de los mejores estudiantes de la clase indic que yo deba presentar
el libro como el nico texto requerido para la clase. Pienso que es una recomendacin muy
agradable. Bueno, la historia se repite, y dos aos ms tarde estoy enseando nuevamente
el mismo curso a una audiencia similar. Por lo que me gustara ser capaz de descargar una
versin completa del texto.
Profesor Sha Xin Wei, Facultad de Bellas Artes y Ciencia de la Computacin, Universidad
de Concordia, Canad: Cumplidos a su texto sobre topologa!, el cual ha sido escrito de una
manera muy cuidadosa y humana. Me gustara adoptarlo para un curso que introduzca la
belleza en matemticas a ambiciosos intelectuales y artistas. Es siempre un placer encontrar
trabajos como el suyo que trasmiten ideas sin compromiso alguno.
Profesor Auxiliar Rehana Bari, Bangladesh: Estoy enseando topologa en una maestra en
el Departamento de Matemticas de la Universidad de Dhaka, Bangladesh. Pudiera tener
una copia de su maravilloso libro 'Topologa Sin Dolor' para mi uso personal?
10
CHAPTER 0.
INTRODUCCIN
Long Nguyen, USA Nunca haba visto un libro tan claro que tratase un tema tan difcil.
Renato Orellana, Chile, Felicitaciones por su maravilloso libro. Le los primeros captulos
y los disfrut muchsimo. Pens que la topologa no estaba a mi alcance, pero ahora me
declaro optimista.
M.A.R. Khan, Karachi, Pakistn: Gracias por acordarse del estudiante del Tercer Mundo.
0.4 El Autor
El autor es Sidney (Shmuel) Allen Morris, Jefe Acadmico de la Escuela Australiana de Tecnologa
y Administracin (siglas en ingls ATMC, Australian Technical and Management College) y
Profesor Emrito de la Universidad de Ballarat, Australia. Hasta abril del 2010. l fue Profesor
de informtica y Decano de la Facultad de Postgrado de Tecnologa de la Informacin y Ciencias
Matemticas de la Universidad de Ballarat. l ha sido Profesor de matemticas en la Universidad
de Australia del Sur, la Universidad de Wollongong y la Universidad de Nueva Inglaterra. El
profesor Morris tambin ha trabajado en la Universidad de Nueva Gales del Sur, la Universidad
La Trobe, la Universidad de Adelaida, la Universidad de Tel Aviv, la Universidad de Tulane, y en
el Colegio Universitario de Gales del Norte en Bangor.
El Profesor Morris gan el premio Lester R. Ford de la Asociacin Matemtica de Amrica
y un premio por servicio distinguido de la Sociedad Australiana de Computacin. l ha servido
como Editor en Jefe de la revista Prctica e Investigacin en Tecnologa de la Informacin, Editor
del Boletn de la Sociedad Australiana de Matemticas, Editor de la revista de Teora de Grupos, y
como Editor en Jefe de la Coleccin de Disertaciones Australianas de Matemticas, una coleccin
de libros publicados por la editorial de la Universidad de Cambridge.
El Profesor Morris ha publicado alrededor de 140 artculos de investigacin en revistas
internacionales, y cuatro libros
1. con Karl Heinrich Hofmann, La Teora Lie de los Grupos Pro-Lie Conexos: Una Teora
Estructural para lgebras Pro-Lie, Grupos Pro-Lie y Grupos Compactos Localmente Conexos,
Casa Editorial de la Sociedad Europea de Matemticas, xv + 678 pgs, ISBN 978-3-03719032-6;
2. con Karl Heinrich Hofmann, La Estructura de los Grupos Compactos: Un Libro Elemental
para el Estudiante-Una Gua de Referencias para el Experto, Editorial de Gruyter, Edicin
Revisada y Aumentada, xviii + 858 pgs, ISBN 978-3-11-019006-9 (ISBN10: 3-11-019006-0);
0.4.
EL AUTOR
11
alguno, en ninguna forma o por ningn medio, sin permiso previo por escrito del autor.
Chapter 1
Espacios Topolgicos
Introduccin
El tenis, el ftbol, el bisbol y el hockey pudieran ser juegos emocionantes, pero para jugarlos se
tiene primero que aprender (algunas de) las reglas del juego. Las matemticas no son diferentes.
Por lo que comenzamos con las reglas para la topologa.
Este captulo comienza con la denicin de una topologa, y continua mostrando algunos
ejemplos sencillos: espacios topolgicos nitos, espacios discretos, espacios indiscretos1 y espacios
con la topologa conita2 .
La topologa, al igual que otras ramas de las matemticas, como la teora de grupos, es una
materia axiomtica. Comenzamos con un conjunto de axiomas y luego usamos estos axiomas para
demostrar proposiciones y teoremas. Es extremadamente importante que el lector desarrolle su
habilidad para escribir demostraciones.
Por qu las demostraciones son importantes? Suponga que nuestra tarea es construir un
edicio. Nosotros comenzaramos con los cimientos. En nuestro caso stos son los axiomas o
denicionestodo lo dems se construye sobre ellos. Cada teorema o proposicin representa un
nuevo nivel de conocimiento y tiene que estar jado rmemente al nivel anterior. El nuevo nivel se
ja al anterior a travs de un demostracin. Por lo que los teoremas y las proposiciones representan
las nuevas alturas del conocimiento adquirido, mientras que las demostraciones son esenciales pues
ellas son el cemento que ja los teoremas y proposiciones al nivel anterior. Sin demostraciones la
estructura colapsara.
1 Nota
2 Nota
12
1.1.
13
TOPOLOGA
1.1 Topologa
1.1.1 Deniciones. Sea X un conjunto no vaco. Una coleccin de subconjuntos de
X se dice que es una topologa sobre X si
(i) X y el conjunto vaco, , pertenecen a
pertenece a , y
(iii) la interseccin de dos conjuntos cualesquiera de pertenece a .
El par (X, ) se llama espacio topolgico.
(ii) la unin de cualquier nmero (nito o innito) de conjuntos en
1.1.2 Ejemplo.
Sean X = {a, b, c, d, e, f } y
es una topologa sobre X , pues satisface las condiciones (i), (ii) y (iii) de las
Deniciones 1.1.1.
14
CHAPTER 1.
1.1.3 Ejemplo.
ESPACIOS TOPOLGICOS
Sean X = {a, b, c, d, e} y
no pertenece a
2;
es decir,
Deniciones 1.1.1.
1.1.4 Ejemplo.
Sean X = {a, b, c, d, e, f } y
no pertenece a
3;
es decir,
Deniciones 1.1.1.
1.1.5 Ejemplo.
1.1.6 Deniciones.
subconjuntos de X . Entonces
1.1.
15
TOPOLOGA
Nuestro
3 Nota
del traductor: la topologa indiscreta tambin se conoce como topologa trivial o grosera.
16
CHAPTER 1.
1.1.8 Ejemplo.
Si X = {a, b, c} y
ESPACIOS TOPOLGICOS
, {b}
es la topologa discreta.
Demostracin.
Dado que
demostrar que
{b}
y {c}
se nos pide
es
una topologa, y por lo tanto satisface las condiciones (i), (ii) y (iii) de las Deniciones
1.1.1.
Por lo que comenzaremos nuestra demostracin anotando todos los subconjuntos de
X.
El conjunto X tiene 3 elementos, lo que implica que X tiene 23 subconjuntos distintos.
Ellos son: S1 = , S2 = {a}, S3 = {b}, S4 = {c}, S5 = {a, b}, S6 = {a, c}, S7 = {b, c} y
S8 = {a, b, c} = X .
En los comentarios introductorios de este captulo observamos que las matemticas no son
un juego pasivo. Usted debe ser un participante activo. Por supuesto que su participacin incluye
la realizacin de algunos de los ejercicios. Pero ms que eso se espera de usted. Usted tiene que
reexionar sobre el material que se le ha presentado.
Una de sus tareas es mirar los resultados que demostramos y hacerse preguntas pertinentes.
Por ejemplo, hemos demostrado que si cada uno de los conjuntos {a}, {b} y {c} est en
un ejemplo de un fenmeno ms general; es decir, si (X, ) es cualquier espacio topolgico tal que
1.1.
17
TOPOLOGA
1.1.9 Proposicin.
, entonces
es la topologa discreta.
Demostracin.
Este resultado es una generalizacin del Ejemplo 1.1.8.
Consiguientemente, usted
pudiera esperar que la demostracin sea similar. Sin embargo, nosotros no podemos
listar todos los subconjuntos de X como hicimos en el Ejemplo 1.1.8, porque X pudiera
ser un conjunto innito. No obstante, tenemos que demostrar que cada subconjunto
de X est en
En este momento usted pudiera intentar demostrar el resultado para algunos casos
especiales, por ejemplo pudiera considerar que X est compuesto de 4, 5 o incluso
100 elementos.
Recuerde nuestros
Mirando nuevamente la demostracin del Ejemplo 1.1.8, vemos que la clave es que
cada subconjunto de X es una unin de conjuntos unitarios de X , y ya sabemos que
todos los conjuntos unitarios estn en . Este hecho tambin es cierto en el caso general.
Comenzamos la demostracin anotando el hecho de que cada conjunto es una unin de sus
subconjuntos unitarios. Sea S cualquier subconjunto de X . Entonces
S=
xS
4 Nota
{x}.
18
CHAPTER 1.
ESPACIOS TOPOLGICOS
El hecho de que todo conjunto S es una unin de sus subconjuntos unitarios es un resultado
que ocasionalmente usaremos en el libro en diferentes contextos. Note que esto se cumple incluso
cuando S = , pues podemos formar lo que se conoce como una unin vaca, y as obtenemos
como resultado.
Ejercicios 1.1
1. Sea X = {a, b, c, d, e, f }. Determine cules de las siguientes colecciones de subconjuntos de
3. Si X = {a, b, c, d, e, f } y
(b) {X} ;
(c) {} ;
(d) ;
(e) X;
(f) {} X;
(g) {a} ;
(h) a ;
(i) X;
(j) {a} X;
(k) {} X;
(l) a X;
(m) X ;
(n) {a} ;
(o) {X} ;
(p) a .
es un miembro de
1.1.
19
TOPOLOGA
1 est compuesta de R, , y todo intervalo (n, n), para cualquier entero positivo n;
2 est compuesta de R, , y todo intervalo [n, n], para cualquier entero positivo n;
3 est compuesta de R, , y todo intervalo [n, ), para cualquier entero positivo n.
6. Sea N el conjunto de todos los enteros positivos. Demuestre que cada una de los siguientes
colecciones de subconjuntos de N es una topologa.
(i)
1 est compuesta de N, , y todo conjunto {1, 2, . . . , n}, para cualquier entero positivo
n. (sta es la llamada topologa del segmento inicial5 .)
(ii)
, demuestre que
es la topologa discreta.
9.* Sea R el conjunto de todos los nmeros reales. Exactamente tres de las siguientes diez
colecciones de subconjuntos de R son topologas. Identifquelas y justique su respuesta.
(i)
1 est compuesta de R, , y todo intervalo (a, b), para nmeros reales cualesquiera a
y b con a < b ;
(ii)
2 est compuesta de R, , y todo intervalo (r, r), para cualquier nmero real positivo
r;
(iii)
3 est compuesta de R, , y todo intervalo (r, r), para cualquier nmero racional
positivo r;
5 Nota
6 Nota
20
CHAPTER 1.
(iv)
ESPACIOS TOPOLGICOS
4 est compuesta de R, , y todo intervalo [r, r], para cualquier nmero racional
positivo r;
(v)
5 est compuesta de R, , y todo intervalo (r, r), para cualquier nmero irrational
positivo r;
(vi)
6 est compuesta de R, , y todo intervalo [r, r], para cualquier nmero irrational
positivo r;
(vii)
7 est compuesta de R, , y todo intervalo [r, r), para cualquier nmero real positivo
r;
(viii)
8 est compuesta de R, , y todo intervalo (r, r], para cualquier nmero real positivo
r;
(ix)
est compuesta de R, , todo intervalo [r, r], y todo intervalo (r, r), para
10
est compuesta de R, , todo intervalo [n, n], y todo intervalo (r, r), para
,
conjuntos un nombre. Los llamaremos conjuntos abiertos. Tambin le daremos un nombre a los
complementos de los conjuntos abiertos. Los llamaremos conjuntos cerrados. Esta terminologa
no es ideal, pero se deriva de los llamados intervalos abiertos e intervalos cerrados de la recta
numrica real. Este tema ser nuevamente abordado en el Captulo 2.
1.2.1 Denicin. Sea (X, ) cualquier espacio topolgico. Entonces los miembros de
son llamados conjuntos abiertos.
1.2.
21
CONJUNTOS ABIERTOS
1.2.2 Proposicin.
Demostracin.
Deniciones 1.1.1 (i) y (ii). La condicin (iii) se obtiene de la Denicin 1.2.1 y los Ejercicios 1.1
#4.
Leyendo la Proposicin 1.2.2, una pregunta debi haberles saltado a la mente: la unin
de cualquier nmero nito o innito de conjuntos abiertos es un conjunto abierto, mientras
que decimos que solamente intersecciones nitas de conjuntos abiertos son abiertas.
Las
intersecciones innitas de conjuntos abiertos son siempre abiertas? El prximo ejemplo muestra
que la respuesta es no.
1.2.3 Ejemplo.
N. (En la seccin prxima discutiremos esta topologa ms a fondo, la cual es llamada la topologa
conita.) Para cada nmero natural n, dena el conjunto Sn de la siguiente forma:
Sn = {1} {n + 1} {n + 2} {n + 3} = {1}
{m}.
m=n+1
Sn = {1}.
(1)
n=1
22
CHAPTER 1.
ESPACIOS TOPOLGICOS
1.2.4 Denicin.
Sea (X, ) un espacio topolgico. Un subconjunto S de X es un
conjunto cerrado en (X, ) si su complemento en X , es decir X \ S , es abierto en (X, ).
En el Ejemplo 1.1.2, los conjuntos cerrados son
1.2.5 Proposicin.
Demostracin.
X \ (S1 S2 Sn ) = (X \ S1 ) (X \ S2 ) (X \ Sn )7 .
7 Nota
(1)
1.2.
CONJUNTOS ABIERTOS
23
1.2.6 Denicin.
Un subconjunto S de un espacio topolgico (X, ) es abierto y
cerrado si es tanto un conjunto abierto como un conjunto cerrado en (X, ).
En cada espacio topolgico (X, ), tanto X como son conjuntos abiertos y cerrados8 .
En un espacio discreto, todos los subconjuntos de X son abiertos y cerrados.
En un espacio indiscreto, los nicos conjuntos abiertos y cerrados son X y .
8 Nota
del traductor: Actualmente, como traduccin de conjunto abierto y cerrado al idioma ingls, la frase
24
CHAPTER 1.
ESPACIOS TOPOLGICOS
Ejercicios 1.2
1.
Liste todos los 64 subconjuntos del conjunto X en el Ejemplo 1.1.2. Escriba, al lado de cada
conjunto, si es (i) abierto y cerrado; (ii) ni abierto ni cerrado; (iii) abierto pero no cerrado;
(iv) cerrado pero no abierto.
2.
Sea (X, ) un espacio topolgico con la propiedad de que cada subconjunto es cerrado.
Demuestre que (X, ) es un espacio discreto.
3.
Observe que si (X, ) es un espacio discreto o indiscreto, entonces cada conjunto abierto es
tambin un conjunto cerrado. Encuentre una topologa
que no sea discreta o indiscreta pero tenga la propiedad de que cada conjunto abierto tambin
sea cerrado.
4.
Sea X un conjunto innito. Si es una topologa sobre X tal que cada subconjunto innito
de X es cerrado, demuestre que
5.
es la topologa discreta.
(i) Sea
conjuntos; es decir,
(a) B = X \ A;
(b) A B;
(c) B A.
[Consejo. Primeramente muestre que A y B tienen que satisfacer al menos una de las
condiciones y luego que no pueden satisfacer ms de una de ellas.]
(ii) Usando (i) liste todas las topologas sobre X = {1, 2, 3, 4} que constan de exactamente
cuatro conjuntos.
1.3.
TOPOLOGA COFINITA
25
1.3.1 Denicin.
Sea X un conjunto no vaco. Una topologa sobre X es llamada
topologa conita si los conjuntos cerrados de X son X y todos los subconjuntos nitos
de X ; es decir, los conjuntos abiertos son y todos los subconjuntos de X que tienen
complemento nito.
Una vez ms es necesario chequear que en la Denicin 1.3.1 es ciertamente una topologa;
es decir, que satisface cada una de las condiciones de las Deniciones 1.1.1.
Note que la Denicin 1.3.1 no dice que cada topologa que tenga a X y a los subconjuntos
nitos de X como conjuntos cerrados es la topologa conita. stos tienen que ser los nicos
conjuntos cerrados de la topologa. [Por supuesto, en la topologa discreta sobre cualquier conjunto
X , el conjunto X y todos los subconjuntos nitos de X son ciertamente cerrados, pero tambin
lo son todos los otros subconjuntos de X .]
En la topologa conita todos los conjuntos nitos son cerrados. Sin embargo, el siguiente
ejemplo muestra que los subconjuntos innitos no tienen que ser abiertos.
1.3.2 Ejemplo.
como {1}, {5, 6, 7}, {2, 4, 6, 8} son nitos, y por consiguiente cerrados en la topologa conita.
Consecuentemente, sus complementos
26
CHAPTER 1.
1.3.3 Ejemplo.
Sea
ESPACIOS TOPOLGICOS
subconjuntos distintos que son abiertos y cerrados, demuestre que X es un conjunto nito.
Demostracin.
Sabemos que es la topologa conita, y que existen al menos 3 subconjuntos distintos
que son abiertos y cerrados.
Tenemos que demostrar que X es un conjunto nito.
Recuerde que si
Como nuestro espacio (X, ) tiene 3 subconjuntos distintos que son abiertos y cerrados,
sabemos que existe un conjunto abierto y cerrado S de X tal que S = X y S = . Como S es
abierto en (X, ), la Denicin 1.2.4 implica que su complemento X \ S es un conjunto cerrado.
Por lo tanto, S y X \ S son cerrados en la topologa conita
Por consiguiente, S y X \ S
son ambos nitos, pues los dos son distintos de X . Pero X = S (X \ S) y por lo tanto X es la
unin de dos conjuntos nitos. De esta manera, X es un conjunto nito, como se requera.
Ahora conocemos tres topologas distintas que podemos denir sobre cualquier conjunto
innitoy existen muchas ms. Las tres que conocemos son la topologa discreta, la topologa
indiscreta, y la topologa conita. Por lo que tenemos que ser cuidadosos cuando especiquemos
la topologa sobre un conjunto.
Por ejemplo, el conjunto {n : n 10} es abierto en la topologa conita sobre el conjunto de
los nmeros naturales, pero no es abierto en la topologa indiscreta. El conjunto de los nmeros
naturales impares es abierto en la topologa discreta sobre el conjunto de los nmeros naturales,
pero no es abierto en la topologa conita.
1.3.
TOPOLOGA COFINITA
27
1.3.4 Deniciones.
f (x) = y ;
(iii) La funcin f se llama biyectiva si es tanto inyectiva como sobreyectiva.
1.3.6 Proposicin.
Advertencia. Es un error bastante comn de los estudiantes pensar que una funcin es inyectiva
si transforma un punto en otro punto.
Todas las funciones transforman un punto en otro punto. Ciertamente sto es parte de la
denicin de una funcin.
Una funcin inyectiva es una funcin que transforma puntos diferentes en puntos diferentes.
28
CHAPTER 1.
ESPACIOS TOPOLGICOS
Ahora tratamos una nocin muy importante que usted pudiera no conocer.
1.3.7 Denicin.
1.3.8 Ejemplo.
Sea f una funcin del conjunto de los enteros, Z, en el mismo, dada por
1.3.9 Ejemplo.
X.
Demostracin.
Nuestra tarea es mostrar que la coleccin de conjuntos,
es decir, tenemos que mostrar que
Deniciones 1.1.1.
1.3.
29
TOPOLOGA COFINITA
Por lo tanto,
X 1
pues X = f 1 (Y ) y Y .
pues = f 1 () y .
Para vericar la condicin (ii) de las Deniciones 1.1.1, dena {Aj : j J} como una
coleccin de miembros de 1 , para algn conjunto J de ndices. Tenemos que demostrar que
Adems jJ Aj = jJ f 1 (Bj ) = f 1
B
j . [Vea los Ejercicios 1.3 # 1.]
jJ
[Advertencia. Se le recuerda que no todos los conjuntos son numerables. (Vea el Apndice
para comentarios sobre conjuntos numerables.) Por lo que no sera suciente, en el argumento
anterior, asumir que los conjuntos A1 , A2 . . . . , An , . . . estn en
A1 A2 . . . An . . . est en
numerable de conjuntos en
1.
est en
1,
posee la propiedad
(ii) de las Deniciones 1.1.1 esta propiedad requiere que todas las uniones, numerables o no
numerables, de conjuntos de
1 estn en 1.]
1, y
30
CHAPTER 1.
ESPACIOS TOPOLGICOS
Ejercicios 1.3
1. Sea f una funcin de un conjunto X en un conjunto Y . Entonces en el Ejemplo 1.3.9 usamos
que
f 1
(
jJ
) 1
Bj =
f (Bj )
(1)
jJ
(2)
respuesta.)
3. Un espacio topolgico (X, ) se llama T1 -espacio si cada conjunto unitario {x} es cerrado
en (X, ). Muestre que exactamente dos de los siguientes nueve espacios topolgicos son
1.3.
31
TOPOLOGA COFINITA
espacio pero no un T1 -espacio. [El espacio topolgico que se obtiene se llama espacio
Sierpinski.]
(iv) Demuestre que cada uno de los espacios topolgicos descritos en los Ejercicios 1.1 #6
es un T0 -espacio. (Observe que en el Ejercicio 3 anterior vimos que ninguno es un
T1 -espacio.)
6. Sea X un conjunto innito cualquiera. La topologa numerable-cerrada se dene como
la topologa que tiene como sus conjuntos cerrados al conjunto X y a todos los subconjuntos
numerables de X . Demuestre que sta es ciertamente un topologa sobre X .
7. Sean
armaciones.
(i) Si
es denida por
1 2,
entonces
(iii)
(iv)
32
CHAPTER 1.
(v) Si
1, 2, . . . , n
ESPACIOS TOPOLGICOS
es un
i=1
topologa sobre X .
(vi) Si para cada i I , para algn conjunto I de ndices, cada i es una topologa sobre el
conjunto X , entonces =
i es un topologa sobre X .
iI
1.4 Postdata
En este captulo introducimos la fundamental nocin de espacio topolgico. Como ejemplos,
vimos varios espacios topolgicos nitos9 , as como tambin espacios discretos, espacios indiscretos
y espacios con la topologa conita. Ninguno de stos constituye un ejemplo particularmente
importante en los que respecta a aplicaciones. Sin embargo, en los Ejercicios 4.3 #8, se hace
notar que todo espacio topolgico innito contiene un espacio topolgico innito con una de las
siguientes cinco topologas: la topologa indiscreta, la topologa discreta, la topologa conita, la
topologa del segmento inicial, o la topologa del segmento nal de los Ejercicios 1.1 #6. En el
prximo captulo describiremos la muy importante topologa euclidiana.
En nuestro caminos nos encontramos con los trminos conjunto abierto y conjunto cerrado,
y fuimos advertidos que estos nombres pueden ser engaosos. Un conjunto puede ser tanto abierto
como cerrado, ni abierto ni cerrado, abierto pero no cerrado, o cerrado pero no abierto. Es
importante recordar que no podemos demostrar que un conjunto es abierto mostrando que no es
cerrado.
Adems de las deniciones de topologa, espacio topolgico, conjunto abierto, y conjunto
cerrado, el tema ms signicativo cubierto fue la escritura de demostraciones.
En los comentarios iniciales de este captulo, sealamos la importancia de aprender a escribir
demostraciones. En el Ejemplo 1.1.8, la Proposicin 1.1.9, y el Ejemplo 1.3.3, hemos visto como
examinar una demostracin. Es esencial que el estudiante desarrolle sus propias habilidades para
escribir demostraciones. Buenos ejercicios para lograr este objetivo incluyen los Ejercicios 1.1 #8,
los Ejercicios 1.2 #2,4, y los Ejercicios 1.3 #1,4.
Algunos estudiantes se confunden por la nocin de topologa, pues involucra conjuntos de
conjuntos. Para chequear su comprensin, haga los Ejercicios 1.1 #3.
9 Para nosotros un
es nito.
1.4.
POSTDATA
33
Los ejercicios incluyeron las nociones de T0 -espacio y T1 -espacio, los cules sern introducidos
formalmente ms adelante. stos son conocidos como propiedades de separacin.
Finalmente enfatizamos la importancia de las imgenes inversas. stas son tratadas en el
Ejemplo 1.3.9 y en los Ejercicios 1.3 #1. Nuestra denicin de funcin continua depender de la
nocin de imagen inversa.
Chapter 2
La Topologa Euclidiana
Introduccin
En una pelcula o una novela usualmente existen varios protagonistas alrededor de los cuales la
trama se desarrolla. En la trama de la topologa, la topologa Euclidiana sobre el conjunto de
los nmeros reales es uno de los protagonistas. Ciertamente, es un ejemplo tan importante que
frecuentemente recurriremos a l para futuros anlisis e inspiracin.
Denote por R el conjunto de todos los nmeros reales. En el Captulo 1 vimos tres topologas
que pueden ser denidas sobre cualquier conjunto: la topologa discreta, la topologa indiscreta
y la topologa conita. Por lo que ya conocemos tres topologas que podemos denir sobre el
conjunto R. Otras seis topologas sobre R fueron denidas en los Ejercicios 1.1 #5 y #9. En
este captulo describiremos una topologa sobre R que es mucho ms importante e interesante, la
topologa Euclidiana.
El anlisis de la topologa Euclidiana nos guiar a la nocin de base de una topologa. En
el estudio de lgebra lineal aprendimos que cada espacio vectorial tiene una base, y que cada
vector es una combinacin lineal de los miembros de la base. Igualmente, en un espacio topolgico
cada conjunto abierto puede ser expresado como una unin de miembros de una base del espacio.
Ciertamente, un conjunto es abierto si, y slo si, es una unin de miembros de la base.
34
2.1.
35
TOPOLOGA EUCLIDIANA
Notacin. Siempre que nos reramos al espacio topolgico R sin especicar la topologa,
asumiremos R con la topologa Euclidiana.
2.1.2 Observaciones.
es una topologa.
Demostracin.
Tenemos que demostrar que satisface las condiciones (i), (ii), y (iii) de las Deniciones
1.1.1.
Conocemos que un conjunto est en
Sea x R. Si ponemos a = x 1 y b = x + 1,
En segundo
tenemos que mostrar que jJ Aj ; es decir, tenemos que mostrar que jJ Aj tiene la
Sea y A1 A2 ,
y A2 . Por lo que existen c y d en R con c < d tal que y (c, d) A2 . Sea e el mayor de a
y c, y f el menor de b y d. Se puede chequear fcilmente que e < y < f, y por lo tanto y (e, f ).
Como (e, f ) (a, b) A1 and (e, f ) (c, d) A2 , deducimos que y (e, f ) A1 A2 . Por
consiguiente, A1 A2 tiene la propiedad (), implicando que est en
Consecuentemente,
.
2
36
CHAPTER 2.
LA TOPOLOGA EUCLIDIANA
Ahora procedemos a describir los conjuntos abiertos y los conjuntos cerrados en la topologa
Euclidiana sobre R. En particular, veremos que todos los intervalos abiertos son en efecto conjuntos
abiertos en esta topologa y que todos los intervalos cerrados son conjuntos cerrados.
(ii) Sean r, s R con r < s. En la topologa Euclidiana
Demostracin.
Sabemos que (r, s) es un intervalo abierto, y tenemos que mostrar que (r, s) es abierto
en la topologa Euclidiana; es decir, tenemos que mostrar que (r, s) tiene la propiedad
() de la la Denicin 2.1.1.
Por lo que comenzaremos tomando x (r, s), y queremos encontrar a y b en R con
(iii) Los intervalos abiertos (r, ) and (, r) son conjuntos abiertos en R, para cada
nmero real r.
Demostracin.
Primeramente, mostraremos que (r, ) es un conjunto abierto; es decir, que tiene la
propiedad ().
Para mostrar esto, tomamos x (r, ) y buscamos a, b R tal que
x (a, b) (r, ).
(r, ) .
Un argumento similar muestra que (, r) es un conjunto abierto en R.
2.1.
37
TOPOLOGA EUCLIDIANA
(iv) Es importante notar que mientras cada intervalo abierto es un conjunto abierto en R,
lo contrario es falso. No todos los conjuntos abiertos en R son intervalos. Por ejemplo, el conjunto
2
n=1 (2n, 2n + 1) es un conjunto abierto en R.
(v) Para cada c y d en R con c < d, el intervalo cerrado [c, d] no es un conjunto abierto en
R.
Demostracin.
Tenemos que mostrar que [c, d] no posee la propiedad ().
Para hacer esto, es suciente encontrar un x para el cual no existan a, b que tengan
la propiedad ().
Claramente, c y d son puntos especiales en el intervalo [c, d]. Por lo que escogeremos
Observe que c [c, d]. Suponga que existen a y b en R con a < b tal que c (a, b) [c, d].
Entonces, c (a, b) implica que a < c < b, y por lo tanto, a <
c+a
2
(a, b) y
c+a
2
c+a
2
/ [c, d]. Por consiguiente, (a, b) [c, d], lo cual es una contradiccin. Por lo que
no existen a y b tal que c (a, b) [c, d]. De este modo, [c, d] no posse la propiedad (), y por lo
tanto [c, d]
/ .
(vi) Por cada a y b en R con a < b, el intervalo cerrado [a, b] es un conjunto cerrado en la
topologa Euclidiana sobre R.
Demostracin.
Para ver que [a, b] es cerrado, solamente tenemos que observar que, como
38
CHAPTER 2.
LA TOPOLOGA EUCLIDIANA
Demostracin.
(a, ), por lo que es un conjunto abierto. Como resultado, {a} es cerrado en R, como se requera.
[En la terminologa de los Ejercicios 1.3 #3, esto nos dice que R es un T1 -espacio.]
(viii) Note que podamos haber incluido (vii) en (vi) simplemente reemplazando a < b por
a b. El conjunto unitario {a} no es ms que el caso degenerado del intervalo cerrado [a, b]. 2
(ix) El conjunto Z de todos los enteros es un subconjunto cerrado de R.
Demostracin.
El complemento de Z es la unin
n= (n, n
+ 1) de subconjuntos abiertos
Demostracin.
Mostraremos que Q no es un conjunto abierto demostrando que ste no posee la
propiedad ().
Para hacer esto, basta con mostrar que Q no contiene ningn intervalo (a, b) con
a < b.
Suponga que (a, b) Q, donde a y b estn en R con a < b. Entre cualesquiera dos nmeros
reales distintos existe un nmero irracional. (Puede probarlo?) Por consiguiente, existe c (a, b)
tal que c
/ Q. Esto contradice el hecho de que (a, b) Q. Como resultado, Q no contiene ningn
intervalo (a, b), por lo que no es un conjunto abierto.
Para probar que Q no es un conjunto cerrado basta con demostrar que R\Q no es un conjunto
abierto. Usando el hecho de que entre cualesquiera dos nmeros reales distintos existe un nmero
racional, vemos que R \ Q no contiene ningn intervalo (a, b) con a < b. Por lo que R \ Q no es
abierto en R, y por consecuencia Q no es cerrado en R.
2.1.
39
TOPOLOGA EUCLIDIANA
Ejercicios 2.1
1. Demuestre que si a, b R con a < b entonces ni [a, b) ni (a, b] es un subconjunto abierto de
(i) Sea S = {0, 1, 1/2, 1/3, 1/4, 1/5, . . . , 1/n, . . .}. Demuestre que el conjunto S es cerrado
en la topologa Euclidiana sobre R.
(ii) Es el conjunto T = {1, 1/2, 1/3, 1/4, 1/5, . . . , 1/n, . . .} cerrado en R?
40
CHAPTER 2.
8.
LA TOPOLOGA EUCLIDIANA
2.2.1 Proposicin.
intervalos abiertos.
Demostracin.
Tenemos que demostrar que S es abierto si, y slo si, es la unin de intervalos abiertos;
es decir, tenemos que mostrar que
(i) si S es una unin de intervalos abiertos, entonces S es un conjunto abierto, y
(ii) si S es un conjunto abierto, entonces S es la unin de intervalos abiertos.
Asuma que S es una unin de intervalos abiertos; es decir, existen intervalos abiertos (aj , bj ),
donde j pertenece a algn conjunto J de ndices, tal que S = jJ (aj , bj ). Por las Observaciones
2.1.2 (ii), cada intervalo abierto (aj , bj ) es un conjunto abierto. Por lo que S es una unin de
conjuntos abiertos, y por consecuencia S es un conjunto abierto.
Por otro lado, asuma que S es abierto en R. Entonces para cada x S , existe un intervalo
2.2.
41
xS
Ix son iguales.
(i) si y S , entonces y xS Ix , y
(ii) si z xS Ix , entonces z S .
a xS Ix S .]
2.2.2 Denicin.
miembros de B.
si, y slo si, es una unin de miembros de B . Por lo que B genera la topologa
en el sentido siguiente: si se nos informa cules conjuntos son miembros de B entonces podemos
determinar los miembros de
2.2.3 Ejemplo.
2.2.4 Ejemplo.
unitarios de X ; es decir, B = {{x} : x X}. Entonces, por la Proposicin 1.1.9, B es una base
de
42
CHAPTER 2.
2.2.5 Ejemplo.
LA TOPOLOGA EUCLIDIANA
Sean X = {a, b, c, d, e, f } y
puede ser expresado como una unin de miembros de B . (Observe que es una unin vaca de
miembros de B .)
Note que
2.2.6 Observacin.
base de la topologa
2.2.7 Ejemplo. Sean X = {a, b, c} y B = {{a}, {c}, {a, b}, {b, c}}. Entonces B no es una base
de ninguna topologa sobre X . Para ver esto, suponga que B es una base de una topologa
Entonces
(Una vez ms usamos el hecho de que es una unin vaca de miembros de B , y por lo tanto
.)
Sin embargo,
por lo tanto
implicando que nuestra suposicin es falsa. De este modo, B no es una base de ninguna topologa
sobre X .
2.2.
43
2.2.8 Proposicin.
de X . Entonces B es una base de una topologa sobre X si, y slo si, B tiene las propiedades
siguientes:
(a) X =
B, y
BB
Demostracin.
Si B es una base de una topologa entonces tiene que tener las propiedades
(i), (ii), y (iii) de las Deniciones 1.1.1. En particular, X tiene que ser conjunto abierto, y la
interseccin de cualesquiera dos conjuntos abiertos tiene que ser un conjunto abierto. Como los
conjuntos abiertos son justamente las uniones de miembros de B , esto implica que (a) y (b) son
verdaderos.
Por otro lado, asuma que B tiene las propiedades (a) y (b), y sea
la coleccin de todos
BB
es una topologa
y la proposicin es
. Por consecuencia,
1.1.1.
Pero C = kK Bk ,
(
C D =
kK
)
Bk
jJ
)
Bj
kK, jJ
(Bk Bj ).
44
CHAPTER 2.
LA TOPOLOGA EUCLIDIANA
. Como consecuencia,
La Proposicin 2.2.8 es un resultado bastante til. sta nos permite denir topologas
escribiendo simplemente una base, lo cual frecuentemente es ms fcil que tratar de describir
todos los conjuntos abiertos.
Ahora usaremos esta proposicin para denir una topologa sobre el plano. Esta topologa
se conoce como la topologa Euclidiana.
2.2.9 Ejemplo.
{x, y : x, y R2 , a < x < b, c < y < d} en el plano que tienen cada lado paralelo al eje X o
al eje Y .
Y .................
d
..........................................................
..........................................................
.............................
.......................................................................................
..........................................................
..........................................................
.............................
.......................................................................................
..........................................................
..........................................................
.............................
.......................................................................................
..........................................................
..........................................................
.............................
.......................................................................................
..........................................................
.......
..........
........
Entonces B es una base de una topologa sobre el plano, la llamada topologa Euclidiana.
Cada vez que usemos el smbolo R2 nos referimos al plano, y si nos referimos a R2 como
espacio topolgico sin mencionar explcitamente la topologa subyacente, se debe entender que es
el plano con la topologa Euclidiana.
2.2.
45
Para ver que B es ciertamente una base de una topologa, observe que (i) el plano es la
unin de todos los rectngulos abiertos, y (ii) la interseccin de cualesquiera dos rectngulos es
un rectngulo. [Por rectngulo se debe entender uno con lados paralelos a los ejes.] Por lo que
las condiciones de la Proposicin 2.2.8 se cumplen, y consiguientemente B es una base de una
topologa.
2.2.10 Observacin.
sobre
Rn = {x1 , x2 , . . . , xn : xi R, i = 1, . . . , n},
Ejercicios 2.2
1r
8
, b
1r
.
8
a2 + b2 .
Verique
que Ra,b D.
(ii) Usando (i) muestre que
D=
Ra,b .
a,bD
46
CHAPTER 2.
LA TOPOLOGA EUCLIDIANA
D1 D2 =
Da,b .
a,bD1 D2
(iii) Usando (ii) y la Proposicin 2.2.8, demuestre que la coleccin de todos los discos abiertos
en R2 es una base de una topologa sobre R2 .
3. Sea B la coleccin de todos los intervalos abiertos (a, b) en R con a < b, y a y b nmeros
racionales. Demuestre que B es una base de la topologa Euclidiana sobre R. [Compare esto
con la Proposicin 2.2.1 y el Ejemplo 2.2.3 donde a y b no eran necesariamente racionales.]
[Consejo: No use la Proposicin 2.2.8, pues sto mostrara solamente que B es una base de
alguna topologa, no necesariamente una base de la topologa Euclidiana.]
4. Un espacio topolgico (X, ) se dice que satisface el segundo axioma de numerabilidad
si existe una base B de
conjuntos.
(i) Usando el Ejercicio 3 anterior muestre que R satisface el segundo axioma de numerabilidad.
(ii) Demuestre que la topologa discreta sobre un conjunto no numerable no satisface el
segundo axioma de numerabilidad.
[Consejo. No es suciente mostrar que una base en particular es no numerable. Tiene
que mostrar que toda base de esta topologa es no numerable.]
(iii) Demuestre que Rn satisface el segundo axioma de numerabilidad, para cada entero
positivo n.
(iv) Sea (X, ) el conjunto de todos los enteros con la topologa conita. El espacio (X, )
satisface el segundo axioma de numerabilidad?
5. Demuestre las armaciones siguientes.
(i) Sean m y c nmeros reales, con m = 0. Entonces la recta L = {x, y : y = mx + c} es
un subconjunto cerrado de R2 .
2.3.
47
2 sobre un conjunto Y .
producto sobre X Y .
[Consejo. Vea el Ejemplo 2.2.9.]
7. Usando el Ejercicio 3 anterior y los Ejercicios 2.1 #8, demuestre que todo subconjunto
abierto de R es un F -conjunto y un G -conjunto.
es una base de
de
es una unin de miembros de B . Sin embargo, la Proposicin 2.3.2 nos brinda un mtodo
alternativo.
Pero primero presentamos un ejemplo que muestra que no es lo mismo decir que una coleccin
B de subconjuntos de X es una base de alguna topologa, que decir que B es una base de una
topologa dada.
48
CHAPTER 2.
2.3.1 Ejemplo.
LA TOPOLOGA EUCLIDIANA
a < b, donde (a, b] = {x : x R, a < x b}. Entonces B es una base de una topologa sobre
R, pues R es la unin de todos los miembros de B y la interseccin de cualesquiera dos intervalos
semi-abiertos es un intervalo semi-abierto.
Sin embargo, la topologa
sobre R. Podemos ver sto observando que (a, b] es un conjunto abierto en R con la topologa
1,
mientras (a, b] no es un conjunto abierto en R con la topologa Euclidiana. (Vea los Ejercicios 2.1
#1.) Por lo que B es una base de alguna topologa, pero no es una base de la topologa Euclidiana
sobre R.
2.3.2 Proposicin.
Demostracin.
Tenemos que demostrar
(i) si B es una base de
y
(ii) si para cada U
es una base de
y que x U
en algn conjunto J de ndices. Pero x U implica que x Bj para algn j J . Por lo que
x Bj U , como se requera.
Por otro lado, asuma que para cada U
Tenemos que demostrar que todo conjunto abierto es una unin de miembros de B . Denote por
2.3.
2.3.3 Proposicin.
49
un subconjunto U de X es abierto si, y slo si, para cada x U existe un B B tal que
x B U.
Demostracin.
2.3.2.
Observe que la propiedad de una base descrita en la Proposicin 2.3.3 es precisamente lo que
usamos para denir la topologa Euclidiana sobre R. Nosotros dijimos que un subconjunto U de
R es abierto si, y slo si, para cada x U , existen a y b en R con a < b, tal que x (a, b) U.
X sea una base de alguna topologa sobre X . Sin embargo, la Proposicin 2.3.2 da condiciones para
que una familia B de subconjuntos de un espacio topolgico (X, ) sea una base de la topologa
dada
.
Hemos visto que una topologa puede tener muchas bases diferentes. La prxima proposicin
nos dice cuando dos bases B1 y B2 sobre el mismo conjunto X denen la misma topologa.
50
CHAPTER 2.
2.3.4 Proposicin.
LA TOPOLOGA EUCLIDIANA
1 y 2, respectivamente,
Demostracin.
Tenemos que mostrar que B1 y B2 son bases de la misma topologa si, y slo si, (i) y
(ii) son verdaderos.
Primeramente asumimos que ellas son bases de la misma topologa, es decir, 1 = 2 ,
y mostramos que las condiciones (i) y (ii) se cumplen.
Luego asumimos que (i) y (ii) se cumplen y mostramos que
1 = 2.
1 = 2.
Proposicin 2.3.2.
Por otro lado, asuma que B1 y B2 satisfacen las condiciones (i) y (ii). Por la Proposicin
2.3.2, (i) implica que cada B B1 es abierto en (X, 2 ); es decir, B1 2 . Como todo miembro
2.3.5 Ejemplo.
2 1.
2
base paralela al eje X -axis es una base de la topologa Euclidiana sobre R2 . (Cuando hablamos
de tringulo abierto se debe entender que los bordes no estn incluidos.)
2.3.
51
Y ..................
...
.....
.......
.................
.............................
...................
....................
...................................
.......................................................
.................................
..................................................
......................................
................................................................................
................................................................. ..
.......................................................................
.........
... ....
.........
X
La primera cosa que observamos es que B es una base de alguna topologa porque satisface
las condiciones de la Proposicin 2.2.8. (Para ver que B satisface la Proposicin 2.2.8, observe
que R2 es igual a la unin de todos los tringulos equilteros abiertos con base paralela al eje X ,
y que la interseccin de dos tringulos de ese tipo es otro tringulo de ese tipo.)
Ahora mostraremos que las condiciones (i) y (ii) de la Proposicin 2.3.4 se cumplen.
Primeramente vericamos la condicin (i). Sean R un rectngulo abierto con lados paralelos
a los ejes y x cualquier punto en R. Tenemos que mostrar que existe un tringulo cuadriltero
abierto T con base paralela al eje X tal que x T R. Grcamente sto es fcil de ver.
.....
......
... ..
.....................................................................................................................
..............................................................................
.......................................
.....................................................................................................................
.......................................
..........................................................................................................................
...............................................................................
......................... ... .........
............................................................................................................................
................................................................. .................
. . . . . . . . . . . . . . . . . . . . . . . ... . . . ... . . . . . . .
...................................................................................................................................
..................................................................................
.......................................
........................................................................................................................
..................................................................................
.................... ..................
.......................................................................................................................
.......................................
.....................................................................................................................
..............................................................................
.......................................
.....................................................................................................................
..............................................................................
.......................................
.....................................................................................................................
..............................................................................
.......................................
.....................................................................................................................
.......................................
..............................................................................
.
.........
...................................
.
..................
.......
..........................................
.............................................................................................
..........
....
..........
Sea T un tringulo
cuadriltero abierto con base paralela al eje X y sea y un punto cualquiera en T . Entonces
52
CHAPTER 2.
LA TOPOLOGA EUCLIDIANA
...
.......
... ..
......
......
. .......
........................
.
................
...................
.....................
........................
......................................
.............................
...............................
..................................
.....................................................
.
.....................................
.. . . . . . . . . . . . . . . . . . . .
..............................................
..........................................................................
............................................................................
.
................................................. .
.......................................................
.........................................................
..........................................................
.............................................................................................
................................................................
...................................................................
.........................................................
.................
....................................
..............................................................
.....................................................................
.......................
..........
....
.........
X
Por lo que las condiciones de la Proposicin 2.3.4 se cumplen. Consecuentemente B es
ciertamente una base de la topologa Euclidiana sobre R2 .
X ) sin cambiar la topologa. En los Ejercicios 2.3 #1 vemos que las condiciones anteriores en
parntesis pueden ser suprimidas sin cambiar la topologa. Adems los rectngulos abiertos
pueden ser reemplazados por discos abiertos 1 .
Ejercicios 2.3
1. Determine si o no cada una de las colecciones es una base de la topologa Euclidiana sobre
R2 :
(i) la coleccin de todos cuadrados abiertos con lados paralelos a los ejes;
(ii) la coleccin de todos los discos abiertos;
(iii) la coleccin de todos los cuadrados abiertos;
(iv) la coleccin de todos los rectngulos abiertos;
1 De hecho, muchos libros describen la topologa Euclidiana sobre
R2
2.3.
53
(ii) Deduzca de (i) que existe un nmero no numerable de bases distintas de la topologa
Euclidiana sobre R.
3. Sea B = {(a, b] : a, b R, a < b}. Como se vio en el Ejemplo 2.3.1, B es una base de una
topologa
sobre R y
(iii)
(i) Demuestre que la coleccin de todos los intervalos abiertos de la forma (a, ) o (, b)
es una subbase de la topologa Euclidiana sobre R.
(ii) Demuestre que S = {{a}, {a, c, d}, {b, c, d, e, f }} es una subbase de la topologa
1 del
Ejemplo 1.1.2.
6. Sea S una subbase de una topologa
todos los intervalos cerrados [a, b], con a < b, estn en S , demuestre que
es la topologa
discreta.
7. Sean X un conjunto no vaco y S la coleccin de todos los conjuntos X \ {x}, x X .
Demuestre que S es una subbase de la topologa conita sobre X .
54
CHAPTER 2.
LA TOPOLOGA EUCLIDIANA
8. Sean X cualquier conjunto innito y la topologa discreta sobre X . Encuentre una subbase
S de
9. Sea S la coleccin de todas las lneas rectas en el plano R2 . Si S es una subbase de una
topologa
10. Sea S la coleccin de todas las lneas rectas en el plano que son paralelas al eje X . Si S es
una subbase de una topologa
11. Sea S la coleccin de todos los crculos en el plano. Si S es una subbase de una topologa
2.4 Postdata
En este captulo hemos denido un espacio topolgico muy importanteR, el conjunto de todos los
nmeros reales con la topologa Euclidiana, y dedicamos cierto tiempo a analizarla. Observamos
que, en esta topologa, los intervalos abiertos son ciertamente conjuntos abiertos (y los intervalos
cerrados son conjuntos cerrados). Sin embargo, no todos los conjuntos abiertos son intervalos
abiertos. No obstante, todo conjunto abierto en R es una unin de intervalos abiertos. sto nos
llev a introducir la nocin de base de una topologa y establecer que la coleccin de todos los
intervalos abiertos es una base de la topologa Euclidiana sobre R.
En la introduccin al Captulo 1 describimos una demostracin matemtica como un
argumento irrefutable y subrayamos la importancia de escribir demostraciones. En este captulo
fuimos introducidos al mtodo de demostracin por contradiccin en las Observaciones 2.1.2 (v), y
vimos otro ejemplo de este mtodo en el Ejemplo 2.2.7. La demostracin de condiciones necesarias
y sucientes, es decir, condiciones si, y slo si, fue explicada en la Proposicin 2.2.1, con ejemplos
adicionales en las Proposiciones 2.2.8, 2.3.2, 2.3.3, y 2.3.4.
Bases de topologas son de por s un tpico signicativo. Vimos, por ejemplo, que la coleccin
de todos los conjuntos unitarios es una base de la topologa discreta. La Proposicin 2.2.8 dio
condiciones necesarias y sucientes para que una coleccin de subconjuntos de un conjunto X sea
2.4.
POSTDATA
55
una base de alguna topologa sobre X . sto fue contrastado con la Proposicin 2.3.2, la cual dio
condiciones necesarias y sucientes para que una coleccin de subconjuntos de X sea una base de
una topologa dada sobre X . Vimos que dos colecciones diferentes B1 y B2 pueden ser bases de
la misma topologa; condiciones necesarias y sucientes para sto fueron dadas por la Proposicin
2.3.4.
Denimos la topologa Euclidiana sobre Rn , para cualquier entero positivo n. Vimos que la
familia de todos los discos abiertos es una base de R2 , como tambin lo es la familia de todos los
cuadrados abiertos, o la familia de todos los rectngulos abiertos.
Los ejercicios introdujeron tres ideas interesantes. Los Ejercicios 2.1 #8 cubrieron las nociones
de F -conjunto y G -conjunto, las que son importantes en teora de medidas. Los Ejercicios 2.3
#4 introdujeron el espacio de funciones continuas de valores reales. Tales espacios son llamados
espacios funcionales, los cuales son los objetos centrales de estudio en anlisis funcional. Anlisis
funcional es una mezcla de anlisis (clsico) y topologa, y fue, por algn tiempo, llamado anlisis
moderno, cf. Simmons [197]. Finalmente, los Ejercicios 2.3 #512 trataron la nocin de subbase.
Chapter 3
Puntos Lmites
Introduccin
Sobre la recta de los nmeros reales encontramos una nocin de proximidad. Por ejemplo cada
punto en la secuencia .1, .01, .001, .0001, .00001, . . . est ms cercano al 0 que el punto anterior. En
efecto, de cierta forma, el 0 es un punto lmite de esta secuencia. Por lo que el intervalo (0, 1] no
es cerrado, pues ste no contiene el punto lmite 0. En un espacio topolgico general no tenemos
una funcin de distancia, por lo que debemos proceder de una manera diferente. Deniremos la
nocin de punto lmite sin recurrir a distancias. Con nuestra nueva denicin de punto lmite, el
punto 0 ser de todos modos un punto lmite de (0, 1] . La introduccin de la nocin de punto
lmite nos ayudar a comprender mejor la nocin de conjunto cerrado.
Otro concepto topolgico bastante importante ser introducido en este captulo: el de
conexidad. Considere el espacio topolgico R. Aunque los conjuntos [0, 1] [2, 3] y [4, 6] pudieran
ser descritos como que tienen longitud 2, es claro que ellos son diferentes tipos de conjuntos. . .
el primero est formado por dos partes disjuntas y el segundo por slo una parte. La diferencia
entre los dos es topolgica y ser explicada usando la nocin de conexidad.
56
3.1.
57
3.1.1 Denicin.
Sea A un subconjunto de un espacio topolgico (X, ). Un punto
x X se llama punto lmite (o punto de acumulacin o punto de contacto) de A si
todo conjunto abierto U que contiene x contiene un punto de A diferente de x.
3.1.2 Ejemplo.
la topologa
= {X, , {a}, {c, d}, {a, c, d}, {b, c, d, e}}, y el subconjunto A = {a, b, c}. Entonces
Demostracin.
El punto a es un punto lmite de A si, y slo si, todo conjunto abierto que contiene a
contiene otro punto del conjunto A.
Por lo que para demostrar que a no es un punto lmite de A, es suciente encontrar
un conjunto abierto que contiene a pero no contiene otro punto de A.
El conjunto {a} es abierto y no contiene otro punto de A. Por lo que a no es un punto lmite
de A.
El conjunto {c, d} es un conjunto abierto que contiene c pero no otro punto de A. Por lo que
c no es un punto lmite de A.
Para mostrar que b es un punto lmite de A, tenemos que mostrar que todo conjunto
abierto que contiene b contiene un punto de A distinto de b.
Mostraremos que ste es el caso escribiendo todos los conjuntos abiertos que
contienen b, y vericando que cada uno de ellos contiene otro punto de A distinto
de b.
Los nicos conjuntos abiertos que contienen b son X y {b, c, d, e}, y ambos contienen otro
elemento de A, en este caso c. Por lo que b es un punto lmite de A.
58
CHAPTER 3.
PUNTOS LMITES
an cuando no est en A.
3.1.3 Ejemplo.
tiene puntos lmites, puesto que para cada x X, {x} es un conjunto abierto que no contiene un
punto de A diferente de x.
3.1.4 Ejemplo.
3.1.5 Ejemplo.
dos elementos. Entonces es fcil ver que cada punto de X es un punto lmite de A. (Por qu
insistimos en que A tenga al menos dos puntos?)
La prxima proposicin nos brinda un criterio til para probar si un conjunto es cerrado o
no.
3.1.6 Proposicin.
A es cerrado en (X, ) si, y slo si, A contiene todos sus puntos lmites.
Demostracin.
Tenemos que demostrar que A es cerrado en (X, ) si, y slo si, A contiene todos sus
puntos lmites; es decir, tenemos que mostrar que
(i) si A es un conjunto cerrado, entonces A contiene todos sus puntos lmites, y
(ii) si A contiene todos sus puntos lmites, entonces A es un conjunto cerrado.
Asuma que A es cerrado en (X, ). Suponga que p es un punto lmite de A que pertenece
a X \ A. Entonces X \ A es un conjunto abierto que contiene el punto lmite p de A. Por lo tanto
3.1.
59
3.1.7 Ejemplo.
3.1.8 Proposicin.
Demostracin.
U A = {p} o . Pero p
/ A, por lo que U A = . Tambin armamos que U A = .
Porque si x U entonces, como U es un conjunto abierto y U A = , x
/ A . Por lo tanto
60
CHAPTER 3.
3.1.9 Denicin.
PUNTOS LMITES
3.1.10 Observacin.
cerrado. Por la Proposicin 3.1.6 y los Ejercicios 3.1 #5 (i), cada conjunto cerrado que contiene
A tiene tambin que contener al conjunto A . Por lo que A A = A es el menor conjunto cerrado
que contiene al conjunto A. sto implica que A es la interseccin de todos los conjuntos cerrados
que contiene A.
3.1.11 Ejemplo.
Sean X = {a, b, c, d, e} y
Demostracin.
Para encontrar la clausura de un conjunto especco, tenemos que encontrar todos los
conjuntos cerrados que contienen ese conjunto y entonces seleccionar el menor. Por lo
tanto comenzamos anotando todos los conjuntos cerradosstos son simplemente los
complementos de todos los conjuntos abiertos.
Los conjuntos cerrados son , X, {b, c, d, e}, {a, b, e}, {b, e} y {a}.
conjunto cerrado que contiene {b} es {b, e}; es decir, {b} = {b, e}. Igualmente, {a, c} = X , y
3.1.12 Ejemplo.
Demuestre que Q = R.
3.1.
Demostracin.
61
existen a, b con a < b tal que x (a, b) R \ Q. Pero en todo intervalo (a, b) existe un nmero
racional q ; es decir, q (a, b). Por lo tanto q R \ Q, lo que implica que q R \ Q. sto es una
contradiccin, pues q Q. Como consecuencia Q = R.
3.1.13 Denicin.
Sea A un subconjunto de un espacio topolgico (X, ). Entonces
A se llama denso en X si A = X.
Ahora podemos enunciar nuevamente el Ejemplo 3.1.12 de la siguiente manera: Q es un
subconjunto denso de R.
Note que en el Ejemplo 3.1.11 vimos que {a, c} es denso en X .
3.1.14 Ejemplo.
3.1.15 Proposicin.
Demostracin.
62
CHAPTER 3.
PUNTOS LMITES
Ejercicios 3.1
1.
(a) En el Ejemplo 1.1.2, encuentre todos los puntos lmites de los conjuntos siguientes:
(i) {a},
(ii) {b, c},
(iii) {a, c, d},
(iv) {b, d, e, f }.
(b) Luego, encuentre la clausura de cada uno de los conjuntos anteriores.
(c) Ahora encuentre la clausura de cada uno de los conjuntos anteriores usando el mtodo
del Ejemplo 3.1.11.
2.
Sea (Z, ) el conjunto de los enteros con la topologa conita. Liste el conjunto de puntos
lmites de los conjuntos siguientes:
(i) A = {1, 2, 3, . . . , 10},
(ii) El conjunto, E , que consiste de todos los enteros pares.
3.
Encuentre todos los puntos lmites del intervalo abierto (a, b) en R, donde a < b.
4.
5.
3.2.
63
VECINDADES
(iv) Usando (iii) muestre que R tiene un nmero innumerable de subconjuntos densos y
distintos.
(v)* Nuevamente usando (iii), demuestre que R tiene un nmero innumerable de subconjuntos
densos y distintos, y 2c (para una denicin de c, vea la Denicin A1.2.3 del Apndice
1) subconjuntos densos, innumerables y distintos.
3.2 Vecindades
3.2.1 Denicin.
punto en N . Entonces N es una vecindad del punto p si existe un conjunto abierto U tal
que p U N.
3.2.2 Ejemplo.
1
,
2
( 41 , 34 ) [0, 1].
3.2.3 Ejemplo.
1
2
1
4
3.2.4 Ejemplo.
pues
entonces de la
Denicin 3.2.1, se obtiene que U es una vecindad de todo punto p U. Por lo tanto, por ejemplo,
todo intervalo abierto (a, b) en R es una vecindad de cada punto contenido en l.
3.2.5 Ejemplo.
64
CHAPTER 3.
3.2.6 Proposicin.
PUNTOS LMITES
x X es a punto lmite de A si, y slo si, toda vecindad de x contiene un punto de A diferente
2
de x.
Como un conjunto es cerrado si, y slo si, ste contiene todos sus puntos lmites, podemos
deducir lo siguiente:
3.2.7 Corolario.
conjunto A es cerrado si, y slo si, para cada x X \ A existe un vecindad N de x tal que
N X \ A.
3.2.8 Corolario.
U si, y slo si, para cada x U existe una vecindad N de x tal que N U.
3.2.9 Corolario.
El Corolario 3.2.9 nos permite vericar si un conjunto es abierto o no. Este corolario plantea
que un conjunto U es abierto si, y slo si, para cada uno de sus puntos, podemos encontrar un
conjunto abierto que est contenido en U .
Ejercicios 3.2
1.
3.2.
2.
65
VECINDADES
A B A B.
(ii) Construya un ejemplo en el cual
A B = A B.
3.
slo si, (i) (X, ) es un T1 -espacio, y (ii) cada subconjunto innito de X es denso en X .
4.
es nito;
66
CHAPTER 3.
PUNTOS LMITES
Usando el Ejercicio 6 anterior, verique que A es denso en (X, ) si, y slo si, Int(X \A) = .
8.
(X, )
(i) Int(A1 A2 ) = Int(A1 ) Int(A2 ),
(ii) Int(A1 A2 ) = Int(A1 ) Int(A2 ),
(iii) A1 A2 = A1 A2 .
(Si alguna de sus respuestas es verdadera, tiene que escribir una demostracin. Si su
respuesta es falsa, tiene que dar un contraejemplo concreto.)
9.* Sea S un subconjunto denso de un espacio topolgico (X, ). Demuestre que para cada
subconjunto abierto U de X , S U = U .
10. Sean S y T subconjuntos densos de un espacio (X, ). Si T es adems abierto, deduzca del
Ejercicio 9 anterior que S T es denso en X .
11. Sea B = {[a, b) : a R, b Q, a < b}. Demuestre cada una de las siguientes armaciones.
(i)
1 sobre R.
Sorgenfrey.)
(ii) Si
1 .
(iii) Para todos a, b R con a < b, [a, b) es un conjunto abierto y cerrado en (R, 1 ).
(iv) La recta de Sorgenfrey es un espacio separable.
(v)* La recta de Sorgenfrey no satisface el segundo axioma de numerabilidad.
3.3.
67
CONEXIDAD
3.3 Conexidad
3.3.1 Observacin.
conozca. Sea S cualquier conjunto de nmeros reales. Si existe un elemento b en S tal que x b,
para todo x S , entonces b es el elemento mayor de S . Igualmente, si S contiene un elemento
La menor cota superior, conocida tambin como el supremo de S , y denotado por sup(S),
pudiera o no pertenecer al conjunto S . En efecto, el supremo de S es un elemento de S si, y
slo si, S tiene un elemento mayor. Por ejemplo, el supremo del intervalo abierto S = (1, 2) es 2
pero 2
/ (1, 2), mientras que el supremo de [3, 4] es 4 que yace en [3, 4] y 4 es el elemento mayor
de [3, 4]. Cualquier conjunto S de nmeros reales que es acotado inferiormente tiene una mayor
3.3.2 Lema.
Demostracin.
a < b tal que p (a, b) R \ S . Como p es la menor cota superior de S y a < p, es evidente que
existe un x S tal que a < x. Adems x < p < b, y por lo tanto x (a, b) R \ S. Pero sto es
una contradiccin, pues x S. Por consiguiente, nuestra suposicin es falsa y p S.
3.3.3 Proposicin.
T = .
68
CHAPTER 3.
Demostracin.
PUNTOS LMITES
elemento z R \ T . Sin prdida de generalidad, asuma x < z . Tome S = T [x, z]. Entonces S ,
siendo la interseccin de dos conjuntos cerrados, es cerrado. S es tambin acotado superiormente,
puesto que z es evidentemente un cota superior. Sea p el supremo de S . Por el Lema 3.3.2, p S .
Puesto que p [x, z], p z . Como z R \ S , p = z y por lo tanto p < z .
Ahora T es tambin un conjunto abierto y p T . Por lo que existen a y b en R con a < b tal
que p (a, b) T . Sea t tal que p < t < min(b, z), donde min(b, z) denota al menor de b y z . Por
consecuencia t T y t [p, z]. Consiguientemente, t T [x, z] = S . sto es una contradiccin,
pues t > p y p es el supremo de S . Como resultado, nuestra suposicin es falsa, y por lo tanto
T = R o T = .
3.3.4 Denicin.
3.3.5 Proposicin.
3.3.6 Ejemplo.
3.3.7 Ejemplo.
los nicos conjuntos abiertos y cerrados son X y . (En efecto, los nicos conjuntos abiertos son
X y .)
3.3.8 Ejemplo.
Si X = {a, b, c, d, e} y
3.3.
69
CONEXIDAD
3.3.9 Observacin.
conexo (es decir, ste es disconexo) si, y slo si, existen conjuntos abiertos no vacos A y B tal
que A B = y A B = X .1 (Vea los Ejercicios 3.3 #3.)
Concluimos est seccin sealando que R2 (y ciertamente, Rn , para cada n 1) es un espacio
conexo. Sin embargo, la demostracin es dejada para el Captulo 5.
Conexidad es una propiedad muy importante acerca de la cual tendremos mucho ms que
decir.
Ejercicios 3.3
1. Sean S un conjunto de nmeros reales y T = {x : x S}.
(a) Demuestre que el nmero real a es el nmo de S si, and slo si a es el supremo de T .
(b) Usando (a) y el Axioma del Supremo demuestre que todo conjunto no vaco de nmeros
reales que es acotado inferiormente tiene un nmo.
2. Para cada uno de los siguientes conjuntos de nmeros reales encuentre el mayor elemento y
el supremo, si stos existen.
(i) S = R.
(ii) S = Z = el conjunto de todos los enteros.
(iii) S = [9, 10).
(iv) S = el conjunto de todos los nmeros reales de la forma 1
3
,
n2
donde n es un entero
positivo.
(v) S = (, 3].
3. Sea (X, ) un espacio topolgico cualquiera. Demuestre que (X, ) no es conexo si, y slo
si, ste tiene subconjuntos A y B que son disjuntos, no vacos, propios y abiertos, tal que
A B = X.
4. Es el espacio (X, ) del Ejemplo 1.1.2 conexo?
1 La mayora de los libros usa esta propiedad para denir conexidad.
70
CHAPTER 3.
PUNTOS LMITES
5. Sea (X, ) cualquier conjunto innito con la topologa conita. Es (X, ) conexo?
6. Sea (X, ) un conjunto innito con la topologa numerable cerrada. Es (X, ) conexo?
7. Cules de los espacios topolgicos de los Ejercicios 1.1 #9 son conexos?
3.4 Postdata
En este captulo introducimos la nocin de punto lmite y mostramos que un conjunto es cerrado
si, y slo si, ste contiene todos sus puntos lmites. Entonces la Proposicin 3.1.8 nos dice que
cualquier conjunto A tiene un menor conjunto cerrado A que lo contiene. Este conjunto A es
llamado la clausura de A.
Un subconjunto A de un espacio topolgico (X, ) se dice que es denso en X si A = X .
Vimos que Q es denso en R y que el conjunto P de todos los nmeros irracionales es tambin
denso en R. Introducidos la nocin de vecindad de un punto y la nocin de espacio topolgico
conexo. Demostramos un resultado importante: R es conexo. Como dijimos anteriormente, ms
delante tendremos mucho ms que decir acerca de conexidad.
En los ejercicios introducimos la nocin de interior de un conjunto, la cual es complementaria
a la de clausura de un conjunto.
Chapter 4
Homeomorsmos
Introduccin
En cada rama de las matemticas resulta esencial reconocer cuando dos estructuras son equivalentes.
Por ejemplo, dos conjuntos son equivalentes, en teora de conjuntos, si existe una funcin biyectiva
biyectiva que transforma un conjunto en el otro. Dos grupos son equivalentes (o isomorfos) si existe
un homomorsmo de uno al otro que es inyectivo y sobreyectivo. Dos espacios topolgicos son
equivalentes (o homeomorfos), si existe un homeomorsmo de uno sobre el otro.
4.1 Subespacios
4.1.1 Denicin.
La coleccin
= {O Y : O
).
subespacio de (X, ).
Por supuesto, el lector debe chequear que TY es ciertamente una topologa sobre Y .
71
72
CHAPTER 4.
4.1.2 Ejemplo.
HOMEOMORFISMOS
Sean X = {a, b, c, d, e, f },
Y
4.1.3 Ejemplo.
= {Y, , {c}}.
Y
4.1.4 Ejemplo.
sobre X y Y un subconjunto de X .
4.1.5 Ejemplo.
sobre [1, 2] es
Pero aqu vemos que estn ocurriendo algunas cosas sorprendentes; p.ej. [1, 1 12 ) no es de por
s un conjunto abierto en R, pero [1, 1 12 ) = (0, 1 12 ) [1, 2], es un conjunto abierto en el subespacio
[1, 2].
Adems, (1, 2] y [1, 2] no son abiertos en R pero son abiertos en [1, 2].
Por lo que siempre que hablemos de que un conjunto es abierto, tenemos que explicar
claramente en qu espacio o en qu topologa el conjunto es abierto.
4.1.
73
SUBESPACIOS
4.1.6 Ejemplo.
Demostracin.
discreta.
Ejercicios 4.1
1. Sean X = {a, b, c, d, e} y
= {X, , {a}, {a, b}, {a, c, d}, {a, b, c, d}, {a, b, e}}. Liste los
sobre Y = {a, c, e} y
74
CHAPTER 4.
HOMEOMORFISMOS
2. Describa la topologa inducida sobre el conjunto N de los enteros positivos por la topologa
Euclidiana sobre R.
3. Escriba una base de la topologa usual sobre cada uno de los siguientes conjuntos:
(i) [a, b), donde a < b;
(ii) (a, b], donde a < b;
(iii) (, a];
(iv) (, a);
(v) (a, );
(vi) [a, ).
[Consejo: Vea los Ejemplos 4.1.4 y 4.1.5.]
4. Sean A B X y X con la topologa
Adems, sean
A por
B.
Sea
Demuestre que
, y 2
subespacio.)
5. Sea (Y, Y ) un subespacio de un espacio (X, ). Muestre que un subconjunto Z de Y es
cerrado en (Y, Y ) si, y slo si, Z = A Y , donde A es un subconjunto cerrado de (X, ).
6. Muestre que todo subespacio de un espacio discreto es discreto.
7. Muestre que todo subespacio de un espacio indiscreto es indiscreto.
8. Muestre que el subespacio [0, 1][3, 4] de R tiene al menos 4 subconjuntos abiertos y cerrados.
Cuntos subconjuntos abiertos y cerrados tiene exactamente?
9. Es cierto que todo subespacio de un espacio conexo es conexo?
10. Sea (Y, Y ) un subespacio de (X, ). Muestre que
[Consejo: Recuerde que Y Y .]
4.1.
SUBESPACIOS
75
T1 -espacio.
13. Un espacio topolgico (X, ) se dice que es un espacio de Hausdor (o un T2 -espacio) si
dado cualquier par de puntos distintos a, b en X existen conjuntos abiertos U y V tal que
a U , b V , y U V = .
(i) Muestre que R es Hausdor.
(ii) Demuestre que todo espacio discreto es Hausdor.
(iii) Muestre que cualquier T2 -espacio es tambin un T1 -espacio.
(iv) Muestre que Z con la topologa conita es un T1 -espacio pero no es un T2 -espacio.
(v) Demuestre que cualquier subespacio de un T2 -espacio es un T2 -espacio.
14. Sea (Y, 1 ) un subespacio de un espacio topolgico (X, ). Si (X, ) satisface el segundo
axioma de numerabilidad, muestre que (Y, 1 ) tambin satisface el segundo axioma de
numerabilidad.
15. Tome a y b en R con a < b. Demuestre que [a, b] es conexo.
[Consejo: En el enunciado y la demostracin de la Proposicin 3.3.3 reemplace R en todas
partes por [a, b].]
16. Sea Q el conjunto de todos los nmeros racionales con la topologa usual y sea P el conjunto
de todos los nmeros irracionales con la topologa usual.
(i) Demuestre que ni Q ni P es un espacio discreto.
(ii) Es Q o P un espacio conexo?
(iii) Es Q o P un espacio de Hausdor?
(iv) Tiene Q o P la topologa conita?
76
CHAPTER 4.
HOMEOMORFISMOS
17. Un espacio topolgico (X, ) se dice que es un espacio regular si para cada subconjunto
cerrado A de X y cualquier punto x X \ A, existen conjuntos abiertos U y V tal que
(i)
4.2 Homeomorsmos
Ahora giremos nuestra atencin a la nocin de espacios topolgicos equivalentes. Comencemos
considerando un ejemplo:
X = {a, b, c, d, e},
Y = {g, h, i, j, k},
4.2.
77
HOMEOMORFISMOS
4.2.1 Denicin. Sean (X, ) y (Y, 1 ) espacios topolgicos. Entonces stos se dicen
que son homeomorfos si existe una funcin f : X Y con las propiedades siguientes:
(i) f es inyectiva (es decir, f (x1 ) = f (x2 ) implica x1 = x2 ),
(ii) f es sobreyectiva (es decir, para toda y Y existe una x X tal que f (x) = y ),
(iii) para cada U 1 , f 1 (U ) , y
(iv) para cada V , f (V ) 1 .
Adems, la funcin f se llama homeomorsmo entre (X, ) y (Y, 1 ). En este caso
escribimos (X, )
2
= (Y, 1 ).
Demostraremos que
= es una relacin de equivalencia, y usaremos sto para mostrar que
todos los intervalos abiertos (a, b) son homeomorfos entre ellos. El Ejemplo 4.2.2 es nuestro primer
paso, pues ste muestra que
= es una relacin transitiva.
Sean (X, ), (Y, 1 ) y (Z, 2 ) espacios topolgicos. Si (X, )
= (Y, 1 ) y
(Y, 1 )
= (Z, 2 ), demuestre que (X, )
= (Z, T2 ).
4.2.2 Ejemplo.
Demostracin.
Sabemos que (X, )
= (Y, 1 ); es decir, existe un homeomorsmo f : (X, )
(Y, 1 ). Tambin sabemos que (Y, 1 )
= (Z, 2 ); es decir, existe un homeomorsmo
g : (Y, 1 ) (Z, 2 ).
Tenemos que demostrar que (X, )
= (Z, 2 ); es decir, tenemos que encontrar
un homeomorsmo h : (X, ) (Z, 2 ). Demostraremos que la funcin compuesta
g f : X Z es el homeomorsmo requerido.
Como (X, )
= (Y, 1 ) y (Y, 1 )
= (Z, 2 ), existen homeomorsmos f : (X, T ) (Y, 1 )
y g : (Y, 1 ) (Z, 2 ). Considere la funcin compuesta g f : X Z . [Por lo tanto
(g f )(x) = g(f (x)), para toda x X.] Es una tarea rutinaria vericar que g f es inyectiva
y sobreyectiva. Ahora sea U
2.
1.
78
CHAPTER 4.
HOMEOMORFISMOS
Pero
sea V
2; es decir (g f )(V ) 2,
homeomorsmo.
4.2.3 Observacin.
(Simtrica);
2
Las prximos tres ejemplos muestran que todos los intervalos abiertos en R son homeomorfos.
La longitud no es ciertamente una propiedad topolgica. En particular, un intervalo abierto de
longitud nita, como (0, 1), es homeomorfo a uno de longitud innita, como (, 1). De hecho,
todos los intervalos abiertos son homeomorfos a R.
4.2.
79
HOMEOMORFISMOS
4.2.4 Ejemplo.
son homeomorfos.
Idea de la Demostracin.
Por la Observacin 4.2.3, es suciente mostrar que (a, b) es homeomorfo a (0, 1) y que
(c, d) es homeomorfo a (0, 1). Pero como a y b son arbitrarios (excepto que a < b),
si (a, b) es homeomorfo a (0, 1) entonces (c, d) es tambin homeomorfo a (0, 1). Para
demostrar que (a, b) es homeomorfo a (0, 1), es suciente encontrar un homeomorsmo
...
......
.....
......
.
.
.
.
.
...
......
......
......
......
.
.
.
.
.
...
......
......
......
......
.
.
.
.
.
...
......
......
......
......
.
.
.
.
.
....
.....
......
......
.....
f (un conjunto abierto en (0, 1)) = f (una unin de intervalos abiertos en (0, 1))
= una unin de intervalos abiertos en (a, b)
= un conjunto abierto en (a, b).
80
CHAPTER 4.
HOMEOMORFISMOS
Por lo que la condicin (iv) de la Denicin 4.2.1 se satisface. Del mismo modo, vemos que
f 1 (un conjunto abierto en (a, b)) es un conjunto abierto en (0, 1). Por lo que la condicin (iii) de
la Denicin 4.2.1 tambin se satisface.
[Ejercicio: Escriba la demostracin anterior cuidadosamente.]
Por consiguiente, f es un homeomorsmo y (0, 1)
= (a, b), para todo a, b R con a < b.
De lo anterior se sigue inmediatamente que (a, b)
= (c, d), como se requera.
4.2.5 Ejemplo.
la topologa usual.
x
.
1 | x |
.
...
...
....
.
..
..
..
..
...
..
..
..
..
...
..
..
..
..
....
..
...
..
..
.
.
.
...
...
...
...
.
.
...
.....
.....
....
...
.
.
.
...
...
...
..
.
...
...
...
....
..
..
..
...
...
.
..
..
..
..
...
.
..
..
...
.....
...
...
4.2.6 Ejemplo.
Demostracin.
4.2.3.
Demuestre que todo intervalo abierto (a, b), con a < b, es homeomorfo a R.
sto sigue inmediatamente de los Ejemplos 4.2.5 y 4.2.4, y la Observacin
4.2.
81
HOMEOMORFISMOS
4.2.7 Observacin.
Ejercicios 4.2
1. (i) Si a, b, c, y d son nmeros reales con a < b y c < d, demuestre que [a, b]
= [c, d].
(ii) Si a y b son nmeros reales cualesquiera, demuestre que
(, a]
= (, b]
= [a, )
= [b, ).
(iii) Si c, d, e, y f son nmeros reales cualesquiera con c < d y e < f , demuestre que
[c, d)
= [e, f )
= (c, d]
= (e, f ].
(iv) Deduzca que para nmeros reales cualesquiera a y b con a < b,
[0, 1)
= (, a]
= [a, )
= [a, b)
= (a, b].
2. Demuestre que Z
=N
3. Sean m y c nmeros reales distintos de cero, y X el subespacio de R2 dado por X = {x, y :
D1 = {x, y : x2 + y 2 c1 }
y
D2 = {x, y : x2 + y 2 c2 }
82
CHAPTER 4.
HOMEOMORFISMOS
4.3.
83
ESPACIOS NO HOMEOMORFOS
4.3.1 Ejemplo.
Demostracin.
Por lo que Y no es conexo, pues tiene a [0, 1] como un subconjunto propio, no vaco que es abierto
y cerrado .
Suponga que (X, )
= (Y, 1 ). Entonces existe un homeomorsmo f : (X, ) (Y, 1 ).
Por lo que f 1 ([0, 1]) es un subconjunto abierto y cerrado de X , y como consecuencia X no es
conexo. sto es falso pues [0, 2] = X es conexo. (Vea los Ejercicios 4.1 #15.) Consiguientemente,
tenemos una contradiccin, y por lo tanto (X, )
= (Y, 1 ).
2
Qu podemos aprender de este ejemplo?
4.3.2 Proposicin.
conexo.
La Proposicin 4.3.2 nos brinda una va para tratar de probar que dos espacios topolgicos
no son homeomorfos . . . encontrando una propiedad preservada por homeomorsmos que un
espacio tiene y el otro no.
84
CHAPTER 4.
HOMEOMORFISMOS
En los ejercicios nos hemos encontrado con muchas propiedades que son preservadas por
homeomorsmos:
(i) T0 -espacio;
(ii) T1 -espacio;
(iii) T2 -espacio o Hausdor espacio;
(iv) espacio regular;
(v) T3 -espacio;
(vi) satisfacer el segundo axioma de numerabilidad;
(vii) espacio separable. [See los Ejercicios 4.2 #7.]
X es numerable y Y es innumerable) o si
tienen
cardinalidades diferentes.
No obstante, cuando nos enfrentamos a un problema especco, pudiramos no tener la
propiedad que necesitamos. Por ejemplo, al mostrar que (0, 1) no es homeomorfo a [0, 1] o
al mostrar que R no es homeomorfo a R2 . Veremos cmo mostrar que estos espacios no son
homeomorfos dentro de poco.
4.3.
ESPACIOS NO HOMEOMORFOS
85
4.3.3 Denicin.
4.3.4 Observaciones.
(ii) Cada intervalo tiene una de las formas siguientes: {a}, [a, b], (a, b), [a, b), (a, b], (, a),
4.3.5 Proposicin.
Demostracin.
Que todos los intervalos son conexos puede ser probado de manera similar a
la Proposicin 3.3.3 reemplazando todas las ocurrencias deR en la demostracin por el intervalo
que estamos tratando de probar que es conexo.
Por otro lado, sea S conexo. Suponga que x S, z S , x < y < z , y y
/ S . Entonces
Ahora vemos una razn de por qu el nombre conexo. Subespacios de R tales como [a, b],
86
CHAPTER 4.
4.3.6 Observacin.
HOMEOMORFISMOS
3.
4.3.7 Corolario.
(i) (a, b)
= [c, d),
(ii) (a, b)
= [c, d], y
(iii) [a, b)
= [c, d].
Demostracin. (i) Sean (X, ) = [c, d) y (Y, 1 ) = (a, b). Suponga que (X, )
= (Y, 1 ).
Entonces X \ {c}
= Y \ {y}, para alguna y Y . Pero, X \ {c} = (c, d) es un intervalo, y por lo
tanto es conexo, mientras que, independientemente de cul punto removamos de (a, b), el espacio
resultante es disconexo. Por lo tanto, por la Proposicin 4.3.2,
X \ {c}
= Y \ {y}, para toda y Y.
sto es una contradiccin. Por consiguiente, [c, d)
= (a, b).
(ii) [c, d] \ {c} es conexo, mientras que (a, b) \ {y} es disconexo para toda y (a, b). Como
consecuencia, (a, b)
= [c, d].
Suponga que [a, b)
= [c, d]. Entonces [c, d] \ {c}
= [a, b) \ {y} para alguna y [a, b).
Por lo tanto, ([c, d] \ {c}) \ {d}
= ([a, b) \ {y}) \ {z}, para alguna z [a, b) \ {y}; es decir,
(c, d)
= [a, b) \ {y, z}, para elementos distintos y y z en [a, b). Pero (c, d) es conexo, mientras que
(iii)
[a, b) \ {y, z}, para dos puntos distintos cualesquiera y y z en [a, b), es disconexo. Como resultado,
tenemos una contradiccin. Consiguientemente, [a, b)
= [c, d].
2
4.3.
87
ESPACIOS NO HOMEOMORFOS
Ejercicios 4.3
1. Deduzca de lo anterior (Corolario 4.3.7) que todo intervalo es homeomorfo a uno y slo uno
de los espacios siguientes:
{0};
(0, 1);
[0, 1];
[0, 1).
(iii)] Observando que para todo punto a X , el subespacio X \ {a} es conexo, muestre
que X
= [0, 1).
(iv) Deduzca que X no es homeomorfo a ningn intervalo.
4. Sea Y el subespacio de R2 dado por
88
CHAPTER 4.
HOMEOMORFISMOS
7. (i) Demuestre que el espacio topolgico de los Ejercicios 1.1 #5 (i) no es homeomorfo al
espacio de los Ejercicios 1.1 #9 (ii).
(ii)* En los Ejercicios 1.1 #5, es (X, 1 )
= (X, 2 )?
(iii)* En los Ejercicios 1.1 # 9, es (X, 2 )
= (X, 9 )?
8. Sea (X, ) un espacio topolgico, donde X es un conjunto innito. Demuestre cada una de
las armaciones siguientes (originalmente demostradas por John Ginsburg and Bill Sands
[92]).
(i)* (X, ) tiene un subespacio homeomorfo a (N, 1 ), donde o 1 es la topologa indiscreta
o (N, 1 ) es un T0 -espacio.
(ii)** Sea (X, ) un T1 -espacio. Entonces (X, ) tiene un subespacio homeomorfo a (N, 2 ),
donde
(iii)
(iv)** Sea (X, ) un T0 -espacio que no es un T1 -espacio. Entonces el espacio (X, ) tiene
un subespacio homeomorfo a (N, 1 ), donde
conjuntos {1, 2, . . . , n}, n N, o
{n, n + 1, . . . }, n N.
(v)
topologa conita, o una de las dos topologas descritas en (iv), conocidas como la
homeomorsmo local si cada punto x X tiene una vecindad abierta U tal que f
transforma U homeomrcamente en un subespacio abierto V de (Y, 1 ); es decir, si la
es
4.4.
POSTDATA
(i)
89
4.4 Postdata
Existen tres maneras importantes de crear nuevos espacios topolgicos a partir de viejos: la
formacin de subespacios, los productos, y los espacios cocientes. Nosotros examinaremos estas
tres vas en el momento apropiado. La formacin de subespacios fue estudiada en este captulo.
sto nos permiti introducir los espacios Q, [a, b], (a, b), etc.
Denimos la importante nocin de homeomorsmo. Notamos que
= es una relacin de
equivalencia. Una propiedad se dice que es topolgica si es preservada por homeomorsmos; es
decir, si (X, T )
= (Y, 1 ) y (X, ) tiene la propiedad entonces (Y, T1 ) tiene que tener tambin
la propiedad. Fue mostrado que la conexidad es una propiedad topolgica. Por lo que cualquier
espacio homeomorfo a un espacio conexo es conexo. (Algunas otras propiedades topolgicas fueron
tambin identicadas.) Formalmente denimos la nocin de un intervalo en R, y mostramos que
los intervalos son precisamente los espacios conexos de R.
Dados dos espacios topolgicos (X, ) y (Y, 1 ) es una tarea interesante mostrar si ellos son
homeomorfos o no. Demostramos que todo intervalo en R es homeomorfo a uno y slo uno de los
conjuntos siguientes [0, 1], (0, 1), [0, 1), y {0}. En el captulo prximo mostraremos que R no es
homeomorfo a R2 . Un problema ms difcil es el de mostrar que R2 no es homeomorfo a R3 . sto
ser hecho ms adelante a travs del Teorema de la curva de Jordan. Sin embargo, la or y nata
es el hecho de que Rn
= Rm si, y slo si, n = m. De la mejor forma que sto es analizado es a
travs de la topologa algebraica, la cual es tratada brevemente en este libro.
Los Ejercicios 4.2 #6 introdujeron la nocin de grupo de homeomorsmos, la cual es por s
misma un tema interesante e importante.
Chapter 5
Funciones Continuas
Introduccin
En la mayora de las ramas de las matemticas puras estudiamos lo que en teora de categoras
son llamados objetos y echas. En lgebra lineal los objetos son espacios vectoriales y las
echas son transformaciones lineales. En teora de grupos los objetos son grupos y las echas
son homomorsmos, mientras en teora de conjuntos los objetos son conjuntos y las echas son
funciones. En topologa los objetos son los espacios topolgicos. Ahora introducimos las echas
90
5.1.
91
FUNCIONES CONTINUAS
Esta denicin constituye una mejora pues no involucra el concepto de valor absoluto pero
an envuelve el concepto de sustraccin. El lema prximo muestra cmo evitar la sustraccin.
5.1.1 Lema.
si, y slo si, para cada a R y cada conjunto abierto U que contiene f (a), existe un conjunto
abierto V que contiene a tal que f (V ) U .
Demostracin.
contiene f (a). Entonces existen nmeros reales c y d tal que f (a) (c, d) U . Ponga igual al
menor de los dos nmeros d f (a) y f (a) c, tal que
(f (a) , f (a) + ) U.
Como la funcin f es continua, existe un > 0 tal que f (x) (f (a) , f (a) + ) para toda
U es un conjunto abierto que contiene f (a). Como resultado, existe un conjunto abierto V que
contiene a tal que f (V ) U . Como V es un conjunto abierto conteniendo a, existen nmeros
reales c y d tal que a (c, d) V . Ponga igual al menor de los dos nmeros d a y a c,
tal que (a , a + ) V . Entonces para toda x (a , a + ), f (x) f (V ) U , como se
requera. Por consiguiente, f es continua.
Nosotros podramos usar la propiedad descrita en el Lema 5.1.1 para denir continuidad, sin
embargo el lema siguiente nos permite hacer una denicin ms elegante.
92
CHAPTER 5.
5.1.2 Lema.
FUNCIONES CONTINUAS
tal que a V y
f (V ) U .
Demostracin.
tal
Por consiguiente la
Poniendo juntos Lemas 5.1.1 y 5.1.2, vemos que f : R R es continua si, y slo si, para
cada subconjunto abierto U de R, f 1 (U ) es un conjunto abierto.
sto nos lleva a denir la nocin de una funcin continua entre dos espacios topolgicos de
la manera siguiente:
5.1.3 Denicin.
en Y . Entonces f : (X, ) (Y, 1 ) se dice que es una funcin continua si para cada
U 1 , f 1 (U ) .
De las observaciones anteriores, vemos que esta denicin de continuidad coincide con la
denicin usual cuando (X, ) = (Y, 1 ) = R.
5.1.
93
FUNCIONES CONTINUAS
Revisemos algunos ejemplos sencillos para ver con que facilidad esta denicin de continuidad
se aplica en la prctica.
5.1.4 Ejemplo.
5.1.5 Ejemplo.
5.1.6 Ejemplo.
{
x 1,
si x 3
f (x) = 1
(x + 5), si x > 3.
2
.......
.......
.......
.......
.
.
.
.
.
.
...
.......
.......
.......
.......
.......
.
.
.
.
.
.
..
.......
.......
5
4
3
2
...
.....
.....
.....
.
.
.
.
.....
....
.....
.....
.....
.
.
.
.
.....
.....
.....
.....
....
.
.
.
.
...
.....
.....
.....
....
.....
Recuerde que una funcin es continua si, y slo si, la imagen inversa de todo conjunto
abierto es un conjunto abierto.
Por lo tanto, para mostrar que f no es continua, tenemos que encontrar solamente
un conjunto U tal que f 1 (U ) no sea abierto.
Entonces, f 1 ((1, 3)) = (2, 3], el cual no es un conjunto abierto. Por consiguiente, f no es
continua.
94
CHAPTER 5.
FUNCIONES CONTINUAS
Note que el Lema 5.1.2 puede ser enunciado nuevamente de la siguiente forma.2
5.1.7 Proposicin.
(Y, ). Entonces, f es continua si, y slo si, para cada x X y cada U con f (x) U ,
existe un V tal que x V y f (V ) U .
5.1.8 Proposicin.
Si f :
Demostracin.
Para probar que la funcin compuesta g f : (X, ) (Z, 2 ) es continua, tenemos
que mostrar que si U 2 , entonces (g f )1 (U ) .
Pero (g f )1 (U ) = f 1 (g 1 (U )).
f 1 (g 1 (U )) es abierto en
, pues f
g f es continua.
El prximo resultado nos muestra que la continuidad puede ser descrita in trminos de
conjuntos cerrados en vez de conjuntos abiertos si deseamos.
5.1.9 Proposicin.
(Y, 1 ) es continua si, y slo si, para todo subconjunto cerrado S de Y, f 1 (S) es un
subconjunto cerrado de X .
2 Si no ha ledo el Lema 5.1.2 y su demostracin, debe hacerlo ahora.
5.1.
95
FUNCIONES CONTINUAS
Demostracin.
5.1.10 Observacin.
5.1.11 Proposicin.
Un resultado til es la proposicin siguiente, la cual nos dice que la restriccin de una funcin
continua es una funcin continua. Su demostracin rutinaria es dejada al lectorvea tambin el
Conjunto de Ejercicios 5.1 #8.
5.1.12 Proposicin.
96
CHAPTER 5.
FUNCIONES CONTINUAS
Ejercicios 5.1
1. (i) Sea f : (X, ) (Y, 1 ) una funcin constante. Muestre que f es continua.
(ii) Sea f : (X, ) (X, ) la funcin identidad. Muestre que f es continua.
2. Sea f : R R dada por
{
1, x 0
f (x) =
1, x > 0.
{
x,
x1
f (x) =
x + 2, x > 1.
1.
Muestre que
(U ) , para todo U B1 .
5.2.
97
9. Sea f una funcin de un espacio (X, ) en un espacio (Y, ). Demuestre que f es continua
si, y slo si, para cada x X y cada vecindad N de f (x) existe una vecindad M de x tal
que f (M ) N .
10. Sean 1 y 2 dos topologas sobre un conjunto X . Entonces 1 se dice que es una topologa
ms na3 que
Demuestre que
(i) la topologa Euclidiana R es ms na que la topologa conita sobre R;
(ii) la funcin identidad f : (X, 1 ) (X, 2 ) es continua si, y slo si, 1 es una topologa
ms na que
2.
11. Sea f : R R una funcin continua tal que f (q) = 0 para todo nmero racional q .
Demuestre que f (x) = 0 para toda x R.
12. Sean (X, ) y (Y, 1 ) espacios topolgicos, y f : (X, ) (Y, 1 ) una funcin continua. Si
13. Sean (X, ) y (Y, 1 ) espacios topolgicos, y sea f una funcin de (X, ) en (Y, 1 ).
Demuestre que f es continua si, y slo si, para todo subconjunto A de X, f (A) f (A).
[Consejo: Use la Proposicin 5.1.9.]
98
CHAPTER 5.
Demostracin.
FUNCIONES CONTINUAS
5.2.2 Observaciones.
5.2.3 Denicin. Un espacio topolgico (X, ) se dice que es conexo por caminos
(o arcoconexo) si para cada par de puntos distintos a y b de X existe una funcin continua
f : [0, 1] (X, ), tal que f (0) = a y f (1) = b. La funcin f se dice que es un camino
uniendo a a b.
.
5.2.4 Ejemplo.
5.2.5 Ejemplo.
5.2.
5.2.6 Proposicin.
Demostracin.
99
Entonces (X, ) tiene un subconjunto U que es propio, no vaco, abierto y cerrado. Por lo
que, existen a y b tal que a U y b X \ U . Como (X, ) es conexo por caminos, existe una
funcin continua f : [0, 1] (X, ) tal que f (0) = a y f (1) = b.
Sin embargo, f 1 (U ) es un subconjunto abierto y cerrado de [0, 1]. Como a U, 0 f 1 (U ),
y por lo tanto f 1 (U ) = . Como b U, 1 f 1 (U ), y como consecuencia f 1 (U ) = [0, 1].
Por consiguiente, f 1 (U ) es un subconjunto propio, no vaco, abierto y cerrado de [0, 1], lo cual
contradice la conexidad de [0, 1].
Consecuentemente, (X, ) es conexo.
5.2.7 Observacin.
5.2.8 Ejemplo.
conexo por caminos, y por lo tanto, por la Proposicin 5.2.6, es conexo. Sin embargo, por la
2
Proposicin 4.3.5, R \ {a}, para toda a R, es disconexo. Por consiguiente, R
= R2 .
Ahora presentamos el Teorema del Valor Intermedio de Weierstrass, el cual es una bella
aplicacin de la topologa a la teora de funciones de variable real. El concepto topolgico crucial
del resultado es el de conexidad.
100
CHAPTER 5.
5.2.9 Teorema.
FUNCIONES CONTINUAS
R continua tal que f (a) = f (b). Entonces para cada nmero p entre f (a) y f (b) existe un
punto c [a, b] tal que f (c) = p.
Demostracin.
Como [a, b] es conexo yf es continua, la Proposicin 5.2.1 nos dice que f ([a, b])
es conexo. Por la Proposicin 4.3.5, sto implica que f ([a, b]) es un intervalo. Ahora f (a) y f (b)
estn en f ([a, b]). Por lo que, si p est entre f (a) y f (b), p f ([a, b]), es decir, p = f (c), para
algn c [a, b].
5.2.10 Corolario.
5.2.11 Corolario.
5.2.12 Observacin.
llamado el Teorema del Punto Fijo de Brouwer el cual dice que si usted transforma un cubo
n-dimensional en el mismo continuamente, entonces existe un punto jo.
[Existen muchas
5.2.
101
Ejercicios 5.2
1.
Demuestre que una imagen continua de un espacio conexo por caminos es conexa por
caminos.
2.
Sea f una funcin continua del intervalo [a, b] en el mismo, donde a, b R y a < b. Demuestre
que existe un punto jo.
3.
(i) D un ejemplo que muestre que el Corolario 5.2.11 sera falso si reemplazamos [0, 1]
por (0, 1) en todas partes.
(ii) Un espacio topolgico (X, ) se dice que tiene la propiedad del punto jo si toda
funcin continua de (X, ) en el mismo tiene un punto jo. Muestre que los nicos
intervalos que tienen la propiedad del punto jo son los los intervalos cerrados.
(iii) Sea X un conjunto con al menos dos puntos. Demuestre que el espacio discreto (X, )
y el espacio indiscreto (X, ) no tienen la propiedad del punto jo.
(iv) Existe algn espacio con la topologa conita que tenga la propiedad del punto jo?
(v) Demuestre que si el espacio (X, ) tiene la propiedad del punto jo y (Y, 1 ) es un
espacio homeomorfo a (X, ), entonces (Y, 1 ) tiene la propiedad del punto jo.
4.
Aj es conexo.
Aj = , muestre que
jJ
5.
jJ
6.
7.
Sea E el conjunto de todos los puntos en R2 que tienen ambas coordenadas racionales.
Demuestre que el espacio R2 \ E es conexo por caminos.
102
CHAPTER 5.
FUNCIONES CONTINUAS
5.3.
POSTDATA
103
(iv) Usando (iii), muestre que un subconjunto abierto de R2 es conexo si, y slo si, es conexo
por caminos.
12.* Sean A y B subconjuntos de un espacio topolgico (X, ). Si A y B son ambos abiertos o
ambos cerrados, y A B y A B son ambos conexos, muestre que A y B son conexos.
13. Un espacio topolgico (X, ) se dice que es cero-dimensional si existe una base de la
topologa formada de conjuntos abiertos y cerrados. Demuestre las siguientes armaciones.
(i)
5.3 Postdata
En este captulo vimos que una funcin entre espacios topolgicos es llamada continua si tiene
la propiedad de que la imagen inversa de todo conjunto abierto es un conjunto abierto. sta es
una denicin elegante y fcil de entender. Ella contrasta con la denicin que nos encontramos
en el anlisis real, la cual fue mencionada al inicio de este captulo. Nosotros hemos generalizados
la denicin proveniente del anlisis real, no por el mero hecho de generalizar, sino para ver lo
que en realidad est pasando.
El Teorema del Valor Intermedio de Weierstrass parece intuitivamente evidente, pero vimos
que ste se sigue del hecho de que R es conexo y que cualquier imagen continua de un espacio
conexo es conexo.
104
CHAPTER 5.
FUNCIONES CONTINUAS
Chapter 6
Espacios Mtricos
Introduccin
La clase ms importante de espacios topolgicos es la clase de espacio mtricos. Los espacios
mtricos constituyen una fuente rica de ejemplos en topologa. Pero ms que esto, la mayora de
las aplicaciones de la topologa al anlisis son a travs de los espacio mtricos.
La nocin de espacio mtrico fue introducida en 1906 por Maurice Frchet, y fue desarrollada
y acuada por Felix Hausdor en 1914 (Hausdor [98]).
105
106
6.1.2 Ejemplo.
CHAPTER 6.
ESPACIOS MTRICOS
d(a, b) = |a b|,
a, b R
6.1.3 Ejemplo.
d(a1 , a2 , b1 , b2 ) =
(a1 b1 )2 + (a2 b2 )2
a1 , a2
..
........
........
.........
........
.
.
.
.
.
.
.
...
.........
........
........
.........
........
.
.
.
.
.
.
.
...
.........
........
........
.........
........
.
.
.
.
.
.
.
...
.........
.........
b1 , b2
.........
.........
..........
6.1.4 Ejemplo.
6.1.
107
ESPACIOS MTRICOS
6.1.5 Ejemplo.
|f (x) g(x)| dx
d(f, g) =
0
108
CHAPTER 6.
6.1.6 Ejemplo.
ESPACIOS MTRICOS
f y g.
6.1.7 Ejemplo.
6.1.8 Ejemplo.
6.1.
ESPACIOS MTRICOS
109
6.1.9 Ejemplo. Sea V un espacio vectorial sobre el campo de los nmeros reales o complejos.
Una norma sobre V es una funcin : V R tal que para toda a, b V y todo escalar en
el campo
(i) a 0, y a = 0 si, y slo si, a = 0;
(ii) a + b a + b ; y
(iii) a = || a .
Un espacio vectorial normado (V, ) es un espacio vectorial V con una norma .
Sea (V, ) cualquier espacio vectorial normado. Entonces existe una mtrica correspondiente,
d(a1 , b1 , c1 , a2 , b2 , c2 ) = (a1 a2 , b1 b2 , c1 c2 )
=
(a1 a2 )2 + (b1 b2 )2 + (c1 c2 )2 .
Ciertamente, Rn , para cualquier entero positivo n, es un espacio vectorial normado si ponemos
d(a1 , a2 , . . . , an , b1 , b2 , . . . , bn ) = a1 b1 , a2 b2 , . . . , an bn
=
(a1 b1 )2 + (a2 b2 )2 + + (an bn )2 .
110
CHAPTER 6.
ESPACIOS MTRICOS
En un espacio vectorial normado (N, ) la bola abierta con centro a y radio r se dene
como el conjunto
6.1.10 Denicin.
6.1.11 Ejemplo.
6.1.12 Ejemplo.
radio r.
6.1.
ESPACIOS MTRICOS
6.1.13 Ejemplo.
111
6.1.14 Ejemplo.
112
CHAPTER 6.
ESPACIOS MTRICOS
6.1.15 Lema.
1 y 2 nmeros positivos reales. Si c B1 (a) B2 (b), entonces existe un > 0 tal que
B (c) B1 (a) B2 (b).
6.1.16 Corolario.
6.1.17 Proposicin.
[la topologa
sobre X .
topolgico asociado.]
Demostracin.
6.1.18 Ejemplo.
inducida por la mtrica d es el conjunto de todas las bola abiertas. En este caso B (a) =
6.1.
113
ESPACIOS MTRICOS
6.1.19 Ejemplo.
6.1.20 Ejemplo.
Es dejado como ejercicio para el estudiante demostrar que la mtrica d1 del Ejemplo 6.1.14
tambin induce la topologa Euclidiana sobre R2 .
6.1.21 Ejemplo.
x X, B 1 (x) = {x}. Por lo tanto todos los conjuntos unitarios son abiertos en la topologa
2
es la topologa discreta.
En los Ejemplos 6.1.19, 6.1.20, y 6.1.14 vimos tres mtricas diferentes sobre el mismo
conjunto que induce la misma topologa.
6.1.22 Denicin.
Por lo que las mtricas d, d , y d1 , de los Ejemplos 6.1.3, 6.1.13, y 6.1.14 sobre R2 son
equivalentes.
6.1.23 Proposicin.
X por la mtrica d. Entonces un subconjunto U de X es abierto en (X, ) si, y slo si, para
cada a U existe un > 0 tal que la bola abierta B (a) U .
Demostracin.
Asuma que U . Entonces, por las Proposiciones 2.3.2 y 6.1.17, para toda
114
CHAPTER 6.
ESPACIOS MTRICOS
a B (a) U.
Por el contrario, asuma que U es un subconjunto de X con la propiedad de que para cada a U
existe un a > 0 tal que Ba (a) U . Entonces, por las Proposiciones 2.3.3 y 6.1.17, U es un
conjunto abierto.
Hemos visto que toda mtrica sobre un conjunto X induce una topologa sobre el conjunto
X . Sin embargo, ahora mostraremos que no toda topologa sobre un conjunto es inducida por una
mtrica. Primero presentamos una denicin que Ud. ya ha encontrado en los ejercicios. (Vea los
Ejercicios 4.1 #13. )
6.1.24 Denicin.
U y V tal que a U, b V , y U V = .
Por supuesto, R, R2 y todos los espacios discretos son ejemplos de espacios de Hausdor,
mientras que cualquier conjunto con al menos 2 elementos y con la topologa indiscreta no es un
espacio de Hausdor. Pensando un poco vemos que Z con la topologa conita no es tampoco un
espacio de Hausdor. (Convnzase Ud. mismo de todos estos hechos.)
6.1.25 Proposicin.
la topologa inducida
Demostracin.
Ponga = d(a, b). Considere las bolas abiertas B/2 (a) y B/2 (b). Entonces stas son conjuntos
abiertos en (X, ) con a B/2 (a) y b B/2 (b). Por lo que para mostrar que
es Hausdor
6.1.
115
ESPACIOS MTRICOS
sto nos indica que d(a, b) < , lo cual es falso. Consecuentemente, no existe x en B/2 (a)B/2 (b);
es decir, B/2 (a) B/2 (b) = , como se requera.
6.1.26 Observacin.
vemos que un espacio indiscreto con al menos dos puntos tiene una topologa que no es inducida
por ninguna mtrica. Adems, para Z con la topologa conita
tenemos que
no es inducida
6.1.27 Denicin.
Advertencia.
[La metrizabilidad de
Ejercicios 6.1
1. Demuestre que la mtrica d1 del Ejemplo 6.1.8 induce la topologa Euclidiana sobre R2 .
2. Sea d una mtrica sobre un conjunto no vaco X .
(i) Muestre que la funcin e denida por e(a, b) = min{1, d(a, b)} dondea, b X , es
tambin una mtrica sobre X .
(ii) Demuestre que d y e son mtricas equivalentes.
(iii) Un espacio mtrico (X, d) se llama acotado, y d es llamada mtrica acotada, si
existe un nmero real positivo M tal que d(x, y) < M , para toda x, y X . Usando (ii)
deduzca que toda mtrica es equivalente a una mtrica acotada.
116
CHAPTER 6.
ESPACIOS MTRICOS
3. (i) Sea d una mtrica sobre un conjunto no vaco X . Muestre que la funcin e denida por
e(a, b) =
d(a, b)
1 + d(a, b)
para toda a y b en Y . Si
subespacio sobre Y
x = (x1 , x2 , . . . , xn , . . . )
con la propiedad de que la serie
n=1
d1 (x, y) =
|xn yn |
n=1
6.1.
117
ESPACIOS MTRICOS
x = (x1 , x2 , . . . , xn , . . . )
con la propiedad de que la serie
n=1
d2 (x, y) =
) 21
|xn yn |2
n=1
d (x, y) = sup{|xn yn | : n N}
donde x, y , demuestre que ( , d ) es un espacio mtrico.
(iv) Sea c0 el subconjunto de formado de todas las secuencias que convergen a cero y
sea d0 la mtrica sobre c0 que se obtiene restringiendo la mtrica d sobre como en
el Ejercicio 6. Demuestre que c0 es un subconjunto cerrado de ( , d ).
(v) Demuestre que cada uno de los espacios (1 , d1 ), (2 , d2 ), y (c0 , d0 ) es un espacio
separable.
(vi)* Es ( , d ) un espacio separable?
(vii) Muestre que cada uno de los espacios mtricos anteriores es un espacio vectorial
normado de manera natural.
8. Sea f una funcin continua de un espacio metrizable (X, ) sobre un espacio topolgico
B V , y U V = . Demuestre que
(i) Todo espacio metrizable es un espacio normal.
(ii) Todo espacio que es tanto un T1 -espacio como un espacio normal es un espacio de
Hausdor. [Un espacio normal que tambin es de Hausdor es llamado un T4 -espacio.]
118
CHAPTER 6.
ESPACIOS MTRICOS
10. Sean (X, d) y (Y, d1 ) espacios mtricos. Entonces (X, d) se dice que es isomtrico a (Y, d1 )
si existe una funcin sobreyectiva f : (X, d) (Y, d1 ) tal que para toda x1 y x2 en X ,
6.1.
119
ESPACIOS MTRICOS
[Consejo. Asuma X =
B (xi ). Si yi B (xi ) Y , entonces, por la desigualdad
i=1
120
CHAPTER 6.
ESPACIOS MTRICOS
15. Un espacio topolgico (X, ) se llama localmente Euclidiano si existe un entero positivo
n tal que cada punto x X tiene una vecindad abierta que es homeomorfa a una bola
abierta con centro en 0 en Rn con la mtrica Euclidiana. Un espacio de Hausdor que es
localmente Euclidiano es llamado una variedad topolgica1 .2
(i)
(ii) Sea T el subconjunto del plano complejo que consiste de aquellos nmeros complejos
de mdulo 1. Identique el plano complejo con R2 y equipe T con la topologa del
subespacio. Muestre que el espacio T es localmente Euclidiano.
(iii) Muestre que todo espacio topolgico localmente homeomorfo a Rn , para cada entero
positivo n, es localmente Euclidiano. (Vea los Ejercicios 4.3 #9.)
(iv)* Encuentre un ejemplo de un espacio localmente Euclidiano que no es una variedad
topolgica.
1 Nota
2 En la literatura existen varias deniciones diferentes de variedad topolgica (cf. Kunen and Vaughan [140]; Lee
[143]).
En particular, algunas deniciones requieren que el espacio sea conexolo que nosotros llamamos una
variedad conexa
variedad
topolgica con borde. Existe una bibliografa extensa sobre variedades con ms estructura, especialmente
variedades diferenciables (Barden and Thomas [19]; Gadea and Masque [85]), variedades suaves (Lee [144]),
y variedades de Riemann o variedades de Cauchy-Riemann o CR-variedades.
3 Nota
del traductor: En espaol existe cierta confusin con el uso del trmino variedad suave, el cual es una
traduccin del trmino smooth manifold. El problema yace en que muchos autores en vez de usarlo preeren usar
variantes del trmino variedad diferenciable a usar el trmino variedad suave. Por ejemplo, el trmino variedad
continuamente diferenciable es usado frecuentemente como sinnimo de variedad suave.
6.2.
CONVERGENCIA DE SECUENCIAS
121
converge al nmero real x, si dado cualquier > 0 existe un entero n0 tal que para todo n n0 ,
|xn x| < .
Es obvio como esta denicin puede extenderse de R con la mtrica Euclidiana a cualquier
espacio mtrico.
6.2.1 Deniciones.
puntos en X . Entonces una secuencia se dice que converge a x X si dado cualquier > 0
existe un entero n0 tal que para todo n n0 , d(x, xn ) < . sto se denota por xn x.
Una secuencia y1 , y2 , . . . , yn , . . . de puntos (X, d) se llama convergente si existe un punto
y X tal que yn y .
La proposicin prxima se puede mostrar fcilmente, por lo que su demostracin es dejada
como ejercicio.
6.2.2 Proposicin.
mtrico (X, d). Adems, sean x y y puntos en (X, d) tal que xn x y xn y . Entonces
x = y.
6.2.3 Proposicin.
en (X, d) si, y slo si, toda secuencia convergente de puntos en A converge a un punto en A.
(En otras palabras, A es cerrado en (X, d) si, y slo si, an x, donde x X y an A para
toda n, implica que x A.)
122
CHAPTER 6.
Demostracin.
ESPACIOS MTRICOS
> 0, B (y) A = . Para cada entero positivo n, sea xn cualquier punto en B1/n (y) A.
Entonces, armamos que xn y . Para ver sto, denote por cualquier nmero real positivo, y
por n0 cualquier entero mayor que 1/. Entonces para que n n0 ,
Habiendo visto que la topologa de un espacio mtrico puede ser descrita en trminos de
secuencias convergentes, no debe sorprendernos que las funciones continuas tambin pueden ser
descritas de esta forma.
6.2.4 Proposicin.
en Y . Sean
f : (X, )
Demostracin.
es suciente mostrar que la imagen inversa de todo conjunto cerrado en (Y, 1 ) es cerrado en
(X, ). Por lo que, sea A cerrado en (Y, 1 ). Sea x1 , x2 , . . . , xn , . . . una secuencia de puntos
en f 1 (A) convergente a un punto x X . Como xn x, tenemos que f (xn ) f (x). Pero
puesto que cada f (xn ) A, y A es cerrado, la Proposicin 6.2.3 entonces implica que f (x) A.
Consiguientemente, x f 1 (A). Por lo que hemos mostrado que toda secuencia convergente de
6.2.
123
CONVERGENCIA DE SECUENCIAS
puntos de f 1 (A) converge a un punto de f 1 (A). Como consecuencia, f 1 (A) es cerrado, y por
consiguiente f es continua.
Por el contrario, sean f continua y xn x. Sea cualquier nmero real positivo. Entonces
la bola abierta B (f (x)) es un conjunto abierto en (Y, 1 ). Como f es continua, f 1 (B (f (x)) es
un conjunto abierto en (X, ) que contiene x. Por lo tanto, existe un > 0 tal que
x B (x) f 1 (B (f (x))).
Como xn x, existe un entero positivo n0 tal que para toda n n0 , xn B (x). Como resultado,
6.2.5 Corolario.
Ejercicios 6.2
1. Sean C[0, 1] y d como en el Ejemplo 6.1.5. Dena ununa secuencia de funciones f1 , f2 , . . . , fn , . . .
en (C[0, 1], d) por
fn (x) =
sin(nx)
,
n
n = 1, 2, . . . ,
x [0, 1].
124
CHAPTER 6.
ESPACIOS MTRICOS
una secuencia de puntos en X . Demuestre que xn x si, y slo si, para todo conjunto
abierto U x, existe un entero positivo n0 tal que xn U para toda n n0 .
(ii) Sean X un conjunto, y d y d1 mtricas equivalentes sobre X . Deduzca de (i) que si
1
n
1
n
: n = 1, 2, . . . } es cerrado en R.
: n = 1, 2, . . . } no es cerrado en R.
d(x, y) =
i=1
xn , yn x, y en (X Y, d).
9. Sean A y B conjuntos no vacos de un espacio mtrico (X, d). Dena
6.3.
125
COMPLETITUD
({x}, S) = 0}.
(ii) Si S es cualquier subconjunto no vaco de (X, d) entonces la funcin f : (X, d) R
denida por
xX
es continua.
10. (i) Para cada entero positivo n, sea fn una funcin continua de [0, 1] en l mismo y sea
a [0, 1] tal que fn (a) = a, para toda n. Adems, sea f una funcin continua de
6.3 Completitud
6.3.1 Denicin.
Una secuencia x1 , x2 , . . . , xn , . . . de puntos en un espacio mtrico
(X, d) se llama secuencia de Cauchy si dado cualquier nmero real > 0, existe un entero
positivo n0 , tal que para todos los enteros m n0 y n n0 , d(xm , xn ) < .
6.3.2 Proposicin.
de puntos en (X, d). Si existe un punto a X , tal que la secuencia converge a a, es decir,
Demostracin.
existe un entero positivo n0 , tal que para toda n > n0 , d(xn , a) < .
Por lo que, sean m > n0 y n > n0 . Entonces d(xn , a) < y d(xm , a) < .
Por la desigualdad triangular para mtricas,
126
CHAPTER 6.
ESPACIOS MTRICOS
6.3.3 Ejemplo.
d es la mtrica Euclidiana. Se ve claramente que la secuencia 0.1, 0.01, 0.001, 0.0001, . . . es una
secuencia de Cauchy pero sta no converge a ningn punto en (0, 1).
6.3.4 Denicin.
6.3.5 Denicin. Si {xn } es una secuencia cualquiera, entonces la secuencia xn1 , xn2 , . . .
se llama subsecuencia si n1 < n2 < n3 < . . . .
6.3.6 Deniciones.
Sea {xn } una secuencia en R. Entonces {xn } se dice que es una
secuencia creciente si xn xn+1 , para toda n N. La secuencia {xn } se dice que es una
secuencia decreciente si xn xn+1 , para toda n N. Una secuencia que es o creciente o
decreciente se dice que es montona.
La mayora de las secuencias, por supuesto, no son ni crecientes ni decrecientes.
4
6.3.
127
COMPLETITUD
6.3.8 Lema.
subsecuencia montona.
Demostracin.
picos. Entonces, escoja una subsecuencia {xnk }, donde cada nk es un ndice pico. sto implica,
en particular, que xnk xnk+1 , para cada k N; es decir, {xnk } es una subsecuencia decreciente
de {xn }, por lo que es a subsecuencia montona.
Ahora asuma que solamente existe un nmero nito de ndices picos. Por lo que existe un
entero N , tal que no existen ndices picos n > N . Escoja cualquier n1 > N . Entonces n1 no es
un ndice pico. por lo que existe un n2 > n1 con xn2 > xn1 . Ahora, n2 > N y por lo tanto no
es un ndice pico tampoco. Por consiguiente, existe un n3 > n2 , con xn3 > xn2 . Continuando
de esta manera (por induccin matemtica), podemos producir una subsecuencia {xnk } of {xn }
con xnk < xnk+1 , para toda k N; es decir, {xnk } es una subsecuencia creciente de {xn }. sto
completa la demostracin del lema.
128
CHAPTER 6.
6.3.9 Proposicin.
ESPACIOS MTRICOS
Demostracin.
3.3.1.
Claramente si {xn } es no acotada, entonces sta no converge.
Asuma que {xn } es una secuencia creciente que es acotada. por el Axioma del Supremo,
existe un supremo L del conjunto {xn : n N}. Si es un nmero real positivo cualquiera,
entonces existe un entero positivo N tal que d(xN , L) < ; ciertamente, xN > L .
Pero como {xn } es una secuencia creciente y L is una cota superior, tenemos que
L < xn < L,
es decir xn L.
El caso en que {xn } es una secuencia decreciente que es acotada se demuestra de manera
similar, completndose la demostracin.
6.3.10 Teorema.
6.3.
129
COMPLETITUD
6.3.11 Corolario.
completo.
Demostracin.
Como {xn } es una secuencia de Cauchy, existe un entero positivo N , tal que para cualesquiera
Sea cualquier nmero real positivo. Como {xn } es una secuencia de Cauchy, existe un
entero positivo N0 tal que
|xn xm | <
,
2
para toda m N0 y n N0 .
|xnk a| <
,
2
para toda nk N1 .
130
CHAPTER 6.
6.3.12 Corolario.
ESPACIOS MTRICOS
Demostracin.
6.3.13 Proposicin.
Demostracin.
6.3.14 Observacin.
espacio mtrico completo. Sin embargo, el Corolario 6.3.11 mostr que R con la mtrica Euclidiana
es un espacio mtrico completo. Adems, sabemos que los espacios topolgicos (0, 1) y R son
homeomorfos. Por lo que, la completitud no es una propiedad preservada por homeomorsmos, y
por lo tanto, no es una propiedad topolgica.
6.3.15 Denicin.
Un espacio topolgico (X, ) se dice que es completamente
metrizable si existe una mtrica d sobre X tal que es la topologa sobre X determinada
por d, y (X, d) es un espacio mtrico completo.
6.3.
131
COMPLETITUD
6.3.16 Observacin.
topolgica. Adems, es fcil vericar (vea los Ejercicios 6.3#7) que todo espacio discreto y
todo intervalo de R con la topologa inducida es completamente metrizable. Por lo que, para
a, b R con a < b, los espacios topolgicos R, [a, b], (a, b), [a, b), (a, b], (, a), (, a], (a, ),
[a, ), y {a} con sus topologas inducidas son todos completamente metrizables. Veremos ms
adelante que incluso el espacio P de todos los nmeros irracionales con su topologa inducida
es completamente metrizable, un hecho un tanto sorprendente. Asimismo, como (0, 1) es un
subespacio completamente metrizable de R que no es un subconjunto cerrado, vemos que la
Proposicin 6.3.13(ii) no sera verdadera si la condicin de espacio mtrico completo fuera
reemplazada por la de espacio completamente metrizable.
6.3.17 Denicin.
6.3.18 Denicin.
6.3.19 Denicin.
2, el
Claramente, todo espacio polaco es un espacio de Souslin. Los Ejercicios 6.1#12 y #11
muestran que lo contrario es falso, puesto que un espacio de Souslin no necesita ser metrizable.
132
CHAPTER 6.
ESPACIOS MTRICOS
Sin embargo, veremos que un espacio metrizable de Souslin no es necesariamente un espacio polaco.
Para ver sto notemos que todo espacio topolgico numerable es un espacio de Souslin, ya que es
una imagen continua del espacio discreto N; un espacio de este tipo es el espacio metrizable Q, el
cual, como veremos en el Ejemplo 6.5.8, no es un espacio polaco.
Sabemos que dos espacios topolgicos son equivalentes si ellos son homeomorfos. Por lo que
es natural preguntar cundo son dos espacios mtricos equivalentes (como espacio mtricos)? El
concepto relevante fue introducido en los Ejercicios 6.1#10, a saber, el de ser isomtrico.
6.3.20 Denicin. Sean (X, d) y (Y, d1 ) espacios mtricos. Entonces (X, d) se dice que
es isomtrico a (Y, d1 ) si existe una funcin sobreyectiva f : X Y tal que para toda x1 y
x2 en X , d(x1 , x2 ) = d1 (f (x1 ), f (x2 )). Semejante funcin f se conoce como una isometra.
Sean d cualquier mtrica sobre R y a cualquier nmero real positivo. Si d1 es denida por
d1 (x, y) = a.d(x, y), para toda x, y R, entonces se puede ver fcilmente que (R, d1 ) es un espacio
mtrico isomtrico a (R, d).
Tambin se puede vericar fcilmente que cualesquiera dos espacios mtricos que son
isomtricos tienen sus espacios topolgicos asociados homeomorfos, y que toda isometra es
tambin un homeomorsmo de los espacios topolgicos asociados.
A continuacin denimos el concepto de inmersin isomtrica5 .
6.3.21 Denicin.
6.3.
133
COMPLETITUD
6.3.22 Denicin.
6.3.23 Proposicin.
una terminacin.
Idea de la demostracin.
134
CHAPTER 6.
ESPACIOS MTRICOS
Note que z es una de clase de equivalencia de secuencias de Cauchy. Sea {xn } una secuencia de
Cauchy en esta clase de equivalencia z . Existe un entero positivo n0 , tal que para cada n > n0 ,
d1 (xn , xn0 ) < . Ahora consideremos la secuencia constante xn0 , xn0 , . . . , xn0 , . . . . sta pertenece a
la clase de equivalencia xf
f
n0 , la cual est en Y . Adems, d1 (x
n0 , z) < . Por lo que Y es ciertamente
e.
denso en X
n, m > N . Ahora tome un entero positivo n1 , con 1/n1 < /4. Para n, m > n1 + N , tenemos
d1 (f
xn , xf
xn , zn ) + d1 (zn , zm ) + d1 (zm , xf
m ) < d1 (f
m ) < 1/n + /2 + 1/m < .
Por lo que {f
xn } es una secuencia de Cauchy in Y . sto implica que {xn } es una secuencia de
e . Es sencillo probar que x
Cauchy en (X, d). Por consiguiente, {xn } z , para algn z X
fn z ,
y luego que zn z , lo que completa la demostracin.
6.3.24 Proposicin.
Idea de la demostracin.
xn a, donde cada xn X . Por lo que {xn } es una secuencia de Cauchy. Como f es una
isometra, {f (xn )} es una secuencia de Cauchy en (Y, d4 ), y por consiguiente, es tambin una
secuencia de Cauchy en (B, d2 ). Como (B, d2 ) es un espacio mtrico completo, existe un b B ,
tal que f (xn ) b. Por lo que denimos g(a) = b.
Para mostrar que g es una funcin bien denida de A en B , es necesario vericar que si {zn }
es cualquier otra secuencia en X convergiendo a a, entonces f (zn ) b. sto se sigue del hecho
de que d1 (xn , zn ) 0, y por lo tanto, d2 (f (xn ), f (zn )) = d4 (f (xn ), f (zn )) 0.
6.3.
135
COMPLETITUD
La Proposicin 6.3.24 nos dice que, salvo isometras, la terminacin de un espacio mtricos
es nica.
Concluimos esta seccin con otro concepto. Recuerde que en el Ejemplo 6.1.9 introdujimos
el concepto de espacio vectorial normado. Ahora denimos una clase muy importante de espacios
vectoriales normados.
6.3.25 Denicin.
sobre el conjunto N . Entonces (N, || ||) se dice que es un espacio de Banach si (N, d) es
un espacio mtrico completo.
De la Proposicin 6.3.23 sabemos que todo espacio vectorial normado tiene una terminacin.
Sin embargo, lo que es bastante placentero es que esta terminacin es tambin un espacio vectorial
normado, y por lo tanto, es un espacio de Banach. (Vea los Ejercicios 6.3#12.)
Ejercicios 6.3
1. Verique que la secuencia {xn =
i=0
1
}
i!
136
CHAPTER 6.
ESPACIOS MTRICOS
< a1 , a2 , . . . , am >.]
5. Demuestre que todo subespacio cerrado de un espacio mtrico completo es completo y que
todo subespacio mtrico completo de un espacio mtrico es cerrado.
6. Demuestre que para cada entero positivo n, Rn es un espacio polaco.
7. Sea a, b R, con a < b. Demuestre que cada espacio discreto y cada uno de los espacios
[a, b], (a, b), [a, b), (a, b], (, a), (, a], (a, ), [a, ), y {a}, con su topologa inducida
es un espacio polaco.
8. Si (X, d) es un espacio mtrico, y {xn } y {yn } son secuencias de Cauchy, demuestre que
6.4.
137
CONTRACCIONES
6.4 Contracciones
En el Captulo 5 nos encontramos por primera vez con un teorema de punto jo. En esta seccin
descubriremos otro tipo de teorema de punto jo. Esta seccin es ms bien parte de la teora de
espacios mtricos en vez de topologa general. No obstante, debido al gran nmero de aplicaciones
del tema, decidimos abordarlo en el libro.
6.4.1 Denicin.
138
CHAPTER 6.
6.4.2 Denicin.
ESPACIOS MTRICOS
Entonces f se dice que es una contraccin si existe un r (0, 1), tal que
6.4.3 Proposicin.
para toda x1 , x2 X .
Demostracin.
Demostracin.
.
1r
6.4.
139
CONTRACCIONES
Como r < 1, est claro que {f n (x)} es una secuencia de Cauchy. Puesto que (X, d) es completo,
existe un z X , tal que f n (x) z .
Por la Proposicin 6.4.3, f es continua, y por lo tanto
(
)
n
f (z) = f lim f (x) = lim f n+1 (x) = z
n
(6.1)
(6.2)
Como r < 1, sto implica que d(t, z) = 0, y por consiguiente t = z y f tiene un nico punto jo.2
Es importante mencionar que el Teorema de la Contraccin no slo brinda una demostracin
sobre la existencia de un punto jo, sino que adems provee una construccin para encontrarlo; a
saber, para un punto cualquiera x en X , encuentre el lmite de la secuencia {f n (x)}. ste mtodo
nos permite escribir un programa de computacin para aproximar el punto lmite con cualquier
grado de precisin.
Ejercicios 6.4
1. Demuestre la Proposicin 6.4.3.
2. Extienda el Teorema de la Contraccin mostrando que, si f es una funcin de un espacio
mtrico completo (X, d) en el mismo y f N es una contraccin para algn entero positivo N ,
entonces f tiene exactamente un punto jo.
3. El Teorema del Valor Intermedio dice: Sea f una funcin de valor real sobre un intervalo
unitario cerrado [a, b] que es continua sobre [a, b] y diferenciable sobre (a, b). Entonces existe
un punto c [a, b] tal que f (b) f (a) = f (c)(b a). (Recuerde que f se dice que es
(s)
diferenciable en un punto s si el lim f (x)f
= f (s) existe.)
xs
xs
140
CHAPTER 6.
ESPACIOS MTRICOS
4. Usando los Ejercicios 2 y 3 anteriores, muestre que, aunque la funcin f : R R dada por
f (x) = cos x no satisface las condiciones del Teorema de la Contraccin, sta, as y todo,
tiene un nico punto jo.
de X , entonces el conjunto
n=1 Xn es tambin denso en X .
Demostracin.
entonces U
n=1
Xn = .
(X, d). Sea U1 una bola abierta de radio a lo sumo 1, tal que U1 U X1 .
Inductivamente dena, para cada entero positivo n > 1, una bola abierta Un de radio a lo
sumo 1/n tal que Un Un1 Xn .
Para cada entero positivo n, sea xn cualquier punto en Un . Claramente, esta secuencia {xn } es
una secuencia de Cauchy. Como (X, d) es un espacio mtrico completo, dicha secuencia converge
a un punto x X .
Observe que para todo entero positivo m, todo miembro de la secuencia {xn } est en el
conjunto cerrado U m , y por lo tanto el punto lmite x tambin pertenece al conjunto U m .
6.5.2 Denicin.
6.5.
141
ESPACIOS DE BAIRE
6.5.3 Denicin.
Un subconjunto A de un espacio topolgico (X, ) se dice que es
denso en ninguna parte si el conjunto A tiene un interior vaco.
Estas deniciones nos permiten reescribir el Teorema 6.5.1.
6.5.4 Corolario.
X=
n=1 Xn , entonces para al menos un n N, el conjunto Xn tiene un interior no vaco;
es decir, Xn no es denso en ninguna parte.
Demostracin.
6.5.5 Denicin.
6.5.6 Corolario.
6.5.7 Observaciones.
6.5.8 Ejemplo.
completamente metrizable. Para ver sto, note que el conjunto de los nmeros racionales es
numerable, y sea
2
embargo
n=1 Xn = . Por consiguiente, Q no es un espacio de Baire.
142
CHAPTER 6.
6.5.9 Observacin.
ESPACIOS MTRICOS
6.5.10 Deniciones.
6.5.11 Proposicin.
Demostracin.
n=1
Por lo que X \ U
n=1
Yn
Yn .
n=1
n=1
n=1
completa la demostracin.
6.5.12 Corolario.
6.5.
ESPACIOS DE BAIRE
Demostracin.
143
Si ste no fuera el caso, entonces el espacio de Baire (X, ) sera una unin
6.5.13 Observacin.
Corolario 6.5.12 que el conjunto P de los nmeros irracionales es un conjunto de segunda categora.
6.5.15 Teorema. (Teorema de la Funcin Abierta) Sean (B, || ||) y ((B1 , || ||1 )
espacios de Banach, y sea L : B B1 una funcin lineal (en el sentido del espacio vectorial),
continua y sobreyectiva de B en B1 . Entonces L es una funcin abierta.
Demostracin.
n=1
L(Bn (0)).
n=1
Bt (0) L(BN (0)) z = L(BN (0)) z L(BN (0)) L(BN (0)) L(B2N (0)).
144
CHAPTER 6.
ESPACIOS MTRICOS
t
.
8
Continuando de esta manera, obtenemos, por induccin, una secuencia {xm } tal que ||xm || <
N
2m1
m=1
t
.
2m
xm converge al lmite a.
Claramente ||a|| < 2N , y por la continuidad de L, tenemos que w = L(a) L(B2N (0)).
Como resultado Bt/2 (0) L(B2N (0)), y por consiguiente Bt/4 (0) L(BN (0)), lo que
completa la demostracin.
6.5.16 Corolario.
Ejercicios 6.5
1. Sean (X, ) y (Y, 1 ) espacios topolgicos. Una funcin f : (X, ) (Y, 1 ) se dice que
es una funcin abierta si para todo subconjunto abierto A de (X, ), el conjunto f (A) es
abierto en (Y, 1 ).
6.5.
ESPACIOS DE BAIRE
145
(i) Muestre que f es an funcin abierta si, y slo si, para cada U y cada x U , el
conjunto f (U ) es una vecindad de f (x).
(ii) Sean (X, d) y (Y, d1 ) espacios mtricos, y f una funcin de X en Y . Demuestre que f es
una funcin abierta si, y slo si, para cada n N y cada x X , f (B1/n (x)) Br (f (x)),
para alguna r > 0.
(iii) Sean (N, || ||) y (N1 , || ||1 ) espacios vectoriales normados, y f una funcin lineal de
N en N1 . Demuestre que f es una funcin abierta si, y slo si, para cada n N,
f (B1/n (0)) Br (0), para alguna r > 0.
(iv) Sean (N, || ||) y (N1 , || ||1 ) espacios vectoriales normados, y f una funcin lineal de N
en N1 . Demuestre que f es una funcin abierta si, y slo si, existe un s > 0 tal que
146
CHAPTER 6.
ESPACIOS MTRICOS
Demuestre que si (X, ) es un T1 -espacio numerable sin puntos aislados, entonces ste no
es un espacio de Baire.
5. (i) Usando la versin del Teorema de la Categora de Baire del Corolario 6.5.4, demuestre
que P no es
un F -conjunto y que Q no es un G -conjunto en R.
Fn
{q}.]
Entonces aplique el Corolario 6.5.4 a R =
n=1
un punto a R si para cada conjunto abierto U que contiene f (a), existe un conjunto
abierto V que contiene a tal que f (V ) U . Demuestre que el conjunto de puntos en
subconjunto densos abiertos de Y . Usando (i), muestre que {Xn Y } es una secuencia
de subconjuntos densos abiertos de (Y, 1 ).
(iii) Deduzca de la Denicin 6.5.5 y del inciso (ii) anterior, que si (Y, 1 ) es un espacio de
Baire, entonces (X, ) es tambin un espacio de Baire. [Por lo que la clausura de un
espacio de Baire es un espacio de Baire.]
6.5.
147
ESPACIOS DE BAIRE
10. Sea B un espacio de Banach tal que la dimensin del espacio vectorial subyacente es
numerable. Usando el Teorema de la Categora de Baire, demuestre que la dimensin del
espacio vectorial subyacente es, en efecto, nita.
148
CHAPTER 6.
ESPACIOS MTRICOS
11. Sean (N, || ||) un espacio vectorial normado y (X, ) un subconjunto convexo de (N, || ||)
con su topologa inducida. Muestre que (X, ) es conexo por caminos, y por consiguiente,
ste es tambin conexo. Deduzca que toda bola abierta en (N, || ||) es conexa por caminos
como tambin lo es el mismo (N, || ||).
6.6 Postdata
La teora de los espacios mtricos es un tpico importante por s mismo. Adems, los espacios
mtricos mantienen una posicin relevante en el estudio de la topologa. Ciertamente, muchos
libros sobre topologa comienzan con espacios mtricos, y motivan el estudio de la topologa a
travs de stos.
En el captulo vimos que mtricas diferentes sobre el mismo conjunto pueden dar lugar a
la misma topologa. Tales mtricas son llamadas equivalentes. Tambin fuimos introducidos al
estudio de los espacios funcionales, y en particular, a C[0, 1]. En el camino nos encontramos con
los espacios vectoriales normados, un tema central en el anlisis funcional.
No todos los espacios topolgicos se originan de espacios mtricos. Vimos sto observando
que las topologas inducidas por mtricas son de Hausdor.
Vimos que la topologa de un espacio mtrico puede ser descrita completamente en trminos
de sus secuencias convergentes y que las funciones continuas entre espacios mtricos puede tambin
ser descritas de esta forma.
Los Ejercicios 6.2 #9 introdujeron el interesante concepto de distancia entre conjuntos en un
espacio mtrico.
Nos encontramos con los conceptos de secuencia de Cauchy, espacio mtrico completo,
espacio completamente metrizable, espacio de Banach, espacio polaco, y espacio de Souslin.
La completitud es un rea importante en la teora de los espacios mtricos debido al papel
predominante que juega en aplicaciones en anlisis.
vectoriales, normados y completos; stos son usados en muchos contextos en anlisis y tienen
una rica teora estructural. Vimos que todo espacio mtrico tiene una terminacin, es decir, ste
puede ser inmerso isomtricamente en un espacio mtrico completo. Por ejemplo, todo espacio
vectorial normado tiene una terminacin que es un espacio de Banach.
Las contracciones fueron introducidas en el marco del concepto de punto jo, y vimos la
6.6.
POSTDATA
149
Bibliography
[1] Colin C. Adams. The knot book: an elementary introduction to the mathematical theory of
BIBLIOGRAPHY
151
152
BIBLIOGRAPHY
[26] Donald W. Blackett. Elementary topology; a combinatorial and algebraic approach. Academic
Press, New York, 1967.
[27] Danail Bonchev and Dennis H. Rouvray, editors. Chemical topology : introduction and
Cantor; tr., and provided with an introduction and notes, by Philip E.B. Jourdain. The
Open Court Publishing Company, Chicago, London, 1915.
[38] Stephen C. Carlson. Topology of surfaces, knots, and manifolds: a rst undergraduate course.
Wiley, New York, 2001.
[39] J. Scott Carter. How surfaces intersect in space : an introduction to topology. World
Scientic Publishers, Singapore ; River Edge, N.J., 1995.
[40] Eduard Cech.
Topological spaces. Czechoslovak Academy of Sciences, Prague, 1966.
[41] Eduard Cech.
Point sets. Czechoslovak Academy of Sciences, Prague, 1969.
153
BIBLIOGRAPHY
[42] Graciela Chichilnisky. Topology and markets. American Mathematical society, Providence,
R.I., 1999.
[43] Gustave Choquet. Topology. Academic Press, New York, 1966.
[44] Gustave Choquet. Lectures on analysis. W.A. Benjamin, New York, 1969.
[45] Daniel E. Cohen. Combinatorial group theory: a topological approach. Cambridge University
Press, Cambridge; New York, 1989.
[46] W.W. Comfort and S. Negrepontis. The theory of ultralters. Springer-Verlag, Berlin, New
York, 1974.
[47] W.W. Comfort and S. Negrepontis. Continuous pseudometrics. M. Dekker, New York, 1975.
[48] W.W. Comfort and S. Negrepontis. Chain conditions in topology. Cambridge University
Press, Cambridge, England; New York, 1982.
[49] James P. Corbett. Topological principles in cartography. US Department of Commerce,
Washington, D.C., 1980.
[50] J.-M. Cordier.
Halstead Press,
American
Elsevier,
154
BIBLIOGRAPHY
[56] Robert L. Devaney. A rst course in chaotic dynamical systems: theory and experiment.
Westview Press, Boulder, Colorado, 1992.
[57] Robert L. Devaney. An Introduction to Chaotic Dynamical Systems, 2nd Edition. Westview
Press, Boulder, Colorado, 2003.
[58] Tammo tom Dieck. Topologie. de Gruyter, Berlin, 2000.
[59] Egbert Dierker. Topological methods in Walrasian economics. Springer-Verlag, Berlin; New
York, 1974.
[60] Jean Alexandre Dieudonn. A history of algebraic and dierential topology, 1900-1960.
Birkhauser, Boston, 1989.
[61] Dikran N. Dikranjan. Categorical structure of closure operators with applications to topology,
algebra and discrete mathematics. Kluwer Academic Publishers, Dordrecht, Boston, 1995.
[62] Mircea V. Diudea and L. Jantschi. Molecular topology. Nova Science Publishers, Huntington,
N.Y., 2001.
[63] C.T.J. Dodson. Category bundles and spacetime topology. Kluwer Academic Publishers,
Dordrecht, Boston, 1988.
[64] C.T.J. Dodson. A user's guide to algebraic topology. Kluwer Academic Publishers, Dordrecht,
Boston, 1997.
[65] Albrecht Dold. Lectures on algebraic topology. Springer, Berlin, 1995.
[66] James Dugundji. Topology. Allyn and Bacon, Boston, 1966.
[67] Alan Dunn. Sarkovskii's TheoremPart 1, http://ocw.mit.edu/nr/rdonlyres/mathematics/18091spring2005/a335fb2e-738149d4b60c7cbd2f349595/0/sarkcomplete.pdf, 2005.
[68] Herbert Edelsbrunner. Geometry and topology for mesh generation. Cambridge University
Press, Cambridge; New York, 2001.
[69] Gerald A. Edgar. Measure, topology and fractal geometry. Springer-Verlag, New York, 1990.
[70] R.E. Edwards. Curves and topological questions. Australian National University, Canberra,
Australia, 1969.
155
BIBLIOGRAPHY
[71] Robert E. Edwards. Functional analysis: theory and applications. Holt, Rinehart and
Winston, N.Y., 1965.
[72] James Eels. Singularities of smooth maps. Gordon and Breach, New York, 1967.
[73] Samuel Eilenberg and Norman Steenrod. Foundations of algebraic topology. Princeton
University Press, Princeton, N.J., 1952.
[74] Murray Eisenberg. Topology. Holt, Rinehart and Winston, New York, 1974.
[75] Patrik Eklund. Categorical fuzzy topology. Abo Akademi, Abo, 1986.
[76] Glenn Elert. The Chaos Hypertextbook, http://hypertextbook.com/chaos/, 2003.
[77] Ryszard Engelking. General topology. PWN Polish Scientic Publishers, Warsaw, 1977.
[78] Ryszard Engelking. Dimension theory. North-Holland Publishing Co., Amsterdam; New
York, 1978.
[79] William W. Fairchild and Cassius Ionescu Tulceac. Topology. W.B. Saunders Company,
Philadelphia, London, Toronto, 1971.
[80] K.J. Falconer.
Wiley,
workbook for students and teachers. Kluwer Academic Publishers, Dordrecht, 2001.
[86] David B. Gauld. Dierential topology: an introduction. M. Dekker, New York, 1982.
156
BIBLIOGRAPHY
157
BIBLIOGRAPHY
[101] Edwin Hewitt and Kenneth A. Ross. Abstract harmonic analysis I: structure of topological
for compact groups, analysis on locally compact abelian groups. Springer-Verlag, Berlin,
1970.
[103] Joachim Hilgert, Karl Heinrich Hofmann, and Jimmie D. Lawson. Lie groups, convex cones
Dierential Equations,
Dynamical Systems, and an Introduction to Chaos, 2nd Edition. Elsevier, Oxford, UK,
2004.
[107] John Gilbert Hocking and Gail S. Young.
Topology.
the Student A Handbook for the Expert. de Gruyter, Studies in Mathematics 25, Berlin,
second revised and augmented edition, 2006.
[109] Karl H. Hofmann and Sidney A. Morris. The Lie Theory of Connected Pro-Lie Groups:
A Structure Theory for Pro-Lie Algebras, Pro-Lie Groups, and Connected Locally Compact
Groups. European Mathematical Society Publishing House, Tracts in Mathematics 2, Zurich,
Switzerland, 2007.
[110] Karl Heinrich Hofmann and Paul S. Mostert. Elements of compact semigroups. C.E. Merrill
Books, Columbus, Ohio, 1966.
[111] Hopf Topology Archive.
http://hopf.math.purdue.edu, 1996.
158
BIBLIOGRAPHY
[112] Juan Horvth. Topological vector spaces and distributions. Addison-Wesley, Reading, Mass.,
1966.
[113] Norman R. Howes. Modern analysis and topology. Springer-Verlag, New York, 1995.
[114] S.T. Hu. Introduction to general topology. Holden-Day, San Francisco, 1966.
[115] S.T. Hu. Dierentiable manifolds. Holt, Rinehart and Winston, New York, 1969.
[116] Sze-Tsen Hu. Elements of general topology. Holden-Day, San Francisco, 1964.
[117] Sze-Tsen Hu. Homology theory; a rst course in algebraic topology. Holden-Day, San
Francisco, 1966.
[118] Witold Hurewicz and Witold Wallman. Dimension theory. Princeton University Press,
Princeton, N.J., 1941.
[119] Taqdir Husain. The open mapping and closed graph theorems in topological vector spaces.
Clarendon Press, Oxford, 1965.
[120] Taqdir Husain. Introduction to topological groups. W.B. Saunders, Philadelphia, 1966.
[121] Taqdir Husain. Topology and maps. Plenum Press, New York, 1977.
[122] Miroslav Husek and Jan Van Mill. Recent progress in general topology. North-Holland,
Amsterdam; New York, 1992.
[123] J.R. Isbell. Uniform spaces. American Mathematical Society, Providence, R.I., 1964.
[124] David Asaf IV and Steve Gadbois. Denition of chaos. Amer. Math. Monthly, 99:865, 1992.
[125] I.M. James. General topology and homotopy theory. Springer-Verlag, New York, 1984.
[126] I.M. James. Handbook of algebraic topology. Elsevier, Amsterdam; New York, 1995.
[127] I.M. James. Topologies and uniformities. Springer, London; New York, 1999.
[128] I.M. James. History of topology. Elsevier, Amsterdam; New York, 1999.
[129] Arthur Jones, Sidney A. Morris, and Kenneth R. Pearson. Abstract algebra and famous
impossibilities. Springer-Verlag Publishers, New York, Berlin etc, 1991 & 1993.
159
BIBLIOGRAPHY
160
BIBLIOGRAPHY
[146] Ying-ming Liu and Mao-kang Luo. Fuzzy topology. World Scientic Publishers, River Edge,
N.J., 1997.
[147] Charles Livingston. Knot theory. The Mathematical association of America, 1993.
[148] E.N. Lorenz. Deterministic nonperiodic ow. Journal of the Atmospheric Sciences, 20:
130141, 1963.
[149] Saunders Maclane. Categories for the working mathematician, second edition. SpringerVerlag, New York, 1998.
[150] Benoit B. Mandelbrot. How long is the coast of britain? statistical self-similarity and
fractional dimension. Science, 155:636638, 1967.
[151] Benoit B. Mandelbrot. The fractal geometry of nature. W.H. Freeman, New York, 1983.
[152] R.D. Mauldin, editor. The Scottish Book: Mathematics from the Scottish Caf. Birkhuser,
Boston, 1981.
[153] Robert M. May. Biological populations with nonoverlapping generations: Stable points,
stable cycles, and chaos. Science, 186:645647, 1974.
[154] George McCarty. Topology; an introduction with application to topological groups. McGraw
Hill, New York, 1967.
[155] Robert A. McCoy and Ibulu Ntantu. Topological properties of spaces of continuous functions.
Springer-Verlag, New York, Berlin, 1988.
[156] Dusa McDu and Dietmar Salamon. Introduction to symplectic topology. Oxford University
Press, New York, 1998.
[157] Richard E. Merrield and Howard E. Simmons. Topological methods in chemistry. Wiley,
New York, 1989.
[158] Emil G. Milewski. The topology problem solver: a complete solution guide to any textbook.
Research and Education Association, Piscataway, N.J., 1994.
[159] M. Mimura and Hirosi Toda. Topology of Lie groups. American Mathematical Society,
Providence, R.I., 1991.
161
BIBLIOGRAPHY
[160] Edward E. Moise. Introductory problem courses in analysis and topology. Springer-Verlag,
New York, 1982.
[161] Mikhail I. Monastyrskaei. Topology of gauge elds and condensed matter. Plenum Press,
New York, 1993.
[162] Deane Montgomery and Leo Zippin.
Interscience
162
BIBLIOGRAPHY
[174] Mikio Nakahara. Geometry, topology and physics. A. Hilger, Bristol, England; New York,
1990.
[175] H. Nakano. Topology and linear topological spaces. Maruzen Co., Tokyo, 1951.
[176] Lawrence Narici and Edward Beckenstein. New York.
[177] Charles Nash. Topology and geometry for physicists. Academic Press, London, New York,
1983.
[178] M.H.A. Newman. Elements of the topology of plane sets of points. Greenwood Press,
Westport, Conn., 1985.
[179] A.L. Onishchik. Topology of transitive transformation groups. Johann Ambrosius Barth,
Leipzig, 1994.
[180] John C. Oxtoby. Measure and category; a survey of the analogies between topological and
BIBLIOGRAPHY
163
[190] A.P. Robertson and Wendy Robertson. Topological vector spaces. Cambridge University
Press, Cambridge, England, 1973.
[191] Joseph J. Rotman. An introduction to algebraic topology. Springer-Verlag, New York, 1988.
[192] Mary Ellen Rudin. Lectures on set theoretic topology. American Mathematical Society,
Providence, R.I., 1975.
[193] Hans Sagan. Space-lling curves. Springer-Verlag, New York, 1994.
[194] A.N. Sarkovskii. Coexistence of cycles of a continuous map of a line into itself. Ukranian
164
BIBLIOGRAPHY
[205] N.E. Steenrod. The topology of bre bundles. Princeton University Press, Princeton, N.J.,
1951.
[206] John Stillwell. Classical topology and combinatorial group topology. Springer-Verlag, New
York, 1995.
[207] The MacTutor History of Mathematics Archive.
http://www-gap.dcs.st-and.ac.uk/ history/, 2001.
[208] Wolfgang Thron. Topological structures. Holt, Rinehart and Winston, New York, 1966.
[209] Topology. http://www.elsevier.com/locate/top, 1962. A hard-copy refereed research journal
in topology and geometry.
[210] Topology and its Applications. http://www.elsevier.nl/locate/topol, 1971. A hard-copy
refereed research journal in topology.
[211] Topology Atlas. http://at.yorku.ca/topology, 1995. Topology related resources.
[212] Topology Proceedings.
http://topology.auburn.edu/tp/top2.htm, 1977. A hard-copy refereed research journal.
[213] J. van Mill. The innite-dimensional topology of function spaces. Elsevier, Amsterdam, New
York, 2001.
[214] Jan van Mill and George M. Reed. Open problems in topology. North-Holland, Amsterdam,
1990.
[215] Michel Vellekoop and Raoul Berglund. On intervals, transitivity = chaos. Amer. Math.
BIBLIOGRAPHY
165
[221] Evert Wattel. The compactness operator in set theory and topology. Mathematisch Centrum,
Amsterdam, 1968.
[222] Jerey R. Weeks. The shape of space. Marcel Dekker, New York, 2002.
[223] Stuart G. Whittington, De Witt Sumners, and Timothy Lodge, editors. Topology and
Index
ndice
pico, 127
C[0, 1], 53
c0 , 117
camino, 98
nmo, 67
categora
primera, 142
abierto(a)
bola, 110
conjunto, 20
funcin, 144
abierto(a) y cerrado(a)
conjunto, 23
acotado(a), 67
conjunto, 137
espacio mtrico, 115
inferiormente, 67
mtrica, 115
superiormente, 67
arco, see camino
arcoconexo, 98
axioma
segunda, 142
Cauchy-Riemann
variedad, 120
cero-dimensional, 103
cerrado(a)
conjunto, 22
clausura, 60
conito(a) topologa, 25
completamente metrizable, 130
completo(a), 126
componente, 102
componente conexa, 102
conexo por caminos, 98
conexo(a), 68
por arcos, see camino
del Supremo, 67
por caminos, 98
variedad, 120
conjunto
F , 40, 146
base, 41
G , 40, 146
abierto, 20
biyectivo(a), 27
abierto y cerrado, 23
166
167
INDEX
acotado, 137
analtico, 131
demostracin matemtica, 13
cerrado, 22
convexo, 143
denso(a), 61
espacio, 14
magro, 142
mtrica, 106
topologa, 14
distancia, 105
distancia entre conjuntos, 124
elemento
mayor, 67
menor, 67
elemento mayor, 67
elemento menor, 67
epacio
de Hausdor, 75
espacio
T0 , 31
CR-variedad, 120
T2 , 75, 114
T4 , 117
demostracin
T1 , 30
T3 , 76
matemtica, 13
por contradiccin, 37
conexo, 68
168
INDEX
de Baire, 141
nito, 32
de Banach, 135
de Souslin, 131
disconexo, 69
espacio vectorial
discreto, 14
normado, 109
nito, 32
Hausdor, 114
Euclidiano(a)
indiscreto, 15
inducido por una mtrica, 112
mtrico, 105
mtrico completo, 126
metrizable, 115
normal, 117
polaco, 131
regular, 76
separable, 65, 131
Sierpinski, 31
topolgico, 13
totalmente disconexo, 102
vectorial normado, 109
espacio de Baire, 141
espacio de Banach, 135
espacio de Hausdor, 75, 114
espacio de Souslin, 131
espacio nito, 32
espacio mtrico
acotado, 115
completo, 126
totalmente acotado, 119
espacio normal, 117
espacio polaco, 131
espacio Sierpinski, 31
espacio topolgico, 13
localmente, 120
169
INDEX
inversa, 28
mtricas
equivalentes, 113
indiscreto(a)
espacio, 15
topologa, 15
mtrico(a)
espacio, 105
inf, 67
inmersin
magro(a)
isomtrica, 132
conjunto, 142
metrizable, 115
interseccin of topologas, 31
intervalo, 85
completamente, 130
N, 73
inverso(a)
N, 14
funcin, 27
norma, 109
imagen, 28
numerabilidad
inyectivo(a), 27
inmersin, 132
isometra, 118, 132
objeto, 90
1 , 116
P, 39, 73
2 , 117
, 117
local
homeomorsmo, 88
propiedad
localmente
Euclidiano, 120
separacin, 33
homeomorfo, 88
topolgica, 89
mtrica, 105
propiedad de separacin, 33
acotada, 115
discreta, 106
propiedad topolgica, 89
punto, 57
aislado, 146
de acumulacin, 57
170
INDEX
de contacto, 57
secuencia
Cauchy, 125
lmite, 57
convergente, 121
vecindad del, 63
creciente, 126
decreciente, 126
punto de acumulacin, 57
montona, 126
punto de contacto, 57
punto lmite, 57
Q, 38, 73
R, 19, 35
semicontinua, 147
R , 44
R , 45
recta
semicontinuo(a)
de Sorgenfrey, 66
superiormente, 147
recta de Sorgenfrey, 66
reexivo(a), 78
regular
simtrico(a), 78
espacio, 76
relacin
de equivalencia, 89
equivalencia, 133
relacin binaria
sobreyectivo(a), 27
suave
variedad, 120
subbase, 53
subconjunto
reexiva, 78
denso, 61
simtrica, 78
propio, 24
transitiva, 78
subconjunto propio, 24
subespacio, 71
subsecuencia, 126
sup, 67
suponga
Riemann
variedad, 120
171
INDEX
T0 -espacio, 31
T1 -espacio, 30
del subespacio, 71
discreta, 14
T3 -espacio, 76
Euclidiana, 35
T4 -espacio, 117
Euclidiana sobre Rn , 45
T, 120
indiscreta, 15
Teorema
inducida, 71
Bolzano-Weierstrass, 128
interseccin, 31
de la Contraccin, 138
ms na, 97
menos na, 97
numerable cerrada, 31
producto, 47
relativa, 71
usual, 73
topologa Euclidiana, 35
topologa Euclidiana sobre Rn , 45
topologa inducida, 71, 112
topologa ms na, 97
topologa menos na, 97
100
terminacin
de un espacio mtrico, 133
topolgico(a)
variedad, 120
variedad con borde, 120
topologa, 13
conita, 25
del segmento nal, 19
topologa producto, 47
topologa relativa, 71
topologa usual, 73
totalmente acotado
espacio mtrico , 119
totalmente disconexo, 102
transitivo(a), 78
unin
172
INDEX
vaca, 18
unin vaca, 18
variedad
conexo, 120
CR-, 120
de Cauchy-Riemann, 120
de Riemann, 120
diferenciable, 120
suave, 120
topolgica con borde, 120
topolgico, 120
vecindad, 63
Z, 38, 73
0-dimensional, 103