Topology

UNIVERSIDAD DE MURCIA Departamento de Matem aticas
Topolog a
1. Conjuntos, aplicaciones y n umeros
Pedro Jos e Herrero y Pascual Lucas Resumen: En este cap tulo presentamos los conceptos fundamentales sobre la teor a de conjuntos que nos ser an muy u tiles en el desarrollo de la asignatura. Hablaremos, entre otros t opicos, de conjuntos, operaciones entre conjuntos, aplicaciones, conjuntos nitos e innitos, numerables y no numerables, y recordaremos las principales propiedades de los n umeros reales.
c 2002 plucas@um.es Actualizado el 18 de febrero de 2002
Versi on 0.2
Indice general
1. Teor a de conjuntos 1.1. Operaciones b asicas Uni on de conjuntos Intersecci on de conjuntos Diferencia de conjuntos 1.2. Otras operaciones El producto cartesiano El conjunto potencia 1.3. Familias de conjuntos 2. Aplicaciones 2.1. Tipos de aplicaciones 2.2. Composici on de aplicaciones 3. Conjuntos especiales: los n umeros 3.1. Conjuntos nitos 3.2. Conjuntos numerables 4. Los n umeros reales 5. Problemas propuestos Soluciones de los ejercicios Soluciones de las cuestiones
Secci on 1: Teor a de conjuntos
1. Teor a de conjuntos
A la hora de estudiar los conjuntos se puede caer en el error de presentar una teor a demasiado 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 tambi en supondremos conocidos algunos conceptos b asicos sobre los conjuntos. No obstante, los recordaremos brevemente sin entrar en muchos detalles.
1.1. Operaciones b asicas

Como siempre, jaremos un poco de notaci on antes de empezar. La primera operaci on que se dene 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 notaci on A B para indicar que todos los elementos de A son tambi en elementos de B. Entonces se dir a que A es un subconjunto de B. Si existe
Toc Volver Doc Doc
alg un elemento de B que no est a en A, entonces diremos que A es un subconjunto propio de B, y se representar a como A B. Dados dos conjuntos A y B, podemos denir tres operaciones elementales entre ellos:
Uni on de conjuntos
B A
, ,
A A
La uni on de Blos conjunto A yB B es el conjunto formado por los elementos que pertenecenAa A, a B o a ambos, y se representa por
A
A A B B = {x | x A o x B}.
Los elementos que est an en ambos conjuntos no se duplican. Por ejemplo, {1}{1, 2} = {1, 2}.
Intersecci on de conjuntos
B A
B on de dos conjuntos A y B es el conjunto formado por los La intersecci elementos que pertenecen simult aneamente a los conjuntos A y B, y se representa como A B
A B = {x | x A y x B}.
La intersecci on de dos conjuntos puede ser el conjunto vac o ( ). Por ejemplo, {1, 2} {3, 4} = .
Toc Volver Doc Doc
Diferencia de conjuntos
B A B
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}.
A B
,
A B
Toc
El conjunto A B se llama a veces el complemento o el complementario de B en A. Antes de poner un ejercicio recordemos la notaci on habitual para referirnos a los conjuntos de n umeros: N (n umeros enteros positivos), Z (n umeros enteros), Q (n umeros racionales), R (n umeros reales) y C (n umeros complejos). = {x R | (x 1)2 < 4}, = {x R | |x| > 2}.
Ejercicio 1.1. Considera los conjuntos A y B denidos como sigue:
Determina los conjuntos A B, A B y A B. Cuestion 1.1. Cu ales de las siguientes armaciones son verdaderas? 1. A B y A C A B C. (a) Verdadero (b) Falso 2. A B y A C A B C. (a) Verdadero (b) Falso
Volver Doc Doc
3. A B o A C A B C. (a) Verdadero (b) Falso 4. A B y A C A B C. (a) Verdadero (b) Falso
1.2. Otras operaciones El producto cartesiano

Ya hemos visto que la uni on ( ), la intersecci on ( ) y el diferencia son operaciones que nos permiten obtener, a partir de dos conjuntos dados, un nuevo conjunto. Pero tambi en podemos construir el conjunto formado por todas las parejas de elementos de ambos conjuntos. M as precisamente, dados dos conjuntos A y B, el producto cartesiano A B es el conjunto denido por A B = {(x, y) | x A e y B}. Dado que la notaci on (a, b), cuando estamos trabajando en el conjunto R de los n umeros reales, indica tambi en el intervalo abierto de extremos a y b, es posible tambi en utilizar la notaci on x y para indicar el elemento del conjunto A B.
Toc
Volver
Doc
Doc
El conjunto potencia
Y qu e ocurre cuando los elementos de un conjunto A son, a su vez, conjuntos? Bueno, para evitar malentendidos y no caer en contradicciones, en este caso diremos que A es una colecci on de conjuntos o una familia de conjuntos. No obstante, como suele ser habitual, tambi en se utiliza el t ermino conjunto de conjuntos. Utilizaremos letras caligr acas para referirnos a las familias de conjuntos: A, B, etc. El ejemplo m as inmediato es el siguiente. Dado un conjunto A, el conjunto formado por todos los subconjuntos de A se denomina conjunto potencia de A y se denota por P(A). Tambi en se suele decir que P(A) es el conjunto de las partes de A. Ejercicio 1.2. Si A es el conjunto de tres elementos {a, b, c}, cu al es conjunto potencia de A? Las operaciones entre dos conjuntos que hemos introducido anteriormente se pueden extender a un mayor n umero de conjuntos, dando lugar a nuevos conjuntos. Un problema interesante es decidir si los conjuntos as obtenidos son o no distintos. Para ello es conveniente tener en cuenta las siguientes reglas: Leyes distributivas: Son dos: A (B C) A (B C) = = (A B) (A C) (A B) (A C). y
Toc
Volver
Doc
Doc
Leyes de De Morgan: Tambi en son dos: A (B C) = A (B C) = (A B) (A C), (A B) (A C). y
Ejercicio 1.3. Demuestra las leyes de De Morgan. Cuestion 1.2. Cu ales de las siguientes armaciones son verdaderas? 1. A C y B D (A B) (C D). (a) Verdadero (b) Falso 2. (A B) (C D) A C y B D (a) Verdadero (b) Falso 3. (A B) (C D) A C y B D, suponiendo que A y B son no vac os. (a) Verdadero (b) Falso 4. (A B) (C D) = (A C) (B D). (a) Verdadero (b) Falso
1.3. Familias de conjuntos

Las operaciones de uni on e intersecci on que hemos denido para dos conjuntos se pueden extender sin ninguna dicultad a una familia arbitraria de conjuntos.
Toc Volver Doc Doc
Sea A una familia de conjuntos. Entonces la uni on de los elementos de A se dene como el conjunto de todos los elementos que pertenecen a alguno de los conjuntos de A y lo representaremos por A = {x | x A para alg un A A}.
AA
on de los elementos de A se dene como el conjunto De modo similar, la intersecci formado por los elementos que pertenecen a todos los elementos de A, es decir, A = {x | x A para todo A A}.
AA
Las leyes distributivas y de De Morgan que hemos visto anteriormente pueden extenderse sin excesiva dicultad al caso de familias arbitrarias de conjuntos. Proposici on 1.1 (Leyes distributivas) Sea A = {Ai | i I} una familia arbitraria de conjuntos y B un conjunto. Entonces: (1) B (
iI
Ai ) =
iI
(B Ai ). (B Ai ).
iI
(2) B (
iI
Ai ) =
Toc
Volver
Doc
Doc
10
Demostraci on. S olo demostraremos la propiedad (1), pues la otra se prueba de manera totalmente an aloga. Sea x B (iI Ai ). Si x B, entonces x (B Ai ) para todo i, por lo que x iI (B Ai ). En otro caso, x iI Ai , por lo que x Ai para todo i. Entonces x B Ai para todo i, por lo que estar a en su intersecci on. Rec procamente, si x iI (B Ai ) entonces x B Ai para todo i; si x B entonces tambi en x B (iI Ai ). En otro caso, x Ai para todo i, es decir, x iI Ai , y as x B (iI Ai ). Proposici on 1.2 (Leyes de De Morgan) Sea A = {Ai | i I} una familia arbitraria de subconjuntos de un conjunto dado X. Entonces: (1) X (iI Ai ) = iI (X Ai ). (2) X (iI Ai ) = iI (X Ai ). Demostraci on. Probaremos s olo el apartado (1), pues el (2) es totalmente an alogo. Si x X (iI Ai ) entonces x Ai para todo i, de modo que x X Ai para todo i, luego x iI (X Ai ). Rec procamente, si x iI (X Ai ) entonces x Ai para todo i, por lo que x iI Ai ; entonces debe estar en su complementario. Para nalizar esta secci on enunciamos el siguiente resultado acerca de la diferencia de conjuntos.
Toc Volver Doc Doc
Secci on 2: Aplicaciones
11
Proposici on 1.3 Sean A y B dos subconjuntos de X. Entonces se verica lo siguiente: (1) A B = A (X B). (2) A (A B) = A B. (3) A (A B) = A B. Demostraci on. La prueba es bastante sencilla y basta repetir las ideas expuestas en las demostraciones anteriores. Demostremos, por ejemplo, el apartado (2). Si x A (A B) entonces x A y x A B. Esta segunda condici on implica que x B. Entonces x A B. Rec procamente, si x A B entonces x A y x B, que implica x A y x A B. Y as x A (A B).
2. Aplicaciones
En esta secci on nos proponemos recordar otro concepto igual de importante que el de conjunto: el concepto de aplicaci on o funci on. A grosso modo, una aplicaci on entre dos conjuntos A y B es una regla que asigna a cada elemento del conjunto A otro elemento del conjunto B. Denici on 1.1 Sean X e Y dos conjuntos. Una aplicaci on f entre X e Y es una correspondencia o regla de asignaci on entre ellos tal que a cada punto x de X se le asocia
Toc
Volver
Doc
Doc
12
un u nico punto y de Y, denominado imagen de x y denotado por f (x). La denotaremos por f f : X Y o X Y X se llama el origen de f e Y se llama recorrido o rango de f. El subconjunto de X en el que est a denida f se denomina dominio y se denota por Dom(f); el subconjunto de Y formado por todas las im agenes de elementos del dominio se denomina conjunto imagen y se denota por Im(f). Por tanto, una funci on f : X Y es un subconjunto del producto cartesiano X Y con la propiedad de que cada elemento de X aparece como la primera coordenada de a lo sumo un par ordenado. Podemos concebir f como el conjunto (f ) denido por (f ) = {(x, y) X Y | x Dom(f ), y = f (x)} y que denominaremos gr aca de f o grafo de f. Denici on 1.2 Sea f : X Y una funci on y sea A X. El conjunto imagen de A por f, que denotaremos por f (A), es el subconjunto de Y formado por todas las im agenes de los elementos de A, es decir: f (A) = {y Y | y = f (x) para alg un x A}. La aplicaci on f restringida al subconjunto A se denomina la restricci on de f a A y se denota por f |A .
Toc Volver Doc Doc
13
Cuestion 1.3. Consideremos las aplicaciones f : R R, f (x) = x4 , y g : R R+ , g(x) = x4 , donde R+ denota los n umeros reales no negativos. Son iguales estas aplicaciones? (a) S (b) No Denici on 1.3 Sea f : X Y una funci on y sea B Y. La imagen inversa de B por f, que denotaremos por f 1 (B), es el subconjunto de X formado por todos los elementos cuya imagen pertenece a B, es decir: f 1 (B) = {x X | f (x) B}. Si B es un conjunto unipuntual {y}, usaremos la notaci on f 1 (y) para referirnos a 1 f ({y}). Tambi en es importante tener en cuenta que f 1 (B) no es m as que una notaci on, y el s mbolo f 1 no indica que exista una aplicaci on entre Y y X que sea inversa de f. Proposici on 1.4 Sea f : X Y una aplicaci on y consideremos los subconjuntos A X y B Y. Entonces se satisface: (1) A f 1 (f (A)). (2) f (f 1 (B)) B.
Toc Volver Doc Doc
14
Demostraci on. La demostraci on de ambas propiedades es inmediata y se deja para el lector. Las inclusiones que aparecen en la proposici on anterior no son, en general, igualdades. Pueden encontrarse ejemplos de funciones donde las inclusiones son propias. Ejercicio 1.4. Encuentra dos ejemplos de funciones f en las que las inclusiones de la Proposici on 1.4 sean estrictas.
2.1. Tipos de aplicaciones

Denici on 1.4 Una aplicaci on f : X Y se dice que es inyectiva (o uno-a-uno) si para cada par de puntos distintos de X, sus im agenes por f son distintas. Se dice que es sobreyectiva (o que f aplica X sobre Y) si cada elemento de Y es la imagen por la funci on f de alg un elemento de X. Si f es a la vez inyectiva y sobreyectiva, se dice que es biyectiva (o se llama una correspondencia uno-a-uno). Cuando f es biyectiva entonces existe una aplicaci on de Y en X, denominada inversa de f, que se representa por f 1 , denida como f 1 (y) = x, donde x es el u nico elemento de X tal que f (x) = y. Cuestion 1.4. 1. Cu ales de las siguientes funciones f : R R es inyectiva? (a) f (x) = x3 (b) f (x) = x2 (c) f (x) = tan(x)
Toc Volver Doc Doc
15
2. Cu ales de las siguientes funciones f : R R es sobreyectiva? (a) f (x) = x3 (b) f (x) = x2 (c) f (x) = tan(x) 3. Cu ales de las siguientes funciones f : R R es biyectiva? (a) f (x) = x4 (b) f (x) = x7 (c) f (x) = cos(x) Proposici on 1.5 Sea f : X Y una aplicaci on y consideremos los subconjuntos A X y B Y. Entonces se satisface: (1) Si f es inyectiva entonces A = f 1 (f (A)). (2) Si f es sobreyectiva entonces f (f 1 (B)) = B. Demostraci on. La demostraci on de ambas propiedades es inmediata y se deja para el lector. Veamos ahora algunas propiedades de las aplicaciones en relaci on con las inclusiones, las uniones, las intersecciones y las diferencias. Las demostraciones se dejan como ejercicio al lector. Proposici on 1.6 Sea f : X Y y sean Ai X y Bi Y para i = 1, 2. Entonces: (a) B1 B2 f 1 (B1 ) f 1 (B2 ). (b) f 1 (B1 B2 ) = f 1 (B1 ) f 1 (B2 ).
Toc Volver Doc Doc
16
(c) f 1 (B1 B2 ) = f 1 (B1 ) f 1 (B2 ). (d) f 1 (B1 B2 ) = f 1 (B1 ) f 1 (B2 ). Proposici on 1.7 Sea f : X Y y sean Ai X y Bi Y para i = 1, 2. Entonces: (a) A1 A2 f (A1 ) f (A2 ). (b) f (A1 A2 ) = f (A1 ) f (A2 ). (c) f (A1 A2 ) f (A1 ) f (A2 ); y se da la igualdad si f es inyectiva. (d) f (A1 A2 ) f (A1 ) f (A2 ); y se da la igualdad si f es inyectiva. Ejercicio 1.5. (a) Generaliza los apartados (b) y (c) de la Proposici on 1.6 a un n umero arbitrario de subconjuntos de Y. (b) Generaliza los apartados (b) y (c) de la Proposici on 1.7 a un n umero arbitrario de subconjuntos de X.
2.2. Composici on de aplicaciones

Para construir nuevas aplicaciones a partir de otras dadas, podemos restringir los conjuntos origen o modicar los rangos de las mismas. Otro mecanismo para formar nuevas aplicaciones es componerlas.
Toc Volver Doc Doc
Secci on 3: Conjuntos especiales: los n umeros
17
Denici on 1.5 Sean las funciones f : X Y y g : Y Z. Se dene la composici on g f de f y g como la aplicaci on g f : X Z dada por (g f )(x) = g(f (x)). Ejercicio 1.6. Cu al es la composici on g f de las aplicaciones siguientes? f : R R, f (x) = 3x3 + 7, g : R R, g(x) = 4x2 . Proposici on 1.8 Sean f : X Y y g : Y Z. Se verica lo siguiente: (a) Si C Z, demuestre que (g f )1 (C) = f 1 (g1 (C)). (b) Si f y g son inyectivas, entonces g f es inyectiva. (c) Si g f es inyectiva, entonces f es inyectiva. (d) Si f y g son sobreyectivas, entonces g f es sobreyectiva. (e) Si g f es sobreyectiva, entonces g es sobreyectiva.
3. Conjuntos especiales: los n umeros

En esta u ltima parte del cap tulo nos vamos a centrar en los conjuntos num ericos. Y para una mejor comprensi on de los mismos debemos introducir algunos tipos especiales de conjuntos: nitos, innitos, numerables y no numerables.
Toc Volver Doc Doc
18
3.1. Conjuntos nitos

Dediquemos unas palabras a los conjuntos m as sencillos: los nitos. Denici on 1.6 Un conjunto X se dice que es nito si existe un n umero natural n y una aplicaci on biyectiva entre X y el conjunto {1, . . . , n}. El n umero n se llama el cardinal de X. Si X = entonces su cardinal es 0. Algunas propiedades importantes relativas a los conjuntos nitos son las siguientes. Proposici on 1.9 (1) Si X es nito, entonces no existe una aplicaci on biyectiva entre X y un subconjunto propio de X. (2) El cardinal de un conjunto nito X est a un vocamente determinado por el conjunto X. (3) Si A es un subconjunto de un conjunto nito X, entonces A es nito. Si A es un subconjunto propio, entonces el cardinal de A es menor que el cardinal de X. Demostraci on. La demostraci on de estas propiedades no es nada trivial, en contra de lo que pudiera pensarse a primera vista. Las claves son las dos propiedades siguientes: (a) Sea n un entero positivo. Sean X un conjunto y x 0 un elemento de X. Entonces existe una aplicaci on biyectiva f entre el conjunto X y el conjunto {1, . . . , n + 1} si, y s olo si, existe una aplicaci on biyectiva del conjunto X {x0 } con {1, . . . , n}.
Toc Volver Doc Doc
19
(b) Sea X un conjunto y supongamos que existe una biyecci on f : X {1, . . . , n} para alg un n N. Sea A un subconjunto propio de X. Entonces no existe biyecci on alguna g : A {1, . . . n}, y si B = entonces existe una biyecci on h : A {1, . . . , m} para alg un m < n. Ejercicio 1.7. Prueba que el conjunto N de los n umeros naturales no es nito. Las siguientes propiedades son tambi en f aciles de probar. Proposici on 1.10 Si X es un conjunto no vac o, son equivalentes: (1) X es nito. (2) Existe un n umero natural n y una aplicaci on sobreyectiva f : {1, . . . , n} X. (3) Existe un n umero natural n y una aplicaci on inyectiva f : X {1, . . . , n}. Proposici on 1.11 Las uniones nitas y los productos cartesianos nitos de conjuntos nitos son nitos. Demostraci on. Lo veremos s olo para el caso de dos conjuntos. La demostraci on en el caso general es an aloga y se realiza por inducci on en el n umero de conjuntos. Demostraremos primero que si X e Y son conjuntos nitos, tambi en lo es X Y. Si X o Y es vac o no hay nada que probar. En caso contrario, existir an biyecciones
Toc Volver Doc Doc
20
f : {1, . . . , m} X y g : {1, . . . , n} Y para determinados m y n. Denimos entonces una funci on h : {1, . . . , m + n} X Y de la forma h(i) = f (i) si i = 1, 2, . . . , m y h(i) = g(i m) si i = m + 1, . . . , m + n. Es f acil ver que h es sobreyectiva, de lo que se deduce que X Y es nito. Veamos ahora que el producto cartesiano de dos conjuntos nitos X e Y tambi en es nito. Dado x X, el conjunto {x} Y es nito, pues tiene el mismo cardinal que Y. Pero X Y es la uni on de estos conjuntos, por lo que X Y es una uni on nita de conjuntos nitos, y por tanto nito. Ejercicio 1.8. Demuestra la Proposici on 1.11 en el caso general.
3.2. Conjuntos numerables

Denici on 1.7 Todo conjunto X que no sea nito se dice que es innito. Si X es un conjunto innito que est a en correspondencia biyectiva con N, entonces se dice que es innito numerable. En otro caso X se dice que es innito no numerable. Diremos que X es numerable si es nito o innito numerable. Ejemplo 1.1. Todo subconjunto A N de los n umeros naturales es numerable. Supongamos que A es innito. Vamos a construir una aplicaci on biyectiva f entre A y N. Sea f (1) el menor elemento de A y denotemos A 1 = A {f (1)}; sea f (2) el menor elemento de A1 y denotemos A2 = A1 {f (2)} = A {f (1), f (2)}; y as sucesivamente. En general, sea f (m) el menor elemento de A m1 y denotemos Am = Am1 {f (m)}.
Toc Volver Doc Doc
21
Como A no es nito, el proceso anterior no acaba y para cada m N existe f (m) > f (i), para i < m. Es f acil ver que f es una aplicaci on biyectiva (observemos que f (m) m para todo m). La siguiente propiedad es an aloga a la Proposici on 1.10, pero adaptada a los conjuntos numerables. Proposici on 1.12 Si X es un conjunto no vac o, entonces son equivalentes: (1) X es numerable. (2) Existe una aplicaci on sobreyectiva f : N X. (3) Existe una aplicaci on inyectiva g : X N. Hagamos un inciso aqu para referirnos a las aplicaciones f : N X. Este tipo de aplicaciones se denominan sucesiones y habitualmente se denotan como (xn )n o {xn }n , donde xn = f (n). No debemos confundir una sucesi on con su conjunto imagen. Proposici on 1.13 Si A es un subconjunto de un conjunto numerable X, entonces A es tambi en numerable. Demostraci on. Como X es numerable, existe una aplicaci on sobreyectiva f : N X. Denimos una aplicaci on g : X A por la condici on g |A = 1. Entonces h = gf : N A es una aplicaci on sobreyectiva, lo que implica que A es numerable.
Toc Volver Doc Doc
22
Lema 1.14 El producto nito de copias de N es un conjunto numerable. Demostraci on. Lo demostraremos para el producto N N; el caso general se hace por inducci on en el n umero de copias. Ordenemos el conjunto N N de la siguiente forma: (1,2) (1,3) . . . (1,1) % (2,2) (2,1) (2,3) . . . % ... (3,1) (3,2) (3,3) % . . . .. . . . . . . . % Es f acil ver que la aplicaci on f : N N N, representada por el gr aco anterior, es una aplicaci on sobreyectiva. Ejercicio 1.9. Determina expl citamente la funci on f anterior. Los conjuntos numerables satisfacen las siguientes propiedades. Proposici on 1.15 (1) Las uniones numerables de conjuntos numerables es un conjunto numerable. (2) Los productos nitos de conjuntos numerables es un conjunto numerable.
Toc Volver Doc Doc
23
Demostraci on. (1) Sea {Xi }iI una familia numerable de conjuntos numerables y supongamos, sin p erdida de generalidad, que cada conjunto X i es no vac o. Como cada Xi es numerable, para cada i existe una funci on sobreyectiva f i : N Xi . Pero I tambi en es numerable, por lo que es posible encontrar otra aplicaci on sobreyectiva g : N I. Ahora denimos h:NNX=
nI
Xi
mediante la ecuaci on h(k, m) = fg(k) (m). Es f acil ver que h es sobreyectiva. Como N N es numerable, podemos encontrar una aplicaci on sobreyectiva N X, lo que concluye la demostraci on. (2) Supongamos X e Y dos conjuntos numerables no vac os. Elegimos aplicaciones sobreyectivas f : N X y g : N Y. Entonces, la aplicaci on h : N N X Y denida mediante la ecuaci on h (n, m) = (f (n), g(m)) es sobreyectiva, y por tanto X Y es numerable. La demostraci on en el caso general se realiza por inducci on en el n umero de factores. Ejercicio 1.10. Demuestre que el conjunto Q de los n umeros racionales es numerable.
Toc
Volver
Doc
Doc
24
Tambi en existen ejemplos de conjuntos usuales que no son numerables. Veamos algunos. Ejemplo 1.2. El intervalo [0, 1] R no es numerable. Por tanto, R tampoco es numerable. En efecto, supongamos que [0, 1] es numerable y consideremos una numeraci on del mismo: {x1 , x2 , . . . , }, es decir, supongamos que existe una funci on sobreyectiva f : N [0, 1], xn = f (n). Expresemos cada n umero x n en notaci on decimal: x1 x2 = 0 a11 a12 a1n = 0 a21 a22 a2n
Podemos suponer que cada x n tiene innitos decimales; en efecto, en caso contrario podemos considerar la expresi on alternativa consistente en una sucesi on innita de 9. Por ejemplo, 1/2 = 0 5 se puede escribir como 0 499999 . Denimos el n umero y = 0 b1 b2 bn mediante bi = aii y bi = 0. Es claro que y = xi para todo i, por lo que y [0, 1], lo cual es absurdo. Ejemplo 1.3. Siguiendo las mismas ideas del ejemplo anterior, prueba que el conjunto X formado por todas las aplicaciones de N en {0, 1} es no numerable.
Toc
Volver
Doc
Doc
Secci on 4: Los n umeros reales
25
4. Los n umeros reales

Para nalizar este cap tulo, recordemos algunas de las principales propiedades de los n umeros reales. En el conjunto R de los n umeros reales podemos denir dos operaciones binarias + y , llamadas suma y multiplicaci on, respectivamente, y una relaci on de orden < sobre R, tales que se cumplen las siguientes propiedades: Propiedades algebraicas (1) (x + y) + z = x + (y + z), (x y) z = x (y z) para todo x, y, z en R. (2) x + y = y + x, x y = y x para todo x, y en R. (3) Existe un u nico elemento de R llamado cero, representado por 0, de forma que x + 0 = x para todo x R. Existe un u nico elemento de R llamado uno, distinto de 0 y representado por 1, tal que x 1 = x para todo x R. (4) Para cada x R existe un u nico y R tal que x + y = 0. Para cada x R distinto de 0 existe un u nico y R tal que x y = 1. (5) x (y + z) = (x y) + (x z) para todo x, y, z R.
Toc
Volver
Doc
Doc
Secci on 4: Los n umeros reales
26
Una propiedad mixta algebraica y de orden (6) Si x > y, entonces x + z > y + z. Si x > y y z > 0, entonces x z > y z. Otras propiedades (7) La relaci on de orden < verica la propiedad del supremo. (8) Si x < y, existe un elemento z tal que x < z y z < y. Un n umero es positivo si x > 0, y negativo si x < 0. Los reales positivos se + . Las propiedades (1)-(5) implican denotar an por R+ y los reales no negativos por R que R es un cuerpo; y la propiedad (6) nos permite decir que es un cuerpo ordenado. Por otro lado, las propiedades (7) y (8) implican s olo a la relaci on de orden; por satisfacer estas propiedades, se dice que R es un continuo lineal. Otra propiedad interesante de los n umeros reales es la propiedad arquimediana, de la que presentamos dos versiones. Proposici on 1.16 (Propiedad arquimediana, v.1) Para cualquier n umero real positivo > 0, existe un n umero natural n tal que n > 1. Proposici on 1.17 (Propiedad arquimediana, v.2) Para cualquier pareja de n umero reales x < y, existe un n umero racional q tal que x < q < y.
Toc
Volver
Doc
Doc
Secci on 5: Problemas propuestos
27
5. Problemas propuestos
Problema 1.1. Calcule los siguientes conjuntos: 1 1 (a) nN ( n , n) (b) (c) (d)
nZ (n
1, n + 1)
nN (n, n) nN (n, n)
Problema 1.2. Calcule la diferencia A B en cada caso: (a) A = [0, 1] (b) A = (1, 1] B = (1, 0) B = [1, 1]. Problema 1.3. Dados los conjuntos A, B y C, exprese cada uno de los siguientes conjuntos en t erminos de A, B y C, utilizando los s mbolos , y : D = {x | x A y (x B o x C)}, E = {x | (x A y x B) o x C}, F = {x | x A y (x B x C)}. Problema 1.4. Dos conjuntos tienen el mismo cardinal si se pueden poner en correspondencia biyectiva. Pruebe lo siguiente: (1) R y el intervalo (1, 1) tienen el mismo cardinal.
Toc Volver Doc Doc
28
(2) Dos intervalos abiertos nitos tienen el mismo cardinal. (3) R tiene el mismo cardinal que cualquier intervalo (a, b). Problema 1.5. Sea R el conjunto de los n umeros reales. Determine si cada uno de los siguientes subconjuntos de R R es igual al producto cartesiano de dos subconjuntos de R. (a) {(x, y) | x es un entero}. (b) {(x, y) | 0 < y 1}. (c) {(x, y) | y > x}. (d) {(x, y) | x no es un entero e y es un entero }. (e) {(x, y) | x2 + y2 < 1}. Problema 1.6. Sea f : R R la funci on f (x) = x3 x. Restringiendo adecuadamente el dominio y el rango de f, obtenga a partir de f una funci on biyectiva g. Dibuje las gr acas de g y g 1 (hay diferentes elecciones posibles para g). Problema 1.7. Represente gr acamente los siguientes subconjuntos de R2 : A B
Toc
= {(x, y) | x [n, n + 1], y [n, n + 1] para alg un n Z} = {(x, y) | 0 x y 1}

Volver Doc Doc
29
Problema 1.8. Considere las funciones f , g : R R dadas por f (x) = 2x + 1 y g(x) = x2 2. Determine expl citamente las funciones compuestas f g y g f. Problema 1.9. Sea el intervalo A = [1, 1] y considere las funciones f , g, h : A A denidas por f (x) = sen x, g(x) = sen( x) y h(x) = sen( x/2). Estudie si estas funciones son inyectivas, sobreyectivas o biyectivas. Problema 1.10. Considere las familias de conjuntos A n = {x | x es m ultiplo de n}, n N, y Bm = [m, m + 1], m Z. Determine los siguientes conjuntos: (a) A3 A5 (b) (d)
iP
Ai , donde P denota el conjunto de los n umeros primos. Bm

m7
(c) B3 B4
mZ
(e) A5 (
Bm )
Problema 1.11. Considere la funci on f : R R denida por f (x) = x2 . Calcule: 1 (a) f (25) (b) f 1 ({x | x 0}) (c) f 1 ({x | 4 x 25})
Toc
Volver
Doc
Doc
30
Problema 1.12. Para toda aplicaci on f : X Y se dene la aplicaci on asociada f entre los conjuntos potencia f : P(X) P(Y) como sigue: f (A) = {y Y | y = f (x) para alg un x A}. Demuestre que si f es inyectiva entonces f tambi en lo es. Problema 1.13. Calcule los siguientes conjuntos: 1 (a) nN [0, n ] (b) (c) (d)
1 nN (0, n ] 1 nN [0, n ) nN [n, +)
Problema 1.14. Son ciertas o falsas las siguientes igualdades? Razone la respuesta. 1 1 1 0, 1 = [0, 1] a ,b + = [a, b] n n n n=1 n=1
Fin del Cap tulo

Toc Volver Doc Doc
Soluciones de los ejercicios
31

Ejercicio 1.1. A B = {x R | x < 2 o x > 1}. A B = {x R | 2 < x < 3} = (2, 3). A B = {x R | (x 1)2 < 4 y |x| 2} = (1, 2]. Ejercicio 1.1
Toc
Volver
Doc
Doc
32
Ejercicio 1.2. P(A) es la colecci on de (todos!) los subconjuntos de A. As pues: P(A) = {{}, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c}} Ejercicio 1.2
Toc
Volver
Doc
Doc
33
Ejercicio 1.4. (1) Consideremos f : R R, f (x) = x2 , y el conjunto A = [1, 2]. Entonces f 1 (f (A)) = [ 2, 1] [1, 2] A. (2) Consideremos f : R R, f (x) = sen x, y el conjunto B = [2, 2]. Entonces f (f 1 (B)) = [1, 1] B. Ejercicio 1.4
Toc
Volver
Doc
Doc
34
Ejercicio 1.5(a) Sea {Bi Y | i I} una familia de subconjuntos de Y. Entonces se verica: f 1 (Bi ). (1) f 1 ( Bi ) =
iI iI
(2) f 1 (
iI
Bi ) =
iI
f 1 (Bi )
Toc
Volver
Doc
Doc
35
Ejercicio 1.5(b) Sea {Ai X | i I} una familia de subconjuntos de X. Entonces se verica: f (Ai ). (1) f ( Ai ) =
iI iI
(2) f (
iI
Ai )
iI
f (Ai ), y se da la igualdad si f es inyectiva.
Toc
Volver
Doc
Doc
36
Ejercicio 1.6. La funci on compuesta es g f (x) = 4(3x3 + 7)2 .
Ejercicio 1.6
Toc
Volver
Doc
Doc
37
Ejercicio 1.7. La funci on f : N N {1} denida por f (n) = n + 1 es una biyecci on entre N y un subconjunto propio de s mismo, lo que contradice el apartado (1) de la Proposici on 1.9. Ejercicio 1.7
Toc
Volver
Doc
Doc
38
Ejercicio 1.9. Si ponemos f (k) = (m(k), n(k)), entonces m(k) n(k) = k r(r 1) 2 = r+1m
donde r es el u nico n umero natural tal que r(r 1) (r + 1)r <k . 2 2 Ejercicio 1.9
Toc
Volver
Doc
Doc
39
Ejercicio 1.10. Observemos que el conjunto Z de los n umeros enteros es numerable, ya que es la uni on de tres conjuntos numerables: Z = N (N) {0}. Pero Q se puede considerar incluido en Z Z, que es numerable, y por tanto es tambi en numerable. Ejercicio 1.10
Toc
Volver
Doc
Doc
Soluciones de las cuestiones
40

