1 Continuidad uniforme

Documentos relacionados
Espacios completos. 8.1 Sucesiones de Cauchy

Continuidad. 5.1 Continuidad en un punto

1 Números reales. Funciones y continuidad.

1. Sucesiones y redes.

Espacios topológicos. 3.1 Espacio topológico

Terminaremos el capítulo con una breve referencia a la teoría de cardinales.

Resumen de Análisis Matemático IV

Subconjuntos notables de un Espacio Topológico

Sucesiones Introducción

1. Convergencia en medida

Por ser f continua y R compacto, existen x 0, y 0 en R tales que f(x 0 ) = sup{f(t) : t R} y f(y 0 ) = inf{f(t) : t R}

Espacios conexos. Capítulo Conexidad

Espacios Topológicos 1. Punto de Acumulación. Al conjunto de puntos de acumulación de A se le denomina el conjunto derivado de A (A a Notación).

MMAF: Espacios normados y espacios de Banach

Funciones de Clase C 1

Introducción a la topología

Teoría de la Probabilidad Tema 2: Teorema de Extensión

Teoremas de Convergencia

Convergencia de sucesiones

Una norma en un espacio lineal (o vectorial) X es una función. : X R con las siguientes propiedades: (a) x 0, para todo x X (no negatividad);

AMPLIACIÓN DE MATEMÁTICAS

Sucesiones en R n. Ejemplos.-Considerando el espacio R 2 sea la sucesión {x k } 1 dada por x k = ( k, 1 k) podemos listar como sigue:

Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 2: Lunes 18 Viernes 22 de Marzo. Contenidos

Axiomas de separación

Ejercicios de Análisis I

Semana 09 [1/28] Sucesiones. 29 de abril de Sucesiones

Notas de Análisis. Dr. Richard G. Wilson Departamento de Matemáticas, Universidad Autónoma Metropolitana-Iztapalapa comentarios:

Conjuntos, relaciones y funciones Susana Puddu

4. " $#%&' (#) para todo $#* (desigualdad triangular).

Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 7: Lunes 22 - Viernes 27 de Abril. Contenidos

- Fernando Sánchez - Departamento de Matemáticas - Universidad de Extremadura. Topología

ECUACIONES EN DERIVADAS PARCIALES Tópicos previos

Integrales múltiples

1. Construcción de la Integral

CÁLCULO II. Grado M+I. Sucesiones y series de funciones. Sucesiones y series de funciones 1 / 27. Grado M+I () CÁLCULO II

Semana03[1/17] Funciones. 16 de marzo de Funciones

VARIABLE COMPLEJA Y ANÁLISIS FUNCIONAL

Resumen. Notas del curso dictado por la Dr. Beatriz Abadie en la facultad de ciencias en el semestre impar del año 2003.

Volumen y conjuntos de medida cero

Introducción a la Teoría Analítica de Números

Teoremas de convergencia y derivación bajo el signo integral

Estructuras Algebraicas

Órdenes de la convergencia de sucesiones. Condiciones de la convergencia lineal y cuadrática del método de iteración simple

Análisis Matemático I: Numeros Reales y Complejos

Análisis Real: Primer Curso. Ricardo A. Sáenz

Tema 2: Teorema de estructura de los grupos abelianos finitamente generados.

MATEMÁTICAS BÁSICAS. Autoras: Margarita Ospina Pulido Jeanneth Galeano Peñaloza Edición: Rafael Ballestas Rojano

Una topología de los números naturales*

Funciones integrables en R n

(x + y) + z = x + (y + z), x, y, z R N.

Cálculo Diferencial en una Variable

Recordemos que utilizaremos, como es habitual, la siguiente notación para algunos conjuntos de números que son básicos.

Límite superior y límite inferior de una sucesión

Comisión de Pedagogía - Diego Chamorro Análisis Funcional (Nivel 2). Lección n 1: Aplicaciones Lineales EPN, verano 2012

Subconjuntos destacados en la

Álgebra y Trigonometría Clase 2 Ecuaciones, desigualdades y Funciones

Espacios Vectoriales

