Está en la página 1de 182

Topolog´ıa de Espacios Metricos´

Pedro Jose´ Herrero Pineyro˜

Topolog´ıa de Espacios Metricos´ Pedro Jose´ Herrero Pineyro˜ Murcia 2010

Murcia 2010

Hola

Topolog´ıa de Espacios Metricos´

Pedro Jose´ Herrero Pineyro˜

Murcia 2010

Foto de portada

Banda de Mobius¨ con tanques y excavadoras en la calle Narodni de Praga”. Obtenida en http://es.wikipedia.org/wiki/Archivo:Praha Narodni trida Moebiova paska s tanky a buldozery.jpg

Fotos de la seccion´

”Algunos nombres propios de la Topolog´ıa“ Cap.-1

Foto de la seccion´

Mapa de Konigsberg¨

El problema de los puentes de Konigsberg¨

por Merian-Erben, ano˜

1652

Cap.-1

´

Indice general

-1. Un poco de historia

 

9

0. Conjuntos, aplicaciones y numeros´

 

19

0.1. Teor´ıa de conjuntos

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.19

0.1.1. Operaciones basicas´

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.20

0.1.2. Otras operaciones

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.22

0.1.3. Familias de conjuntos

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.24

0.2. Aplicaciones

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.26

0.2.1. Tipos de aplicaciones .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.29

0.2.2. Composicion´

 

de aplicaciones .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.31

0.3. Conjuntos finitos y numerables .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.32

0.3.1. Conjuntos finitos

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.32

0.3.2. Conjuntos numerables

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.33

0.4. Los numeros´

reales

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.36

1. Espacios metricos´

 

41

1.1. Distancias

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.42

1.1.1.

Subespacio metrico´

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.50

1.2. Distancia a un conjunto

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.51

1.3. Topolog´ıa asociada a un espacio metrico´

.

.

.

.

.

.

.

.

.

.

.

.

.

.56

1.3.1. Conjuntos abiertos

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.60

1.3.2. Abiertos en subespacios

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.64

1.3.3. Conjuntos cerrados

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.66

1.3.4. Cerrados en subespacios

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.68

5

6

´

INDICE GENERAL

1.4. Distancias equivalentes

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.69

1.5. Espacios normados

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.71

2. Subconjuntos destacados en la topolog´ıa metrica´

 

75

2.1. .

Entornos .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.76

Adherencia

2.2. .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.79

2.2.1.

Adherencia relativa

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.82

2.3. Puntos de acumulacion´

2.4. Interior de un conjunto

 

(o l´ımite) y puntos aislados .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.82

.85

2.5. Frontera de un conjunto .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.87

2.6. Sucesiones .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.89

2.6.1.

Subconjuntos densos y espacios separables

.

.

.

.

.

.

.

.93

3. Funciones continuas

 

97

3.1. Aplicacion´

continua .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.98

3.1.1. Continuidad global

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.101

3.1.2. Continuidad y subespacios

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.102

3.2. Homeomorfismos y embebimientos

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.103

3.2.1. Aplicaciones abiertas y cerradas

.

.

.

.

.

.

.

.

.

.

.

.

.

.103

3.2.2. Homeomorfismos .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.104

3.2.3. Embebimientos .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.108

3.3. Continuidad uniforme

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.109

3.3.1.

Isometr´ıas .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.110

4. Espacios compactos

113

4.1. Compacidad .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.114

4.2. Subconjuntos compactos

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.115

4.3. Compacidad y funciones continuas .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.118

4.4. Compactos en R.

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.120

4.5. Compacidad secuencial .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.122

4.5.1.

Conjuntos totalmente acotados .

.

.

.

.

.

.

.

.

.

.

.

.

.

.124

4.6. Propiedad de Bolzano-Weierstrass

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.126

4.7. Compactos en R n

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.128

4.8. Propiedad de la interseccion´

finita

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.131

´

INDICE GENERAL

7

5. Espacios metricos´

completos

 

135

5.1. Sucesiones de Cauchy

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.136

5.2. Espacios metricos´

completos

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.138

5.3. Completitud y compacidad

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.142

5.4. Algunos resultados interesantes .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.144