Cuesti on 1.3. Las aplicaciones son distintas, ya que aunque est an denidas de la misma manera y tienen el mismo origen, sin embargo el recorrido de ambas funciones es distinto. Fin de la cuesti on
Toc
Volver
Doc
Doc
Topolog a
2. Espacios topol ogicos
Pedro Jos e Herrero y Pascual Lucas Resumen: En este cap tulo denimos lo que es un espacio topol ogico y estudiamos algunos caminos para construir una topolog a sobre un conjunto, para convertirlo en un espacio topol ogico. Tambi en consideramos algunos de los conceptos elementales que tienen que ver con espacios topol ogicos, como son las bases y las subbases, los espacios producto, los subespacios, as como los conjuntos abiertos y cerrados.
Versi on 0.2
Indice general
1. El concepto de espacios topol ogico 2. Base de una topolog a 2.1. Subbase para una topolog a 3. Subespacios topol ogicos 4. La topolog a producto 5. Subconjuntos especiales 5.1. Conjuntos cerrados 5.2. Entornos 6. Problemas propuestos Soluciones de los ejercicios Soluciones de las cuestiones
Secci on 1: El concepto de espacios topol ogico
1. El concepto de espacios topol ogico

La topolog a inici o su andadura con el siglo XX y ya por los a nos 20 se propusieron las primeras deniciones de espacio topol ogico. Al principio hubo varias deniciones, propuestas por los principales matem aticos, que coincid an en unos puntos y discrepaban en otros. Con el paso de los a nos se fue unicando y en la actualidad est a ya estandarizada. Denici on 2.1 Una topolog a sobre un conjunto X es una colecci on T de subconjuntos de X con las siguientes propiedades: (1) y X est an en T . (2) La uni on de los elementos de cualquier subcolecci on de T est a en T . (3) La intersecci on de los elementos de cualquier subcolecci on nita de T est a en T . Un conjunto X para el que se ha denido una topolog a T se llama un espacio topol ogico. En realidad, un espacio topol ogico es un par (X, T ) formado por un conjunto X y una topolog a T sobre X. Los elementos de T se denominan conjuntos abiertos de (X, T ) o, simplemente, abiertos. Veamos algunos ejemplos. Ejemplo 2.1. Si X es cualquier conjunto y consideramos T = P(X), entonces (X, T ) es un espacio topol ogico. T se denomina topolog a discreta.
Toc Volver Doc Doc
Ejemplo 2.2. Si X es cualquier conjunto y consideramos T = {, X}, entonces (X, T ) es un espacio topol ogico. T se denomina topolog a indiscreta o topolog a trivial. No todas las topolog as son discretas o indiscretas. Veamos un sencillo ejemplo. Ejemplo 2.3. Sea X un conjunto de tres elementos, X = {a, b, c}. Hay muchas topolog as posibles sobre X, algunas de las cuales se indican a continuaci on: (1) T1 = {X, , {a, b}, {b}, {b, c}}. (2) T2 = {X, , {a}, {a, b}}. (3) T3 = {X, , {a}, {b, c}}. (4) T4 = {X, , {a}, {b}, {a, b}}. Pero hay colecciones de subconjuntos que no constituyen una topolog a. Por ejemplo, las siguientes familias no son una topolog a: (1) T5 = {X, , {a}, {b}}. (2) T6 = {X, , {a, b}, {b, c}}. Ejercicio 2.1. En qu e fallan las familias T5 y T6 para no ser una topolog a? Ejemplo 2.4. Sea X un conjunto; sea Tcf la colecci on de todos los subconjuntos U de X tales que X U es nito o es todo X. Entonces Tcf es una topolog a sobre X, llamada topolog a de los complementos nitos o topolog a conita.
Toc Volver Doc Doc
Cuando el conjunto X es nito entonces la topolog a conita coincide con la topolog a discreta. Siempre que estudiemos un conjunto con la topolog a conita supondremos que X es innito. Ejercicio 2.2. Demuestra que Tcf es, efectivamente, una topolog a. Ejercicio 2.3. Sea X un conjunto y Tcn la colecci on de todos los subconjuntos U de X tales que X U es numerable o todo X. Prueba que Tcn es una topolog a sobre X. Tcn se denomina topolog a de los complementos numerables o topolog a conumerable. Denici on 2.2 Sea X un conjunto y sean T1 y T2 dos topolog as sobre X. Si T2 T1 , diremos que T2 es m as na que T1 ; si T2 contiene propiamente a T1 , diremos que T2 es estrictamente m as na que T1 . Tambi en diremos que T1 es m as gruesa que T2 , o estrictamente m as gruesa, en estas dos respectivas situaciones. Se dice que T1 es comparable con T2 si T2 T1 o T1 T2 . Ejemplo 2.5. La topolog a indiscreta es m as gruesa (o menos na) que cualquier otra, y la topolog a discreta es la m as na posible. Ejemplo 2.6. La topolog a conumerable es m as na que la topolog a conita. En efecto, si A es abierto en Tcf entonces X A es un conjunto nito y, por tanto, numerable. Entonces A es abierto en Tcn .
Toc
Volver
Doc
Doc
Secci on 2: Base de una topolog a
2. Base de una topolog a

Para describir una topolog a no es necesario indicar todos los abiertos de la misma, basta con indicar un subconjunto con algunas propiedades. Denici on 2.3 Si X es un conjunto, una base para una topolog a T sobre X es una colecci on B de subconjuntos de X (llamados elementos b asicos) tales que cada abierto A de T es la uni on de elementos de B. Lo interesante de lo anterior es que estudiando dos propiedades podemos decidir si una colecci on B es una base para la topolog a. M as precisamente, tenemos el siguiente resultado. Proposici on 2.1 Sea X un conjunto y B P(X) una colecci on de subconjuntos de X. Entonces B es una base para una topolog a T si, y s olo si, se cumple que (1) Para cada x X, hay al menos un elemento b asico B que contiene a x. (2) Si x pertenece a la intersecci on de dos elementos b asicos B 1 y B2 , entonces existe un elemento b asico B 3 que contiene a x y tal que B 3 B1 B2 . Demostraci on. Veamos que la colecci on T generada por la base B es una topolog a sobre X: T = {A X | A = B para ciertos conjuntos B B}.
Toc Volver Doc Doc
Si U es el conjunto vac o, satisface la condici on de ser abierto trivialmente. De la misma forma, X est a en T , puesto que para cada x X existe alg un elemento b asico B que contiene a x y contenido a su vez en X. Tomemos una familia {Aj }jJ de elementos de T y probemos que Aj A=
jJ
pertenece a T . Dado x A, existe un ndice j tal que x Aj . Como Aj es abierto, existe un elemento b asico B tal que x B Ai . Entonces x B y B A, por lo que A es abierto, por denici on. Tomemos ahora dos elementos A1 y A2 de T y probemos que A1 A2 pertenece a T . Dado x A1 A2 , elegimos un elemento b asico B 1 que contenga a x tal que B 1 A1 ; elijamos tambi en un elemento b asico B 2 que contenga a x y tal que B 2 A2 . La segunda condici on para una base nos permite elegir un elemento b asico B 3 que contiene a x y tal que B3 B1 B2 . Entonces x B3 y B3 A1 A2 , por lo que A1 A2 pertenece a T , por denici on. Por u ltimo, veamos que cualquier intersecci on nita A 1 An de elementos de T est a en T . Utilizaremos la inducci on. Este hecho es trivial para n = 1; supongamos que es cierto para n 1 y prob emoslo para n. Tenemos (A1 An ) = (A1 An1 ) An .
Toc
Volver
Doc
Doc
Por hip otesis, A1 An1 pertenece a T ; utilizando el resultado que acabamos de probar, la intersecci on de A 1 An1 y An tambi en pertenece a T . Hemos comprobado que T es, en efecto, una topolog a. Ejemplo 2.7. La colecci on {(a, b) | a, b R} de todos los intervalos abiertos de la recta real constituye una base para la topolog a usual Tu de R. Ejemplo 2.8. La colecci on {[a, b) | a, b R} de todos los intervalos semiabiertos anteriores constituye una base para una topolog a sobre R. Dicha topolog a se llama topolog a del l mite inferior y se denota T . El espacio topol ogico (R, T ) se denota simplemente por R y se llama recta de Sorgenfrey. Ejemplo 2.9. Sea B la colecci on de todas las regiones circulares (interiores de c rculos) en el plano. Entonces B satisface las dos condiciones de la Proposici on 2.1. La topolog a generada por B se denomina topolog a usual de R2 y se denota por Tu . En esta topolog a, un subconjunto A del plano es abierto si cada x en A est a dentro de alguna regi on circular contenida en A.
x B3 B2
B1
Toc
Volver
Doc
Doc
Ejemplo 2.10. Sea B la colecci on de todas las regiones rectangulares en el plano de lados paralelos a los ejes de coordenadas. Entonces B satisface las dos condiciones de la Proposici on 2.1, por lo que genera una topolog a en el plano. En este caso, la segunda condici on de la denici on de base se satisface trivialmente, ya que la intersecci on de dos elementos de la base vuelve a ser un elemento de la base.
x B'1 B'2
En los dos ejemplos anteriores hemos encontrado dos bases B y B que generan topolog as en el plano. La pregunta es, ser an la misma? La respuesta nos la proporciona el siguiente resultado. Proposici on 2.2 Sean B1 y B2 bases para las topolog as T1 y T2 , respectivamente, sobre X. Entonces son equivalentes: (1) T2 es m as na que T1 . (2) Para cada x X y cada elemento b asico B B1 que contiene a x, existe un elemento b asico C B2 tal que x C B. Demostraci on. (2)(1) Sea U T1 . Si x U, puesto que B1 genera T1 , existe un elemento B B1 tal que x B U. La condici on (2) nos dice que existe un elemento C B2 tal que x C B. Entonces x C U, por lo que U T2 .
Toc Volver Doc Doc

(1)(2)
10
Sea x X y B B, con x B. Como B pertenece a T1 por denici on y T1 T2 por la condici on (1), entonces B T2 . Puesto que T2 est a generada por B2 , existe un elemento C B2 tal que x C B. Ahora ya podemos ver que la colecci on B de todas las regiones circulares en el plano genera la misma topolog a que la colecci on B de todas las regiones rectangulares. Aunque no sea muy riguroso, la siguiente gura ilustra la demostraci on que podr a hacerse:
x x B B' B' B
Cuestion 2.1. Qu e topolog a sobre R es m as na? (a) Tu (b) T
2.1. Subbase para una topolog a

Hemos visto que los abiertos de la topolog a generada por una base B est a formada por la colecci on de las uniones arbitrarias de elementos de B. Si en lugar de trabajar con las uniones arbitrarias lo hacemos con las intersecciones nitas llegamos al concepto de subbase.
Toc Volver Doc Doc
Secci on 3: Subespacios topol ogicos
11
Denici on 2.4 Una subbase S para una topolog a sobre X es una colecci on de subconjuntos de X cuya uni on es igual a X, y la topolog a generada por la subbase S es la colecci on T de todas las uniones de intersecciones nitas de elementos de S. Ejercicio 2.4. Comprueba que T es, efectivamente, una topolog a.
3. Subespacios topol ogicos

Proposici on 2.3 Sea (X, T ) un espacio topol ogico y H X un subconjunto. La familia TH = {H A | a T } de las intersecciones de los abiertos de X con H es una topolog a sobre H. Demostraci on. Evidentemente H TH , puesto que H = H X, y = H , luego TH . Si tenemos una familia {H Ai | i I, Ai T } de elementos de TH , entonces la uni on ser a iI (H Ai ) = H (iI Ai ). Como iI Ai T por ser abiertos, tendremos que la uni on de elementos de TH tambi en est a en TH . Aplicando la misma propiedad, pero en sentido contrario, se prueba que la intersecci on de dos elementos de TH tambi en es de TH . Denici on 2.5 Sea (X, T ) un espacio topol ogico y H X un subconjunto. El espacio topol ogico (H, TH ) se llama subespacio topol ogico de X y la topolog a TH se llama
Toc Volver Doc Doc
Secci on 3: Subespacios topol ogicos
12
topolog a inducida por T sobre H o topolog a relativa de H con respecto a (X, T ). Los abiertos de TH se denominan abiertos relativos o abiertos para la topolog a relativa. Ejercicio 2.5. Demuestra si B es una base para la topolog a de X, entonces la colecci on BH = {B H | B B} es una base para la topolog a inducida sobre Y. Cuestion 2.2. Los abiertos relativos, son abiertos en el espacio total? (a) S (b) No Proposici on 2.4 Sea (X, T ) un espacio topol ogico y (H, TH ) un subespacio. Entonces todo subconjunto A H abierto en (H, TH ) es abierto en (X, T ) si, y s olo si, H es abierto en (X, T ). Demostraci on. Si todo abierto en TH lo es en T , como H es abierto en TH entonces tambi en es abierto en T . Rec procamente, si H es abierto en T , como todo abierto A en TH es de la forma A = H B, con B abierto en el espacio total, A ser a abierto en el espacio total por ser intersecci on de abiertos. Ejemplo 2.11. Consideremos R con la topolog a usual y el subespacio formado por los racionales Q. Los abiertos en Q, para la topolog a inducida, ser an intersecciones de
Toc Volver Doc Doc
Secci on 4: La topolog a producto
13
abiertos de R con Q. Entonces el conjunto {x Q : 0 < x < 1} es abierto en Q pero no lo es en R.
4. La topolog a producto
Ya hemos visto como construir nuevos espacios topol ogicos a partir de uno dado: los subespacios topol ogicos. En esta secci on vamos a ilustrar otro m etodo. Si X e Y son espacios topol ogicos, vamos a denir una topolog a sobre el producto cartesiano X Y. Denici on 2.6 Sean X e Y espacios topol ogicos. La topolog a producto sobre X Y es la topolog a que tiene como base la colecci on B de todos los conjuntos de la forma U V, donde U es un subconjunto abierto de X y V es un subconjunto abierto de Y.
V2
; ;
V1 U1 U2
El conjunto B es, en efecto, una base. La primera condici on es trivial, puesto que X Y es ya un elemento b asico. La segunda condici on es casi igual de obvia, ya que la intersecci on de cualesquiera dos elementos b asicos U 1 V1 y U2 V2 es otro elemento b asico. Tenemos
(U1 V1 ) (U2 V2 ) = (U1 U2 ) (V1 V2 ),
y el u ltimo conjunto es un elemento b asico porque U 1 U2 y V1 V2 son abiertos en X e Y, respectivamente. La colecci on B no es una topolog a sobre X Y. La uni on de
Toc Volver Doc Doc
14
los dos rect angulos de la gura, por ejemplo, no es un producto de dos conjuntos, por lo que no puede pertenecer a B; sin embargo, es abierto en X Y. Teorema 2.5 Si B es una base para la topolog a de X y C es una base para la topolog a de Y, entonces la colecci on D = {B C | B B y C C} es una base para la topolog a sobre X Y. Demostraci on. Utilizaremos la Denici on 2.3 de base. Dado un conjunto abierto W de X Y y un punto (x, y) de W, por denici on de la topolog a producto existe un elemento U V b asico tal que (x, y) U V W. Puesto que B y C son bases para X e Y, respectivamente, podemos elegir un elemento B de B tal que x B U, y un elemento C de C tal que y C V. Por tanto, (x, y) B C W. As la colecci on D cumple el criterio de la denici on, por lo que es una base para X Y. Ejemplo 2.12. Consideremos R con la topolog a usual Tu . Entonces podemos considerar la topolog a producto sobre el producto cartesiano R R = R2 . Es f acil ver que esta topolog a producto coincide con la topolog a usual en R2 que hemos introducido en el Ejemplo 2.10. Algunas veces es u til expresar la topolog a producto en t erminos de una subbase. Para hacer esto, primero denimos ciertas funciones llamadas proyecciones.
Toc Volver Doc Doc
15
; ;;; ; ;
1 (U )
1
Denici on 2.7 Sean 1 : X Y X denida por 1 (x, y) = x y 2 : X Y Y denida por 2 (x, y) = y. Las aplicaciones 1 y 2 se llaman proyecciones de X Y sobre su primer y segundo factor, respectivamente.
1 Si U es un subconjunto abierto de X, el conjunto 1 (U) es, precisamente, el conjunto U Y, que es abierto en X Y. De modo similar, si V es abierto en Y, ocurre que 1 2 (V) = X V,
2 (V )
que tambi en es abierto en X Y. La intersecci on de estos dos conjuntos es el conjunto U V, como se aprecia en la gura. Teniendo esto en cuenta, podemos enunciar el siguiente resultado.
X U
Teorema 2.6 La colecci on
1 1 S = {1 (U) | U es abierto en X} {2 (V) | V es abierto en Y }
es una subbase para la topolog a producto sobre X Y. Demostraci on. Sean T la topolog a producto sobre X Y y T la topolog a generada por S. Puesto que cada elemento de S pertenece a T , tambi en pertenecen las uniones arbitrarias de intersecciones nitas de elementos de S. As T T . Por otro lado, cada
Toc Volver Doc Doc
Secci on 5: Subconjuntos especiales
16
elemento b asico U V para la topolog a T es una intersecci on nita de elementos de S, puesto que 1 1 U V = 1 (U) 2 (V). Por lo tanto, U V pertenece a T , y as TT.
5. Subconjuntos especiales 5.1. Conjuntos cerrados

Denici on 2.8 Sea (X, T ) un espacio topol ogico. Un subconjunto C X se dice que es cerrado si su complementario C c = X C es abierto. La familia de todos los cerrados de X se denotar a por C. Ejemplo 2.13. (a) En un espacio topol ogico con la topolog a indiscreta, los u nicos cerrados son X y . (b) En un espacio topol ogico con la topolog a discreta, todos los subconjuntos de X son cerrados. (c) En la topolog a conita, (X, Tcf ), un subconjunto C X es cerrado si, y s olo si, C = X, o bien C es nito.
Toc
Volver
Doc
Doc
17
Ejercicio 2.6. Sea X un conjunto con la topolog a conumerable Tcn . Cu ales son los cerrados de (X, Tcn )? Cuestion 2.3. Consideremos el siguiente subconjunto de la recta real: Y = [0, 1] (2, 3) con la topolog a relativa. 1. En este espacio, es el conjunto [0, 1] abierto? (a) S (b) No 2. En este espacio se satisface: (a) (2, 3) y [0, 1] son abiertos. (b) (2, 3) y [0, 1] son cerrados. (c) (2, 3) es abierto y [0, 1] es cerrado. (d) (2, 3) es cerrado y [0, 1] es abierto. El hecho de que un conjunto sea cerrado no implica, como hemos visto en el ejercicio precedente, que este conjunto no pueda ser abierto; de hecho, existen conjuntos que son a la vez abiertos y cerrados. Por ejemplo, el espacio total X (en cualquier topolog a T ) o cualquier conjunto de un espacio con la topolog a discreta. De la misma manera, tambi en existen conjuntos que no son ni abiertos ni cerrados, como cualquier intervalo de la forma [a, b) en R con la topolog a usual.
Toc Volver Doc Doc
18
Los cerrados cumplen una serie de propiedades similares (en cierto modo duales) a las propiedades de los abiertos. Teorema 2.7 Dado un espacio topol ogico (X, T ), se satisfacen las siguientes propiedades: (1) X y son cerrados. (2) Si {Ci | i I} es una familia de cerrados en X, entonces iI Ci es un cerrado. (3) Si {Ci | i = 1, 2, . . . , n} es una familia nita de cerrados, entonces n i=1 Ci es un cerrado. Demostraci on. (1) y X son cerrados porque son los complementos de los conjuntos abiertos X y , respectivamente. (2) Dada una colecci on de conjuntos cerrados {Ci | i I}, aplicamos la ley de De Morgan, X Ci = (X Ci ).
iI iI
Como los conjuntos X Ci son abiertos, la parte derecha de la ecuaci on anterior representa una uni on arbitraria de conjuntos abiertos, y es tambi en abierto. Por lo tanto, Ci es cerrado.
Toc
Volver
Doc
Doc
19
(3) De manera similar, si C i es cerrado para i = 1, . . . , n, consideremos la ecuaci on

n n
X
i=1
Ci =
i=1
(X Ci ).
El conjunto de la parte derecha de esta ecuaci on, al ser una intersecci on nita de conjuntos abiertos, es abierto. De aqu , Ci es cerrado. Cuestion 2.4. La uni on arbitraria de cerrados es un cerrado? (a) S (b) No Los cerrados en la topolog a inducida tambi en son intersecciones de cerrados del espacio total con el subespacio. Proposici on 2.8 Sea (X, T ) un espacio topol ogico y sea H X. Un subconjunto de F H es un cerrado relativo si, y s olo si, existe un cerrado C en el espacio total de forma que F = C H. Demostraci on. Sea F un cerrado en (H, TH ). Entonces su complementario en H es un abierto relativo, H F TH . Por tanto, existe A T tal que H F = A H. Pero entonces C = X A es un cerrado en (X, T ) y F = H (H F) = H (A H) = H A = H (X A) = H C.
Toc Volver Doc Doc
20
Rec procamente, sea F = C H con C cerrado en el espacio total. Su complementario

en H se puede expresar as : H F = H (C H) = H C = H (X C). Como X C T es abierto, por ser complementario de un cerrado, H F TH , de modo que F es cerrado en (H, TH ). La demostraci on del siguiente resultado es similar a la Proposici on 2.4. Proposici on 2.9 Sea (X, T ) un espacio topol ogico y (H, TH ) un subespacio. Entonces todo subconjunto C H cerrado en (H, TH ) es cerrado en (X, T ) si, y s olo si, H es cerrado en (X, T ).
5.2. Entornos
Denici on 2.9 Dado un espacio topol ogico (X, T ), diremos que un subconjunto U X es un entorno de un punto x X si existe un abierto A tal que x A U. El conjunto o familia de todos los entornos de un punto x X ser a denotado por Ux . Ejemplo 2.14. (a) En un espacio topol ogico trivial, el u nico entorno posible de un punto es el espacio total. (b) En un espacio topol ogico discreto, un conjunto U Ux si, y s olo si, x U.
Toc Volver Doc Doc
21
(c) En la topolog a conita, U Ux si, y s olo si, x U y Uc = X U es nito. Proposici on 2.10 Sea (X, T ) un espacio topol ogico. Un conjunto A es abierto si, y s olo si, A es entorno de todos sus puntos. Demostraci on. Si A es abierto, se tiene que x A A y, por tanto, A es un entorno de x, para todo x A. Rec procamente, si suponemos que A es entorno de todos sus puntos, entonces para todo x A existe un abierto U x tal que x Ux A. De esta manera se puede escribir A = xA Ux , que ser a abierto ya que es uni on de abiertos. Proposici on 2.11 Sea (X, T ) un espacio topol ogico y un punto x X. La familia de entornos Ux verica las siguientes propiedades: (1) Si U Ux , entonces x U. (2) Si U Ux y U V, entonces V Ux . (3) Si U, V Ux , entonces U V Ux . (4) Si U Ux , existe V Ux tal que x V U y V Uy para todo y V. Demostraci on. (1) Es evidente.
Toc Volver Doc Doc
22
(2) Como U Ux , entonces existe un abierto A de modo que x A U, pero entonces x A V; por tanto, V Ux . (3) Si U, V Ux existen abiertos A, B, tales que x A U y x B V. Esto implica que x A B U V, y como A B es abierto por ser intersecci on de dos abiertos, tendremos que U V Ux . (4) Como U Ux , existe un abierto A T tal que x A U; basta tomar A = V La familia de todos los entornos es habitualmente muy grande y, con frecuencia, dif cil de representar. Incluso en el caso de R, con la topolog a usual, los entornos pueden ser muy complicados, lo que se resuelve trabajando s olo con los intervalos. En el caso general introduciremos un concepto que facilitar a el trabajo de forma semejante. Denici on 2.10 Sea (X, T ) un espacio topol ogico, un punto x X y una subfamilia Vx Ux de la familia de entornos de x. Vx es una base de entornos de x, o base local de x, en (X, T ) si se verica que Para todo entorno U Ux existe V Vx tal que V U. Ejemplo 2.15. (1) En R con la topolog a usual, una base de entornos para cada x R es la familia formada por los intervalos de centro x y radio r > 0 variando r, es decir, {(x r, x + r) : r > 0}.
Toc Volver Doc Doc
23
(2) En un espacio topol ogico trivial o indiscreto, (X, TI ), la u nica base de entornos posible es la formada u nicamente por el espacio total X. (3) Si el espacio topol ogico es discreto, (X, TD ), {x} es un entorno de x, para todo x X. Entonces la familia formada s olo por este entorno Vx = {{x}} es una base de entornos de x. Veamos, para concluir esta secci on, c omo son los entornos y las bases de entornos en la topolog a inducida. Proposici on 2.12 Sea (X, T ) un espacio topol ogico y sea H X. Dado x H, un subconjunto V H es un entorno relativo de x (V UH olo si, existe U entorno x ) si, y s de x en el espacio total (U Ux ) de forma que V = U H. Demostraci on. Sea V un entorno relativo de x: existe B TH tal que x B V. Entonces existir a A T tal que B = A H. Sea U = A V; evidentemente U Ux , pues x B = A H y x A A V. Adem as: U H = (A V) H = (A H) (V H) = B V = V.
Rec procamente, sea U Ux y tomemos V = U H. Existe A T tal que x A U.

Entonces x A H U H = V.
Toc
Volver
Doc
Doc
24
Proposici on 2.13 Sea (X, T ) un espacio topol ogico y sea x H X. Si B(x) es una base de entornos de x en (X, T ), la familia BH (x) = {B H | B B(x)} es una base de entornos para la topolog a relativa.
H Demostraci on. Evidentemente BH (x) UH x . Sea V Ux ; entonces V = U H, con U Ux . Por tanto, existe B B(x) tal que x B U; entonces B H U H = V y B H BH (x).
Problema 2.1. Sea X un conjunto y p un punto de X. Demuestre que la colecci on Tp = {X} {A X : p / A} es una topolog a sobre X. Tp se denomina topolog a del punto excluido. Problema 2.2. Sea X un conjunto innito y p un punto de X. Demuestre que la colecci on T = {A X | p / A} {A X | X A es un conjunto nito } es una topolog a sobre X. Se denomina topolog a Fort. Problema 2.3. Sea T la familia formada por R, y todos los intervalos innitos abiertos Aq = (q, +), con q Q. Demuestre que T no es una topolog a sobre R Problema 2.4. Sea T la familia de subconjuntos de R constituida por R, y todos los intervalos abiertos innitos B a = (a, +), con a R. Pruebe que T es una topolog a sobre R.
Toc Volver Doc Doc
25
Problema 2.5. Sean A y B dos subconjuntos de X. Se considera la familia T = {, X, A, B}. Encuentre condiciones sobre A y B para que (X, T ) sea un espacio topol ogico. Problema 2.6. Sea X = {1, 2, 3}. Se puede encontrar una topolog a sobre X con dos abiertos? tres? cuatro? cinco? seis? siete? ocho? nueve? Problema 2.7. En el conjunto de los n umeros naturales N se considera la familia de subconjuntos {, An }, donde An = {n, n + 1, n + 2, . . . }, para cada n N. Pruebe que se trata de una topolog a sobre N. Halle todos los conjuntos abiertos que contengan a un n umero dado. Cu ales son los cerrados que contienen al n umero 2? Problema 2.8. Sean X un conjunto cualquiera, (Y, T ) un espacio topol ogico y f : X Y una aplicaci on. Pruebe que la familia de subconjuntos de X dada por {f 1 (A) | A T } es una topolog a sobre X. Suponga ahora que (X, T ) es un espacio topol ogico, Z es un conjunto cualquiera y g : X Z es una aplicaci on. Se considera la familia {g(B) | B T }. Es una topolog a sobre Z? Problema 2.9. Pruebe que la intersecci on de cualquier colecci on de topolog as sobre un conjunto X es una nueva topolog a sobre X. Sin embargo, la uni on de dos topolog as no es necesariamente una topolog a. Problema 2.10. En R con la topolog a usual, estudie si los siguientes intervalos son 1 entornos de 0 o no lo son: 1 , ; ( 1, 0]; 0, 1 2 2 2 ; (0, 1].
Toc Volver Doc Doc
26
Problema 2.11. Encuentre sobre X = {1, 2, 3, 4, 5} una topolog a que contenga al conjunto {1, 2, 5}. Halle los entornos del n umero 5 y encuentre una base de entornos del mismo.
Fin del Cap tulo

Toc Volver Doc Doc
27

Ejercicio 2.1. (1) T5 = {X, , {a}, {b}}. La uni on {a} {b} = {a, b} no est a en T5 . (2) T6 = {X, , {a, b}, {b, c}}. La intersecci on {a, b} {b, c} = {b} no est a en T6 . Ejercicio 2.1
Toc
Volver
Doc
Doc
28
Ejercicio 2.2. Tanto X como est an dentro de Tcf , puesto que X X es nito y X es todo X. Sea {U } una familia indexada de elementos no vac os de Tcf ; entonces X U = (X U ) U
El u ltimo conjunto es nito, puesto que cada conjunto X U es nito, por lo que pertenece a Tcf . Si U1 , . . . , Un son elementos no vac os de Tcf , entonces
n n
X
i=1
Ui =
i=1
(X Ui ).
Este u ltimo conjunto es una uni on nita de conjuntos nitos y es, por tanto, nito. Esto Ejercicio 2.2 implica que Ui est a en Tcf .
Toc
Volver
Doc
Doc
29
Ejercicio 2.3. Tanto X como est an dentro de Tcn , puesto que X X = es nito (numerable) y X es todo X. Sea {U } una familia indexada de elementos no vac os de Tcn ; entonces X U = (X U )
El u ltimo conjunto es numerable, puesto que cada conjunto X U es numerable, por lo que U pertenece a Tcn . Si U1 , . . . , Un son elementos no vac os de Tcn , entonces
n n
X
i=1
Ui =
i=1
(X Ui ).
Este u ltimo conjunto es una uni on nita de conjuntos numerables y es, por tanto, numerable. Esto implica que Ui est a en Tcn . Ejercicio 2.3
Toc
Volver
Doc
Doc
30
Ejercicio 2.4. Ser a suciente mostrar que la colecci on B de todas las intersecciones nitas de elementos de S es una base. La primera condici on para una base es trivial. Para comprobar la segunda condici on, sean B1 = S1 Sm dos elementos de B. Su intersecci on B1 B2 = (S1 Sm ) (S1 Sn ) es tambi en una intersecci on nita de elementos de S, por lo que pertenece a B. Ejercicio 2.4 y B 2 = S1 Sn
Toc
Volver
Doc
Doc
31
Ejercicio 2.5. Dados un abierto U en X y un punto y U H, podemos elegir un elemento B en B tal que y B U. Entonces y B H U H. Se sigue que BH es una base para la topolog a inducida sobre H. Ejercicio 2.5
Toc
Volver
Doc
Doc
32
Ejercicio 2.6. Un subconjunto C X es cerrado si, y s olo si, C = X, o bien C es numerable. Ejercicio 2.6
Toc
Volver
Doc
Doc
33