BLOQUE 1. LOS NÚMEROS

Introducción a los números reales

EL CUERPO ORDENADO REALES

Límites Laterales. El límite por la derecha se denota. x 2 + x 2 = 1. x 2. x + x 2. x = x + x 2. El límite por la izquierda se denota

8.4. CRITERIO DE ESTABILIDAD POR EL METODO DIRECTO DE LIAPUNOV

El Teorema de existencia y unicidad de Picard

PROBLEMAS RESUELTOS DE PREPARACIÓN PARA OPOSICIONES. Problemas 02

5.1. Límite de una Función en un Punto

1 Método de la bisección. 1.1 Teorema de Bolzano Teorema 1.1 (Bolzano) Contenido

Conjuntos Infinitos. Ramón Espinoza Armenta AVC APOYO VIRTUAL PARA EL CONOCIMIENTO

Teorema del valor medio

Funciones convexas Definición de función convexa. Tema 10

TERCER TRABAJO EN GRUPO Grupo 10

ƒ : {(1, 4), (2, 5), (3, 6), (4, 7)}.

El cuerpo de los números reales

NOCIONES PRELIMINARES (*) 1

EJERCICIOS ADICIONALES.

Capítulo 2: Inducción y recursión Clase 2: El principio de Inducción Fuerte

Parte II CALCULO DIFERENCIAL.

El método de súper y sub soluciones en el espacio de funciones casi periódicas.

IN Guía de Problemas Resueltos de Geometría de Programación Lineal v1.0

Apéndice sobre ecuaciones diferenciales lineales

Operador Diferencial y Ecuaciones Diferenciales

Conjuntos Medibles. Preliminares

CONTINUIDAD DE FUNCIONES. SECCIONES A. Definición de función continua. B. Propiedades de las funciones continuas. C. Ejercicios propuestos.

Cálculo en varias variables

Benemérita Universidad Autónoma de Puebla. Ejemplos de Espacios Pseudocompactos

ALGEBRA y ALGEBRA LINEAL. Primer Semestre CAPITULO I LOGICA Y CONJUNTOS.

Espacios Vectoriales, Valores y Vectores Propios

Tema 2 Resolución de EcuacionesNo Lineales

Práctica 2 - Hay diferentes infinitos?- A. Propiedades básicas de los Conjuntos

Funciones reales de variable real

NÚMEROS COMPLEJOS: C

Caracterización de los números reales

4. Complementos sobre Problemas de Contorno para S.D.O. Lineales. 4. Complementos sobre Problemas de Contorno

520142: ALGEBRA y ALGEBRA LINEAL

Teorema del Valor Medio

Notas sobre el teorema minimax

Anillo de polinomios con coeficientes en un cuerpo

Semana02[1/23] Conjuntos. 9 de marzo de Conjuntos

Aplicaciones Lineales y Multilineales Continuas

Topología de un espacio métrico

Espacios vectoriales

Transcripción:

Centro de Matemática Facultad de Ciencias Universidad de la República Introducción a la Topología Curso 2016 NOTAS 6: ESPACIOS MÉTRICOS II: COMPLETITUD 1 Continuidad uniforme Denición. Sean (M, d 1 ) y (N, d 2 ) espacios métricos. Una función f : (M, d 1 ) (N, d 2 ) es uniformemente continua si para cada ɛ > 0 existe un δ > 0 tal que d 1 (x, y) < δ implica d 2 (f(x), f(y)) < ɛ. Es claro que toda función uniformemente continua es continua. Además observar que la continudad uniforme es una noción global de la función, al contrario de la noción de continuidad. Ejercicio 1. Averiguar cuáles de las siguientes funciones son uniformemente continuas: x 2 denida en R; x 2 denida en [0, 1]; 1/x denida en (0, + ); 1/x denida en [1, + ); sin(x) denida en R; sin(x 2 ) denida en R; x denida en [0, ). (Como siempre, si no especicamos las estructuras nos referimos a las usuales.) Ejercicio 2. Probar que una función Lipschitz entre espacios métricos es uniformemente continua. ¾Es válido el recíproco? (Considerar la función raíz cuadrada vista en el ejercicio anterior.) Ejercicio 3. Consideremos el producto cartesiano numerable n M n de espacios métricos (M n, d n ), con la métrica d(x, y) := n min{1/2n, d n (x n, y n )}. Probar que las proyecciones π j : n M n M j, π j (x) = x j son uniformemente continuas. Probar que una función f : X n M n denida en un espacio métrico (X, d X ) es uniformemente continua si y sólo si π j f : X M j lo son. Ejercicio 4. Probar que una función continua de [0, 1] en R es continua si y sólo si es uniformemente continua. (Sugerencia: si f no es uniformemente continua, existe un ɛ > 0 y sucesiones {x n } {y n } tales que x n y n < 1/n pero f(x n ) f(y n ) ɛ para todo n. Por ser contenida en [0, 1], la sucesión {x n } tiene una subsucesión convergente. Probar que si x es el límite de esa subsucesión, entonces f no es continua en x.) 1