5.5. Completado de un espacio metrico´

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.145

6. Espacios conexos

151

6.1. Conjuntos separados

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.152

6.2. Espacios conexos

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.153

6.2.1. Subespacios

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.154

6.2.2. Conjuntos

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.156

6.3. Conexos en

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.158

6.4. Conexion´

y continuidad.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.159

6.4.1.

Espacios producto.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.160

6.5. Componentes conexas

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.161

6.6. Conexion´

por caminos (o arcos).

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.162

A. Completar un Espacio Metrico´

 

171

B. Construccion´

de los numeros´

reales.

 

175

8

´

INDICE GENERAL

-1

Un poco de historia

La Topolog´ıa es basica´ en la formacion´ de cualquier matematico´ actual; no en

vano, forma parte de las materias troncales (fundamentales) de los primeros cursos

en cualquier facultad. La Topolog´ıa se encuentra

presente en casi todas las areas´ de las Matematicas:´

Analisis,´ etc. (y estas,´ como no, tambien´ en la Topolog´ıa). Sus metodos´ y sus resultados facilitan el tratamiento de numerosos problemas e incluso permiten abordar otros que no tienen un origen estrictamente topologico.´

La Topolog´ıa ha alcanzado, digamos su madurez, recientemente. La mayor´ıa de los estudiosos de la historia de las Matematicas´ situan´ su puesta de largo en las primeras d ecadas´ del s. XX , a partir de los trabajos de F. Hausdorff (  ), P. Alexandroff () y W. Sierpinski (). Cuando decimos madurez o puesta de largo, queremos decir que es en esos anos,˜ y despues´ de bastantes aproxima- ciones (como mas´ adelante veremos), cuando se fijan las definiciones fundamen- tales, cuando el perfil de su actuacion,´ de los problemas de los que se ocupa, etc., quedan dibujados de manera suficientemente clara. A partir de ese momento, la Topolog´ıa inicia (o continua)´ un rapido´ desarrollo hasta convertirse en un area´ imprescindible.

de la titulacion´ en Matematicas´

el Algebra, la Geometr´ıa, el

´

Los inicios pueden situarse, sin embargo, un poco mas´ lejos, retrocediendo al siglo XVIII. Hasta entonces los problemas matematicos´ hab´ıan estado vinculados, en mayor o menor grado, a la idea de medida, magnitud o distancia, y en esa epoca´ se empiezan a plantear problemas en los que estos aspectos dejan de tener importancia. Son problemas que no dependen de la distancia o el tamano,˜ sino del lugar, de las conexiones, etc. De hecho, los primeros matematicos´ que los abordan dan al estudio de estos problemas el nombre de Geometria situs o Analysis situs

9

10

cuya traduccion´ viene a ser Geometr´ıa o Analisis´ de la situacion´ o de la posicion´ .

Fue G. Leibniz () el primero que parece referirse a este tipo de prob- lemas y con el nombre anterior Geometria situs, como atestigua L. Euler () en Solutio Problematis ad Geometriam Situs Pertinentis publicado en , que constituye lo que podr´ıamos llamar el origen de la Topolog´ıa y en cuyo comienzo, Euler escribe lo siguiente.

Ademas´ de esta parte de la geometr´ıa que trata de las mag- nitudes y que desde siempre ha sido cultivada con mucho celo, existe otra completamente desconocida hasta nues- tros d´ıas, de la que Leibniz hablo´ por primera vez y que llama “Geometria Situs”. Segun´ el,´ esta parte de la geo- metr´ıa se ocupa de determinar solamente la posicion´ y buscar las propiedades que resulten de esta posicion;´ en este trabajo no es necesario considerar las magnitudes por

s´ı mismas, ni calcular; pero aun´ no esta´ muy bien estable-

cido cuales´ son los problemas de este tipo que pertenecen

a la “Geometria Situs” y cual´ es el metodo´ que hay que

utilizar para resolverlos; es por lo que, cuando reciente- mente se me presento´ un problema que parec´ıa ligado a

la geometr´ıa ordinaria, pero cuya solucion´ no depend´ıa de