Cuesti on 2.1. Dado un elemento (a, b) b asico para Tu y un punto x de (a, b), el elemento [x, b) b asico para T contiene a x y est a en (a, b). Por otro lado, dado un elemento [x, d) b asico para T , no existe intervalo abierto alguno (a, b) que contenga a x y est e dentro de [x, d). As T es estrictamente m as na que Tu . Fin de la cuesti on
Toc
Volver
Doc
Doc
34
Cuesti on 2.2. El intervalo [0, 1) no es abierto en R con la topolog a usual; sin embargo, s es abierto en [0, +) con la topolog a inducida. Fin de la cuesti on
Toc
Volver
Doc
Doc
35
1 3 Cuesti on 2.3(1) El conjunto [0, 1] es la intersecci on del conjunto abierto ( 2 , 2 ) de R Fin de la cuesti on con Y.
Toc
Volver
Doc
Doc
36
Cuesti on 2.4. La uni on arbitraria de cerrados no es, en general, un cerrado. Consideremos la familia 1 0, 1 :nN n de intervalos cerrados en R. Su intersecci on es 1 0, 1 = [0, 1), n
nN
que obviamente no es cerrado.
Fin de la cuesti on
Toc
Volver
Doc
Doc
Topolog a
3. Espacios m etricos
Pedro Jos e Herrero y Pascual Lucas Resumen: En este cap tulo denimos lo que es un espacio m etrico y estudiamos sus primeras propiedades. Despu es de poner los primeros ejemplos de distancias en R, R2 y Rn , denimos la distancia a un conjunto y la distancia entre conjuntos. Introducimos las bolas y probamos que son la base para una topolog a: la topolog a m etrica. Finalizamos estudiando los espacios topol ogicos metrizables, por sus importantes aplicaciones en otras ramas de las matem aticas.
Versi on 0.2
Indice general
1. Distancias 1.1. Ejemplos de distancias 2. Distancia a un conjunto 3. Bolas m etricas 3.1. La topolog a m etrica 3.2. Ejemplos de bolas 4. Abiertos y cerrados 4.1. Abiertos 4.2. Cerrados 5. Conjuntos acotados. Distancia acotada 5.1. Conjuntos acotados 5.2. Distancia acotada 6. Espacios metrizables 7. Problemas propuestos Soluciones de los ejercicios
Secci on 1: Distancias
1. Distancias
Una de las maneras m as frecuentemente usadas para dotar de una topolog a a un conjunto es denir la topolog a en t erminos de una distancia en el conjunto. Denici on 3.1 Dado un conjunto X, una distancia es una aplicaci on d : X X R que a cada par (x, y) X X le asocia un n umero real d (x, y) y que cumple las siguientes condiciones: (1) d(x, y) 0. (2) d(x, y) = 0 si, y s olo si, x = y (separaci on). (3) d(x, y) = d(y, x) para todo x, y X (simetr a). (4) d(x, y) d(x, z) + d(z, y) para todo x, y, z X (desigualdad triangular). Denici on 3.2 Un espacio m etrico es un par (X, d), donde X es un conjunto y d es una distancia denida en X. Ejemplo 3.1. (1) En el conjunto de los n umeros reales R podemos denir una distancia tomando el valor absoluto de la diferencia, es decir, d : R R R denida como d(x, y) = |x y|.
Toc Volver Doc Doc
(2) El espacio m etrico discreto. Sea X un conjunto no vac o cualquiera; denimos una distancia d como sigue: d(x, y) = 0 si x = y 1 si x = y
El siguiente resultado es bien conocido del algebra lineal, en el ambito de los espacios vectoriales con un producto escalar. Proposici on 3.1 (Desigualdad de Cauchy-Schwarz) Si a1 , a2 , . . . , an y b1 , b2 , . . . , bn son n umeros reales cualesquiera, entonces:
n 2 n n
ai bi
i=1
i=1
a2 i
i=1
b2 i
.
n
Demostraci on. Dado cualquier n umero x R se verica que i=1 (ai x + bi )2 0. Si desarrollamos el cuadrado y agrupamos tendremos que Ax 2 + 2Bx + C 0, tomando n n n 2 A = i=1 a2 i ;B = i=1 ai bi y C = i=1 bi . En estos t erminos, lo que queremos probar es que B 2 AC. Si A = 0 entonces ai = 0 para todo i y, por tanto, tambi en b i = 0 para todo i. Si A = 0 podemos poner 0 Ax2 + 2Bx + C = A x +
Toc
B A
AC B2 A
Doc Doc
Volver
para todo x R. El segundo miembro es m nimo si x = B A y si lo sustituimos en la expresi on anterior AC B2 0 implica AC B2 0 A y, por tanto, B2 AC.
1.1. Ejemplos de distancias

Veamos ahora algunos ejemplos m as de distancias. Ejemplo 3.2. Sea X = R2 . Para los puntos x = (x1 , x2 ) e y = (y1 , y2 ) se denen las aplicaciones: d1 (x, y) d2 (x, y) d (x, y) = |x1 y1 | + |x2 y2 |, = = (x1 y1 )2 + (x2 y2 )2 , m ax(|x1 y1 |, |x2 y2 |).
Las tres aplicaciones son distancias en el plano (una demostraci on de esto la proporcionaremos en el siguiente ejemplo). Las funciones anteriores miden la distancia de una forma distinta y en el siguiente gr aco se puede ver c omo funciona cada una ellas (en color azul se indica el segmento o poligonal que da la distancia):
Toc
Volver
Doc
Doc
y y
6
y
y
d1 (x, y) d2 (x, y) d (x, y) d (x, y) Las tres distancias son generalizaciones de la distancia que hemos denido en R y las tres tienen nombre propio: d 1 se llama la distancia del taxi, d2 se llama la distancia eucl dea o usual y d se llama la distancia del ajedrez o del m aximo. Ejemplo 3.3. El ejemplo anterior se puede generalizar a Rn como sigue. Sean los puntos x = (x1 , . . . , xn ) Rn e y = (y1 , . . . , yn ) Rn . Se dene:
n
d1 (x, y)
=
i=1
|xi yi |,
n 1/2
d2 (x, y) d (x, y)
Toc
=
i=1
(xi yi )
m ax{|xi yi | : i = 1 . . . n}.
Volver Doc Doc
La prueba de que d1 y d son distancias es una mera comprobaci on. Lo mismo sucede con las propiedades (1) y (2) para la distancia usual d 2 ; no as con la desigualdad triangular en la que hay que utilizar la desigualdad de Cauchy-Schwarz. Sean x, y, z Rn y consideremos 2
n 1/2 n 1/2
(d2 (x, z) + d2 (z, y)) =

i=1 n n
(xi zi )
n
+
i=1 n
(zi yi )
=
1/2
=
i=1
(xi zi ) +
i=1
(zi yi ) + 2
i=1
(xi zi )
2 i=1
(zi yi )
= ()
Aplicando la desigualdad de Cauchy-Schwarz al u ltimo sumando de la expresi on anterior:

n n n
()
i=1 n
(xi zi )2 +
i=1
(zi yi )2 + 2
i=1
(xi zi )(zi yi ) =
n
(xi zi )2 + (zi yi )2 + 2(xi zi )(zi yi ) =

i=1 n i=1
[(xi zi ) + (zi yi )]2 = 2 = (d2 (x, y))2 .
(xi yi )2 =
1/2
=
i=1
(xi yi )2
i=1
Toc
Volver
Doc
Doc
Ejercicio 3.1. Prueba que el conjunto C de los n umeros complejos es un espacio m etrico con la distancia dada por el m odulo de la diferencia: d(z1 z2 ) = |z1 z2 | con z1 , z2 C. Ejercicio 3.2. Sea X = A([a, b], R) = ([a, b]) el conjunto de las funciones acotadas f : [a, b] R. Dadas dos funciones f , g X denimos d (f , g) = sup {|f (x) g(x)|}.
x[a,b]
Prueba que d es una distancia y haz un un esquema gr aco que represente c omo funciona esta distancia. d se denomina la distancia del supremo. Ejercicio 3.3. Consideremos el espacio
= {(xn )n | sucesi on acotada xn R} = {x : N R | acotada}
Podr as denir una distancia en este espacio? Ejemplo 3.4. Sea C([a, b], R) = {f : [a, b] R | f es continua} el conjunto de las funciones reales continuas sobre un intervalo cerrado [a, b]. Entonces la aplicaci on d dada por
b
d(f , g) =
a
|f (x) g(x)|dx
es una distancia.
Toc Volver Doc Doc
Proposici on 3.2 Sean (X1 , d) y (X2 , d ) dos espacios m etricos. Para x = (x1 , x2 ) e y = (y1 , y2 ) puntos de X1 X2 se dene: d1 (x, y) = d(x1 , y1 ) + d (x2 , y2 ), d2 (x, y) = (d(x1 , y1 )2 + d (x2 , y2 )2 )1/2 , d (x, y) = m ax{d(x1 , y1 ), d (x2 , y2 )}. Entonces d1 , d2 y d son distancias en el espacio producto X 1 X2 . Proposici on 3.3 Sea (X, d) un espacio m etrico. Para todo x , y, z X se verica: |d(x, z) d(z, y)| d(x, y). Demostraci on. Aplicando la desigualdad triangular tenemos d (x, z) d(x, y)+d(y, z) = d(x, y) + d(z, y), por lo que d(x, z) d(z, y) d(x, y). De forma an aloga podemos poner d (z, y) d(z, x) + d(x, y) = d(x, z) + d(x, y) y tendremos que d(x, y) d(x, z) d(z, y). Usando estas dos desigualdades tenemos d(x, y) d(x, z) d(z, y) d(x, y) lo que concluye la demostraci on. El siguiente resultado, cuya demostraci on es directa, nos dice que la propiedad de ser espacio m etrico es heredada por los subespacios.
Toc Volver Doc Doc
Secci on 2: Distancia a un conjunto
10
Proposici on 3.4 Sea (X, d) un espacio m etrico y sea H X un subconjunto de X. Sea la funci on dH : H H R denida por dH (x, y) = d(x, y). Entonces dH es una distancia sobre H, que se denomina distancia inducida por d. El par (H, dH ) se dice que es un subespacio m etrico de X. Si H Rn , cuando se hable de H como de un espacio m etrico, siempre se estar a suponiendo que su distancia es la distancia inducida por la distancia eucl dea de Rn , salvo que se diga otra cosa en contra. Ejemplo 3.5. (1) [0, 1] con la distancia inducida por el valor absoluto es un subespacio m etrico de R. (2) C([a, b], R) con la distancia inducida por d es un subespacio m etrico de A([a, b], R). (3) El espacio co de las sucesiones reales con l mite 0 es un subespacio m etrico de .
2. Distancia a un conjunto
Denici on 3.3 Sea (X, d) un espacio m etrico, A X un subconjunto de X y x 0 un punto de X. La distancia de x 0 al subconjunto A se dene como d(x0 , A) = inf {d(x0 , x) | x A}
Toc Volver Doc Doc
Secci on 2: Distancia a un conjunto
11
Recordemos que el nmo de un conjunto acotado inferiormente siempre existe. Denici on 3.4 Sean A y B dos subconjuntos de X. La distancia del subconjunto A al subconjunto B se dene como d(A, B) = inf {d(x, y) | x A, y B}. Ejemplo 3.6. Si d es la m etrica discreta sobre X, x X y A, B X, entonces d(x, A) = 1 si x /A 0 si x A d(A, B) = 1 si A B = 0 si A B =
Cuestion 3.1. Consideremos R con la distancia usual d (x, y) = |x y| y sea A = (1, 2] R. 1. Cu anto vale d( 3 2 , A)? (a) 0 (b) 1 2 (c) (c)
1 2 1 4
2. Cu anto vale d(1, A)? (a) 1 (b) 0 2 3. Cu anto vale d(0, A)? (a) 1 (b)
Toc
1 2
(c) 0
Volver Doc Doc
Secci on 3: Bolas m etricas
12
Ejercicio 3.4. Consideremos (R2 , d2 ), A = {(x, y) R2 | x2 + y2 1} y B = {(x, y) R2 | x + y = 2}. Calcule la distancia d (A, B).
3. Bolas m etricas
A continuaci on vamos a estudiar los subconjuntos, quiz as m as importantes, de un espacio m etrico: las bolas abiertas. Se trata de una generalizaci on del concepto conocido de intervalo abierto centrado en un punto en R. Denici on 3.5 Sea (X, d) un espacio m etrico, a X un punto y r > 0 un n umero real. La bola abierta en X con centro en a y de radio r es el conjunto B(a, r) = {x X | d(x, a) < r}. Si se necesita especicar con qu e distancia se est a trabajando, se representar a por Bd (a, r).
3.1. La topolog a m etrica

Proposici on 3.5 Sea (X, d) un espacio m etrico. La colecci on de todas las bolas B (a, r), para a X y r > 0, es una base para una topolog a en X, denominada topolog a m etrica inducida por d.
Toc
Volver
Doc
Doc
13
Demostraci on.
x
a r
La primera condici on de base es trivial, puesto que x B(x, r), para cualquier r > 0. Veamos ahora que si x es un punto del elemento b asico B(a, r), entonces existe un elemento b asico B (x, ) centrado en x que est a contenido en B (a, r). Tomemos = r d(x, a). Entonces B(x, ) B(a, r), por lo que si y B(x, ), entonces d(x, y) < r d(a, x), con lo que concluimos que d(a, y) d(a, x) + d(x, y) < r.
Para comprobar la segunda condici on para una base, sean B 1 y B2 dos elementos b asicos y sea x B1 B2 . Acabamos de ver que podemos elegir n umeros positivos 1 y 2 de tal modo que B(x, 1 ) B1 y B(x, 2 ) B2 . Tomando = m n{1 , 2 } concluimos que B(x, ) B1 B2 . Corolario 3.6 Sea (X, d) un espacio m etrico y sea Td la topolog a m etrica inducida por d. Entonces un conjunto A es abierto en Td si, y s olo si, para cada x A existe un > 0 tal que Bd (x, ) A.
3.2. Ejemplos de bolas

Veamos ahora c omo son las bolas en algunos espacios m etricos conocidos.
Toc Volver Doc Doc
14
Ejemplo 3.7. En (R, | |) la bola abierta de centro a y radio r > 0 es el intervalo abierto de extremos a r y a + r: B(a, r) = {x R | |x a| < r} = (a r, a + r) Ejemplo 3.8. En este ejemplo justicamos el nombre de bola. En (R2 , d2 ) tenemos que B(a, r) = {(x, y) R2 | x2 + y2 < r2 }, es decir, es el interior del c rculo de radio r centrado en a. En el espacio (R3 , d2 ) se tiene B(a, r) = {(x, y, z) R3 | x2 + y2 + z2 < r2 } que es el interior de la bola o esfera s olida de radio r centrada en a. Las bolas abiertas, sin embargo, pueden ser realmente muy diferentes y no tener la apariencia de una bola esf erica, como se muestra en los siguientes ejemplos. Ejemplo 3.9. (1) En (R2 , d ) la bola B(a, r) es el interior del cuadrado de centro a y de lados paralelos a los ejes de coordenadas y con longitud 2r. (2) En (R2 , d1 ) la bola B(0, r) es el interior del cuadrado centrado en el punto (0, 0) y con v ertices en los puntos (0, r), (0, r), (r, 0), (r, 0).
Toc Volver Doc Doc
Secci on 4: Abiertos y cerrados
15
Ejercicio 3.5. (a) Sea una funci on f0 (C([0, 1], R), d ). Cu anto vale B(f0 , r)? (b) Sea un espacio m etrico discreto (X, dD ). Cu anto vale B(a, r)? (c) Sea H = [0, 1] R con la distancia inducida d H por la distancia d de R. Calcule Bd (1, 1) y BdH (1, 1). Las bolas abiertas en un subespacio m etrico son la intersecci on con el subespacio de la bola del espacio total con el mismo centro y radio. M as precisamente: Proposici on 3.7 Sea (X, d) un espacio m etrico y sea H un subconjunto de X. Entonces las bolas abiertas del subespacio m etrico (H, dH ) son la intersecci on de las correspondientes bolas en el espacio total con el subconjunto. Es decir B dH (x, r) = Bd (x, r) H.
4. Abiertos y cerrados 4.1. Abiertos

Ya hemos visto en el apartado anterior que las bolas en un espacio m etrico son la base de una topolog a, que hemos denominado topolog a m etrica. En particular, las bolas son abiertos en dicha topolog a.
Toc
Volver
Doc
Doc
16
Teorema 3.8 (Propiedad de Hausdor) Sea (X, d) un espacio m etrico y x , y X dos puntos distintos. Entonces existen r x , ry > 0 tales que B(x, rx ) B(y, ry ) = . Demostraci on. Sea r = d(x, y) y consideremos rx , ry > 0 tales que rx < r/2 y ry < r/2. Entonces si z B(x, rx ) se tiene r r d(z, y) d(x, y) d(z, x) = r d(z, x) > r = , 2 2 por lo que z / B(y, ry ). An alogamente, si w B(y, ry ) se prueba que w / B(x, rx ). Veamos ahora unos cuantos ejemplos de conjuntos abiertos en algunos de los espacios m etricos que hemos introducido anteriormente. Ejemplo 3.10. (1) Cualquier intervalo abierto de la recta real, acotado o no acotado, es un subconjunto abierto de la recta real con la distancia usual. Tambi en lo son las uniones de intervalos abiertos. Sin embargo, los intervalos [a, b], [a, b) y (a, b] no lo son. (2) Un conjunto abierto no tiene por qu e ser una bola abierta. As , el subconjunto de R2 : A = {(x, y) R2 : |x| < 1, |y| < 2} no es una bola abierta de R2 para la distancia eucl dea y, sin embargo, s es un subconjunto abierto. Por el contrario, el conjunto siguiente no es abierto B = {(x, y) R2 : |x| < 1, |y| 2}.
Toc Volver Doc Doc
17
(3) Sea (X, TD ) un espacio m etrico discreto ( TD es la topolog a inducida por la distancia discreta). Entonces cualquier subconjunto es abierto. (4) La condici on de ser abierto depende naturalmente de la distancia y del espacio total. (a) El subconjunto {0} R es abierto para la distancia discreta, pero no lo es para la distancia eucl dea. (b) El intervalo [0, 1) es abierto en ([0, 2], d[0,2] ), pero no lo es en R con la distancia usual. Ejercicio 3.6. Es abierto el conjunto
1 1 n=1 ( n , n )?
4.2. Cerrados
Ya hemos visto en el cap tulo anterior que tan importantes como los conjuntos abiertos son sus complementarios, los conjuntos cerrados. Antes de estudiar algunas propiedades de estos conjuntos en los espacios m etricos, veamos unos ejemplos. Ejemplo 3.11. (1) En R, con la distancia usual, los intervalos cerrados son subconjuntos cerrados; tambi en lo son las semirrectas cerradas [a, +) o (, b]. Sin embargo, no lo son los intervalos de la forma [a, b), (a, b] o (a, b). (2) En (R2 , d2 ), el conjunto A = {(x, y) R2 : |x| < 1, |y| 2} no es cerrado, pero B = {(x, y) R2 : |x| 1, |y| 2} s lo es. (3) Cualquier recta en (R2 , d2 ) es un conjunto cerrado.
Toc Volver Doc Doc
18
Proposici on 3.9 Un subconjunto C de un espacio m etrico (X, d) es un cerrado si, y s olo si, para todo x / C existe un radio r > 0 tal que B(x, r) C = . Demostraci on. Si C X es cerrado quiere decir que C c es abierto; por tanto, para todo x / C (x Cc ) existe r > 0 tal que B(x, r) Cc . Entonces B(x, r) C = . Si para todo x / C (x Cc ) existe r > 0 tal que B(x, r) C = , entonces c c B(x, r) C y as C es abierto, luego C es cerrado. Denici on 3.6 Sea (X, d) un espacio m etrico, a X un punto de X y r > 0 un n umero real. Llamaremos bola cerrada de centro a y radio r al conjunto B(a, r) = { X | d(a, x) r}. Observemos que las bolas cerradas contienen a las correspondientes bolas abiertas. El siguiente resultado es obvio. Proposici on 3.10 Las bolas cerradas en un espacio m etrico son conjuntos cerrados. Ejemplo 3.12. (1) La uni on arbitraria de cerrados no es, necesariamente, un cerrado. Consideremos 1 la familia { 0, 1 n | n N} de intervalos cerrados en R; su intersecci on es 0, 1
nN
1 = [0, 1), n
Volver Doc Doc
Toc
Secci on 5: Conjuntos acotados. Distancia acotada
19
que no es cerrado. (2) Cualquier subconjunto en la distancia discreta es cerrado. (3) Hay subconjuntos que no son ni abiertos ni cerrados. Por ejemplo, [0, 1) R con la distancia eucl dea. (4) Tambi en es posible que un subconjunto sea a la vez abierto y cerrado. Por ejemplo, cualquier subconjunto en la distancia discreta es, a la vez, abierto y cerrado.
5. Conjuntos acotados. Distancia acotada 5.1. Conjuntos acotados

Denici on 3.7 Sea (X, d) un espacio m etrico y H X. Se dice que H es un subconjunto acotado si existen un punto a X y un radio r > 0 tal que H B(a, r). En este caso se dice que (H, dH ) es un subespacio m etrico acotado de (X, d). Ejemplo 3.13. (1) Los subespacios [1, 2], [1, 2) y {0} [1, 2) de R con la distancia eucl dea son subespacios m etricos acotados. El subespacio [1, +) no es acotado. (2) Cualquier bola, abierta o cerrada, es un subespacio acotado.
Toc
Volver
Doc
Doc
20
Denici on 3.8 Sea (X, d) un espacio m etrico y H X un subconjunto acotado. El di ametro de H, representado por di am (H), se dene como di am(H) = sup{d(x, y) | x, y X}. Ejemplo 3.14. Los di ametros de los subconjuntos [1, 2], [1, 2) y {0} [1, 2) de R con la distancia usual son, respectivamente, 1, 1 y 2. Ejercicio 3.7. Determine el di ametro del subespacio A = [0, 1] [0, 1] de R2 para cada una de las tres distancias d 1 , d2 y d .
5.2. Distancia acotada

Un caso especial surge cuando el espacio m etrico X est a acotado en la distancia d. Denici on 3.9 Un espacio m etrico (X, d) se dice acotado si existe un n umero real k > 0 tal que d(x, y) k para todo par de puntos x , y X. En este caso, tambi en se dice que la distancia d es una distancia acotada. Ejemplo 3.15. (1) R con la distancia eucl dea es un espacio m etrico no acotado. (2) R con la distancia discreta es un espacio m etrico acotado.
Toc
Volver
Doc
Doc
21
Proposici on 3.11 Un espacio m etrico (X, d) est a acotado si, y s olo si, existen un punto x0 X y un n umero real r > 0 tales que B(x0 , r) = X. Demostraci on. Si el espacio m etrico est a acotado por k, tomamos un punto cualquiera x0 X. Es obvio que la bola B (x0 , k + 1) X; pero si x X, como d(x0 , x) k, por ser k cota de X, tenemos que x B(x0 , k + 1). Rec procamente, supongamos que B (x0 , r) = X, entonces el n umero real 2r es una cota superior de todas las distancias entre los pares de puntos x , y del espacio. Aplicando la desigualdad triangular se tiene que d (x, y) d(x, x0 ) + d(x0 , y) < r + r = 2r. Corolario 3.12 Todo subconjunto de un espacio m etrico acotado es, a su vez, acotado. Proposici on 3.13 Sea (X, d) un espacio m etrico y H X. Entonces H est a acotado si, y s olo si, existen un punto x 0 X, no necesariamente de H, y un n umero real r > 0 tales que H B(x0 , r). Demostraci on. Si (H, dH ) est a acotado, existe r > 0 tal que H = BH (x0 , r) = BX (x0 , r) H BX (x0 , r). Rec procamente, si H B(x0 , r), entonces el n umero real 2r es una cota superior de todas las distancias entre los pares de puntos x , y H, ya que dH (x, y) = d(x, y) d(x, x0 ) + d(x0 , y) < r + r = 2r y, por tanto, (H, dH ) est a acotado.
Toc
Volver
Doc
Doc
Secci on 6: Espacios metrizables
22
6. Espacios metrizables
En la Secci on 3 hemos visto que en cualquier espacio m etrico (X, d) podemos construir una topolog a, denominada topolog a m etrica y denotada por Td . Nos podemos preguntar ahora si todo espacio topol ogico procede de una m etrica. Denici on 3.10 Un espacio topol ogico (X, T ) se dice que es metrizable si existe una distancia d denida sobre X tal que T coincide con la topolog a m etrica inducida Td . Muchos de los espacios importantes para las matem aticas son metrizables, pero algunos no lo son. La metrizabilidad es una propiedad muy deseable para un espacio, puesto que la existencia de una distancia nos ofrece una valiosa herramienta para probar teoremas sobre dicho espacio. Un problema de importancia fundamental en topolog a es encontrar condiciones sobre un espacio topol ogico que garanticen que es metrizable. No es un problema de f acil tratamiento y, en todo caso, excede de las pretensiones de este curso. Ejemplo 3.16. (1) La topolog a discreta sobre cualquier conjunto X es metrizable, siendo la distancia asociada la distancia discreta o trivial. (2) No todo espacio topol ogico es metrizable. Por ejemplo, si X es un conjunto que contiene m as de un punto y lo consideramos dotado de la topolog a indiscreta
Toc Volver Doc Doc
23
(X, TI ), entonces no es un espacio metrizable, puesto que los u nicos cerrados para esta topolog a son y X, pero sabemos que en un espacio m etrico los conjuntos nitos son cerrados, por lo que deber an existir m as cerrados. Proposici on 3.14 Sea un espacio m etrico (X, d) y sea un subconjunto H X. Entonces la topolog a asociada a la m etrica inducida sobre H coincide con la topolog a inducida por la topolog a m etrica en X. Es decir: Td |H = TdH . Demostraci on. Sea A Td |H , entonces existe un A Td tal que A = A H. Veamos que A TdH . Para cualquier x A A existe un r > 0 tal que Bd (x, r) A, entonces Bd (x, r) H A , pero ya hemos visto que B d (x, r) H = BdH (x, r). Por tanto, A TdH . Sea ahora A Td . Para cualquier x A existe un r > 0 tal que Bd (x, r) A . H H Como antes, BdH (x, r) = Bd (x, r) H. Si tomamos A=
xA
Bd (x, r)
tendremos A A H = (xA Bd (x, r)) H = xA (Bd (x, r) H) = xA BdH (x, r) A . Entonces A = A H y, por tanto, A Td |H .
Toc Volver Doc Doc
24
Hemos visto que no todo espacio topol ogico es metrizable. Cabe entonces hacerse la siguiente pregunta: qu e diferencias topol ogicas existen entre un espacio topol ogico que sea metrizable y otro que no lo sea? Veamos a continuaci on una propiedad fundamental que se verica en los espacios metrizables pero que no es cierta, en general, en un espacio topol ogico arbitrario. Denici on 3.11 Un espacio topol ogico (X, T ) se dice que es un espacio de Hausdor o que satisface el axioma T2 si para todo par de puntos x , y X distintos existen entornos Ux Ux y Vy Uy tales que Ux Vy = . Como consecuencia directa de la denici on de entorno se tiene el siguiente resultado. Proposici on 3.15 Un espacio topol ogico (X, T ) es de Hausdor si, y s olo si, para todo par de puntos distintos x , y X existen abiertos A , B X tales que x A, y B y A B = . Ejemplo 3.17. (1) Todo espacio m etrico es de Hausdor. (2) No todo espacio topol ogico es T 2 . La recta real, con la topolog a conita, no es un espacio de Hausdor.
Toc Volver Doc Doc
25
Vamos a comparar las topolog as m etricas inducidas por dos distancias distintas sobre un mismo espacio X. Denici on 3.12 Dos m etricas d y d sobre un mismo conjunto X se dice que son equivalentes si dan lugar a la misma topolog a, es decir, si Td = Td . Proposici on 3.16 Sean d y d dos distancias denidas sobre un conjunto X. Entonces d y d son equivalentes si, y s olo si, para todo x X y para todo r > 0 existe > 0 tal que Bd (x, ) Bd (x, r) y existe > 0 tal que Bd (x, ) Bd (x, r). Demostraci on. Supongamos que d y d son equivalentes. Dados x X y r > 0, en est a en Td ; entonces existe > 0 Bd (x, r) es un abierto de Td y, por tanto, tambi tal que Bd (x, ) Bd (x, r). An alogamente se demuestra la segunda armaci on. Rec procamente, si suponemos que se cumplen las dos armaciones veamos que d y d son equivalentes. Sea A un abierto de Td y sea x A. Entonces existe r > 0 tal que Bd (x, r) A. Aplicando la segunda propiedad, existir a > 0 tal que Bd (x, ) Bd (x, r), y entonces A es un entorno de x para Td y es, por tanto, abierto en esta topolog a. De forma an aloga se demuestra que todo abierto de Td lo es tambi en de Td .
Corolario 3.17 Dos distancias d y d sobre un conjunto X son equivalentes si existen

Toc Volver Doc Doc
26
constantes m, M > 0 tales que para todo x , y X se satisface m d(x, y) d (x, y) M d(x, y).
r Demostraci on. Sean x X y r > 0. Entonces tomando = M se tiene que d(x, y) implica que d (x, y) Md(x, y) M = r, con lo que Bd (x; ) Bd (x, r). De forma an aloga, tomando = mr se tiene que Bd (x, ) Bd (x, r).
Ejercicio 3.8. Demuestra que las tres distancias d 1 , d2 y d en Rn son equivalentes. No todas las distancias denidas en un conjunto son equivalentes. Por ejemplo, la distancia eucl dea y la distancia discreta sobre R2 no son equivalentes.
Problema 3.1. Sea d : N N R denida por d(m, n) = |m2 n2 |. Es (N, d) un espacio m etrico? Justique la respuesta. Problema 3.2. Sea (X, d) un espacio m etrico. Demuestre que si x , y, z, t X se cumple que |d(x, y) d(z, t)| d(x, z) + d(y, t). Problema 3.3. Sea X un conjunto. Demuestre que una aplicaci on d : X X R es una distancia si, y s olo si, para x , y, z X, se verican
Toc Volver Doc Doc
27
(a) d(x, y) = 0 x = y; (b) d(x, y) d(x, z) + d(y, z). Problema 3.4. Sea (X, d) un espacio m etrico. Se denen d 1 , d2 y d3 como sigue: d1 (x, y) = kd(x, y), k R+ d2 (x, y) = m n{1, d(x, y)} d3 (x, y) = [d(x, y)]2 Demuestre que d1 y d2 son distancias sobre X, pero que d 3 no tiene por qu e ser necesariamente una distancia. Problema 3.5. Sea X un conjunto y f : X R una aplicaci on inyectiva; demuestre que la aplicaci on d(x, y) = |f (x) f (y)| es una distancia sobre X. Problema 3.6. Sea f : R R una funci on estrictamente creciente. Demuestre que d(x, y) = |f (x) f (y)| es una distancia sobre R Problema 3.7. Sea f : [0, +) [0, +) una funci on estrictamente creciente vericando: (a) f (0) = 0; (b) Si x, y 0 f (x + y) f (x) + f (y).
Toc Volver Doc Doc
28
Sea (X, d) un espacio m etrico. Pruebe que la aplicaci on d = f d, es decir, d (x, y) = f (d(x, y)), x, y X, es tambi en una distancia sobre X. Problema 3.8. Denimos la aplicaci on d : R2 R2 R como sigue: d[(x1 , x2 ), (y1 , y2 )] = |x2 y2 | si x1 = y1 |x2 | + |x1 y1 | + |y2 | si x1 = y1
Pruebe que d es una distancia sobre R2 . Determine y represente gr acamente las bolas B((0, 0), 1), B((1, 0), 1), B((0, 1), 1) y B((2, 3), 1). Problema 3.9. Se dene la parte entera de un n umero real x R como [x] = el mayor n umero entero menor o igual que x. Considere la aplicaci on : R R R denida como (x, y) = |[x] [y]| + |(x [x]) (y [y])|, con x, y R. (a) Pruebe que es una distancia en R. (b) Estudie c omo son las bolas B (0, 1) y B ( 3 omo son las bolas abiertas? 2 , 1) C (c) Pruebe que y la distancia d(x) = |x y| inducen la misma distancia en el conjunto Z de los n umeros enteros. Problema 3.10. Sea A R2 denido como A = {(x, y) R2 | y = x2 }. Calcule la forma expl cita de las distancias inducidas sobre A por d 1 , d2 y d .
Toc Volver Doc Doc
29
Problema 3.11. Sea (R2 , d2 ) y el subconjunto A = {(x, y) R2 | (x 2)2 + y2 1} {(x, y) R2 | (x + 2)2 + y2 1}.
Determine en (A, d2 |A ) la bola cerrada de centro 0 y radio 1.

