Aspectos geométricos y topológicos de las curvas α

Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. José Ignacio Übeda García Aspectos geométricos y topológicos de las curvas a-densas 9 de enero de 2006 z Universitat d'Alacant 4X //-«>s Universidad de Alicante Departamento de Análisis Matemático Trabajo dirigido por: Gaspar Mora Martínez Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. Agradecimientos Gracias a José Carlos por su ayuda con las figuras, Gregorio por su ayuda con el E^T^X, gracias a Esther por su cariño y sus ánimos, gracias a mi padre por sus consejos, gracias a mi madre por su apoyo, y, por supuesto, a Gaspar. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. índice general Agradecimientos Notación V XI 1. Introducción 1 2. Conceptos y definiciones 2.1. Conceptos básicos 2.2. Nuevos conceptos 3 3 8 3. Caracterización de los conjuntos densiñcables 3.1. Introducción. Teorema de Hahn-Mazurkiewicz 3.2. Primeras propiedades sobre la densificabilidad 3.3. Las relaciones e-aproximable y aproximable 3.4. Caracterización 3.5. Operaciones con conjuntos densiñcables 11 11 13 17 20 26 4. Curvas y funciones de Peano, derivabilidad 4.1. Teoremas de Sierpiñski 4.2. Funciones de Morayne 4.3. Funciones de Morayne con dominio [0,1] 4.4. Funciones de Morayne con dominio un intervalo no compacto 31 31 33 39 49 5. Curvas y funciones de Peano, propiedad de Lipschitz 53 6. Funciones que conservan la convexidad 6.1. Introducción 6.2. Condiciones necesarias y primeras propiedades 6.2.1. Propiedad de los segmentos en la frontera 6.2.2. Inyectividad y diferenciabilidad 59 59 59 60 62 Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. VIII índice general 6.2.3. Propiedad del rodeo 6.3. El espacio de los conjuntos convexos con la métrica Hausdoríf 6.4. La propiedad sC 6.4.1. La ampliación de un círculo 6.4.2. Sucesión sC máxima 63 66 67 69 74 7. Sucesiones de funciones a-densas 7.1. Introducción 7.2. Variación de las componentes 7.3. Ejemplos y consecuencias 81 81 85 86 8. Aplicaciones 8.1. Introducción 8.2. Preliminares y suposiciones 8.3. El algoritmo para resolver desigualdades 8.4. Algoritmo para minimizar 8.5. Complementos 91 91 92 93 95 98 9. Densificación en espacios de dimensión infinita 9.1. Conceptos y resultados preliminares 9.2. Densificación débil e imágenes del intervalo [0,1] 9.3. Densificación en espacios Ip 9.4. Imagen débil estrella continua del intervalo [O, Ij 9.5. La topología a 99 99 101 102 109 110 10. Generalizaciones lO.lEspacios topológicos 10.2£spacios uniformes y casiuniformes 10.2.1Pseudo-métricas, casi-métricas y pseudo-casi-métricas 10.2.2Densificación de espacios casiuniformes 113 113 117 119 121 Programas 135 Espacios Normados 143 Referencias 145 índice alfabético 147 Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. índice de figuras 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. Tercer paso en la construcción de la curva de Osgood Tercer paso en la construcción de un conjunto con contenido interior de Jordan distinto al contenido exterior Curva 7(í) = (í, sin(27rA;í)) para A: = 3 Conjunto arcoconexo no localmente conexo y densificable Conjunto densificable pero no arcoconexo Conjunto conexo, compacto y no densificable Primer paso para la construcción de la doble tienda de campaña: (C n Q) X [-1,1] La doble tienda de campaña Unión de conjuntos densificables con intersección no vacía que no es densificable Ejemplo de intersección de conjuntos densificables que no es densificable Conjunto densificable cuya frontera no es densificable 7 7 8 14 14 16 19 20 27 27 30 16. 17. Representación de la imagen de {h^^ x h^^) o F oh 37 ip{t) con t e [-^, ^ ] 39 Tercer paso de la construcción de la variación de la escalera de Lebesgue del ejemplo 1 42 Descomposición de / según la derivabilidad de gi y la cantidad de antiimágenes 43 Descomposición de / según la derivabilidad de /¿ y la forma de Di . 45 Función gi 51 18. 19. 20. Conjunto con segmento en la frontera Triángulo 7(í,)7(a)7(6) Ampliación de la curva 7 15. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. 61 61 65 Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. índice de figuras X 21. 22. 23. 24. 25. 26. Sucesión sC con diámetro infinito Ampliación más sencilla de una sola vuelta del círculo Ampliación máxima del círculo en una vuelta Ampliación con dos conjuntos Sucesión sC con cuatro triángulos equiláteros Sucesión totalmente convexa con inradio máximo encontrado. Términos 1-3 Sucesión totalmente convexa con inradio máximo encontrado. Términos 4-6 Sucesión totalmente convexa con inradio máximo encontrado. Términos 7-9 Sucesión totalmente convexa con inradio máximo encontrado. Términos 10-12 Sucesión totalmente convexa con inradio máximo encontrado. Términos 13-15 Sucesión totalmente convexa con inradio máximo encontrado. Términos 16-18 Sucesión totalmente convexa con inradio máximo encontrado. Términos 19-21 Sucesión totalmente convexa con inradio máximo encontrado. Términos 22-24 Sucesión totalmente convexa con inradio máximo encontrado. Términos 25-27 Sucesión totalmente convexa con inradio máximo encontrado. Términos 28-30 Sucesión totalmente convexa con inradio máximo encontrado. Términos 31-33 Sucesión totalmente convexa con inradio máximo encontrado. Términos 34-36 Resultado final 79 80 40. Ejemplo de sucesión de funciones uniformemente convergentes con variación constante y cuyo límite tiene variación distinta La curva de Koch 83 88 41. Relación entre los distintos tipos de densificación 1. Función del crecimiento de la cota del diámetro según el teorema 6.22 Función del crecimiento de la cota del diámetro para la ampliación con dos conjuntos 27. 28. 29. 30. 31. 32. 33. 34. 35. 36. 37. 38. 39. 2. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. 69 70 71 72 75 75 75 76 76 76 77 77 77 78 78 78 133 141 142 Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. Notación R M"*" N Z+ C C Jn 8{x) Siá{Á) ¥T{Á} L{'y) Xn{A) var(/) B{x,r) B'{x, r) C{{X,Tx), C{X^Y) T\Y arcoco(X) H{E) dff V{X) Sy S^ Xn{A) p[K] 'D{K, I) XA {Y,TY)) Conjunto de los números reales Reales positivos {0,1,2,3,...} {1,2,3,...} Inclusión Inclusión estricta Contenido de Jordan de dimensión n Conjunto de entornos de x Adherencia de A Frontera de A Longitud de la curva 7 Medida de Lebesgue de A en W Variación de la función real / Bola abierta de centro x y radio r Bola cerrada de centro x y radio r funciones continuas de (X,7x) a {Y.Ty) funciones continuas de {X,Tx) a (Y^Ty) Topología relativa Conjunto de los subconjuntos arcoconexos de X Conjunto de cerrados y acotados no vacíos de E Distancia de Hausdoríf Partes de X Cuando S es un conjunto de pares, Sy = {{x, y) G S} Cuando S es un conjunto de pares, S^ = {{x, y) G S} Medida interior de Lebesgue en R" Polinomios con coeficientes en K Funciones derivables de Ü' en / Función característica de A Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. Volver al índice/Tornar a l´índex XII índice de figuras ac(A) Km inf var(/) Conjunto de puntos de acumulación de A Límite inferior Variación de / Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. Introducción En esta tesis se pretende hacer un estudio de los aspectos geométricos y topológicos de las curvas de Peano y de su generalización, las curvas a-densas. Comenzamos con el capítulo 2, un capitulo preliminar donde introducimos los conceptos previos. En el siguiente capítulo pasamos a caracterizar los conjuntos densificables y hacer un estudio de las propiedades de dichos conjuntos relacionándolo con los estudios hechos sobre los conjuntos de Peano. En el cuarto capítulo hacemos un estudio detallado de la derivabilidad de las funciones de Peano extendiendo así los artículos de Morayne sobre el tema, demostrando que existen funciones de Peano de un intervalo semiabierto a E^ que son derivables en todo punto en alguna de sus componentes (lo que denotaremos por funciones de Morayne). También vemos algunas condiciones que ha de cumplir una función para ser de Morayne con dominio un intervalo cerrado y cuya imagen sea E^ (si existiera). En el quinto capítulo estudiamos la relación entre las curvas a-densas y las funciones de Lipschitz. En el sexto capítulo analizamos el problema planteado por Mihalik y Wieczorek sobre si existen o no curvas de Peano tales que la imagen de un convexo sea convexa. Para ello hacemos un estudio de las sucesiones de convexos y damos condiciones necesarias para que una curva conserve los convexos. En el séptimo capítulo estudiamos que condiciones ha de cumplir una sucesión de curvas a-densas para que el límite sea una curva de Peano. Llegamos, entre otras conclusiones, a establecer que para que el límite tienda a una curva de Peano es necesario que la variación de todas las componentes sea infinito. El octavo capítulo tiene un carácter más práctico. Se aplican las curvas a-densas para la resolución de problemas prácticos. En concreto se describe un método para la resolución de desigualdades y un algoritmo para minimizar funciones. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. Volver al índice/Tornar a l´índex 2 1 Introducción En el noveno capítulo se extiende el estudio de las curvas a-densas a los espacios vectoriales de dimensión infinita viendo cuándo son a-densificables, para qué a y cuándo son de Peano. Debido a la imposibilidad de densificar la bola unidad para a < 1 generalizamos el concepto de a-densidad para poder aplicarlo en la topología débil de un espacio vectorial normado. En el último capítulo generalizamos el concepto de curvas a-densas a espacios topológicos, uniformes, casiuniformes, pseudométricos, casipseudométricos y casimétricos y obtenemos algunas relaciones entre las distintas posibilidades de densificación así como algunas condiciones necesarias o suficientes para que un conjunto sea densificable según la definición dada. Al final, en el apéndice hemos añadido un programa en c para la densificación de las bolas en l^ y para el cálculo de la cota máxima del diámetro dada por el teorema de la ampliación por dos y tres conjuntos. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. Conceptos y definiciones Dividimos el capítulo en dos secciones, en la primera recordaremos algunos conceptos ya conocidos de los espacios topológicos y los espacios métricos e introduciremos la notación que se usará a lo largo del trabajo; en la segunda introduciremos los conceptos básicos de este trabajo. 2.1. Conceptos básicos Veamos algunas definiciones básicas de espacios topológicos y espacios métricos. Definición 2.1. Sea {X,T) un espacio topológico, decimos que X es i) conexo siyA,B eT : siAnB = (¡)AA\jB = X, entonces A = XVB = X llj compacto si V{Aj}ie/ C T : si X = IJigjA entonces, 3n G ME]{¿j}^^^ C / : x = üUA^ Illj arcoconexo si Vx,y G X3^f e C([0,1],X) : 7(0) = x A7(l) = y. Veamos algunas definiciones para subconjuntos de un espacio topológico. Definición 2.2. Dado un Y Q X definimos la topología relativa como T\Y = {A^Y -.AeT}. Se comprueba fácilmente que (Y, T\Y) es un espacio topológico. Todos los conceptos y propiedades que se definen para espacios topológicos (Jí, T) pueden definirse para subconjuntos F de X, entendiendo que Y tiene la propiedad P si y sólo si (y, 7[y) tiene la propiedad P Definición 2.3. A C X es una componente conexa de X si A es conexo y, V-B ^ A : B no es conexo. Análogamente definimos las componentes arcoconexas. Denotamos por arcoco{X) el conjunto de los subconjuntos arcoconexos de X. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 4 2 Conceptos y definiciones Finalmente veamos lo que son las propiedades locales en un espacio topológico y los conjuntos precompactos en un espacio métrico. Definición 2.4. Dada una propiedad P de un espacio topológico decimos que X es localmente P si \/x G XÂ G £{x)3B G £{x) : B C AAB cumple P. En particular diremos que X es localmente conexo si \/x E X\fA e £{x)3B E £{x) : B C AA B es conexo. Definición 2.5. Sea {X, d) espacio métrico decimos que X es precompacto 5¿ Ve > 03n e N3{x,}Jî C X : X = U"î B{xj, e). Veamos ahora una distancia entre conjuntos. Definición 2.6. Sea (E, d) espacio métrico, denotamos por T~L{E) al conjunto de cerrados y acotados distintos del vacío en E, es decir 7i{E) = {A(ZE: E\A G 7^ A diam{A) < +oo A ^ 7¿ 0} donde diam(A) = sup{d{x, y) : x,y G A} y T¿ la topología determinada por la distancia d. Definimos ahora el espacio métrico {7i(E),dH) con la distancia de Hausdorff dn-.niEf ^ [O,+oo[ (A, B) ^ dniA, B) = ínf{e > O : A C [B], ABC [A],} donde [A]e — {x E E : d{x, A) < e} que es lo que llamaremos el conjunto e-paralelo de A. La exigencia en la definición de que los conjuntos sean cerrados y acotados es para que la función df{ sea una distancia. Lo que se justifica por la Proposición 2.7. Dado un espacio métrico {E,d), {7i{E),dH) es un espacio métrico. Demostración. Veamos que cumple las tres propiedades de distancia. DI V^, B G n{E) : dniA, B) > O A (dniA, B) = 0<Â = B). Si A = B, claramente dniA^B) = 0. Supongamos ahora que A ^ B y sea a G yl tal que a ^ B (si A C B procederíamos de forma análoga pero con b G B \ A), entonces, por ser B cerrado, existe un punto bo E B tal que d{a, B) = d{a, bo) > O y, por tanto, d{A, B) > 0. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 2.1 Conceptos básicos 5 D2 VA, B e H{E) : dniA, B) = duiB, A). Se sigue fácilmente de la definición. D3 VA, B,C e n{E) : dniA, C) < dniA, B) + dniB, C). Sea d = dH{A,C),e = dH{A,B),f = dH{B,C) tenemos que A C [B]^ C [[C]fl pero [[C]fl = {xex = {xex = {xex c{xex = [C]ne d{x, [C]f) < e} 3ye[C]f:d{x,y)<e} 3y e X3c e C : d{x, y) < e A d{c, y) < / } 3y e X3c e C : d{c, x) < d{x, y) + d{c, y) < e + f} y, por tanto, A C [C]e+/; análogamente C C [A]e+/ y, por tanto, tenemos la desigualdad. Una demostración distinta de la proposición previa se puede encontrar también en Kuratowski [17, pag. 214] y se propone como ejercicio en Dieudonné [9, pag. 66]. Observación 2.8. a) Si no exigimos en la definición 2.6 que los elementos de Ti.{E) sean cerrados, entonces no se cumple la propiedad DI. Ya que, todo conjunto y su adherencia tienen distancia de Hausdorfí' O y, por tanto, si un conjunto no es cerrado, él y su adherencia son distintos y su distancia es 0. Por ejemplo, ]0,1[ y [0,1] distarían O y no son iguales. b) Si no se exige que los elementos de 'H(E) sean acotados, entonces el ínfimo podría ser infinito. Así, si A no es acotado y 5 lo es, entonces Ve G [O,+CXD[: A^[BlydH{A,B) = +^. Si permitimos que la distancia sea infinita, podemos considerar H{E) como el conjunto de todos los conjuntos cerrados; nosotros trabajamos con conjuntos precompactos (que siempre tienen el diámetro finito) y no nos será necesaria esta consideración^. Definimos lo que vamos a considerar a partir de ahora una curva. ^ Para más detalle acudir a Kelley [14] y a Kuratowski [17] y [18] donde se define y se estudia una topología para subconjuntos cerrados y acotados de un espacio topológico que, en el caso de que esté dotado de una métrica y el conjunto sea compacto, coincide con ésta. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 6 2 Conceptos y definiciones Definición 2.9. Llamamos curva a toda función continua con dominio un intervalo cerrado y acotado I (en general trabajaremos con el intervalo unidad [0,1]). Al conjunto de curvas de I a un espacio topológico {X, T) lo denotaremos como C{I, {X, T)) o, si está clara la topología, C{I, X) Pasemos ahora a definir lo que es una curva de Peano o curva que llena el espacio. Definición 2.10. Decimos que una curva 7 G C{I,W^) es una curva que llena el espacio o que es una curva de Peano si Jn{'î{I)) > O, donde Jn denota el contenido de Jordan de dimensión n. Esta definición es la que da Sagan [32, pag. 5] pero, cabría esperar que dicha propiedad se mantuviera por inclusión, es decir, que si 71 es una curva que llena el espacio o de Peano y 7i(/) C 72(1) entonces, 72 es una curva que llena el espacio. Con esta definición, esta propiedad no se cumple siempre, como vemos en el siguiente ejemplo. Ejemplo 2.11. Sea ¡K la curva de Osgood^ de Sierspiñski que se construye recursivamente. En la la figura 1 se muestra el tercer paso de su construcción (para un estudio más detallado véase Sagan [32, Capítulo 8.3, página 136]). Definimos el conjunto A, ver figura 2, como el acotado por las curvas ¡K, fK&~^ Y ÍK^"^ + 1El conjunto ad{A) es compacto, conexo y localmente conexo, luego, por el teorema 3.1, existe una curva fs tal que fs{I) = ad{A). La curva fs tiene medida de Lebesgue en M^ positiva pero no es medible Riemann, con lo que el contenido interior de Jordan es distinto al exterior. Tomando una curva 71 que llene un cuadrado contenido en A, tenemos que li{I) C 7ft:(/), 7i es de Peano y 7ÍÍ no. Para evitar esta anomalía podemos redefinir las curvas que llenan el espacio como sigue: Definición 2.12. Decimos que una curva 7 G C(J, R"-) es una curva que llena el espacio si la curva tiene contenido interior de Jordan n-dimensional positivo o, lo que es equivalente, que int(7(/)) 7^ 0. Además esta definición nos permite generalizar la idea a espacios topológicos. Definición 2.13. En general dado un espacio topológico {X,T) decimos que 7 E C{I,X) es una curva que llena el espacio o una curva de Peano si int(7(/)) 7¿ 0. En particular algunos autores llaman curvas que llenan el plano a las curvas de Peano cuando el espacio final es E^, en Morayne [26] se denominan funciones tipo Peano a las funciones sobreyectivas de R en M" o en R'^ sin exigir la continuidad. ^ Decimos que una curva es una curva de Osgood si la medida de Lebesgue de su imagen es positiva. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 2.1 Conceptos básicos 7 Figura 1. Tercer paso en la construcción de la curva de Osgood. Figura 2. Tercer paso en la construcción de un conjunto con contenido interior de Jordan distinto al contenido exterior. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 8 2 Conceptos y definiciones 2.2. Nuevos conceptos En esta sección se definen los conceptos básicos de este trabajo: curva a-densa y conjunto densiñcable. Definición 2.14. Dado un suhconjunto A de un espacio métrico (X, d) y un a > O, decimos que una curva 7 G C{I, X) es a-densa en A si 7(7) C A yâ E A3t e I : d{a,'^/{t)) < a. Ejemplos 2.15. a. La curva que llena el espacio de Hilbert (ver [32, Capítulo 2]) y la curva que llena el espacio de Peano (ver [32, Capítulo 3]), son 0-densas en [0,1]^ b. La curva (í, sin{2v: • A; • í)), de / = [—1,1] en /^ con k E Z, es ^-densa (como mínimo) en P ya que los puntos más lejanos (los vértices) están a distancia no superior a ^ de la curva (ver figura 3). Figura 3. Curva 7(í) = (í,sin(27r/cí)) para k = 3. Análogamente podemos comprobar que la curva (í, cos(Trkt)) de / = [—1,1] en P es |-densa en P. Veamos lo que entendemos por conjunto densiñcable. Definición 2.16. Sea {E, d) un espacio métrico y A C E, decimos que A es densificable si Va > 037 ^ î^. A) : j es a-densa en A. Esta definición es equivalente a A es densificable si B{^n}neN ^ C(I, A) : 7„ es —densa en A. n Utilizando la definición de distancia de Hausdorff (definición 2.6) tenemos las siguientes equivalencias. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. Volver al índice/Tornar a l´índex 2.2 Nuevos conceptos 9 Proposición 2.17. Sea {E, d) un espacio métrico y A C E precompacto. Entonces 1. 7 es una curva a-densa en A si y sólo si 7(7) C A y dH{j{I), A) < a 2. A es densificable si y sólo si Va > 037 ^ C(-^) ^ ) • d,{'~'f{I),A) < a; si y sólo si ^{lAjeN ^ C{I,A) : lím7j(/) = A con la métrica de Hausdorff. donde, para que A sea cerrado, nos reducimos al espacio métrico (A, d) con la métrica inducida. Otras caracterizaciones y un estudio más detallado sobre la curvas a-densas se presentan en el artículo Mora-Cherruault [19] donde se da una caracterización de las curvas a-densas a partir de los conceptos 7-uniformemente distribuido y 7-estocásticamente independiente que son, a su vez, una generalización de los conceptos uniformemente distribuido y estocásticamente independiente que pueden encontrarse en Sagan [32, pag. 108-112]. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. Caracterización de los conjuntos densificables En este capítulo procedemos a estudiar los conjuntos densificables comparándolos con los conjuntos imágenes continuas de un intervalo compacto. En la primera sección enunciamos el teorema de Hahn-Mazurkiewicz que caracteriza los conjuntos de Peano y presentamos algunos ejemplos que clarifican el teorema. En la segunda sección establecemos algunas propiedades de los conjuntos densificables y los comparamos con los conjuntos de Peano mediante ejemplos. En la tercera sección definimos los conceptos e-aproximable y aproximable que nos servirán para la caracterización de los conjuntos densificables que damos en la cuarta sección. En la última sección estudiamos el comportamiento de los conjuntos densificables con respecto a las operaciones entre conjuntos. 3.1. Introducción. Teorema de Hahn-Mazurkiewicz Los conjuntos densificables tienen un interés muy especial ya que, aunque pueden no ser la imagen continua del intervalo [0,1] (como veremos más adelante), sí pueden ser aproximados tanto como queramos por la imagen de una curva. Para empezar enunciaremos algunos resultados importantes relacionados con la cuestión. Comenzamos enunciando el teorema de Hahn-Mazurkiewicz^ que caracteriza los conjuntos que son imagen continua del intervalo cerrado unidad: ^ Kuratowski, en [18, Página 256], lo denomina teorema de Hahn-Mazurkiewicz-Sierpinski e incluye la siguiente caracterización: un conjunto X conexo, compacto y no vacío es la imagen continua del intervalo [0,1] si y sólo si X es la unión de un numero finito de conexos y compactos de diámetro menor que e para cada e > 0. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 12 3 Caracterización de los conjuntos densificables Teorema 3.1 (Hahn-Mazurkiewicz). Sea (X, T) un espacio topológico Hausdorff. X es imagen continua del intervalo [0,1] (i.e 37 e C([0,1],X) : -/([0,1]) = XJ si y sólo si X es metrizable, compacto, conexo y localmente conexo. Para su demostración ver, por ejemplo, Sagan [32, pag 106-107] o Kuratowski [18, pag 256-257], para la demostración de la metrizabilidad ver Willard [39, página 221] o Hocking y Young [13, pag 136]. A los conjuntos que son imagen continua del intervalo [0,1] se les denomina continuos de Peano o conjuntos de Peano. El teorema de Hahn-Mazurkiewicz nos caracteriza los espacios métricos que son imagen continua del intervalo [0,1]. Si nos encontramos en cualquier espacio topológico de Hausdorff, el espacio será la imagen continua de un intervalo si y sólo si es metrizable y cumple las condiciones del teorema (para ver condiciones sobre la metrización de espacios topológicos ver Hocking y Young [13, apartados 2.9 y 2.11], Lynn y Seebach [36, Parte HI]). Veamos que la exigencia de la metrización es necesaria. Ejemplo 3.2. 1. Todo espacio topológico trivial con cardinal mayor que el continuo es compacto, conexo y localmente conexo (por ser la topología trivial) pero, sin embargo, el espacio no es imagen continua del intervalo unidad ya que ni siquiera existe una función sobreyectiva del intervalo a dicho espacio. Por supuesto estos espacios no son metrizables ya que ni siquiera son Hausdorff. 2. {P,T), el cuadrado unidad con la topología T dada por el orden (a:i,a;2) < (j/i)2/2) si y sólo si Xi < yi\/ (xi = yi /\ X2 < í/2), es un espacio topológico conexo, compacto y localmente conexo pero no es la imagen continua del intervalo unidad, ya que, no es arcoconexo (ya que toda imagen de una curva está contenida en un segmento vertical) y, por tanto, no es metrizable (de hecho, ni siquiera tiene una base numerable de abiertos). a) Conexión. Sean A., B dos abiertos disjuntos no vacíos con (O, 0) G A. Sea mi = ínf{6 : 3x : {b,x) E B} y 1712 = íní {{b : (mi, 6) G B} U {!})• Como A es abierto tenemos que (mi, 1112) ^ A y, por ser B abierto, (mi, 1712) ^ B con lo que AU B ^ í^ y, el espacio es conexo. b) Compacidad. Sea {A}¿eJ un recubrimiento por abiertos de P. Como es un recubrimiento, existe un Aj^ tal que (0,0) G Aj^. Sea Aj^ un abierto que contenga al punto (0,1). Como es un abierto existe un xi tal que ]0,xi[xl C Aj^. Si realizamos lo mismo que hemos hecho con el segmento {0} X / con la línea {xi} x / conseguimos un nuevo punto X2 y, así sucesivamente, obtendremos una sucesión de puntos crecientes que convergerá. Sea L el conjunto de todas las sucesiones definidas de esta forma. Definimos la función Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 3.2 Primeras propiedades sobre la densificabilidad 13 F : L ^ [0,1] {xn} ^ Km Xn n—*cx} y definimos y = snpF. Si y ^ 1 entonces existe un abierto A^ tal que (y, 0) G Ak, existe un (5 > O tal que ]y ~ S,y[xl c A^, existe un abierto Ak' tal que {y,l) E Ak' y nn (yi,!) e Ak' con y < yi- Como y es el supremo existe una sucesión {Xn}neN tal que y' = lím„ x„ 6]y — 5, t/]. Sea UQ tal que 2^no £]?/' ~ ^! y'[- Así existe una sucesión en L cuyos primeros términos son Xi,..., Xno, y, Vi y llegamos a una contradicción luego 2/ = 1. Luego tenemos un conjunto finito de abiertos, {Aj.jf^Q C {Ai}¿ej tal que ^^ \ Ur=iîi c: UiLoí^j} ^ -^' ^^"i^ ^^0 d^ lo^ segmentos es compacto al ser homeomorfo a / y los conjuntos son cerrados; luego tenemos una unión finita de conjuntos compactos y un subrecubrimiento finito {Aj. } para cada ji y, por tanto, el espacio topológico es compacto. c) Conexión local. Sea (ai, 02) E P y A nn entorno suyo. Si 02 ^ {0,1}, entonces podemos tomar un subentorno de (ai, 02) contenido en A homeomorfo a un intervalo de R y, por tanto, tendremos la conexión. Si a2 es O ó 1 entonces la demostración de la conexión será análoga al apartado 2a. Es fácil ver que todo continuo de Peano es arcoconexo. 3.2. Primeras propiedades sobre la densificabilidad Una vez caracterizados los conjuntos de Peano veamos, como hemos mencionado, que hay conjuntos densificables que no son imagen continua del intervalo [0,1]. Ejemplo 3.3. Conjunto conexo, localmente conexo, precompacto y no compacto que es densificable. Un ejemplo es el conjunto ]0,1[. Es densificable ya que la curva 7(í) = a í + (1 — í)(l — a) es a-densa en ]0,1[. Y no es la imagen continua de un intervalo cerrado al no ser compacto. Ejemplo 3.4. Conjunto compacto, conexo, arcoconexo y no localmente conexo que es densificable (ver figura 4). Un ejemplo es el conjunto A= [j {te^' G C : t e [0,1]} U ([0,1] x {0}). A es densificable ya que si a > O y m G Z"^ es tal que sin -^ < a, entonces la curva que recorre los segmentos {fea^* : í G [0,1]} para toda n < m es a-densa. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 14 3 Caracterización de los conjuntos densificables Figura 4. Conjunto arcoconexo no localmente conexo y densificable. La propiedad de arcoconexión tampoco es necesaria. Ejemplo 3.5. Conjunto compacto, conexo, no localmente conexo y no arcoconexo que es densificable (ver figura 5). Un ejemplo es el conjunto ^ = {(¿,sin^):íe]0,l]}U({0}x[-l,l]) 0.5 -0.5 Figura 5. Conjunto densificable pero no arcoconexo. A es densificable, ya que la curva 7(í) = (¿, sin(^.^ A ^ +(1—¿)) ^) a-densifica el conjunto cuando k es tal que {2k'K — | ) ~ ^ < a. A es compacto y conexo (véase Steen-Seebach [36, pag. 137-138, ejemplo 118]), pero no es localmente conexo (en ninguno de los puntos de {0} x [—1,1]). Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 3.2 Primeras propiedades sobre la densificabilidad 15 La conexión, que sí la hemos mantenido en los dos ejemplos anteriores, sí es necesaria para ser densificable así como también lo es la precompacidad. Proposición 3.6. Sea {X, d) un espacio métrico densificable, entonces X es conexo y precompacto. Demostración. Precompacidad: Sea e > O, veamos que existe n e N tal que n 3{x,}]^,CX:X=[JB{x,,e). i=o Sea 7 una curva |-densa en X. Como 7(/) es compacto, existen ra G N y {'tj}]=o ^ I tales que 7(/) c ü 5(7(í,)4); luego, tomando Xj = j{tj), usando la desigualdad triangular y que 7 es |-densa, n X=[JB{xj,e) 3=0 Conexión: Supongamos que X no es conexo y sean A, B dos abiertos no vacíos que formen una partición (i.e. AHB = ^ /\ AiJ B = X). Sea 6 e -B y a e ^4, como AyB son abiertos 3ei, 62 > O : S(6, d ) C S A B{a, 63) Q A. Tomando ahora una curva e-densa con e < mín{ei, £2} tenemos que 7(1) n A 7^ 0, 7(7) n i? 7^ 0 y que ^¡~^{A), 7~-^(5) es una partición por abiertos de /, lo que contradice la conexión de / y, por tanto, X es conexo. • Estas condiciones, ser conexo y precompacto, no son suficientes para ser densificable como nos muestra el siguiente ejemplo. Ejemplo 3.7. Conjunto conexo, precompacto y no densificable (ver figura 6). El conjunto S = {(í, sin \):te [-1,1] \ {0}} U ({0} x [-1,1]) es conexo (ver ejemplo 3.5) y tiene 3 componentes arcoconexas Si = { ( í , s i n ^ ) : Í G [ - l , 0 [ } 52 = { 0 } x [ - l , l ] 53 = { ( í , s i n ^ ) : Í G ] 0 , l ] } Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 16 3 Caracterización de los conjuntos densificables Figura 6. Conjunto conexo, compacto y no densificable. por lo tanto, si 7 es una curva, para algún j E {1,2,3}, 7(1) C Bj y tenemos 3 casos 1. 7(7) C 5 i Entonces (i((l,sin(l)),7(J)) > 1 y, por tanto, la curva no será a-densa cuando a< 1 2. 7(/) C B2 Entonces (¿((1, sm(l)), 7(7)) > 1 y, por tanto, la curva no será a-densa cuando a <1 3. 7(/) C B3 Entonces (i((—1, sin(—1)), 7(7)) > 1 y, por tanto, la curva no será a-densa cuando a < 1 luego no será a-densa para a < 1 y, por tanto, el conjunto no es densificable. Veamos que la densificabilidad se conserva por funciones uniformemente continuas. Teorema 3.8. Sean (X, d) y {Y, d') espacios métricos y f una función uniformemente continua de X en Y tal que f{X) = Y. Entonces si X es densificable, Y también lo es. Demostración. Sea a > O, por ser / uniformemente continua, existe un 5 > O tal que Vx, x' eX : d(x, x') <S=^ d'{f{x), f{x')) < a (1) Por ser X densificable existirá una curva 7 que sea í-densa en X, veamos que / o 7 es a-densa en Y. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 3.3 Las relaciones e-aproximable y aproximable 17 Sea y G y , por ser / sobreyectiva, existe un x G X tal que f{x) = y y, por ser 7 (5-densa, existirá un í G / tal que d{j{t), x) < S y, por tanto, d'ifoj{I),y)<d'{f{j{t)),f{x)) por (1) < a como queríamos demostrar. • Sin embargo, la continuidad no conserva la densificación (ni siquiera los homeomorfismos). Ejemplo 3.9. ]0,1[ y M son homeomorfos pero ]0,1[ es densificable y M no, al no ser precompacto. Corolario 3.10. Sean {X,d). {Y,d') dos espacios métricos y f una semejanza de razón r > O entre X eY, entonces X es densificable si y sólo si Y es densificable. Demostración. Basta aplicar que toda función semejante y su inversa son uniformemente continuas. • Corolario 3.11. La propiedad de ser densificable es métrica i.e. se conserva por isometrías. 3.3. Las relaciones e-aproximable y aproximable Para ver una caracterización de los conjuntos densificables vamos a necesitar algunas definiciones sobre relaciones Definición 3.12. Sea X un conjunto y A C X, R es una relación binaria en X si R C X X X. Denotaremos {x, y) E R por xRy. Decimos que: a.- R b.- R c- R d.- R e.- R f.-Res es es es es es reflexiva en A si^x E A : xRx simétrica en A si Va:, y E A : xRy => yRx antisimétrica en A si Vx, y E A : xRy A yRx =^ x = y transitiva en A si Vx,y,z E A : xRy A yRz =4> xRz un orden parcial en A si es reflexiva, antisimétrica y transitiva en A. superiormente consistente enY (Z X si \/x, y G Y3z G Y : xRz A yRz Veamos unas relaciones binarias entre subconjuntos de X que nos serán muy útiles para la caracterización. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 18 3 Caracterización de los conjuntos densificables Definición 3.13. Sea {X, d) un espacio métrico, A, B C X y e > 0. Decimos que A es e-aproximable por B o que B e-aproxima A y lo denotamos por A ^^ B, si yxeA: d(x, B) < e. Diremos que A es aproximable por B y lo denotamos por A O B, si Ve > OVa; € A3y e B : d{x, y) < e Observación 3.14-. Las definición de aproximable es equivalente a 1. Ve> 0\fxeA:d{x,B) 2.\/x&A: d{x, B) = 0 3.Ve>0An,B <e Í.AHQB Veamos qué propiedades cumplen las relaciones binarias C y C^. Proposición 3.15. Sea (X,d) un espacio métrico. En el conjunto V{X), la relación Q es reflexiva y transitiva y la relación C^ es reflexiva. Demostración. La propiedad reflexiva para ambas relaciones es directa. Para la propiedad transitiva de C: sean A,B.,C C X tales que AQ B y B QC, sea X & A y e > 0. Como A Q B, existe un y E B tal que d{x^ ^) < f y» como B C. C, existe un z e C tal que d(z, ?/) < | y, por la propiedad triangular, d{x, z) < e m En general, ^ y ê no cumplen ni la simetría, ni la antisimetría. Respecto a la simetría basta con analizar el ejemplo 3.5 donde Ai = {(t. seuj) : t G]0, 1]} y A2 = {0} X [—1,1] cumplen que A2 C Ai pero Ai % A2 y, por tanto, no es simétrica^. En el ejemplo siguiente podemos ver un caso donde no es antisimétrica. Ejemplo 3.16. Conjuntos que no cumplen la propiedad antisimétrica para la relación C. Sea A un subconjunto no cerrado de un espacio métrico y ad^l su adherencia, entonces AC.8iáAya.áAQA. Aún podemos ir más allá y poner un ejemplo donde los conjuntos sean disjuntos (de hecho, componentes arcoconexas distintas) . Ejemplo 3.17. La doble tienda de campaña. Comenzamos cogiendo el conjunto (CfiQ) x [—1,1] de M? donde C es el conjunto ternario de Cantor [C = {x = 032;ia;2a^3 •.. G [0,1] : Vj e Z+ : Xj G {O, 2}} donde el subíndice del O indica la base tomada). ^ Nótese que además los conjuntos elegidos son arcoconexos Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 3.3 Las relaciones e-aproximable y aproximable Figura 7. Primer paso para la construcción de la doble tienda de campaña: (C n ' 19 -1>1] Dividimos el conjunto C(IQ en Ci — {x e CCiQ : x tiene periodo de un dígito en su desarrollo ternario} y C2 = (C fl Q) \ Ci. Sea d:CnQ ^N X = 030:1X22^3 ... H-» n = mín{j EN : x = 03X1X2 . . . Xjxj^ ... xî^} i.e. n es el último dígito fuera del periodo. Acortamos levemente los segmentos, los de Ci X [—1,1] por arriba, haciendo corresponder al punto x G Ci el intervalo [—1,1 — ^ ] siendo n = d{x), y los otros por abajo, haciendo corresponder al punto X e C2 el intervalo [—1 + ^ , 1 ] siendo n = d(x). Como resultado queda el conjunto D — DiU D2 donde Di es el conjunto Ci x [—1,1] acortado y D2 es el conjunto C2 X [—1,1] acortado. Aplicamos a D una transformación F que mande el conjunto [0,1] x [—1,1] al conjunto B = {{x,y) G R^ : | | | < x < |1 — | | } de forma convexa es decir F:[0,l]x[-l,l] B I g l ^ + l l " 2"^^"^^'^^ Esta aplicación une en una componente arcoconexa a Di y en otra componente arcoconexa a, D2, es decir F(D) tiene dos componentes arcoconexas. Veamos que F{Di) C F(D2) y que F(D2) ^ F(Di). Por ser F continua basta ver que V(x, í) e DiB{yj,tj}jeN C D2 : límjôo{yj,tj) = (x,í). Sea X = O3X1X2... x^x^^ con Xk G (O, 2}, tomamos Pj = O3X1... Xj02 G C2, para j > n, (yj,t) G D2 y, por tanto, \(yj,t) — (x,í)| = \yj — x| < O3OO.. .01 = ^ —> O y, así, tenemos que F{Di) C F(D2). De una forma análoga se ve que F(D2) C F{Di). Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 20 3 Caracterización de los conjuntos densificables Figura 8. La doble tienda de campaña. Para ver que la propiedad O^ no es transitiva basta tomar los conjuntos {—e}, {0}, {e} donde {—e} e-aproxima a {0} y {0} e-aproxima a {e} pero {—e} no e-aproxima a{e} 3.4. Caracterización Veamos un lema antes de dar la caracterización. Lema 3,18. Sea (X,d) un espacio métrico. Si X es precompacto y arcoconexo, entonces es densificable. Demostración. Sea a > O, por precompacidad, 3n e N3{xj}j^Q C X\/x e X3j G {O,..., n} : d(x, Xj) < a; por ser arcoconexa, existe una curva 7 que une todos estos puntos y, por tanto, dicha curva es a-densa. • Como el ejemplo 3.5 muestra, un conjunto densificable no tiene porque ser arcoconexo. Teorema 3.19. Un espacio métrico (X,d) es densificable si y sólo si X es precompacto y, para todo e > O, 0¿ es superiormente consistente en arcoco(X). Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 3.4 Caracterización 21 Demostración. > Por la proposición 3.6 tenemos la precompacidad. Sea e > O y 7 una curva e-densa, entonces la imagen de 7 es arcoconexa y, por tanto, si A,B E arccoco(X) \/x e AU B3y G 7(/) : d{x, y) < e con lo que A C^, 7(7) y B Q^ 7(7) y, por tanto, C^ es superiormente consistente en arcoco(X). = Sea a > O, como X es precompacto, ¡y 3n e N3{x^}^==o C X : Va; e X 3 i G {O,..., n} : d{x, Xj) < -. ó Denotemos por A^^ la componente arcoconexa que contiene al punto Xj. Construimos ahora una sucesión finita de componentes arcoconexas tal que la última |-aproxime a todas. Sea AQ = AXQ y supongamos que ya hemos obtenido Aj una componente arcoconexa tal que g.g",,^ -aproxima a A.^^,..., A^;., vamos a construir la componente arcoconexa Ajî que 3^„'!!^-,i-aproxime a AXQ , •.., A^^, ^Xj+i • Como C^ es superiormente consistente, para todo e, tenemos que tomando e = ~ y los conjuntos Aj y A^-.^-^ obtenemos un Ajî que e-aproxima A^^^-^ y Aj. Luego si X e A^^ con i < j , 3yo eAj :d{x,yo) < ^ 7 ^ — ; además, 32:0 6 Aj+i : d(yo, ZQ) < j - ^ y, por tanto, 7/ ^ ^ a • 2^ + a d{x, zo) < d{x, yo) + d{yQ, ZQ) < j ^ ^ ~ + ^ 7 ^ = a-T + a2^ __ a • y+^ _ a ^ 3-2'^ ~ 3 - 2 " ~ 3 . 2"-(i+i) • ~3.2^ De esta forma conseguimos una componente arcoconexa An tal que Por el lema previo tenemos 37 G Cil,que A„) : Vx G An dix, 7(/)) < 3 • Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 22 3 Caracterización de los conjuntos densificables Esta 7 es a-densa en X, ya que, si a; G X, entonces Ol 3j e {0,..,n}Bzo e AnSto e I : d{x,Xj) < --Ad{xj,Zo) Ot < -/\d{zoríito)) 0¿ < 77; con lo que usando la desigualdad triangular d{x, 7(/)) < d{x, 7(ío)) < d(x, Xj) + d{xj, ZQ) + d{zo, 7(^0)) < «• Corolario 3.20. Sea (X, d) un espacio métrico. Si X es precompacto y, Ve > O, C^ es superiormente consistente en arcoco(X), entonces X es conexo (de hecho no hace falta considerar la precompacidad). Demostración. Véase el teorema previo y la proposición 3.6. • Corolario 3.21. Sea {X,d) un espacio métrico. Si X es precompacto y ^ es superiormente consistente en arcoco(X), entonces X es densificable. Aunque las condiciones de que C sea superiormente consistente en arcoco(X) y X precompacto no son necesarias (véase ejemplo 3.24), si exigimos ciertas propiedades a X, pasarán a serlo. Proposición 3.22. Sea {X, d) un espacio métrico, las condiciones a. X es precompacto b. C es superiormente consistente en arcoco(X) son necesarias para que X sea densificable si: 1. El conjunto de componentes arcoconexas es finito o 2. 3A 6 arcoco(X) : int(A) 7^ 0 Demostración. Veámoslo por apartados 1 Al ser Cg superiormente consistente, para todo e > O, en un conjunto finito de componentes arcoconexas, entonces C es superiormente consistente. 2 Veamos que, para el conjunto arcoconexo A que no tiene interior vacío, la componente arcoconexa D que contiene a A es un supremo respecto a la relación C. Al ser intA =^ 0 existe unx e. Ay una bola B{x. 5) contenida en A. Como X ha de ser superiormente consistente con la relación C^ para todo e, en particular Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 3.4 Caracterización 23 para los e < S, tenemos que ninguna componente arcoconexa C distinta de D cumple que A Cl^ C; por tanto la componente D cumple Ve > o v e G arcoco(X) : C ^, D y, por tanto, D es un supremo con respecto a C en arcoco(JÍ). • Analicemos unos cuantos ejemplos, Ejemplo 3.23. Conjunto densificable Y sin que exista un supremo para C. Dado un espacio vectorial topológico X, definimos las funciones ra,b -.I-^X t ^ bt + {I - t)a Que son continuas y cumplen que ra,6(0) = a y raîl) = b (parametrización estándar del segmento que une a j b). Sea X = p[M] es decir, los polinomios con coeficientes reales en la variable x. En este espacio vectorial tomamos la norma como ||-||2:p[M]-^[0,+(X)[ n j=0 Construiremos el conjunto Y por pasos como la unión del conjunto imagen de unas cuantas funciones. Para ello definimos: a) La unión de dos curvas 71, 72 G C{I, X) tales que 71 (1) = 72(0) como la curva 7i U 72 : / ^ X í 71 (2í) '^l72(2í-l) siíG[0,|] siíG[|,l] b) La unión de n curvas {7^}"^^^ como n U 7j = 71 U (72 U (73-(7n-2 U (7„„i U 7n))-)) i=i es decir U7, •.I-^X J=l ( y.í t / l_^ J OV23 ^ 1 .W í 1, /nV2" + 2i-i~l ^ 23-1 1 2"-i-l ^ 2"-i si í G [^^^j_i\ ^ ^ ] con j <n s i í G [^—^..1] Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 24 3 Caracterización de los conjuntos densificables c) La unión numerable de curvas como oo , t 2^-1-L ti-H'7,-(—H —r;— ,2^'-i-l 2^'-L con í 6 ————, ^— d) La curva restringida de 7 G C(/, X ) en [a, 6] C / como 7[a,6] • / - ^ X í ^ 7 ( ( l - í ) a + tó) Definimos por recursion múltiple las funciones p[p sij, Pij y Pi, para i,j E p'lj = p % , 'hj "--P^-\o î,j ^ + 23' X 2J x^ 1 + 2i 23 '^Pij- (1)-P¿, 3 + 1 (0) PiJ = Pi,i U s¿,i U j3._2 U ... Up'ijî U s¿j_i U p ^ P¿ = P'i,i U s¿,¿ Up-_¿+i U ... Up._¿+^-î U Si,¿+j_i Up^+^. u . . . Es fácil establecer que, para todo n y m, Pm(I) Qj- Pnil) YPn+iU) % 1 Pn{I)- Sea Para ver que Y es densificable aplicamos el teorema 3.19. Precompacto. Como Y está contenido en 00 1 U [O, ^ ] - ^ n=l ^ entonces es precompacto. Cg es superiormente consistente. Sean A, B E arcoco(F) y e > 0. Por definición del conjunto existen i,j e N tales que A C p^[I) y B C. Pj{I). Tomando k mayor que i y que j y tal que ^ < e, p¿(/) C, pfc(/) y p¿(/) C, ^^(7). Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 3.4 Caracterización 25 Para ver que Y es densificable podemos ver que está contenido en CO -I U [O, ^ ] ^ ^ n=l que es precompacto y que, para cada Pj y p^, tenemos pkil) Qx Pj{I)Veamos que UJíLi[0, •^]x'^ es precompacto. Para todo m G N se cumple que 1 OC 1 re=m+l ya que si Ej=m+i'^j^'^ ^ U^m+i[0» ^]^") entonces fc / & 1 / OC 1 , E «I ^ \/ E ^ < i/ E j=m+l y j=m+l , ^ ^ y j=m+l 1 _ i=2^+2 2^' / " 1 1 V 22-+1 - 2-+1 Sea e > O, por compacidad de Ujô[Oi é"]^'^' tenemos que existe un conjunto finito {pj{x)}"'î tal que {jBÍPj{x),l)D[J[0,hx^ (2) y tenemos que UjljO, ^]x^ C \J'^^^B{p{x),e), ya que si p(x) G Uj^JO, ¿-]a:^-', entonces p{x) = qi{x) + q2{x) con qi{x) G U^JO, ¿-ja;^ y con q2{x) G U^rn+i[0' é"]^^Por (2) existe un j G {1, 2,.... n} tal que \\pj(x) - qi{x)\\ < con lo que \\p{x) -Pjix)\\ = ||?2(a:) +qiix) ~ Pj{x)\\ < \\q2(x)\\ + ||gi(a;) - Pj{x)\\ e e y, por tanto, el conjunto es precompacto. Sin embargo, para cualquier j no se cumple p,+i(/) C ^ _ Pj{I)- Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. 2Í+2 Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 26 3 Caracterización de los conjuntos densificables En el ejemplo siguiente obtenemos un conjunto Z donde [I no es superiormente consistente. Ejemplo 3.24- Definimos, usando la notación del ejemplo anterior, Qi = P'i,i U Sí,¿ U p ^ + i U • • • U p¿_2¿-i U s¿,2¿ U p._2¿ y + 0C fc=i Ver que es densificable es análogo al ejemplo anterior. Como en este ejemplo, si tomamos A, B dos componentes arcoconexas distintas de Z, tenemos que A \^ B j^ así, no puede ser C superiormente consistente en arcoco(Z). 3.5. Operaciones con conjuntos densificables Después de haber visto una caracterización de los conjuntos densificables veamos su comportamiento respecto a algunas operaciones entre conjuntos. Veamos primero una lista de ejemplos sobre lo mal que se comportan con respecto a la unión y la intersección. Ejemplos 3.25. l) Unión de conjuntos densificables que no es densificable incluso cuando la intersección no es vacía (ver figura 9). Basta tomar A = {{t, sin | ) : t e]0,1]} U {0} x [—1,1] (como en el ejemplo 3.5) que es densificable y C = {(í,sini) : t e [-1,0[} U {0} x [-1,1] que es la reflexión con respecto al eje de ordenadas de A (por el lema 3.10 es densificable). Tendremos pues que A U C no es densificable ya que es el conjunto del ejemplo 3.7. ll) Intersección de conjuntos densificables que no es densificable (ver figura 10). Tomando D = {{t, siní) : t E [—vr, n]} y E = [—TT, TT] X {0} que son trivialmente densificables tenemos D n E = {—TT. O, TT} que ni siquiera es conexo. Ill) Intersección numerable de conjuntos encajados y densificables que no es densificable. En este caso si A„ = [B]i = {x e R'^ : d(x, B) < -} con B la del ejemplo 3.7 tenemos que estos conjuntos son densificables (de hecho son imagen continua del intervalo) y sin embargo neX+ y i? no es densificable. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 3.5 Operaciones con conjuntos densificables 27 Figura 9. Unión de conjuntos densificables con intersección no vacia que no es densificable. Figura 10. Ejemplo de intersección de conjuntos densificables que no es densificable. iv) Unión numerable de conjuntos densificables que forman una cadena respecto a la inclusión que no es densificable. Si no exigimos que se mantenga acotado entonces tomando A.^ = [0. n] bastaría. Si exigimos que además sea una sucesión uniformemente acotada podemos tomar An = [0,1] X •"•• x[0,1] X {0} X {0} X ... con lo que A„ C A„+i y U^n no es densificable (al no ser precompacto). Aún así, en el último caso, si nos encontramos en un espacio de dimensión finita (la bola cerrada es compacta) y exigimos la acotación o que la unión sea precompacta, entonces sí será densificable como veremos en la proposición siguiente. Proposición 3.26. Sea {X,d) un espacio métrico y {An}nen Q T^{X) cumpliendo que Vn e N : A„ C A^+i, An es densificable y U,igN^n es precompacto, entonces [Jnen Al es densificable. Demostración. Sea A = UneN^n- A es precompacto. Luego, dada a > O, existen {aj}j=o puntos Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 28 3 Caracterización de los conjuntos densificables tales que [jB{tj,^) 2 A; a partir de un no tendremos que si n > no, entonces {O'j}j=,o C ^ „ ; al ser An densificable habrá una curva |-densa en An^ y, aplicando la desigualdad triangular, será a-densa en A. • Corolario 3.27. Sea (X, d) un espacio métrico tal que 3x G XVr G R+ : B'{x, r) es compacta, {An}neN Q ^{^) uniformemente acotada (es decir 3M > O : Vn G 'ñAn C B{0,M)), Vn G N : A„ C An+i y An es densificable, entonces UneN^n es densificable. Demostración. Al ser uniformemente acotada 3r > O : [JneN^n ^ B(xo,r) y, como B{xo,r) es compacta, entonces [JneN^n es precompacta. • Podemos ver que si A es densificable y B también, entonces A x 5 lo es (alguna tenía que cumplirse) y que se conserva al aplicar funciones uniformemente continuas. Teorema 3.28. Sean {X,di) y {Y,d2) espacios métricos densificables. El espacio {X X Y, d) es densificable con las métricas d: {XxYf -^[0,+cx)[ {{xi,yi),{x2,y2))^ \/d1(xi,X2) + d^{iji,y2) con n G [l,+oo[ y con la métrica d dada por el supremo de las distancias {d{(xi, yi), (x2, y2)) = sup{di(a;i, X2), ¿2(2/1, ?/2)))Demostración. Sea a > O, por ser A y i? densificables, 37AeC(/,^):ái,(7A(/),^)<| (3) 37BeC(/,^):4„(7B(/),i^)<|. (4) Si / es una curva de Peano tal que / ( / ) = P, entonces (7^1 x 7^) o / es a-densa en Ax B. Sea {a,b) e Ax B, por (3) y (4), existe un (¿1,^2) G I^ tal que d{^(A{ti),a) < d{-iB{t2),b) < | ; por ser / sobreyectiva existe un í G / tal que /(í) = (¿i, ¿2) y Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 3.5 Operaciones con conjuntos densificables 29 d{{-/A X 7B) O fit), (a, b)) = ^dii'yi{ti),a)- + d2Mt2),b)^ „ a"- a'' < 2" 2"V 2^—-'^ < { / ^ = a. En el caso de que d sea la otra distancia la demostración es directa. • La operación adherencia conserva la densificabilidad ya que si una curva es a-densa en un conjunto A seguirá siendo a-densa en ad(A). El interior y la frontera no la conservan como muestra los siguientes ejemplos. Ejemplos 3.29. l) La operación interior de un conjunto no conserva la densificabilidad. El conjunto S'(0,1) U B'(2,1) es densificable, pero int(B'(0,1) U 5'(2,1) = -8(0,1) U 5(2,1)) no es conexo y, por tanto, no es densificable. ii) La operación frontera de un conjunto no conserva la densificabilidad. El conjunto A = {ix,y) e E^ : X GlO, l Í A s i n - <y < sin1-2} X 1— X tiene como frontera el conjunto 1 B = {{x, sin-) : x G]0, 1[} U {{X, sin- 1 + 2) : x e]0, ![} U ({0} X [O, 2 + sin 1]) U ({1} X [sin 1, 3]) que no es densificable {B es el conjunto de la figura 11). Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. Volver al índice/Tornar a l´índex F i g u r a 1 1 . Conjunto densificable cuya frontera no es densificable. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 4 Curvas y funciones de Peano, derivabilidad La finalidad principal de las curvas a-densas es la reducción de la dimensión del dominio mediante una composición de funciones. G. Cantor en 1878 demostró que existían funciones biyectivas del intervalo cerrado unidad / al cuadrado /^, con esto se podía reducir el estudio de P al de J, pero las funciones dadas por G. Cantor eran demasiado complicadas y el estudio no se veía reducido sino que más bien se complicaba. En 1890 Peano encontró una curva continua del intervalo unidad / al cuadrado unidad P lo que reducía la complejidad de la función. La cuestión es, ¿cuanto podemos reducir la complejidad de la función? La primera respuesta la dio E. Netto en 1879 al demostrar que no existían funciones continuas biyectivas (i.e. homeomorfismos) de / a P. En 1980 Morayne demostró que no existían funciones diferenciables y sobreyectivas de I a, P en el artículo [26] que a continuación pasamos a estudiar. Con el objetivo de reducir la complejidad, nos propusimos analizar los artículos de Morayne [26], [27] y [28] donde se estudia la diferenciabilidad de las funciones de Peano. En la primera sección enunciamos dos teoremas de Sierpiñski que serán necesarios para el resto del capítulo. En la segunda estudiamos las funciones generales de Morayne y sus reducciones al dominio ] — 1,1[ e imagen ] — 1,1[^. En la tercera las funciones de Morayne con dominio [0,1] e imagen [0,1]^. En la cuarta las funciones de Morayne con dominio un intervalo no compacto. 4.1. Teoremas de Sierpiñski Antes de empezar daremos una definición y enunciaremos dos teoremas que usaremos a lo largo de todo el capítulo, los dos teoremas son de Sierpiñski, el primero se encuentra en [35] y el segundo en [34] Definición 4.1. Sea 5* C R. Decimos que un conjunto A de R^ es.- Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 32 4 Curvas y funciones de Peano, derivabilidad 1. Til 2. 7^2 3. 7^^ 4. n% en S en S en S en S si cpt x E SCard si cpt y G SCard si cpt x e SCard si cpt X e SCard {{{x] x S) n A) {{S x {y}) H A) {{{x} x S)r\A) {{S x {y}) n A) < uj < u <ÜJ < ÜJ Donde cpt es la notación que usamos para "casi por todo" es decir, cpt x E B : P{x) quiere decir que 3C C B : m(C) = O AVx € B\C : P(x). Teorema 4.2. La hipótesis del continuo es equivalente a que, dado yl C R con cardinal c, existen dos conjuntos S,T C A'^ tales que: l.SUT = A^ 2. \/x e A, Card (({x} xA)nT)<u}, es decir T es U^ 3. \/y e A, Card ({A x {y}) nS) <ÜJ, es decir S esTZ'^. Teorema 4.3. Sea ^ C R con cardinal c y S C A^ tal que, para todo x E A, Card (({x} x ^ ) D 5*) < o;, entonces, existe un subconjunto finito Ai de A tal que, para todo x E A\Ai, Card {(A x {x}) n (A"^ \ S)) > uj; es decir si S, T son una partición de A^ y S es TZi entonces T no es 71% y, Por tanto, tampoco es 7?.2. Análogamente pasaría con las rectas horizontales {si T es 7Z2 y S UT = A^, entonces S no es TZi). Corolario 4.4. Sean A,BCR con cardinal c y S,T C A x B tal que S es IZi y SUT = Ax B, entonces T no es 7^^. Demostración. Supongamos que T es TZ^. Como Ay B tiene el mismo cardinal existe una biyección q: B —^ A. Definimos S' = {{x,q{y)):{x,y)ES}, T'={{x,q{y)):{x,y)ET] así, S' \JT' = A?, S' es TZi y T' es 7^2 ô que supone una contradicción con el teorema previo. • Por comodidad, en este capítulo, denotaremos, para cada y E M., Sy = {x : (x, y) E S} y, para cada x E R, S"^ = {y : (x, y) E S). Con estos dos teoremas, tomando y4 = R, tenemos que el plano R^ se puede dividir en dos conjuntos disjuntos S y T tales que todas las rectas horizontales cortan a 5" en un conjunto numerable {Card {Sy) <OJ) y todas las rectas verticales cortan a T en un conjunto numerable {Card{T^) < u) y, además, el conjunto de rectas horizontales que cortan a 5 un número finito de veces es, a lo sumo, numerable {Card {{y : Card{Sy) < o;}) < u¡) y análogamente para las rectas verticales Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 4.2 Funciones de Morayne. 33 4.2. Funciones de Peano diferenciables en todo punto en alguna componente: funciones de Morayne. En esta sección vamos a estudiar la construcción de funciones de Peano diferenciables y, en particular, la reducción al intervalo ] — 1,1[. Empezamos definiendo las funciones de Peano tal y como son consideradas por Morayne. Definición 4.5. Definimos las funciones de Peano como funciones de M en M? sobreyectivas. Notar que no se está exigiendo la continuidad. Definimos ahora las funciones de Morayne. Definición 4.6. Sea X,Y, Z C. R. Diremos que una función G:X^Y xZ es de Morayne si es sobreyectiva y, para cada t E X ó gi ó g2 son diferenciables en t. Al conjunto de puntos donde gi, i G {1,2} es diferenciable lo denotaremos por Di{G) o Di si no hay malentendidos. En el primero de sus artículos [26], Morayne demuestra que existe una función de Peano / tal que en cada punto del dominio alguna de sus dos componentes es derivable (de hecho demuestra que es equivalente a la hipótesis del continuo), es decir, existe una función de Morayne con 'R — X = Y = Z. Enunciemos el resultado y veamos la demostración para poder estudiarla con detenimiento. Teorema 4.7 (Morayne). Existe una función de Morayne deM. a R^. Demostración. Sean 5, T dos conjuntos que cumplan el teorema 4.2 para ^ = R y sea Í/?(X) = a: sin a;. Por dicho teorema, para cada tí e M, «S^ y T" son numerables. Sea Su = {yi}jez+ y T'^ = {^]}jez+- Definimos la función F como F : R -^ R2 siíG]-oo,-l[ < ((p{t),cp(t)) si te [-1,1] [{xl^{t)) si¿e]l,+oo[ Í(^(Í),<) t^ Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 34 4 Curvas y funciones de Peano, derivabilidad donde n es el número de veces que ip toma el valor u = ip{t) en ]í, - 1 [ en el primer caso y el valor v = if{t) en ]1, t[ en el tercer caso (por lo tanto u,v y n dependen de t). Claramente la función es derivable en todo punto en alguna componente y, además F{]ôo,-l[) = SyFQl,+oo[) =T (5) ya que para cualquier a; e R tenemos Card{(p'^(x)) = w, y así F(R) = R^. Así, F es de Morayne. • Para la demostración se usa la función (p{x) = a; sin a: pero se puede ver fácilmente que puede usarse cualquier función (p diferenciable cumpliendo que, para cualquier í e R, el conjunto (p^ît) es infinito (en general numerable, ya que sólo puede ser no numerable en un conjunto de medida nula, ver [33]). Con esto tenemos un número infinito no numerable (de cardinal del continuo, tomando (f)(x) = kxsinx con k e R) de funciones distintas cumpliendo esta condición. Es fácil ver que los intervalos ] — oo, —1[, ] — l , l [ y ] l , +oo[ usados en la definición de F pueden sustituirse por los intervalos ] — oo, a[, ]a, b[ y ]b, -|-(X)[ con a < b. Según la demostración la función F tiene como primera componente en ] — oo, 1] la función ¡f y, como segunda componente en [—1, -|-oo[, también la función cp. Veamos una propiedad de la función F así definida. Definición 4.8. Definimos la medida interior de Lebesgue en W^ de un conjunto A como X^{Á) = sup{A„(5) -.B CAÁ Be M{W)} donde A^(R"') denota el conjunto de conjuntos medibles de R" y Xn la medida de Lebesgue en R". Teorema 4.9. Sea F la función de Morayne del teorema 4-Z entonces Xî^Q ~ oo, ![)) = Xl(FQ — 1, oo[)) = 0 y los conjuntos F(] — oo, 1[) y F(] — 1, oo[) no son medibles. Demostración. El último teorema de [26] nos dice que si una función cumple la condición de diferenciabilidad dada y, además, una de las componentes es medible Lebesgue, entonces la medida interior de Lebesgue de la imagen es 0. Así, tomando ^1 : R -^ R 2 t ^ F(e* - 1) ^2 • R -^ R^ t ^ F{~é + 1) las función gi,g2 cumplen las condiciones del último teorema y 5'2(R) = F(] — oo, 1[), î(R) = F{] - 1, +oo[) con lo que A^(F(] - oo, 1[) = O = A^(F(] - 1, +oo[). No son medibles ya que sino R^ tendría medida 0. • Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 4.2 Funciones de Morayne. 35 Corolario 4.10. Existen dos conjuntos A,B C.R'^ tal que AU B = M.'^ y Xl{A) = XUB) = 0. A continuación vamos a estudiar qué les sucede a las funciones de Morayne cuando reducimos el intervalo a ] — 1,1[, mediante la función, por ejemplo, h(x) = r-TT, tanto en el dominio como en la imagen. |x|—1' " De esta forma tenemos una nueva función F(t) = h~^ x h~^ oFoh que cumplirá F{\ — 1,1[) =] — 1, Ip. Pero ¿cómo será la imagen de los compactos contenidos en el intervalo ] — 1,1 [? Nos preguntamos pues, si a^ —> —1 y 6^^ ^ 1, ¿F([a„, hn]) -^ Fi] — 1, ![)? Formalmente trabajamos con la distancia de Hausdorff, luego consideraremos las adherencias, y así ad{F{] — 1,1[)) = ad(] — l , l p ) = [—1,1]^. Entonces, los problemas que nos planteamos es si F{[an- hn]) -^ [—1,1]^ y si, para algún n G N, F(K,6n]) = [ - l , l F . Proposición 4.11. Sea F la restricción de la función F de Morayne,. Para todo a, 6 e] — 1,1[, si a < b, F{[a, b]) c] — 1,1[^ y su interior es vacío. Demostración. Sea el intervalo [a, b]. La imagen por h de [a, b] es un compacto de la forma [a', b'] y, por la definición de F y, en especial de (p, ver demostración teorema 4.7, hemos usado sólo un conjunto finito de la componente numerable de los conjuntos Su y T". Definimos; Fi= [j M X Su, uG[a,6] ue[a,b] Por la propia definición Fi es TZi y F2 es TZ2. Así, si Fi U F2 contiene algún abierto, entonces existe un par de conjuntos ^4 y i? de cardinalidad c tal que ^ X i? C Fi U F2, lo que supone una contradicción con 4.4. • Luego sabemos que F([a„, 6„]) no contiene ningún abierto pero ¿tendrá medida nula? Proposición 4.12. Existen ao,bo G] — 1,1[ tales que, para todo a G] — l,ao] U b G [bo, 1[ se cumple que F{[a,b]) no tiene medida 0. Demostración. Supongamos que, para todo a,b E] — 1,1[, m(F{[a,b])) = 0; en particular, para todo n e Z+, m{F{[-l + J, 1 - ¿])) = O pero, m ( F ( [ - l , 1])) = mi U n h l + ^ , 1 - -])) = 0. ~z. n n€Z+ Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. n Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 36 4 Curvas y funciones de Peano, derivabilidad Lo que contradice que m(F{[—l, 1])) = 1 • Veamos qué densidad tiene la restricción de F al intervalo [a, b] respecto a ] — 1, Ip o, al menos, alguna cota. Proposición 4.13. La densidad a de la función F, reducción de la F del teorema de Morayne, del intervalo [a, 6] a ] — 1, Ip cumple que a > máx{d{Fi{a), {-1,1}), d{Fi{b), {-1,1}) donde Fi es la primera componente de F. Demostración. Sean a' = h{a) y 6' = h{b), entonces F(K,&'])C f[ sup (^(í), ínf 0(í)] X R ) U (M X [ sup 0(í), ínf 0(í)]) con lo que la densidad será mayor o igual a la distancia del intervalo [hr\ sup íe[a',6'] m\h-\Mm)\ íe[a',6'] a los puntos -1 y 1. • La cota inferior dada en la proposición previa ¿puede alcanzarse? En la figura 12 tenemos, por las ecuaciones (5) en la página 34 , que sólo hay puntos de /i X h{S) en los brazos A,D y puntos de h x h{T) en los brazos B, C. Lema 4.14. Sea A,B CR y S,T una partición de A x B donde S y T son TZf y 7I2 respectivamente y definimos SA=\J [U] XSU ueA T ^ = U ^ " X {«}' ueB entonces SA U T^ D A X B, en particular si A — [a,b] y B = [c, d], tanto S[a,b] como Tied] son densos en [a, b] x [c, d]. Demostración. Ya que si, por ejemplo S[a^h] no fuera denso existiría una bola D en el complementario y, por (1) del teorema 4.2 (de la página 32), D C T[c,d] Y no se cumpliría (3) del mismo teorema, haciendo tender el intervalo [c, d] a R tenemos que 3ía,b] es denso en [a, b] x R. Y, haciendo tender el intervalo [a, 6] a R tenemos que T^^'^> es denso en R x [c,d]. m Para acabar esta sección vamos a construir una función de Morayne tal que su restricción tenga densidad mayor o igual que la diagonal máxima (véase figura 12), para ello elegimos, adecuadamente, el orden de los puntos de 5 y T. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 4.2 Funciones de Morayne. • . . . • ... • • • • * . • • • • . • . • • • • • •• • A • • . • • • •• •* . • . •• * • • • .• • • • • • • . " • • • • • • • . • . • .• • • • . • . . . . * • . » . ' • • • • • ' . .'. • . • ' • • • ...... ; . • • • • .. . • . . . - • . " • .. • • . • • • ' • •• * • • . • . • ; - . • • • . , • • . ••.'. . • ' • * , , . • • • . • • . • . • .» * • • • • . • • .• •• • • . • •Í • • . • •. . • .. • • . . • * . • .• . • .. . • . • • . • * • " • • • • • • ». • • • • • • • . . • , . • . • . • . • • . • • • ••• . • * • • •• • •• . . . • . . • • • • . • • • » • • • • . . • • • • . • .. • ' . • . • • • • • • • ' • # • ' • • • • ' • • • • • • • • • • . " . •• . • •• . . • '• . • • • .' . • . •, • • • ' . • • . • • . • • • .a, • • • _ • . • • 37 • • • . ' , . . .. . ..' • • • • . . • • .• . . •. .*. . . • - • • • .• . * . • • Figura 12. Representación de la imagen de (/i ^ x /i ^) o F o h Lema 4.15. Dado un conjunto A denso en M^ existe un B C A tal que B es denso en R2 í/ Vx e R : Card (5^) < 1 y Card (B) < cu. Demostración. con /c G N y j , ¿ G Z. Para cada k. i,j podemos elegir un elemento b^j = (bfji,fef^^)de A fl cf^- cumpliendo que, si i j^ i' o j ^ j ' , entonces ¿71 ¥" ^í'j'i (para ello basta dar un orden e ir eligiendo ya que, si un conjunto A es denso en R^, entonces A \ {{xjY. con n e N sigue siendo denso). La unión de todos estos puntos b^, cumple las propiedades deseadas. -ij ova Cj^j x |L2*i^' ; i . ^[ [ 2 ^ ' 2*^ L'^ 2*^ Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 38 4 Curvas y funciones de Peano, derivabilidad Lema 4.16. Sea B un conjunto abierto de M" (en general que B C ad{int{B))) y A C B denso en B, entonces existe {An}nen disjuntos dos a dos tal que, para todo n, An es denso en B. Además, podemos hacer que UneN^n = ^• Demostración. Sea ^j r^l ^1 ~r -L r '~îl,...,irr - L^' r^n ^n ~r J- r 2Ú ^^ " • ^ ^2^' 2^' ^ con ¿ 1 , . . . , ¿„ G Z y j G M tenemos que C¡^^,,,î^ fl A = 0 o Card {C¡^^,„î^ Ci A) > u así, podemos elegir para j = 1 un elemento de cada C¡^ j ^ . Sea A\ el conjunto de todos estos puntos. Ahora, podemos elegir para j = 2 dos elementos de cada Cii,...,in 'i^^ ^° estén en A\ definir una de las elecciones como Al y la otra como Al- Supongamos que, para m < j , hemos construido los conjuntos y4^,..., A!^. Los conjuntos A^,... ,A-j se construyen eligiendo en cada C¿^_..._i„ cuya intersección con A no es vacía, j elementos que no estén en Ui=i Uf=i A[ y poniendo estos elementos en A ] , . . . , Aj respectivamente. Definiendo Aj = [JkLj î obtenemos un conjunto {AJ}JQZ+ numerable de conjuntos densos. Ahora el conjunto {A'j}j^x+ tal que A[ = AiU {A\ \Jjez+ ^j) Y) psiva, j > 1, A'j = Aj, es un conjunto numerable de conjuntos densos en A cuya unión es A. m Proposición 4.17. Existe una ordenación de Su y T'" tal que la función F restringida a [—;;^^, ^¡f^] 65 an-densa, con a^ — 2Zr+i (^'^ diagonal representada en la figura 12). Demostración. Para facilitar los cálculos consideraremos la función del teorema de Morayne definida en los intervalos ] — oo, —7r[, [—TT, TT], JTT, +CX)[ con lo que, - F([~7r,7r]) = { ( í , í ) : í e [ - 7 r , 7 r ] } - F([2n7r, (2n + l)7r]) = {(4^, u)eT -.ue [-2n7r, (2n + l)7r]} y - F([(2n + l)7r, (2n + 2)7r]) = {(4„+i, u) e T : M G [-(2n + l)7r, (2n + 2)7r]} con n e Z+. Como T es denso en R^ (lema 4.14) existe un subconjunto denso A C 5' tal que Card{A^) < 1, por el lema 4.15. Aplicando el lema previo existe un conjunto numerable {Aj}j^^ cuya unión es A. Reordenando los puntos de S^ para que Aj C {(«, x^) G S} tenemos que F([(2n+ l)7r, 2n7r]) es denso en [-(2n + l)7r, 2n7r] x M y F([2n7r, (2n + l)7r]) es denso en [-2n7r, (2n + l)7r]} x E. Trabajando de forma análoga con la parte negativa de F se obtiene una función de Morayne que es densa en la "cruz" para cada intervalo [—n7r,n7r]. Ahora, como h X h y h son homeomorfismos tenemos el resultado deseado. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 4.3 Funciones de Morayne con dominio [0,1] Figura 13. <^(í) con t£[~^, 4.3. 39 ^^] Funciones de M o r a y n e con dominio [0,1] En esta sección estudiamos la existencia o no de una función de Morayne de [0,1] a [0,1]^, por tanto, si no se especifica lo contrario, consideraremos las funciones de [0,l]a[0,l]2. Definición 4.18. Dos intervalos Ii, I2 están separados si /i U I2 no es conexo. Para empezar daremos algunas definiciones y enunciaremos un resultado de Saks [33, página 278]. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 40 4 Curvas y funciones de Peano, derivabilidad Definición 4.19. Sea A un conjunto cualquiera y B un espacio de medida, decimos que una función f : A —^ B sobreyectiva cumple: 1. la 2. la 3. la 4. la condición condición condición condición Ti (de Banach) si y sólo si cptb G B : Card{f~^{h)) < LJ, T2 (de Banach) si y sólo si cpt& e B : Card{f~^{h)) < LO, T[ si cpt b E B : Card {f~^{b)) > ui y, Tg si cpt6 e B : Card{f~^{b)) > u. Las definiciones de Ti y To fueron dadas originalmente por Banach en [1] y son estudiadas, por ejemplo, en Sacks [33, Section 9.6]. El resultado de Sacks es Teorema 4.20. Sea J un intervalo cerrado y f E C(J, M), / cumple la condición Ti si y sólo si la imagen del conjunto de los puntos de no diferenciabilidad es de medida 0. Lema 4.21. ¿"ea x,y,a,b,c,d G M con x < y, e E M"*", M = máx{a,6} y m = mínja, 6}, entonces existe una función f derivable tal que f{x) = a,f{y) = 6, f'{x) = c, f'{y) = d y\/z G [x, y]f{z) e [m — e, M + e]; además, si {b — a)d > O, entonces \/z G [x, y]f{z) e [m — e,M] y si [b — a)c > O, entonces V2; G [x, y]f{z) G [m, M + e] Demostración. Basta considerar la función siní en [—7r,7r], multiplicar por constantes, sumarle constantes, recortar y empalmar para conseguir la función deseada. • Corolario 4.22. Sea K C I compacto. Entonces no existe ninguna función g G 'D{K,iy que cumpla la condición T{. Demostración. Analizando la demostración del teorema [33, Section 9.6] podemos ver que la única propiedad usada de J es que es compacto. Pero, veamos otra demostración del corolario. Sea h una función derivable de / en /, creciente estrictamente y con derivadas en O y 1 igual a 0. Supongamos que g G D{K, I) cumple T{ en K, entonces hog cumple la condición T¡ en K ya que Card {{h o g)^^{t)) = Card {g~^{h~^(t))) > u y además, si g{t) G (0,1}, entonces {h o g)'{t) = h'{g{t))g'{t) = 0. Por el lema previo, podemos extender hogs, una función / G T>{I,I). Dicha función no existe por el teorema 4.20 con lo que tenemos una contradicción y, por tanto, no existen tales funciones. • Veamos la relación entre las propiedades Ti, T2, T[ y T2 y TZi,1Z2, Tli y T^f • t Denotamos por V^K, I) las funciones derivables á& K en I Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 4.3 Funciones de Morayne con dominio [0,1] 41 Proposición 4.23. Sea A C R y G = (91,92) : A —> E^ entonces: 1. 9i 92 9i 92 9i 92 9i 92 es Ti si es Ti si es T2 si es T2 si es Ti si es T[ si es T2 si es T2 si y y y y y y y y sólo sólo sólo sólo sólo sólo sólo sólo si si si si si si si si G{A) G{A) G{A) G{A) G{A) G{A) G{A) G{A) es TZi, es 7I2, es TZi, es 72.2? no es TZi, no es 7I2, no es TZi y no es 7^2 • Demostración. Sea Xo e K, G{A) n {{xo} xR) = {{x,y):3teA: G{t) = {x, y)} n {{XQ X M) = {{xo,y) •.3teA:G{t) = {xo,y)} = {iXo,92{t)) : 9i{t) = xo} ^{{xo,g2{t)) : t e9i\xQ)} luego, para todo x e M, Gard{G{A) f] {{x} x R)) = Card {9iîx)) análogamente, para todo t/ e M, Card{G{A) fi (R x {y})) — Card [g2^{y)). Con esto y las definiciones de Ti, 72, T{ y Tg y Tî, 7?.2, T^f y 7^2 se deduce la demostración. • Veamos algunos ejemplos sobre el cardinal de las antiimágenes. Ejemplo 4-24- 1- Existe una función derivable h que no es constante en ningún intervalo y tal que 3x G h{I) : Card {h~^{x)) = c. Tomando la función a la que, en cada intervalo eliminado en la construcción del conjunto de Cantor, le "ponemos" una función cuyo valor y el de su derivada en ^1 1 los extremos es cero pero que en el interior sea distinto de cero (como ei-' <), entonces dicha función cumple las hipótesis (ver figura 14) para x = 0. 2. Existe una función /i : / ^ / tal que el conjunto donde h tiene derivada O es denso y Vx G / : h~^{x) > u. Tomando la escalera diabólica de Lebesgue (o una función estrictamente creciente que tenga derivada O casi por todas partes [12, página 55]) entre [O, |] y otra vez, pero en decreciente entre [|, |] y así sucesivamente. Notar que dicha función no es continua en 1. Lema 4.25. Sea G una función de Morayne y definimos los conjuntos Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 42 4 Curvas y funciones de Peano, derivabilidad r\ y V /x X z\ y z. \ zx Figura 14. Tercer paso de la construcción de la variación de la escalera de Lebesgue del ejemplo 1. iV, = {y G / : Card [gT\y) n A ) > -^} M, = {yel: Card {cir\y) n A ) < ^} L, = {yel: Card (gr\y) D A ) = cu} k = {yel: Card {gi\y) n A ) < oj} entonces m{Ni) = m{li) = O y, además Card{li) < LO. Demostración. Como gi es derivable en A cumple la condición A de Banach por el teorema 4.20, luego m{N,) = O (6) Veamos que Card{li) . Supongamos que Card{li) haríamos para I2); por la definición de /i se cumple que > u (análogamente Vye/i,í?r'(2/)nA = {í,}^=o con lo que, para todo y E h, G ( A ) n ( { y } x [ 0 , l ] ) = {G(t,)}^=o (7) a su vez, si definimos Ai = G{Di) fl {li x [0,1]) tenemos que Aj U A2 = ¿i x [0,1] con la cardinalidad de la intersección de cada recta paralela al eje de abscisas con Ai finita por la igualdad 7. Entonces, por teorema 4.3, el cardinalidad del conjunto de Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 4.3 Funciones de Morayne con dominio [0,1] 43 rectas paralelas al eje de ordenadas cuya intersección con A2 tiene cardinal menor o igual que uj ha de ser finita, con lo que m(M2) = O y m(A^2) = 1 lo que supone una contradicción con (6). Así, Card{li) < LO y, por tanto, m{li) = 0. • En la figura 15 podemos observar la descomposición del intervalo según el lema previo. Conjuntos de medida luila Conjuntos numerables !?i(í) = I 9i{Di) gi{D2) Mi Li ;, Figura 15. Descomposición de / según la derivabilidad de gi y la cantidad de antiimágenes. Teorema 4.26. Sea G una función de Morayne, entonces Di y D2 no cumplen que 3{/;},e. C A : U ^ =^ ¿e{i,2};jeJ siendo B intervalos (pudiendo ser un punto) y J un conjunto de índices a lo sumo numerable. Demostración. Supongamos que existen tales {Ij}jeJ para i E {1,2}. Sea A el conjunto de los extremos de los intervalos que, al ser a lo sumo numerable, lo escribimos como A = {xjIjgM, sea e > O y sea {¿j}jgi^ tales que Vi G B{xj, 6j), \gd(j)(t) - gd(j)ixj)\ < - ^ (8) donde d(j) es la coordenada donde Xj es derivable y, si es en las dos, la primera. El conjunto / \ U J G N B{XJ,5J) es compacto y, a su vez, se divide en dos conjuntos compactos Ki = Di\ \Jj^^ B(xj,Sj) con i E {1.2}. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 44 4 Curvas y funciones de Peano, derivabilidad Por un lado^ G(B(xj,Sj)) C Bandad^j)(G{xj), ~j) con lo que G ( U Bixj,d,)) j€N C U iJaníia.üjíG'GT,), ^[ jen -^ y, como la medida exterior de G{[jj^^B{xj,5j)) es menor o igual que e y, así P \ G([jjeNBiXj.Sj)) contiene un subconjunto Ax B con /I y i? de cardinal mayor q u e üJ. Por otro lado, el conjunto G{Ki) es TZi y G{I\2) es 7^.2, por el corolario 4.22 y la proposición 4.23. Así si A x B C G{Ki U ií'2) = G{Ki) U G'(A'2) tenemos una contradicción con el corolario 4.4. • Notar que en la demostración del teorema podemos considerar las bandas tal que su anchura sea tan pequeñas como queramos (anchura e > O para cualquier e) con lo que la imagen de G se divide en dos conjuntos, G(Di) y G{D2) que son IZi y TÍ2 respectivamente. Corolario 4.27. Sea G una función de Morayne, entonces tanto Di como D2 no son unión de intervalos (no degenerados). Demostración. I = Di UD2. Supongamos que cada D¿ es unión de intervalos, entonces como / no es unión disjunta no numerable de intervalos podemos poner tanto Di como D2 como un conjunto infinito numerable de intervalos. • Si analizamos los conjuntos D¿ de una función G podemos descomponerlos en una unión de intervalos y un conjunto con interior vacío i.e. Di=[jIjUA, jGN trabajando como en el teorema previo podemos ver que en el conjunto X = Ujen^j U UjeN^j- ia imagen por G, cumple que G([jjeN^j) ^s TZi y G(\JjeN^j) es 7?.2. ¿Que pasará en ^ = I\X? En este conjunto, que será unión numerable de intervalos y de conjuntos densos en ningún punto, se cumplirá que tanto Di Pi A como D2nA serán densos en los intervalos de A. Así, usando que toda función continua y derivable en un conjunto denso tiene el conjunto de puntos de discontinuidad de ^ Bandai{{x,y),S) es la banda horizontal (vertical) de anchura 2S y {x,y) esta en la recta central de la banda cuando ¿ = 2 (i = 1). Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 4.3 Funciones de Morayne con dominio [0,1] 45 primera categoría^, tenemos que el conjunto de discontinuidades de gi y g2 en A es de primera categoría (ver [3, página 125]). De esta forma tenemos una nueva descomposición del intervalo unidad como muestra la figura 16 donde Cj = {í G / : gi es continua en t} y (Di \ D2) \Ci y {D2 \ Di) \ C2 son de primera categoría, y la medida de la imagen de Di (1 D2, (D2\-Di)nC2 y (Di\D2)nCi es 0. Luego, en principio, la imagen de los conjuntos (Di\D2)\Ci y D2\Di\C2 ha de rellenar prácticamente todo el cuadrado unidad. Conjuntos cuya imagen tiene medida nula Conjunto.s de primera catcígoría A X Di Di \ D2 D2 Di n D2 ' \ {P}..\P.?).DS.] í/'?}.!\.'?íí).\í{l D2 \ Di 7^ (í^?.\.í?í.).C;í:? i!î\/M\S'^ Figura 16. Descomposición de / según la derivabilidad de /¿ y la forma de DÍ Aunque un conjunto de primera categoría es topológicamente pequeño puede ser, respecto a la medida de Lebesgue, tan grande como queramos, como muestra el siguiente ejemplo. Otros ejemplos pueden verse en [12]. Ejemplo 4-28. Existen conjuntos densos en ningún punto contenidos en / con medida tan próxima a 1 como queramos. Sea e €]0,1[, a = 1 — e y TT-O tal que ^ < e. Sea a_i = 1 y sea ün = a + ^ — J2]ô 2no+j+i con n G N. La sucesión {a„} es decreciente y tiende a a. Sea XQ = ao y Xn+i = ^ con lo que n"=o ^j = an ~^ a. ^ Un conjunto es no-denso si su complementario es denso, ü n conjunto es de primera categoría si es unión numerable de conjuntos no-densos. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 46 4 Curvas y funciones de Peano, derivabilidad Construimos, ahora, una sucesión de conjuntos {iJ^l^gN tal Que 1. m{E^) = an-i, 3. (I \ E^) n J 7^ 0 si J es un intervalo de longitud mayor que ^ , 4. E^ es compacto, para eso, definimos las semejanzas fr{t) = ^ y /r(^) = 1 — y de razón r, JP^. = / , U / ; , ES = Iy El = F,,o...oF,Sl) donde la unión de funciones está definida en el ejemplo 3.23. Veamos, por inducción que {E^}ntm cumple las condiciones deseadas. Para el caso E^ las cuatro condiciones se cumplen trivialmente. Supongamos que se cumple para n, para n + 1 nos quedará: 1. m(K+i) = m(F,„o...oF,„^,(/)) = m{F,, o . . . o F.„(/,„^,(/))) + m{F,, o . . . o F.„(/:„^,(/))) = m(F., o . . . o F . „ ( ^ / ) ) + m(F.„ o . . . o F.„(l - ^ / ) ) = ^ m ( F , „ o . . . o F,„(/)) + ^ m ( F . , o . . . o F,„(/)) = a:n+im(E^) = a„+i 2. F^+i C F^ trivial, ya que F^„+i(/) C J y, por tanto, F^^ o . . . o F,„+i(/) C F,,o...oF,Sl) 3. Supongamos que (/ \ -B^+i) fl J = 0 y J es un intervalo de longitud mayor que 2¿T, entonces y como, fxn+i{I) y fxn+ii^) son disjuntos, cerrados y contenidos en /, los dos conjuntos de la unión serán disjuntos y J estará en alguno de ellos, podemos suponer sin perdida de generalidad que está en el primero es decir pero entonces Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 4.3 Funciones de Morayne con dominio [0,1] 47 y como ~- > 2, -^—J es un intervalo de longitud mayor que ^, lo que contradice la hipótesis de inducción. 4. E^ es compacto, E^j^^ es la unión de la imagen de dos conjuntos compactos luego es compacto. Tomando E'^ = flííLi E^ tenemos que E"' es un conjunto compacto y el complementario es denso (debido a la tercera propiedad). Usando este ejemplo podemos encontrar un conjunto de primera categoría con medida 1. Ejemplo 4-29. Conjunto de primera categoría con medida 1 contenido en / . Basta tomar E = [j E"-" con a„ tendiendo a 1. Una cuestión que puede plantearse es si existen dos conjuntos Pi y P2 disjuntos no cerrados, de medida positiva, de primera categoría. El siguiente ejemplo da una respuesta positiva. Ejemplo 4-30. Si tomamos un conjunto de primera categoría Qi de medida | en [O, \[ y otro Q2 en ]\, 1], Pi = Qi U [|, 1] \Q2 y P2 = Q2U [O, \]\Qi cumplen todas las condiciones. El conjunto del ejemplo previo no nos sirve para que Di = P¿ como veremos; pero, antes, un teorema de Morayne [26, página 132] Teorema 4.31. Sean / i , /2 G ^" tales que 1. fi es medible Lebesgue, 2. para todo 2; e R, existe o f[{x) o f2{x), 3- (/i,/2)(M) es medible Lebesgue en M?, entonces m((/i, /2)(M)) = 0. Teorenaa 4.32. S'ean Pi,P2 C / disjuntos no cerrados, de medida positiva, de primera categoría y tales que 3{/]}¿e{i,2},jGJ partición por intervalos de I : m(P¿n [J /]) ^ OAm(P¿n (J /j) = O Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 48 4 Curvas y funciones de Peano, derivabilidad donde J es un conjunto de índices numerable (o finito), i G {1,2} \ {i} y G = {91,92) e (/2)îuí'2 sohreyectiva con Di = Pi y D2 = P2, entonces mlG{PiUP2)) = 0. Demostración. G es de Morayne en Pi U P2; además G es medible en Pi fl U Pj ya que tiene sus dos componentes derivables salvo en un conjunto de medida nula con lo que aplicando el teorema previo m{G{Pi fl U If)) = O y, por tanto, m{G{Pi U P2)) = 0. • Así, el ejemplo 4.30 cumple las hipótesis del teorema tomando J = {1}, !{ = [0,¡]yl!=]ll]. Proposición 4.33. Sean Pi, P2 C / disjuntos y de medida positiva, entonces 3{i}}iG{i,2}jGJ partición por intervalos de I : m{Pin | J /]) 7^ OAm(P¿n [J /j) = O si y sólo si, para cada subintervalo no degenerado C de I, existe un subintervalo K de C tal que m{K n Pi) = O V m{K n P2) = O Demostración. ^ Basta coger un /j tal que C D /j 7^ 0 y tomar i í = C fl / ] . <^ Tomando IQ = I se obtiene un KQ con lo que existen dos únicos intervalos II y If tales que 1} U If U KQ = I y los tres intervalos tienen los interiores disjuntos dos a dos (podría pasar que uno de ellos fuera vacío). Repitiendo el proceso obtenemos un conjunto de intervalos que cumple la propiedad. Otra cuestión que nos planteamos es si existe un par de conjuntos Pi y P2 disjuntos no cerrados, de medida positiva, de primera categoría y tales que, para todo subintervalo no degenerado J de /, las medidas de Pi Pi J y P2 fl J son positivas. Ejemplo 4-34- Sea E el conjunto del ejemplo 4.29 y sea A un conjunto tal que, para cualquier intervalo J contenido en /, O < m{Ari J) < m{J), entonces E\Ay En A son de primera categoría, no cerrados y disjuntos y, para cualquier intervalo J no degenerado contenido en /, se cumple que m{Ar\J) > 0. ^4 puede construirse a partir de una sucesión {oj} de términos positivos y cumpliendo Y.o-j < 1- Comenzamos con £'°i y en cada intervalo máximo ]6, c[ de / \ E^'^, añadir el conjunto (6 - c)E''^ + c. Este ejemplo resuelve positivamente la última cuestión; pero plantea las siguientes cuestiones: ¿la imagen de los conjuntos E\A y E r\ A por una función Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 4.4 Funciones de Morayne con dominio un intervalo no compacto 49 derivable puede cumplir la condición T¡? ¿Si existe tal función existen funciones de Morayne? Otra propiedad importante es que los puntos de discontinuidad han de ser no evitables, al menos alguno de ellos, ya que si fueran evitables aplicando el teorema de Saks 4.20 tendríamos que no cumple que tenga infinitas antiimagenes. Teorema 4.35. Sea f E I^ con D el conjunto de puntos donde f es derivable, entonces m{f{{teac{r\y)):yeI}nD)) =0 Demostración. Si t e ac{f^\y)) yte D, entonces f'{t) = 0; si definimos H = {t e I : f{t) = 0}, por [33, Teorema 4.5 de la página 271], m{f{H)) = O y f{{t e ac{f-^{y)) : y G I}riD) C / ( í í ) ; luego m(/({í G ac{tl} -.y el A {ti} = f-\y)} H D)) = O y el teorema está probado. • Corolario 4.36. Si G es de Morayne, entonces el conjunto de puntos y en los que 9i^{y) ^ A ^'^ ^^ cerrado es no numerable. Demostración. Sean Ci con i G {1,2} dichos conjuntos. Si C¿ fuera numerable, entonces m{gi{Ci)) = O con lo que m{g{Di)) — O, ya que, por el teorema previo, víi{gi{y^{gj^{y^ fl A : 9i^{y) 1^ A es cerrado})) = 0. • 4.4. Funciones de M o r a y n e con dominio u n intervalo no compacto En esta sección estudiamos la existencia de una función sobreyectiva de J a /^, donde J es un intervalo no compacto, tal que, para cada t E J, ó bien su primera componente o bien su segunda componente es diferenciable. Primero veamos el siguiente corolario del teorema 4.7, Corolario 4.37. Existe una función de Morayne de ]a, b[ en R^ si y sólo si asumimos la hipótesis del continuo. Demostración. Basta considerar que la función arctan(c(í)) manda ]a, &[ a M de forma biyectiva y diferenciable siendo c(í) = 2 7 r ^ — TT y el teorema 4.7. • Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 50 4 C u r v a s y funciones de P e a n o , derivabilidad Corolario 4.38. Existe una función de Morayne de K en P si y sólo si asumimos la hipótesis del continuo. Demostración. Utilizando la función de Morayne definida en la demostración del teorema 4.7 pero usando la función sin j en lugar de t sin | obtenemos una función de Morayne de R a [—1,1]^; componiéndola con una semejanza contractiva podemos llevarlo a P manteniendo todas sus propiedades. • Pasamos a considerar el caso de los intervalos semiabiertos^. Teorema 4.39. Existe una función de Morayne de un intervalo semiabierto en P Demostración. Podemos suponer sin perdida de generalidad que el intervalo es [0,1[ y usando el mismo procedimiento que en los corolarios anteriores podemos considerar [—1,1]^ en vez de P. Sean S y T una partición de Sierpiñski de [—1,1]^ donde Sy, = {yi, Vu-,- • •} Y Definimos los conjuntos 2n 1 j=l ^ ' 2n+l i j =l ^' 2n+l 1 2n -¡ 2n+l 1 2n 2n+2 i -I i n 2n+l -i i T2 re L / y <-),• 5 7 y 2^' - ^ 2^ 22«+3^ CX3 / i^'l = U ^n n re=0 oo ^^ = UII n=0 oo n=0 E s t e p r o b l e m a esta p l a n t e a d o en el articulo de M o r a y n e [26] como ejercicio Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. Volver al índice/Tornar a l´índex 4.4 Funciones de Morayne con dominio un intervalo no compacto 51 f2 n=0 Y definimos las funciones g,:D[-. [-1,1] t H^ cos(27r((¿ - a) + (1 - í)(a + b))) g2:D',-.[-l,l] t ^ cos(27r((í " a) + (1 - t)(a + 6))) donde a y b dependen de í y son tales que, si í e /J-, entonces / " = [a, b[. De esta manera, gi es biyectiva de íj C /j en [—1,1]. Figura 17. Función gi En D[ \ DI podemos definir g2 como queramos y en D* definimos, para t E íj, g2{t) = yLuy, análogamente definiríamos gi en D^ usando el conjunto S2. Dicha función es la función deseada. • Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. Curvas y funciones de Peano, propiedad de Lipschitz En este capítulo estudiaremos la relación entre las funciones de Lipschitz y las funciones de Peano. En toda esta sección los espacios X e y se considerarán espacios métricos con sus respectivas métricas d y d' a la que denotaremos simplemente por d si no hay posibilidad de confusión. Comencemos con la definición de funciones de Lipschitz generalizadas. Definición 5.1. Sea f E Y-^ y /3 > O, decimos que f es /5-Lipschitz en X si y sólo si 3K e R+yx,x' e X d{f{x)J{x')) < Kd{x,x'f. Definimos el grado de Lipschitz de f como (5 — sup{/3 : / es (5-lipschitz\ G [O,+00]. Llamamos /^-constante de Lipschitz de f al ínfimo de los K G [O, +CXD] tal que Vx,x' G d{f{x)J{x')) < Kd{x,x'f. Dado un subconjunto A C X decimos que A es /9-Lipschitz con respecto & f en X si y sólo si 3K e M+Va e A\/x E X : d{f{a), f{x)) < Kd{a, xY. Decimos que el grado de Lipschitz de A con respecto a f en X es ¡3A si y sólo si A es pA-Lipschitz y y(3 > ¡3A A no es P-Lipschitz. Cuando P es 1 no se mencionará. Así f es de Lipschitz si es 1-Lipschitz. En general todo subconjunto de un espacio métrico es un espacio métrico luego si tomamos A C. X y f E Y^ podemos hablar de /5-Lipschitz de A en X o en A. Es importante distinguirlas porque en general no coinciden, por ejemplo, si consideramos A un conjunto finito de puntos, A tiene grado de Lipschitz oc en ^4 y, en general, no tiene grado de Lipschitz 00 en X. Proposición 5.2. Sea f E C{X, Y) con grado de Lipschitz ¡3f E [O, 00] en X, entonces si ¡3 > ¡3f, la (3-constante de Lipschitz es 00. Demostración. Sea (3 > i3f y S E](3f,P[ como ¡3f es el grado de Lipschitz de / , entonces / no es Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 54 5 Curvas y funciones de Peano, propiedad de Lipschitz í^-Lipschitz; luego para cada K > O existen x, x' tal que d{f{x), f{x')) > Kd{x, x'Y y así la constante es K = oo. • Definición 5.3. Dados q,r E N y a > O, definimos L^ como el espacio de las funciones acotadas de M3 en W que son a-Lipschitz y lo dotamos de la norma 11,11 . r \\f{^)'f{y)\\r / | L = max{sup 11,11 ——, . /Iloo} Lema 5.4 (Stegeman). Sea f G L'^'', si q < ar, entonces f{E3) tiene medida de Lebesgue cero en W. Demostración. Sea p G Z+, denotamos por K^^^ el cubo de arista 2p centrado en el origen, es decir, K^P^ = {x= {xi,...,Xg) : \xi\ < p}. El espacio puede expresarse como W = U ^ i K^^^ luego oo p=i Dividimos cada cubo K^^^ en (2n)^ subcubos iguales (iir^^^'')je{i,,,.,(2n)9} para n e Z+. Entonces cada subcubo K^^^^ tiene arista igual a ^ y, su imagen, f(K^P^^) C Wp donde Wp es un cubo en W con aristas igual a ||/||¿(^)'*- Por tanto, la medida de Lebesgue mifiKjf^n) < muir j j <EM/(^?^''))<(2^)1I/IIL(; j ' donde la última expresión tiende a O cuando n tiende a infinito ya que q — ar < 0. El primer resultado relacionado con las curvas a-densas, en particular la curvas de Peano, viene en el artículo de Stegeman [37] y dice que Teorema 5.5. Sea / de R a R" una función de Lipschitz con exponente (3 > -, entonces m(/(R)) = O Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 5 Curvas y funciones de Peano, propiedad de Lipschitz 55 Lo primero que vamos a ver es que esta cota es la mejor es decir existen funciones ^-Lipschitz tales que m(/(M)) > 0. Y para eso veremos, de forma constructiva, que existen funciones del intervalo unidad / en el cubo unidad I'^ que son --Lipschitz. Teorema 5.6. ¿"ea n G Z+, entonces existe f G C([0,1], [0,1]**) sobreyectiva y --Lipschitziana. Demostración. Sea /"• el cubo unidad de dimensión n y definimos, para cada ¿i, ¿2, • •., ¿n G {0,1}, las funciones Ji\...in • -' ^ X 1 Ordenamos linealmente las /¿I,Í2,...Í„ de forma que los subíndices de una función y la siguiente se diferencien en un dígito. Ejemplos de esa ordenación cuando n = 3: /00o < /ooi < /on < /01o < /no < /10o < /loi < /ni /00o < /10o < /no < /ni < /loi < /ooi < /on < /01o Definiendo / : / ^ /" X = 02nXiX2 . . . H^ limm-ôofxi O • • • O fx^{Or. tenemos que / es continua y, si dos puntos x,y distan menos que ^2"^ , entonces \fix)-f{y)\<K„ 1 n—l veces donde Kn = diám([0, 2] x [0,1] x • • • x [0,1]), ya que están en dos cubos de lado ^ consecutivos. Sean x,y £ I y m tal que 2mi+i < \x — y\ < i^-, entonces |/(x) - / ( y ) | < K^^ < Kn ( ¿ ) " < Kn {2\x - 2/|)¿ < 2Kn\x - y\-^ y / cumple el teorema. • Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 56 5 Curvas y funciones de Peano, propiedad de Lipschitz El teorema 5.6 nos da una cota del grado de una función para que la imagen sea el n-cubo. Los n-cubos son conjuntos de dimensión n así que los teoremas previos nos hacen preguntarnos si existe alguna relación entre las dimensiones del dominio y la imagen y el grado de Lipschitz. Para ello lo primero definamos la dimensión de Hausdorfi^^ Definición 5.7. Sea (X, c?) un espacio métrico y AC X. Definimos H¡{A) = ínf { Y^ diám{Ajy : {AjjjgN recubre A A diám{Aj) < S), jeN a partir de ?i|(^) definimos la medida s-dimensional de A como n%A)==límm{A)=snpn¡iA) •5^0 <5>0 y la dimensión de Hausdorff de A como dimn A = ínf{s G [O, +oo[: Ti'(A) = 0} = sup{s e [O, +oo[: Ti'iA) = oo} Veamos que relación hay entre el exponente de una función de Lipschitz y la dimensión de Hausdorff. Teorema 5.8. Sea {X, d) un espacio métrico con dimensión de Hausdorff s, (y, d') un espacio métrico cualquiera y f : X -^ Y una función p-Lipschitz, entonces la dimensión de Hausdorff de f{X) es menor que %, es decir d i m / ( X ) < I = ~^. Demostración. Sea r = ^¡3, teniendo en cuenta que diám{f{A)) < iCdiám(^)'^, se tiene n¡{f{X)) = ínf{^diám{UiY : f{X) c[jUiA diám([/,) < 5} < mf{Ydiám{f{Vi)Y : f{X) C U/(V,) A diám/(]/,) < S} < M{Y^diám{fiV^Y : X C U Vî A diám(Fi) < <mí{J2{KdiámiViY)'Í' = Kf {^Y} : X C [J 1/, A diám(l/¿) < ( - | f } mf{5](diám(Vi))'+< : Jí C y V; A d¡ám(V;) < ij^f] con lo que tenemos la demostración. • ^ existen muchas definiciones de dimensión pero para nuestro caso la que más resultados favorables nos proporciona es la dimensión de Hausdorff Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 5 Curvas y funciones de Peano, propiedad de Lipschitz Corolario 5.9. Si f es P-Lipschitz de I a W^, entonces Vs > | : W{f{U)) én particular, si ^ < n, W{f{U)) = K^ Xn{f{U)) = 0. 57 = Oj- Apurando un poco más tenemos Proposición 5.10. Sea {X,d) un espacio métrico con dimensión de Hausdorff s, (y, d') un espacio métrico y f una función cuyo grado de Lipschitz es /3 en todo a de X, entonces la dimensión de Hausdorff de f{X) es menor o igual que | , es decir, d i m / ( X ) < | . Demostración. Sea Xn = {x e Y : ^x' e X d{f{x),f{x')) < nd{x,x')'^}, entonces f{X) = UneN f{Xn) donde dim/(X^) < | ; así, como la dimensión se mantiene por uniones numerables, d i m / ( X ) < | • Corolario 5.11. Si X C M.^ y f diferenciable de X a W^, entonces d i m / ( X ) < dimX Demostración. Sea Xn una sucesión de compactos cuya unión sea X. Para cada n, f es acotada en Xn por M„, además como / es derivable existe un ¿' > O tal que, para todo x' e B{x,S), se cumple ^^^f^Zl'íf^^ < f'ix) + l = M; luego \f{x)-f{x')\ < M\x-x'\ si x' e B{x,5) Y six' ^ B(x,S), entonces ¡/(x) - f{x')\ < 2M„ < ^\x-x'\. Así, todo punto X G X„ es l-Lipschitz en Xn luego dim/(X^) < dirnX^ < dimX y, tomando uniones, d i m / ( X ) < sup dim X„ < dimX. • Ejemplo 5.12. 1. Función no Lipschitz donde en todo punto es de Lipschitz. Basta tomar la función real f{x) = e^ En este caso / tendría grado de Lipschitz infinito. 2. Función no Lipschitz con grado de Lipschitz 1. Tomando la función real f{x) = xlogx en el intervalo unidad con /(O) = 0. En este caso todo punto excepto el O es de Lipschitz y el O es ,/3-Lipschitz para todo (3 <l. Veamos ahora el siguiente resultado que nos permite calcular la dimensión de un conjunto o, al menos una doble acotación, a partir de un conjunto de dimensión conocida A y una función de Lipschitz. Pero antes veamos la definición de las funciones bi-Lipschitz generalizadas . Definición 5.13. ¿"ea f : X -^ Y y a, f3 e [O,+oc] decimos que f es a, f3bi-Lipschitz si y sólo si f es f3-Lipschitz y 3K G M+Vx, y E X : d{x, y) < Kd{f{x),f{y))'^. Consideraremos para la definición que O elevado a O es 1. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. Volver al índice/Tornar a l´índex 58 5 Curvas y funciones de Peano, propiedad de Lipschitz Cuando ¡3 = 1 las denotaremos como a-bi-Lipschitz y cuando a = (3 = 1 las denotaremos bi-Lipschitz. Definimos la segunda constante bi-Lipschitz como el ínfimo de los números reales K tales que, Vx, y G Xd(x,y) < Kd{f{x),f{y))°' Proposición 5.14. Si f G Y-^ es a, /3-bi-Lipschitz para a G]0, +OO] y (3 e]0, +oo], entonces f es inyectiva y su inversa es /?, a-bi-Lipschitz. Además, la constante ¡3Lipschitz de f~^ es igual a la segunda constante a, ¡3-bi-Lipschitz. Demostración. Sea f{x) = f{x'), entonces d{fix)j{x')r = o. Como a ^ O y d{x,x') < Kd{f{x),f{x'))°', d{x,x') = O y, así, x — x'. Por lo que / es inyectiva. Sean y, y' G f(X), entonces existen x,x' £ X tales que y = f{x) y y' = f{x'). Así, d{r\y)J-\y')) = d{x,x') < Kd{f{x)J{x')r = Kd{y,yr d{y,y') = d{f{x),f{x')) < Md{x,x'Y = MdU-\y)J-\y')f. Y /"-^ es ¡3, a-bi-Lipschitz. • Lema 5.15. Sea f una función a., (3-bi-Lipschitz biyectiva entre dos espacios métricos X eY, entonces dimX > /3dimY > a/3 dim X y a < ^. Demostración. dim X > P dim Y > a/3 dim X es un corolario de la proposición previa y el teorema 5.8 si a, /3 G]0, +OO]. Si alguno de los dos es infinito se cumple trivialmente. Como dim X > /3 dim Y >a/3 dim X tenemos que l>a(3 {o dimX = 0) y, por tanto, a < | . • Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 6 Funciones que conservan la convexidad 6.1. Introducción En este capítulo estudiamos el problema de la existencia de una curva 7 que cumpla la propiedad C, es decir, que llene el cuadrado (7(/) = P) y que, para todo intervalo [a, b] C /, j{[a, b]) es convexo. Este problema fue planteado por Mihalik y Wieczorek . Pach y Rogers construyeron en [29] una curva / que llena el cuadrado y que, para cualesquiera a, 6 G /, /([O, a]) y f{[b, 1]) son convexos. Vince y Wilson construyeron en el artículo [38] una curva / que llena el cuadrado y que, para cualquiera a E I, /([O, a]) es convexo. El problema está planteado en el libro "Unsolved problems in geometry" [8, A37]. 6.2. Condiciones necesarias y primeras propiedades En esta sección vamos a estudiar algunas condiciones que ha de cumplir una curva para tener la propiedad C. Dividimos la sección en tres partes. En la primera, se reducen las curvas que cumplen C a curvas que cumplen C y tales que la imagen del O y el 1 son vértices (en general la imagen de los puntos extremos del intervalo cerrado son vértices) y se establece la propiedad de los segmentos en la frontera que nos asegura que la imagen de un intervalo de una curva que cumple C no puede ser un segmento no incluido en la frontera de P. En la segunda, estudiamos la inyectividad y diferenciabilidad de las funciones que cumplen C, demostrando que no son inyectivas en ningún intervalo, y que no son diferenciables en ningún intervalo donde la función no es constante. En la tercera y última parte enunciamos y demostramos la propiedad del rodeo. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 60 6 Funciones que conservan la convexidad 6.2.1. Propiedad de los segmentos en la frontera Para empezar veamos el siguiente resultado, que nos reduce el estudio de la existencia de curvas con la propiedad C a curvas que tienen sus extremos en los vértices y cumplen C. Proposición 6.1. Sea 7 G C(/, P) cumpliendo la propiedad C, entonces existe un intervalo [a,b] C I y una curva r¡ G C([a,6],/^) tal que 7|[o,6] = 'r¡, ??([ci)^]) = ^ y r¡{a),rj{b) son vértices de P. Demostración. Sea 7 una curva cumpliendo la condición C y sea a = mí{t G / : -y{t) es un vértice} j b = sup{í G / : 7(í) es un vértice} con lo que 7(a) y 7(6) son vértices. Por la definición de a y 6 tenemos que en 7([a, 6]) están los cuatro vértices y, por cumplir 7 la propiedad C, P C 7([a, b]). • Corolario 6.2. Si existe una curva 7 G C(I,P) que cumple C, existe una curva r] G C{I, P) que cumple C y r]{a) y r]{b) son vértices de P. Veamos ahora la propiedad de los segmentos en la frontera Teorema 6.3. Si 7 cumple la condición C y Fr(7([a, 6])) contiene un segmento, este debe estar incluido en la frontera de P Demostración. Supongamos que existe un intervalo [a, b] y un segmento R tales que, R C Fr(7([a, 6])) y i? 2 Fr(/^)^. Podemos hacer que [a, 6] sea tal que, si [a,fe]C [c, d], entonces R % Fr(/([c, á])). Como 7(7) = /^, a > O o ¿I < 1. Denotemos por A el conjunto dado por la intersección de P con el semiplano dado por la prolongación del segmento R y que no incluya 7([a, 6]). A no es vacío por el supuesto y, en caso de que 7([a,6]) no sea un segmento, está definido unívocamente. Si 7([a, 6]) es un segmento, elegimos uno de los dos semiplanos. La imagen de [O, a\ o ]6,1] tendrá intersección no vacía con P \ A. Supongamos sin perdida de generalidad que lo cumple el intervalo [O, a[ con lo que existe, para cada e G]0, a[, un punto t^ E [a — e, a[ tal que 7(te) G A; pero como 7([íe, b]) tiene que ser convexo, entonces el triángulo j{t¿)j{a)^f{b) estará contenido en '-•f{[t¿,a]). Haciendo tender e a O tendremos una contradicción con la continuidad (ya que siempre habrá un punto que diste de 7(íe) al menos la mitad de la longitud del segmento). • Podemos deducir, como corolario, el siguiente resultado ^ Rn Fr(/ ) tiene a lo sumo dos puntos, los extremos de R Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 6.2 Condiciones necesarias y primeras propiedades 61 Figura 18. Conjunto con segmento en la frontera Figura 19. Triángulo 'y(te)yia)^{b) Corolario 6.4. Si ^¡ cumple la condición C, entonces ^f{[a.b]) no es un segmento para cualesquiera a,b G I. Demostración. Si 7([a, b]) C int{P) entonces podemos aplicar el teorema previo. En el caso en que 7([a,6]) C Fr(/^), se demuestra, de forma análoga a la demostración del teorema, que 7(7) C FT{P). m Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 62 6 Funciones que conservan la convexidad 6.2.2. Inyectividad y diferenciabilidad Teorema 6.5. Si 7 cumple la propiedad C, entonces es totalmente no inyectiva, es decir V[a, c] C / V6 GJa, c[, 7([a, 6[) n 7(]6, c]) ^ 0; además 7([a, &]) fi 7([6, c]) es conwea;». Demostración. Si la intersección es vacía, entonces están separados por un segmento lo que contradice el teorema anterior. Es convexo por ser intersección de convexos. • Teorema 6.6. Si F cumple la condición C, ninguna de sus componentes (fi, f2) puede ser inyectiva en un intervalo. Demostración. Supongamos que / i sea inyectiva en un intervalo (de forma análoga se liaría con Sea [a, b] un intervalo donde / i es inyectiva. Veámoslo por casos 1- / i y /2 son linealmente dependientes en algún subintervalo [c,d] de [a,b], es decir, en [c, d] ¡2 = xfi para algún x e M. En este caso F([c, d]) es un segmento y, por tanto, aplicando el corolario 6.4, la función F no cumple la propiedad C. 2- / i y ¡2 son linealmente independientes en todo subintervalo de [a, 6]. Como F{[a, h]) es convexo, el segmento [F{a), F{h)] está contenido en F{[a, h]). Como /i y ¡2 son linealmente independientes existe un a G [a, h] tal que F{a) no se encuentra en el segmento [F(a),F(6)] lo que nos lleva a una contradicción, ya que al ser / i inyectiva el único valor tomado en la primera coordenada sería /i(«). Teorema 6.7. Si F cumple la condición C y [a, h] C / , entonces su componente / i toma todo valor entre /i(a) y fi{b) una cantidad c de veces. Corolario 6.8. Si F cumple la condición C, entonces ninguna de sus componentes (fi) fi) puede ser monótona en un intervalo. Si a una función sólo le exigimos que cumpla la propiedad C (es decir que Va, h £ I: F{[a, b]) es convexo y F{I) = P sin necesidad de ser continua) ¿que propiedades cumplirá? Veamos que cada una de sus componentes cumple la propiedad de los valores intermedios de Darboux, es decir \/x,y el : /([x, y]) D [mín{/(x), /(y)}, máx{/(x), f{y)}]. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 6.2 Condiciones necesarias y primeras propiedades 63 Teorema 6.9. Si F = (/i,/2) cumple la propiedad C, entonces /i y /2 cumplen la propiedad de los valores intermedios. Demostración. Sea x,y e I, por ser F{[x, y]) convexo, el segmento [F{x), F{y)] C F{[x, y]), por lo tanto, [/i(x), fi{y)] Q fi{[x, y]) y se cumple la propiedad de los puntos intermedios para / i , análogo para /2. • Veamos un ejemplo de una función que cumple la propiedad C pero no es continua. Ejemplo 6.10. Sea C el conjunto de Cantor. Definimos la función sobreyectiva 5 : C -^ [0,1 l2 t = O3Í1Í2 • . • ^ ^^^'2^ •••' 2^2' '"' y F : [0,1] -. [0,1]2 ^ "*" ^ ""' \g{0'tn+itn+2 • • •) en otro caso, siendo n = máxjgz+{tj = 1} así, dado un intervalo no degenerado [a, 6] C [0,1] se tiene que F{[a,b]) 3 g{C) = P. Con lo que F cumple C. Teorema 6.11. Si F — (/i, /2) cumple la propiedad C y la función no es constante en ningún intervalo, entonces F no es diferenciable en ningún intervalo. Demostración. Sea F una función con la propiedad C y no constante en un intervalo (a, b). Como F es convexa tenemos, por el corolario 6.4 que F((a, b)) es un convexo con interior no vacío, además, por el teorema 4.31, si F es diferenciable, m{F{{a,b))) = O lo que supone una contradicción. • 6.2.3. Propiedad del rodeo En este apartado veremos la propiedad del punto rodeado que, a grosso modo, dice que cada vez que rodeamos un punto por una curva ésta ha de volver a pasar por el. Más técnicamente. Teorema 6.12. Sea 7 una función que cumple C. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 64 6 Funciones que conservan la convexidad 1. Si[a,b] C I yt e I son tales que j{[a,fe])C int{'y{[a, b+t])), entonces 7([a,fe])C -í{[b,b + t]), 2. Si[a,b] C I yt e I son tales que j{[a,fe])C mí(7([a—í, 6])), entonces 7([a,fe])C 7([a-í,a]). Demostración. Para la primera parte. Sea s £ [a,b], x = 7(5) y Rx una recta que pase por x. Dividimos la recta en dos semirectas R^ y R~ que comienzan en x. Como 7([a, fe]) C mí(7([a.fe + í])), existe un punto r+ G i?+ fl (7([a,fo + t]) \ 7([a,fe]))y otro r~ e -ñ^T fl {'j{[a,fe+ í]) \ 7([a,fe])),así, x G [r~, r+]. Sean í~, í+ G ]fe, b+t] tales que 7(í~) = r " y 7(í"'") = r+, como 7 cumple la propiedad C tenemos que [r~,r+] C 7([mín{¿~,í"'"}, máx{í~, í+j] con lo que x = 7(s) G 7([fe,fe+ í]). La segunda parte se demuestra de forma análoga. • Teorema 6.13. Sean 7 una curva que cumple C, [a,b] Q I y t E I tales que 7([a,fe])Q int{'y([a — t,b + t])), entonces 7([a,fe])C ^/([a — í, a] U [fe,fe+ í]). Demostración. Sean s e [a,b], r una recta que pase por 7(5) y Zi,Z2 los dos únicos elementos de r n Fr(7([a — í,fe+ t])). Dividimos r en dos semirectas ri, r2 tales que tengan como origen el punto 7(5) y pasen por Zi y Z2 respectivamente (ver figura 20). Si -2^1, 2^2 G 7([a — t, a]) o Zi,Z2 E 7([6,fe+ í]), entonces 7(s) G 7([a — í, a] U [fe,fe+ í]). Si zi G 7([a—í, a]) y Z2 E 7([fe, fe+í]) o viceversa (el caso contrario sería análogo) tomamos «1 = máx{a G]0, n[: r^ fl Fr(7([a — í,fe+ í])) G "•/{[a — t, a])} Pi = mm{a G] - TT, 0[: r^ n Fr(7([a - í,fe+ í])) G 7([a - í, a])} donde TQ, es la semirecta con origen en 7(í) y que forma un ángulo a con la semirecta ri. Si «1 —/5i > TT entonces existen dos puntos distintos u,v E Fr(7([a~í, a])) tales que el segmento que los une contiene a 7(5) y, por tanto, 7(5) G 7([a — í, a]). Si «1 — /5i < Tí definimos «2 y /32 de forma análoga: «2 = máx{Q; G]0, 7r[: r,, n Fr(7([a - í,fe+ í])) G 7([fe,fe+ í])} /?2 = mín{a G] - vr, 0[: r^ n Fr(7([a - í,fe+ í])) G 7([fe,fe+ í])} donde TQ, es la semirecta con origen en 7(í) y que forma un ángulo a con la semirecta r2. Como mí(7([a — í, a] U [fe,fe+ í])) contiene a 7(5), entonces «2 — /^2 > TT y, por tanto, 7(s) G 7([a — í,a]). • Veamos algunas consecuencias Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 6.2 Condiciones necesarias y primeras propiedades 65 Figura 20. Ampliación de la curva 7 Corolario 6.14. Sea 7 una curva que cumple C y t E I, si existe una sucesión monótona decreciente {tj}j^f>^ tal que i/7([í —íj+i,í + íj+i]) C int{'y{[t — tj,t + tj])), entonces f]7([í — tj,t + tj]) = 7(t). Demostración. Sea L = límtj 7^ O y supongamos que ri7([í — tj,t + tj]) 7^ 7(í). Sea pues O < diám(-y[t-~L,t+L]) . Por la continuidad uniforme de 7 al ser / compacto, existe un e < í > O tal que Vs,s' e I : \s - s'\ < S 7(s)-7(s')|| <e (9) Por el teorema previo, para todo i EN, ^{[t — L,t + L]) C ^/([t — ti,t — ti+i]U[t + ti,t + ti+i]) pero \ti — íj+il ^ O lo que contradice (9) ya que para i suficientemente grande \ti — tj+ij < S y, por tanto, 7([í — ti,t — íj+i]) y j{[t + ti,t + íi+i]) están contenidas en bolas de radio e y como e < '^"^"^(7[*---^.*+-^l) J^Q recubre j{t — L,t + L]). Corolario 6.15. Sea 7 una curva que cumple C y t E I, si existe una sucesión monótona creciente {íj}jeN ^«^ (lue y 7([í — tj,t + tj]) C mí(7([í — íj+i, t + tj+i])), entonces 7([í — to, í + ío]) = {lit)} Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 66 6 Funciones que conservan la convexidad Demostración. Supongamos que 7([í - to, í + ío]) 7^ {'^/(t)}, sea e < diám7([t -to,t + to]). Por la continuidad uniforme de 7 existe un S > O tal que Vs, s' e I:\s-s'\<S=^ tf(s) - 7(s')|| < e (10) por el teorema previo, para todo i G N, 7([í — í¿, í + U]) C j[[t — íj+i, í — í¿] U [í + íj+i,í + ti]) pero |íi — íj+il —> O lo que contradice (10). • 6.3. El espacio de los conjuntos convexos con la métrica Hausdoríf En esta sección estudiamos la relación que hay entre las curvas C y la métrica de Hausdoríf. Si 7 es una curva que cumple C, entonces la imagen de un intervalo cerrado será un convexo cerrado y, por tanto, podemos definir una aplicación de los subconjuntos convexos y cerrados de / (es decir los intervalos cerrados, que denotaremos por J ) a los subconjuntos convexos y cerrados de P, ambos dotados de la métrica de Hausdoríf, de la siguiente forma r:(I,n)^{conv{P),n) J^j{J) (11) (12) Teniendo en cuenta que las aplicaciones Ti : / X / ^ (J, Tí) (x, y) H^- [mínfx, y}, máx{a:, y}] r2:ixi-^{i,n) (x,y) ^ [\x~y\,x + y] son continuas (de hecho la primera es un homeomorfismo) obtenemos, para cada curva 7 que cumple C, las siguientes aplicaciones continuas 7i : I X I ^ {conv{P),n) {x, y) ^ 7([mín{x, y}, méx{x, y}]) Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 6.4 La propiedad sC j2-IxI^{conv{I^),n) {t,s)^-f{[\t-slt 67 + s]) Con esta segunda función, y la idea de la subsección 6.2.3, sabemos que la imagen no va a crecer por todos los lados a la vez como lo liaría la función F(í, s) = B{t,s)nP. Si empezamos con un punto y tomamos la segunda función los convexos irán creciendo de forma continua y además localmente i.e. si tomamos dos puntos cercanos s < s' el conjunto diferencia 7([í — s', í + s']) \ 7([í — s, í + s]) ha de tener diámetro menor que un e dado. Sabemos pues que si existe una curva con la propiedad C, entonces existe una función continua F de (X,Tí) en {conv{P)^'H) asociada tal que r[I) = 7(1) pero no pasa lo mismo a la inversa ya que la función r([x,y]) = B{x,y) es continua pero no existe ninguna curva 7 con la propiedad C tal que 7(1) = r{I) ya que no se cumpliría la propiedad del rodeo. ¿Que más propiedades habrá que exigirle a la función F para que tenga una 7 con la propiedad C asociada? La primeras condiciones serán que F{I) = P y que si J n / 7^ 0 entonces F{I\JJ) — F{I)[JF{J). 6.4. La propiedad sC En los artículos de Pach y Rogers [29] y de Vince y Wilson [38] se da una condición necesaria relacionada con sucesiones de conjuntos convexos. Analicemos estas condiciones. Definimos los siguientes tipos de sucesiones Definición 6.16. Dada una sucesión de convexos {An}neN (donde consideramos la posibilidad de que alguno sea el vacío) decimos que: 1. {An}n&i 6-5 unitaria si y sólo si Vn £ N : diám(A„) < 1 m 2. {An}nm 6-5 convexa creciente si y sólo si Vm G N : \J Aj ^ convi^). j=0 m 3- {An\nm 6-5 convcxa si y sólo si Vn, m G N : [j Aj G conf (M^). j=n A las sucesiones unitarias y convexas diremos que cumplen la propiedad sC así como a los conjuntos que son unión de una sucesión sC. Observación 6.17. Toda sucesión convexa es en particular convexa creciente ya que las condiciones que exigimos a las sucesiones convexas son más que las que exigimos a las convexas crecientes. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 68 6 Funciones que conservan la convexidad Observación 6.18. Las condiciones que dan Pach y Rogers y Vince y Wilson en sus respectivos artículos están sin normalizar, es decir consideran sucesiones finitas {Aj}j<n convexas o convexas crecientes con diámetro menor que e y cuya unión tenga incluida un disco unidad. Veamos que relación existe entre los distintos tipos de sucesiones y las curvas con la propiedad C. Teorema 6.19. Si existe una curva 7 cumpliendo la condición C, entonces, para cualquier M e K."*", existen sucesiones unitarias convexas (y, por tanto, crecientes convexas) {An}nen tales que B{0,M) C (JneN^nDemostración. Bastará, trasladando si fuera necesario, ver que existen sucesiones con la propiedad sC con inradio"^ mayor que M para todo M. Sea M > O y e G]0, I^[. Como 7 es continua en un compacto, 7 es uniformemente continua; luego existe un ¿ > O tal que si |a: —Í/| < (5, entonces ||7(x) — 7(y)|| < e; luego tomando una partición {O = a:o,3:i,... ,Xk-i,Xk = 1} del intervalo [0,1] tal que los puntos consecutivos disten menos que S tenemos que, si Bn = j{[xn, Xn+i]) o i?„ = 0 si n > /c, entonces la sucesión {Bn}neN cumple 1. diám(i?„) < e, para todo n EN 2. {Bn} es convexa (y, por tanto, creciente convexa) 3. mrad¿o(UnGN -^n) = inradio{P) = 1 y, tomando A^ = MB^ obtenemos la sucesión {An}neN deseada. • En un primer lugar se podría intentar acotar el diámetro de los conjuntos sC o el circunradio (radio mínimo de los círculos que lo contienen). Veamos en el siguiente ejemplo un conjunto sC con diámetro infinito y, por tanto, con circunradio infinito. Ejemplo 6.20. Usaremos para este ejemplo la notación E(/l) para la envoltura convexa del conjunto A. Definimos la sucesión de convexos ^2i = E ( { ^ + e ^ : A ; G { 0 , . . . , 5 } } î+i = E({^^ ^ + 6 6 :A;G{0,...,5}}J con j € N. Así, cada A^ es un hexágono de diámetro 1 y, además UjLnî ^^ convexo para cualesquiera n <m. En el siguiente lema estudiamos el comportamiento de subconjuntos de conjuntos sC El inradio de un conjunto A viene definido como sup{R 6 [O, +oo[: 3x e A, B{x, R) C A}. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 6.4 La propiedad sC 69 Figura 21. Sucesión sC con diámetro infinito Lema 6.21. ¿"ea {^j}jeN sC y A = UneN^n^ entonces, para todo subconjunto convexo B contenido en UneM-^n» existe una sucesión de convexos {Bj}j^^ cumpliendo sC tal que B = UneN^n? «-e. la propiedad sC es hereditaria respecto a la inclusión. Demostración. Basta tomar B^ = A^ r\ B y tener en cuenta que la intersección de convexos es convexa (seguramente aparecerán varios conjuntos vacíos pero estos conjuntos seguirán cumpliendo la propiedad y a la hora de la práctica pueden ser eliminados). • Curvas 7 parcialmente convexas, es decir tales que \/t E 1: 7([0,í]) es convexo, se describen en Pach y Rogers [29] y de Vince y Wilson [38]. La existencia de tales curvas nos asegura la existencia de sucesiones convexas crecientes unitarias de inradio tan grande como queramos (su demostración es análoga a la del teorema previo), pero, en principio, no infinita, es decir tal que contenga todo M^. Para la construcción de la curva se parte de una sucesión creciente convexa que podría extenderse hasta rellenar todo M^. Con esto tenemos que una condición necesaria para la existencia de curvas que cumplen C es que, para cada bola existan sucesiones sC que contengan dicha bola. Por tanto nos interesa encontrar un procedimiento tal que, dado un M G M"^, describa una sucesión sC {An}neN tal que el inradio de A = |J„gpj A„ sea mayor o igual que M. Sea ACM? denotamos por mr{A) el inradio de A. ¿Cuál es el valor de sup{inr(A) : A es sC}? 6.4.1. La ampliación de un círculo En esta sección estudiamos cuál es la ampliación máxima de un circulo dado de diámetro R (con R en principio considerado como un número grande) usando sucesiones de convexos sC y considerando el círculo inicial como de diámetro uno aunque no lo sea ya que, si dicho círculo no se puede ampliar, no se podrá hacer Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 70 6 Funciones que conservan la convexidad un convexo de diámetro mayor que la ampliación máxima por medio de sucesiones sC. Para empezar podemos ver que para ampliar el inradio del círculo original tenemos que cubrir un arco de longitud mayor que TIR (de hecho es una condición suficiente y necesaria con nuestras condiciones dadas). Además, como consideramos el conjunto como si tuviera diámetro 1, podemos pasar tantas veces como queramos por él. Empezamos, por tanto, con el conjunto Ai = B'{0. R) y tomamos un convexo que corte estrictamente a la frontera y que tenga diámetro 1 como A2 (podemos suponer sin perdida de generalidad que A2 está en la parte superior del circulo es decir que contiene el punto (O, R.)). El A3 podría volver a ser Ai y, después, poner otro convexo en contacto con A2 y así podemos tomar los impares como B'{0, i?) y en los pares ir avanzando como muestra la figura 22. Figura 22. Ampliación más sencilla de una sola vuelta del círculo Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 6.4 La propiedad sC 71 Veamos cuanto se puede ampliar un circulo de radio R con una sola vuelta (es decir con todos los convexos en contacto con el círculo original) para empezar veamos el diámetro máximo al añadir un único conjunto. Proposición 6.22. Dado un circulo de radio R y un convexo de diámetro menor o igual que 1. Si su unión es convexa, tiene como diám,etro, a lo sumo 4i?2 \/4ñ^^=a' Demostración. Según muestra la figura 23 Figui'a 2 3 . Ampliación máxima del círculo en una vuelta sm Q: = 2ñ eos a = \íl eos Q = 4i?2 R \z\ 2R^ Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. \/4i?2 2R Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 72 Funciones que conservan la convexidad Corolario 6.23. Si ampliarnos un círculo de radio R con convexos de diámetro menor o igual que 1 formando una sucesión en la que los términos impares sean el circulo inicial, sea convexa, entonces su unión tiene como diámetro, a lo sumo v/4i?2 - 1 Estudiemos ahora el diámetro máximo que puede tener la unión de las sucesiones convexas de un círculos Ai de radio R > \ y dos convexos A2 y A3 de diámetro menor o igual que 1. Figura 24. Ampliación con dos conjuntos Veamos que la ampliación mostrada en la figura 24 es máxima donde A2 está limitado por líneas azules y A3 por verdes. Sean A'2 y A3 otra ampliación de A^. Definimos el punto z' como el punto de tangencia entre Ai y A'2 tal que todo el conjunto A2r\fr{Ai) quede a la izquierda del punto. Podemos suponer sin perdida de generalidad que el punto de tangencia es el punto (R, 0) (haciendo una rotación si fuera necesario) y que el conjunto A'^ no contiene a dicho punto (haciendo una simetría si fuera necesario ya que si contiene los dos puntos de tangencia más alejados la ampliación no será máxima). Así tenemos que el conjunto A2 estará a Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 6.4 La propiedad sC 73 la izquierda de la recta x = R. Por otra parte si z* es el punto más distante a A tendremos dos rectas que pasan por él y son tangentes a. AiU A2. Si ambas rectas fueran tangentes & Ai o a. A2 la, ampliación estaría acotada por la misma cota que la de la ampliación con un único conjunto, luego el punto estará más lejos de A, si una de las rectas es tangente a yli y la otra a A2. Sea Z2 el punto de tangencia. El conjunto A'^ estará contenido entre las 2 rectas tangentes, además z'^ distará a lo sumo 1 del punto de tangencia con Ai y, por tanto, la distancia de z' a Ai estará acotado por las dos rectas tangentes. El ángulo será máximo en la recta del caso visto y, por tanto, es el máximo. Veamos cual es el valor del radio máximo, es decir ¡z-i]. Del triángulo 0^12:4 tal que Ozi — R, el ángulo 0012:4 es rectángulo y el ánguk ziOzi = <^^-o^3 gg gigue , , R P4 (ÔgOl^ V'eamos cuál es el valor de eos °^^"^. Como eos « 1 — «3 2 «1 as . ai «3 = eos — eos — sm — sni — 2 2 2 2 necesitamos conocer las razones trigonométricas de ^ y ^ . A partir del triángulo OZIZQ en el que se cumple que Ozi = OZQ = Ry ZIZQ = 1 que es isósceles, se sigue, si denotamos por « i el ángulo ZIOZQ, ai 1 sm — = — 2 2R de lo que sigue que ai x/4i?2 - 1 eos — = 2 2R Del triángulo Oz2Z'¿ en el que se tiene que Oz2 = \z2\, Oz^ = Ry -^2-^3 = 1, se tiene ,Q-1 cosí 2 , Q3J' \Z2\'^ + R^-1 2 Z2\R 0 = y^" / 1 - C Oc oS s22( ( y - «3) s i n ( y - «3) con lo que Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 74 6 Funciones que conservan la convexidad cosas = eos (^(-y - a-s) - —j cos( Y - «sj eos — + sin( Y - a-s) sm — |Z2P + Í ? ^ - 1 \ / 4 Í ? 2 - 1 2ko|fí y 4 ¡ Z 2 p f í 2 " |Z2|2-Í?2 + 1 1 2i? Z2 R 2R (|22P + K^ - l ) \ / 4 i F ^ + ^4|22|2i?2™ | 2 2 p - i ? 2 + l M^'AR' El valor de |2;2| se calcula a partir del triángulo rectángulo OziZ2 cuyo ángulo ZiOz2 es ^ . Obteniéndose , , R 2i?2 F2 Como eos ^ V /eos «3 + 1 ,, 2 >'' «1 — «3 eos 6.4.2. Sucesión sC sm x/4i?,2 - 1 eos 03 y ^2 —eos Q3 • \/4i?2 — 1 /eos 0:3 + 1 2i? 1 / l —cosas 2i? máxima Para acabar este capítulo mostraremos la sucesión sC con inradio máximo encontrado. La construcción de la sucesión se muestra en las figuras 26-38. La última figura nos muestra el resultado final. El diámetro es de aproximadamente L5194 unidades. Si nos quedamos en el paso 9 obtendríamos un inradio de L4434. En el caso de hacer un triángulo equilátero con cuatro triángulos equiláteros de diámetro 1 obtendríamos un inradio de 1.1547 véase figura 25. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. Figura 25. Sucesión sC con cuatro triángulos equiláteros Figura 26. Sucesión totalmente convexa con inradio máximo encontrado.Términos 1-3 Figura 27. Sucesión totalmente convexa con inradio máximo encontrado. Términos 4-i Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. Figura 28. Sucesión totalmente convexa con inradio máximo encontrado. Términos 7-9 Figura 29. Sucesión totalmente convexa con inradio máximo encontrado. Términos 10-12 Figura 30. Sucesión totalmente convexa con inradio máximo encontrado. Términos 13-15 Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. Figura 31. Sucesión totalmente convexa con inradio máximo encontrado. Términos 16-18 Figura 32. Sucesión totalmente convexa con inradio máximo encontrado. Términos 19-21 Figura 33. Sucesión totalmente convexa con inradio máximo encontrado. Términos 22-24 Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. Figura 34. Sucesión totalmente convexa con inradio máximo encontrado. Términos 25-27 Figura 35. Sucesión totalmente convexa con inradio máximo encontrado. Términos 28-30 Figura 36. Sucesión totalmente convexa con inradio máximo encontrado. Términos 31-33 Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. Figura 37. Sucesión totalmente convexa con inradio máximo encontrado. Términos 34-36 Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. Volver al índice/Tornar a l´índex F i g u r a 38. Resultado final Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 7 Sucesiones de funciones a-densas En este capítulo estudiamos la variación de las componentes de las funciones que llenan el espacio y de las sucesiones que convergen a una función que llena el espacio. Esto nos proporcionará una condición necesaria para que una sucesión de funciones a;„-densas con a„ —^ O converja a una función que tiene contenido de Jordan positivo. 7.1. Introducción Sea {7ra}n€N £ C(/, A) siendo A C E*" (en general se podría plantear para espacios métricos cualesquiera) y sea {«„} la sucesión de las densidades asociadas. La cuestión que nos planteamos es en qué condiciones se cumple lo siguiente: si a„ -^ O, entonces 7„ ^ 7 G C{I, A) y 7 es 0-densa es decir 7(7) = A. Como queremos 7(/) = A consideraremos sólo los conjuntos compactos (véase teorema 3.1). Veamos una condición necesaria pero antes unos lemas previos. Lema 7.1. Sea {/„} C R'^ ?/ / G R^, si lím,j__oo ./?i = / (como límite puntual), entonces var(/) < líminf var(/„) Demostración. Dos casos. 1. var(/) = LER Demostremos que Ve > O : var(/) — e < líminf var(/„) con lo que ya lo tendríamos. Para verlo, bastaría que Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 82 7 Sucesiones de funciones a-densas 3no e NVn > no : var(/„) > var(/) - e Sea {ífc}^^Q una partición de / tal que ¿ \f{tk) - /(4-i)i < ¿ < E \fitk) - /(4-i)l + fc=l A;=l que existe por definición de variación^. Como E |/n(4) - Uh-l)\ ^ E l/íí/i) - /(í^-l)l fc=l /c=l por ser una suma finita y el límite puntual, entonces existe un rio G N tal que V n > 77,0 E \fnitk) - fn{tk^l)\ - E l/í^'^) - /(^fc^l < (13) con lo que, para todo n > no, p V a r ( / „ ) > E \ín{tk) - fni.tk-1 k=l > E \f(tk) - /(t.-i)l - ^ > L - - - - = L - e /c=l 2 -^ 2 2. var(/) = oo Demostremos que VM > 03no G N : Vn > no : var(/„) > M. Sea M > O y {ífcj^^x ^'^^ partición de / tal que E|/(4)-/(4_i)|>M + l (14) k=l Como en (13), tomando e = 2, tenemos 3no G N : Vn > no : E l/n(ífe) - fnitk-l)\ - E l/(í^) - /(í^-l)l < 1 A;=l con lo que 1 var(/) = sup{X) |/(ífc) - /(ífc-i)l : {¿fc} es partición de / } . Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. /c=l (15) Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 7.1 Introducción 83 J2\fnitk)-fn{tk-l)\-M k=l > - l por (15) = E \fn(tk) - fn{tk-l)\ - ¿ k=l + \f{h) - f{tu-l) k=l J2\f{h)-f{tk-i)\-M k=l P por (14) k=l y, por tanto, límvar(/n) = oo • Veamos un ejemplo donde la desigualdad es estricta. Ejemplo 7.2. límn-^+oo/n = / y var(/) < líminf„_+ooVar(/„ Sea /o : / -> / 1 -| + 1 t ^ -2\ty a partir de /o definimos de forma recursiva, ¡fn-i{2t) íe[o,|] |/,_i(2í-l)íG[|,l] 0.2 0.4 0.6 O.í Figura 39. Ejemplo de sucesión de funciones uniformemente convergentes con variación constante y cuyo límite tiene variación distinta. Esta sucesión de funciones cumple que Vn G M : var(/ji) = 2 y lím /n = O con convergencia uniforme, pero 2 = líminf var(/n) > var(/) = 0. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 84 7 Sucesiones de funciones a-densas Analicemos cómo deben de ser las componentes de una función que tenga contenido de Jordan positivo. Lema 7.3. V7 e C{I, W) : L{j) < E"=i var(7j) < 72^(7) siendo 7 = ( 7 1 , . . . , 7n)Demostración. Por definición ¿(7) = supiY, hih) - 7(^-1)II2 : {4}r=o partición de / } k=l m var(7j) = sup{Y^ \lj{ik) - lj{h-i)\ • {ífc}r=o partición de / } pero sabemos que ||2;||2 < Sj=i l^^jl < Sj=i llalla = '"'Iklb con lo que obtenemos el resultado deseado. • Lema 7.4. Sea •j eC{I, / " ) . Si 7(1) = /"•, entonces \/x e Nj e {l,...,n} : Card {j~^(x)) = c. Demostración. Sea X G I, entonces, por ser •j{I) = /"•, hay infinitos, con cardinal c, puntos de la forma {xi,X2, ...,Xj-i,x,Xj+i, ...,Xn) y, por tanto, como estos pertenecen a la imagen, debe haber al menos esta cantidad en el dominio que cumplan que 7 J W = X. m Corolario 7.5. Sea 7 e C(/,]R"-). Si 7(1) = A A int{A) ^ 0, entonces existen n intervalos cerrados [ai,bi] C M. (i E {1,- • • ,n}) tal que n¿Li['^í'^j] '^ ^ y> í*^™ todo j G {1, ...,n} y todo x E [aj, bj], Card {yj~^{x)) = c. Demostración. Por contener A un abierto existe un conjunto B = HÍLIÍ^Í) h] Q ^ con Oj < hj y la demostración es análoga al lema previo como vemos a continuación. Sea X e [%-,&j], entonces hay un conjunto de puntos pertenecientes a i? de la forma (xi,X2, ...,Xj_i,3;,Xj+i, ...,0;^) con cardinal c y, por tanto, como estos pertenecen a la imagen tenemos que debe de haber al menos esta cantidad en el dominio que cumplan que 7^ (í) = x (no puede haber más ya que el cardinal de B es c). • Citamos el siguiente lema obtenido de Kharazishvili [15, pag. 208] que usaremos posteriormente. Lema 7.6. Sea f e C{[a,b],'R). Si ya,T¡â,b]if) < +00, entonces var[a,6](/) = Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. (pf{y)dy Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 7.2 Variación de las componentes 85 donde 0j : M -^ R U {+00} í +00 ^ [Card {f-l{y)) En particular, cpty E M : Card{f~^{y)) 7.2. si Card (/"I(y)) > UJ; si Card (f-l{y))<u. < u. Variación de las componentes Con los resultados vistos podemos asegurar que si una sucesión de curvas adensas converge a una curva de Peano, entonces sus variaciones tienden a infinito. Teorema 7.7. Vn > IV7 G C{I, /"•) : si j{I) = /"•, entonces var(7i) = var(72) = ... = var(7n) = 00 Demostración. Supongamos que var(7j) < +(X), entonces aplicando el lema 7.6, tenemos que, para casi todo y G E, Card (7"^ (y)) < ÚJ. Por otro lado, por el lema 7.4, para todo y G I, Card {lj''^{y)) = c, y como / no tiene medida nula se contradice la afirmación anterior. • Corolario 7.8. Vn > IV7 G C{[a,b],U]=i[aj,bj]) : si 7([a,6]) = ll]=i[aj,bj] = J, entonces var(7i) = var(72) = ... = var(7n) = CXD Demostración. Basta tener en cuenta que las traslaciones no cambian las variaciones y, las dilataciones y las contracciones las multiplican por una constante: var(/ + K) = sup{X: \f{tk) + K- (/(í,_i) + K)\ : {tk}T=o partición de 1} k=l m = s u p { ^ |/(tfc) - /(ífc_i)| : {tk}Z=o partición de / } = var(/) k=l m var(a • / ) = s u p { ^ \a • }\tk) - a • f{tk-i)\ : {tk}T=o partición de / } k=l m = s u p { ^ \a\ • \f{tk) - / ( 4 - i ) | : {tk}T=o partición de / } k=l = \a\ • var(/) Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 86 7 Sucesiones de funciones a-densas Teorema 7.9. Seam> I, ACW y {^n}n&n C C{I,A). Si-fn ^ 1 ^ int{A) 7^ 0 y 7(/) = A, entonces Vj e {1,..., m} lím„ôo var((7„)j) = oo C{I,Á), Demostración. Supongamos que var(7j) < +oo, aplicando el lema 7.6, tenemos que, para casi todo y G M, Card {ij^îv)) < <^- Por otro lado, por el corolario 7.5, si y E [ÜJ, bj], entonces Card {'yjîv)) = c y como [aj,bj] no tiene medida nula se contradice la afirmación anterior. • Corolario 7.10. Sea {-fn}neN C C{I,P). entonces \/j G {1, 2} límvar((7^)j) = 00 7.3. Si 7n ^ 7 e C(/,/2) y 7(7) = P, Ejemplos y consecuencias La consecuencia más inmediata de los resultados vistos en las secciones anteriores es que si las curvas a-densas vienen dadas en paramétricas, es decir 7j(í) = (í,/j(í)), entonces la sucesión no convergerá a una curva de Peano ya que la variación de la primera componente es 1. Ejemplo 7.11. Las curvas del ejemplo 2.15.b cumplen que, cuando k tiende a infinito, su densidad tiende a cero, pero al estar en forma paramétrica el límite no será una curva de Peano (en este caso el límite no existe). Hemos visto que si la imagen de una función tiene interior no vacío, entonces todas sus funciones componentes son de variación no acotada. Esto nos plantea la pregunta: ¿existe alguna función con todas sus componentes de variación no acotada que tenga el interior vacío? Si no exigimos nada más a las componentes la respuesta es afirmativa, ya que bastaría tomar las dos componentes iguales i.e. 71 = 72 donde la imagen estará contenida en la diagonal i.e. en {{x,x) : x G / } que, por supuesto, tiene interior vacío. Para poder contestar negativamente a la pregunta habrá que exigir cierta independencia entre las componentes o que no exista otra reparametrización de la curva que si tenga las componentes de variación acotada. Veamos ahora un ejemplo Ejemplo 7.12. Sea 7:7-^/2 ( í c o s f , í s i n ( f + | ) ) sitG]0,l] (0,0) sií = 0 Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 7.3 Ejemplos y consecuencias 87 veamos que var(7i) = var(72) = oo. Tomando las particiones {tjjJ^Q siendo to = O y tj = \ tenemos que n n E l7i(íi) - 7ife-i)| = 71 (íi) + E l7i(íi) - 7i(íi-i)| j=l Í=2 " 1 = |lcos(7r)| + E | - c o s ( 7 r j ) , "1 1 j=2 J J 1 - c o s ( 7 r ( j - 1))| "1 ^ j=l J luego la variación es infinita para la primera componente, la segunda componente es análoga. Como 7 es diferenciable en [^, 1] para todo n. aplicando el teorema 5.4 tenemos que m(7([¿, 1])) = O y, así 7(7) = {7(0)} U UnGZ+ 7([¿, 1]) tiene medida cero. Otras formas de ver que la medida es cero es aplicando el teorema 4.31 o el teorema 5.4 viendo que las componentes son L]^' con a e]l,2[. Veamos ahora un ejemplo donde la función no tiene variación acotada en ningún subintervalo y que, sin embargo, su imagen tiene interior vacío. Ejemplo 7.13. La curva de Koch. Sea /2 7 :/ ^ t = 0'^tit2 ... ^ lím/í, o...o/í„(0,0) ri—>cx3 donde Z Z ÍTT_ 1 '^r'^3 Z — ¿TT 1 Vsi z 2 z t-^ — I — 3 3 El interior de la imagen de 7 es vacío ya que su medida en M? es cero y la variación es infinita ya que tiene longitud infinita y es autosemejante. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 7 Sucesiones de funciones a-densas Figura 40. La curva de Koch Para ver un ejemplo de una sucesión de curvas a-densas que converge a una curva de Peano basta tomar las poligonales aproximantes a la curva de Hilbert como se puede ver en Sagan [32, Capítulo 2]. En general, si la sucesión de funciones converge, la constante de densificación será menor o igual que el límite de las densificaciones como se establece en el siguiente teorema. Teorema 7.14. Sea {X,d) un espacio métrico, {7n}n6N Q C{I,X) y {«„}neN íodensidad mínima de cada curva (es decir el ínfimo de los a para el cual la curva es a-densa). Si an -^ a, 7„ -^> 7 G C{I, X) y P es la densidad mínima de 7, entonces (3 < a y, si X es compacto, entonces a = (3. Demostración. Tenemos que Va; G XBt^ G / : d{'y{I),x) = d{^/{tx),x), luego « n > d{rín{I),x) = d{'-fn{.tx),x) Tomando límites obtenemos que ce > (i(7(/),x) y, como se cumple para todo x, tenemos que a > p. En el caso de que X sea compacto, a partir de Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. Volver al índice/Tornar a l´índex 7.3 Ejemplos y consecuencias 3 { í n } n e N C / , 3{Xn}nm ^ X : Qf^ = ( Í ( 7 n ( í n ) , ^n) por compacidad podemos extraer una subsucesión tal que Por lo tanto Í3 > rf(7(í),x) = límd{'ynj{tnj),Xnj) = liman = a m Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. 89 Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 8 Aplicaciones En este capítulo introducimos un algoritmo para resolver desigualdades definidas por una función real en un conjunto compacto D de un espacio métrico {E, d). Este algoritmo está basado en el articulo de Butz [6]. También mostraremos una técnica de optimización global, similar a la obtenida para las desigualdades, cuando la tolerancia r > O sea dada. 8.1. Introducción Algunos algoritmos para generar curvas que llenan el espacio han sido usados como herramienta para resolver ciertos problemas de programación matemática, como podemos ver en Bartholdi-Platzman [2], Brent [4] y Butz [5], [6] y [7]. Específicamente, en Butz [6], se estudia el conjunto X = {x e / " : f(x) < 0}, donde / es una función real definida en el hipercubo unidad / " = [O, !]"• de R*^ (n > 2). En este capítulo se describe un algoritmo que determina si X es vacío o no (por supuesto en un tiempo finito). Y en caso de no ser vacío da como resultado una sucesión que converge a algún miembro de X. La existencia del algoritmo propuesto por Butz (ver Butz [6, p.l29]) se sigue de las siguientes hipótesis sobre / : Para todo x' e X*^ (el complemento de X), O < fcix') < f{x') < K{x') • infêxWx - x'W, donde fe es continua en X'^ (no necesariamente conocida), K es una función conocida (no necesariamente continua) que satisface Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 92 8 Aplicaciones O < K(x') <L<oo y II • \\q representa la norma q (q > 1)La determinación de la función K en el conjunto X'^ es crucial para la construcción del algoritmo expuesto en dicho artículo (ver teorema de la sección 2 en [6, p.l29]) pero, para determinar la función K será necesario conocer previamente o X o X'^. Pero X es el objeto de estudio, es decir, ¡es exactamente el conjunto que uno intenta conocer! Razonablemente, podríamos objetar que este método es, al menos, oscuro en el tratamiento lógico del problema. El mencionado método también usa una curva de Peano, hn, que llena el dominio /"• y uno debe computar una constante M satisfaciendo la desigualdad \\hn{r) ~ hr,is)\\g < M\r - s\^, (16) que representa una nueva dificultad añadida a la complejidad de las curvas que llenan el espacio (ver Mora-Cherruault [20] y Sagan [32]). Ahora, nuestro propósito será el de establecer, bajo condiciones mucho más generales que las asumidas en Butz [5], un algoritmo que determine si el conjunto X definido por X = {xeD: f{x) < 0} es vacío o no, donde / es una función real en un conjunto compacto D de un espacio métrico general {E,d). Si no es vacío nos da una aproximación, todo lo buena que se quiera, de un elemento de X. En nuestro método usaremos una curva a-densa ja en vez de la curva hn de Peano que se usa en Butz [5]. 8.2. Preliminares y suposiciones Sea D un compacto densificable en el espacio métrico (E,d). Para cada curva a-densa 7 en D, que siempre la consideraremos como no constante en todo subintervalo de l \ puede enunciarse una relación mucho más general que la desigualdad (16): existe una función diámA y c¿(7(r), 7(5)) < ${\r — s\), para todo r,s E I. (17) ^ No es difícil demostrar que dada una curva 7 a-densa de X no constante, existe una curva 7' a-densa de X que no es constante en ningún subintervalo. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 8.3 El algoritmo para resolver desigualdades 93 Nuestra función objeto será una función real / definida en D para la cual se desea resolver la desigualdad f{x) < O, i.e. determinar si el conjunto X = {xeD: f{x) < 0} es o no vacío, exigiendo a / , únicamente que sea continua en la curva a-densa 7. En nuestro método será crucial determinar, para cada s e / tal que 7(5) 0 X, el número As = sup{r > O : Vi G / : 7(í) G B{-f{s),r) = ^ O < fij{t))}. Como filis)) > O, la existencia de Ag > O está garantizada por la continuidad de la composición / 0 7 en el intervalo / = [0,1] y por el hecho de que, por compacidad, podemos suponer que el radio de todas las bolas está acotado superiormente por el diámetro de D. 8.3. El algoritmo para resolver desigualdades Nuestro método se basa en el siguiente resultado Teorema 8.1. Sea D un compacto densificable en el espacio métrico iE, d), 7 una curva a-densa en D y f una función real definida en D que es continua en 7(/). Consideramos el conjunto X = {x E D : fix) < 0}, entonces la sucesión recursiva itn)neN definida como to tn+1 =0 tn si 7 ( í n ) e X mín{l,tn + ^-KAtJ}sijitn)^X ( O, entonces o 7(1) E X o 7(1) fl X = 0 II. Si para todo n EN, tn < 1, entonces la sucesión (7(ín))nGN converge a un punto X* eX Demostración. Para la parte l, asumimos que tm+i es el primer término tal que tm+i = 1- Por (18) tenemos que Vne{0,l,...,m}7(ín)^^ y además O = íi < Í2 < ... < ím < W l = 1 Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 94 8 Aplicaciones es una partición del intervalo unidad / . Sea t un punto arbitrario en [0,1[, veamos que j{t) ^ X. Supongamos que 7(t) G X y que 7(1) ^ X. De hecho, como 7(^0) ^ X, t G]0, 1[, y así hay dos puntos consecutivos tn,tn+i de la partición tales que tn < t < tn+i- Ahora, bajo la suposición de que 7(í) G X y por ser ^ estrictamente creciente y por 17, podemos escribir donde la última desigualdad se cumple ya que /(7(í)) < O y por tanto 7(í) ^ B(7(ín),AJ. Llegamos a que /(7(ín)) < fi'jitn)) que es una contradicción y, por tanto, 7(í) ^ X como queríamos y así tenemos I. Para probar ll, primero supongamos que para algún m > O tenemos tm+i = t Otra vez por (18) tenemos que, necesariamente, 7(írn) ^ X y entonces tn — tm para todo n > m. Así, en el caso de que la sucesión {7(ín)}neN sea constante a partir de un término 7(ín), trivialmente converge a un punto x* — j{tn) G X Si la sucesión (ín)neN es estrictamente creciente, entonces, como es acotada, tiene un límite en J, sea t* = lím tn, n—>oo por continuidad de 7 existe l í m 7 ( í „ ) = 7 ( í * ) = a:*. (19) n-~*oo Ahora, solo nos falta probar que x* G X. Para ver esto, supongamos que x* 0 X. Por ser {ínjneN una sucesión convergente, lím {tn+i -tn) =0 n—>oo y debido a la continuidad de O y así puede considerarse la bola abierta B{'y(tn), At„). Dado O < r < At*, por (19) y (20), se puede determinar un n suficientemente grande para que Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 8.4 Algoritmo para minimizar í^(7(0,7(í*))< A * - r 95 A„<r. Luego 5(7(ín), A J C S(7(ín),r) C S ( 7 ( r ) , A O , pero, por la definición de At^, hay algún 7(5) en B{'y{tn)-,r) y así /(7(s)) < 0; pero además 7(5) e B{'j{t*), At*) y, por la definición de At*, se cumple que /(7(s)) > O, lo que representa una contradicción. Por lo tanto, 7(í*) = x* G X y la demostración está completa. • Cuando la hipótesis de la continuidad de / en la curva a-densa se extiende a todo D, tenemos el siguiente resultado. Corolario 8.2. Sea {ja„)neN una sucesión de curvas an-densas en D, con a^ —^ O cuando n —> 00. Bajo las mismas hipótesis del teorema anterior y añadiendo la continuidad de f en D, supongamos que para cada curva janí hay un entero positivo rUn tal que í^") = 1. Entonces el conjunto XCZ/U{7a„(l)}n6N donde Zf es el conjunto de todos los ceros de f. Demostración. Aplicando la parte i del teorema previo uno tiene que o V n e N , 7 a „ ( / ) n X = 0. 7Q;„(1) G X O (21) Supongamos que hay un punto x en X tal que no pertenece al conjunto Zf U {lan{^)}neN- Entonces, necesariamente, f(x) < O y, por continuidad, existe una bola B{x, r) en D tal que f{y) < O para todo y G B{x, r), y así B{x,r) ex Como an -^ O, existe un m tal que am < r y la correspondiente curva 7Q,^ densifica D con densidad a^, por tanto, dado un punto x hay algún t G I tal que la distancia '¿(a:,7a„(í)) < a^,- Como a^ < r el punto 7a„,(í) pertenece a X, que contradice (21). • 8.4. Algoritmo para minimizar Como antes, sea D un compacto densificable de un espacio métrico (E, d) y f es una función real en D. Sea una curva 7 a-densa en D y (1? una función biyectiva Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 96 8 Aplicaciones y creciente del intervalo [0,1] en el intervalo [O, M], continua en O, y satisfaciendo la desigualdad (17). Ahora suponiendo la continuidad de / en 7(/), deseamos construir un algoritmo para aproximarnos al mínimo global de / en j{I) de la siguiente forma: Empezamos con UQ = O, XQ = 7(0), definimos _ í a;„ si f{j{Un)) > f{Xn) "^"+^-l7(«n)si /(7(«„)) < / ( x j (^c.^ ^''^ y Un^l = Un + ^~\An,r). (23) donde An,r = sup{r > O : V7(í) e B(7(M„),r),/(7(í)) - /(x„+i) + r > 0} para n G N y r > O siendo la tolerancia especificada. Obsérvese que por (22), 7(wn) satisface para todo n > O /(TK)) - f{xn+i) > O (24) y, por tanto, f{-f{Un))- f{Xn+l)+T>0 así por continuidad, cada An^r. está bien definida y es estrictamente positiva. Ahora podemos formular un teorema que nos garantice la validez del algoritmo que aproxima el mínimo global de / en una curva a-densa. Teorema 8.3. Sea f una función real en un conjunto compacto densificable D de un espacio métrico {E, d) y 'j una curva a-densa en D. Supongamos que f es continua en 7(/). Teniendo en cuenta las fórmulas recursivas anteriormente definidas (22) y (23), el limite f{x') de la sucesión / ( x ^ ) no difiere del mínimo de f en j{I), llamémosle /(7(w)), más que r. Demostración. Primero notar que, por la definición de las fórmulas recursivas (22) y (23), para todo n > O se tiene /(Xn+l) < /(Xn) (25) y, para todo j e {0,1, ...,n}, Xj e { 7 ( % ) , 7 ( Í ^ I ) , •••,7(wn)}, siempre que Ui,U2,...,Un e I = [0,1]. Además como An^T > O para todo n > O, la monotonía de ^ implica que Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 8.4 Algoritmo para minimizar Uo < Ui < ... <Un< 97 Un+l < ... Si para algún m > O se tiene Um = u entonces el teorema trivialmente se cumple. Luego podemos asumir que u ^ u^ para todo n. Como u e I y {un}nm es creciente, entonces se cumple alguno de los dos casos siguientes: 1. Existe un m > O, con Um < í y Um O, u^ < u. Supongamos el caso 1, veamos que el teorema se sigue. Si la diferencia /(x^+i) — / ( 7 ( M ) ) no es menor o igual que r, uno deduce por la fórmula recursiva (22) que 7(i¿) 7^ 7(i¿m)- Así, podemos escribir aplicando las propiedades de c? y la formula de recursion (23) que -[^^"--^^^-^^^^^"^^^á(7(t)77(¿) (26) d{-f{u)rí{Um))' Ahora, como hemos supuesto que f{xm+i) — / ( 7 ( M ) ) > r o equivalentemente que f{j{u)) — f{xm+i) + T < O, deducimos, por la definición de Ám,T, que d{'y{u),'y{um)) > Am,r y teniendo en cuenta (26) llegamos a que f{xm+i) — fiîu)) < 5f{xm+i) - fi^íiu)) con S = a{'y(u)Murr,)) ^ 1 qê e^ ^â contradicción, luego f{xm+i) - /(7(«)) < r, y entonces, en este caso, el teorema se cumple. Sólo queda por estudiar el caso 2. Por ser {unjneN creciente y acotada, existe un u* tal que lím„ôo-u^ = u*. con u* < u. Tenemos pues que {un}n&n es una sucesión de Cauchy y así deducimos que lím„ôo(''^n ~ u*) = O, entonces, por la continuidad de #, lím Án^r = n—>+oo lím ^{Un+l - Un) = O n—>+(X) Supongamos que /(7H)-/(7(w*)) + r > 0 Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. Volver al índice/Tornar a l´índex 98 8 Aplicaciones por la continuidad de / existe un ¿ > O tal que V(x, y) e B{^{u),S) X 5 ( 7 K ) , 5) : f{x) - ¡(y) + r > O como 7(tín) tiende a j{u*) existe un n G N tal que Vm > n\/x e B('-f{u),S) : /(x) - f{î{um) + r > O con lo que A^^r > ^ lo que contradice que tienda a 0. • 8.5. Complementos Otras utilidades prácticas de las curvas a-densas se pueden ver en los siguientes artículos: 1. Mora-Cherruault [21] y Mora [23] para la optimización. 2. Mora-Benavent-Navarro [24] y Mora-Cherruault-Benabidallah-Tourbier [22] para el cálculo numérico de integrales usando curvas a-densas. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 9 Densificación en espacios de dimensión infinita En este capítulo extendemos las curvas a-densas en espacios de dimensión infinita y el concepto de densificación a espacios vectoriales topológicos no necesariamente metrizables. Sobre este tema encontramos alguna información en el artículo de Mora y Mira [25] donde se demuestra que la bola unidad en un espacio de Banach es densificable si y sólo si el espacio es de dimensión finita. También se demuestra, de forma constructiva, que el paralelepípedo de Hilbert I'^ es densificable. En Sagan [32, Secciones 6.9 y 7.5] se dan curvas que llenan el paralelepípedo de Hilbert. En el artículo [25] además se demuestra que la densidad mínima que se puede conseguir en la bola unidad en un espacio de dimensión infinita es 1. Aunque en espacios de Banach no se puede densificar con la topología de la norma, excepto cuando es de dimensión finita, veremos en este capítulo que, con la topología débil, la bola unidad de todo espacio refiexivo y separable es un conjunto de Peano. A continuación analizaremos el caso particular de los espacios Ip. Por último demostraremos que, para todo espacio vectorial normado, la bola unidad cerrada es la imagen (T{X, A)-continua del intervalo [0,1] si y sólo si la bola es 2AN y cr(X, A)-compacta. 9.1. Conceptos y resultados preliminares Comencemos con las definiciones básicas Al dual topológico de un espacio vectorial topológico X lo denotaremos por X'. El espacio dual de un espacio vectorial topológico es a su vez un espacio vectorial al que lo podemos dotar de una topología. Denotaremos por Bx la bola unidad cerrada centrada en el O del espacio normado X. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 100 9 Densificación en espacios de dimensión infinita Definición 9.1. Dado un espacio vectorial topológico X definimos la topología débil, denotada por cü, como la mínima de las topologías que hace que los elementos de X' sean continuos. Definición 9.2. Si el espacio vectorial X es normado definimos en X' la norma ||x'|| = sup{|x'(x)| : ||x|| < 1}. Dado un espacio normado X tenemos el espacio normado dual asociado X' que a su vez tiene su dual {X')' = X" llamado bidual de X. En X' tenemos la topología de la norma, también denominada la topología fuerte, y la débil. Además, en el espacio bidual de X podemos considerar los funcionales de evaluación (si X G X y x' G X' tenemos x{x') = x'{x)) con lo que podemos embeber X en X" (que, además, es un isomorfismo topológico). Definición 9.3. Sea X un espacio normado, decimos que X es reflexivo si y sólo la aplicación evaluación de X a X" es un isomorfismo topológico. Definimos en X' la topología uj* como la topología mínima que hace que los funcionales de evaluación sean continuos. Recordamos el teorema de Uryshon. Teorema 9.4 (Uryshon). Sea X un espacio topológico Ti^, entonces las siguientes afirmaciones son equivalentes 1. X es regular^ y 2AN'^. 2. X es separable^ y metrizable. 3. X puede ser embebido como un subespacio del cubo de Hilbert I^. Una vez vista la teoría general necesaria y los resultados previos veamos la definición de densificación en un grupo topológico (el resto de los resultado necesarios para el desarrollo de este capítulo pueden verse en el apéndice B). Definición 9.5. Sea (X, T, •) un grupo topológico, A C X, U un entorno del O (U G ¿^(0)J y una curva 7 G C{I,A), decimos que 7 es f/-densa en A si y sólo si yxex: {x-u)nj{i) ^0. Diremos que un conjunto A es densificable si y sólo si \/U G £{0)3'^'/u : û es U-densa en A. t X e s T i si Vx,2/ eX'3AeT,x 6 AAy Â. ^ Un espacio topológico {X,T) es regular si para todo cerrado C y todo punto x de X existen dos abiertos disjuntos A, B tales que x €i A y C C B. ^ X es 2AN si tiene una base de abiertos numerable. X es separable si tiene un subconjunto denso numerable y a dicho conjunto le decimos que es separador. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 9.2 Densificación débil e imágenes del intervalo [0,1] 101 Observación 9.6. La definición de densificación en un grupo topológico viene dada por la densificación de la uniformidad asociada es decir si definimos la uniformidad {{x,y) £ X x X : X • y~^ e U A U E S{0)} la {/-densificación es igual a la y-densificación con V = {{x,y) E X x X : x • y'~^ e U}. Observación 9.7. 1. Cuando el grupo topológico es métrico, entonces la definición de densificable en grupos topológicos coincide con la de espacios métricos y, la a-densidad es equivalente a la 5(0, o;)-densificación. 2. En general trabajaremos con espacios vectoriales topológicos con lo que el grupo asociado es abeliano (al ser grupo topológico podemos aplicar la definición de densificación así como con los espacios normados) y la notación producto pasa a ser notación suma es decir 7 es U-densa en A si y sólo si Vx G X : (x + [/) n 7(/) ^ 0. Teorema 9.8. Sea ( X , + , - , r ) un espacio vectorial localmente convexo, entonces A <Z X arcoconexo es densificable si y sólo si A es precompacto. Demostración. <= Sea f/ e ^(0) y 1/ C [/ tal que 1/ = -V. Sea {xj}]^^ C A tal que A C [j'^îXj + V Y sea 7 G C{I,X) tal que {xj}'jî C 7(/) (es decir 7 una curva formada por la unión de las curvas que unen los puntos Xi x¿+i que existe al ser A arcoconexo). 7 es í7-densa en A ya que si y G A, entonces para algún j se tiene y E Xj~V C -f{I) - V luego y + Vn 7(1) ^ 0. => Sea {7 e £{0) y V C U tal que V + V C U y j e C{I,A) una curva Vdensa. Por ser 7(1) compacto, existe un subconjunto {j{tj)}^î tal que 7(1) C Veamos que A C U^^^ -y(tj) + U. Sea y E A, como 7 es V-densa, existe un punto í G / tal que y G 7(í) + V y, por la definición de los tj, existirá un jo tal que j(t) G 7(íjo) + ^ 'ôn lo que y e 7(í) + VC (7(í,.J + V) + VC 7(í,J + u. 9.2. Densificación débil e imágenes del intervalo [0,1] Proposición 9.9. Sea X un espacio normado (de Banach); 1. Bx es II o \\-densificable si y sólo si dimX < LO. 2. Bx es débilmente densificable (uj-densificable o densificable con la topología débil). Además podemos u-densificar con curvas \\ o \\-Lipschitz. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 102 9 Densificación en espacios de dimensión infinita Demostración. 1. La bola Bx es precompacta si y sólo si el espacio normado es de dimensión finita, luego basta aplicar el teorema previo. 2. En la topología débil Bx es precompacto, luego, por el teorema previo, es densificable. Además podemos tomar las curvas de la demostración como los segmentos que unen los puntos. Cada curva es || o ||-Lipschitz y la unión finita seguirá siendo || o ||-Lipschitz. • Esto nos permite construir curvas que [/-densifican débilmente toda bola cerrada de un espacio de Banach con la topología débil pero ¿habrá curvas de Peano en la topología débil? Teorema 9.10. Sea X un espacio de Banach, Bx (bola cerrada unidad para la norma) es la imagen u-continua de un intervalo si y sólo si X es reflexivo y separable. Demostración. Si Bx es la imagen continua de un intervalo, entonces Bx es cj-compacto y cuseparable (la imagen continua de un compacto separable es un compacto separable), como, por B.IO, X es reflexivo si y sólo si Bx es cj-compacta y, además, si la bola es separada, X lo es, nos queda que X es reflexivo y separable. Ahora, si X es separable y reflexivo, por B.ll la bola cerrada unidad es u¡metrizable y cj-compacta, además Bx es conexo y localmente conexo, luego aplicando el teorema de Hahn-Mazurkiewicz, X es la imagen continua del intervalo. • En general el teorema previo se cumple para todo tj-compacto arcoconexo de un espacio de Banach reflexivo y separable. Veamos la densiflcación para algunos espacios de Banach. 9.3. Densificación en espacios Ip En esta sección vamos a particularizar el estudio a los espacios l^. Veremos, aplicando los resultados de la sección previa, como se construye una curva débil continua que llena la bola unidad y se hará un breve estudio de la complejidad de dichas curvas. Para ello primero recordamos lo que son los espacios Ip. Definición 9.11. Definimos en el espacio de las sucesiones en R (podría hacerse en C), R'^ y, para cada p G [1, +oo[, las funciones Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 9.3 Densificación en espacios /„ 103 o llp : K'^ -^ [O, +00] K b e N ^ Jl]|aj|P y definimos los conjuntos Ip = {{aj}j(zn e R^ : ||{aj}j-6N||p < +00}. Para p = 00 definimos {a-jjjen ^ sup \aj\ jeN y definimos el conjunto loe = {{«jbeN G R'^ : ll{%}jeN||oo < +00}. Así definidos los espacios (Zp, || o ||p) son espacios de Banach. Veamos unas sucesiones que nos serán útiles a lo largo de esta sección. Definición 9.12. Para cada j E N definimos las sucesiones {S¡} donde Sf = O si ÍT^ j y 5] = l. Observación 9.13. Dichas sucesiones cumplen 1. para todo p e [1, oo] {(5¿ }¿gN G Ip, 2. para todo p G [1, oo] ||{()7}igN||p = 1, 3. el conjunto {¿¿ligN es una base de Schauder''. 4. {YJj=o(lj^j • Qj ^ Q} 6S un conjunto separador de Ip para todo p G [1, (X)[. Según el teorema 9.10 si p G]1,+OO[, entonces la bola Bi^ es la imagen ucontinua del intervalo unidad. Construyamos una curva w-continua cuya imagen sea Bi. Basándonos en que el conjunto {{¿•}igN}jgN de l'^ es una base de Schauder para cualquier p G]1, +OO[, obtenemos la siguiente base de entornos del O -"n 1 1 •^'^ x[-i,i]x[-i,i]x...)ns¿, 2»^'2". * {ejjjgN C X es una base de Schauder de un espacio normado X si Vx € X3!{aj}j(=]ij 6 R^ : a: = Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 104 9 Densificación en espacios de dimensión infinita Podemos, a partir de estos entornos, definir los siguientes conjuntos finitos. Para n = 1 existe un conjunto finito de puntos {xj^}^^^-^ tal que 5^^ C Uji=i Xj-^ + Bi. Un vez construidos este conjunto finito definimos para cada elemento Xj^ de dicho conjunto un conjunto {xj^^j^}jl^î tal que "-Ji X h +BiQ[j Xj^j, + B2 J2 = l y, así sucesivamente construimos {a^ji,j2,.-,in}jl="i' '^" ^ tal que '^31>J2.---.Jn-l Xj,,...,j^_, + Bn-l C U XJ l j 2 v J n B„ Ín=l De esta forma tenemos la bola unidad cerrada recubierta por conjuntos cada vez más pequeños, hemos ido partiendo cada uno de los conjuntos que nos salía de tal forma que, en el límite, tienden a un único punto. k Bi^ C U X,, + B, C U U ^3l,h + B2 Í1=1Í2=1 c... k ^h '^Í1.32.---.Jn-l ^ U U ••• Í1=1J2 = 1 U ^n,j2,...Jn + Bn Ín=l C ... Por otra parte podemos ir dividiendo el intervalo unidad e ir asignando a intervalos consecutivos conjuntos adyacentes. Analicemos los productos de intervalos que tienen intersección no vacía con Bi^, ya que, por ejemplo, el intervalo [|, | ] ^ x [—1,1] x ... no está en Bi^ puesto que si 31 ^ ^ [3 [4) 4J 4]^ ^ [^1) 1] X . . . , entonces L4' NlUll(|i.o,...)||^ = 2 g > i así, un conjunto del tipo ai ai + 1 in ' 9n n) X .".1. X an an + 1 2n' 2^ Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. x[-i,i]x[-i,i]x-..ns. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 9.3 Densificación en espacios Ip 105 no es vacío siY^\^\^ <1. Para conocer estos productos de intervalos hemos de calcular los vectores de n componentes tales que la suma de sus elementos elevados a p son menores que 2". El caso en el que Z) I ^ I'' = 1 no es necesario considerarlo ya que su intersección con J5¿p es un punto que estará en alguno de los productos de intervalos adyacentes cuya intersección con Bi^ es un único punto. Para calcularlos, lo primero que hacemos es reducirlo al calculo de dichos vectores que tengan todos los términos positivos, ya que cambiando signos obtendremos todos. En segundo lugar si ordenamos los vectores con el orden siguiente {ai,..., ün) < {bi,... ,bn) "^ ai < bi A • • • A ün < bn sólo es necesario considerar los vectores maximales, Cj en ese orden que cumplen Ecf < 2"í', ya que si (a^) < (6j) y E^f < 2^^^ entonces E a f < 2'^?'. Bajo estas consideraciones desarrollamos el siguiente programa, P{K, n, i) para el cálculo de los vectores en el caso ¿2^ donde K inicialmente será 2^"', n el número de componentes de los vectores que vamos a calcular e i inicialmente es igual a K, como resultado obtenemos los vectores maximales ordenados de forma decreciente con n componentes: P{K,n,i) S i ^ 2h+1 h= h+ l Fin Si Desde ¿ = [^/K],...,h Escribir i Si n > 1 P{K-i^,n-l,i) Fin Si Fin Desde Veamos los primeros pasos. Para facilitar los cálculos tomaremos / = [—1,1]. ^ En el apéndice puede encontrarse una implementación en lenguaje C. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 106 9 Densificación en espacios de dimensión infinita En el primer paso la imagen de / es Bi^ En el segundo paso dividimos el intervalo / en dos partes /Q e /i y la bola en dos partes quedando 7([-l,0]) = [ - l , 0 ] x [ - l , l ] x - - . n S í , 7([0,l]) = [ 0 , l ] x [ - l , l ] x - . . n i ^ ; , Podemos ver que las imágenes son ( ^ , O,...) + 5 i y (|, O,...) + i?i, respectivamente. En el tercer paso dividimos los intervalos /Q e h en 2^ partes y cada parte de la bola en 2^ quedando 7 ( [ - l , - | ] ) = [-1, -1/2] X [-1, -1/2] x...f^Bl^ 7 ( [ - | , - | ] ) = [ - l , - l / 2 ] x [-1/2,0] x . . . n S ^ ^ 7 ( [ - | , - | ] ) = [-1, -1/2] X [0,1/2] X . . . n S,^ 7 ( [ - | , - ¿ ] ) = [ - l , - l / 2 ] x [1/2,1] x - . - n i ? , ^ 7 ( [ - | , - | ] ) = [ - l / 2 , 0 ] x [1/2,1] x . . . n S , , 7 ( [ - | , - | ] ) = [-1/2, 0] X [0,1/2] x • • • n Sí, 7 ( [ - | , - ¿ ] ) = [-1/2, 0] X [-1/2, 0] X • • • n A^ 7 ( [ - ¿ , 0]) = [-1/2, 0] X [-1, -1/2] x-.-r^Bi^ 7([0,¿]) = [ 0 , l / 2 ] x [ - l , - l / 2 ] x . . . n 5 ; ^ 7 ( [ | , | ] ) = [0,l/2]x[l/2,l]x-..ni?,, Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 9.3 Densificación en espacios lp 7([^| ]) = [1/2 107 '1]X[1/2'1]X'"n^ 7 ( [ ¿ , ¿ ] ) = [l/2,l]x[0 > l/2]x-..nB í p 7 ( [ | , ¿ ] ) = [i/2,i]x[-i/2>o]x-..nsíp 7 ([^,1) = [1/2,1] x [-1,-1/2] χ • • • n ^ p donde ninguna de las intersecciones es vacía. En el siguiente paso cada intervalo lo dividiríamos a su vez en 25 intervalos pero algunos conjuntos tendrían intersección vacía. Por ejemplo si dividimos 7([|,|]) = [ 1 / 2 ' 1 ] χ [ 1 / 2 ' 1 ] χ ···η^ tenemos la imagen dividida en [1/2,3/4] [1/2,3/4] [1/2,3/4] [1/2,3/4] [1/2,3/4] [1/2,3/4] [1/2,3/4] [1/2,3/4] [1/2,3/4] [1/2,3/4] [1/2,3/4] [1/2,3/4] [1/2,3/4] [1/2,3/4] [1/2,3/4] [1/2,3/4] χ χ χ χ χ χ x χ χ x χ χ χ χ x χ [1/2,3/4] [1/2,3/4] [1/2,3/4] [1/2,3/4] [1/2,3/4] [1/2,3/4] [1/2,3/4] [1/2,3/4] [3/4,1] [3/4,1] [3/4,1] [3/4,1] [3/4,1] [3/4,1] [3/4,1] [3/4,1] χ [-1,-3/4] x [- 3 / 4 , - 1 / 2 ] x [- 1 / 2 , - 1 / 4 ] χ [-1/4,0] x [0,1/4] χ [1/4,1/2] χ [1/2,3/4] χ [3/4,1] x [3/4,1] x [1/2,3/4] χ [1/4,1/2] χ [0,1/4] χ [-1/4,0] x [- 1 / 2 , - 1 / 4 ] x [- 3 / 4 , - 1 / 2 ] x [-1, - 3 / 4 ] Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat d'Alacant. 2006 χ · χ · • η Blp* •r\Blp X · •ηβιΡ X · •nBlp X · •n^jp X · X · X · •ns í p •ns ¡ p • η Bh* X · •η Blp* X · •η Bh* X · •nBh X · •ns ¡ P X · •riBh •r\Blp X · •nJV X · •nv X · Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 108 9 Densificación en espacios de dimensión infinita [3/4,1 [3/4,1 [3/4,1 [3/4,1 [3/4,1 [3/4,1 [3/4,1 [3/4,1 [3/4,1 [3/4,1 [3/4,1 [3/4,1 [3/4,1 [3/4,1 [3/4,1 [3/4,1 x χ χ χ χ χ χ χ χ χ χ χ χ χ χ χ [1/2,3/4] [1/2,3/4] [1/2,3/4] [1/2,3/4] [1/2,3/4] [1/2,3/4] [1/2,3/4] [1/2,3/4] [3/4,1] [3/4,1] [3/4,1] [3/4,1] [3/4,1] [3/4,1] [3/4,1] [3/4,1] x [-1,-3/4] χ [-3/4,-1/2] χ [-1/2,-1/4] χ [-1/4,0] χ [0,1/4] χ [1/4,1/2] χ [1/2,3/4] χ [3/4,1] -1,-3/4] χ χ [-3/4,-1/2] χ -1/2,-1/4] [-1/4,0] χ χ [0,1/4] [1/4,1/2] χ [1/2,3/4] χ χ [3/4,1] χ χ χ χ nBh* ns¡p* Ip Π ΒΛ, íp nBh nBlp Ιρ ΠΒ. * ip χ χ χ bp ΠΒι * Ιρ ηβ.* bp ηΒ·* Ιρ η Β.* ϋρ ΠΒίρ* 1ρ* donde los conjuntos marcados con * son vacíos. Por tanto,ΓϊΒ hemos dividido [ψ, ψ] Γ) Β, * 408 divisiones en 14 subintervalos. En total, en esta quinta subdivisión tendríamos del. Con el siguiente cuadro nos hacemos una idea del crecimiento del número de divisiones6, Divisiones con térDivisiones Paso N° de vectores minos positivos maximales 2 1 1 1 16 2 1 4 408 2 3 51 29792 4 10 1862 7304736 122 228273 5 3904 6681440768 104397512 6 400232 231185989126016 1806140540047 7 Para el caso general lj tenemos el siguiente programa PP(K, n, i) donde Κ, η, I tienen el mismo significado que en el programa anterior para l2 Ρρ(Κ,η,ί) h= tfKî Si tfK <i Estos resultados se han obtenido del programa del apéndice. En el apéndice puede encontrarse una implementación en lenguaje C. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat d'Alacant. 2006 Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 9.4 Imagen débil estrella continua del intervalo [0,1] 109 Fin si s = K ~ nhP Si s > (/i + 1)^ - KP h = h+l Fin Si Desdei = [^],...,h Escribir i Si n > 1 Pp{K-iP,n-l,i) Fin Si Fin Desde 9.4. Imagen débil estrella continua del intervalo [0,1] Como liemos visto la topología débil se comporta muy bien, ya que toda bola cerrada es un conjunto de Peano y, por tanto, densificable, así como la topología de la norma se comporta muy mal, ya que las bolas cerradas no son densificables y la densidad mínima es su radio. Veamos que pasa con otras topologías. Teorema 9.14. Sea X un espacio de Banach, Bx' (hola cerrada unidad -para la norma inducida en X'), es la imagen u>*-continua del intervalo [0,1] si y sólo si X es separable. Demostración. Si X' es la imagen a;*-continua de un intervalo entonces, por el teorema de HahnMazurkiewicz, Bx' es a;*-compacto y metrizable, por B.7, X es separable. Si X es separable entonces, por B.7, Bx' es a;*-metrizable, por el teorema de Alaoglu B.6, Bx' es a;*-compacto, además Bx' es siempre conexo y localmente conexo luego, aplicando el teorema de Hahn-Mazurkiewicz, Bx' es la imagen LO*continua de / . • Corolario 9.15. Sea X un espacio de Banach, si Bx' es la imagen LO*-continua de un intervalo, entonces Bx' es LO*-separable. Ejemplo 9.16. La bola unidad de ¿i es la imagen (j*-continua del intervalo / , por el teorema previo, ya que li es separable, pero que no es la imagen ¡^-continua del intervalo, por el teorema 9.8, al no ser li reflexivo. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. lio 9.5. 9 Densificación en espacios de dimensión infinita La topología a En esta última sección estudiamos la densificación y los conjuntos de Peano en la topología a que definimos a continuación, Definición 9.17. Sea {X, +, •) un espacio vectorial y sea A un conjunto de aplicaciones lineales de X en IK, definimos la topología a{X, A) como la mínima topología que hace continuos los elementos de A. Según esta definición, la topología LO es la topología cr(X, Á) siendo A los funcionales continuos y oj* es la topología a{X',A') con A' los funcionales evaluadores. Lema 9.18. Sea X un espacio vectorial y A un conjunto de aplicaciones lineales de X en K, entonces V\E&S{O) ^ ^^ ^^ subespacio vectorial cerrado de X en la topología a{X,A). Demostración. Por la definición de la topología a{X, A) tenemos que {f~\]-e,e[):e>OAfeA} es una subbase de entornos del O, luego n ^= n r\]-e,e[)= nr'(o)= nker/ EeEiO) e>OA/eA f&A f&A y, así, rifiefío) ^ ^s un espacio vectorial. Como, además, las funciones f & A son continuas f (0) es cerrado y, por tanto, P I / G A / "'^(0) es cerrado. • Teorema 9.19. Sea X un espacio vectorial normado, la bola Bx es imagen a{X, A)-continua del intervalo I si y sólo si Bx es 2AN y a{X, A)-compacta. Demostración. =^ Si Bx es a{X, A)-Peano, entonces es a{X, y4.)-compacta y la imagen continua de un espacio métrico (compacto) es 2AN. <^ Si Bx es 2AN, entonces es separable y, por ser a{X, A)-compacta, es a{X, A)regular. Luego, por el teorema de metrización de Uryshon (teorema 9.4), si Bx no es metrizable es porque el espacio no es Ti con lo que X no es Ti y, por lema 9.18, tenemos que Z = ClEeSio) ^ es un espacio vectorial con dimensión mayor que 0. Sea Y un espacio complementario, es decir Z (BY = X. Y es Ti y, por tanto, Bx fl y es metrizable (subconjunto cerrado de un compacto es compacto, por tanto, es regular y todo subconjunto de un espacio 2AN es 2AN) y la imagen a(X, A)-continua del intervalo. Sea 7 una curva tal que 7(1) = Y Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. Volver al índice/Tornar a l´índex 9.5 La topología a y 0 una biyección de I & Z (existe ya que c < C'ard{Z) < Card{X) entonces (7 X <^) o / ^ : / - . y e z es continua y su imagen es X siendo fn la función de Hubert. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. 111 = c), Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 10 Generalizaciones En este capítulo generalizamos el concepto de conjunto densificable y de curva a-densas a espacios topológicos, casiuniformes, uniformes, pseudo-casi-métricos, pseudo-métricos y casi-métricos. En la primera sección nos centraremos en los espacios topológicos donde veremos que no se puede generalizar de forma que, si el espacio además es métrico, la densificación métrica siempre coincida con la densificación topológica. En la segunda sección nos centraremos en los restantes espacios, especialmente en los uniformes. Espacios que están, en cierta manera, entre los espacios métricos y los topológicos. 10.1. Espacios topológicos La primera dificultad que nos encontramos al intentar generalizar el concepto de conjunto densificable a espacios topológicos es que existen conjuntos homeomorfos donde uno de ellos es densificable y el otro no. Ejemplo 10.1. Los espacios topológicos ]0,1[ y R con la topología usual son homeomorfos pero ]0,1[ es densificable y R no (ver ejemplo 3.9 página 17). Esto es debido a que el concepto de conjunto precompacto no tiene una generalización en espacios topológicos, por eso a la hora de generalizar intentaremos que el concepto generalizado coincida con el original para todo conjunto precompacto de un espacio métrico. Algunas generalizaciones intuitivas son Definición 10.2. Decimos que un espacio topológico {X. T) es: 1. densificable por sucesiones si Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 114 10 Generalizaciones 3{7n}neN C C{I, Xyix e X\/D e S{x)3no E Wn > UQ : -fn{I) n D 7¿ 0 y diremos que la sucesión {jn}nen densifica X. 2. densificable fuerte por sucesiones si 3{7n}neN C C(/,X)Vx e X3no G NVn > no : x e -fn{I) y diremos que la sucesión {7n}neN densifica fuertemente X. 3. finitamente densificable Vn e m{Aj}'¡ô C T37 e C{I, X) : Vj G { 0 , 1 , . . . , n} 7(/) n A^- y¿ 0 Observación 10.3. Una condición equivalente para densificable por sucesiones es 3{7n}n6N C C{I, X) : VA e r a n o G N : Vn > no : 7n(/) n A 7^ 0. Sea {A}ieJ ^ ^(-^)- Si decimos que 7 G C(/,X) es {Aj}¿gj-c(ensa en X si Vj G J : 7(7) n Aj 7^ 0, entonces (X, T) es finitamente densificable si y sólo si Vn G NV{Aj}Jô C T37 G C(/, X) : 7 es {A^}^=o-densa en X. Proposición 10.4. Si X es densificable fuerte por sucesiones, entonces X 1. 2. 3. 4. es arcoconexo y, por tanto, conexo, tiene cardinal menor o igual que c, es numerablemente compacto^ y, por tanto, es compactificable^, es la imagen continua de ]0,1]. Demostración. Sea {7n}neN la sucesión de curvas de la definición de densificable fuerte por sucesiones. Arcoconexión: Sean x,y E X tenemos no,ni tales que ^n > UQ : x E în{I) Y \/n > ni : y E ^/ni^) tomando el n^ = max{no, ni} tenemos la arcoconexión. Cardinalidad c: Tenemos que UneN7n(^) = X y \/n E NCarc? (7„(/)) < c Numerablemente compacto: La imagen de un compacto es un compacto y Ü7n{I)=X. Imagen de ]0,1]: Sea ^ Un conjunto es numerablemente compacto si existe una sucesión de compactos tal que su unión es dicho conjunto. ^ Un conjunto X es compactificable si existe un espacio topológico Y compacto que lo contiene y tal que la topología de X es la relativa. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 10.1 Espacios topológicos 115 /:]0,1]->X 92k+l L22fc+2 ) 22fc+i J Siendo, para cada fc G N, g2k una función continua tal que 5'2/c+i(0) = 72fc+2(l) y 5'2fe+i(l) = 72fc(0). • Teorema 10.5. Un espacio métrico {X. d) es densificable si y sólo si es densificable por sucesiones y precompacto. Demostración. =^ Ya sabemos que todo conjunto densificable es precompacto por lo que sólo nos faltaría ver que es densificable por sucesiones. Sea una sucesión {7n}neN donde la curva 7^ es i-densa. Luego dado x e X y un entorno U de x, existirá un no G N tal que Vn > n-o -B(x, -) C U. Todas las jn con n > UQ cortarán a [/ y, por tanto, es densificable por sucesiones. •^ Sea a > O y {B{x, ^)}xex un recubrimiento de X. Por precompacidad 3no G N3{xj}]l^ C X : {B{xj, ^)}]íi recubre X. Por tanto, 3nj G N : Vn > Hj "fnil) n B{xj, | ) 7^ 0; tomando mo = max{nj : j G {1, 2,..., no}} tendríamos por la desigualdad triangular que para todo m > mo, 7^ es a-densa. • Veamos que la definición de finitamente densificable también se comporta como queremos. Teorema 10.6. Un espacio métrico (X, d) es densificable si y sólo si es finitamente densificable y precompacto. Demostración. ^ Ya sabemos que todo conjunto densificable es precompacto, veamos que es finitamente densificable. Sea {Ajj^-^Q C T y, para cada j G /„ sea aj G Aj. Por ser Aj abierto existe rj tal que B{aj,rj) C Aj. Definimos r = mín{rj : j G {O,..., n}}. Como A es densificable, existe una curva 7 r-densa que corta todas las bolas y, por tanto, para toda j , 7(1) n Aj ^ 0. <^ Sea o; > O y {B{x, ^)}xex un recubrimiento de X. Por precompacidad 3no G N3{xj}^°i C X : {B{xj, ^)}]í^ recubre X. Por tanto, 37 G C{I,X) : 7(1) n B{xj, I ) 7^ 0 por la desigualdad triangular 7 es a-denso. • Analicemos la relación entre los conceptos de la definición 10.2. Por la definición, todo conjunto densificable fuerte por sucesiones es densificable por sucesiones. Veamos ahora la relación con finitamente densificable. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 116 10 Generalizaciones Proposición 10.7. Sea {X,T) un espacio topológico. Si X es densificable por sucesiones, entonces X es finitamente densificable. Demostración. Sea {Uj}'jLi C T y Uj tal que Vn > Uj : 7n(-^) H Í7j 7^ 0, tomando «o = máx{nj : j e {!,... ,m}}, 7^0 es {f7j}^^-densa. Así es finitamente densificable. • Proposición 10.8. Sea {X, T) un espacio topológico 2AN. Si X es finitamente densificable, entonces X es densificable por sucesiones. Demostración. Sea {AjjjgM una base numerable de abiertos de X. La sucesión {7J}J6N tal que 7^ sea {Aj}"^Q-densa que densifica por sucesiones a X. • Observación 10.9. El ejemplo 10.52 es densificable por sucesiones y no es 2AN, ni siquiera lAN. Ejemplo 10.10. Conjunto finitamente densificable que no es densificable por sucesiones. Sea (/'^, T) el espacio de las funciones de / a / con la topología inducida por la norma supremo (||/|| = sup{/(i(:) : t e /}). Supongamos que es densificable por sucesiones. Sea {7n}n6Z+ una sucesión que densifique el espacio y a^ la parte decimal de 7n(^) — 5 si 7„(^) > | o 7n(¿) + | si lÁi) < \. Definimos la función í a„ si í = \ 0 sií^{i}„6Z+ Por la definición de On y de la distancia, para todo ri e Z+ se cumple, á(7n,F)>á(7(-),n-) n n 1 1 = (i(7(-),a„) = luego tomando la bola de centro F y radio | obtenemos una bola cuya intersección con cualquiera de las imágenes de las curvas es vacía lo que contradice la hipótesis de que el espacio /^ es densificable por sucesiones. Nota 10.11. Con una demostración análoga a la anterior pero tomando una infinidad de intervalos en vez de los puntos {-} se puede ver que el espacio Loo uo es densificable por sucesiones. Ninguno de los dos conjuntos es compacto ya que las sucesiones {xi}nez+ C /'^ y {¿¿}nez+ C Loo no tienen ninguna subsucesión n convergente. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 10.2 Espacios uniformes y casiuniformes 10.2. 117 Espacios uniformes y casiuniformes En esta sección definimos y estudiamos la generalización de los conceptos relacionados con la densificación a espacios uniformes y casiuniformes. Los espacios uniformes, como ya comenté en la introducción del capítulo están en cierta manera entre los espacios métricos y los topológicos, además, tienen la estructura mínima para poder definir las funciones uniformemente continuas (de ahí su nombre) y las sucesiones de Cauchy. Para empezar recordamos las definiciones de espacios uniformes y casiuniformes usando las siguientes notaciones. Notación 10.12 Sea X un conjunto y A{X) = {{x,x) : x G X} la diagonal de X X X (siempre que no de lugar a confusión la denotaremos simplemente por A). Sea U,V E X X X denotamos la composición áe U y V por U oV = {{x,y) : 3z E X : {x,z) EVA{z,y)EU}y la inversa de U por U"^ = {{y.,x) : {x,y) G U}. Sea UGXxXyACX denotamos la imagen de A respecto de U como U[A] = {yeX •.3xeA:{x,y)EU} cuando A = {x} lo denotaremos simplemente por U[x]. Definición 10.13. Una casiuniformidad S>{X) (o simplemente S') es un subconjunto de V{X X X) tal que 1. Di,D2 E S¡ ^ DiH D2 e ^, 2. D e ^ ADCE=^ E eS!, 3.De^=ÂcD, 4. D e ^ =^ 3E e Sf : E o E C D. Al par {X, ^) se le llama espacio casiuniforme. A & se le denomina también conjunto de entornos o casiuniformidad. Definición 10.14. Una uniformidad es una casiuniformidad Ql que cumple 5.D e^=^3Ee^ -.E-^ (ZD Diremos que (X, ^ ) es un espacio uniforme y a ^ le denominaremos uniformidad. Definición 10.15. La casiuniformidad '3 se dice separable (y a X separado por 3) si y sólo si C\D&& D = A. £ C S' es una base de la casiuniformidad 3 o una base para los entornos de X siy sólo si VD G 3!3E eS:ECD. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 118 10 Generalizaciones 6 C ^ es una subbase de la casiuniformidad ^ o una subbase para los entornos de X si y sólo si el cierre con respecto a la intersección de dos conjuntos es una base. Observación 10.16. Notar que por las dos primeras condiciones una casiuniformidad es un filtro. Veamos que los espacios uniformes generalizan los espacios métricos y que los espacios topológicos generalizan los espacios uniformes, o sea, dado un espacio métrico tenemos un espacio uniforme asociado y, dado un espacio uniforme tenemos uno topológico asociado. Los espacios casiuniformes generalizan a su vez los espacios uniformes, además todo espacio topológico es casiuniformable pero no de forma única, en general. Proposición 10.17. a) Sea (X, d) un espacio métrico, entonces {X, S>) es un espacio uniforme cuando ^ = {D:35>Q:{{x,y): d{x, y)<S}CD}. b) Sea {X, U) un espacio casiuniforme (en particular, uniforme), entonces la colección de conjuntos {U^ = {D[x] : D G ^} : x e X} forma una base de entornos y así obtenemos una topología. Definición 10.18. a) Si {X, d) es un espacio métrico, (X, S') con Ql = {D : 36 > O : {{x,y) : d{x, y) < S} C D} se dice que es el espacio uniforme asociado a {X,d). b) Dado un espacio casiuniforme {X, S') definimos la topología asociada como la dada en la parte b) de la proposición previa y la denotamos por To^. c) Diremos que una casiuniformidad es compatible con una topología si dicha topología es la asociada a la casiuniformidad. d) Diremos que una topología es generada por una casiuniformidad ^ si es la topología asociada a Si. Proposición 10.19. La topología asociada a un espacio uniforme asociado a un espacio métrico es la topología del espacio métrico. El siguiente teorema muestra que todo espacio topológico está asociado a un espacio casiuniforme. Para la demostración ver [31]. Teorema 10.20 (casiuniformidad de P e r v i n ) . Sea {X,T) un espacio topológico, entonces {{G x G) U {{X \ G) x X) : G e T} es una casiuniformidad con espacio topológico asociado (X, T). Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 10.2 Espacios uniformes y casiuniformes 119 Observación 10.21. Aunque todo espacio topológico tiene una casiuniformidad que lo genera, la casiuniformidad no tiene que ser única como puede verse en [31]. Una vez vista la relación entre los espacios uniformes, los métricos y los topológicos veamos como pueden definirse la continuidad uniforme y las sucesiones de Cauchy en los espacios uniformes y casiuniformes. Definición 10.22. Dados dos espacios casiuniformes (X, ^), {Y, &'), decimos que una función f G Y-^ es uniformemente continua, lo que denotaremos por f G UC{X,Y), si y sólo siyU E &' : f-\U) = {(x,y) : (/(x),/(y)) eU}e^. Definición 10.23. Sea {X, ^) un espacio casiuniforme y {xn}nE.n Q X, decimos que la sucesión {íCn}neN ^s de Cauchy si y sólo si \/U E ^3no G NVn, m > no '• \Xn, X-uij G U . De forma análoga a los espacios métricos, se dice que un espacio casiuniforme es completo si toda sucesión de Cauchy es convergente. Al igual que en los espacios topológicos y en los espacios métricos podemos definir la uniformidad (casiuniformidad) relativa con lo que todo subconjunto de un espacio uniforme (casiuniforme) es un espacio uniforme (casiuniforme) con la uniformidad (casiuniformidad) relativa. Definición 10.24. Sea {X, &) un espacio uniforme (casiuniforme) y Z C X definimos la uniformidad (casiuniformidad relativa de X en Z como ^z = {Un{Zx Z) -.U e^}. Para continuar con las analogías con los espacios métricos y topológicos pasamos a definir la precompacidad en espacios uniformes lo que estará directamente relacionado con los conjuntos densificables. Definición 10.25. Sea {X, ^) un espacio uniforme, decimos que X es un conjunto precompacto si y sólo si \/U G ^ 3 n G NElxjj^'ô • ^[{3^j}j=o] = Uj=o U[xj] = X. Para más información véase Willard [39, Capítulo 9], Kothe [16, Capítulo 1.5], Kelley [14, Capítulo 6] y especialmente Fletcher y Lindgren [11]. 10.2.1. Pseudo-métricas, casi-métricas y pseudo-casi-métricas Las pseudo-métricas, casi-métricas y pseudo-casi-métricas son una generalización del concepto de métrica pero son menos generales que los espacios casiuniformes. Antes de pasar a la generalización de los conceptos relacionados con la Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 120 10 Generalizaciones densificación en espacios casiuniformes veamos, como paso intermedio, la generalización para estos tipos de métricas. Un espacio métrico está definido por un conjunto X y una función d de X'^ a [O, +oo[ cumpliendo, para todo x,y,z e X, las siguientes propiedades: 1. 2. 3. 4. d{x,x) d(x, y) d{x,y) d{x, z) = = = < O O =^ X= y d{y,x) d{x, y) + d{y, z) Si debilitamos las propiedades obtenemos las siguientes definiciones Definición 10.26. Decimos que una función d de X'^ a [0,-t-oo[ es una: a) pseudo-métrica si y sólo si cumple 1, S y 4 b) casi-métrica si y sólo si cumple 1, 2 y 4 c) pseudo-casi-métrica si y sólo si cumple 1 y 4 Debido a las definiciones tenemos el siguiente diagrama ^_________ pseudo-métrica —^ Métrica pseudo-casi-métrica casi-métrica ' ^ Veamos que relación hay entre las distintas métricas y los espacios uniformes, casi-uniformes y topológicos. Definición 10.27. Dado (X, d) un espacio pseudo-casi-métrico definimos 1. la topología asociada como Td = {A : Vx G ^3e > O : B{x, e) C A}, donde B{x,e) = {y & X : d{x,y) < e} que es una generalización de las bolas en espacios métricos y que también denominaremos bola, 2. la casiuniformidad asociada como ^ = {D:35>0:{{x,y): d{x,y) < 6} C D}. Observación 10.28. En el caso que la pseudo-casi-métrica sea pseudo-métrica, entonces la casiuniformidad será una uniformidad. En el caso de las pseudo-casimétricas y las casi-métricas es importante el orden de la distancia en la definición de la bola. La definición de la topología y la casiuniformidad asociada es igual a la asociada a una métrica (ver 10.17) y, además se cumple un resultado análogo a 10.19. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 10.2 Espacios uniformes y casiuniformes 121 Proposición 10.29. Si {X, d) es un espacio pseudo-casi-métrico, entonces {{{x, y) : d{x, y) < e} : e > 0} es una base de una casiuniformidad. Si es un espacio pseudométrico, entonces es una base de una uniformidad. Además la topología asociada a un espacio pseudo-casi-métrico es la misma que la topología asociada a la uniformidad asociada al espacio pseudo-casi-métrico. 10.2.2. Densificación de espacios casiuniformes Una vez definidos los espacios uniformes veamos como se generaliza el concepto de densificación. Definición 10.30. Sea {X, ^) un espacio casiuniforme y D E Si, decimos que una curva 7 G C(/, X) D-densifica X si y sólo si^x E X : j{I) n D[x] 7^ 0. Decimos que un espacio casiuniforme es densificable si y sólo si es D-densificable todo D e S. Teorema 10.31. Si {X,S) es un espacio casiuniforme y ^ es una subbase, entonces es densificable si y sólo si, para toda D E ¡M, es D-densificable. Observación 10.32. Una forma equivalente de definir la D-densificación es que, para todo x e X, {{x} x 7(/)) n í) 7^ 0, pero con esta definición hay que tener cuidado ya que el orden importa. Observación 10.33. Análogamente a como definimos en el capítulo 2 las curvas adensas y los conjuntos densificables en los espacios métricos podemos definirlos en los espacios pseudo-métricos, casi-métricos y pseudo-casi-métricos. En los casos de los espacios casi-métricos y pseudo-casi-métricos es importante el orden (de forma parecida a los espacios casiuniformes), es decir, una curva es a-densa en un espacio pseudo-casi-métrico si y sólo si Vx G X : d{x, j{I)) < OÍ. Veamos que la definición de densificación en espacios métricos (en cualquiera de sus modalidades) y la densificación en espacios uniformes o casiuniformes están directamente relacionadas. Proposición 10.34. Sea (X, d) un espacio pseudo-casi-métrico y 7 una curva, entonces 7 a-densifica X (como espacio pseudo-casi-métrico) si y sólo si 7 Uadensifica X (como espacio casiuniforme), donde Ua = {ix,y) : d{x,y) < a}. Demostración. Basta tener en cuenta que 7(1) fl Ua[x] 7^ 0 si y sólo si d{x, 7(/)) < a. m Corolario 10.35. Un espacio pseudo-casi-métrico es densificable si y sólo si lo es el espacio casiuniforme asociado. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 122 10 Generalizaciones Veamos como se generalizan los resultados ya obtenidos en espacios métricos. Los resultados sobre la necesidad de conexión y precompacidad (proposición 3.6 página 15) y la conservación por funciones uniformemente continuas (teorema 3.8 página 16) se pueden generalizar sólo con cambiar los espacios métricos por espacios uniformes. Para generalizar la caracterización de densificación primero generalizamos la definición de e-aproximable y aproximable. Definición 10.36. Sea {X, &) un espacio casiuniforme, A, BCXyDe^. Decimos que A es D-aproximable por B o que B D-aproxima A y lo denotamos por A C^) B, si y sólo si^x E A : 3y E B : {x,y) G D. Diremos que A es aproximable por B y lo denotamos por A ^ B, si VD G 9\fx e A3y e B : {x,y) e D es decir \/D e ^,A C^ B. Con esta generalización de e-aproximable podemos generalizar todos los resultados de las secciones 3.3 y 3.4. Con la definición de casiuniformidad podemos dar nuevas definiciones de densificación para un espacio topológico según como sean sus casiuniformidades. Definición 10.37. Decimos que un espacio topológico {X, T) es 1. débilmente densificable si y sólo si existe una casiuniformidad '3 cuya topología asociada T es tal que (X, 2i) es densificable. 2. fuertemente densificable si y sólo si, para toda casiuniformidad 3 cuya topología asociada es T, (X, 3) es densificable. Observación 10.38. Si un espacio topológico (X, T) es fuertemente densificable, es débilmente densificable ya que siempre existe una casiuniformidad compatible con (X, T) (véase el teorema 10.20). Veamos algunos ejemplos que nos muestren las relaciones entre las distintas definiciones de densificación. Ejemplo 10.39. 1. iX,Tt) espacio topológico trivial con Card{X) < c. En este caso X es débilmente, finitamente, sucesionalmente, sucesionalmente fuerte, fuertemente densificable además de ser un conjunto de Peano. 2. {X, %) espacio topológico trivial con Card (X) c. En este caso X es débilmente, finitamente, sucesionalmente y sucesionalmente fuerte densificable pero no es fuertemente densificable ni es un conjunto de Peano. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 10.2 Espacios uniformes y casiuniformes 123 3.([o,i[,r^). [o, 1[ con la topología usual es débilmente, finitamente, sucesionalmente y sucesionalmente fuerte densificable pero no es fuertemente densificable ni es un conjunto de Peano. 4. (X, 7d) espacio topológico discreto con Card{X) > 1. Este espacio topológico no es ni débilmente, ni finitamente, ni sucesionalmente, ni sucesionalmente fuerte, ni fuertemente densificable y, por supuesto no es un conjunto de Peano. Teorema 10.40. Un {X, T) espacio topológico es débilmente densificable si y sólo si es finitamente densificable. Demostración. ^ Sea ^ una casiuniformidad cuya topología asociada T es tal que {X, ^) es densificable y sea {A}iLi ^^ conjunto finito de abiertos. Como T está asociada a ^ existen D^ £ ^ y Xi E X tales que DÍ[XÍ] = Af. Sea D = n"=i A G ^ y 7 una curva D-densa. Como 7 D-densifica X tenemos que Vi e {!,...,n}3íi e / : 7(t¿) G D[xi] C DÍ[XÍ] C AÍ con lo que 7 es {AiJlî-densSi en X. <^ Veamos que la casiuniformidad de Pervin ^p es densificable. Sea D G S'p, como ^p tiene como subbase {{A x A) (J {{X \ A) x X) : A G T } , entonces existe una colección finita de abiertos {Ai}^^^ tal que n f]{Ai X Ai) U {{X \Ai) X X) C D. Sea 7 una curva {A¿}^î-densa. Sea a; G X, si x G UÍLI A , entonces, para algún ¿, X e A y liU) G D[x]. Si X ^ UiLiA, entonces D[x] = X y se cumple trivialmente. Corolario 10.41. Sea (X, T) un espacio topológico. 1. Si X es densificable por sucesiones, entonces X es débilmente densificable. 2. Si X es 2AN y débilmente densificable, entonces X es densificable por sucesiones. Veamos una relación de orden entre las casiuniformidades que estará relacionada con la densificación. Definición 10.42. Dadas dos casiuniformidades ^ y Qi' sobre un mismo conjunto X, decimos que '2 es más fina que & si y sólo si '3)' C Ql. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 124 10 Generalizaciones Proposición 10.43. Sea X un conjunto con dos casiuniformidades Si y 3i' tal que 2) es más fina que Q¡'. Si X es S densificable, entonces es ^' densificable. Definición 10.44. Sea {X, T) un espacio topológico, definimos la uniformidad TT como la casiuniformidad transitiva más fina asociada a {X, T). Decimos que una casiuniformidad (X, S)) es transitiva si existe una subbase B tal que todos sus elementos son relaciones transitivas. Observación 10.45. La casiuniformidad de Pervin es transitiva con lo que todo espacio topológico está asociado a una casiuniformidad transitiva. Con la ayuda del teorema 3.24 de [11] que dice Teorema 10.46. Sea {X,T) un espacio topológico, las siguientes afirmaciones son equivalentes: 1. toda casiuniformidad asociada es completa, 2. existe una casiuniformidad asociada completa y precompacta, 3. toda casiuniformidad asociada es completa y precompacta, 4- J-T es precompacta y, 5. (X, T) es compacto. Obtenemos el siguiente corolario Corolario 10.47. Sea (X, T) un espacio topológico. Si X es fuertemente densificable, entonces es compacto. Demostración. Si X es fuertemente densificable, en particular, será ^T-densificable y, por tanto, J^T-precompacto con lo que {X, T) es compacto. • Veamos que necesitamos algo más que la compacidad para ser fuertemente densificable, es decir, existen espacios débilmente densificables y compactos que no son fuertemente densificables. Ejemplo 10.48. Espacio débilmente densificable y compacto que no es fuertemente densificable (ni sucesionalmente densificable ni es un conjunto de Peano). Definimos en C la siguiente base de una casiuniformidad^ S asociada a la topología usual B= {Dn-.neT^} ^ No es una uniformidad ya que D„ f^Dñ^[—i] = —i y, por tanto, no existe ningún elemento de la base Dra tal que D ^ C _D„ n D~^. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 10.2 Espacios uniformes y casiuniformes 125 donde Dn = {(^1, z,) e e : d{zu z,) < ^ ^ ^ 1 ^ } U {-z} X S ( - z , 1 ) Veamos primero que efectivamente es una base. Tenemos que ver que, para todo n, A C. Dn (se cumple trivialmente) y que, dado un D e B, existe WXIVGB tal que V oV C D. Sea Dn E B y tomemos V = Dn+2 Dn+2 o Dn+2 = {{zi, Z2) G C : 3z e C, {zi, z) G Dn+2 A {z, Z2) E Dn+2} supongamos que (zi,z) G Dn+2 Y (2,-2^2) e -Dn+2, • si 2:1 = —i entonces z G B{—i, ^é^) Y ^2 e 5 ( - ^ , ^ ) U {z' G C : 3z G 5 ( - ¿ , ^ ) : d{z',.) < Por lo que (2:1, ^2) G -Dn+i• si 2:1 7¿ — ¿, entonces teniendo en cuenta que My d{z, -i) < d{zi, z) + d{zi, -i) < —i) ^^^^ + d{zi, - z ) = i^n ;^jd{zu-i), d{zi,z) < d{z,Z2) < d{zi,-i) 2n+2 ' d{z, —i) 2"+2 obtenemos Oí(^l, ^2) < < < 2n+2 ' + • 2 — 2n+2 2'^+2 - d{zi,-i) Por lo que (2:1,22) G Dn+2- Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. - — 1 < - ^ } Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 126 10 Generalizaciones Así Dn+2 ° -Dn+2 Q Dn j , por tanto, es una base. Además la casiuniformidad generada por dicha base es una casiuniformidad asociada a la topología usual ya que si z ^ —i Dn[z] = B{z, — — — ) es una base de entornos de z y Dn[-t] = B{-L^) es una base de entornos de —¿. Una vez visto que es una casiuniformidad veamos que el conjunto B = {{x, sin - ) : x G]0, 1]} U ({0} x [-1,1]) (véase figura 5 de la página 14) es compacto y débilmente densificable ya que es densificable con la métrica usual y, por tanto, con la casiuniformidad asociada a dicha métrica (ver ejemplo 3.5). Sin embargo con la casiuniformidad ^ no es densificable, de hecho vamos a ver que no es £>n-densificable para ningún n G Z"*". Sea 7 una curva en B si 7(/) C {0} x [—1,1], no es Dn-densa, ya que •j{I) fi Dn[l + ¿sin(l)] = 0; si 7(1) C {(a;, sin-) : x G]0, 1]} e y e 7(/), entonces —i ^ Dn[y] = Biy, 2" Observación 10.49. En el caso en que un espacio topológico sea uniformable'* (o equivalentemente sea completamente regular^ ver [30, Página 9]), si definimos la densificación uniforme fuerte como que toda uniformidad asociada sea densificable, entonces este conjunto sería densificable y, de hecho, un conjunto sería uniformemente fuertemente densificable si y sólo si es compacto y débilmente densificable. Por el teorema 6.7 de [30] tenemos que un espacio topológico (X, T) es compacto si y sólo si toda uniformidad S' cuya topología asociada sea T es completa y totalmente acotada (es decir, precompacta). Además si una uniformidad es completa y precompacta entonces todas lo son. Falta saber, que si existe una uniformidad no completa asociada, entonces existe una uniformidad no precompacta. Veamos primero un resultado previo. La demostración puede verse en el teorema 6.7 de [30]. * {X, T) es uniformable si existe una uniformidad cuya topología asociada es T. ^ (X, T) es completamente regular o T31, si dado un cerrado C y un punto x de X existe una función continua de X a [0,1] que vale O en C y 1 en s. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 10.2 Espacios uniformes y casiuniformes 127 Teorema 10.50. Un espacio topológico uniformable es compacto si y sólo si toda uniformidad Qi compatible es completa y precompacta. Teorema 10.51. ¿"ea {X,T) un espacio topológico completamente regular y no compacto, entonces existe una uniformidad V compatible con la topología T tal que el espacio uniforme {X, V) no es precompacto. Demostración. Por ser completamente regular, el espacio topológico es uniformable. Sea U una uniformidad compatible. Por el teorema 10.50 el espacio no será completo o precompacto. Supongamos que es completo y no precompacto y sea F un filtro de Cauchy^ no convergente. Definimos el nuevo espacio uniforme {X,V() como X = X U {x} donde x es el límite del filtro de Cauchy F y, para cada U EU definimos U como • Para todo y eX, U[y] = U[y] si 3A e F, U[y] n A = 0 - Para todo yeX, U[y] = U[y] U {x} si VA G F, U[y] n A y¿ 0 . U[x] = {yeX:xeU[y]} y, definimos la uniformidad U como la generada por la base {U}u&u- Así, {X,U) es una uniformidad relativa de {X,U). Por ser una uniformidad, para cada punto z y para cada cerrado C de X que no contenga ni a 5: ni a 2; existen dos funciones fz,c -.XÎ O si y = z ^ • • '1 siyeC y gz,c:X-Î 1 si y = X O siy E ad{C U {z}) Como X ^ X podemos definir la función /i,,c -.X-^R* y ^ fz,c{y) + tan(7r^^,c(?/)) en principio dicha función podría valer infinito. Sea la uniformidad V como la generada por {Vz,c}zex ccx cerrado en X' donde Vz,c = {{y,u): \h,c{y) - h,c{u)\ < i}. Sea {X, &) una casiuniformidad decimos que un filtro J^ es de Cauchy si MU € S>ziF e ^ : FxF Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. cU. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 128 10 Generalizaciones Esto lo podremos hacer si el espacio no es sucesionalmente compacto^ ya que así tenemos una base numerable de abiertos alrededor de un punto pero, ¿que pasa si es precompacto pero no completo? En este caso no podemos definir las funciones h sin que tomen el valor infinito en X. Cuestión pendiente ¿X espacio topológico es compacto si y sólo si es compacto por filtros? donde compacto por filtros significa que todo filtro tiene un subfiltro convergente. Que relación hay entre compacto por filtros y completo por filtros? Ejemplo 10.52. El espacio de las funciones I^. Definimos en el conjunto de funciones de / en / para cada í G / la pseudométrica {f,9)-^Ptif,g) = \f{t)-9{t)\ y, para cada conjunto finito de puntos {tj}j=o — -^ Y cada e > O, el conjunto U{t^},e = {{f,g) : . máx {pt¿{f,g)} < e}. je{o,...,n} El conjunto de todos los conjuntos U{t},e 6s una base de una uniformidad U (podemos considerar la subbase de la uniformidad como los conjuntos U{t},e ya que los demás se obtienen por intersecciones). El espacio topológico (J-^, T) asociado a dicha uniformidad es compacto, conexo, localmente conexo y arcoconexo. Estudiemos las distintas densificaciones: 1. {I^,T) es finitamente densificable. 2. (/^, T) no es la imagen continua del intervalo unidad. /^ no es lAN^ y, por tanto, no es metrizable luego, por el teorema 3.1, no es la imagen continua de un intervalo. 3. (/^,T) es densificable por sucesiones. Sea t ^ ^n{mt)) donde fh es la curva de Hilbert, fl = Uh X fh) o fh, "^ {X, T) es sucesionalmente compacto si toda sucesión tiene una subsucesión convergente. ^ Un espacio topológico es lAN si para cada punto existe una base de entornos numerable. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 10.2 Espacios uniformes y casiuniformes 129 in{Xi, . . . , X2n) = Y. ^Í^\Í^,M + ^2nX[l-^,l]. i=i Sea ^ e T. Por la definición de la topología existe un conjunto finito de puntos {íj}"Li de / y un conjunto de abiertos {Aj}^^ de / tal que A = {fef: f{t,) e Aj}. Como el conjunto de puntos es finito existe un no tal que para todo n > UQ y para todo k,l G ( 1 , . . . , m} se cumple que, si existe un j G ( 1 , . . . , 2"} tal que tk,ti G ['^, 2¡^[) entonces tk = U. Así, para todo n > no, 7n(-^) fl A 7^ 0 con lo que es densificable por sucesiones. 4. {I^,T) no es densificable fuerte por sucesiones. Por la proposición 10.4, I^ debe ser la imagen continua de ]0,1] pero, ]0,1] e I^ tienen distinto cardinal. 5. (/^,T) es débilmente densificable. Por el teorema 10.40, I^ es débilmente densificable si y sólo si /^ es finitamente densificable luego, por el primer apartado, I^ es débilmente densificable. 6. {I^M) 6S densificable. Veamos que, para cada to E I y para cada e > O, existe una curva 7 que es t^{ío},e-densa. Definimos 7 como 7 : / ^ /^ t^ ft-.1^1 X ^ ft{x) = t Si f E I^ tomando t = f{to), tenemos que Ptoif - 7W) = Ao(/ - ft) = \f{to) - Mto)\ = O con lo que (/, 7(í)) G U{to},e Y, por tanto, es [/(to},e-densa. Como {í^{ío},e}íoeJ,e>o es una base de la uniformidad, el espacio es densificable. Luego la condición de ser fuertemente densificable es estrictamente más fuerte que ser compacto y débilmente densificable y más débil que ser de Peano (imagen continua del intervalo). Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 130 10 Generalizaciones Ejemplo 10.53. El conjunto A= [j {te^' G C : í G [0,1]} U ([0,1] x {0}) n6Z+ (véase la figura 4) no es fuertemente densificable. Basta tomar la base B formada por los elementos Dn = { (^1,^2) e A' : d{z,,z,) < di\\^^\^^)^^9[z{) U {{yi, Z2)Â^•.yeR^ ^. ^^^^^^^ ^ ^ ^ ||^^|| _, ^^ {yi, Z2) < ^ } U { { e ^ } x 5 ( 6 ^ , — ) } ^ ^ ^ + donde Arg es el argumento entre [O, 27r[. De forma análoga al ejemplo previo se ve que es una base para una casiuniformidad y, además, la topología asociada es la topología usual. No es D„-densificable ya que esto implicaría pasar por el interior de todos los segmentos. Lema 10.54. Sea (X, T) espacio topológico regular, entonces, para todo x £ Xj el conjunto E^ = n { ^ £ ^{^)} ^^ cerrado. Demostración. Veamos que E^ puede expresarse como intersección de cerrados. Para ello veamos que, para cada entorno abierto A de x, existe un entorno cerrado de x contenido en A. Sea A £ £{x) f^T, como el espacio es regular, existe un AL & £{x) {^T tal que adAí C A] luego E^ es cerrado. • Pasemos a demostrar la relación entre los espacios fuertemente densificables y la conexión local. Para esto necesitamos el siguiente lema que relaciona la conexión "im kleinen"^ con la conexión local. La demostración puede encontrarse en Willard [39, página 201, teorema 27.16]. Lema 10.55. Sea (X, T) espacio topológico, X es localmente conexo si y sólo si Vx G XyV G 8{x)3V' C V^y G V'3C QV' : C es conexo. Teorem.a 10.56. Todo {X,T) espacio topológico pseudo-metrizable y fuertemente densificable es localmente conexo. Demostración. Supongamos que el espacio no es localmente conexo y sea XQ un punto donde no es conexo "im kleinen". X es conexo "im kleinen" en x si y sólo si para cada entorno abierto Í7 de a; existe un entorno abierto V de a; tal que todo par de puntos de V están en algún subconjunto conexo de U. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 10.2 Espacios uniformes y casiuniformes 131 Sea VQ = B{XO, 5) cumpliendo que VV C VoBy G V'^C QV' : y e C, entonces C no es conexo. Tomando V^ = B{xo, ^ ) existirá una sucesión {Vmjm&N tal que Vm ^ ^m J que no esté en la misma componente conexa de x en V. Sea ahora {ymj}men una subsucesión tal que cada ym^ esté en una componente conexa distinta (han de existir infinitas componentes conexas ya que si no existiría una con infinitos puntos y, por tanto estaría en la misma componente que la de x). De esta forma podemos construir, sabiendo que y^^ está separado de {x} U [j'jLn+i Vnij una sucesión de abiertos {14}neN tal que 1. Vn e N, K+i C K A / r ( K + i ) C / r ( K ) , 2. Vn G NVj < n, I4+1 es cerrado en Vj y 3. Vn eN,a;o G KAdemás y \ {Vj \ Vj + l)^$. Definimos ahora la base {Un} de una casiuniformidad asociada a la topología como: Si X e X \ ad{V), entonces • Si X G ad{V) C Vo, entonces • Si 3j G N, X G V^- \ V^+i, entonces n[ \ \ í 2n I ' Por 1, d{x, Vj) = d{x, ad{Vj)) y el radio es siempre positivo. • Si X G íljeN^') entonces Unix] = B (x, 1 ) donde d es una pseudo-métrica asociada a la topología T. Veamos que efectivamente es una casiuniformidad asociada a la topología. • ¿Vn G N3m G N : K Í o y^ C I4? Sea n G N y tomemos m > n + 1 • Si X G X \ adiy) o 3j G N, X G V^- \ Vj+i tenemos, tomando A = adiV) en el primer caso y A = Vj+i en el segundo caso, que: Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 132 10 Generalizaciones v;.ovyxi.v;.(B(,.%^)). U BL^) ahora^°, si z £ Vm o V^Jz], d{y, A) diy.z) < \u, / — — d{y, x) + d(x, A) < 2m — {1 + ^)d{x,A) nm, '^ + d{x,A) < 2™ ~ 2"^ 2d(x,A) d(x,A) — 2™- — Om—l d{x.,A) 2"- y, p o r t a n t o , 2 G Vn[x] y, V^ o V^ Cj I 4 . • Si X G n V^5 t o m a n d o m > n + 1 Vm o F ^ N = Vm{B{x., ¿ ) ) C fi(:r, ~) =. B(x^ ^ ) C B{x, ¿ ) • ¿Vx G X : Vn[x] G ¿^(x)? Trivial ya que Vn[x] es siempre una bola de radio positivo. • ¿Vf/ G f (x)En G N : Vn[x] C [/? Si f/ G 6{x), entonces existe una bola de centro x y radio e contenida en U tomando n suficientemente grande podemos hacer que 14. [x] C U. Una vez que tenemos la casiuniformidad veamos que el espacio con esa casiuniformidad no es densificable y, para ello, veamos que existe un n tal que no es 14,-densificable. Sea no G N tal que — < d{x,X \ V). Como y„ tiende a x existe un ni tal que, si n > ni, entonces Sd{x,yn) < d{x,X \ V); ahora bien si existe una función continua 7 que I4 densifique con n > máx{no,ni}. entonces ha de pasar por cada una de las componentes de cada ?/„,, y, por lo tanto, no será continua ya que no será acotada y, sin embargo, recorrerá una distancia d{x., X \V) infinitas veces. • Corolario 10.57. Si {X, T) es metrizable, entonces es fuertemente densificable si y sólo si es la imagen continua del intervalo I. Teorema 10.58. Un espacio topológico {X.,T) es un conjunto de Peano si y sólo si es fuertem,ente densificable y densificable fuerte por sucesiones Demostración. => Sea 7 una curva de Peano. Para cualquier casiuniformidad S^ y cualquier D E f^, la. curva 7 es D-densa y, por tanto es fuertcímente densificable. Para la densidad por sucesiones basta tomar la sucesión constante {7}neNPara este paso necesitamos la simetría de la distancia con lo que la prueba no serviría para casimétricas. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. Volver al índice/Tornar a l´índex 10.2 Espacios uniformes y casiuniformes 133 Por el teorema 10.4 existe una función / G C{]0,1],X) biyectiva. Además por el teorema 10.47 X es compacto. Así X = U7([^,l]) es decir existe una sucesión de compactos Kn = 7([¿, 1]) cuya unión es X. Supongamos que, para todo n G Z+, Kra C K y elegimos, para cada n e Z'^ x E K \ Kn. Por ser K compacto existe una subsucesión {xnj}jez+ convergente. Sea x — lirrijXn por la definición x ^ Un6Z+ -^n lo que nos lleva a una contradicción y, por tanto, existe un no G Z+ tal que 7([—, 1]) = X y, así, X es un conjunto de Peano. Después de todo lo estudiado podemos ver la relación entre las distintas definiciones de densificación en espacios topológicos en la figura 41. D=Densificación débil o finita S=Densificación por sucesiones SF=Densificación fuerte por sucesiones P=Conjuntos de Peano F=Fuerteniente densificable Figura 41. Relación entre los distintos tipos de densificación Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. A Programas Empezamos por un programa que calcula las vectores de n componentes tal que la suma de sus cuadrados es menor que 2^"' lo que nos permite calcular el número de intervalos de la n-ésima división de la bola unidad de I2 /** * 12.cpp * Programa que calcula, a partir de un n dado, el conjunto * de naturales al,...,an decrecientes (vector de naturales * de n componentes) tales que al~2+a2~2+...+an"2<2~{2(n-l)} y * además son maximales. * * José Ignacio Úbeda García * * Compilado: g++ l_2.cpp -o 1_2 **/ using namespace std; #include <iostream> void P(int K,int n,int i); int getMaturaKchar *caracter); int N; int main (int numArgs, char *args[]) { if (numArgs != 2) { cout « "Modo de uso:\n\t" « args[0] « " nXndonde n representa un numero natural." return -1; } Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 136 A Programas int K=l, i ; char *argO = args[1]; int natural = getNatural(args[l]); cout « natural « "\n"; N - natural; cout « "Trabajamos con el natural " << natural « ": \n"; for (i=l;i<N;i++) // Cálculo de K=2'-{N-1} { K=2*K; } K=K*K-1; // Sum a_j"2 <2^-{N-l} // sii Sum a_j<=2^{N-l}-l P(K,W,K); return 0; } void P(int K,int n,int i) { int j=i,h,S; // Declaración de variables h=int(sqrt(double(K/n))); if (sqrt(double(K))<i) j=int(sqrt(double(K))); // Cálculo de la cota sup., j S=K-n*h*h; // Cálculo de la cota inf., S if (S>=2*h+1) h++; for (i=j;i>=h;i--) { if (n==N){ cout « "(";} cout « i «","; if (n>l) { P(K-i*i,n-l,i); // Bucle principal // Condición para que escriba // "(" cuando escribe al // Escritura del número Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. A Programas if (n==l) { cout « endl ; } // Condición para que haga un // salto de línea cuando // acaba un vector } int getNaturaKchar *caracter) // Programa para obtener los números { // como parámetros int counter = 0; int result = 0; while(carácter[counter] != '\0') { result = result * 10 + (carácter[counter++] 'O'); } return result; } Para el caso general Ip tendríamos /** * Ip.cpp * Programa que calcula, a partir de un n dado, el conjunto * de naturales al,...,an decrecientes (vector de naturales * de n componentes) tales que al'"2+a2'"2+. . .+an"2<2~-{p(n-l)} y * además son máximales. * * José Ignacio Úbeda García * * Compilado: g++ l_2.cpp -o 1_2 **/ using namespace std; #include <iostream> void P(int K,int n,int i ) ; int getNaturaKchar *caracter); int N; float p=3; Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. 137 Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 138 A Programas int main (int numArgs, char *args[]) { if (numArgs != 2) { cout « "Modo de uso:\n\t" « args[0] « " n\ndonde n representa un numero natural." ; return -1; } int K=l, i; char *argO = args[1]; int natural - getNaturaKargs [1] ); cout « natural « "\n"; N - natural; cout « "Trabajamos con el natural " « natural « ": \n"; // Cálculo de K=2-{p(N-l)} K=int(pow(2,p*(N-l))-l); // Sum a_j~2 <2-{N-l} // sii Sum a_j<=2-{N-l}-l P(K,N,K); return 0; } void P(int K,int n,int i) { int j=i,h,S; // Declaración de variables h=int(pow(K/n,1/p)); if (pow(K,l/p)<i) j=int(pow(K,l/p)); // Cálculo de la cota sup., j S=K-n* int(pow(h,p)); // Cálculo de la cota inf., S if (S>=pow(h+l,p)-pow(h,p)) h++; for (i=j;i>=h;i--) Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. // Bucle principal Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. A Programas if (n==N){ cout « "(";} cout « i « " , " if (n>l) { P(K-i*i,n-l,i); } if (n==l) { cout << endl ; } 139 // Condición para que escriba // "(" cuando escribe al // Escritura del número // Condición para que haga un // salto de línea cuando // acaba un vector } int getNaturalCchar *caracter) // Programa para obtener los { // números como parámetros int counter - 0; int result - 0; while(carácter[counter] != '\0') { result - result * 10 + (carácter[counter++] - 'O'); } return result; } Presentamos un programa que calcula la cota de la ampliación máxima de un circulo de radio R al realizar n iteraciones del procedimiento presentado en el teorema 6.22. /** * amplíejto.cpp * Programa que calcula, a partir de un diámetro inicial R * dado y un número de repeticiones n calcula la cota máxima * del diámetro dada por el teorema de la ampliación por un * conjunto. * * José Ignacio Úbeda García y José Pedro Úbeda Rives * * Compilado: g++ l_2.cpp -o 1_2 **/ Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. 140 A Programas using namespace std; #include <iostreaiii> float R=l, cuatro, nuin,denom; int n=1000000,i; int main (void) { for (i=0;i<=n;i++) { cuatro=R*R; num=2*cuatro; denom=sqrt(4*cuatro-l); R=num/denom; cout « 2*R « "\n"; } } Si representamos gráficamente los datos obtenidos para R = 1 y n = 1000 obtenemos la figura, Ahora presentamos un programa que calcula la cota de la ampliación máxima de un circulo de radio R al realizar n iteraciones del procedimiento presentado, por lo tanto ampliando con 2n conjuntos, para la ampliación de dos conjuntos. /** * * * * * amplíejto.cpp Programa que calcula, a partir de un diámetro inicial R dado y un número de repeticiones n calcula la cota máxima del diámetro dada por el teorema de la ampliación por dos conjuntos. * * José Ignacio Úbeda García y José Pedro Úbeda Rives * * Compilado: g++ l_2.cpp -o 1_2 **/ using namespace std; #include <iostream> Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. A Programas 35 -r 30 25 20 -- 15 10 5 --i 100 200 300 400 500 600 700 800 900 1000 Figura 1. Función del crecimiento de la cota del diámetro según el teorema 6.22. float R=l, cuatro, cosl)senl)zl,numcos2) denomcos2,cos2,sen2, cos3, coseno; int n=1000000,i; int main (void) { for (i=0;i<=n;i++) { cuatro=R*R; senl=l/(2*R); cosl=sqrt(4*cuatro-l)*senl; zl=R/cosl; numcos2=zl*zl+cuatro-l; denomcos2=2*zl*R; cos2=numcos2/denomcos2; sen2=sqrt(l-cos2*cos2) ; Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat d'Alacant. 2006 141 Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. Volver al índice/Tornar a l´índex 142 A Programas cos3=cos2*cosl+sen2*senl; coseno=cosl*sqrt((cos3+l)/2)+senl*sqrt((-cos3+l)/2); R=R/coseno; cout « 2*R « "\n"; Si representamos gráficamente los datos obtenidos para R = 1 y n = 1000 obtenemos la figura, 35 -r 30 -- 25 20 -- 15 -- 10 -- O 100 200 300 400 500 600 700 800 900 1000 Figura 2. Función del crecimiento de la cota del diámetro para la ampliación con dos conjuntos. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. B Espacios Normados Definición B . l . Un espacio vectorial topológico X es un espacio vectorial {X, +, •) (nosotros consideraremos sólo los espacios vectoriales sobre los cuerpos M o C) dotado de una topología compatible con la suma y el producto por un escalar, es decir tal que + G C{X x X,X) y • E C{K x X,X) donde K denota el cuerpo asociado al espacio vectorial (R o C) y X x X lo dotamos de la topología producto. Entre los espacios vectoriales topológicos destacan los espacios normados Definición B.2. Dado un espacio vectorial {X,+,-), norma si y sólo si para todo x,y E X y a EK decimos que || • || es una 1. \\x\\ >0 y \\x\\ = O 4=^ x = O 2. \\ax\\ = \a\\\x\\ 3. \\x + y\\ < \\x\\ + \\y\\ (desigualdad triangular). Un espacio vectorial dotado de una norma se denota espacio normado. Toda norma tiene asociada una distancia dada por d{x,y) = \\x — y\\. Si el espacio normado con la métrica asociada es completo, diremos que el espacio es de Banach. Definición B.3. Dado un espacio vectorial topológico X definimos el dual X' como el conjunto de todas las aplicaciones lineales y continuas de X aK. Observación B.J^. En el caso en que el espacio sea reflexivo la topología u* y la topología üj del dual son la misma. Cuando el espacio no es reflexivo tenemos que la topología uj* es más débil que la topología u) del dual es decir cu* C cu. Definición B.5. Decimos que un espacio vectorial topológico X es separable si y solo si 3{Xre}nGN C X : {Xn}n€N — ^, cs decir existe un conjunto denso numerable. (ad{{Xn}neN) = {Xn}neN) Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. Volver al índice/Tornar a l´índex 144 B Espacios Normados Decimos que A C. X es precompacto si y sólo si VÍ7 e £{0)3{xj}'jî [j'JîXj + U C A : A C. De los siguientes resultados, los primeros pueden encontrarse en [10, páginas 71-75] y el último, el teorema de metrización de Uryshon, en [39, 23.2 página 166]. Teorema B.6 (Alaoglu). Sea X un espacio de Banach, entonces Bx' es LU*compacto. Proposición B.7. Sea X un espacio de Banach. {Bx',u)*) es metrizable si y solo si X es separable. Proposición B.8. Sea X un espacio de Banach. {Bx,¡^) es metrizable si y solo si X' es separable. Proposición B.9. Sea C un compacto débil en un espacio de Banach X. Si X' es cü*-separable, entonces {C,ÜJ) es metrizable. En particular, si X es separable entonces (C, o;) es metrizable. Teorema B.IO. Un espacio de Banach X es reflexivo si y solo si Bx es débilmente compacto. Teorema B . l l . Sea X un espacio de Banach. Si X es separable y reflexivo, entonces (i?x,<^) es un espacio compacto metrizable. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. Referencias 1. Stefan Banach. Sur une classe de funtions continues. Fund, math., 8:168-172, 1926. 2. J.J. Bartholdi, III y L.K. Platzman. An o(n log n) planar travelling salesman heuristic based on space-filling curves. Oper. Res. Lett, 1(4):121~125, 1981/82. 3. Ralph P. Boas. A primer of real functions, tomo 13 de Carus Mathematical Monograhs. Mathematical Association of America, Washington DC, cuarta edición, 1996. Revised ans with a preface by Harold P. Boas. 4. R. Brent. Algorithms for Minimization Without Derivatives. Prentice-Hall, 1973. 5. A.R. Butz. Space filling curves and mathematical programming. Information and Control, 12(12):314-330, 1968. 6. A.R. Butz. Convergence with Hilbert's space-filling curve. Journal of Computer and System Sciences, 3:128-146, 1969. 7. A.R. Butz. Alternative algorithm for hilbert's space-filling curve. IEEE Transactions on Computer, páginas 424-426, April 1971. 8. Hallard T. Croft, Kenneth J. Falconer y Richard K. Guy. Unsolved problems in geometry. Problem Books in Mathematics. Springer-Verlag, New York, 1994. Corrected reprint of the 1991 original 9. J. Dieudonné. Fundamentos de análisis moderno. Editorial Reverte, 1966. 10. Marián Fabian, Petr Habala, Petr Hájek, Vicente Montesinos Santalucía, Jan Pelant y Vaclav Zizler. Functional analysis and infinite-dimensional geometry. CMS Books in Mathematics/Ouvrages de Mathématiques de la SMC, 8. Springer-Verlag, New York, 2001. 11. Peter Fletcher y William F. Lindgren. Quasi-uniform spaces, tomo 77 de Lecture Notes in Pure and Applied Mathematics. Marcel Dekker Inc., New York, 1982. 12. Bernard R. Gelbaum y John M. H. Olmsted. Theorems and counterexamples in mathematics. Problem Books in Mathematics. Springer-Verlag, New York, 1990. 13. John G. Hocking y Gail S. Young. Topología, exposición sistemática de los resultados más importantes en el momento actual. Editorial Reverte, Barcelona, Bogotá, Buenos Aires, Caracas y México, primera edición, 1975. 14. John L. Kelley. Topología General. EUDEBA, Editorial Universitaria de Buenos Aires, 1962. 15. A.B. Kharazishvili. Strange Functions In Real Analysis. Marcel Dekker, Inc, 2000. 16. Gottfried KSthe. Topological Vector Space. I. Translated from the German by D. J. H. Garling. Die Grundlehren der mathematischen Wissenschaften, Bamd 159. Springer-Verlag New York Inc., New York, 1969. 17. K. Kuratowski. Topology, tomo 1. PWN (Polish scientific Publishers and Academic Press New York and London, English edición, 1966. 18. K. Kuratowski. Topology, tomo 2. PWN (Polish scientific Publishers and Academic Press New York and London, English edición, 1966. 19. G. Mora y Y. Cherruault. Characterization and generation of a-dense curves. Computer and Mathematics with Applications, 33(9):83-91, 1997. 20. G. Mora y Y. Cherruault. The theoretic calculation time associated to a-dense curves. 27(8):919-939, 1998. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. Volver al índice/Tornar a l´índex 146 Referencias 21. G. Mora y Y. Cherruault. An approximation method for the optimization of continuous functions of n variables by densifying their domains. Kybernetes, 28(2):164-181, 1999. 22. G. Mora, Y. Cherruault, A. Benabidallah y Y. Toubier. Aproximating multiple integrals via a-dense curves. Kybernetes, 31(2):292-304, 2002. 23. Gaspar Mora. Optimization by space-densifying curves as a natural generalization of the alienor method. Kybernetes, 5/6(29):746-754, 2000. 24. Gaspar Mora, Roberto Benavent y José Carlos Navarro. Polynomial a-dense curves and multiple integration. International Journal of Computation and Numeric Analysis and Applications, 1(1):5568, 2002. 25. Gaspar Mora y Juan A. Mira. Alpha-dense curves in infinite dimensional spaces. Int. J. Pure Appl. Math., 5(4):437-449, 2003. 26. Michal Morayne. On differenctiability of peano type functions. Colloquium Mathematicum, LIII(1):129~132, 1987. 27. Michal Morayne. On differenctiability of peano type functions, ii. Colloquium, Mathematicum, LIII(1):133-135, 1987. 28. Michal Morayne y Jacek Cichon. On differenctiability of peano type functions, iii. Proceedings of the American Mathematical Society, 92(3):432-438, Nov 1984. 29. J. Pach y C. A. Rogers. Partly convex Peano curves. Bull. London Math. Soc., 15(4):321-328, 1983. 30. Warren Page. Topological uniform structures. Dover Publications Inc., New York, 1988. Revised reprint of the 1978 original. 31. William J. Pervin. Quasi-uniformization of topological spaces. Math. Ann., 147:316-317, 1962. 32. H. Sagan. Space filling curves. Universitext Springer Verlag, 1994. 33. Stanislaw Saks. Theory of the integral. Second revised edition. English translation by L. C. Young. With two additional notes by Stefan Banach. Dover Publications Inc., New York, 1964. 34. W. Sierpinski. On a certain plane set. Wiadom. Mat. (2), 3:123-125(1959), 1959. 35. Waclaw Sierpinski. Hypothese du continu. Chelsea Publishing Company, New York, N. Y., 1956. 2nd ed. 36. Lynn Arthur Steen y J. Arthur Seebach, Jr. Counterexamples in Topology. Springer-Verlag, 1978. 37. J. D. Stegeman. On a theorem of N. Th. Varopoulos. Math. Scand., 27:50-52, 1970. 38. Andrew Vince y David C. Wilson. A convexity preserving Peano curve. Houston J. Math., 12(2):295304, 1986. 39. Stephen Willard. General topology. Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont., 1970. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Aspectos geométricos y topológicos de las curvas α-densas. José Ignacio Úbeda García. Tesis doctoral de la Universidad de Alicante. Tesi doctoral de la Universitat dÁlacant. 2006. Volver al índice/Tornar a l´índex

Aspectos geométricos y topológicos de las curvas α

Documentos relacionados

Productos

Apoyo

Aspectos geométricos y topológicos de las curvas α

Documentos relacionados

Añadir este documento a la recogida (s)

Añadir a este documento guardado

Sugiéranos cómo mejorar StudyLib