la determinacion´ de las magnitudes ni del calculo´ de las cantidades, no he dudado en relacionarlo con la “Geome- tria Situs”, tanto por las consideraciones de posicion´ que unicamente´ entran en la solucion,´ como porque el calculo´ no interviene para nada. Por tanto, he cre´ıdo util´ expresar aqu´ı, como un ejemplo de la “Geometria Situs”, el meto-´ do que he encontrado para resolver los problemas de este

genero.´

El problema al que se refiere Euler es

El problema de los puentes de Konigsberg¨

El r´ıo Pregel atraviesa la ciudad de Konigsberg¨ formando una isla a partir de la cual el r´ıo continua con dos brazos como se puede apreciar en el plano de la ciudad en la epoca´ de Euler.

-1. Un poco de historia

11

-1. Un poco de historia 11 Dicha isla esta´ unida a la ciudad por siete puentes

Dicha isla esta´ unida a la ciudad por siete puentes cuyo esquema puede verse de una manera mas´ clara en el siguiente grafico:´

verse de una manera mas´ clara en el siguiente grafico:´ El problema consist´ıa en determinar si

El problema consist´ıa en determinar si una persona que partiera de un lugar deter- minado de la ciudad podr´ıa regresar al punto de partida tras cruzar cada puente una sola vez. Parece claro que en este problema son intrascendentes las dimensiones; no importa la longitud de los puentes, la anchura del r´ıo o el tamano˜ de la isla o la ciudad; lo que realmente caracteriza el problema es la situacion´ de los puentes, la ciudad y la isla. Euler demostro´ que el problema era equivalente (topologicamente´ equivalente) a recorrer el siguiente grafico´ con un lapiz´ sin levantarlo del papel, de manera que se empiece en un punto y se regrese a el´ recorriendo cada camino una sola vez.

y se regrese a el´ recorriendo cada camino una sola vez. OCW-Universidad de Murcia Pedro Jos

12

Podemos reflexionar sobre este problema durante unos minutos; no obstante, pues- tos a jugar, y con el fin de comprender mejor estos problemas, pensemos que una figura esta´ dibujada en una superficie de goma que se puede deformar: estirar, retorcer, encorvar, etc., es decir, modificaciones que llevan consigo cambios del tamano˜ o de la forma de la figura original. No valen transformaciones como cor- tar, hacer agujeros, pegar otro trozo, etc. Las primeras son transformaciones que podemos llamar continuas, son transformaciones que no cambian la topolog´ıa de la figura y que dan lugar a la misma figura, topologicamente´ hablando; las se- gundas no son continuas, llevan consigo algun´ tipo de ruptura, no son topologi-´ cas y, consecuentemente, no dan lugar a la misma figura desde el punto de vista topologico.´ Por ejemplo, dibuje un cuadrado dividido en dos regiones A y B me- diante un segmento como el de la figura:

A B
A
B

Podemos estirar o retorcer la superficie de goma, pero las dos regiones estaran´ separadas por una linea y las letras A y B no podran´ estar nunca en la misma region.´ El cuadrado anterior es topologicamente´ equivalente a la figura siguiente:

A B
A
B

Sin embargo, no es topologicamente´

se muestran en las tres figuras siguientes:

equivalente a ninguna de las situaciones que

B A
B
A
A B
A
B
C A B
C
A
B

-1. Un poco de historia

13

En la primera, la region´ B esta´ contenida totalmente en la region´ A; en la segunda, las dos regiones no tienen un “lado” en comun´ sino solo´ un punto, y en la tercera hemos hecho un agujero. (En el libro Aventuras topologicas´ de J.L. Carlavilla y G. Fernandez,´ Ed. RUBES, 1994, se pueden encontrar numerosos e interesantes problemas “topologicos”.)´

Ahora es mas´ comprensible por que´ Euler concluyo´ que el problema de los puentes

de Konigsberg¨

era equivalente al del grafico´

que propon´ıamos antes:

era equivalente al del grafico´ que propon´ıamos antes: Para terminar de ilustrar estas ideas, digamos que