1 Problema 3.12. Considere R con la distancia usual y A = { n +(1)n | n N}. Calcule 1 n d(A, 1) y d(1, A). Cu anto vale l mn ( n + (1) )?
Problema 3.13. Sea R3 con la distancia denida por d (x, y) = m n{1, d1 (x, y)} y sea el conjunto A = {(x, y, z) R3 | 0 x 1, 0 y 1, 0 z 1}. Halle los puntos de R3 que verican d(x, A) = 1. Problema 3.14. Sea A R2 el c rculo A = {(x, y) R2 | x2 + y2 = 1}. Denimos la aplicaci on d : A A R como si x = y 0 si x, y son diametralmente opuestos d(x, y) = la longitud del arco m as corto que une x e y, en otro caso Pruebe que d es una distancia sobre A. Problema 3.15. Sea (X, d) un espacio m etrico. Demuestre que la aplicaci on d : X
Toc Volver Doc Doc
30
X R siguiente es una distancia: d (x, y) = d(x, y) . 1 + d(x, y)
Problema 3.16. Sea (X, d) un espacio m etrico. Demuestre que: (a) Dadas dos bolas abiertas y conc entricas, entonces una es un subconjunto de la otra. (b) Sean B(a, r) y B(b, s) dos bolas abiertas en X y x B(a, r) B(b, s). Entonces existe una bola abierta B (x, ) tal que x B(x, ) B(a, r) B(b, s). Problema 3.17. Considere el conjunto de las funciones reales continuas en el intervalo [0, 1], C([0, 1]). Sean f (x) = x(1 x) y g(x) = x. Calcule d (f , g). Problema 3.18. Sea (X, d) un espacio m etrico y sea S X. Demuestre la siguiente desigualdad triangular : para todo x, y X, d(x, S) d(x, y) + d(y, S). Problema 3.19. Pruebe que en cualquier espacio m etrico, los conjuntos formados por un u nico punto son cerrados. Deduzca que los conjuntos nitos tambi en son cerrados. Problema 3.20. Justique si son abiertos o cerrados los siguientes conjuntos en (R2 , d2 ): A = {(x, y) R2 | xy = 0}
Toc Volver Doc Doc
31
B = {(x, y) R2 | x Q} C = {(x, y) R2 | |x| < 1} D = {(x, y) R2 | 0 < x < 1, 0 < y < 1} {(x, y) R2 | x2 + y2 = 0} Problema 3.21. Demuestre que el intervalo H = [a, b] es abierto en (H, dH ), pero que no lo es en el espacio total R con la distancia eucl dea. Problema 3.22. Calcule en (R2 , d2 ) la distancia d2 (A, B) en los siguientes casos: A = {(0, 0)} y B = [1, +) [1, +)
1 2 A = {(x, y) R2 | y > 1 x , x > 0} y B = {(x, y) R | y < x , x > 0}.
Problema 3.23. Sea (R2 , d2 ) y A = {(x, y) R2 | x + y < 1, x > 0, y > 0}. Calcule el di ametro de A. Problema 3.24. Demuestre que un subconjunto de un espacio m etrico es abierto si, y s olo si, es uni on de bolas abiertas. Problema 3.25. Determine las bolas en R2 para la distancia d(x, y) = m ax{|x1 x2 |, dD (y1 , y2 )}, con x = (x1 , y1 ), y = (x2 , y2 ). Problema 3.26. Determine las bolas en R para la distancia d(x, y) = m n{1, |x y|}.
Toc Volver Doc Doc
32
Problema 3.27. Sea d : R R R la distancia denida por d(x, y) = Determine la bola B d (0, r). Problema 3.28. Sea d : R R R la distancia denida por d(x, y) = 0 dD (x, 0) + dD (0, y) si x = y si x = y 2|x y| . 1 + 3|x y|
siendo dD la distancia discreta. Determine anal tica y geom etricamente las bolas B d (x, r). Indicaci on: en primer lugar suponga x = 0. Problema 3.29. Estudie si los siguientes conjuntos son abiertos o cerrados en R2 para las distancias d1 , d2 y d : A = {(x, y) R2 | y = tan x} B = {(x, y) R2 | y = 4 x2 } C = {(x, y) R2 | x [0, 1]} Problema 3.30. En C([0, 1]) consideremos la distancia d y la distancia
1
d(f , g) =
0
|f (x) g(x)|dx.
Volver Doc Doc
Toc
33
Sea r > 0 y consideremos las funciones f y g denidas por 4x +4 f (x) = 2 para todo x [0, 1] y g(x) = r 2
si 0 x 1 2r si
1 2r
x1
Pruebe que g Bd (f , r) pero g / B (f , 1). Deduzca que d y d no son equivalentes. Problema 3.31. Sea (X, d) un espacio m etrico. Pruebe que d, (x, y) = m n{1, d(x, y)} d(x, y) y (x, y) = son tres distancias equivalentes sobre X. 1 + d(x, y) Problema 3.32. Sean A y B dos conjuntos en un espacio m etrico (X, d). Pruebe que: (a) Si A es abierto y B es cerrado, entonces A B es abierto. (b) Si A es cerrado y B es abierto, entonces A B es cerrado. Problema 3.33. Sea (X, d) es un espacio m etrico, a X y r > 0. Pruebe que {x X | d(a, x) > r} es un conjunto abierto y {x X | d(a, x) r} es un conjunto cerrado. Problema 3.34. Sea C([0, 2 ]) con la distancia del supremo. Describa anal tica y gr acamente c omo son las bolas de radio 1 y centro en las funciones f (x) = sen x y g(x) = 2 + cos x, respectivamente. Problema 3.35. Considere el espacio m etrico de las sucesiones reales acotadas ( Pruebe que el conjunto A = {(xn )n | l mn xn = 0} es cerrado.
Toc Volver Doc Doc
, d ).
34
Problema 3.36. Se considera el espacio topol ogico (R2 , d2 ). Averig ue cu ales de los siguientes conjuntos son entornos del origen de coordenadas: 1 1 1 ( 1 2 , 2 ] ( 4 , 4 ] ( 1 2 , 0] (1, 0]
1 [0, 1 2 ) (0, 4 ] 1 (0, 1] (0, 2 ]. Sabr a encontrar una base de entornos del (0, 0)?
Fin del Cap tulo

Toc Volver Doc Doc
35

Ejercicio 3.3. Dadas dos sucesiones (xn )n e (yn )n ,denamos d ((xn )n , (yn )n ) = sup{|xn yn |}.
nN
Ejercicio 3.3
Toc
Volver
Doc
Doc
36
Ejercicio 3.4. Una gr aca ayuda a visualizar que la distancia que queremos calcular es la diferencia entre la longitud de la diagonal de un cuadrado de lado 1, que es 2, y di ametro del c rculo A que es 1. Por tanto, d(A, B) = 2 1 Ejercicio 3.4
Toc
Volver
Doc
Doc
37
Ejercicio 3.5(a) B(f0 , r) es el conjunto de todas las funciones continuas f en [0, 1] cuya gr aca se encuentra entre las gr acas de las funciones f 0 (x) r y f0 (x) + r.
Toc
Volver
Doc
Doc
38
Ejercicio 3.5(b) B(a, r) = {a} X si r 1 si r > 1
Toc
Volver
Doc
Doc
39
Ejercicio 3.5(c) Bd (1, 1) = (0, 2) mientras que, para la distancia inducida en H, BdH (1, 1) = (0, 1].
Toc
Volver
Doc
Doc
40
Ejercicio 3.6. La intersecci on arbitraria de abiertos no es, en general, un abierto. Si 1 1 , n ) | n N} en (R, | |), su intersecci on es consideramos la familia de abiertos {( n
n=1
1 1 , n n
= {0}, Ejercicio 3.6
que no es abierto.
Toc
Volver
Doc
Doc
41
Ejercicio 3.7. Los di ametros, para cada una de estas tres distancias, son: di am1 (A) di am2 (A) di am (A) = 2, 2, = = 1. Ejercicio 3.7
Toc
Volver
Doc
Doc
Topolog a
4. Subconjuntos y puntos notables
Pedro Jos e Herrero y Pascual Lucas Resumen: En este cap tulo introducimos la adherencia de un conjunto y sus principales propiedades, y particularizamos el concepto a los espacios m etricos. Presentamos los conjuntos densos y numerables. Estudiamos los puntos aislados, de acumulaci on, interiores, exteriores y frontera. Cuando entra en juego un subespacio, es necesario estudiar la adherencia, interior y frontera relativos. Finalizamos con una secci on dedicada a las sucesiones.
Versi on 0.2
Indice general
1. Adherencia 1.1. La adherencia en un espacio m etrico 1.2. Caracterizaci on de la adherencia 1.3. Subconjuntos densos y espacios separables 2. Puntos aislados y puntos de acumulaci on 3. Interior y frontera Puntos interiores Puntos frontera Relaci on entre interior, clausura y frontera 4. Adherencia, interior y frontera relativos Adherencia relativa Interior relativo Frontera relativa 5. Sucesiones 5.1. Sucesiones convergentes y bases de entornos 5.2. Sucesiones y espacios m etricos Unicidad del l mite Puntos adherentes, conjuntos densos y puntos frontera 6. Problemas propuestos Soluciones de los ejercicios Soluciones de las cuestiones
Secci on 1: Adherencia
1. Adherencia
Denici on 4.1 Sea (X, T ) un espacio topol ogico y sea S un subconjunto de X. Se dice que x X es un punto adherente de S si todo entorno U de x cumple que U S = , es decir, no hay ning un entorno de x totalmente contenido en X S. El conjunto de puntos adherentes de S se llama la adherencia o la clausura de S y se representa por S. Nota 4.1 Tal y como hemos denido la adherencia de un conjunto S, es evidente que S S. Proposici on 4.1 Sea (X, T ) un espacio topol ogico, S 1 y S2 subconjuntos de X. Entonces se satisface lo siguiente: (a) Si S1 S2 entonces S1 S2 . (b) S1 S2 = S1 S2 . Demostraci on. (a) Si x S1 , entonces para todo U Ux se cumple que U S1 = . Como U S1 U S2 , se cumple tambi en que U S2 = . Por tanto, x S2 . (b) Tenemos que S1 S1 S2 y S2 S1 S2 , luego por la propiedad (a) se cumple que S1 S1 S2 y S2 S1 S2 . Por tanto S1 S2 S1 S2 .
Toc Volver Doc Doc
Para ver la inclusi on contraria, sea x S1 S2 . Si x no es adherente a S 1 ni a S2 , existir an dos entornos U 1 , U2 Ux tales que U1 S1 = y U2 S2 = . Por otra parte, U1 U2 es un entorno de x y cumple que (U1 U2 ) (S1 S2 ) = ; pero esto es contradictorio con el hecho de que x S1 S2 pues todo entorno de x deber a cortar a S 1 S2 . La denici on no nos da un m etodo adecuado para encontrar la clausura de un conjunto, ya que exige que se compruebe una propiedad para todos los entornos de un punto. Por tanto, ser a u til disponer de una caracterizaci on que permita reducir el n umero de comprobaciones. Esta es una de las razones m as importantes de la utilidad del concepto de base de entornos. Proposici on 4.2 Sean (X, T ) un espacio topol ogico, S X un subconjunto de X, x X y B(x) un base de entornos de x en la topolog a T . Entonces x S si, y s olo si, V S = para cada V B(x). Demostraci on. Supongamos que x S y V B(x). Como B(x) Ux , seg un la denici on de punto adherente se tiene que V S = . Supongamos ahora que todo V B(x) cumple que V S = . Como B(x) es base de entornos de x, para todo U Ux existe un entorno V B(x) tal que V U. Como V S = y V S U S tenemos que U S = .
Toc Volver Doc Doc
1.1. La adherencia en un espacio m etrico

En particular, si la topolog a est a generada por una distancia, se pueden utilizar bases de entornos formadas por bolas y obtener los siguientes resultados particulares. Corolario 4.3 Sea (X, d) un espacio m etrico y S un subconjunto de X. Entonces x X es un punto adherente de S (x S) si, y s olo si, B(x, r) S = para todo r > 0. Corolario 4.4 Sea (X, d) un espacio m etrico y S un subconjunto de X. Entonces x X 1 olo si, para todo n N la bola B(x, n ) de es un punto adherente de S (x S) si, y s 1 centro x y radio n corta a S. Ejemplo 4.1. Sea X la recta real R. Si A = (0, 1] entonces A = [0, 1], ya que cada entorno del n umero 0 interseca a A, mientras que cada punto fuera de [0, 1] tiene un entorno disjunto con A. Ejercicio 4.1. Determina la clausura de los siguientes conjuntos: (1) B = {1/n | n Z+ }. (2) C = {0} (1, 2). (3) Q (el conjunto de los n umeros racionales). (4) N (el conjunto de los n umeros enteros). (5) R+ (el conjunto de los n umeros reales positivos).
Toc Volver Doc Doc
La clausura de un subespacio depende del espacio ambiente donde se considere, como se prueba en el siguiente ejemplo. Ejemplo 4.2. Consideremos el subespacio Y = (0, 1] de la recta real R. El conjunto 1 A = (0, 1 2 ) es un subconjunto de Y; su clausura en R es el conjunto [0, 2 ], y su clausura 1 1 en Y es el conjunto [0, 2 ] Y = (0, 2 ]. La propiedad m as caracter stica de la adherencia de un conjunto S es la de que es el menor cerrado que contiene al conjunto S. Veamos primero que la clausura es un conjunto cerrado. Proposici on 4.5 Sea (X, T ) un espacio topol ogico y S X un subconjunto. Entonces la clausura S es un cerrado en (X, T ). Demostraci on. Veamos que X S es un abierto comprobando que es un entorno de todos sus puntos. Sea x X S, entonces x no es un punto adherente, por lo que existe un entorno U de x tal que U S = . Como U es un entorno de x existe un abierto A T tal que x A U. Por tanto, A S = . Veamos que A X S, con lo que X S ser a abierto. Para todo y A, el conjunto abierto A ser a un entorno de y que no corta a S, luego y / S. Es decir, A X S. Por tanto, X S es un entorno de x. Y esto para todo x que no est e en S, por lo que X S es abierto.
Toc Volver Doc Doc
1.2. Caracterizaci on de la adherencia

Proposici on 4.6 Sea (X, T ) un espacio topol ogico, S X un subconjunto y C X un cerrado tal que S C. Entonces S C. En otras palabras, S es el menor cerrado que contiene a S. Demostraci on. Razonaremos por reducci on al absurdo. Sea C un cerrado con S C y supongamos que S C, es decir, que existe un punto x S tal que x / C. Entonces X C es un abierto que contiene al punto x y como que S C, se cumple que (X C) S = . Por tanto, x no es un punto adherente de S, lo cual es una contradicci on. Como consecuencia tenemos la siguiente caracterizaci on de la adherencia. Corolario 4.7 Sea (X, T ) un espacio topol ogico y S X un subconjunto. Entonces la adherencia S de S es la intersecci on de todos los conjuntos cerrados de X que contienen a S. En particular, la propiedad anterior proporciona una caracterizaci on de los conjuntos cerrados como aquellos que contienen a todos sus puntos adherentes. Corolario 4.8 Un conjunto C en un espacio topol ogico (X, T ) es cerrado si, y s olo si, C = C.
Toc
Volver
Doc
Doc
Cuestion 4.1. Son verdaderas o falsas las siguientes armaciones? 1. En un espacio topol ogico trivial, la adherencia de cualquier conjunto no vac o es el espacio total. (a) Verdadero (b) Falso 2. En un espacio topol ogico discreto, la adherencia de cualquier conjunto S es el propio S. (a) Verdadero (b) Falso 3. En la topolog a conita (X, Tcf ), la adherencia de cualquier conjunto est a formada por el propio conjunto. (a) Verdadero (b) Falso 4. En (R, Tu ), (0, 1) = [0, 1]. (a) Verdadero (b) Falso En el caso de los espacios m etricos, los puntos adherentes pueden ser caracterizados en t erminos de la distancia. Proposici on 4.9 Sea (X, d) un espacio m etrico y S X un subconjunto. Entonces un punto x S si, y s olo si, la distancia de x a S es d (x, S) = 0. Demostraci on. Supongamos que x S y que d(x, S) = > 0; entonces B(x, /2) S = , lo que contradice el hecho de que x es un punto de adherencia de S.
Toc Volver Doc Doc
Rec procamente, si d (x, S) = 0, entonces para cualquier n N existe un punto 1 , de modo que B(x, 1/n) S = . Por tanto, x es un punto de y S tal que d(x, y) < n adherencia de S.
1.3. Subconjuntos densos y espacios separables

Denici on 4.2 Sea (X, T ) un espacio topol ogico. Un subconjunto S X se dice que es denso en X si S = X. Los subconjuntos densos pueden ser caracterizados de la siguiente forma. Proposici on 4.10 Sea (X, T ) un espacio topol ogico y S X. Entonces S es denso en (X, T ) si, y s olo si, A S = para todo abierto A T . Demostraci on. Supongamos que S X es denso, es decir, S = X y sea A = un abierto. Si x A, como x S = X y A es entorno de x se cumple, por la denici on de adherencia, que A S = . Supongamos ahora que todo abierto A = satisface A S = . Si suponemos que S = X, entonces X S ser a un abierto no vac o, pero (X S) S = , en contra de lo supuesto. Por tanto, S = X. Ejemplo 4.3. El conjunto de los racionales Q es denso en (R, Tu ). Por tanto, R contiene un subconjunto numerable denso.
Toc Volver Doc Doc
Secci on 2: Puntos aislados y puntos de acumulaci on
10
Denici on 4.3 Un espacio topol ogico (X, T ) es separable si contiene un subconjunto numerable denso. Ejemplo 4.4. La recta real (R, Tu ) es separable.
2. Puntos aislados y puntos de acumulaci on

Denici on 4.4 Sea (X, T ) un espacio topol ogico y S X. Diremos que un punto x X es un punto de acumulaci on (o punto l mite) de S en (X, T ) si cualquier entorno U de x contiene un punto de S distinto de x. Es decir, si (U {x}) S = . El conjunto de todos los puntos de acumulaci on de S se dice que es la acumulaci on o conjunto derivado de S, y se representa por S . Un concepto dual en cierto sentido es el de punto aislado. Denici on 4.5 Sea (X, T ) un espacio topol ogico y S X. Diremos que un punto x S X es un punto aislado de S en (X, T ) si existe un entorno U de x tal que U S = {x}. El siguiente resultado da una relaci on entre puntos l mites y puntos aislados. Proposici on 4.11 Sea (X, T ) un espacio topol ogico y S X. Entonces: (a) El conjunto de puntos aislados de S es S S .
Toc Volver Doc Doc
Secci on 2: Puntos aislados y puntos de acumulaci on
11
(b) S = S S . Demostraci on. Probaremos el apartado (b), dejando el apartado (a) como ejercicio. Si x S , cada entorno de x interseca a S en un punto distinto de x, luego x S. Entonces S S y puesto que S S, se sigue que S S S. Supongamos ahora que x es un punto de S. Si ocurre que x pertenece a S, es trivial que x S S ; supongamos que x / S. Como x S, sabemos que cada entorno U de x interseca a S; al tener que x / S, el conjunto U debe intersecar a S en un punto distinto de x. Entonces x S , por lo que x S S , como quer amos. Cuestion 4.2. Consideremos la recta real R. 1. El punto 0 es un punto l mite de A = (0, 1]? (a) S (b) No 2. Si B = {1/n | n Z+ }, entonces . . . (a) B = [1, 1] (b) B = {0} 3. Si C = {0} (1, 2), entonces C es igual a . . . (a) [1, 2] (b) [0, 2] (c) B = R (c) [1, 2)
Ejercicio 4.2. Determina los conjuntos derivados de Q, N y R+ . En un espacio m etrico (X, d) las deniciones anteriores se concretan diciendo que un punto x X es punto de acumulaci on de S X si para todo r > 0 (B(x, r) {x}) S =
Toc Volver Doc Doc
Secci on 3: Interior y frontera
12
y que un punto x S X es un punto aislado de S si existe r > 0 tal que B(x, r) S = {x}. Ejemplo 4.5. En R con la topolog a usual, todo natural n N es un punto adherente de N pero no es de acumulaci on; es decir, los naturales son puntos aislados en (R, Tu ). 1 En efecto, (B(n, 2 ) {n}) N = .
3. Interior y frontera Puntos interiores

Denici on 4.6 Sea (X, T ) un espacio topol ogico y S X un subconjunto. Diremos que x S es un punto interior de S si S es un entorno de x. El conjunto de los puntos
interiores de S se denomina el interior de S y se representa por S o Int S. Un punto x / S se dice que es exterior a S si x Int(X S). Es obvio que para cualquier conjunto S X se satisface
S S S. Ejemplo 4.6. (1) En R con la topolog a usual, Int [0, 1) = (0, 1).
(2) En R con la topolog a usual, Q = . Cu al es el exterior de Q?

Toc Volver Doc Doc
13
(3) En un espacio topol ogico con la topolog a trivial, el interior de cualquier subconjunto S X es el vac o. Proposici on 4.12 Sea (X, T ) un espacio topol ogico y S X un subconjunto. Un punto x S es interior de S si, y s olo si, x / X S. En otras palabras, el interior de S es el abierto dado por
S = X X S. Demostraci on. Si x S, existe un abierto A tal que x A S. Entonces A (X S) = y, por tanto, x / X S. Sea, ahora, x / X S. Como X S X S, si tomamos complementarios en esta relaci on cambia el sentido de la inclusi on y tendremos que X X S S. Ahora bien,

X X S es abierto, por lo que S es entorno de x, luego x S. Una importante caracter stica del interior de un conjunto es que se trata del mayor abierto contenido en dicho conjunto. Proposici on 4.13 Sea (X, T ) un espacio topol ogico y S X un subconjunto. Entonces
si A S es abierto se cumple que A S. Demostraci on. Sea A un abierto no vac o tal que A S y sea x un punto de A. Como A es abierto, es un entorno de x y, por tanto, tambi en lo es S. Entonces x es un punto
Toc Volver Doc Doc
14
interior de S, luego A S. En particular, esta proposici on proporciona una caracterizaci on de los conjuntos abiertos como aquellos en los que todos sus puntos son interiores: Corolario 4.14 Un subconjunto S de un espacio topol ogico (X, T ) es abierto si, y s olo
si, S = S. Se puede caracterizar el interior en t erminos de bases de entornos (la demostraci on se deja como ejercicio). Proposici on 4.15 Sea (X, T ) un espacio topol ogico, S X y x S. Sea B(x) una base de entornos de x en la topolog a T . Entonces x S si, y s olo si, existe V B(x) tal que V S. Concretemos ahora estas caracterizaciones en el caso de los espacios m etricos.

Corolario 4.16 Sea (X, d) un espacio m etrico y S X. Entonces x S si, y s olo si, existe r > 0 tal que B(x, r) S. Observemos que la condici on anterior es equivalente a que exista n N tal que 1 B(x, n ) S.
Toc Volver Doc Doc
15
En el caso de espacios m etricos, podemos caracterizar tambi en el interior en t erminos de la distancia a un conjunto. Ejercicio 4.3. Sea (X, d) un espacio m etrico y S X. Pruebe que un punto x S es un punto interior de S si, y s olo si, d (x, X S) > 0. El interior posee las siguientes propiedades, que son duales de las correspondientes de la adherencia, probadas en la Proposici on 4.1. Proposici on 4.17 Sea (X, T ) un espacio topol ogico, y sean S 1 y S2 subconjuntos de X. Entonces:

(a) Si S1 S2 , entonces S1 S2

b) S1 S2 = Int(S1 S2 ). Demostraci on.
(a) Si x S1 , esto signica que S 1 es un entorno de x. Como S 1 S2 , S2 tambi en es
un entorno de x. Entonces x S2 . (b) Seg un hemos visto en la Proposici on 4.12:

S1 S2 = (X X S1 ) (X X S2 ) = X (X S1 X S2 ) = X (X S1 ) (X S2 ) = X X (S1 S2 ) = Int(S1 S2 )
Toc Volver Doc Doc
16
Puntos frontera
Denici on 4.7 Sea (X, T ) un espacio topol ogico y S X un subconjunto. Diremos que x X es un punto frontera de S si todo entorno U de x cumple que U S = y U (X S) = . El conjunto de puntos frontera de S se denomina la frontera de S, y se representa por Fr (S). Como consecuencia de la denici on, el siguiente resultado es obvio. Proposici on 4.18 Sea (X, T ) un espacio topol ogico y S X un subconjunto. Entonces Fr(S) = S X S. Corolario 4.19 Si S es un subconjunto de un espacio topol ogico, entonces Fr (S) es cerrado. Ejercicio 4.4. (a) Cu anto vale la frontera de (0, 1) en (R, Tu )? (b) Cu anto vale la frontera de Q en (R, Tu )? Proposici on 4.20 Sea (X, T ) un espacio topol ogico, S X un subconjunto y B(x) una base de entornos de un punto x X en la topolog a T . Entonces x Fr(S) si, y s olo si, para todo V B(x) se cumple que V S = y V (X S) = .
Toc Volver Doc Doc
17
En el caso de los espacios m etricos tenemos la siguiente caracterizaci on. Corolario 4.21 Sea (X, d) un espacio m etrico y S X un subconjunto. Un punto x Fr(S) si, y s olo si, para todo r > 0 se cumple que B(x, r) S = y B(x, r) (X S) = . Observemos que, de forma equivalente, se puede decir que un punto x Fr(S) si, y 1 1 s olo si, para todo n N se cumple que B(x, n ) S = y B(x, n ) (X S) = .
Relaci on entre interior, clausura y frontera

Finalizamos esta secci on con una bonita relaci on entre los conjuntos interior, clausura y frontera. Proposici on 4.22 Sea (X, T ) un espacio topol ogico y S X un subconjunto. Entonces la frontera de S est a dada por
Fr(S) = S S. Demostraci on. La Proposici on 4.18 implica que Fr(S) = S X S. Entonces usando la Proposici on 4.12 tenemos

S X S = S (X S) = S S, que es lo que quer amos probar.

Toc Volver Doc Doc
Secci on 4: Adherencia, interior y frontera relativos
18
Proposici on 4.23 Sea (X, T ) un espacio topol ogico y A X. Entonces A es abierto si, y s olo si, Fr(A) A = . Demostraci on. Si A es abierto, como Fr (A) = A A tenemos que Fr(A) A = . Si Fr(A) A = , entonces

= Fr(A) A = (A A) A = A A, lo que signica que A A. Por tanto, A es abierto.
4. Adherencia, interior y frontera relativos Adherencia relativa

Si tenemos un espacio topol ogico (X, T ), un subespacio suyo (H, TH ) y un subconjunto H S H, se puede estudiar la adherencia de S tanto en H, S , como en X, S. Cu al es la relaci on entre ambas? Vamos a estudiarla a continuaci on. Proposici on 4.24 Sea (X, T ) un espacio topol ogico y H X. Consideremos el subespacio topol ogico (H, TH ) y sea S H X. Entonces S = S H.
H
Toc
Volver
Doc
Doc
Secci on 4: Adherencia, interior y frontera relativos
19
Demostraci on. Hemos visto que S H es cerrado en H. Adem as, por la misma denici on, tenemos que S S H y como la adherencia de S en H es el menor de los H cerrados de H que contiene a S, tendremos que S S H. Rec procamente, sea x S H. Sea U EH (x). Entonces ser a U = U H para alg un U E(x). Como x S, tendremos que U S = . Ahora bien, U S = U H S = H U S = , por lo que x S . Ejemplo 4.7. La adherencia de (0, 1) en (0, ) (considerado este u ltimo como subespacio topol ogico de R con la topolog a usual) es (0, 1].
Interior relativo
Proposici on 4.25 Sea (X, T ) un espacio topol ogico y H X. Consideremos el subespacio topol ogico (H, TH ) y sea S H X. Entonces
IntH S S H.
Demostraci on. Es claro que S H es un abierto de H incluido en S. Como Int H S es el
abierto relativo m as grande incluido en S, se cumple S H IntH S. La propiedad anterior no ayuda mucho a la hora de calcular el interior ya que, en general, la inclusi on es estricta, como se muestra en el siguiente ejemplo.
Toc Volver Doc Doc
Secci on 5: Sucesiones
20
Ejemplo 4.8. Consideremos Q como subespacio de R con la topolog a usual. Sabemos que Q = , pero IntQ Q = Q. Por tanto,
Q = IntQ Q = Q Q = .
Frontera relativa
Corolario 4.26 Sea (X, T ) un espacio topol ogico y H X. Consideremos el subespacio topol ogico (H, TH ) y sea S H X. Entonces FrH (S) Fr(S) H. Demostraci on. La frontera de S en H est a dada por FrH (S) = S H S = S H H S H = S H S H S X S H = Fr(S) H.
H H
El Ejemplo 4.8 anterior muestra que, en general, la inclusi on es estricta.
5. Sucesiones
En esta secci on vamos a estudiar el concepto de sucesi on en un espacio topol ogico general, y analizaremos la relaci on que existe entre puntos adherentes y convergencia
Toc Volver Doc Doc
21
de sucesiones, relaci on que resulta ser especialmente interesante, y particularmente u til, en el caso de los espacios m etricos. Denici on 4.8 Sea (X, T ) un espacio topol ogico y (xn ) on de puntos n=1 una sucesi de X. Diremos que (xn )n=1 converge a x en (X, T ), y lo denotaremos por x n x o l mn xn = x, si para todo entorno U de x existe n 0 N de modo que si n > n0 , entonces xn U. La sucesi on (xn ) mite n=1 se dice que es convergente y el punto x se llama l de (xn )n=1 . Ejemplo 4.9. La convergencia de una sucesi on depende de la topolog a. Sea un conjunto X y (xn ) , con x = x X para todo n, la sucesi o n constante x. Entonces se dan las n n=1 dos situaciones siguientes: (a) (xn ) a trivial (X, TT ). n=1 converge a cualquier punto y X en la topolog (b) {xn } olo converge a x en la topolog a discreta (X, TD ). n=1 s
5.1. Sucesiones convergentes y bases de entornos

Relacionemos las sucesiones convergentes con las bases de entornos. Proposici on 4.27 Sea (X, T ) un espacio topol ogico, (xn ) on en X y B(x) n=1 una sucesi una base de entornos de x en la topolog a T . Entonces (xn ) converge a x si, y s olo n=1 si, para todo V B(x) existe n0 N tal que si n > n0 , entonces xn V.
Toc Volver Doc Doc
22
Demostraci on. Si (xn ) on se cumple n=1 converge a x, como B(x) Ux , la condici para todos los entornos V B(x). Si U Ux es un entorno de x, como B(x) es base de entornos, existir a V B(x) tal que V U. Entonces para este V existir a n 0 N de manera que si n > n0 se tiene que xn V U. Por tanto, para todo n > n0 se tiene que xn U.
5.2. Sucesiones y espacios m etricos

En el caso de los espacios m etricos podemos enunciar la convergencia de sucesiones como sigue. Corolario 4.28 Sea (X, d) un espacio m etrico y (xn ) on en X. Entonces n=1 una sucesi (xn )n=1 converge a x si, y s olo si: Para todo > 0 existe n0 tal que n > n0 = d(xn , x) < . Muy interesante es la siguiente consecuencia, en el que la convergencia se reduce, en el caso de los espacios m etricos, al estudio de la convergencia de una sucesi on de n umeros reales: Corolario 4.29 Sea (X, d) un espacio m etrico y (xn ) on en X. Entonces n=1 una sucesi (xn )n=1 converge a x si, y s olo si, la sucesi on de las distancias (d(xn , x)) n=1 converge a 0 en (R, | |).
Toc Volver Doc Doc
23
Unicidad del l mite

Una propiedad importante de la convergencia de sucesiones de n umeros reales es la unicidad del l mite. Ya hemos visto en el Ejemplo 4.9 que esto no se cumple en los espacios topol ogicos generales. Sin embargo, s es cierto para un tipo particular de espacios topol ogicos, que incluye a los espacios m etricos. Proposici on 4.30 Sea (X, T ) un espacio topol ogico de Hausdor y (xn ) on n=1 una sucesi en X. Entonces, si (xn ) es convergente, su l mite es u nico. n=1 Demostraci on. Supongamos que (xn ) n=1 es convergente en X a dos puntos distintos x = y. Como X es de Hausdor, existen entornos U Ux y V E(y) tales que U V = . Por otra parte, como (xn ) n=1 converge a x, para el entorno U de x existe n 0 tal que si n > n0 , entonces xn U. Igualmente, para el entorno V de y, existe n 1 tal que si n > n1 , entonces xn V. As , para todo n > n1 y n > n0 a la vez, se cumple x n U y xn V, lo que est a en contradicci on con el hecho de que U V = . Para concluir este apartado dedicado a las sucesiones en los espacios m etricos, vamos a ver que la adherencia, los subconjuntos densos y la frontera se pueden caracterizar, en un espacio m etrico, en t erminos de sucesiones.
Toc
Volver
Doc
Doc
24
Puntos adherentes, conjuntos densos y puntos frontera

Proposici on 4.31 Sea (X, d) un espacio m etrico y sea S X. Entonces x S si, y s olo si, existe una sucesi on (xn ) n=1 S tal que xn x.
1 Demostraci on. Supongamos que x S. Sabemos que {B(x, n ) | n N} es una 1 base de entornos de x en (X, d). Por tanto, B(x, n ) S = . Podemos construir entonces una sucesi on de la siguiente forma: Para n = 1 tomamos x1 B(x, 1) S.
Para n = 2 tomamos x2 B(x, 1 2 ) S.

1 Y as sucesivamente: para cada n tomamos x n B(x, n ) S. De esta manera obtenemos una sucesi on (xn )n=1 de puntos de S que converge a x evidentemente. Si existe una sucesi on (xn ) n=1 en S tal que x n x, entonces para todo U Ux existe n0 tal que n > n0 implica que xn U, es decir, U S = . Por tanto, x S.
La propiedad anterior para los puntos adherentes permite dar una caracterizaci on para un conjunto denso. Proposici on 4.32 Sea (X, d) un espacio m etrico y S X un subconjunto. Entonces S es denso en X si, y s olo si, para todo x X existe una sucesi on (xn ) n=1 en S tal que xn x.
Toc Volver Doc Doc
25
Demostraci on. Simplemente hay que tener en cuenta la Denici on 4.2 de conjunto denso y la Proposici on 4.31. Finalizamos con una caracterizaci on de los puntos frontera. Proposici on 4.33 Sea (X, d) un espacio m etrico y S X. Un punto x X es un punto frontera de S si, y s olo si, existe una sucesi on (xn ) n=1 en S y otra (yn )n=1 en X S tales que xn x e yn x. Demostraci on. De nuevo, s olo hay que tener en cuenta la Denici on 4.7 de punto frontera y la Proposici on 4.31.
Problema 4.1. Estudie si (R, Tcf ) es un espacio de Hausdor. Problema 4.2. Demuestre que la familia formada por las uniones de elementos de B = {[a, b) | a, b R} es una topolog a sobre R. Es de Hausdor? Es la usual de R? Problema 4.3. Un espacio topol ogico (X, T ) se dir a puntualmente cerrado cuando todo subconjunto unipuntual {x} sea cerrado. Demuestre que (X, T ) es puntualmente cerrado si, y s olo si, para cada par de puntos distintos x , y X existen abiertos A y B tales que x A B e y B A. Pruebe que todo espacio de Hausdor es puntualmente cerrado. Es cierto el rec proco?
Toc Volver Doc Doc
26
Problema 4.4. Sea (X, d) un espacio m etrico y C , F X cerrados disjuntos. Pruebe que existen dos abiertos disjuntos A y B tales que C A y F B. Problema 4.5. Sea (E, <) un conjunto totalmente ordenado. Un intervalo abierto es cualquier conjunto de la forma (a, b) = {x E | a < x < b}; (, b) = {x E | x < b} y (a, ) = {x E | a < x}. Demuestre que, tomando como abiertos la uni on arbitraria de intervalos abiertos, se tiene una topolog a sobre E y que dicha topolog a es de Hausdor. Problema 4.6. Pruebe que si B es una base de una topolog a T sobre un conjunto X y H X, entonces BH = {H B | B B} es una base para la topolog a TH inducida sobre H. Problema 4.7. Sea (X, d) un espacio m etrico. Pruebe que si F X es cerrado, entonces d(x, F) = 0 si, y s olo si, x F. Problema 4.8. En (R, Tu ), calcule S R S cuando S es i) [a, b); ii) (a, b); iii) N; iv) Q. Problema 4.9. En (R, Tcf ), calcule Fr(S) (R S) cuando S es i) un abierto; ii) nito; iii) Q. Problema 4.10. Sean (X, T ) un espacio topol ogico y A un subconjunto de X. Se dice
que A es fronterizo cuando A Fr(A) y que A es raro cuando A = .
(a) Es cierto que A es fronterizo si, y s olo si, A = ?