2 Completitud. 2.1 Sucesiones de Cauchy La noción de sucesión convergente no es una noción intrínseca de la sucesión dado que asume la existencia de un punto particular, el límite de la sucesión. La idea es construir una noción de convergencia de sucesiones que sea intrínseca. Denición. Una sucesión {x n } en un espacio métrico es de Cauchy si para todo ε > 0 existe un N tal que d(x n, x m ) < ε para todos n y m mayores que N. Observar que intuitivamente las términos de una sucesión de Cauchy se aproximan entre si, a medida que n crece. (Comparar con la denición de sucesiones convergentes, donde los términos se aproximan a un mismo punto.) Ejercicio 5. Toda sucesión convergente es de Cauchy. recíproco no es necesariamente cierto. Ejercicio 6. En R se considera la función d : R R R denida por y d(x, y) = f(t)dt, x Mostrar con un ejemplo que el donde f es una función continua, positiva y tal que f es nita. Probar que d es una distancia. Probar que la sucesión {n} es de Cauchy pero no converge. Ejercicio 7. Toda sucesión de Cauchy es acotada. Ejercicio 8. Si una sucesión de Cauchy tiene una subsucesión convergente, entonces ella misma es convergente, y al mismo límite. Ejercicio 9. Toda transformación entre espacios métricos uniformemente continua transforma sucesiones de Cauchy en sucesiones de Cauchy. función continua puede no tener esta propiedad. 2.2 Espacios métricos completos Mostrar con un ejemplo que una Intuitivamente, los espacios métricos completos son aquellos espacios que no le "faltan puntos". Una forma natural para describir estos espacios es via las sucesiones de Cauchy. Denición. Un espacio métrico es completo si toda sucesión de Cauchy es convergente. Por ejemplo, es fácil ver que el intervalo ( 1, 1) con la métrica usual no es completo. Más interesante aún, el conjunto de números racionales Q como espacio métrico no es completo. Sin embargo estos espacios se vuelven completos una vez que agregamos ciertos puntos (el 1 y 1 al primer ejemplo, y los irracionales en el segundo). Más abajo veremos que la "completación" de un espacio es siempre posible. El gran ejemplo de espacio métrico completo es R con la distancia usual. Esto se demuestra usando el Axioma de Completitud : "si A es un subconjunto de R acotado superiormente, entonces A tiene supremo". Ambos enunciados son, de hecho, equivalentes: es decir, se puede sustituir el Axioma de Completitud por el enunciado `R es completo' y se obtiene el Axioma como resultado. Ver ejercicios opcionales. 2

Ejercicio 10. Sea (M, d) un espacio métrico completo. Probar que un subconjunto N de M es completo con la métrica inducida si y sólo si N es cerrado en M. Ejercicio 11. Probar que l, el espacio de todas las sucesiones complejas acotadas (ver Eemplo 6 del Practico 5), es un espacio métrico completo. Deducir que c, el conjunto de las sucesiones complejas convergentes, y c 0, el conjunto de las sucesiones convergentes a 0 con la métrica inducida por la del ejercicio anterior, son completos. ¾Es completo el subconjunto de las sucesiones que son cero a partir de un n? Ejercicio 12. Sea X un conjunto, y consideremos el espacio métrico B(X, R) de funciones acotadas de X en R con la distancia de la convergencia uniforme d (ver Ejemplo 4 de Práctico 5). Probar que (B(X, R), d ) es completo. Observar que en el ejercicio anterior lo único que necesitamos de R es que es completo. En este sentido se puede probar que el conjunto B(X, Y ), de funciones acotadas de un conjunto X en un espacio métrico completo (Y, d), es completo si consideramos la distancia d (f, g) := sup x X d(f(x), g(x)). Si dotamos el conjunto X con una estructura de espacio topológico podemos estudiar el subespacio de B(X, Y ) formado por funciones continuas. Veamos un caso particular de esto. Ejercicio 13. Sea C([0, 1], R), el conjunto de todas las funciones continuas de [0, 1] en R. Probar que (C([0, 1], R), d ) es un espacio métrico completo. (Sugerencia: basta ver que C([0, 1], R) es cerrado en B([0, 1], R).) Ejercicio 14. Probar que el producto cartesiano M 1 M n es completo, si y sólo si, M i es completo para todo i = 1,..., n. (Sugerencia: usar que las proyecciones son uniformemente continuas.) Extender el resultado a productos numerables con la métrica denida en el Ejercicio 3. 2.3 Espacios topológicos metrizablemente completos Denición. Decimos que un espacio topológico es metrizablemente completo si su topología es generada por una métrica completa. Por ejemplo, vimos que R con la topología usual es un espacio metrizablemente completo. Sin embargo, existen otras métricas en R que generan la misma topología pero que no son completos. Ejercicio 15. Encontrar en (0, 1) una métrica que genere la topología usual, pero que sea completa. Sin embargo, la propiedad de completitud es claramente una propiedad métrica. Ejercicio 16. Probar que si un espacio métrico es completo, entonces es completo con cualquier otra métrica equivalente. (Recordar que d y d son métricas equivalentes en M si existen constantes positivas α, β tales que αd(x, y) d (x, y) βd(x, y), para todo x, y M. 3

Del ejercicio anterior resulta que la propiedad de completitud se preserva entre espacios métricos isométricos (funcione biyectivas que preservan la distancia). Además vimos que la completitud de los espacios no es una característica topológica, dado que una misma topología puede ser genereada por métricas completas y no completas a la vez. Desde este punto de vista, la completitud no es un invariante topológico. Sin embargo, los espacios topológicos metrizablemente completos poseen ciertas propiedades interesantes desde el punto de vista de la topología que motiva a estudiarlos en este curso. Ejercicio 17. Probar el teorema de encaje de Cantor: Sea (M, d) un espacio métrico. Entonces son equivalentes: (M, d) es completo. Si {A n } es una sucesión de subconjuntos de M que cumplen: 1. Cada A n es cerrado no vacío. 2. Para todo n se cumple que A n A n 1. 3. El diámetro de A n tiende a 0 cuando n. Entonces n A n. Denición. Sea (X, T ) un espacio topológico. Un subconjunto A de X es nunca denso en X si su clausura tiene interior vacío. Un subconjunto A de X se llama magro si es unión numerable de conjuntos nunca densos. Un subconjunto A de X se llama residual si es una intersección numerable de conjuntos abiertos y densos. Ejercicio 18. Probar las siguientes propiedades: Si un conjunto es abierto y denso, entonces su complemento es nunca denso, y si un conjunto es nunca denso, entonces su complemento contiene un abierto denso. Por ejemplo, el conjunto de Cantor es nunca denso en R, y cualquier subconjunto de un conjunto nunca denso también lo es. El conjunto Q de los racionales es denso en R pero también es magro en R. Ahora, R \ Q es residual. Teorema de Baire. Sea (M, d) un espacio métrico completo. Entonces todo subconjunto residual es denso. Demostración. Sea A = n A n un conjunto residual en M, donde cada A n es abierto y denso. Sea B 0 = B(x 0, r 0 ) una bola cualquiera en M. Se probará que B 0 A. Por ser A 1 denso y abierto, existe una bola B 1 de radio r 1 > 0 cuya clausura está contenida en B 0 A 1. Ahora, por ser A 2 abierto y denso, existe una bola B 2 de radio r 2 cuya clausura está contenida en B 1 A 2, donde además se puede tomar r 2 < r 1 /2. Por inducción se prueba que existe una sucesión de bolas B n de radios r n < r n 1 /2, tales que la clausura de B n está contenida en B n 1 A n para todo n. Luego para cada n tenemos que B n es no vacío, B n B n 1 y diam(b n ) n 0. Luego por el teorema de encaje de Cantor (Ejercicio 8) existe z M tal que z = n B n. Dado que B n A n para cada n 1 entonces z B 0 A y el teorema queda demostrado. 4

Ejercicio 19. Probar que ningún espacio completo es magro en sí mismo. Por ejemplo, el conjunto K de Cantor es nunca denso en R pero no es magro en sí mismo. Q es magro en sí mismo. Averiguar si en R con la topología generada por la base de los intervalos semiabiertos se cumple que todo residual es denso. Ejercicio 20. Teorema del punto jo de Banach: Sea (M, d) un espacio métrico completo, y f : M M. Suponga que existe una constante λ < 1 tal que d(f(x), f(y)) λd(x, y) para todos x e y en M. Probar que f tiene un único punto jo, es decir, existe un único z M tal que f(z) = z. (Sugerencia: tomar un x 0 cualquiera y trabajar con la sucesión x n = f(x n 1 ).) Ejercicio 21. Sean (M, d) y (N, d ) espacios métricos donde N es completo. Sea f : A N denida en A, un subconjunto denso de M. Probar que si f es uniformemente continua, entonces existe una única extensión continua de f a M (esto es, existe una única función continua f : M N tal que f(x) = f(x) para todo x A). Además la extensión resulta uniformemente continua. Antes de la demostración, analice el siguiente ejemplo: Sea f denida en (0, 1] por f(x) = 1/x; es continua en (0, 1] pero no puede extenderse como una función continua a todo el intervalo [0, 1]. Para la prueba, considerar x M y {x n } una sucesión en A que tiende a x. Entonces {f(x n )} es una sucesión de Cauchy en N, de donde se deduce que tiene una subsucesión convergente. Su límite es el candidato a denición de f(x). Entre otras cosas, hay que probar que f(x) no depende de la elección de la sucesión {x n }. Recordar que una encaje isométrico entre espacios métricos es una función que preserva distancias. Esto implica que una encaje isométrico es inyectivo, pero no necesariamente es sobreyectivo. Cuando es sobreyectiva decimos que es una isometría, y que los espacios dominio y codominio son isométricos. Denición. Sea (M, d) un espacio métrico. Decimos que un espacio métrico completo ( M, d) es una completación de (M, d) si existe un encaje isométrico i : (M, d) ( M, d) tal que i(m) es denso en M. Por ejemplo, Q con la distancia usual no es completo, una completación de este espacio es R con la distancia usual. Ejercicio 22. Sea ( M, d) una completación de (M, d), siendo i el encaje isométrico de M en M. Sea (N, d ) otro espacio métrico y f : M N una función uniformemente continua. Probar que entonces existe una función uniformemente continua f : M N tal que f i = f. Deducir que dos completaciones de (M, d) son isomorfas. Por eso se habla de la completación de (M, d). Ejercicio 23. Probar que todo espacio métrico (M, d) tiene una completación. (Sugerencia: Fije un x 0 M. Considere, para cada x M la función f x : M R denida por 5

f x (y) = d(y, x) d(y, x 0 ). Demuestre que f x B(M), es decir, que f x es una función acotada (probar aquí que f x (y) d(x, x 0 ) para todo y M). Sea i : M B(M) denida por i(x) = f x. Probar que es un encaje isométrico y deducir que (i(m), d ) es una completación de (M, d).) 3 Ejercicios opcionles Ejercicio 24. Sea (X, d) un espacio métrico. Consideremos C(X) el conjunto de todas las sucesiones de Cauchy en X. Decimos que {x n } {y n } si y sólo si lim n d(x n, y n ) = 0. Probar que es una relación de equivalencia. Denimos ˆX = C(X)/ y ˆd : ˆX ˆX R por ˆd([{xn }], [{y n }]) = limd(x n, y n ). El espacio métrico ( ˆX, ˆd) resultará ser una completación de X. 1. Probar que ˆd está bien denida y es una métrica. 2. Demostrar que ι : X ˆX denida por ι(x) = [{x n = x}] es un encaje isométrico y que ι(x) es denso en ˆX. 3. Probar que ˆX es completo. Sugerencia: para una sucesión de Cauchy a n = [{x n m} m N ] considerar z n = x n k n donde k n es tal que para todo m, m k n se cumple d(x n m, x n m ) < 1 n, luego probar que lim a n = [{z n }]. Ejercicio 25. Curva de Peano El objetivo de este ejercicio es probar el siguiente teorema. Teorema 1. Sea I = [0, 1]. Existe un mapa contínuo y sobreyectivo f : I I I. Decimos que una curva g : [a, a+r] [c, c+r] [d, d+r] es un mapa triangular si resulta de componer con una isometría del cuadrado [c, c + r] [d, d + r] la curva h : [a, a + r] [c, c + r] [d, d + r] denido por { h(a + t) = (c + t, d + t) si t 1/2 (c + t, d + 1/2 + t) si t > 1/2 Observar la gura para mejor entendimiento de los mapas triangulares. Un mapa g : I I 2 es n-triangular si cada uno de los mapas g [k 1 4 n,(k+1) 1 4 n ] son triangulares sobre los cuadrados que resultan de la división de I en 4 n cuadrados iguales. Denimos en estos mapas una operación como sigue: dado un mapa triangular g denimos g el mapa 1-triangular como se ve en la gura. Luego dado g n-triangular se dene g el mapa (n + 1)-triangular resultante al aplicar la operación a cada una de las restricciones a los 4 n cuadraditos de la subdivisión. Tomamos ahora una sucesión de funciones denidas por recursión: f 0 = h y f (n+1) = (f n ). 1. Observar que f n es n-triangular y contínua para todo n. 2. Considerar en I 2 la métrica d(x, y) dada por la norma del máximo y en C(I, I 2 ) = {g : I I 2 : g continua} la distancia ρ(g 1, g 2 ) = sup{d(g 1 (t), g 2 (t)) : t I}. Observar que (C(I, I 2 ), ρ) es completo y {f n } es de Cauchy. 6

3. Probar que f = lim f n es sobreyectiva. Sugerencia: probar que dado x y n N existe t 0 I tal que d(x, f n (t 0 )) 1, luego usando que f 2 n n converge a f y la desigualdad triangular probar que en todo entorno de x hay un punto de f(i). Luego por compacidad de f(i) el punto x debe estar en la imágen de f. Ejercicio 26. Probar que el Axioma de Completitud es equivalente a decir que R es completo. Idea de la prueba: Probemos primero que R es completo usando el Axioma: Sea A = {x R : x < x n para innitos valores de n}. Para empezar, note que A es acotado superiormente porque la sucesión {x n } es acotada superiormente. Por otro lado, A es no vacío porque la sucesión {x n } está acotada inferiormente. Sea x el supremo de A. Se prueba ahora que x es el límite de la sucesión {x n }: notar que por la denición de A, en cada entorno de x hay innitos puntos de la sucesión. Se deduce que {x n } tiene una subsucesión convergente a x, y del Ejercicio 5 se deduce que converge a x. Para probar el recíproco, sea A un conjunto acotado superiormente y no vacío. Sea x 0 el menor entero que es cota superior de A y dena por recurrencia una sucesión {x n } n 0 así : conocido x n dena x n+1 = x n 2 n si x n 2 n es cota de A y x n+1 = x n si no. Entonces la sucesión x n es de Cauchy, y por hipótesis tiene límite x. Entonces x es el supremo de A. 7