Para terminar de ilustrar estas ideas, digamos que en el clasico´ libro Topolog´ıa General (Ed. EUDEBA, 1975), el autor John L. Kelley escribe en una nota a pie de pagina´ lo siguiente: “un topologo´ es un senor˜ que no sabe la diferencia entre una rosca (bizcocho en forma de anillo) y una taza de cafe”. Si pensamos que el rosco esta´ hecho de una masa elastica,´ por ejemplo plastilina, un habil´ modelador podr´ıa efectuar una transformacion´ topologica´ para, sin hacer rupturas y respetando el agujero central de la rosca, llegar a la taza de cafe´ haciendo que dicho agujero sea el del asa y viceversa.

Un poco mas´ de historia

Antes de hacer un recorrido historico´ mas´ concreto, una nueva cita, esta vez del profesor J.M. Rodr´ıguez Amilibia en el prologo´ del libro Introduccion´ a la Topolog´ıa (J. Margalef y E. Otourelo, Ed. Complutense, 1993):

Cuando un topologo´ es invitado a dar una conferencia, o a escribir unas l´ıneas sobre el significado de la Topolog´ıa, no es raro que comience hablando de toros y de tazas de cafe;´ de superficies y de bandas de Mobius;¨ de botellas de Klein y planos proyectivos; y tal vez coja una cuerda y comience a mostrarnos practicamente´ la teor´ıa de nudos. Pero el mismo topologo,´ una vez en clase, no dira´ nada de eso, y partiendo de un metodo´ axiomatico,´ fr´ıo y duro como un trozo de acero, nos hablara´ de entornos, de abiertos, de espacios conexos, de compactificaciones, de redes, etc.

14

Eso es, precisamente, lo que vamos a hacer aqu´ı. Las razones de esto vienen a coincidir con las que el propio profesor Rodr´ıguez Amilibia aduce en el citado prologo;´ hay que buscarlas en la evolucion´ historica´ de la Topolog´ıa y en su vin- culacion´ con otras areas.´

Como indicaba Euler, podr´ıamos decir que la Topolog´ıa surge como una hermana pequena˜ de la Geometr´ıa, pero pronto se hace mayor y permite el estudio de nuevos problemas e incluso de problemas antiguos con perspectivas diferentes. Se vincula con otras ramas como el Analisis´ interactuando mutuamente. Una de las consecuencias es que podemos dividir la Topolog´ıa en dos grandes ramas que tienen desarrollos paralelos y cuya vinculacion´ no es demasiada: la Topolog´ıa Al- gebraica y la Topolog´ıa General (que estudia los conjuntos de puntos). Esta ultima´ es el objeto del presente curso y tiene sus primeras aproximaciones en el s. XIX.

Un breve recorrido cronologico´

J.B. Listing () fue el primero en utilizar la palabra topolog´ıa en un art´ıculo cuyo t´ıtulo fue Vorstudien zur Topologie (Introduccion´ al estudio de la Topolog´ıa), aunque no se puede decir que este´ fuera el comienzo de una rama consolidada como tal. Listing hace un trabajo, digamos parcial, sobre la conexion´ de superficies. Lo cierto es que en el s. XIX hubo una gran preocupacion´ por la busqueda´ del rigor en las definiciones y conceptos (l´ımite, continuidad, etc.), in- tentando abandonar las ideas mas´ intuitivas que se hab´ıan ido manejando hasta entonces; esto y, entre otras cosas, los trabajos de G. Cantor () so- bre conjuntos dan pie a plantearse la necesidad de extender conceptos, basados esencialmente en los numeros,´ a otros conjuntos cuyos elementos eran diferentes:

funciones, curvas, etc. Se hacen esfuerzos en la elaboracion´ de una teor´ıa de es- pacios abstractos que permita sistematizar todas estas ideas que son vislumbradas por algunos matematicos.´ Hasta consolidar el tratamiento axiomatico´ definitivo, son numerosas las aproximaciones que se van haciendo y que resumimos a con- tinuacion.´

Algun´ autor atribuye la paternidad de la Topolog´ıa a B. Riemann (), aduciendo que se acerca a la nocion´ actual de espacio topologico´ como una teor´ıa autonoma´ y que incluso concibe un programa de estudios al respecto; no obstante, sus ideas todav´ıa quedaban un poco lejos de lo que ser´ıa la propia Topolog´ıa.