Toc Volver Doc Doc
27
(b) Es cierto que A es fronterizo si, y s olo si, el complementario de A es denso en X? (c) Encuentre en (R, Tu ) dos ejemplos de conjuntos fronterizos. (d) Encuentre en (R, Tu ) dos ejemplos de conjuntos raros. (e) Todo conjunto raro es fronterizo? (f) Todo conjunto fronterizo es raro? (g) A abierto implica que Fr (A) es raro? (h) Todo conjunto cerrado y raro es la frontera de un conjunto abierto? Problema 4.11. Sea (X, T ) un espacio topol ogico. Demuestre que si A B, entonces todo punto de acumulaci on de A es un punto de acumulaci on de B, es decir, A B . Problema 4.12. Considere el conjunto X = {a, b, c, d, e} y la topolog a sobre X dada por T = {, X, {a}; {a, b}; {a, c, d}; {a, b, c, d}; {a, b, e}}. (a) Encuentre los puntos interiores de A = {a, b, c}. (b) Encuentre los puntos exteriores de A. (c) Encuentre los puntos frontera de A.
Toc
Volver
Doc
Doc
28
Problema 4.13. Sea (X, T ) un espacio topol ogico y A T un abierto. Pruebe que, para todo B X, se cumple que A B = A B. Proporcione un ejemplo que muestre que si A no es abierto, entonces la igualdad anterior no se cumple necesariamente. Problema 4.14. Demuestre que un conjunto A es abierto en un espacio topol ogico (X, T ) si, y s olo si, para todo M X tal que A M = , tambi en es M A = . Problema 4.15. Si (X, d) es un espacio m etrico y M X. Demuestre: (a) x M si, y s olo si, d(x, M) = 0. (b) x Int(M) si, y s olo si, d(x, X M) = 0. Problema 4.16. Sea (X, T ) un espacio topol ogico, H X y M H. Considere el subespacio (H, TH ). Pruebe: (a) Int M H IntH M. (b) FrH (M) Fr(M) H. (c) Busque un ejemplo que muestre que las inclusiones de los dos apartados anteriores pueden ser estrictas. Problema 4.17. Sea R la recta de Sorgenfrey y A = (0, 1) (1, 2). Calcule A y Fr(A). Problema 4.18. Encuentre un ejemplo de dos subconjuntos A y B de (R2 , Tu ) tales que los conjuntos A B, A B, A B y A B
Toc Volver Doc Doc
29
sean distintos. Problema 4.19. Sea E = [1, 1] R. Sea T = {A [1, 1] | 0 /A o (1, 1) A}: (a) Pruebe que T es una topolog a sobre E. (b) Calcule { 1 2 } y Fr(1, 1). Problema 4.20. En (R, Tu ) se consideran los subconjuntos A = [0, 1), B = Q [1, 2], D D D C = (2, 3] {4} y D = A B C. Calcule A , B y C . Problema 4.21. Calcule en (R2 , d2 ) el interior, el exterior y la frontera de los conjuntos siguientes: 1 A = {(x, y) R2 | x = , n N, 0 y 1}, n B = {(x, y) R2 | xy > 1}, 1 C = {(x, y) R2 | x = n, y = n N} n Problema 4.22. Determine cu ales son las sucesiones convergentes en los siguientes espacios topol ogicos y especique sus l mites: a)(X, TT ); b)(X, TD ) y c)(X, Tcf ).
n Problema 4.23. Converge {( 1 e puntos 2 ) }n=1 en R ? En caso armativo, a qu converge? Justique la respuesta.
Toc
Volver
Doc
Doc
30
Problema 4.24. Considere la recta real R y la familia T P(R) dada por T = {, R} {[x, x]}x>0 Es (R, T ) un espacio topol ogico? Justique la respuesta. Problema 4.25. Considere la recta real R y la familia T P(R) dada por: T = {A B | A Tu y B Q} Justique que (R, T ) es un espacio topol ogico. Problema 4.26. Sea R la recta de Sorgenfrey. Para todo A, B R, se cumple siempre que A B = A B? En caso armativo, justique la respuesta y en caso negativo, d e un contraejemplo.
Fin del Cap tulo

Toc Volver Doc Doc
31

Ejercicio 4.1. = {0} B. (1) Si B = {1/n | n Z+ }, entonces B = {0} [1, 2]. (2) Si C = {0} (1, 2), entonces C = R. (3) Si Q es el conjunto de los n umeros racionales, entonces Q = N. (4) Si N es el conjunto de los n umeros naturales, entonces N (5) Si R+ es el conjunto de los reales positivos, entonces la clausura de R+ es el conjunto R+ {0}. Ejercicio 4.1
Toc
Volver
Doc
Doc
32
Ejercicio 4.2. Si Q es el conjunto de los n umeros racionales, cada punto de R es un punto l mite de Q. Si Z+ es el conjunto de los enteros positivos, ning un punto de R es un punto l mite de Z+ . Si R+ es el conjunto de los reales positivos, entonces cada punto de {0} R+ es un punto l mite de R+ . Ejercicio 4.2
Toc
Volver
Doc
Doc
33
Ejercicio 4.3. Hemos visto que x es un punto interior de S si, y s olo si, x / X S. Por olo si, d(x, X S) = 0. Por tanto, x otra parte, tambi en sabemos que x X S si, y s es un punto interior de S si, y s olo si, d (x, X S) = 0. Ejercicio 4.3
Toc
Volver
Doc
Doc
34
Ejercicio 4.4(a) La frontera de (0, 1) en (R, Tu ) es el conjunto de dos elementos {0, 1}.
Toc
Volver
Doc
Doc
35
Ejercicio 4.4(b) Todos los n umeros reales son puntos frontera de Q, es decir, Fr(Q) = R.
Toc
Volver
Doc
Doc
36