Tambien´ H. Poincare´ () contribuye con su obra Analysis situs () haciendo un estudio muy riguroso sobre conexion´ vinculado a lo que actualmente se llama Topolog´ıa Algebraica; algun´ autor escribe que, de no ser por lo disperso de su quehacer matematico´ (Poincare´ estudio´ de casi todo), suya habr´ıa sido la sistematizacion´ a que nos venimos refiriendo; en todo caso, tambien´ hay que decir que Poincare´ mostro´ poco interes´ sobre la Topolog´ıa conjuntista, como muestra su intervencion´ en el Congreso Internacional de Matematicas´ de , donde se

-1. Un poco de historia

15

refirio´ a la teor´ıa de conjuntos de Cantor como una enfermedad de la que las generaciones posteriores estar´ıan curadas.

F. Riesz () y M. Frechet´ () hacen importantes trabajos que suponen una nueva aproximacion;´ de hecho, Frechet´ introduce los espacios metri-´ cos en su tesis doctoral ().

Concluyamos diciendo que la primera definicion´ de espacio topologico´ en termi-´ nos de entornos fue dada en  por F. Hausdorff (), partiendo de los trabajos de Riesz, anadiendo˜ la propiedad de separacion´ de puntos (que se conoce como propiedad T 2 o de Hausdorff), que mas´ adelante ser´ıa eliminada de la definicion.´ Las definiciones de espacios topologicos´ en terminos´ de abiertos son obra de P. Alexandroff (   ) en  y W. Sierpinski (   ) en . A partir de entonces la Topolog´ıa ha ido evolucionando y revelandose,´ como dec´ıamos al comienzo, como una rama fundamental en la formacion´ de cualquier matematico´ actual.

Algunos nombres propios de la Topolog´ıa

actual. Algunos nombres propios de la Topolog´ıa G. Leibniz (  –  ) Aunque es
actual. Algunos nombres propios de la Topolog´ıa G. Leibniz (  –  ) Aunque es

G. Leibniz ()

Aunque es una figura destacada dentro del Calculo,´ fue el primero que se refirio´ como Geometria Situs (Geometr´ıa de la posicion)´ a problemas en los que no interven´ıan las magnitudes: estaba intentando resolver pro- blemas combinatorios de posicion.´ Se puede considerar como un precursor de la teor´ıa de grafos y de la Topolog´ıa.

L. Euler ()

Publico´ en  el primer trabajo sobre Geo- metr´ıa de la posicion,´ con el problema de Los puentes de Konigsberg¨ , donde se dio cuenta de que exist´ıa un nuevo tipo de Geometr´ıa donde la distancia no es relevante. En  enuncio´ su conocido teorema que relaciona el

numero´ de caras C, de aristas A y de vertices´

V de un poliedro: C A + V = 2.

16

16 J.B. Listing (  –  ) Es el primero en utilizar la palabra topolog´ıa
16 J.B. Listing (  –  ) Es el primero en utilizar la palabra topolog´ıa
16 J.B. Listing (  –  ) Es el primero en utilizar la palabra topolog´ıa

J.B. Listing ()

Es el primero en utilizar la palabra topolog´ıa en su libro Vorstudien zur Topologie, pero se trata de un trabajo parcial. En  publico´ Der Census raumlicher Complexe oder Verallgemeinerung des Euler’schen Satzes von den Polyedern en el que estudiaba diversas generalizaciones de la formula´ de Euler.

B. Riemann ()

En  Riemann defendio´ su tesis doc- toral, que contiene importantes ideas tanto topologicas´ como anal´ıticas, como por ejemplo las superficies de Riemann y sus propiedades. Concibio´ las ideas cercanas a lo que despues´ ser´ıa la Topolog´ıa como una teor´ıa autonoma.´

G. Cantor ()

En  publico´ su primer art´ıculo sobre teor´ıa de conjuntos, donde describ´ıa riguro- samente la nocion´ de infinito y probaba el controvertido resultado de que casi todos los numeros´ reales son trascendentes. Con sus estudios sobre conjuntos dio pie a la for- mulacion´ de ideas “topologicas”;´ el´ mismo proporciono´ las primeras definiciones de conjunto derivado y punto l´ımite.