Cuesti on 4.1(3) En la topolog a conita (X, Tcf ), la adherencia de un conjunto nito es el mismo, pero la clausura de un conjunto innito es el espacio total. Fin de la cuesti on
Toc
Volver
Doc
Doc
37
Cuesti on 4.2(1) El punto 0 es un punto l mite de A. De hecho, cada punto del intervalo [0, 1] va a ser un punto l mite de A, pero ning un otro punto de R es un punto l mite de A. Fin de la cuesti on
Toc
Volver
Doc
Doc
38
Cuesti on 4.2(2) El 0 es el u nico punto l mite de B. Cualquier otro punto x de R tiene un entorno que, o no llega a intersecar a B, o interseca a B s olo en el propio punto x. Fin de la cuesti on
Toc
Volver
Doc
Doc
39
Cuesti on 4.2(3) Si C = {0} (1, 2), entonces los puntos l mite de C son los puntos del intervalo [1, 2]. Fin de la cuesti on
Toc
Volver
Doc
Doc
Topolog a
5. Continuidad
Pedro Jos e Herrero y Pascual Lucas Resumen: En este cap tulo estudiamos la continuidad de funciones entre espacios topol ogicos. Comenzamos introduciendo la continuidad en un punto y lo relacionamos con la formulaci on - y con las sucesiones. Caracterizamos las continuidad a trav es de los abiertos o de los cerrados, y presentamos las principales propiedades de las aplicaciones continuas. Estudiamos algunas aplicaciones especiales: abiertas, cerradas y homeomorsmos. Finalizamos estudiando algunos conceptos acerca de la continuidad y convergencia uniformes. c 2002 plucas@um.es Actualizado el 18 de febrero de 2002
Versi on 0.2
Indice general
1. Continuidad en un punto 1.1. Caracterizaci on - 1.2. Sucesiones 1.3. Composici on de funciones continuas 1.4. Continuidad y adherencia 2. Continuidad en todo el espacio 2.1. Abiertos 2.2. Cerrados 2.3. Propiedades de las funciones continuas 3. Algunos tipos de aplicaciones 3.1. Aplicaciones abiertas y cerradas 3.2. Homeomorsmos y embebimientos 4. Continuidad y convergencia uniforme 4.1. Continuidad uniforme 4.2. Convergencia uniforme 5. Problemas propuestos Soluciones de los ejercicios
Secci on 1: Continuidad en un punto
De entre todas las aplicaciones que pueden denirse entre dos espacios, las aplicaciones continuas ocupan un papel preponderante. Su estudio es fundamental no s olo en topolog a, sino tambi en en an alisis, geometr a diferencial y, en general, en todas las ramas de las matem aticas. En general, una funci on es continua cuando las im agenes de dos puntos pr oximos son tambi en puntos pr oximos. Esto es, claro, muy informal y habr a que precisar su signicado en cualquier espacio topol ogico.
1. Continuidad en un punto
Denici on 5.1 Sean (X, T ) e (Y, T ) dos espacios topol ogicos y sea f : X Y una aplicaci on entre ellos. Diremos que f es continua en un punto a X si para todo entorno U Uf (a) existe un entorno V Ua tal que f (V) U. La continuidad de una aplicaci on depende no s olo de la aplicaci on sino tambi en de las topolog as, tanto de la del dominio como de la imagen. Por eso, en sentido estricto, la aplicaci on se habr a de indicar como f : (X, T ) (Y, T ). No obstante, y si no existe ambig uedad, suprimiremos cualquier referencia expl cita a las topolog as. Proposici on 5.1 Sean f : X Y una aplicaci on entre dos espacios topol ogicos (X, TX ) y (Y, TY ). Sea un punto a X y consideremos B(a) y B(f (a)) bases de entornos de a en TX y de f (a) en TY , respectivamente. Entonces f es continua en a si, y s olo si,
Toc Volver Doc Doc
para todo U B(f (a)) existe V B(a) tal que f (V) U. Demostraci on. Dado U B(f (a)) existir a V Ua tal que f (V) U. Como B(a) es base de entornos tendremos que existe V B(a) de modo que V V, con lo que f (V ) f (V) U. Sea U Uf (a) , entonces existe U B(f (a)) de modo que U U. Por hip otesis existe V B(a) tal que f (V) U U (lo que concluye la prueba ya que V B(a) Ua ).
1.1. Caracterizaci on -
Ejemplo 5.1. Consideremos una funci on de variable real con valores reales, f : R R. En cualquier curso de c alculo se dene la continuidad de f mediante la cl asica denici on - . Dado a en R, y dado > 0, el intervalo V = (f (x0 ) , f (x0 ) + ) es un conjunto abierto del espacio de llegada R. Por tanto, f 1 (V) es un conjunto abierto en el espacio de salida R. Puesto que f 1 (V) contiene al punto a, contiene alg un elemento b asico (r, s) alrededor de a. Elegimos para que sea el m as peque no de los dos n umeros a r y s a. Entonces, si |x a| < , el punto x debe estar en (r, s), por lo que f (x) V y |f (x) f (a)| < , como se deseaba. La caracterizaci on se puede extender a cualquier espacio m etrico.
Toc Volver Doc Doc
Corolario 5.2 Sean f : X Y una aplicaci on entre dos espacios m etricos (X, d) e (Y, d ) y a X. Entonces f es continua en a si, y s olo si, para todo > 0 existe > 0 tal que siempre que d (x, a) < se verica que d (f (x), f (a)) < . Demostraci on. Supongamos que f es continua en a. Dado , consideramos el conjunto B(f (a), ) Uf (a) . Entonces existe un entorno V Ua tal que f (V) B(f (a), ). Como las bolas son una base de entornos, existe alguna bola B (a, ) centrada en a tal que B(a, ) V y as f (B(a, )) B(f (a), ). Si x est a en esta bola, entonces f (a) est a en la bola centrada en f (a), que es la condici on requerida. La condici on rec proca es igualmente sencilla y puede probarse invirtiendo el sentido de las implicaciones anteriores. Ejemplo 5.2. Las siguientes funciones f : R R son continuas: (a) las funciones constantes; (b) la funci on identidad; (c) las funciones elementales x a , sen(x), cos(x), x e y sus inversas en sus dominios de denici on; (d) la suma y el producto de funciones continuas; (e) la inversa para el producto de una funci on continua no nula. Ejemplo 5.3. Consideremos el conjunto X = {a, b, c, d} dotado con la topolog a T = {X, , {a}, {b}, {a, b}, {b, c, d}} y sea la funci on f : X X denida como sigue: f (a) = b, f (b) = d, f (c) = b, f (d) = c.
Toc Volver Doc Doc
La funci on f es continua en d y no lo es en c. Ejercicio 5.1. Sea R el conjunto R con la topolog a del l mite inferior. Prueba que la funci on identidad f : R R , f (x) = x para cada n umero real x, no es una funci on continua en ning un punto. Qu e ocurre con la funci on identidad g : R R?
1.2. Sucesiones
Vamos a generalizar a espacios m etricos una conocida propiedad de la continuidad de funciones reales de variable real. Proposici on 5.3 Sean dos espacios m etricos (X, d) e (Y, d ), f : X Y una aplicaci on entre ellos y a X. Entonces son equivalentes: (a) f es continua en a. (b) Si (xn ) on en X con l mite a, entonces {f (xn )} n=1 es una sucesi n=1 converge a f (a). Demostraci on. (a)(b) Supongamos que f es continua en a X y que (xn )n a. Para ver que (f (xn ))n f (a) tenemos que probar que para todo > 0, existe n0 tal que si n > n0 entonces d (f (xn ), f (a)) < . Como f es continua en a, dado > 0, existe > 0 tal que d(x, a) < d (f (x), f (a)) < .
Toc Volver Doc Doc
Por otra parte, como (xn )n a, dado > 0, existe n0 tal que si n > n0 d(xn , a) < . Por tanto, si n > n0 entonces d (f (xn ), f (a)) < , puesto que d(xn , a) < . (b)(a) Supongamos, por reducci on al absurdo, que (f (xn ))n converge a f (a) y f no es continua. Esto signica que existe > 0 tal que para cada > 0 existe x X satisfaciendo d(x , a) < y d (f (x ), f (a) . Entonces se tiene Dado = 1 existe x1 con d(x1 , a) < 1 y d (f (x1 ), f (a)) > . Dado =
1 2
existe x2 con d(x2 , a) <

1 n
1 2
y d (f (x1 ), f (a)) > .
1 Y as sucesivamente: dado = existe xn con d(xn , a) < n y d (f (x1 ), f (a)) > . Hemos obtenido una sucesi on (xn )n en X que converge hacia a, puesto que la sucesi on de t erminos positivos (d(xn , a))n converge a; sin embargo, la sucesi on (f (xn ))n no converge a f (a), ya que siempre es d (f (xn ), f (a)) > .
La implicaci on (a)(b) se satisface en cualquier espacio topol ogico, mientras que la implicaci on contraria s olo se verica en los espacios m etricos (o metrizables). Ejemplo 5.4. La funci on f : R R, en ambos casos con la topolog a usual, denida por 1 si x = 1 x1 f (x) = 1 si x = 1
Toc Volver Doc Doc
8
1 n
no es continua en x = 1, pues la sucesi on x n = 1 + l m f (xn ) = l m

n n 1 n
tiene por l mite 1 y, sin embargo,
1 = l m n = f (1). n +11
1.3. Composici on de funciones continuas

Proposici on 5.4 Sean (X, TX ), (Y, TY ) y (Z, TZ ) tres espacios topol ogicos, y sean f : X Y y g : Y Z dos aplicaciones tales que f es continua en a X y g es continua en f (a). Entonces g f es continua en a. Demostraci on. Sea U Ug(f (a)) . Como g es continua en f (a), existe V Uf (a) tal que g(V) U y como f es continua en a, existe W Ua tal que f (W) V. Pero entonces g(f (W)) g(V) U.
1.4. Continuidad y adherencia

Proposici on 5.5 Sean (X, TX ) e (Y, TY ) dos espacios topol ogicos, f : X Y una aplicaci on continua en a X y un subconjunto S X. Entonces si a S se cumple que f (a) f (S). En otras palabras, f (S) f (S). Demostraci on. Sea U Uf (a) ; como f es continua en a, existe V Ua tal que f (V) U. Pero a es un punto de adherencia de S, por lo que V S = . Esto implica que = f (V S) f (V) f (S) U f (S),
Toc Volver Doc Doc
Secci on 2: Continuidad en todo el espacio
y as f (a) es un punto de adherencia de f (S). Una pregunta que surge de modo natural al contemplar el resultado anterior es si dicha propiedad se conserva para otros conjuntos notables, como el interior o la frontera. La respuesta es negativa, como demuestra el siguiente ejemplo.
Ejemplo 5.5. La funci on cos : R R es una funci on continua, 0 R y, sin embargo, cos 0 = 1 / Int f (R) = (1, 1). Por otra parte, si S = [0, ] { 32 }, entonces 32 Fr(S), 3 pero cos( 2 ) = 0 / Fr(cos(S)).
2. Continuidad en todo el espacio

Denici on 5.2 Sean dos espacios topol ogicos (X, TX ) e (Y, TY ) y sea f : X Y una aplicaci on entre ellos. Diremos que f es continua si lo es en todo punto de X.
2.1. Abiertos
Proposici on 5.6 Sean (X, TX ) e (Y, TY ) dos espacios topol ogicos y sea f : X Y una aplicaci on. Entonces son equivalentes: (a) f es continua. (b) Para todo abierto A Y, el conjunto f 1 (A) es abierto en X.
Toc
Volver
Doc
Doc
10
Demostraci on. (a)(b) Supongamos que f es continua y sea A TY . Para demostrar 1 que f (A) es abierto en TX veamos que es entorno de todos sus puntos. Sea x f 1 (A), entonces f (x) A, luego A es entorno de f (x). Como f es continua, en particular lo ser a en x, y existe V Ua tal que f (V) A. Pero eso implica que V f 1 (A) y as f 1 (A) Ua . (b)(a) Supongamos ahora que para todo A T , f 1 (A) T y veamos que f es Y X continua en cada punto de X. Sea x X y sea U Uf (x) . Entonces existe A TY tal que f (x) A U. Esto signica que x f 1 (A) y como f 1 (A) TX se puede tomar V = f 1 (A) Ux . Adem as, f (V) = f (f 1 (A)) A U, por lo que f es continua en x.
2.2. Cerrados
Las aplicaciones continuas tambi en pueden ser caracterizadas mediante los cerrados. Proposici on 5.7 Una aplicaci on f : (X, TX ) (Y, TY ) es continua si, y s olo si, para todo cerrado C en (Y, TY ) se tiene que f 1 (C) es un cerrado en (X, TX ). Demostraci on. Supongamos que f es continua y que C es cerrado en (Y, TY ). Entonces X f 1 (C) = f 1 (Y C) TX al ser la anti-imagen de un abierto, por lo que f 1 (C) es cerrado en (X, T ).
Toc
Volver
Doc
Doc
11
Sea V un conjunto abierto de Y y pongamos C = Y V. Entonces

f 1 (C) = f 1 (Y) f 1 (V) = X f 1 (V). Ahora C es un conjunto cerrado de Y, entonces f 1 (C) es cerrado en X por hip otesis, de modo que f 1 (V) es abierto en X, como se deseaba. La demostraci on del siguiente resultado es sencilla y se deja como ejercicio. Proposici on 5.8 Sean (X, TX ) e (Y, TY ) dos espacios topol ogicos y B una base de (Y, TY ). Son equivalentes: (a) La aplicaci on f : X Y es continua. (b) Para todo B B, se cumple que f 1 (B) es abierto en (X, TX ). En general, si f : X Y es continua y A es un abierto en X, f (A) no tiene por qu e ser abierto en Y. Por ejemplo, la funci on f : R R, dada por f (x) = sen(x), es continua para la topolog a usual y, sin embargo, f (R) = [1, 1] que no es un abierto en R. Ejemplo 5.6. (1) Una funci on constante f : X Y es continua respecto de cualquier topolog a en X y cualquier topolog a en Y.
Toc
Volver
Doc
Doc
12
(2) Si (X, TD ) es un espacio topol ogico discreto, toda aplicaci on f : X Y es continua. (3) Si (Y, TT ) es un espacio topol ogico con la topolog a trivial, toda aplicaci on f : X Y es continua. (4) La funci on identidad Id : (X, T ) (X, T ) es continua si, y s olo si, T es m as na que T .
2.3. Propiedades de las funciones continuas

Como un resumen de las propiedades anteriores, el siguiente resultado proporciona m etodos para construir funciones continuas entre espacios topol ogicos. Teorema 5.9 (Reglas para construir funciones continuas) Sean X, Y y Z espacios topol ogicos. (a) Si f : X Y es la funci on constante igual a y 0 Y, entonces f es continua. (b) Si A es un subespacio de X, la funci on inclusi on j : A X es continua. (c) Si f : X Y y g : Y Z son continuas, entonces la aplicaci on g f : X Z es continua. (d) Si f : X Y es continua y A es un subespacio de X, entonces la funci on restringida f |A : A Y es continua.
Toc Volver Doc Doc
13
(e) Sea f : X Y continua. Si Z es un subespacio de Y que contiene al conjunto imagen f (X), entonces la funci on g : X Z, obtenida al restringir el rango de f, es continua. Si Z es un espacio con Y como subespacio, entonces la funci on h : X Z, obtenida al extender el recorrido de f, es continua. (f) La aplicaci on f : X Y es continua si X se puede escribir como la uni on de conjuntos abiertos U i tales que f |Ui es continua para cada i. Demostraci on. Probaremos s olo algunas de las propiedades; el resto ya se ha demostrado o se hace de forma sencilla. (e) Sea f : X Y continua. Si f (X) Z Y, probemos que la funci on g : X Z obtenida a partir de f es continua. Sea B abierto en Z, entonces B = Z U para alg un conjunto abierto U de Y. Puesto que Z contiene completamente al conjunto imagen f (X), se tiene f 1 (U) = g1 (B). Como f 1 (U) es abierto, tambi en lo es g 1 (B). Para probar que h : X Z es continua si Z tiene a Y como subespacio, observemos que h es la composici on de la aplicaci on f : X Y y la inclusi on j : Y Z. (f) Podemos escribir X como uni on de conjuntos abiertos U i , tales que f |Ui es continua para cada i. Sea V un conjunto abierto en Y. Entonces f 1 (V) Ui = (f |Ui )1 (V)
Toc Volver Doc Doc
Secci on 3: Algunos tipos de aplicaciones
14
puesto que ambas expresiones representan el conjunto de los puntos x que pertenecen a Ui para los que f (x) V. Como f |Ui es continua, este conjunto es abierto en U i , y por tanto, abierto en X. Pero f 1 (V) =
i
(f 1 (V) Ui )
por lo que f 1 (V) es tambi en abierto en X.
3. Algunos tipos de aplicaciones 3.1. Aplicaciones abiertas y cerradas

Denici on 5.3 Sean dos espacios topol ogicos (X, TX ) e (Y, TY ) y f : X Y una aplicaci on. Diremos que f es abierta si para todo A TX , f (A) TY y diremos que f es cerrada si para todo C X cerrado en TX , f (A) Y es cerrado en TY . Ejemplo 5.7. La proyecci on : (R2 , d2 ) (R, Tu ) del plano sobre el eje x de las abcisas, (x, y) = x, es una aplicaci on abierta puesto que la proyecci on de cualquier bola abierta B((a, b), r) es un intervalo abierto (a r, a + r). Pero no es cerrada, puesto que la proyecci on del conjunto cerrado C = {(x, y) R2 | x > 0, xy 1} es el intervalo (0, +), que no es cerrado.
Toc
Volver
Doc
Doc
15
3.2. Homeomorsmos y embebimientos

La u ltima parte de esta secci on est a dedicada al estudio de los homeomorsmos. Este concepto tiene mucha importancia en topolog a, ya que dos espacios topol ogicos que sean homeomorfos se pueden considerar iguales topol ogicamente. Denici on 5.4 Sean (X, TX ) e (Y, TY ) dos espacios topol ogicos. Un homeomorsmo entre X e Y es una aplicaci on biyectiva f : X Y tal que tanto f como su inversa f 1 son continuas. Diremos que dos espacios topol ogicos son homeomorfos si existe un homeomorsmo entre ellos. Diremos que una propiedad en un espacio topol ogico es una propiedad topol ogica si es invariante por homeomorsmos. Este concepto es el an alogo al existente en algebra de isomorsmo. La siguiente caracterizaci on de los homeomorsmos es consecuencia inmediata de las deniciones y de las Proposiciones 5.6 y 5.7. Proposici on 5.10 Sea f : X Y una aplicaci on biyectiva entre espacios dos topol ogicos (X, TX ) e (Y, TY ). Son equivalentes: (a) f es un homeomorsmo. (b) Un subconjunto A X es abierto si, y s olo si, f (A) es abierto. (c) Un subconjunto C X es cerrado si, y s olo si, f (C) es cerrado.
Toc Volver Doc Doc
16
Ejemplo 5.8. (1) Dos espacios topol ogicos triviales son homeomorfos si, y s olo si, existe una biyecci on entre ellos. (2) Dos espacios topol ogicos discretos son homeomorfos si, y s olo si, existe una biyecci on entre ellos. (3) La aplicaci on sen : (0, /2) (0, 1) es un homeomorsmo, ya que restringida a estos intervalos es biyectiva, y su inversa arcsen : (0, 1) (0, /2) es tambi en continua. Ejemplo 5.9. La funci on f : R R dada por f (x) = 3x + 1 es un homeomorsmo. Si denimos g : R R mediante la ecuaci on 1 g(y) = (y 1) 3 entonces se puede comprobar f acilmente que f (g(y)) = y y que g(f (x)) = x para todos los n umeros reales x e y. Se sigue que f es biyectiva y que g = f 1 ; la continuidad de f y g es un resultado conocido de an alisis. Ejercicio 5.2. Demuestra que la funci on F : (1, 1) R denida por x F(x) = 1 x2 es un homeomorsmo.
Toc Volver Doc Doc
17
Ejercicio 5.3. Una funci on biyectiva f : X Y puede ser continua sin ser un homeomorsmo. Denotemos por S 1 al c rculo unidad S1 = {(x, y) | x2 + y2 = 1} considerado como subespacio del plano R2 , y sea f : [0, 1) S1 la aplicaci on denida por f (t) = (cos 2 t, sen 2 t). Demuestra que f es biyectiva y continua pero no es un homeomorsmo. Ejemplo 5.10. El hecho de ser acotado no es una propiedad topol ogica. El intervalo (1, 1) y R son topol ogicamente equivalentes (como se prueba en el Ejercicio 5.2) pero el primero de ellos est a acotado y el segundo no. Ahora supongamos que f : X Y es una aplicaci on continua inyectiva, donde X e Y son espacios topol ogicos. La funci on f : X f (X), donde f (X) tiene la topolog a inducida, obtenida al restringir el rango de f, es biyectiva. Si ocurre que f es un homeomorsmo de X con f (X), decimos que la aplicaci on f : X Y es un embebimiento topol ogico, o simplemente un embebimiento, de X en Y. Ejemplo 5.11. (1) La aplicaci on sen : (0, /2) R es un embebimiento.
Toc Volver Doc Doc
Secci on 4: Continuidad y convergencia uniforme
18
(2) La aplicaci on f : (0, +) R, dada por f (x) = 1/x, es un embebimiento, ya que f : (0, +) (0, +) es un homeomorsmo. Ejemplo 5.12. Consideremos la funci on g : [0, 1) R2 obtenida a partir de la funci on f del Ejercicio 5.3 al extender el recorrido. La aplicaci on g es un ejemplo de una aplicaci on continua inyectiva que no es un embebimiento.
4. Continuidad y convergencia uniforme 4.1. Continuidad uniforme

En el caso de los espacios m etricos, adem as de las aplicaciones continuas, hay otras clases de aplicaciones interesantes, que tambi en involucran un cierto concepto relacionado con la continuidad. Denici on 5.5 Una aplicaci on entre espacios m etricos f : (X, d) (Y, d ) es uniformemente continua si para cada > 0 existe > 0 tal que para todo x , y X con d(x, y) < se verica que d (f (x), f (y)) < . Ejemplo 5.13. Es f acil probar que toda aplicaci on uniformemente continua es continua, pero el rec proco no es cierto: basta considerar la funci on f (x) = x2 . En efecto, dado > 0, para todo > 0 siempre podemos encontrar dos n umeros x e y en R tales que
Toc Volver Doc Doc
19
|x y| < y, sin embargo, |x2 y2 | > . Observemos que x2 y2 = (x y)(x + y). Dados y , tomamos x e y tales que |x y| =
2 2 2
y |x + y| >
2 ,
entonces
|x y | = |x y| |x + y| > . Denici on 5.6 Dados dos espacios m etricos (X, d) e (Y, d ), diremos que una aplicaci on biyectiva f : X Y es una isometr a si conserva la distancia, es decir, d (x1 , x2 ) = d (f (x1 ), f (x2 )) para todo x1 , x2 X. En este caso decimos que (X, d) e (Y, d ) son espacios isom etricos. Como consecuencia de la denici on se tiene los siguientes resultados. Proposici on 5.11 Una isometr a es una aplicaci on uniformemente continua. Proposici on 5.12 Si dos espacios m etricos son isom etricos, entonces tambi en son homeomorfos. Ejemplo 5.14. El rec proco de la u ltima proposici on no es cierto, en general. Si consideramos R con la distancia discreta y con la distancia d(x, y) =
Toc
2 si x = y 0 si x = y
Volver Doc Doc
20
entonces la aplicaci on identidad es un homeomorsmo que no es isometr a.
4.2. Convergencia uniforme

Finalmente, llegamos a la noci on de convergencia uniforme. Denici on 5.7 Sea fn : X Y una sucesi on de funciones del conjunto X al espacio m etrico (Y, d). Diremos que la sucesi on (fn ) converge uniformemente a la funci on f : X Y si, dado > 0, existe un entero N tal que d(fn (x), f (x)) < para todo n > N y todo x en X. La convergencia uniforme depende no s olo de la topolog a de Y, sino tambi en de su distancia. Tenemos el siguiente teorema sobre sucesiones uniformemente convergentes: Teorema 5.13 (El teorema del l mite uniforme) Sea fn : X Y una sucesi on de funciones continuas del espacio topol ogico X al espacio m etrico Y. Si (fn ) converge uniformemente a f, entonces f es continua. Demostraci on. Sea V abierto en Y y sea x 0 un punto de f 1 (V). Deseamos encontrar un entorno U de x0 tal que f (U) V.
Toc Volver Doc Doc
21
Sea y0 = f (x0 ). En primer lugar, elijamos tal que la bola B(y0 , ) est e contenida en V. Entonces, usando la convergencia uniforme, elegimos N tal que para todo n N y todo x X, d(fn (x), f (x)) < /3. Finalmente, usando la continuidad de f N , elegimos un entorno U de x 0 tal que fN aplica U en la bola de radio /3 en Y centrada en f N (x0 ). Armamos que f lleva U a B (y0 , ), y de aqu , a V, como se deseaba. Para este prop osito, obs ervese que si x U, entonces d(f (x), fN (x)) < /3 (por la elecci on de N ), d(fN (x), fN (x0 )) < /3 (por la elecci on de U ), d(fN (x0 ), f (x0 )) < /3 (por la elecci on de N ). Sumando y usando la desigualdad triangular, vemos que d (f (x), f (x0 )) < , como se deseaba.
Problema 5.1. Sea (X, T ) un espacio topol ogico. Dado un subconjunto A X, se considera la aplicaci on caracter stica de A, A : (X, T ) (R, Tu ), denida como sigue: A (x) =
Toc
1 0
si x A si x /A
Volver Doc Doc
22
Cu ando es continua la aplicaci on A ? Problema 5.2. Estudie si es continua la funci on f : R R denida por f (x) = 1 si x 1 x si x > 1
Problema 5.3. Sea la aplicaci on f : (R, Tu ) (R, Tu ), denida por 1 . f (x) = 1 + x2 Es abierta? Es cerrada? Problema 5.4. Sea la aplicaci on f : (R, Tcf ) (R, Tcf ), denida por f (x) = sen(x), donde Tcf representa la topolog a conita. Es f continua? Problema 5.5. Estudie la continuidad de la funci on valor absoluto: | | : (R, Tu ) (R, Tu ). Problema 5.6. Encuentre un homeomorsmo entre el intervalo (a, b) de R y el propio R, con las topolog as usuales. Problema 5.7. Dado x0 X e y0 Y, pruebe que las aplicaciones f : X X Y y g : Y X Y denidas por f (x) = (x, y0 )
Toc
g(y) = (x0 , y)
Volver Doc Doc
23
son embebimientos. Problema 5.8. Sea TS la topolog a sobre R formada por los intervalos de la forma (a, b], sus uniones y el vac o. Se dene f : R R por f (x) = x+2 0 si x 3 si x > 3
Estudie la continuidad de f : (R, Tu ) (R, Tu ); g : (R, TS ) (R, TS ); h : (R, Tu ) (R, TS ); k : (R, TS ) (R, Tu ). Problema 5.9. (a) Supongamos que f : R R es continua por la derecha, esto es,
xa+
l m f (x) = f (a)
para todo a R. Pruebe que f es continua cuando se considera como una funci on de R en R. (b) Puede conjeturar qu e funciones f : R R son continuas cuando se consideran como aplicaciones de R en R ? Y como aplicaciones de R en R ? Problema 5.10. Sea f : (X, TX ) (Y, TY ) y sea x X. Pruebe que f es continua en x si, y s olo si, existe U E(x) tal que f |U : (U, TU ) (Y, TY ) es continua en x.
Toc Volver Doc Doc
24
Problema 5.11. Sea f : (X, TX ) (Y, TY ) y {Ai | i I} una familia de abiertos de X tal que X = iI Ai . Si f |Ai es continua, para cada i I, pruebe que f es continua. Lo mismo se puede demostrar para una familia nita de cerrados. Problema 5.12. Sea (X, T ) un espacio topol ogico y sean f , g : (X, T ) (R, Tu ) dos aplicaciones continuas. (a) Demuestre que {x X | f (x) = g(x)} es un subconjunto cerrado de (X, T ). (b) Deduzca que si f (x) = g(x) para todos los puntos x de un subconjunto denso D de X, entonces f (x) = g(x) para todo x X. Problema 5.13. Sea X un conjunto innito. Encuentre una condici on necesaria y suciente para que f : (X, Tcf ) (X, Tcf ) sea un homeomorsmo. Problema 5.14. Sea f : ([0, 1], Tu ) ([0, 1], Tu ) una aplicaci on continua continua. Demuestre que f tiene un punto jo, es decir, existe p [0, 1] tal que f (p) = p. Problema 5.15. Sea f : R R denida como sigue: f (x) = 1 si x Q x si x R Q
Es f : (R, Tcn ) (R, Tcf ) continua? Es cerrada? Justique las respuestas. Problema 5.16. Sea f : (X, TX ) (Y, TY ) una funci on inyectiva y continua. Pruebe
que para todo A X, Int f (A) f (A).

Toc Volver Doc Doc
25
Problema 5.17. Demuestre que, en R con la topolog a usual, cualquier intervalo cerrado [a, b] es homeomorfo al intervalo [0, 1]. Problema 5.18. Sean f y g dos aplicaciones continuas de un espacio topol ogico E en otro espacio topol ogico de Hausdor F. Demuestre que si coinciden las restricciones de f y g para cualquier subconjunto A denso en E, entonces f = g. Problema 5.19. Se dice que una aplicaci on f : (X, d) (Y, d ) es de Lipschitz si existe un n umero real k > 0 tal que d (f (x), f (y)) kd(x, y) para todo x, y X. Demuestre que una aplicaci on de Lipschitz es uniformemente continua.
Fin del Cap tulo

Toc Volver Doc Doc
26

Ejercicio 5.1. En efecto, sea a R y consideremos el abierto [a, b). Entonces no existe ning un intervalo abierto (c, d) tal que a (c, d) y f (a) f ((c, d)) [a, b). Por otro lado, la funci on identidad g : R R s es continua, porque la imagen inversa de (a, b) es el mismo, que es abierto en R . Ejercicio 5.1
Toc
Volver
Doc
Doc
27
Ejercicio 5.2. En primer lugar, F es una correspondencia biyectiva que conserva el orden; su inversa es la funci on G denida por 2y . G(y) = 1 + (1 + 4y2 )1/2 El hecho de que F sea un homeomorsmo se puede probar usando la continuidad de las funciones algebraicas y la funci on ra z cuadrada. En efecto, tanto F como G son continuas al ser composici on de funciones continuas. Ejercicio 5.2
Toc
Volver
Doc
Doc
28
Ejercicio 5.3. El hecho de que f sea biyectiva y continua se sigue de propiedades familiares de las funciones trigonom etricas. Pero la funci on f 1 no es continua. La 1 imagen mediante f del conjunto abierto U = [0, 4 ) del dominio, por ejemplo, no es abierta en S1 , puesto que el punto p = f (0) no pertenece a ning un conjunto abierto V de R2 tal que V S1 f (U). Ejercicio 5.3
Toc
Volver
Doc
Doc
Topolog a
6. Espacios conexos
Pedro Jos e Herrero y Pascual Lucas Resumen: En este cap tulo estudiamos los espacios conexos y su relaci on con otras propiedades ya estudiadas. Despu es de dar unos resultados para construir espacios conexos, estudiamos los subespacios conexos de la recta real, lo que nos conduce al concepto de conexi on por caminos. A continuaci on relacionamos conexi on y continuidad y nalizamos el cap tulo con la conexi on de los productos cartesianos.
Versi on 0.2
Indice general
1. Conjuntos separados 1.1. Subespacios conexos 1.2. Construcci on de espacios conexos 2. Conexos en R 2.1. Conexi on por caminos 3. Conexi on y continuidad 4. Conexi on y productos cartesianos 5. Problemas propuestos Soluciones de los ejercicios
Secci on 1: Conjuntos separados
1. Conjuntos separados
La denici on de conexi on para un espacio topol ogico es muy natural. As , se dice que un espacio puede ser separado si es posible dividirlo en dos conjuntos abiertos con intersecci on trivial. En caso contrario, diremos que el espacio es conexo. En t erminos m as precisos, se tienen las siguientes deniciones. Denici on 6.1 Dado un espacio topol ogico (X, T ) y dos subconjuntos A , B X, diremos que A y B est an separados si A B = A B = . Es evidente que si A y B est an separados, entonces son disjuntos. Sin embargo, el rec proco no es cierto como queda de maniesto en los siguientes ejemplos. Ejemplo 6.1. (1) En R con la topolog a usual, los intervalos (0, 1) y (1, 2) est an separados, pero los intervalos (0, 1) y [1, 2) no lo est an, a pesar de que son disjuntos. (2) En (R2 , d2 ) los conjuntos A y B siguientes est an separados A = {(x, y) R2 | x2 + y2 > 1} y B{(x, y) R2 | x2 + y2 < 1} (3) En R con la topolog a usual, Q y R Q no est an separados. Denici on 6.2 Un espacio topol ogico (X, T ) se dice que es conexo si X no es uni on de dos subconjuntos no vac os y separados. En caso contrario diremos que X es no conexo.
Toc Volver Doc Doc
Proposici on 6.1 Sea (X, T ) un espacio topol ogico y A , B X dos subconjuntos disjuntos tales que X = A B. Son equivalentes: (a) X es no conexo (A y B est an separados). (b) A y B son cerrados. (c) A y B son abiertos. Demostraci on. (a)(b) Supongamos que A y B est an separados, es decir, que A B = A B = y veamos que A es cerrado. Podemos poner A = A X = A (A B) = (A A) (A B) = A = A. Por tanto, A = A de donde A es cerrado. An alogamente se prueba que B tambi en es cerrado. (b)(c) Suponemos ahora que A y B son cerrados. Como A B = X y A B = entonces A = Bc y B = Ac . Por tanto, A y B son abiertos (pues son complementarios de cerrados). (c)(a) Supongamos que A y B son abiertos y que A B = X. Tal y como hemos visto, A y B son cerrados (pues son complementarios de abiertos). Entonces A B = A B = y A B = A B = , luego A y B est an separados. La conexi on se puede formular de otro modo: Corolario 6.2 Un espacio topol ogico (X, T ) es conexo si, y s olo si, los u nicos conjuntos que son, a la vez, abiertos y cerrados son X y .
Toc Volver Doc Doc
La Proposici on 6.1 nos permite introducir un nuevo concepto. Denici on 6.3 Sea X un espacio topol ogico. Una separaci on de X es un par U, V de abiertos (o cerrados) disjuntos no triviales de X cuya uni on es X. Obviamente, la conexi on es una propiedad topol ogica, ya que se formula completamente en t erminos de la colecci on de los conjuntos abiertos (o de los cerrados) de X. En otras palabras, si X es un espacio conexo, tambi en lo es cualquier espacio homeomorfo a X. Obs ervese que si A es un subconjunto propio no vac o de X que es a la vez abierto y cerrado, entonces los conjuntos U = A y V = X A constituyen una separaci on de X. Rec procamente, si U y V forman una separaci on de X, entonces U es un subconjunto propio no vac o de X que es abierto y cerrado.
1.1. Subespacios conexos

Denici on 6.4 Sea un espacio topol ogico (X, T ) y un subconjunto S X. Diremos que S es un subespacio conexo si (S, TS ) es conexo. Proposici on 6.3 Un subconjunto S de un espacio topol ogico (X, T ) es conexo si, y s olo si, no existen dos subconjuntos A , B X separados tales que A B = S. Demostraci on. Es una consecuencia inmediata de la denici on de topolog a relativa y la Proposici on 6.1.
Toc Volver Doc Doc
Ejemplo 6.2. Cualquier espacio topol ogico con la topolog a trivial (o con la topolog a discreta) es conexo. Ejemplo 6.3. Sea Y el subespacio [1, 0)(0, 1] de la recta real R. Los conjuntos [1, 0) y (0, 1] son no vac os y abiertos en Y (aunque no en R); de esta forma, constituyen una separaci on de Y. Por otra parte, obs ervese que ninguno de estos conjuntos contiene puntos l mite del otro. Ejemplo 6.4. Sea X el subespacio [1, 1] de la recta real. Los conjuntos [1, 0] y (0, 1] son disjuntos y no vac os pero no forman una separaci on de X ya que el primer conjunto no es abierto en X. Por otro lado, obs ervese que el primer conjunto contiene un punto l mite, el 0, del segundo. De hecho, probaremos enseguida que no existe una separaci on del espacio [1, 1]. Ejemplo 6.5. El conjunto de los n umeros racionales Q no es conexo. Es m as, los u nicos subespacios conexos de Q son los conjuntos unipuntuales: si Y es un subespacio de Q conteniendo dos puntos p y q, es posible elegir un n umero irracional a entre p y q y escribir Y como la uni on de los abiertos Y (, a) e Y (a, +).
Toc
Volver
Doc
Doc
1.2. Construcci on de espacios conexos

Teorema 6.4 La uni on de una colecci on de subespacios conexos de X que tienen un punto en com un es conexa. Demostraci on. Sea {Ai } una colecci on de subespacios conexos de un espacio X y sea p un punto de Ai . Probemos que el espacio Y = Ai es conexo. Supongamos que Y = C D es una separaci on de Y. El punto p est a, bien en C bien en D; supongamos que p C. Como Ai es conexo, ya Ai C, ya Ai D, aunque esta u ltima posibilidad se descarta pues p Ai y p C. Por tanto, Ai C para cada i, y as Ai C, contradiciendo el hecho de que D era no vac o. Este resultado puede enunciarse de una forma m as general como sigue. Teorema 6.5 La uni on de una colecci on de subespacios conexos de X tales que no est an separados dos a dos es conexa. Demostraci on. Hagamos la prueba por reducci on al absurdo. Supongamos que A = iI Ai es no conexo; entonces existe B A, B = A no vac o que es abierto y cerrado en (A, TA ). Como B = , existe x B A y como B = A existe y A, y / B. Por tanto, existen ndices ix , iy I tales que x Aix e y Aiy . Entonces B Aix = es abierto y cerrado en (Aix , Tix ) que es conexo por hip otesis, luego B Aix = Aix lo que implica que Aix B.
Toc Volver Doc Doc
De la misma forma (A B) Aiy = es abierto y cerrado en (Aiy , Tiy ), luego (A B) Aiy = Aiy , lo que implica que A iy B A. Pero A y A B est an separados en (A, TA ), pues son dos abiertos y cerrados no vac os cuya uni on es A, lo que lleva consigo que A ix y Aiy tambi en est an separados, en contra de la hip otesis, lo que concluye la prueba. Corolario 6.6 Sea (X, T ) un espacio topol ogico y {Ai }iI una familia de subconjuntos conexos no vac os de X tales que A i Aj = para cada par i, j I. Entonces A = iI Ai es conexo. Teorema 6.7 Sea (X, T ) un espacio topol ogico. Entonces se verican: (a) Si H X es un subconjunto conexo y S X tal que H S H, entonces S es conexo. (b) Si S es un subconjunto conexo de X, entonces S es conexo. Demostraci on. (a) Si x H, entonces H {x} es conexo puesto que H y {x} son conexos no separados (H {x} = {x}). Entonces podemos poner S = xS (H {x}) y, teniendo en cuenta que H S H, S es uni on de conexos no disjuntos, lo que implica que S es conexo. (b) Es una consecuencia inmediata de (a).
Toc
Volver
Doc
Doc
Secci on 2: Conexos en R
2. Conexos en R
Antes de seguir con las propiedades de los espacios conexos en general, bueno ser a que estudiemos los subespacios conexos que tenemos m as cercanos, es decir, los subespacios conexos de la recta real. Este es el mejor sitio para encontrar subespacios conexos que podamos utilizar para construir otros nuevos y m as complicados. Lema 6.8 Sea (R, Tu ) y un subconjunto I R. Son equivalentes: (a) I es un intervalo. (b) Para cada x, y I, x y, se verica que [x, y] I. Demostraci on. Supongamos que se satisface (b) (la otra implicaci on es trivial). Llamemos a = inf I y b = sup I, teniendo en cuenta que si I no est a acotado inferiormente entonces a = y si I no est a acotado superiormente entonces b = +. Vamos a ver que ha de ocurrir que (a, b) I [a, b]. En los casos a = y/o b = + estaremos cometiendo un peque no abuso de notaci on. Si z (a, b), tenemos que a < z y por la denici on de nmo, existe x I tal que x < z; de la misma manera tenemos que z < b y por la denici on de supremo, existe y I tal que z < y. Entonces, como x < y con x, y I, por la hip otesis (b), z [x, y] I, luego (a, b) I. El contenido I [a, b] es por la propia denici on de a y de b.
Toc Volver Doc Doc
10
Teorema 6.9 Un subconjunto S R, con la topolog a usual, es conexo si, y s olo si, es un intervalo o un conjunto unipuntual. Demostraci on. Supongamos que S es conexo y que no es un conjunto unipuntual ni es un intervalo; entonces existen x , y S tales que [x, y] no est a contenido en S, es decir, existe z (x, y) tal que z / S. Consideremos los conjuntos A = (, z) S y B = (z, +) S. Entonces S = A B, siendo {A, B} una separaci on de S, en contra de que S es conexo. Supongamos ahora que S es un intervalo y que es no conexo. Esto quiere decir que existen A, B R no vac os y separados tales que S = A B. Sean x A, y B y supongamos que x < y. Como S es un intervalo, el Lema 6.8 implica [x, y] S. Consideremos el conjunto C = [x, y] A, que es no vac o (x A) y est a acotado superiormente por y; por tanto, existe = sup C. Tenemos entonces que x y, es decir, [x, y] S. Por tanto, o bien A o bien B, pero no a los dos. Supongamos que A, esto implica que < y. Como A es abierto en S, por denici on de topolog a relativa existir a G abierto en (X, T ) tal que A = G S. Luego G, de modo que existe > 0 tal que ( , + ) G. Adem as, < y, de modo que podemos tomar > 0 tal que + < y, luego + S y, por tanto, + G S = A, en contra de que es supremo. De forma an aloga se ve que no puede estar en B.
Toc Volver Doc Doc
11
Corolario 6.10 R con la topolog a usual es un espacio conexo. Cuestion 6.1. En R con la topolog a usual, es conexo el conjunto S = [0, 1) [2, 3]? (a) S (b) No
2.1. Conexi on por caminos

La conexi on de los intervalos en R nos conduce a la condici on de que cualquier par de puntos de X pueda unirse mediante un camino en X. Y esto nos lleva a la conexi on por caminos (tambi en llamada conexi on por arcos). Denici on 6.5 Dados dos puntos x e y de un espacio X, un camino en X que une x con y es una aplicaci on continua f : [a, b] X de alg un intervalo cerrado de la recta real en X, de modo que f (a) = x y f (b) = y. Un espacio X se dice que es conexo por caminos si cada par de puntos de X se pueden unir mediante un camino en X. Ejercicio 6.1. Prueba que todo espacio conexo por caminos es tambi en conexo. El rec proco de esta implicaci on no es cierto; un espacio conexo no es necesariamente conexo por caminos. Ejercicio 6.2. Se dene la bola unidad Bn en Rn como Bn = {x | x 1},
Toc Volver Doc Doc
Secci on 3: Conexi on y continuidad
12
donde
2 1/ 2 x = (x1 , . . . , xn ) = (x2 . 1 + + xn ) n Prueba que B es conexa por caminos.
Ejercicio 6.3. Se dene el espacio eucl deo agujereado como el espacio Rn {0}, n donde 0 es el origen en R . Para qu e dimensiones n es conexo por caminos? Ejercicio 6.4. Se dene la esfera unidad Sn1 en Rn como el conjunto Sn1 = {x | x = 1}. Es conexa por caminos?
3. Conexi on y continuidad
Teorema 6.11 Sean (X, TX ) e (Y, TY ) dos espacios topol ogicos, f : X Y una aplicaci on continua y S X un subconjunto conexo en X. Entonces f (S) es conexo en Y. Demostraci on. Supongamos que f (S) es no conexo, entonces existen A , B Y no vac os y separados tales que f (S) = A B. Como f : S f (S) es continua y A y B son abiertos y cerrados en f (S) con la topolog a relativa, tendremos que f 1 (A) y f 1 (B) ser an abiertos y cerrados en S con la topolog a relativa inducida por TX . Adem as son
Toc Volver Doc Doc
13
no vac os, disjuntos y cumplen S = f 1 (f (S)) = f 1 (A B) = f 1 (A) f 1 (B), con lo que S ser a no conexo. Corolario 6.12 Sean (X, TX ) y (Y, TY ) dos espacios topol ogicos homeomorfos. Entonces X es conexo si, y s olo si, Y es conexo. En otras palabras, la conexi on es una propiedad topol ogica. Corolario 6.13 Un espacio topol ogico (X, TX ) es conexo si, y s olo si, cualquier aplicaci on continua entre X y el espacio discreto {0, 1} es constante, es decir, ya f (x) = 0 para todo x X, ya f (x) = 1 para todo x X. Lema 6.14 Si (X, T ) es un espacio topol ogico no conexo, existe una aplicaci on f : X {0, 1} continua y no constante. Demostraci on. Si (X, T ) es no conexo, entonces X = A B con A y B abiertos y cerrados disjuntos. Denimos f (x) = 0 si x A y f (x) = 1 si x B. Esta aplicaci on es continua, puesto que f 1 ({0}) es abierto y cerrado, y lo mismo ocurre para {1}. Ahora basta aplicar el Corolario 6.13.
Toc
Volver
Doc
Doc
14
Teorema 6.15 (Teorema del valor intermedio) Un espacio topol ogico (X, T ) es conexo si, y s olo si, cada aplicaci on continua f : X R cumple que si x, y X y c R es tal que f (x) c f (y), entonces existe z X tal que f (z) = c. Demostraci on. Si X es conexo, entonces f (X) es conexo en R y, por tanto, es un intervalo. Supongamos que X fuera no conexo, entonces X = A B con A y B no vac os y separados. Consideramos una funci on g : X {0, 1} continua como en el Lema 6.14 y tal que g(A) = {0} y g(B) = {1}. Consideremos la composici on de g con la inclusi on i de {0, 1} en R. Tendremos una aplicaci on g i continua de X en R, que no cumple las hip otesis. El teorema anterior puede enunciarse en un contexto m as general. Teorema 6.16 (Versi on general del teorema del valor intermedio) Sea f : X Y una aplicaci on continua, donde X es un espacio conexo e Y es un conjunto ordenado con la topolog a del orden. Si x e y son dos puntos de X y c es un punto de Y que se encuentra entre f (x) y f (y), entonces existe un punto z en X tal que f (z) = c. Demostraci on. Supongamos las hip otesis del teorema. Los conjuntos A = f (X) (, c) y B = f (X) (c, +) son disjuntos, y adem as son no vac os pues uno contiene a f (x) mientras el otro contiene a f (y). Cada uno es abierto en la imagen f (X) ya que son la intersecci on de un rayo
Toc Volver Doc Doc
Secci on 4: Conexi on y productos cartesianos
15
abierto en Y con f (X). Si no existiera un punto z de X tal que f (z) = c, entonces f (X) ser a la uni on de los conjuntos A y B. Entonces A y B constituir an una separaci on de f (X), lo cual contradice el hecho de que la imagen de un conjunto conexo bajo una aplicaci on continua sigue siendo un conjunto conexo.
4. Conexi on y productos cartesianos

Teorema 6.17 El producto cartesiano nito de espacios conexos es conexo. Demostraci on. Vamos a demostrar primero el resultado para el producto de dos espacios conexos X e Y. La prueba es sencilla de visualizar. Elijamos un punto base a b en el producto X Y. Obs ervese que la rebanada horizontal X b es conexa, ya que es homeomorfa a X, y que tambi en lo es cada rebanada vertical ya que estas son homeomorfas a Y. Como consecuencia, cada espacio Tx = (X b) (x Y) es conexo ya que es la uni on de dos espacios conexos que tienen el punto x b en com un. Ahora, consideremos la uni on xX Tx de todos estos espacios. Como todos tienen al punto a b en com un, esta uni on es conexa. Pero esta uni on es el espacio total X Y. La prueba para cualquier colecci on nita de espacios conexos puede realizarse por inducci on, utilizando el hecho (f acilmente demostrable) de que X 1 Xn es homeomorfo a (X1 Xn1 ) Xn .
Toc Volver Doc Doc
16
Problema 6.1. Demuestre que si A y B son dos subconjuntos disjuntos de un espacio topol ogico y ambos son abiertos o ambos son cerrados, entonces est an separados. Problema 6.2. Sean T y T dos topolog as en X. Si T T , qu e puede decir de la conexi on de X respecto de una topolog a y respecto de la otra? Problema 6.3. Sea {An } una sucesi on de subespacios conexos de X tales que A n An+1 = para cada n. Demuestre que An es conexo. Problema 6.4. Sean {A } una colecci on de subespacios conexos de X y A un subespacio conexo de X. Demuestre que si A A = para todo , entonces A ( A ) es conexo. Problema 6.5. Demuestre que si X es un conjunto innito, entonces X es conexo con la topolog a de los complementos nitos (o topolog a conita). Problema 6.6. Sea (X, T ) un espacio topol ogico y A , B X separados. Pruebe: (a) Si A B es abierto, entonces A y B son abiertos. (b) Si A B es cerrado, entonces A y B son cerrados. Problema 6.7. Son homeomorfos [0, 1) y (0, 1) en (R, Tu )? Justique la respuesta. Problema 6.8. Son homeomorfos (R, Tu ) y (R2 , Tu )? Justique la respuesta.
Toc Volver Doc Doc
17
Problema 6.9. Es conexa la intersecci on de dos subconjuntos conexos? Justique la respuesta. Problema 6.10. Demuestre que si (X, T ) es conexo y f : (X, T ) (R, Tu ) es una aplicaci on continua, entonces f (X) es un intervalo. Problema 6.11. Son homeomorfos la recta real y una circunferencia? Problema 6.12. Sea (X, d) un espacio m etrico, M X un subconjunto conexo y f : M R una aplicaci on continua. (a) Pruebe que si a M y R es tal que f (a) < entonces existe U, entorno de a, tal que f (x) < para todo x M U. (b) Supongamos que para todo entorno U de a M existen puntos x, y U M tales que f (x) y f (y) son de signos opuestos; demuestre que f (a) = 0. (c) Pruebe que si para a , b M, f (a) y f (b) tienen signos opuestos, existe c M tal que f (c) = 0. Problema 6.13. Sea E un espacio topol ogico y A E un subconjunto. Demuestre que todo subconjunto conexo P E que corte a A y A c , tambi en corta a la frontera de A. Problema 6.14. Sea E un espacio topol ogico, A , B E dos cerrados tales que A B y A B son conexos. Pruebe que, entonces, A y B son conexos. Busque un contraejemplo
Toc Volver Doc Doc
18
en R, con la topolog a usual, mostrando que la exigencia de que A y B sean cerrados es necesaria. Problema 6.15. Sea E un conjunto totalmente ordenado, dotado de la topolog a del orden. Demuestre que si E es conexo, entonces (a) Para todo x, y E con x < y, el intervalo (x, y) es no vac o. (b) Todo subconjunto A E acotado superiormente admite supremo. Problema 6.16. Sean A un subconjunto propio de X y B un subconjunto propio de Y. Si X e Y son conexos, demuestre que (X Y) (A B) es conexo. Problema 6.17. Sea Y X y supongamos que X e Y son conexos. Demuestre que si A y B forman una separaci on de X Y, entonces Y A e Y B son conexos. Problema 6.18. (a) Dados los espacios (0, 1), (0, 1] y [0, 1], demuestre que ning un par de ellos son homeomorfos. (b) Supongamos que existen embebimientos f : X Y y g : Y X. Demuestre, con un ejemplo, que X e Y no son necesariamente homeomorfos.
Toc Volver Doc Doc
19
(c) Demuestre que Rn y R no son homeomorfos si n > 1. Problema 6.19. Sea f : S1 R una aplicaci on continua. Demuestre que existe un punto de S1 tal que f (x) = f (x). Problema 6.20. Sea f : X X una aplicaci on continua. Demuestre que si X = [0, 1], entonces existe un punto x tal que f (x) = x. El punto x se llama un punto jo de f. Qu e ocurre si X es el espacio [0, 1) o el espacio (0, 1)?
Fin del Cap tulo

Toc Volver Doc Doc
20

Ejercicio 6.1. Es sencillo comprobar que todo espacio X que es conexo por caminos tambi en es un espacio conexo. Supongamos que X = A B es una separaci on de X. Sea f : [a, b] X un camino en X. Como [a, b] es conexo, entonces el conjunto f ([a, b]) debe estar contenido ya en A, ya en B. Por tanto, no existen caminos en X que unan puntos de A con puntos de B lo cual es contrario al hecho de que X sea conexo por caminos. Ejercicio 6.1
Toc
Volver
Doc
Doc
21
Ejercicio 6.2. La bola unidad es conexa por caminos; dados dos puntos cualesquiera x e y de Bn , el segmento de l nea recta f : [0, 1] Rn denido por f (t) = (1 t)x + ty est a enteramente contenido en B n ya que f (t) (1 t) x + t y 1. Ejercicio 6.2
Toc
Volver
Doc
Doc
22
Ejercicio 6.3. Si n > 1, este espacio es conexo por caminos: dados x e y distintos de 0, podemos unir x e y con el segmento de l nea recta que ambos determinan si este segmento no pasa por el origen. En caso de que as ocurriera, podemos elegir otro punto z que no est e contenido en la recta que determinan x e y y a continuaci on considerar la l nea recta quebrada que determinan x, z y nalmente y. Ejercicio 6.3
Toc
Volver
Doc
Doc
23
Ejercicio 6.4. Si n > 1, Sn1 es conexa por caminos ya que la aplicaci on g : Rn {0} n1 S denida por g (x) = x/ x es continua y sobreyectiva y es sencillo demostrar que la imagen bajo una aplicaci on continua de un espacio conexo por caminos es tambi en conexo por caminos. Ejercicio 6.4
Toc
Volver
Doc
Doc
Topolog a
7. Espacios compactos
Pedro Jos e Herrero y Pascual Lucas Resumen: Tras las primeras propiedades analizamos c omo son los subconjuntos compactos de la recta real y del espacio eucl deo Rn . Posteriormente nos centramos en los espacios m etricos, lo que nos conduce, a trav es de la compacidad por punto l mite, hasta el teorema de Heine-Borel-Lebesgue. Finalizamos estudiando la relaci on entre la compacidad y las funciones continuas, y probando que la compacidad est a caracterizada por la propiedad de la intersecci on nita.
Versi on 0.2
Indice general
1. Compacidad 2. Subconjuntos compactos 3. Compactos en R y Rn 3.1. Compactos en R 3.2. Compactos en Rn 4. Compactos en un espacio m etrico 4.1. Espacios sucesionalmente compactos y totalmente acotados 5. Compacidad por punto l mite 6. El teorema de Heine-Borel-Lebesgue El caso de Rn 7. Compacidad y funciones continuas 7.1. Compacidad y continuidad uniforme 8. Propiedad de la intersecci on nita 9. Problemas propuestos Soluciones de los ejercicios Soluciones de las cuestiones
Secci on 1: Compacidad
Mientras que la noci on de conexi on que hemos introducido y estudiado en el Cap tulo 6 es muy f acil de presentar, por lo que nos resulta bastante familiar e incluso intuitiva, la noci on de compacidad no nos es tan cercana ni natural. La estandarizaci on del concepto de compacidad tard o muchos a nos en producirse. Desde principios del siglo pasado se fueron introduciendo distintas deniciones de compacidad, que pretend an extender a espacios topol ogicos arbitrarios alguna propiedad conocida de los intervalos cerrados [a, b] de la recta real que era crucial en la demostraci on de ciertos teoremas, tales como el teorema del valor m aximo y el teorema de la continuidad uniforme. Surgieron as los distintos tipos de compacidad: compacidad numerable, compacidad por punto l mite, compacidad secuencial, etc. Posteriormente, los matem aticos asumieron que era posible encontrar una denici on en t erminos m as d ebiles y generales; de hecho, en t erminos de cubrimientos del espacio por conjuntos abiertos.
1. Compacidad
Denici on 7.1 Sea X un conjunto y sea S X. Un cubrimiento de S es una familia A = {Ai }iI de subconjuntos de X tales que S = iI Ai . Un subcubrimiento es una subfamilia B A que es tambi en un cubrimiento de S. Un cubrimiento se dice que es nito si est a formado por una cantidad nita de conjuntos. Cuando (X, T ) es un espacio topol ogico y cada A i es un abierto de X, se dice que A es un cubrimiento abierto de S.
Toc Volver Doc Doc
Ejemplo 7.1. Sea X = R, entonces la familia A = {[n, n]} n=1 es claramente un cubrimiento de S = R, pero no es un cubrimiento abierto en la topolog a usual. Un ejemplo de un subcubrimiento de A ser a D = {[2n, 2n]} . La familia { (n, n)} n=1 n=1 tambi en es un cubrimiento, esta vez abierto, de R, pero no es un subcubrimiento de A. Denici on 7.2 Un espacio topol ogico (X, T ) se dice que es compacto si todo cubrimiento abierto de X admite un subcubrimiento nito. Ejemplo 7.2. La recta real R no es compacta, pues el cubrimiento de R por intervalos abiertos A = {(n, n + 2) | n Z} no contiene ning un subcubrimiento nito que cubra R. Ejemplo 7.3. El siguiente subespacio de R es compacto: X = {0} {1/n | n N}. Para todo cubrimiento abierto A de X, existe un elemento U de A que contiene al 0. El conjunto U contiene a todos los puntos de la forma 1 /n excepto a un n umero nito de ellos; elijamos para cada uno de estos puntos que no est an en U un elemento de A que los contenga. La colecci on de estos elementos de A, junto con el propio U, es un subcubrimiento nito de A que cubre X.
Toc Volver Doc Doc
Ejemplo 7.4. Cualquier espacio X que contenga a un n umero nito de puntos es trivialmente compacto, pues cualquier cubrimiento por abiertos de X es nito. Ejemplo 7.5. El intervalo (0, 1] no es compacto; el cubrimiento abierto A = {(1/n, 1] | n N} no contiene ning un subcubrimiento nito cubriendo (0, 1]. Aplicando un argumento an alogo se demuestra que tampoco es compacto el intervalo (0, 1). Ejemplo 7.6. (1) La recta real con la topolog a de los complementos nitos (R, Tcf ) es compacta. (2) Cualquier espacio con la topolog a trivial (X, TT ) siempre es compacto. (3) Cualquier conjunto innito con la topolog a discreta (X, TD ) no es compacto. Es f acil ver que la compacidad es una propiedad topol ogica. Dejamos como ejercicio la demostraci on de este hecho. Teorema 7.1 Sea f : X Y un homeomorsmo entre dos espacios topol ogicos. Entonces X es compacto si, y s olo si, Y es compacto.
Toc
Volver
Doc
Doc
Secci on 2: Subconjuntos compactos
2. Subconjuntos compactos
Denici on 7.3 Sea (X, T ) un espacio topol ogico y K X un subconjunto. Diremos que K es un conjunto compacto en (X, T ) si (K, TK ), con la topolog a relativa, es un espacio compacto. En este caso se dice que (K, TK ) es un subespacio compacto. Proposici on 7.2 Sea K un subespacio de un espacio topol ogico (X, T ). Entonces K es compacto si, y s olo si, para toda familia {Ai }iI de abiertos en X tal que K iI Ai , n existe una subfamilia nita {Ai }n i=1 tal que K i=1 Ai . Demostraci on. Supongamos que K es compacto y sea K iI Ai , donde {Ai }iI es una familia de abiertos de (X, T ). Entonces, seg un la denici on de topolog a relativa, {Ai K}iI es un cubrimiento de K por abiertos de (K, TK ). Como este subespacio es compacto, existen abiertos A i1 , . . . , Ain tales que K = (Ai1 K) (Ain K). De aqu se deduce que K Ai1 Ain . Supongamos ahora todo cubrimiento de K por abiertos de (X, T ) admite un subcubrimiento nito y veamos que (K, TK ) es compacto. Para ello, sea {Ai }iI una familia de abiertos de (K, TK ) que recubren K. Entonces cada abierto A i se puede escribir de la forma Ai = Bi K, donde Bi es un abierto en (X, T ) y as se tiene que K iI Bi . Por hip otesis, existir an B i1 , . . . , Bin tales que K Bi1 Bin de forma que K = (Bi1 K) (Bin K) = Ai1 Ain
Toc Volver Doc Doc
Secci on 2: Subconjuntos compactos
y, por tanto, K es compacto. Teorema 7.3 Todo subconjunto cerrado C de un espacio topol ogico compacto (X, T ) es compacto. Demostraci on. Sea A = {Ai }iI un cubrimiento de C por abiertos de (X, T ). Entonces A Cc es un cubrimiento abierto de X, del cual se puede extraer un subcubrimiento nito; si este subcubrimiento nito no contiene a C c , estar a formado u nicamente por elementos de A: {Ai1 , . . . , Ain } y como C X ya estar a probado. Si C c est a en el cubrimiento nito, dicho cubrimiento ser a de la forma {Ai1 , . . . , Ain , Cc } y como C X = Ai1 Ain Cc , tenemos que C Ai1 Ain . Teorema 7.4 Todo subconjunto compacto de un espacio topol ogico de Hausdor (X, T ) es cerrado. Demostraci on. Probaremos que Kc es abierto demostrando que es entorno de todos sus puntos. Sea a / K; si x K, x = a, la propiedad de Hausdor nos asegura que existen abiertos disjuntos A x y Bx con a Ax y x Bx ; y esto se puede hacer para cada x = a, x K. Pero {Bx }xK es un cubrimiento de K por abiertos de X del cual se puede extraer un subcubrimiento nito B x1 , . . . , Bxn , para ciertos puntos x 1 , . . . , xn K. Entonces tomemos A = Ax1 Axn ,
Toc Volver Doc Doc
Secci on 3: Compactos en R y Rn
que es abierto y contiene a a. Veamos que A Kc . Si b A, entonces para cada / Bxi , lo que implica que b / K. De i = 1, . . . , n se tiene que b Axi y, por tanto, b esta forma, A Kc . Durante la demostraci on del teorema anterior hemos probado el siguiente resultado. Lema 7.5 Si K es un subespacio compacto de un espacio de Hausdor (X, T ) y a no est a en K, entonces existen abiertos disjuntos A y B de X conteniendo al punto a y a K, respectivamente. Ejemplo 7.7. (1) Usando el Teorema 7.4, los intervalos (a, b] y (a, b) no pueden ser compactos (hecho que ya sabemos) ya que no son cerrados en el espacio de Hausdor R. (2) La condici on de Hausdor es imprescindible para demostrar el Teorema 7.4. Consideremos, por ejemplo, la topolog a conita en la recta real. Los u nicos subconjuntos propios de R que son cerrados en esta topolog a son los nitos. Pero todo subconjunto de R es compacto con esta topolog a, como f acilmente se puede comprobar.
3. Compactos en R y Rn
Siguiendo un camino paralelo al que hemos seguido en la b usqueda de espacios conexos, vamos a buscar espacios compactos en la recta real para, a partir de ah , construir
Toc Volver Doc Doc
nuevos espacios compactos. Probaremos que cada intervalo cerrado en R es compacto. Las aplicaciones de este hecho incluyen el teorema de los valores extremos y el teorema de la continuidad uniforme. Tambi en proporcionaremos una caracterizaci on de todos los subespacios compactos de Rn .
3.1. Compactos en R
Teorema 7.6 (Teorema de Heine-Borel) Todo intervalo cerrado y acotado [a, b] en R con la topolog a usual es compacto. Demostraci on. Supongamos que {Ai }iI es un cubrimiento abierto de [a, b]. Vamos a ver que se puede extraer un subcubrimiento nito. Consideremos el conjunto siguiente: G = {x [a, b] | [a, x] se recubre con una subfamilia nita de {Ai }iI }. Paso 1. G = . Adem as existe > 0 tal que [a, a + ) G. En efecto, como a [a, b] iI Ai , existir a un ndice j I tal que a Aj . Como Aj es abierto, existe > 0 tal que (a , a + ) Aj y, por tanto, [a, a + ) Aj . Esto implica que si x [a, a + ), [a, x] [a, a + ) Aj , que es un subcubrimiento nito. Por tanto, [a, a + ) G. Paso 2. G es un intervalo. Si x, y G, entonces [x, y] G ya que para todo z [x, y] se satisface [a, z] [a, y] G. Aplicando el Lema 6.8, G debe ser un intervalo.
Toc Volver Doc Doc
10
Paso 3. b G. Consideremos c = sup{G}, que eventualmente puede ser c = +. Como a es cota inferior de G, entonces a < c. Pueden presentarse los siguientes casos: Caso 1: b < c. Entonces b G, pues existir a, por la denici on de supremo, un punto x G tal que b < x c y ya hemos visto que G es un intervalo. Caso 2: c b. Ahora tambi en b G, pues como [a, b] iI Ai , entonces c Ak para alg un k I. Ak es abierto, luego es entorno de c y, por tanto, existe > 0 tal que (c , c + ) Ak . Pero como c = sup{G} entonces c G. Por tanto, [a, c ] Ai1 Ain , con lo cual tenemos que c + tambi en est a en G, ya que [a, c + ] tiene un subcubrimiento nito de la forma [a, c + ] Ai1 Ain Ak , y esto es una contradicci on con el hecho de que c = sup{G}. Por tanto, b G y [a, b] tiene un subcubrimiento nito.
3.2. Compactos en Rn
Vamos a ver en esta secci on que los rect angulos, o cubos, generalizados [a1 , b1 ] [a2 , b2 ] [an , bn ] son compactos en Rn con la topolog a usual. Haremos la prueba en R2 y con un procedimiento similar por inducci on se prueba en Rn .
Toc
Volver
Doc
Doc
11
Lema 7.7 Sea [c, d] R y x R. Entonces S = {x} [c, d] es compacto en R2 con la topolog a usual. Demostraci on. Es f acil ver que S = {x} [c, d], con la topolog a relativa, es un espacio homeomorfo al intervalo [c, d], tambi en con su topolog a usual. Basta considerar la aplicaci on: f : S = {x} [c, d] [c, d], f (x, y) = y. Ahora no hay m as que aplicar los Teoremas 7.1 y 7.6. Lema 7.8 Sea un intervalo [c, d] R, x R y {Ai }iI un cubrimiento abierto de {x} [c, d]. Entonces existe r > 0 tal que el producto (x r, x + r) [c, d] est a recubierto por una cantidad nita de elementos de {Ai }iI . Demostraci on. Por el Lema 7.7 se sabe que {x} [c, d] es compacto, por lo que admite un subcubrimiento nito {Aj }n j=1 {Ai }iI . Para cada y [c, d], (x, y) Ak para alg un k {1, 2, . . . , n}. Por tanto, existe ry > 0 tal que (x, y) B ((x, y), ry ) = (x ry , x + ry ) (y ry , y + ry ) Ak . Tenemos entonces que {(y ry , y + ry )}y[c,d] es un cubrimiento abierto de [c, d], que es compacto. Por tanto, admite un subcubrimiento nito {(yj ryj , yj + ryj )}m j=1 .
Toc Volver Doc Doc
12
Ahora tomamos r = m n{ryj | j = 1, . . . , m}, de modo que

m
(x r, x + r) =
j=1
(x ryj , x + ryj ).
Se concluye entonces que

m
(x r, x + r) [c, d]
j=1 m
{(x r, x + r) (yj ryj , yj + ryj )}

n
j=1
{(x ryj , x + ryj ) (y ryj , y + ryj )}

k=1
Ak ,
obteniendo el subcubrimiento nito buscado. Proposici on 7.9 Un rect angulo [a, b] [c, d] R2 es compacto. Demostraci on. Si {Ai }iI es un cubrimiento abierto de [a, b] [c, d], tambi en es un cubrimiento de {x} [c, d], para cada x [a, b]. Por el Lema 7.8, para cada x existe rx > 0 tal que el conjunto (x rx , x + rx ) [c, d] admite un subcubrimiento nito. Pero {(x rx , x + rx )}x[a,b] es un cubrimiento abierto de [a, b]. Por la compacidad de [a, b], dicho cubrimiento admite un subcubrimiento nito {(xk rxk , xk + rxk )}m k=1 . Entonces
Toc Volver Doc Doc
13
m
tenemos que [a, b] [c, d]

k=1
{(xk rxk , xk + rxk ) [c, d]}
y cada uno de los conjuntos (xk rxk , xk + rxk ) [c, d] est a recubierto por un n umero nito de elementos de {Ai }iI . Luego el rect angulo [a, b] [c, d] est a contenido en uni on nita de elementos A i . Corolario 7.10 Los rect angulos generalizados [a1 , b1 ] [a2 , b2 ] [an , bn ] son compactos en Rn . Demostraci on. La demostraci on es un proceso de inducci on a partir de la Proposici on 7.9. Finalizamos esta secci on con la siguiente generalizaci on del teorema de Heine-Borel. Teorema 7.11 (Teorema de Heine-Borel en Rn ) Sea K Rn con la topolog a usual. Entonces K es compacto si, y s olo si, K es cerrado y acotado. Demostraci on. Como Rn es de Hausdor y K es compacto, la Proposici on 7.4 implica que K es cerrado. Por otra parte, si a K la colecci on de bolas {B(a, n)}nN constituye un cubrimiento abierto de K que, como es compacto, admite un subcubrimiento nito. La uni on de esta subcolecci on ser a la bola B (a, m) m as grande. Por tanto, K B(a, m) est a acotado.
Toc Volver Doc Doc
Secci on 4: Compactos en un espacio m etrico
14
Si K est a acotado, hay alguna bola cerrada tal que K B (a, r), para alg un
a Rn . Esta bola es un rect angulo cerrado que, por el Corolario 7.10 es compacto. Como K es cerrado y est a contenido en un compacto, la Proposici on 7.3 implica que K es compacto. Ejemplo 7.8. La esfera unidad Sn1 y la bola cerrada unidad B n en Rn son compactos, pues son cerrados y acotados. El conjunto 1 A = {(x, ) | 0 < x 1} x 2 es cerrado en R , pero no es compacto porque no est a acotado. El conjunto S = {(x, sen(1/x)) | 0 < x 1} est a acotado en R2 , pero no es compacto porque no es cerrado.
4. Compactos en un espacio m etrico

En esta secci on vamos a demostrar algunos resultados que generalizan propiedades de los compactos de Rn a cualquier espacio m etrico. Proposici on 7.12 Todo subconjunto compacto K de un espacio m etrico (X, d) est a acotado.
Toc Volver Doc Doc
15
Demostraci on. Basta repetir la prueba de la implicaci on directa del Teorema 7.11. Teorema 7.13 Sea (X, d) un espacio m etrico y (xn )n X una sucesi on. Entonces (xn )n converge a x X si, y s olo si, cada subsucesi on (xnk )k converge a x. Demostraci on. Supongamos que xn x, entonces para cada > 0 existe n0 N tal que si n > n0 , entonces d(xn , x) < . Esto quiere decir que x n B(x, ) y, por tanto, s olo hay una cantidad nita de t erminos de la sucesi on que no est an en dicha bola. En consecuencia, ninguna subsucesi on (xnk )k puede tener innitos t erminos fuera de la bola, luego debe ser convergente a x. Es evidente puesto que cualquier sucesi on es subsucesi on de s misma. Ejemplo 7.9. Si una sucesi on no converge, no quiere decir que ninguna subsucesi on sea convergente. Por ejemplo, la sucesi on ((1)n )n no es convergente pero tiene dos subsucesiones convergentes: (1, 1, . . . ) que converge a 1 y (1, 1, . . . ) que converge a 1. En realidad hay innitas subsucesiones convergentes. C omo son?
4.1. Espacios sucesionalmente compactos y totalmente acotados

Denici on 7.4 Sea (X, T ) un espacio topol ogico y K X un subconjunto. Diremos que K es sucesionalmente compacto si dada una sucesi on (xn )n en K existe una subsucesi on (xnk )k convergente a un punto de K. Ejemplo 7.10.
Toc Volver Doc Doc
16
(1) Cualquier espacio topol ogico nito es compacto y sucesionalmente compacto. (2) El intervalo abierto (0, 1), con la topolog a inducida por la usual de R, no es 1 )n=2 (0, 1) converge a 0 y, por tanto, sucesionalmente compacto: la sucesi on ( n cualquier subsucesi on suya tambi en converge a 0; pero 0 / (0, 1). Denici on 7.5 Dado un espacio m etrico (X, d) y T X un subconjunto, diremos que T es totalmente acotado si para cada r > 0 existe un n umero nito de puntos x1 , . . . , xn T tales que T B(x1 , r) B(xn , r). Proposici on 7.14 Sea (X, d) un espacio m etrico y T X. Se verican: (a) Si T es compacto, entonces T es totalmente acotado. (b) Si T es totalmente acotado, T es acotado. Demostraci on. La prueba de estas dos propiedades es muy sencilla. (a) Sea r > 0. Entonces {B(x, r) | x T} es un cubrimiento abierto de T. La compacidad de T implica que existe un subcubrimiento nito, es decir, existe un n umero nito de puntos x1 , . . . , xn T tales que T B(x1 , r) B(xn , r). (b) Sea r > 0 y supongamos que T B(x1 , r) B(xn , r). Denamos R = m ax{d(x1 , xi ) | i = 2, . . . , n} Entonces T B(x1 , R + r), lo que signica que est a acotado.
Toc Volver Doc Doc
17
Ejemplo 7.11. (1) (0, 1) R, con la distancia usual, es totalmente acotado, pero no es compacto. (2) R, con la distancia discreta, es un espacio m etrico acotado, pero no es totalmente acotado. Proposici on 7.15 Si (X, d) es un espacio m etrico y K X es sucesionalmente compacto, entonces K es totalmente acotado. Demostraci on. Supongamos que K es sucesionalmente compacto y no es totalmente acotado. Existir a r > 0 de modo que no existe un cubrimiento nito de K con bolas de radio r y centro en un punto de K. Vamos a construir un sucesi on de la siguiente manera. Sea x1 K un punto arbitrario. Escogemos x 2 K tal que d(x1 , x2 ) r, que existe pues de lo contrario B (x1 , r) ser a un cubrimiento nito de K. Tomamos x 3 K tal que d(x1 , x3 ) r y d(x2 , x3 ) r, que existe pues en caso contrario {B(x1 , r), B(x2 , r)} ser a un cubrimiento nito de K. Y as sucesivamente. Obtenemos una sucesi on (xn )n en K que verica que d(xn , xm ) r si n = m y que no tiene ninguna subsucesi on convergente en K, pues si tuvi eramos (xnk )k con l mk xnk = x K, dado r > 0 existir a kr N tal r , con lo que tendr amos que si n k , nm > nkr que si nk > nkr entonces d(xnk , x) < 2 r r d(xnk , xnm ) d(xnk , x) + d(x, xnm ) < + = r, 2 2
Toc Volver Doc Doc
18
en contra de que d(xnk , xnm ) r. Entonces K no ser a sucesionalmente compacto. Lema 7.16 (Lema de Lebesgue) Sea (X, d) un espacio m etrico, K X un subconjunto sucesionalmente compacto y {Ai }iI un cubrimiento abierto de K. Entonces existe r > 0 tal que para cada x K existe i I de modo que B(x, r) Ai . Este n umero r > 0 se llama n umero de Lebesgue del cubrimiento. Demostraci on. Supongamos que {Ai }iI es un cubrimiento abierto de K para el que no existe ning un n umero de Lebesgue. Entonces para cada n N existir a xn K tal que 1 B(xn , n ) no est a contenida en ning un A i para todo i I. Como K es sucesionalmente compacto, ha de existir una subsucesi on (xnk )k convergente a un punto x K. Adem as, como {Ai }iI es un cubrimiento de K, entonces x Aj 2 para alg un j I. Pero Aj es abierto, luego existe n j N tal que B(x, n ) Aj . j Como la subsucesi on anterior converge a x, dado n j > 0 existir a r0 N tal que si 1 nr nr0 entonces xnr B(x, n ) . j 1 2 Tomemos ahora nr nr0 tal que tambi en sea n r nj . Entonces B(xnr , n ) B(x, n ) r j 1 ya que si y B(xnr , nr ) entonces d(x, y) d(x, xnr ) + d(xnr , y) < 1 1 2 + . nj nr nj
1 De aqu se deduce que B (xnr , n ) Aj , en contradicci on con la hip otesis. r
Toc
Volver
Doc
Doc
Secci on 5: Compacidad por punto l mite
19
5. Compacidad por punto l mite

Existen otras formulaciones de compacidad equivalentes que son frecuentemente utilizadas. En esta secci on introducimos la m as d ebil, en general, aunque coincide cuando se trata de espacios metrizables. Denici on 7.6 Un espacio se dice que es compacto por punto l mite si cada subconjunto innito de X tiene un punto l mite. Esta propiedad, que es m as intuitiva y natural que la denici on de compacidad, constituy o la denici on original, mientras que la denici on en t erminos de cubrimientos era llamada bicompacidad. Teorema 7.17 La compacidad implica compacidad por punto l mite, pero el rec proco no es cierto. Demostraci on. Sea X un espacio compacto. Dado un subconjunto A de X, queremos probar que si A es innito, entonces tiene un punto l mite. Vamos a demostrar el contrarrec proco si A no tiene un punto l mite, entonces es nito. Supongamos pues que A no tiene un punto l mite. Entonces A contiene todos sus puntos l mite, luego es cerrado. M as a un, podemos elegir para cada a A un entorno Ua de a de modo que U a interseque a A s olo en el punto a. El espacio X est a cubierto por el conjunto abierto X A y los abiertos Ua . Como es compacto, puede ser cubierto
Toc Volver Doc Doc
Secci on 6: El teorema de Heine-Borel-Lebesgue
20
por un n umero nito de tales conjuntos. Como X A no interseca a A y cada conjunto Ua contiene u nicamente un punto de A, el conjunto A debe ser nito. Ejemplo 7.12. Sea Y un conjunto con dos puntos; consideramos en Y la topolog a trivial, es decir, la formada por el conjunto vac o y el propio Y. Entonces el espacio X = N Y es compacto por punto l mite, pues cada subconjunto no vac o de X tiene un punto l mite. Sin embargo, no es compacto, ya que el cubrimiento de X por los abiertos Un = {n} Y no admite una subcolecci on nita que cubra a X.
6. El teorema de Heine-Borel-Lebesgue
Veamos ahora que las tres deniciones que hemos dado de compacidad son equivalentes en el caso de los espacios m etricos. Teorema 7.18 (Teorema de Heine-Borel-Lebesgue) Sea (X, d) un espacio m etrico y K X. Las siguientes condiciones son equivalentes: (a) K es compacto. (b) K es compacto por punto l mite. (c) K es sucesionalmente compacto. Demostraci on. (a)(b) Supongamos que K es compacto y que S K es un subconjunto innito que no tiene ning un punto de acumulaci on. Entonces para cada x K existe
Toc Volver Doc Doc
Secci on 6: El teorema de Heine-Borel-Lebesgue
21
rx > 0 tal que la bola B(x, rx ) no corta a S o bien s olo corta a S en el propio x. La familia {B(x, rx )}xK es un cubrimiento abierto de K que, al ser compacto, admite un subcubrimiento nito. Este subcubrimiento nito tambi en recubre a S, con lo que seg un lo visto en el p arrafo anterior S ser a nito, en contra de la hip otesis. (b)(c) Si (x ) es una sucesi on en K con innitos t erminos iguales a x, no hay nada que n n probar, pues ella misma converge a x. Supongamos entonces que (xn )n es una sucesi on en K con innitos t erminos distintos. Seg un (b), dicha sucesi on tiene un punto de acumulaci on x K y por la Proposici on 4.30 existe una subsucesi on de (xn )n convergente a x. Por tanto, K es sucesionalmente compacto. (c)(a) Supongamos que K es sucesionalmente compacto y que {A } i iI es un cubrimiento abierto de K. Por el Lema de Lebesgue existe un n umero de Lebesgue r > 0 para este cubrimiento. Por la Proposici on 7.15 K es totalmente acotado, de modo que existe un cubrimiento nito de X por bolas de radio r, {B(x1 , r), . . . , B(xn , r)}. Pero cada bola B(xi , r) ha de estar contenida en un abierto del cubrimiento {Ai }iI , por lo que {A1 , . . . , An } es un subcubrimiento nito de X.
El caso de Rn
Despu es de los resultados que hemos demostrado en los espacios m etricos referidos a la compacidad, podemos completar el Teorema 7.11 de Heine-Borel.
Toc
Volver
Doc
Doc
Secci on 7: Compacidad y funciones continuas
22
Teorema 7.19 (Teorema de Heine-Borel-Lebesgue en Rn ) Sea K Rn con la topolog a usual. Las siguientes condiciones son equivalentes: (a) K es compacto. (b) K es cerrado y acotado. (c) Todo subconjunto S K innito tiene un punto de acumulaci on en K. (d) K es sucesionalmente compacto.
7. Compacidad y funciones continuas

Teorema 7.20 Si f : X Y es una aplicaci on continua entre espacios topol ogicos y K X es compacto, entonces f (K) es compacto en Y. Demostraci on. Supongamos que {Ai }iI es un cubrimiento abierto de f (K) en Y. Entonces {f 1 (Ai )}iI es un cubrimiento abierto de K. Por la compacidad de K, existe un subcubrimiento nito: K f 1 (A1 ) f 1 (An ) = f 1 (A1 An ), lo que implica que {A1 , . . . , An } es un subcubrimiento nito de f (K). Corolario 7.21 Sea K X un subconjunto compacto de un espacio X. Entonces toda funci on continua f : X R est a acotada en K.
Toc Volver Doc Doc
23
Corolario 7.22 (Teorema de Weierstrass) Sea K X un subconjunto compacto de un espacio X. Entonces toda funci on continua f : X R alcanza sus extremos en K. Demostraci on. Si K es compacto entonces f (K) es un subconjunto compacto de R y, por tanto, es cerrado y acotado. Por ser acotado, existen c = inf {f (K)} y d = sup{f (K)}; y por ser cerrado, los puntos c , d f (K), de modo que existir an x , y K tales que f (x) = c y f (y) = d. Teorema 7.23 Sea f : X Y una aplicaci on biyectiva y continua entre un espacio compacto X y un espacio de Hausdor Y. Entonces f es un homeomorsmo. Demostraci on. Veamos, en primer lugar, que f transforma cerrados de X en cerrados de Y. En efecto, por la Proposici on 7.3 se tiene que si C X es cerrado, entonces C es compacto; y por el Teorema 7.20 f (C) es compacto. Pero Y es de Hausdor, de modo que la Proposici on 7.4 implica que tambi en es cerrado. Veamos ahora que f es un homeomorsmo. Para esto hay que probar que la aplicaci on inversa g = f 1 es continua; y lo es puesto que si C X es cerrado entonces g 1 (C) = f (C) es cerrado, tal y como acabamos de ver. Ejercicio 7.1. Sea f : R R una aplicaci on continua. Prueba que el conjunto imagen f ([a, b]) es un intervalo cerrado y acotado [c, d].
Toc
Volver
Doc
Doc
24
Cuestion 7.1. Es cierto que toda funci on continua y estrictamente mon otona f : [a, b] R admite una inversa f 1 : [c, d] [a, b] continua? (a) S (b) No
7.1. Compacidad y continuidad uniforme

Proposici on 7.24 Toda aplicaci on continua f : (X, d) (Y, d ) entre espacios m etricos, donde (X, Td ) es compacto, es uniformemente continua. Demostraci on. Como f es continua, dado x X y dado > 0, existe x > 0 tal que si d(x, y) < x entonces d (f (x), f (y)) < 2. x Fijado > 0, la colecci on de bolas {B(x, 2 )}xX constituye un cubrimiento abierto n i de X que, al ser compacto, admite un subcubrimiento nito {B(xi , 2 )}i=1 . Tomemos = m n{i /2 | i = 1, 2, . . . , n}. Tomemos x, y X arbitrarios cumpliendo d (x, y) < ; tendremos que x B(xk , k /2) para alg un k {1, . . . , n}. Entonces d(y, xk ) d(y, x) + d(x, xk ) < + lo que implica que d (f (y), f (xk )) < 2
Volver Doc Doc
k k , 2
Toc
Secci on 8: Propiedad de la intersecci on nita
25
y entonces d (f (x), f (y)) d (f (x), f (xk )) + d (f (xk ), f (y)) < Por tanto, f es uniformemente continua. Corolario 7.25 Toda funci on continua f : [a, b] R es uniformemente continua. + = . 2 2
8. Propiedad de la intersecci on nita

Denici on 7.7 Sea F una familia de subconjuntos de un conjunto X. Se dice que F tiene la propiedad de la intersecci on nita si la intersecci on de cualquier subfamilia nita de F es no vac a. Ejemplo 7.13. 1 (1) La familia {(0, n )}nN de subconjuntos de R tiene la propiedad de la intersecci on nita. (2) La familia {[n, n + 1]}nN de subconjuntos de R no tiene la propiedad de la intersecci on nita. Cuestion 7.2. Qu e familias de subconjuntos de R satisfacen la propiedad de intersecci on nita?
Toc Volver Doc Doc
Secci on 8: Propiedad de la intersecci on nita
26
(a) {(n, n + 2)}nN
1 n+1 (b) {( n n , n )}nN
(c) {(n, n)}nN
Proposici on 7.26 Sea X un espacio topol ogico. Entonces X es compacto si, y s olo si, toda familia {Fi }iI de cerrados en X que tiene la propiedad de la intersecci on nita tiene intersecci on no vac a. Demostraci on. Supongamos que X es compacto y que {Fi }iI es una familia de subconjuntos cerrados de X con la propiedad de la intersecci on nita tal que iI Fi = . Si tomamos complementarios tendremos que iI Fc i = X, luego obtenemos un cubrimiento c abierto de X que, por ser compacto, admite un subcubrimiento nito, F c 1 Fn = X. Tomando de nuevo complementarios tendremos que F 1 Fn = , en contra de que la familia {Fi }iI tiene la propiedad de la intersecci on nta. Sea {Ai }iI un cubrimiento abierto de X; entonces (iI Ai )c = . Por tanto c iI Ac i = , con lo que tenemos una familia de cerrados {Ai }I que no tiene la propiedad de la intersecci on nita; luego debe existir una subfamilia nita cuya intersecci on es c vac a: Ac i1 Ain = . Tomando complementarios obtenemos que A i1 Ain = X y as hemos obtenido un subcubrimiento nito. Ejemplo 7.14. (R, Tu ) no es compacto, cosa que ya sabemos porque no es acotado. Pero esto mismo puede deducirse de otra forma. La familia de cerrados {[z, +)} tiene la propiedad de la intersecci on nita y, sin embargo, la intersecci on de todos los elementos de esta familia es vac a. Ahora basta aplicar la Proposici on 7.26.
Toc Volver Doc Doc
27
Problema 7.1. Sea (X, T ) un espacio topol ogico. Demuestre que si K , K X son subconjuntos compactos, entonces K K tambi en es compacto. Problema 7.2. Demuestre que una uni on nita de subespacios compactos de X es tambi en compacto. Problema 7.3. Sea (X, T ) un espacio topol ogico de Hausdor. Demuestre que si {Ki }iI es una familia de subespacios compactos de X, entonces iI Ki tambi en es compacto. Problema 7.4. Cu ales de los siguientes subespacios de R y R2 son compactos? Justique la respuesta. (1) [0, 1) (2) [0, +) (3) Q [0, 1] (4) D = {(x, y) R2 | x2 + y2 = 1} (5) E = {(x, y) R2 | |x| + |y| 1} (6) F = {(x, y) R2 | x2 + y2 < 1} (7) G = {(x, y) R2 | x 1, 0 y 1/x}
Toc Volver Doc Doc
28
Problema 7.5. Demuestre que un espacio topol ogico (X, T ) es compacto si, y s olo si, para toda familia de cerrados {Ci }iI tales que iI Ci = existe una subfamilia nita {Ci1 , . . . , Cik } satisfaciendo Ci1 Cik = . Problema 7.6. Sea (X, T ) un espacio topol ogico de Hausdor, K X un compacto y x / K. Pruebe que existen dos abiertos U y V en X tales que x U, K V y U V = . Problema 7.7. Sean K y K dos subconjuntos compactos y disjuntos de un espacio de Hausdor (X, T ). Pruebe que existen subconjuntos abiertos y disjuntos U y V tales que K U y K V. Problema 7.8. Demuestre que si f : X Y es continua, donde X es compacto e Y es de Hausdor, entonces f es una aplicaci on cerrada (esto es, f lleva conjuntos cerrados a conjuntos cerrados). Problema 7.9. Demuestre que si Y es compacto, entonces la proyecci o n 1 : X Y X es una aplicaci on cerrada. Problema 7.10. Sea X un espacio compacto por punto l mite. (a) Si f : X Y es continua, es f (X) compacto por punto l mite? (b) Si A es un subconjunto cerrado de X, es A compacto por punto l mite? (c) Si X es un subespacio de un espacio de Hausdor Z, es X un cerrado de Z?
Toc Volver Doc Doc
29
Problema 7.11. Un espacio X se dice que es numerablemente compacto si cada cubrimiento numerable de abiertos de X contiene una subcolecci on nita que cubre a X. Demuestre que para un espacio T 1 , la condici on numerablemente compacto equivale a la de compacto por punto l mite. Problema 7.12. Demuestre que X es numerablemente compacto si, y s olo si, cada sucesi on encajada C1 C2 de conjuntos cerrados no vac os de X tiene intersecci on no vac a. Problema 7.13. Sea (X, T ) un espacio topol ogico sucesionalmente compacto y sea (Y, T ) otro espacio topol ogico. Sea f : (X, T ) (Y, T ) una aplicaci on continua. Demuestre que (f (X), Tf (X) ) es sucesionalmente compacto. Problema 7.14. Sea X = [1, 1] con la topolog a T = {A X | 0 A, o bien (1, 1) A}. Demuestre que (X, T ) es un espacio topol ogico compacto. Problema 7.15. Estudie si la recta de Sorgenfrey R es un espacio compacto. Son compactos, en este espacio, los subconjuntos [0, 1) y [0, 1]? Problema 7.16. Sea (R, d) el espacio m etrico de los n umeros reales con la distancia d(x, y) = |x y| . 1 + |x y|
Sea A = [1, +). Estudie si A es cerrado, acotado o compacto en dicho espacio.

Toc Volver Doc Doc
30
Problema 7.17. Sea (X, T ) un espacio compacto y consideremos una topolog a T menos na que T . Demuestre que (X, T ) es tambi en compacto. Problema 7.18. Sea (X, T ) un espacio topol ogico y una sucesi on (an )n en X que converge hacia a X. Pruebe que el conjunto A = (an )n {a} es compacto en X.
Fin del Cap tulo

Toc Volver Doc Doc
31

Ejercicio 7.1. Sabemos que el intervalo cerrado [a, b] es compacto, de modo que su imagen f ([a, b]) por la aplicaci on continua f ser a tambi en un conjunto compacto. Como la recta real es de Hausdor, la imagen f ([a, b]) debe ser cerrada. Por otra parte, como la conexi on se conserva por las aplicaciones continuas, el conjunto imagen tambi en debe ser conexo; pero los conjuntos conexos de R son los intervalos. En conclusi on, f ([a, b]) es un intervalo cerrado [c, d]. Ejercicio 7.1
Toc
Volver
Doc
Doc
32

Cuesti on 7.1. En efecto, utilizando la compacidad y la conexi on del intervalo [a, b] podemos deducir, por ser f una aplicaci on continua, que la imagen f ([a, b]) es un intervalo cerrado [c, d]. Utilizando ahora la monoton a estricta de f puede deducirse que la aplicaci on es inyectiva y, por tanto, biyectiva en la imagen. Ahora basta utilizar el Teorema 7.23 aplicado a la funci on f : [a, b] [c, d]. Fin de la cuesti on
Toc
Volver
Doc
Doc
Topolog a
8. Espacios m etricos completos
Pedro Jos e Herrero y Pascual Lucas Resumen: Comenzamos introduciendo las sucesiones de Cauchy, que comparamos con las sucesiones convergentes. En el caso de que coincidan, se trata de un espacio m etrico completo. Estudiamos los espacios eucl deos y R con diversas distancias. Tambi en estudiamos los espacios de funciones continuas y acotadas. Terminamos con el teorema del embebimiento isom etrico, el teorema de encaje de Cantor y el teorema de Baire. c 2002 plucas@um.es Actualizado el 18 de febrero de 2002
Versi on 0.2
Indice general
Sucesiones de Cauchy Espacios m etricos completos Completitud y compacidad El espacio R La distancia uniforme La distancia del supremo Teorema del embebimiento isom etrico 7.1. Completaci on de un espacio m etrico 8. Algunos resultados interesantes 8.1. Teorema de encaje de Cantor 8.2. Teorema de Baire 9. Problemas propuestos Soluciones de los ejercicios Soluciones de las cuestiones 1. 2. 3. 4. 5. 6. 7.
Secci on 1: Sucesiones de Cauchy
El concepto de completitud en R suele aparecer en los libros de c alculo: es un concepto b asico para todos los aspectos del an alisis. La completitud es una propiedad m etrica, m as que una propiedad topol ogica, pero muchos teoremas que implican a los espacios m etricos completos son de naturaleza topol ogica. El ejemplo m as familiar de espacio m etrico completo es el espacio eucl deo con cualquiera de sus distancias usuales. Con este cap tulo s olo pretendemos introducir al lector en este tema, por sus importantes implicaciones en otras ramas de las matem aticas. Un desarrollo profundo excede del objeto primordial de esta asignatura.
1. Sucesiones de Cauchy
Denici on 8.1 Sea (X, d) un espacio m etrico. Una sucesi on (xn )n de puntos de X se dice que es una sucesi on de Cauchy en (X, d) si tiene la propiedad de que, dado > 0, existe un entero N tal que d(xn , xm ) < para todo n, m N.
Ejemplo 8.1. (1) Las u nicas sucesiones de Cauchy en un espacio m etrico discreto X son las de cola constante, es decir, aquellas sucesiones (xn ) para las que existe un punto a X y un n umero natural n 0 tales que xn = a para todo n n0 .
1 (2) La sucesi on ( n )n=1 es de Cauchy tanto en (R, | |) como en ((0, 1), | |). En efecto,
Toc
Volver
Doc
Doc
1 dado > 0 existe n0 tal que n < para todo n n0 . Entonces si n, m > n0 se verica 1 1 1 1 1 1 d( , ) = | | < m ax{ , } < . n m n m n m (3) La sucesi on (n) n=1 no es de Cauchy en (R, | |). Observemos que para todo > 0 y todo n umero natural n 0 siempre existen n umeros n , m > n0 tales que |n m| > .
Ejemplo 8.2. Es trivial que cualquier sucesi on convergente en X es necesariamente una sucesi on de Cauchy. En efecto, si (xn ) es una sucesi on tal que x n x, entonces para todo > 0 existe n0 tal que si n > n0 se cumple que d(xn , x) < , para todo 2 . As n, m > n0 se tiene d(xn , xm ) d(xn , x) + d(x, xm ) < + = . 2 2
1 Ejemplo 8.3. El rec proco del Ejemplo 8.2 no es cierto en general. La sucesi on ( n )nN es de Cauchy en ((0, +), | |) y, sin embargo, no converge. Esto justicar a la introducci on de los espacios m etricos completos.
Lema 8.1 Sea (X, d) un espacio m etrico. Si (xn ) on de Cauchy que conn=1 es una sucesi tiene una subsucesi on (xnk )k=1 que converge a x, entonces la sucesi on (xn ) en n=1 tambi converge a x.
Toc Volver Doc Doc
Demostraci on. Como (xn ) on de Cauchy, dado > 0 existe n1 tal que n=1 es una sucesi para todo n, m > n1 se cumple que d(xn , xm ) < . 2 Por otra parte, la subsucesi on (xnk )k es convergente a x, luego existe k 0 tal que si nk > nk0 se cumple que d(xnk , x) < . 2 Consideremos n0 = m ax{n1 , nk0 } y tomemos n > n0 y k tal que nk > n0 , entonces d(xn , x) d(xn , xnk ) + d(xnk , x) < + = , 2 2 de modo que la sucesi on (xn ) converge a x. n=1 Proposici on 8.2 Toda sucesi on de Cauchy en un espacio m etrico (X, d) est a acotada. Demostraci on. Sea (xn ) una sucesi on de Cauchy y consideremos = 1. Por la condici on de Cauchy existe n0 tal que si m, n > n0 se tiene que d(xn , xm ) < 1, de modo que si n > n0 , entonces xn B(xn0 +1 , 1). S olo quedan un n umero nito de t erminos que pueden estar fuera de esta bola. Sea r = m ax{d(x1 , xn0 ), . . . , d(xn0 , xn0 +1 )}.
Toc Volver Doc Doc
Secci on 2: Espacios m etricos completos
Para todo n se cumple que d (xn , xn0 +1 ) r. As deducimos {xn | n = 1, . . . , } B(xn0 +1 , r + 1), como quer amos.
2. Espacios m etricos completos

Denici on 8.2 Un espacio m etrico (X, d) se dice que es completo si toda sucesi on de Cauchy en X es convergente. Ejemplo 8.4. (1) Todo espacio m etrico discreto es completo. (2) (0, ) no es completo con la distancia usual. Ejercicio 8.1. Sea (X, d) un espacio m etrico completo y A X un subconjunto cerrado. Es A completo? Ejercicio 8.2. Si (X, d) es completo, entonces X es completo con la distancia acotada est andar (x, y) = m d n{d(x, y), 1} correspondiente a d, y rec procamente. Por qu e? Veamos un criterio u til para comprobar si un espacio m etrico es completo:
Toc Volver Doc Doc
Lema 8.3 Un espacio m etrico X es completo si toda sucesi on de Cauchy tiene una subsucesi on convergente. Demostraci on. Sea (xn ) una sucesi on de Cauchy en (X, d). Vamos a probar que si (xn ) tiene una subsucesi on (xni ) que converge a un punto x, entonces la propia sucesi on (xn ) converge a x. Dado > 0, y puesto que (xn ) es una sucesi on de Cauchy, elijamos primero N lo sucientemente grande para que d(xn , xm ) < /2 para todos n, m N. Entonces sea i un entero lo sucientemente grande para que ni N y d(xni , x) < /2 (utilizamos aqu el hecho de que n 1 < n2 < es una sucesi on creciente de enteros y que (xni ) converge a x). Teniendo en cuenta ambas desigualdades, obtenemos para nN d(xn , x) d(xn , xni ) + d(xni , x) < , que es el resultado buscado. Teorema 8.4 El espacio eucl deo Rk es completo con cualquiera de sus distancias usuales, la distancia eucl dea d o la distancia del supremo d .
Toc Volver Doc Doc
Demostraci on. Para probar que el espacio m etrico (Rk , d ) es completo, sea (xn ) una k sucesi on de Cauchy en (R , d ). Entonces el conjunto {xn } es un subconjunto acotado de (Rk , d ), ya que si N es tal que d (xn , xm ) 1 para todos n, m N, entonces el n umero M = m ax{d (x1 , 0), . . . , d (xN1 , 0), d (xN , 0) + 1} es una cota superior para d (xn , 0). De este modo, los puntos de la sucesi on (xn ) permanecen todos en el cubo [M, M]k . Dado que este cubo es compacto, la sucesi on (xn ) tiene una subsucesi on convergente. Entonces (Rk , d ) es completo. Para probar que (Rk , d) es completo, observemos que una sucesi on es una sucesi on de Cauchy para d si, y s olo si, es una sucesi on de Cauchy para d , y una sucesi on converge en la distancia d si, y s olo si, converge en la distancia d . Ejercicio 8.3. Consideremos el espacio Q de los n umeros racionales con la distancia usual d(x, y) = |x y|. Es completo? Cuestion 8.1. Es el intervalo abierto (1, 1) de R con la distancia d(x, y) = |x y| un espacio completo? (a) S (b) No
Toc Volver Doc Doc
Secci on 3: Completitud y compacidad
La cuesti on anterior demuestra que la completitud no es una propiedad topol ogica, es decir, no se conserva por homeomorsmos, ya que el intervalo (1, 1) es homeomorfo a la recta real R y este espacio es completo con su distancia usual. Proposici on 8.5 Todo subespacio completo de un espacio m etrico es cerrado. Demostraci on. Sea (X, d) un espacio m etrico y sea H X tal que (H, dH ) es completo. Veamos que H es cerrado comprobando que H = H. Si x H, entonces existe una sucesi on en H, (xn ) n=1 , que converge a x y, por tanto, es de Cauchy, tanto en X como en H. Como (H, dH ) es completo la sucesi on (xn ) n=1 converge en H a un punto x . Pero (X, d) es un espacio m etrico y, por tanto, de Hausdor, de modo que x = x . Es decir, x H.
3. Completitud y compacidad
Proposici on 8.6 Todo espacio m etrico compacto es completo. Demostraci on. Sea (X, d) un espacio m etrico compacto y sea (xn ) on de n=1 una sucesi Cauchy en X. Como (X, Td ) es compacto, tambi en es sucesionalmente compacto, luego existe una subsucesi on de (xn ) n=1 , (xnk )k=1 , convergente. Como consecuencia del Lema 8.1 la sucesi on inicial (xn )n=1 tambi en es convergente. La implicaci on rec proca no es cierta, en general, aunque s se cumple si se considera una hip otesis adicional, la de ser totalmente acotado. El siguiente resultado, que sirve de
Toc Volver Doc Doc
10
puente entre los espacios completos y los compactos, justica que los espacios m etricos totalmente acotados reciban tambi en el nombre de precompactos. Proposici on 8.7 Todo espacio m etrico completo y totalmente acotado es sucesionalmente compacto. Demostraci on. Sea (X, d) un espacio m etrico completo y totalmente acotado y sea (xn ) una sucesi o n en X. Vamos a construir una subsucesi on de Cauchy que ser a conn=1 vergente, por ser X completo. Por tanto, X ser a sucesionalmente compacto. Si la sucesi on es nita no hay nada que probar, pues tiene innitos t erminos iguales y ya tenemos la subsucesi on convergente. Supongamos entonces que la sucesi on S = (xn ) tiene innitos t e rminos distintos. Como X es totalmente acotado y S X, S n=1 1 tambi en es totalmente acotado. Por tanto, dado 2 existe un n umero nito de bolas con este radio que recubren S. Como S es innito, una de estas bolas contendr a innitos puntos de la sucesi on S; llamemos a esta bola B 1 . Consideremos ahora B 1 S. Este conjunto es tambi en totalmente acotado, de modo 1 , entonces B S estar a recubierto por un n umero nito de que si consideramos 2 2 1 1 bolas de radio 2 . De entre todas ellas habr a al menos una, que llamaremos B 2 , que 2 contendr a una cantidad innita de t erminos de la sucesi on. 1 As sucesivamente vamos construyendo una sucesi on de bolas B k de radio 2 k , cada una de las cuales tiene innitos t erminos de la sucesi on y que, seg un se han construido, dos a dos tienen intersecci on no vac a.
Toc Volver Doc Doc
11
Vamos a construir la subsucesi on de la siguiente manera. El primer t ermino ser a un t ermino arbitrario de la sucesi on que est e en B 1 y le llamamos xn1 . Como en B2 hay innitos t erminos de la sucesi on, existe un t ermino de la sucesi on xn2 = xn1 y con n2 > n1 ; procediendo de esta manera construimos una subsucesi on (xnk )k , tal que cada xnk Bk . Veamos que esta subsucesi on es de Cauchy. Sean p, q N con p < q. Como Bp Bq = , si y Bp Bq tendremos que d(xnp , xnq ) d(xnp , y) + d(y, xnq ) 1 1 1 1 1 + q < p + p = p1 . 2p 2 2 2 2 < , y si p, q > m (con p > q por ejemplo),
Por tanto, dado > 0 existe m tal que 2m1 1 entonces 1 1 d(xnp , xnq ) < p1 < m1 < , 2 2 lo que prueba que la subsucesi on es de Cauchy.
Teniendo en cuenta que todo espacio m etrico compacto es sucesionalmente compacto, podemos expresar los dos resultados anteriores en el siguiente teorema. Teorema 8.8 Un espacio m etrico (X, d) es compacto si, y s olo si, (X, d) es completo y totalmente acotado.
Toc
Volver
Doc
Doc
Secci on 4: El espacio R
12
4. El espacio R
Vamos a estudiar ahora el espacio producto R . Lema 8.9 Sea X el espacio producto X = Xi y sea xn una sucesi on de puntos de X. Entonces xn x si, y s olo si, i (xn ) i (x), para cada i. Demostraci on. En primer lugar, como la proyecci on i : X Xi es una aplicaci on continua, entonces conserva la convergencia de sucesiones y deducimos la condici on necesaria del lema. Supongamos ahora que i (xn ) i (x), para cada i J. Sea U = Ui un elemento b asico de X que contenga a x. Para cada i de forma que U i no es igual a todo el espacio Xi , sea Ni un entero tal que i (xn ) Ui para todo n Ni . Si N es el n umero m as grande de todos los N i , entonces xn U, para todo n N. Teorema 8.10 Existe una distancia para el espacio producto R con la cual R es completo. (a, b) = m Demostraci on. Sea d n{|a b|, 1} la distancia acotada est andar sobre R. Sea D la distancia sobre R denida por (xi , yi )/i}. D(x, y) = sup{d
Toc
Volver
Doc
Doc
Secci on 5: La distancia uniforme
13
Entonces D induce la topolog a producto sobre R y R es completo con la distancia D. Sea xn una sucesi on de Cauchy en (R , D). Como (i (x), i (y)) iD(x, y) d observamos que, para i jo, la sucesi on i (xn ) es una sucesi on de Cauchy en R y, por tanto, converge a un n umero a i . Entonces la sucesi on xn converge al punto a = (a1 , a2 , . . .) de R .
5. La distancia uniforme
(a, b) = m Denici on 8.3 Sea (Y, d) un espacio m etrico. Pongamos d n{d(a, b), 1} para la distancia acotada est andar sobre Y correspondiente a d. Si x = (xi )iJ e y = (yi )iJ son puntos del producto cartesiano Y J , denimos (x , y ) | J}. (x, y) = sup{d es una distancia denominada distancia uniforme sobre Y J correspondiente a la distancia d sobre Y. Los elementos de Y J son simplemente aplicaciones de J en Y. Con esta notaci on, la denici on de la distancia uniforme adquiere la siguiente forma: para f , g : J Y, entonces (f (), g()) | J}. (f , g) = sup{d
Toc Volver Doc Doc
14
Teorema 8.11 Si el espacio Y es completo con la distancia d, entonces el espacio Y J es completo con la distancia uniforme correspondiente a d. ) tambi es la Demostraci on. Si (Y, d) es completo, entonces (Y, d en lo es, donde d distancia acotada correspondiente a d. Supongamos que f 1 , f2 , . . . es una sucesi on de puntos de Y J que es una sucesi on de Cauchy para la distancia . Dado i en J, el hecho de que (fn (i), fm (i)) d (fn , fm ) para todos n, m se traduce en que la sucesi on f 1 (i), f2 (i), . . . es una sucesi on de Cauchy Por tanto, la sucesi en (Y, d). on converge a un punto y i . Sea f : J Y la aplicaci on denida por f (i) = yi . Armamos que la sucesi on (fn ) converge a f en la distancia . Dado > 0, elijamos N lo sucientemente grande para que (fn , fm ) < /2, para todos n, m N. Entonces, en particular, (fn (i), fm (i)) < /2 d para n, m N e i J. Manteniendo n y i jos y haciendo tender m a innito, obtenemos que (fn (i), f (i)) /2. d Esta desigualdad es cierta para todo , siempre que n N. Por consiguiente, (fn , f ) /2 < para n N, como dese abamos probar.
Toc Volver Doc Doc
15
Supongamos ahora que X es un espacio topol ogico y consideremos los subconjuntos C(X, Y) y A(X, Y) de todas las aplicaciones f : X Y continuas y acotadas, respectivamente, de X en Y. Teorema 8.12 Sea X un espacio topol ogico y sea (Y, d) un espacio m etrico. Los conjuntos C(X, Y) y A(X, Y) son cerrados en Y X . Por tanto, si Y es completo entonces estos dos espacios son completos con la distancia uniforme. Demostraci on. La primera parte de este teorema es justo el teorema del l mite uniforme. Veamos, en primer lugar, que si una sucesi on de elementos f n de Y X converge al elemento f de Y X en la distancia de Y X , entonces la sucesi on converge uniformemente a f, para sobre Y. Dado > 0, elijamos un entero N tal que la distancia d (f , fn ) < para todo n > N. Entonces, para todo x X y todo n N, (fn (x), f (x)) d (fn , f ) < . Y, por tanto, (fn ) converge uniformemente a f. Probemos ahora que C(X, Y) es cerrado en Y X con la distancia . Sea f un elemento de Y X que es un punto l mite de C(X, Y). Existe entonces una sucesi on (fn ) de elementos de C(X, Y) convergente a f en la distancia . Por el teorema del l mite uniforme, f es continua, de forma que f C(X, Y).
Toc Volver Doc Doc
Secci on 6: La distancia del supremo
16
Finalmente, probemos que A(X, Y) es cerrado en Y X . Si f es un punto l mite de A(X, Y), existe una sucesi on de elementos f n de A(X, Y) convergente a f. Elijamos N lo sucientemente grande para que (fN , f ) < 1/2. Entonces, para x X, tenemos que (fN (x), f (x)) < 1/2, lo cual implica que d (fN (x), f (x)) < 1/2. Deducimos que, si M es d el di ametro del conjunto f N (X), entonces f (X) tiene di ametro menor o igual que M + 1. Por tanto, f A(X, Y). Corolario 8.13 Sea X un espacio topol ogico. Los conjuntos C(X, R) y A(X, R) son cerrados en RX y completos con la distancia uniforme.
6. La distancia del supremo

Denici on 8.4 Si (Y, d) es un espacio m etrico, podemos denir otra distancia en el conjunto A(X, Y) de las aplicaciones acotadas de X en Y por la ecuaci on (f , g) = sup{d(f (x), g(x)) | x X}. Es f acil observar que est a bien denida porque el conjunto f (X) g(X) est a acotado si f (X) y g(X) lo est an. La distancia se conoce como distancia del supremo. Ejercicio 8.4. Qu e relaci on hay entre la distancia del supremo y la distancia uniforme?
Toc
Volver
Doc
Doc
Secci on 7: Teorema del embebimiento isom etrico
17
7. Teorema del embebimiento isom etrico

Vamos a probar ahora un teorema cl asico, el cual arma que todo espacio m etrico se puede embeber isom etricamente en un espacio m etrico completo. Teorema 8.14 Sea (X, d) un espacio m etrico. Existe un embebimiento isom etrico de X en un espacio m etrico completo. Demostraci on. Sea A(X, R) el conjunto de todas las funciones acotadas de X en R. Sea x0 un punto jo de X. Dado a X, denamos a : X R mediante la ecuaci on a (x) = d(x, a) d(x, x0 ). Aseguramos que a est a acotada. Efectivamente, de las desigualdades d(x, a) d(x, b) + d(a, b), d(x, b) d(x, a) + d(a, b), se deduce que |d(x, a) d(x, b)| d(a, b). Poniendo b = x0 , concluimos que |a (x)| d(a, x0 ), para todo x. Denamos : X A(X, R) por (a) = a .
Toc Volver Doc Doc
Secci on 7: Teorema del embebimiento isom etrico
18
Vamos a probar que es un embebimiento isom etrico de (X, d) en el espacio m etrico completo (A(X, R), ). Es decir, vamos a probar que, para todo par de puntos a , b X, (a , b ) = d(a, b). Por denici on, (a , b ) Por tanto, concluimos que (a , b ) d(a, b). Por otro lado, esta desigualdad no puede ser estricta, ya que si x = a entonces |d(x, a) d(x, b)| = d(a, b), y as concluye la prueba. = sup{|a (x) b (x)| : x X} = sup{|d(x, a) d(x, b)| : x X}.
7.1. Completaci on de un espacio m etrico

Denici on 8.5 Sea X un espacio m etrico. Si h : X Y es un embebimiento isom etrico de X en un espacio m etrico completo Y, entonces el subespacio h(X) de Y es un espacio m etrico completo. Se conoce como completaci on de X.
Toc
Volver
Doc
Doc
Secci on 8: Algunos resultados interesantes
19
, d ) es un espacio m En otras palabras, si (X etrico completo y X es un espacio m etrico entonces (X , d ) es la completaci isom etrico a un subconjunto denso de X, on de X. Ejemplo 8.5. La recta real (R, | |) es una completaci on de (Q, | |). Proposici on 8.15 Todo espacio m etrico (X, d) admite una completaci on. Demostraci on. Es una consecuencia inmediata del Teorema 8.14.
8. Algunos resultados interesantes 8.1. Teorema de encaje de Cantor

Teorema 8.16 Sea (X, d) un espacio m etrico completo y sea {Cn } on n=1 una sucesi decreciente de cerrados en X, no vac os y tales que la sucesi on de sus di ametros converge a 0. Entonces n=1 Cn es exactamente un punto. Demostraci on. Que la sucesi on de cerrados sea decreciente quiere decir que C1 C2 Cn . . . . Sea una sucesi on en X de manera que x n Cn para cada n N. Veamos que esta sucesi on es de Cauchy. Como los di ametros de (Cn )n forman una sucesi on que tiende a 0, tendremos que dado > 0, existe n0 N tal que si n > n0 , entonces di am(Cn ) < . Por tanto, como la
Toc Volver Doc Doc
(xn ) n=1
Secci on 8: Algunos resultados interesantes
20
sucesi on de cerrados es decreciente, si n , m > n0 , con m > n, tenemos que xn , xm Cn . Entonces d(xn , xm ) < di am(Cm ) < y la sucesi on es de Cauchy. Como X es completo, la sucesi on (xn )n es convergente a un punto x X. Veamos que x nN Cn . Supongamos que no fuera as . Entonces existir a k N tal que x / Ck ; como Ck es r cerrado, tenemos que d (x, Ck ) = r > 0, con lo que la bola B (x, 2 ) y Ck no tienen puntos comunes. Pero si n > k, entonces xn Ck (pues la sucesi on de cerrados es decreciente), r lo que implica que x n / B(x, 2 ), lo cual es imposible puesto que x n x. Veamos, nalmente, que este punto es el u nico en la intersecci on. Supongamos que existe otro punto y nN Cn , entonces d(x, y) di am(Cn ) para todo n N y como l mn di am(Cn ) = 0 ha de ser d(x, y) 0. Pero d es una distancia, luego d (x, y) = 0. Por tanto, x = y.
8.2. Teorema de Baire

Teorema 8.17 Sea (X, d) un espacio m etrico completo y sea {An } on de n=1 una sucesi abiertos de X tales que A n es denso en X para cada n N. Entonces se cumple que n=1 An es denso en X. Demostraci on. Es suciente probar que todo abierto no vac o de X corta a n=1 An . Sea A X un abierto. Como A 1 es denso, A A1 es no vac o y, por tanto, x 1 A A1 . Como A A1 es abierto, existe r1 < 1 tal que la bola cerrada B(x1 , r1 ) A A1 .
Toc Volver Doc Doc
21
La bola B(x1 , r1 ) es abierta no vac a y A 2 es denso, luego B(x1 , r1 ) A2 es no vac o. Por tanto, existe x2 B(x1 , r1 ) A2 ; esta intersecci on es abierta, luego existe r 2 < 1 2 tal que B(x2 , r2 ) B(x1 , r1 ) A2 A A1 A2 . As , por inducci on, se puede construir una sucesi on de bolas {B(xn , rn )} n=1 tales que 1 para cada n N rn < n y B(xn , rn ) A A1 An . Si consideramos las bolas cerradas, la familia {B(xn , rn )} otesis del n=1 cumple la hip teorema de encaje de Cantor y, por tanto, su intersecci on es un u nico punto: n=1 B(xn , rn ) = {x}, x X.
En consecuencia, x A ( n=1 An ) por lo que n=1 An es denso.
Problema 8.1. Sea X un espacio m etrico. (a) Suponga que, para alg un > 0, toda -bola en X tiene clausura compacta. Pruebe que X es completo. (b) Suponga que, para cada x X, existe un > 0 tal que la bola B (x, ) tiene clausura compacta. Muestre mediante un ejemplo que X no es completo necesariamente.
Toc Volver Doc Doc
22
Problema 8.2. Sean (X, dX ) e (Y, dY ) dos espacios m etricos, con Y completo. Sea A Y. Demuestre que si f : A Y es uniformemente continua, entonces f puede ser Y. extendida un vocamente a una aplicaci on uniformemente continua g : A Problema 8.3. Dos distancias d y d sobre un conjunto X se dice que son m etricamente equivalentes si la aplicaci on identidad i : (X, d) (X, d ) y su inversa son uniformemente continuas. (a) Demuestre que d es m etricamente equivalente a la distancia acotada est andar d asociada a d. (b) Demuestre que si d y d son m etricamente equivalentes, entonces X es completo con la distancia d si, y s olo si, es completo con la distancia d . Problema 8.4. Demuestre que el espacio m etrico (X, d) es completo si, y s olo si, para toda sucesi on encajada A 1 A2 de subconjuntos cerrados no vac os de X tales que di am An 0, la intersecci on de los conjuntos A n no es vac a. Problema 8.5. Si (X, d) es un espacio m etrico, recuerde que una aplicaci on f : X X se dice que es una contracci on si existe un n umero < 1 tal que d(f (x), f (y)) d(x, y), para todos x, y X. Demuestre que si f es una contracci on de un espacio m etrico completo, entonces existe un u nico punto x X tal que f (x) = x.
Toc Volver Doc Doc
23
Problema 8.6. Un espacio X se dice que es topol ogicamente completo si existe una distancia para la topolog a de X para la cual X es completo. (a) Demuestre que un subespacio cerrado de un espacio topol ogicamente completo es topol ogicamente completo. (b) Pruebe que un producto numerable de espacios topol ogicamente completos es topol ogicamente completo (con la topolog a producto).
Fin del Cap tulo

Toc Volver Doc Doc
24

Ejercicio 8.1. S , ya que una sucesi on de Cauchy en A tambi en es una sucesi on de Cauchy en X y, por tanto, converge en X. Como A es cerrado en X, el l mite de la sucesi on debe permanecer en A. Ejercicio 8.1
Toc
Volver
Doc
Doc
25
Ejercicio 8.2. Porque una sucesi on (xn ) es una sucesi on de Cauchy para la distancia d si, y s olo si, es una sucesi on de Cauchy para la distancia d. Y una sucesi on converge en si, y s la distancia d olo si, converge en la distancia d. Ejercicio 8.2
Toc
Volver
Doc
Doc
26
Ejercicio 8.3. El espacio Q de los n umeros racionales con la distancia usual d (x, y) = |x y| NO es completo. Por ejemplo, la sucesi on de n umeros con una cantidad nita de decimales, que converge (en R) a 2, es una sucesi on de Cauchy en Q que no converge en Q. Ejercicio 8.3 1,4, 1,41, 1,414, 1,4142, 1,41421, . . .
Toc
Volver
Doc
Doc
27
Ejercicio 8.4. Si f , g A(X, Y) entonces (f , g) = m n{(f , g), 1} ya que si (f , g) > 1 entonces d(f (x0 ), g(x0 )) > 1 para alg un x0 X, de manera que (f (x0 ), g(x0 )) = 1 y d (f , g) = 1, por denici on. Por otro lado, si (f , g) 1 entonces (f (x), g(x)) = d(f (x), g(x)) 1 para todo x, y as d (f , g) = (f , g). Observemos que sobre A(X, Y), la distancia es justamente la distancia acotada est andar derivada de la distancia . Ejercicio 8.4
Toc
Volver
Doc
Doc
28

Cuesti on 8.1. El intervalo abierto (1, 1) de R con la distancia d(x, y) = |x y| no es completo. En este espacio, la sucesi on (xn ) denida por xn = 1 es una sucesi on de Cauchy que no converge. 1 n Fin de la cuesti on
Toc
Volver
Doc
Doc

Topology

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Topology

Cargado por

Copyright:

Formatos disponibles

UNIVERSIDAD DE MURCIA Departamento de Matem aticas

c 2002 plucas@um.es Actualizado el 18 de febrero de 2002

Secci on 1: Teor a de conjuntos

1.1. Operaciones b asicas

Secci on 1: Teor a de conjuntos

Secci on 1: Teor a de conjuntos

Ejercicio 1.1. Considera los conjuntos A y B denidos como sigue:

Secci on 1: Teor a de conjuntos

3. A B o A C A B C. (a) Verdadero (b) Falso 4. A B y A C A B C. (a) Verdadero (b) Falso

1.2. Otras operaciones El producto cartesiano

Secci on 1: Teor a de conjuntos

Secci on 1: Teor a de conjuntos

Leyes de De Morgan: Tambi en son dos: A (B C) = A (B C) = (A B) (A C), (A B) (A C). y

1.3. Familias de conjuntos

Secci on 1: Teor a de conjuntos

Secci on 1: Teor a de conjuntos

2.1. Tipos de aplicaciones

2.2. Composici on de aplicaciones

Secci on 3: Conjuntos especiales: los n umeros

3. Conjuntos especiales: los n umeros

Secci on 3: Conjuntos especiales: los n umeros

3.1. Conjuntos nitos

Secci on 3: Conjuntos especiales: los n umeros

Secci on 3: Conjuntos especiales: los n umeros

3.2. Conjuntos numerables

Secci on 3: Conjuntos especiales: los n umeros

Secci on 3: Conjuntos especiales: los n umeros

Secci on 3: Conjuntos especiales: los n umeros

Secci on 3: Conjuntos especiales: los n umeros

Secci on 4: Los n umeros reales

4. Los n umeros reales

Secci on 4: Los n umeros reales

Secci on 5: Problemas propuestos

Secci on 5: Problemas propuestos

= {(x, y) | x [n, n + 1], y [n, n + 1] para alg un n Z} = {(x, y) | 0 x y 1}

Secci on 5: Problemas propuestos

Ai , donde P denota el conjunto de los n umeros primos. Bm

Secci on 5: Problemas propuestos

Fin del Cap tulo

Soluciones de los ejercicios

Soluciones de los ejercicios

Soluciones de los ejercicios

Soluciones de los ejercicios

Soluciones de los ejercicios

Soluciones de los ejercicios

f (Ai ), y se da la igualdad si f es inyectiva.

Soluciones de los ejercicios

Ejercicio 1.6. La funci on compuesta es g f (x) = 4(3x3 + 7)2 .

Soluciones de los ejercicios

Soluciones de los ejercicios

Soluciones de los ejercicios

Soluciones de las cuestiones

Soluciones de las cuestiones

UNIVERSIDAD DE MURCIA Departamento de Matem aticas

c 2002 plucas@um.es Actualizado el 18 de febrero de 2002

Secci on 1: El concepto de espacios topol ogico

1. El concepto de espacios topol ogico

Secci on 1: El concepto de espacios topol ogico

Secci on 1: El concepto de espacios topol ogico

Secci on 2: Base de una topolog a

2. Base de una topolog a

Secci on 2: Base de una topolog a

Secci on 2: Base de una topolog a

Secci on 2: Base de una topolog a