-1. Un poco de historia

17

-1. Un poco de historia 17 F. Hausdorff (  –  ) Figura indiscutible de
-1. Un poco de historia 17 F. Hausdorff (  –  ) Figura indiscutible de
-1. Un poco de historia 17 F. Hausdorff (  –  ) Figura indiscutible de

F. Hausdorff (   )

Figura indiscutible de la topolog´ıa y la teor´ıa de conjuntos, introdujo la idea de conjunto parcialmente ordenando en . En  introdujo tipos especiales de ordinales en un intento de probar la hipotesis´ del continuo. En  publico´ Grundzuge¨ der Mengen- lehre donde presento´ la primera definicion´ axiomatica´ de espacio topologico.´

M.R. Frechet´

()

Introdujo la idea de conjunto compacto, aunque actualmente dicho concepto se de- nomina compacidad por punto l´ımite o de acumulacion´ . Tambien´ introdujo en  los espacios metricos´ y probo´ que las ideas de Cantor de subconjuntos abiertos y cerrados pod´ıan extenderse de manera natural a los espacios metricos.´

F. Riesz (   )

Trabajo´ sobre las ideas de Frechet´ expuestas en su tesis doctoral, proporcionando un v´ınculo entre los trabajos de Lebesgue (sobre funciones reales) y Hilbert (sobre ecuaciones integrales). Introdujo el concepto de conver- gencia debil´ de una sucesion´ de funciones y realizo´ una aproximacion´ a la definicion´ axiomatica´ de espacio topologico.´

18

18 W. Sierpinski (  –  ) Comenzo´ a interesarse en la teor´ıa de conjuntos
18 W. Sierpinski (  –  ) Comenzo´ a interesarse en la teor´ıa de conjuntos

W. Sierpinski ()

Comenzo´ a interesarse en la teor´ıa de conjuntos en  y en 1912 publico´ su libro Outline of Set Theory. En los anos˜ 20 amplio´ su interes´ a la topolog´ıa general, realizando contribuciones importantes en el axioma de eleccion´ y la hipotesis´ del continuo. Particularmente famosa es la curva de Sierpinski, que llena todo el cuadrado unidad.

P. Alexandroff (   )

En  introdujo, junto con Uryshon, los espacios numerablemente compactos, local- mente compactos y compactos, tal y como se conocen actualmente. En , estando en la Universidad de Princeton, decidio´ junto con Hopf publicar una obra, en 3 volumenes,´ sobre Topolog´ıa, que no ver´ıa la luz hasta . En ella, presento´ la definicion´ de espacio topologico´ en terminos´ de conjuntos abiertos.

0

Conjuntos, aplicaciones y numeros´

En este cap´ıtulo presentamos los conceptos fundamentales sobre la teor´ıa de con- juntos que nos seran´ muy utiles´ en el desarrollo de la asignatura. En primer lu- gar recordamos las operaciones basicas:´ pertenecia, union,´ interseccion´ y diferen- cia. A continuacion´ introducimos el producto cartesiano de 2 o mas´ conjuntos y

el conjunto potencia. Despues´ recordamos el concepto de aplicacion´ y sus dife-

rentes tipos: inyectiva, sobreyectiva y biyectiva, as´ı como la composicion´ de apli- caciones. Dedicamos una seccion´ a los conjuntos finitos e infinitos, numerables y

no numerables, y finalizamos con una seccion´ dedicada a los numeros´ reales y sus principales propiedades.

0.1.Teor

´ıa de conjuntos

A la hora de estudiar los conjuntos no se pretende elaborar una teor´ıa demasia-

do formalista y rigurosa que se aleje, a veces demasiado, de los objetivos de la asignatura. Por esto, nosotros adoptaremos un punto de vista, mayoritario por otra parte, simple: supondremos que todo el mundo sabe lo que es un conjunto, al menos una idea intuitiva bastante razonable.

Para avanzar un poco tambien´ supondremos conocidos algunos conceptos basicos´ sobre los conjuntos. No obstante, recordaremos brevemente, y sin entrar en mu- chos detalles, las ideas necesarias para abordar un curso de introduccion´ a la Topolog´ıa de Espacios Metricos.´

19

20

0.1. Teor´ıa de conjuntos

0.1.1.Operaciones b

asicas´

Como siempre, fijaremos una notacion´ basica´ antes de empezar. La primera opera- cion´ que se define con un conjunto es la de pertenencia de sus elementos: si un elemento a pertenece a un conjunto A escribiremos

a A,

mientras que utilizaremos el s´ımbolo para indicar que el objeto a no es un elemento del conjunto A.

Utilizaremos la notacion´ A B para indicar que todos los elementos de A son tambien´ elementos de B. Entonces se dira´ que A es un subconjunto de B. Si existe algun´ elemento de B que no esta´ en A, entonces diremos que A es un subconjunto propio de B, y se representara´ como A B.

Cuando se trabaja en alguna de las areas´ de Matematicas,´ normalmente se tiene un conjunto de referencia que se suele llamar conjunto universal o conjunto to- tal, y que nosotros denotaremos habitualmente por X. Por ejemplo, en geometr´ıa eucl´ıdea plana este conjunto es el formado por todos los puntos del plano; en otras areas´ de las matematicas,´ este conjunto puede ser el formado por todos los numeros´ reales, o por todas las funciones, etc. En Topolog´ıa de Espacios Metricos´ sera´ un espacio metrico.´

Dado un conjunto cualquiera A X, definimos el complementario de A (en X),

y lo denotaremos por A c o X A, como el conjunto

A c = X A = {x X : x A}.

Es necesario recordar tambien´ el concepto de conjunto vac´ıo, que representare- mos por , y que es el conjunto que no tiene ningun´ elemento; lo consideraremos finito y supondremos que esta´ contenido en cualquier otro conjunto. Ademas,´ satisface las siguientes igualdades:

y

X X = X c =

X = c = X.

Dados dos conjuntos A y B, podemos definir tres operaciones elementales entre

ellos: la union,´

la interseccion´

y la diferencia.

Union´

de conjuntos

La union´

pertenecen a A, a B o a ambos, y se representa por

A B = {x : x A o x B}.

Los elementos que son comunes a ambos conjuntos no se duplican. Por ejemplo,

si A = {1, 2} y B = {2, 3}, entonces A B = {1, 2, 3}. Vease´

de los conjuntos A y B es el conjunto formado por los elementos que

la Figura 1.

0. Conjuntos, aplicaciones y numeros´

21

B B B A A A A ∪ B A ∩ B A − B
B
B
B
A
A
A
A ∪ B
A ∩ B
A − B
Figura 1 – Union,´
interseccion´
y diferencia de conjuntos.

Interseccion´

de conjuntos

La interseccion´

que pertenecen simultaneamente´

A B = {x : x A y x B}.

La interseccion´ de dos conjuntos puede ser el conjunto vac´ıo. Por ejemplo, si A = {1, 2} y B = {3, 4}, entonces A B = . Vease´ la Figura 1.

de dos conjuntos A y B es el conjunto formado por los elementos

a los conjuntos A y B, y se representa como

Diferencia de conjuntos

La diferencia de los conjuntos A y B es el conjunto formado por los elementos de A que no pertenecen a B, y se representa como

A B = {x : x A y x B}.

El conjunto A B se llama a veces el complemento o el complementario de B

en A. Vease´

la Figura 1.

Ejemplos

Ej.0.1. Consideremos los conjuntos A y B (vease´

la Figura 2)definidos como:

A {x R : (x 1) 2 < 4},

B {x R : |x| > 2}.

=

=

Observemos que A = (1, 3) y que B = (−∞, 2) (2, +). Vamos a determinar los conjuntos A B, A B y A B (tambien´ graficamente).´ En primer lugar, anal´ıticamente, los conjuntos se pueden expresar como sigue:

A ∪ B = { x ∈ R : x < − 2 o x

A B = {x R : x < 2 o x > 1}.

A ∩ B = { x ∈ R : 2 < x < 3 }

A B = {x R : 2 < x < 3} = (2, 3).

A − B = { x ∈ R : ( x − 1) 2 <

A B = {x