sup si A no es acotado.

Tamaño: px
Comenzar la demostración a partir de la página:

Download "sup si A no es acotado."

Transcripción

1 Capítulo 5 Teoría de Baire 1. El teorema de Cantor En este capítulo estudiaremos más a fondo los espacios métricos completos. Lo primero que haremos es establecer la equivalencia entre completitud y la llamada propiedad de Cantor, la cual demostraremos en esta sección. Si A es un subconjunto no vacío del espacio métrico (X, d), definimos el diámetro de A como { sup diam A = x,y A d(x, y) si A es acotado si A no es acotado. Si A es acotado, entonces el conjunto {d(x, y) : x, y A} es acotado ya que, si para algún x 0 X, d(x, x 0 ) M para todo x A, entonces d(x, y) d(x, x 0 ) + d(x 0, y) 2M para todo x, y A. Entonces diam A existe por la completitud de los números reales. Más aún, el diámetro satisface las siguientes propiedades. Proposición 5.1. Sean A, B X no vacíos. Entonces 1. diam A = 0 si, y sólo si, A = {x} para algún x X; 2. Si A B, entonces diam A diam B. Demostración. 1. La primera parte se sigue porque d(x, y) = 0 si, y sólo si, x = y. 87

2 88 5. Teoría de Baire 2. Si A B, entonces {d(x, y) : x, y A} {d(x, y) : x, y B}, por lo que entonces diam A diam B}. Ahora demostraremos el teorema de Cantor, el cual ofrece una propiedad equivalente a completitud en términos del diámetro de sucesiones de conjuntos. Teorema 5.2 (Cantor). El espacio métrico (X, d) es completo si, y sólo si, para toda sucesión decreciente de subconjuntos A n, no vacíos y cerrados en X, tales que lím n diam A n = 0, tenemos que A n = {x 0 } para algún x 0 X. n=1 Una familia contable {A n } es una sucesión decreciente de conjuntos si A n+1 A n para cada n. Demostración. Supongamos que (X, d) es completo, y sea A n una sucesión de conjuntos no vacíos cerrados en X, decreciente y tal que lím diam A n = 0. n Tomemos una sucesión (x n ) en X tal que x n A n. Observamos que tal sucesión es de Cauchy. Para verificar esto, sean ε > 0 y N > 0 tal que diam A N < ε. Para todo n N, A n A N y por lo tanto diam A n < ε, lo cual implica que si m, n N, entonces d(x n, x m ) < ε. Entonces (x n ) es una sucesión de Cauchy y, por la completitud de X, converge. Digamos x n x 0. Ahora demostraremos que A n = {x 0 }, mostrando que x 0 A n para tod n. Para demostrar que x 0 A n para todo n, fijamos un n 0 y demostraremos que B ε (x 0 ) A n0 para todo ε > 0. Esto implica que x 0 A n0 y, como A n0 es cerrado, x 0 A n0. Sea ε > 0. Como x n x 0, existe N > 0 tal que d(x n, x 0 ) < ε para todo n N. Si tomamos n N y n n 0, entonces x n B ε (x 0 ) y x n A n A n0.

3 1. El teorema de Cantor 89 Entonces x n B ε (x 0 ) A n0. Por lo tanto x 0 A n0 y, como n 0 es arbitrario, x 0 A n para todo n. Ahora bien, ( diam n=1 A n ) = 0, ya que A n A k para todo A k y además diam A k 0. Por la proposición 5.1, A n = {x 0 }. Para mostrar la inversa, sea (x n ) una sucesión de Cauchy en X. Definimos los conjuntos T n = {x k : k n}, A n = T n. Claramente, cada A n es no vacío, cerrado, y A n+1 A n, n = 1, 2,.... Además, diam A n = sup d(x m, x k ), m,k n por el ejercicio 1. Como (x n ) es de Cauchy, dado ε > 0 existe N > 0 tal que para todo m, n N, y por lo tanto d(x m, x n ) < ε 2 diam A n diam A N ε 2 < ε para todo n N. Entonces diam A n 0. Por la hipótesis del teorema, An = {x 0 } para algún x 0 X, y no es difícil ver que x n x 0 (ejercicio 2). Ejemplo 5.3. Considere el espacio R. Entonces, dada una subsucesión de intervalos encajados [a n, b n ] [a n+1, b n+1 ], [a n, b n ]. n=1 De hecho, esta propiedad de intesección no vacía de intervalos encajados es equivalente a la completitud de R. No podemos utilizar directamente el teorema de Cantor, ya que la definición de diámetro depende de la completitud de R. Sin embargo, podemos reescribir la hipótesis del teorema de la siguiente manera: Sean A n, cerrados, A n A n+1, tales que para todo ε > 0 existe n 0 tal que para todos x, y A n0, d(x, y) < ε. Entonces An = {x 0 } para algún x 0 X.

4 90 5. Teoría de Baire Este enunciado evita el uso del diámetro de un conjunto, y la equivalencia con la completitud de R se muestra de la misma manera con la que fue demostrado el teorema de Cantor (ejercicio 3). 2. El teorema de Baire En esta sección mostraremos el teorema de Baire y daremos algunas aplicaciones. Aunque este teorema es una simple consecuencia del teorema de Cantor demostrado en la sección anterior, su uso ofrece un método muy poderoso para resolver diversos problemas de análisis. Recordemos que si S, A X, decimos que S es denso en A si, para todo ε > 0 y x A, B ε (x) S ; es decir, S A. Es claro que la unión de conjuntos densos es también un conjunto denso. Ésto no es necesariamente cierto acerca de la intersección de conjuntos densos, ya que incluso ésta puede ser vacía, como en el caso Q y R \ Q, los cuales son densos en R y disjuntos. Sin embargo, la intersección contable de conjuntos densos abiertos en un espacio métrico completo es de hecho un conjunto denso. Ésta es la conclusión del teorema de Baire, que establecemos a continuación. Teorema 5.4 (Baire). Sea (X, d) un espacio métrico completo y U n, n = 1, 2,..., conjuntos abiertos densos en X. Entonces U = es denso en X. n=1 Demostración. Sean x X y ε > 0. Mostraremos que la intersección B ε (x) U no es vacía. Como U 1 es denso, existe x 1 B ε (x) U 1. Tanto B ε (x) como U 1 son abiertos, por lo que B ε (x) U 1 es también abierto y podemos encontrar un δ 1 > 0 tal que B δ1 (x 1 ) B ε (x) U 1. Sea y U n { δ1 r 1 = mín 2, ε }, 2 A 1 = B r1 (x 1 ). A 1 es cerrado y es subconjunto de B ε (x) U 1. De igual forma, ya que U 2 es abierto y denso en X, podemos encontrar x 2 X y r 2 ε tales que 4 A 2 = B r2 (x 2 ) B r1 (x 1 ) U 2 B ε (x) U 2.

5 2. El teorema de Baire 91 Por inducción, construímos una sucesión decreciente de conjuntos cerrados no vacíos A n tal que diam A n ε 2 n 1 y A n B ε (x) U n. Por el teorema de Cantor, n A n = {x 0 } para algún x 0 X. Pero entonces x 0 A n B ε (x) U n para todo n, por lo que concluímos que x 0 B ε (x) U. Decimos que un subconjunto A X es denso en ninguna parte si el conjunto X \ Ā es denso. Es decir, para todo x Ā y ε > 0, B ε(x) Ā. En otras palabras, Ā no contiene ningún conjunto abierto. Ejemplo 5.5. El conjunto vacío es denso en ninguna parte. Ejemplo 5.6. Si X = R l, entonces todos sus subconjuntos finitos son densos en ninguna parte. De hecho, ésto es cierto de todos los subespacios discretos de R l, como Z ó {1/n}. Ejemplo 5.7. El conjunto de Cantor, definido en el ejemplo 1.41, es un conjunto denso en ninguna parte. Para verificar esto, sea x C y δ > 0. Si n es tal que 1 < δ, entonces es claro que 3n (x δ, x + δ) I, donde I es el intervalo de longitud 3 n que contiene a x obtenido en la n-ésima iteración en la construcción de C (véase el ejemplo 1.41). Entonces (x δ, x + δ) C. Definición 5.8. Sea (X, d) un espacio métrico. Decimos que X es un espacio de primera categoría si existe una sucesión de conjuntos E n X, densos en ninguna parte, tales que X = E n. n Decimos que X es de segunda categoría si no es de primera categoría. Es decir, un espacio es de primera categoría si es la unión contable de conjuntos densos en ninguna parte, y de segunda categoría si no lo es. Corolario 5.9 (Baire). Si (X, d) es un espacio métrico completo, entonces X es de segunda categoría.

6 92 5. Teoría de Baire Demostración. Sea {E n } una colección contable de subconjuntos de X densos en ninguna parte. Demostraremos que E n X. Sean n U n = X \ E n. Entonces cada U n es abierto, denso, y, por el teorema de Baire, la intersección U n = X \ E n n n es un conjunto denso. En particular, X \ n E n y, como E n E n, n n X \ E n tampoco es vacío. Por lo tanto E n X. Tanto el teorema 5.4 como el corolario 5.9 son conocidos como el teorema de Baire, y nosotros utilizaremos este nombre para referirnos a cualquiera de estos dos resultados. 3. Consecuencias del teorema de Baire 3.1. Cardinalidad. Una consecuencia directa del teorema de Baire es la incontabilidad de R. Si R fuera contable, entonces sería la unión contable de cada uno de sus puntos y, como hemos visto que cada subconjunto finito de R es denso en niguna parte, esto contradice la completitud de R. Podemos generalizar este resultado de la siguiente manera. Teorema Sea (X, d) un espacio métrico completo tal que cada uno de sus puntos es un punto de acumulación de X. Entonces X es incontable. Demostración. Si x es un punto de acumulación de X, entonces todas las bolas B ε (x) contienen puntos de X distintos a x, por lo que entonces el conjunto X \ {x} es denso. Como {x} es cerrado, {x} es denso en niguna parte. Si X fuera contable, sería la unión contable de cada uno de sus puntos, una contradicción con la completitud de X, por el teorema de Baire. Ejemplo El conjunto de Cantor es un subespacio completo de R (porque es cerrado en R y por el teorema 2.21) y no tiene puntos aislados (ejercicio 17). Por el teorema 5.10, C es incontable.

7 3. Consecuencias del teorema de Baire Conjuntos G δ y F σ. Sabemos que la intersección infinita de conjuntos abiertos en un espacio métrico no es, en general, un conjunto abierto, y lo mismo sucede con uniones infinitas de conjuntos cerrados. Sin embargo, cuando nos referimos a uniones o intersecciones contables, podemos obtener algunos resultados útiles para resolver varios problemas de análisis. Definición Sea (X, d) un espacio métrico. Decimos que A X es un conjunto G δ en X si A es la intersección contable de conjuntos abiertos en X. Decimos que A es un conjunto F σ si es la unión contable de conjuntos cerrados en X. Ejemplo Todo subconjunto contable de X es un conjunto F σ en X. Esto se debe a que cada punto de X es cerrado en X. Ejemplo Si x X, entonces {x} = B 1/n (x), n=1 por lo que entonces el conjunto {x} es un conjunto G δ en X. Ejemplo Si A es un conjunto G δ en X, entonces X \A es un conjunto F σ. Esto se sigue por la leyes de De Morgan (ejercicio 4). De la misma forma, si A es F σ, entonces X \ A es G δ en X. Ejemplo Por el ejemplo anterior, si X \ A es contable, entonces A es un conjunto G δ en X. Ejemplo Los conjuntos Q y R \ Q son conjuntos F σ y G δ en R, respectivamente. El ejemplo 5.17 da origen a la siguiente pregunta: es el conjunto Q un conjunto G δ en R? La respuesta a esta pregunta es negativa, como lo establece el siguiente teorema. Teorema El conjunto Q no es G δ en R. Demostración. Supongamos que Q = U n, n=1 donde los conjuntos U n son abiertos en R. Como Q es denso, cada U n es denso, y por lo tanto los conjuntos E n = R \ U n son densos en ninguna parte. Entonces podemos escribir R = E n {q}, q Q

8 94 5. Teoría de Baire la unión contable de conjuntos densos en ninguna parte (Q es contable). Esto contradice el teorema de Baire y la completitud de R Continuidad de funciones. Consideremos las siguientes funciones en R { 1 si x Q (5.1) f(x) = 0 si x R \ Q, 1 si x Q y x = p, mcd(p, q) = 1 (5.2) g(x) = q q 0 si x R \ Q, donde mcd(p, q) denota el máximo común divisor de los enteros p y q. La función f es discontinua en todos los puntos de R, mientras que g es continua precisamente en los números irracionales (ejercicios 9 y 10). Tales funciones nos hacen pensar en la siguiente pregunta: existe una función en R que sea continua precisamente en los números racionales, es decir, continua en Q y discontinua en R\Q? Demostraremos que tal función no existe en lo que resta de esta sección. De nuevo, utilizaremos el teorema de Baire para demostrar este resultado. Definición Dada una función f : X Y, donde (X, d) y (Y, d ) son dos espacios métricos, definimos el conjunto de continuidades de f como el conjunto C f = {x X : f es continua en x}. Para contestar la pregunta anterior, estudiaremos algunas propiedades del conjunto C f. Para ésto, consideremos las funciones { sup{d (f(y), f(z)) : y, z B δ (x)} si f es acotada en B δ (x) O f (x, δ) = de otra forma y O f (x) = inf O(x, δ). δ>0 Definición La función O f (x) es llamada la oscilación de f en x. Nótese que si δ δ, entonces O f (x, δ) O f (x, δ ), por lo que si O f (x, δ) < para algún δ > 0. O f (x) = lím δ 0 O f (x, δ) Ejemplo Considere X = (0, 1) y f(x) = 1 x. Entonces O f ( 1 4, δ ) =

9 3. Consecuencias del teorema de Baire 95 si δ 1/4. Sin embargo, como f es continua en 1/4, para cada ε > 0 existe δ > 0 tal que ( (1) ) f B δ B ε (f ( 1) ) = B ε (4), 4 4 por lo que Entonces O f (1/4) = 0. O f ( 1 4, δ ) 2ε. En general, si f es continua en x, entonces O f (x) = 0. Proposición Sean (X, d) y (Y, d ) dos espacios métricos, f : X Y y x X. Entonces f es continua en x si y sólo si O f (x) = 0. Demostración. Supongamos que f es continua en x y sea ε > 0. Entonces existe δ > 0 tal que f(b δ (x)) B ε/2 (f(x)). Entonces, si y, z B δ (x), d (f(y), f(z)) d (f(y), f(x)) + d (f(x), f(z)) < ε 2 + ε 2 = ε, por lo que entonces O f (x, δ) ε. Como ε > 0 es arbitrario, esto demuestra que O f (x) = 0. De manera inversa, supongamos que O f (x) = 0, y sea ε > 0. Como lím O f (x, δ) = 0, δ 0 existe δ > 0 tal que O f (x, δ) < ε; es decir, para y, z B δ (x), d (f(y), f(z)) < ε. Pero esto implica que f(y) B ε (f(x)) para todo y B δ (x) y, por lo tanto, f es continua en x. Tenemos entonces que C f = {x X : O f (x) = 0}. Ejemplo Considere X = [0, 1] y f la función 0 x = 0 f(x) = 1 x 0 < x 1. Entonces O f (0, δ) = para todo δ > 0.

10 96 5. Teoría de Baire Ejemplo Consideremos ahora X = [0, 1] y f la función 0 x = 0 f(x) = ( 1 sin 0 < x 1. x) Véase la figura 1. Entonces O f (0, δ) = 2 para todo δ > Figura 1. Gráfica de la función f en [0, 1]. Ejemplo Si f : R R es la función definida por (5.1), entonces O f (x, δ) = 1 para todo x R y δ > 0. Ejemplo Si g : R R es la función definida por (5.2), entonces O g (x) = g(x) (ejercicio 11). Los ejemplos anteriores describen la función oscilación en distintos puntos del dominio de una función. Sabemos que O f (x) = 0 si f es continua en x y O f (x) > 0 si f no es continua en x (o, si f no es acotada en ninguna vecindad de x). Ahora bien, si definimos el conjunto tenemos el siguiente resultado. O f (ε) = {x X : O f (x) < ε}, Lema El conjunto O f (ε) es abierto en X. Demostración. Sea x O f (ε). Queremos encontrar un δ > 0 tal que B δ (x) O f (ε), es decir, O f (y) < ε para todo y B δ (x). Ahora bien, como x O f (ε), existe un número δ 0 tal que O f (x, δ 0 ) < ε. De hecho, para algún ε 0 > 0, O f (x, δ 0 ) ε ε 0, es decir, d (f(y), f(z)) ε ε 0 para todo y, z B δ0 (x).

11 3. Consecuencias del teorema de Baire 97 Sea δ = δ 0 /2. Demostraremos que B δ (x) O f (ε). Para ésto, sea y B δ (x). Si d(z, y) < δ, entonces d(z, x) d(z, y) + d(y, x) < δ + δ = δ 0, por lo que y entonces B δ (y) B δ0 (x) d (f(z), f(z )) ε ε 0 para z, z B δ (y). Ésto significa que O f (y, δ) ε ε 0, y por lo tanto O f (y) < ε. El siguiente teorema es el resultado principal de esta sección. Teorema El conjunto C f es un conjunto G δ. Demostración. Ya hemos visto que C f = {x X : O f (x) = 0}, por lo que entonces C f = O f (1/n). n=1 Cada O f (1/n) es abierto por el lema 5.27 y, por lo tanto, C f es un conjunto G δ. Como el conjunto de los racionales no es un conjunto G δ, por el teorema 5.18 tenemos entonces la respuesta a la pregunta hecha al inicio de estas notas. Corolario No existe una función f : R R tal que C f = Q Diferenciabilidad de funciones. En esta sección demostraremos la existencia de una función continua no diferenciable en ningún punto. De hecho, mostraremos que el conjunto de funciones continuas diferenciables en al menos un punto en [0, 1] es de primera categoría en C([0, 1]). Lema Sea F n el conjunto F n = {f C([0, 1]) : existe x 0 [0, 1 1/n] tal que, Entonces 1. F n es cerrado en C([0, 1]). 2. F n es denso en ninguna parte. para todo x [x 0, 1), f(x) f(x 0 ) n(x x 0 )}.

12 98 5. Teoría de Baire Demostración. 1. Sea (f k ) una sucesión en F n, que converge en C([0, 1]), digamos f k f. Demostraremos que f F n. Para esto, escogemos, para cada k, x k [0, 1 1/n] tal que f k (x) f(x k ) n(x x 0 ) para todo x [x k, 1). Como [0, 1 1/n] es compacto, (x k ) tiene una subsucesión convergente, digamos x kl x 0. Demostraremos que f(x) f(x 0 ) n(x x 0 ) para todo x [x 0, 1). Sea ε > 0. Sea K tal que, para k, l K, f k (x) f(x) < ε 5 y f k (x) f l (x) < ε 5 para todo x [0, 1]. Ahora sea δ > 0 tal que, si x x 0 < δ, entonces f K (x) f K (x 0 ) < ε 5. Escogemos L tal que k L K y, si l L, entonces ε x kl x 0 < mín{δ, 5n }. Sea x [x 0, 1). Si x x kl, f(x) f(x 0 ) f(x) f kl (x) + f kl (x) f kl (x kl ) + f kl (x kl ) f K (x kl ) + f K (x kl ) f K (x 0 ) + f K (x 0 ) f(x 0 ) < ε 5 + n(x x k L ) + ε 5 + ε 5 + ε 5 = ε 5 + n(x x 0 + x 0 x kl ) + ε 5 + ε 5 + ε 5 < ε 5 + n(x x ε 0) + n 5n + ε 5 + ε 5 + ε 5 = n(x x 0) + ε. Si x < x kl, entonces x 0 x < x kl, por lo que x x 0 < δ. Entonces f(x) f(x 0 ) f(x) f K (x) + f K (x) f K (x 0 ) + f K (x 0 ) f(x 0 ) < ε 5 + ε 5 + ε 5 < n(x x 0) + ε. Como ε > 0 es arbitrario, entonces para todo x [x 0, 1). f(x) f(x 0 ) n(x x 0 ) 2. Sean f C([0, 1]) y ε > 0. Tenemos que encontrar g C([0, 1]) tal que f g u < ε y g F n. Como f es uniformemente continua, existe δ 0 tal que si x y < δ 0 entonces f(x) f(y) < ε/5.

13 3. Consecuencias del teorema de Baire 99 Sea δ = mín{δ 0, ε/(5n)}, y tomamos x 0 = 0 < x 1 <... < x m = 1 tales que x i x i 1 < δ. Definimos g : [0, 1] R como g(x i ) = f(x i ) + ( 1)i ε, i = 1, 2,... 5 g(x) = g(x i ) + g(x i) g(x i 1 ) (x x i ), x i 1 x x i. x i x i 1 Ahora bien, para x [0, 1], si x i 1 x x i, f(x) g(x) f(x) f(x i ) + f(x i ) g(x i ) + g(x i ) g(x) < ε 5 + ε 5 + g(x i) g(x i 1 ) = 2ε 5 + f(x i) f(x i 1 ) + ( 1) i 2ε 5 4ε 5 + f(x i) f(x i 1 ) < ε. Por lo tanto f g u < ε. Para mostrar que g F n, es suficiente con demostrar que las pendientes de las rectas que definen la función g son mayores, en valor absoluto, a n. Pero esto es g(x i ) g(x i 1 ) f(x i ) f(x i 1 ) + ( 1) i 2ε x i x i 1 = 5 x i x i 1 2ε 5 f(x 2ε i) f(x i 1 ) > 5 ε 5 x i x i 1 ε = n. 5n El conjunto F n es el conjunto de funciones f tales que, para algún x 0 [0, 1 1/n], las secantes a la gráfica de f que pasan por x 0 y por otro punto a la derecha de x 0, tienen pendiente menor que n, en valor absoluto. Es fácil de ver, entonces, que los F n contienen a todas las funciones diferenciables en al menos un punto. Lema Sea f : [0, 1] R diferenciable en x 0 [0, 1). Entonces existe n tal que f F n. Demostración. Ejercicio 12. Hemos llegado entonces a nuestro objetivo. Teorema Existe f C([0, 1]) tal que, para todo x [0, 1], f no es diferenciable en x.

14 Teoría de Baire Demostración. Por el lema 5.31, si f es diferenciable en x 0 [0, 1), entonces f F n para algún n. Pero, por el lema 5.30, cada F n es denso en ninguna parte, por lo que C([0, 1]) F n, por el teorema de Baire. Si g C([0, 1]) \ n=2 n=2 y ( 1 ) h(x) = (x 1) sen, x 1 entonces f = g + h no es diferenciable en ningún punto de [0, 1]. F n Ejercicios 1. Muestre que para todo subconjunto A del espacio métrico (X, d), diam A = diam Ā. 2. Sea A n una sucesión de subconjuntos de (X, d) tales que diam A n 0. Muestre que si A n = {x} y x n A n para cada n, entonces x n x. 3. Muestre la equivalencia entre los siguientes enunciados: * Sea S un subconjunto no vacío de R, acotado por arriba. Entonces S tiene un supremo. ** Sea [a n, b n ] una sucesión de intervalos encajados, es decir [a n+1, b n+1 ] [a n, b n ]. Entonces [a n, b n ]. El enunciado (**) es utilizado como Axioma de Completitud en el texto de Courant y John [1]. 4. Sea A un conjunto G δ en X. Entonces X \ A es F σ en X. Si A es F σ en X, entonces X \ A es G δ. 5. Sea A X denso en X. Entonces, si E es cerrado en X y E A =, entonces E es denso en ninguna parte. 6. Si A X es G δ y denso en X, entonces X \ A es de primera categoría. 7. Si A y X \ A son densos en el espacio completo X, entonces sólo uno de ellos puede ser F σ en X. 8. Sea A X contable y denso en el espacio completo X. Entonces A no es G δ.

15 Ejercicios Muestre que la función f : R R definida por (5.1) es discontinua en todo punto de R. 10. Muestre que la función g : R R definida por (5.2) es continua en los irracionales y discontinua en los racionales. 11. Muestre que si g : R R está definida por (5.2), entonces O g (x) = g(x). 12. Demuestre el lema 5.31.

sup si A no es acotado.

sup si A no es acotado. Capítulo 6 Espacios completos 1. El teorema de Cantor En este capítulo estudiaremos más a fondo los espacios métricos completos. Lo primero que haremos es establecer la equivalencia entre completitud y

Más detalles

diám A = x,y A d(x,y) si A es acotado si A no es acotado. {d(x,y) : x,y A}

diám A = x,y A d(x,y) si A es acotado si A no es acotado. {d(x,y) : x,y A} Capítulo 6 Teoría de Baire 1. El teorema de Cantor En este capítulo estudiaremos más a fondo los espacios métricos completos. Lo primero que haremos es establecer la equivalencia entre completitud y la

Más detalles

Espacios compactos. Capítulo Cubiertas. En este capítulo estudiaremos el concepto de compacidad en un espacio métrico.

Espacios compactos. Capítulo Cubiertas. En este capítulo estudiaremos el concepto de compacidad en un espacio métrico. Capítulo 3 Espacios compactos 1. Cubiertas En este capítulo estudiaremos el concepto de compacidad en un espacio métrico. Definición 3.1. Sea (X, d) un espacio métrico y A X. Una cubierta de A es una familia

Más detalles

Espacios conexos. Capítulo Conexidad

Espacios conexos. Capítulo Conexidad Capítulo 5 Espacios conexos 1. Conexidad En este capítulo exploraremos el concepto de conexidad en un espacio métrico, y estudiaremos algunas de sus aplicaciones. Definición 5.1. Decimos que el espacio

Más detalles

Espacios compactos. 1. Cubiertas

Espacios compactos. 1. Cubiertas Capítulo 3 Espacios compactos 1. Cubiertas En este capítulo estudiaremos el concepto de compacidad en un espacio métrico. La compacidad se puede estudiar desde dos puntos de vista: el topológico, a través

Más detalles

1. La topología inducida.

1. La topología inducida. PRACTICO 4. ESPACIOS METRICOS. 1. La topología inducida. Sea (M, d) un espacio métrico. La bola abierta de centro x y radio r es el conjunto B(x; r) = {y M : d(x, y) < r}. La bola cerrada de centro x y

Más detalles

El espacio euclideano

El espacio euclideano Capítulo 1 El espacio euclideano 1. Definiciones básicas El espacio Euclideano, denotado por R n, está definido por el conjunto (1.1) R n = {x = (x 1, x 2,..., x n ) : x i R}. Es decir, R n es efectivamente

Más detalles

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

Análisis Real: Primer Curso. Ricardo A. Sáenz Análisis Real: Primer Curso Ricardo A. Sáenz Índice general Introducción v Capítulo 1. Espacios Métricos 1 1. Métricas 1 2. Métricas en espacios vectoriales 4 3. Topología 9 Ejercicios 16 Capítulo 2.

Más detalles

Espacios completos. 8.1 Sucesiones de Cauchy

Espacios completos. 8.1 Sucesiones de Cauchy Capítulo 8 Espacios completos 8.1 Sucesiones de Cauchy Definición 8.1.1 (Sucesión de Cauchy). Diremos que una sucesión (x n ) n=1 en un espacio métrico (X, d) es de Cauchy si para todo ε > 0 existe un

Más detalles

Sucesiones y convergencia

Sucesiones y convergencia Capítulo 2 Sucesiones y convergencia 1. Definiciones Una de las ideas fundamentales del análisis es la de límite; en particular, el límite de una sucesión. En este capítulo estudiaremos la convergencia

Más detalles

Práctica 5 -Completitud, Continuidad uniforme y Compacidad- A. Completitud

Práctica 5 -Completitud, Continuidad uniforme y Compacidad- A. Completitud Cálculo Avanzado Primer Cuatrimestre de 2011 Práctica 5 -Completitud, Continuidad uniforme y Compacidad- Cuanto más sólido, bien definido y espléndido es el edificio erigido por el entendimiento, más imperioso

Más detalles

1. Espacios topológicos compactos.

1. Espacios topológicos compactos. PRACTICO 6. COMPACIDAD. 1. Espacios topológicos compactos. Definición 1 Un cubrimiento de un conjunto X es una familia de subconjuntos de X cuya unión da X. Un cubrimiento de un espacio es abierto si cada

Más detalles

Espacios métricos completos

Espacios métricos completos 5 Espacios métricos completos Comenzamos introduciendo las sucesiones de Cauchy, que relacionamos con las sucesiones convergentes. En el caso de que coincidan, se trata de un espacio métrico completo.

Más detalles

El Teorema de Baire Rodrigo Vargas

El Teorema de Baire Rodrigo Vargas El Teorema de Baire Rodrigo Vargas Teorema 1 (Baire). Sea M un espacio métrico completo. Toda intersección numerable de abiertos densos es un subconjunto denso de M. Definición 1. Sea M un espacio métrico.

Más detalles

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

Análisis Real: Primer Curso. Ricardo A. Sáenz Análisis Real: Primer Curso Ricardo A. Sáenz Índice general Introducción v Capítulo 1. Espacios Métricos 1 1. Métricas 1 2. Métricas en espacios vectoriales 4 3. Topología 9 Ejercicios 16 Capítulo 2.

Más detalles

Conjuntos Abiertos y Cerrados

Conjuntos Abiertos y Cerrados Conjuntos Abiertos y Cerrados 1. (a) En la prueba de que la intersección de una colección finita de conjuntos abiertos es un conjunto abierto, dónde se uso la hipótesis de que la colección es finita? 2.

Más detalles

Espacios compactos. 7.1 Espacios compactos

Espacios compactos. 7.1 Espacios compactos 58 Capítulo 7 Espacios compactos 7.1 Espacios compactos Definición 7.1.1 (Recubrimiento). Sea X un conjunto y sea S X. Un recubrimiento de S es una familia A = {A i } i I de subconjuntos de X tales que

Más detalles

El espacio de funciones continuas

El espacio de funciones continuas Capítulo 4 El espacio de funciones continuas 1. Funciones continuas En este capítulo estudiaremos las funciones continuas en un espacio métrico, además de espacios métricos formados por funciones continuas.

Más detalles

Taller de Cálculo Avanzado - Segundo Cuatrimestre de Práctica 3

Taller de Cálculo Avanzado - Segundo Cuatrimestre de Práctica 3 Taller de Cálculo Avanzado - Segundo Cuatrimestre de 2008 Práctica 3 Topología. Decir qué propiedades (abierto, cerrado, acotado) tienen los siguientes conjuntos. (a) Q. (b) N. (c) {x R : x > 0}. (d) (0,

Más detalles

y valores extremos. En esta sección estudiaremos los conjuntos convexos. Recordemos que un conjunto K R n es convexo si, para todo x,y K y t [0,1],

y valores extremos. En esta sección estudiaremos los conjuntos convexos. Recordemos que un conjunto K R n es convexo si, para todo x,y K y t [0,1], Capítulo 4 Convexidad 1. Conjuntos convexos En este capítulo estudiaremos el concepto de convexidad, el cual es sumamente importante en el análisis. Estudiaremos conjuntos convexos y funcionesconvexas

Más detalles

2.3. Aplicaciones del teorema de Baire a espacios de Banach

2.3. Aplicaciones del teorema de Baire a espacios de Banach 40 CAPÍTULO. COMPLETITUD Y CATEGORÍAS.3. Aplicaciones del teorema de Baire a espacios de Banach En esta sección, veremos algunas aplicaciones del teorema de Baire a espacios vectoriales normados. En particular,

Más detalles

Capítulo La integral de Riemann

Capítulo La integral de Riemann Capítulo 5 Integración 1. La integral de iemann Empecemos por recordar la integral de iemann de una función acotada f : [a, b]. Una partición P de [a, b] es un subconjunto finito P [a, b] tal que a, b

Más detalles

Principio de acotación uniforme

Principio de acotación uniforme Capítulo 4 Principio de acotación uniforme 4.1. Introducción. Teorema de Baire En este último capítulo vamos a establecer una serie de resultados sobre aplicaciones lineales y continuas entre espacios

Más detalles

Espacios compactos. Se pretenden alcanzar las siguientes competencias específicas:

Espacios compactos. Se pretenden alcanzar las siguientes competencias específicas: 4 Espacios compactos En este capítulo introducimos los conceptos de espacio y subespacio compacto. Se estudian propiedades de los conjuntos compactos, así como relación entre la compacidad y las funciones

Más detalles

ELEMENTOS DE ANÁLISIS FUNCIONAL

ELEMENTOS DE ANÁLISIS FUNCIONAL ELEMENTOS DE ANÁLISIS FUNCIONAL Guillermo Ames Universidad Tecnológica Nacional - Facultad Regional Córdoba 2011 TEMA 1: NOCIONES BÁSICAS DE ESPACIOS MÉTRICOS Espacios métricos: definición y ejemplos Definición

Más detalles

1 Continuidad uniforme

1 Continuidad uniforme Centro de Matemática Facultad de Ciencias Universidad de la República Introducción a la Topología Curso 2016 NOTAS 6: ESPACIOS MÉTRICOS II: COMPLETITUD 1 Continuidad uniforme Denición. Sean (M, d 1 ) y

Más detalles

El espacio de funciones continuas

El espacio de funciones continuas Capítulo 4 El espacio de funciones continuas 1. Funciones continuas En este capítulo estudiaremos las funciones continuas en un espacio métrico, además de espacios métricos formados por funciones continuas.

Más detalles

CÁLCULO DIFERENCIAL. Víctor Manuel Sánchez de los Reyes. Departamento de Análisis Matemático Universidad Complutense de Madrid

CÁLCULO DIFERENCIAL. Víctor Manuel Sánchez de los Reyes. Departamento de Análisis Matemático Universidad Complutense de Madrid CÁLCULO DIFERENCIAL Víctor Manuel Sánchez de los Reyes Departamento de Análisis Matemático Universidad Complutense de Madrid Índice 1. Conceptos topológicos y métricos 5 1.1. Métricas, normas y productos

Más detalles

TOPOLOGÍA SOLUCIONES A LAS RELACIONES DE PROBLEMAS

TOPOLOGÍA SOLUCIONES A LAS RELACIONES DE PROBLEMAS TOPOLOGÍA SOLUCIONES A LAS RELACIONES DE PROBLEMAS Ejercicio 4.1.- Relación 4. Compacidad. Conexión Supongamos que A es compacto y sea A α Λ B α un recubrimiento de A por bolas abiertas. Entonces, como

Más detalles

Parte 2: Definición y ejemplos de topologías.

Parte 2: Definición y ejemplos de topologías. Parte 2: Definición y ejemplos de topologías. 22 de marzo de 2014 1. Definiciones y propiedades básicas. Definición 1 Sea X un conjunto. Una familia T de subconjuntos de X es una topología de X si se cumplen:

Más detalles

Teorema de Existencia y Unicidad Ecuaciones Diferenciales Ordinarias.

Teorema de Existencia y Unicidad Ecuaciones Diferenciales Ordinarias. Teorema de Existencia y Unicidad Ecuaciones Diferenciales Ordinarias. Dr. Rafael Morones E. Dept. de Matemáticas ITAM August 5, 2002 1 Contenido 1 Preliminares. 3 1.1 Sucesiones...............................

Más detalles

Continuidad y Continuidad Uniforme. Aplicaciones lineales continuas.

Continuidad y Continuidad Uniforme. Aplicaciones lineales continuas. Continuidad y Continuidad Uniforme. Aplicaciones lineales continuas. Beatriz Porras 1 Límites Las definiciones de ĺımite de funciones de varias variables son similares a las de los ĺımites de funciones

Más detalles

Problemas de TOPOLOGÍA Hoja 2

Problemas de TOPOLOGÍA Hoja 2 Problemas de TOPOLOGÍA Hoja 2 1. Sea X un conjunto, (Y, T Y ) un espacio topológico y f : X Y una aplicación. Probar que T = {f 1 (G) : G T Y } es una topología sobre X. Esta topología se llama topología

Más detalles

Cálculo diferencial e integral I. Eleonora Catsigeras

Cálculo diferencial e integral I. Eleonora Catsigeras Cálculo diferencial e integral I Eleonora Catsigeras Universidad de la República Montevideo, Uruguay 01 de setiembre de 2011. CLASE 14 complementaria. Sobre sucesiones y conjuntos en la recta real. Sucesiones

Más detalles

Reconocer y utilizar las propiedades sencillas de la topología métrica.

Reconocer y utilizar las propiedades sencillas de la topología métrica. 3 Funciones continuas De entre todas las aplicaciones que pueden definirse entre dos espacios métrico, las aplicaciones continuas ocupan un papel preponderante. Su estudio es fundamental no sólo en topología,

Más detalles

Integración de Funciones Reales

Integración de Funciones Reales Capítulo 20 Integración de Funciones Reales Nos proponemos estudiar en este capítulo las propiedades fundamentales del operador integral. n particular, extenderemos aquí al caso de funciones medibles con

Más detalles

Espacios de Hilbert. 1. Propiedades básicas

Espacios de Hilbert. 1. Propiedades básicas Capítulo 9 Espacios de Hilbert 1. Propiedades básicas En este capítulo estudiaremos las propiedades básicas, así como algunas aplicaciones, de la teoría de espacios de Hilbert. Definición 9.1. Decimos

Más detalles

Nociones topológicas elementales de R n

Nociones topológicas elementales de R n Nociones topológicas elementales de R n 1 Espacio vectorial R n Consideremos el conunto R n de las n-uplas de números reales, donde n es un número natural arbitrario fio. Los elementos de R n, que llamamos

Más detalles

El teorema de Lebesgue

El teorema de Lebesgue Capítulo 3 El teorema de Lebesgue En este capítulo estudiaremos un teorema que nos dice exactamente qué funciones son integrables y cuán grande puede ser la frontera de un conjunto para que éste tenga

Más detalles

Práctica 3: Espacios Métricos. Métricas en R n

Práctica 3: Espacios Métricos. Métricas en R n Cálculo Avanzado Segundo Cuatrimestre de 2009 Práctica 3: Espacios Métricos Thought is only a flash between two long nights, but this flash is everything. Henri Poincare (1854-1912). I would never die

Más detalles

Sucesiones. Una sucesión de números reales es una tira, o una lista, de nḿeros reales que generalmente denotamos como

Sucesiones. Una sucesión de números reales es una tira, o una lista, de nḿeros reales que generalmente denotamos como Universidad de la República Facultad de Ingeniería IMERL Sucesiones Curso Cálculo 1 2008 Una sucesión de números reales es una tira, o una lista, de nḿeros reales que generalmente denotamos como a 1, a

Más detalles

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

Espacios Topológicos 1. Punto de Acumulación. Al conjunto de puntos de acumulación de A se le denomina el conjunto derivado de A (A a Notación). Espacios Topológicos 1 Punto de Acumulación Definición: Sea A un subconjunto arbitrario de R n, se dice que x R n es un punto de acumulación de A si toda bola abierta con centro x contiene un punto A distinto

Más detalles

CARACTERIZACIONES DE LA COMPLETITUD DE R

CARACTERIZACIONES DE LA COMPLETITUD DE R CARACTERIZACIONES DE LA COMPLETITUD DE R 1 Definición 1. Diremos que un cuerpo ordenado K es arquimediano si lím n n que decir que N, visto como subconjunto de K, no está acotado en K. = 0 en K. Esto es

Más detalles

Funciones de Variable Real

Funciones de Variable Real Tema 1 Funciones de Variable Real 1.1. La Recta Real Los números reales se pueden ordenar como los puntos de una recta. Los enteros positivos {1, 2, 3, 4,...} que surgen al contar, se llaman números naturales

Más detalles

TOPOLOGÍA. Resumen Curso 2011/2012

TOPOLOGÍA. Resumen Curso 2011/2012 TOPOLOGÍA Resumen Curso 2011/2012 Capítulo 1 Espacios métricos 1.1. Medir la proximidad Sea X un conjunto. Denotaremos por X X al conjunto de los pares de elementos de X. Definición 1.1.1. Una distancia

Más detalles

F-ESPACIOS. 1.- Introducción

F-ESPACIOS. 1.- Introducción F-ESPACIOS 1.- Introducción Recordemos que un subconjunto A de un espacio topológico X se llama diseminado o raro (nowhere dense en ingés) si A=. Un subconjunto que se pueda escribir como unión numerable

Más detalles

Funciones continuas e inyectivas

Funciones continuas e inyectivas Nuestro último teorema afirmaba que toda función continua en un intervalo cerrado y acotado tiene máximo y mínimo absolutos, pero nada nos informa sobre los puntos en los que se alcanzan. Bajo la hipótesis

Más detalles

Funciones continuas. Definición y propiedades

Funciones continuas. Definición y propiedades Funciones continuas. Definición y propiedades Para la lectura de este artículo es recomendable haber leído con anterioridad otros tres artículos relacionados con las sucesiones de números reales y las

Más detalles

1. Sucesiones. Sucesiones. Compacidad. {( 1) n, n N} = { 1, 1, 1, 1, 1, 1,... } es una sucesión de elementos del conjunto { 1, 1}, y la familia

1. Sucesiones. Sucesiones. Compacidad. {( 1) n, n N} = { 1, 1, 1, 1, 1, 1,... } es una sucesión de elementos del conjunto { 1, 1}, y la familia 1.. De una manera informal, una sucesión es una familia de elementos de un conjunto, ordenada según el índice de los números naturales. Los elementos pueden estar repetidos o no. Por ejemplo la familia

Más detalles

Continuidad. 5.1 Continuidad en un punto

Continuidad. 5.1 Continuidad en un punto Capítulo 5 Continuidad 5.1 Continuidad en un punto Definición 5.1.1 (Aplicación continua en un punto). Sean (X, τ) e (Y, τ ) dos espacios topológicos, y sea f : X Y una aplicación entre ellos. Diremos

Más detalles

Nociones de Topología

Nociones de Topología Nociones de Topología I) Espacios Me tricos Sea X un conjunto no vacío Sea la función d: X X R (p, q) d(p, q) (E1) p, q, r X i) p q, d(p, q) > 0 p = q, d(p, q) = 0 ii) Conmutatividad d(p, q) = d(q, p)

Más detalles

Los Axiomas de Kolmogorov. Parte II.

Los Axiomas de Kolmogorov. Parte II. Los Axiomas de Kolmogorov. Parte II. 1 Sucesiones infinitas de Eventos y el problema de la Medida de Probabilidad Hasta el momento hemos estudiado modelos de probabilidad cuya clase de eventos incluye

Más detalles

Problemas. una sucesión de subconjuntos de. Demuestre que el lm sup A n es

Problemas. una sucesión de subconjuntos de. Demuestre que el lm sup A n es 16 Elementos Previos Problemas 1. Sea (A n ) 1 n=1 una sucesión de subconjuntos de. Demuestre que el lm sup A n es aquel subconjunto de formado por aquellos elementos que pertenecen a in nitos A n y el

Más detalles

Parte 4: Teoremas de convergencia.

Parte 4: Teoremas de convergencia. Parte 4: Teoremas de convergencia. Como siempre, si no se dice lo contrario, se supone que (, M, µ) es un espacio de medida y trabajamos con funciones de dominio y recorrido contenido en C o R o R. Empezamos

Más detalles

Sucesiones acotadas. Propiedades de las sucesiones convergentes

Sucesiones acotadas. Propiedades de las sucesiones convergentes Sucesiones acotadas. Propiedades de las sucesiones convergentes En un artículo anterior se ha definido el concepto de sucesión y de sucesión convergente. A continuación demostraremos algunas propiedades

Más detalles

RESUMEN ELEMENTOS DE GEOMETRÍA DIFERENCIAL Y TOPOLOGÍA CURSO

RESUMEN ELEMENTOS DE GEOMETRÍA DIFERENCIAL Y TOPOLOGÍA CURSO RESUMEN ELEMENTOS DE GEOMETRÍA DIFERENCIAL Y TOPOLOGÍA CURSO 2008-09 En este resumen no se puede escribir o añadir nada, ni por delante, ni por detrás. En todo caso, sólo se permite subrayar lo que se

Más detalles

Comisión de Pedagogía - Diego Chamorro Análisis Funcional (Nivel 2).

Comisión de Pedagogía - Diego Chamorro Análisis Funcional (Nivel 2). AMARUN www.amarun.org Comisión de Pedagogía - Diego Chamorro Análisis Funcional (Nivel 2). Lección n 3: Lema de Baire y Teorema clásicos del Análisis Funcional EPN, verano 2012 Definición 1 (Espacio de

Más detalles

Tarea 1. A j. A k. b) Ley Distributiva. c) Ley Distributiva. (A i B j ). B j = (Topología.)

Tarea 1. A j. A k. b) Ley Distributiva. c) Ley Distributiva. (A i B j ). B j = (Topología.) Tarea 1. (Teoría de Conjuntos.) Estos no son obligatorios, pero sería bueno que los hicieran, si es que son ciertos. a) Ley Asociativa. Sea I conjunto y {J i } familia de conjuntos. Si K := J i, entonces

Más detalles

Continuidad 2º Bachillerato. materiales Editorial SM

Continuidad 2º Bachillerato. materiales Editorial SM Continuidad 2º Bachillerato materiales Editorial SM Continuidad en un punto: primera aproximación Estatura medida cada 5 años: hay grandes saltos entre cada punto y el siguiente. Estatura medida cada año:

Más detalles

Problemas con soluciones

Problemas con soluciones Departamento de Matemática, Universidad Técnica Federico Santa María, MAT-223. Problemas con soluciones 1) Muestre que si A es una base de una toplogía en X, entonces la topología generada por A es iqual

Más detalles

Algunos resultados de Topología I. Rafael López Departamento de Geometría y Topología Universidad de Granada

Algunos resultados de Topología I. Rafael López Departamento de Geometría y Topología Universidad de Granada Algunos resultados de Topología I Rafael López Departamento de Geometría y Topología Universidad de Granada 2 Índice general 1 Espacios topológicos 5 1.1 Definición, bases de topología y de entornos..............

Más detalles

Compacidad. Ejercicio 2. Probar que todo espacio métrico compacto es separable. ) k N está denida por

Compacidad. Ejercicio 2. Probar que todo espacio métrico compacto es separable. ) k N está denida por Cálculo Avanzado Segundo Cuatrimestre de 2005 Práctica 5: Compacidad, Baire, Conexión Compacidad Ejercicio 1. i) Sea (a n ) n N R tal que lim n a n = 0. Probar que el conjunto {0} {a n / n N} R es compacto.

Más detalles

ALGUNAS TÉCNICAS PARA LA CONSTRUCCIÓN DE CONTINUOS INDESCOMPONIBLES

ALGUNAS TÉCNICAS PARA LA CONSTRUCCIÓN DE CONTINUOS INDESCOMPONIBLES Memorias de la XVII Semana Regional de Investigación y Docencia en Matemáticas. Departamento de Matemáticas, Universidad de Sonora, México, Mosaicos Matemáticos, No. 20, Agosto, 2007, pp. 151 161. Nivel

Más detalles

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

Terminaremos el capítulo con una breve referencia a la teoría de cardinales. TEMA 5. CARDINALES 241 Tema 5. Cardinales Terminaremos el capítulo con una breve referencia a la teoría de cardinales. Definición A.5.1. Diremos que el conjunto X tiene el mismo cardinal que el conjunto

Más detalles

Cálculo Infinitesimal 1. Cuestiones de examen (2010/2011 a 2015/2016)

Cálculo Infinitesimal 1. Cuestiones de examen (2010/2011 a 2015/2016) Cálculo Infinitesimal 1. Cuestiones de examen (2010/2011 a 2015/2016) 1. Justifíquese la verdad o falsedad de la siguiente afirmación: La suma de dos números irracionales iguales es irracional (enero 2011).

Más detalles

Departamento de Matemáticas

Departamento de Matemáticas MA5 Clase : Series de números reales Definición de Serie Elaborado por los profesores Edgar Cabello y Marcos González Definicion Dada una sucesión de escalares (a n ), definimos su sucesión de sumas parciales

Más detalles

Los Números Reales. Capítulo Introducción.

Los Números Reales. Capítulo Introducción. Capítulo 1 Los Números Reales 11 Introducción En este primer capítulo del libro introducimos el sistema de los Números Reales, que es la base sobre la cual se desarrolla el Análisis Matemático Los matemáticos

Más detalles

INTRODUCCIÓN A LA TEORÍA DESCRIPTIVA DE CONJUNTOS

INTRODUCCIÓN A LA TEORÍA DESCRIPTIVA DE CONJUNTOS INTRODUCCIÓN A LA TEORÍA DESCRIPTIVA DE CONJUNTOS UDAYAN B.DARJI 1. Introducción En este curso estudiaremos objetos definibles como conjuntos borelianos, conjuntos analíticos, y clasificaciones de funciones

Más detalles

Pauta 1 : Sucesiones y Continuidad

Pauta 1 : Sucesiones y Continuidad MA1002-2 Cálculo Diferencial e Integral Profesor: Mauricio Telias Auxiliar: Arturo Merino P1. [Función por partes] Pauta 1 : Sucesiones y Continuidad 8 de agosto del 2017 Sea a R \ {0, 1} y b R. Consideremos

Más detalles

INTRODUCCIÓN A LOS Z-CONJUNTOS

INTRODUCCIÓN A LOS Z-CONJUNTOS INTRODUCCIÓN A LOS Z-CONJUNTOS Nubia Soler Profesora Universidad Pedagógica Nacional Bogotá D.C, Colombia nsoler@uni.pedagogica.edu.co Resumen En este documento se hace una introducción a los Z-conjuntos

Más detalles

Espacios Pseudométricos

Espacios Pseudométricos Capítulo 1 Espacios Pseudométricos Este primer capítulo se dedica a la exploración de una clase particular de espacios topológicos, cuya estructura está dada por una noción de distancia. Se pretende que

Más detalles

Benemérita Universidad Autónoma de Puebla. Funciones continuas en el sentido de Cauchy.

Benemérita Universidad Autónoma de Puebla. Funciones continuas en el sentido de Cauchy. Benemérita Universidad Autónoma de Puebla Facultad de Ciencias Físico-Matemáticas Funciones continuas en el sentido de Cauchy. Tesis presentada al Colegio de Matemáticas como requisito para obtener el

Más detalles

CÁLCULO DIFERENCIAL EN VARIAS VARIABLES

CÁLCULO DIFERENCIAL EN VARIAS VARIABLES UNIVERSIDAD CENTRAL DE VENEZUELA FACULTAD DE CIENCIAS ESCUELA DE MATEMÁTICA LABORATORIO DE FORMAS EN GRUPOS CÁLCULO DIFERENCIAL EN VARIAS VARIABLES Ramón Bruzual Marisela Domínguez Caracas, Venezuela Julio

Más detalles

Mariano Suárez-Alvarez. 7 de mayo, Límites superiores y límites inferiores

Mariano Suárez-Alvarez. 7 de mayo, Límites superiores y límites inferiores ĺımsup y ĺıminf Mariano Suárez-Alvarez 7 de mayo, 2013 1.1. Definiciones 1. Límites superiores y límites inferiores 1.1. Sea (a n ) n 1 una sucesión de números reales que es acotada superiormente. Si para

Más detalles

Ejercicios de Análisis I

Ejercicios de Análisis I UNIVERSIDAD CENTRAL DE VENEZUELA FACULTAD DE CIENCIAS ESCUELA DE MATEMÁTICA LABORATORIO DE FORMAS EN GRUPOS Ejercicios de Análisis I Ramón Bruzual Marisela Domínguez Caracas, Venezuela Febrero 2005 Ramón

Más detalles

1. Definiciones y propiedades básicas.

1. Definiciones y propiedades básicas. Centro de Matemática Facultad de Ciencias Universidad de la República Introducción a la Topología Curso 2016 PRACTICO 2: TOPOLOGÍA. 1 1. Definiciones y propiedades básicas. Definición 1 Sea X un conjunto.

Más detalles

1 Números reales. Funciones y continuidad.

1 Números reales. Funciones y continuidad. 1 Números reales. Funciones y continuidad. En este tema nos centraremos en el estudio de la continuidad de funciones reales, es decir, funciones de variable real y valor real. Por ello es esencial en primer

Más detalles

Tema 1 EL TEOREMA DE PEANO. 1 Compacidad en C(I; R N ): el Teorema de Ascoli-

Tema 1 EL TEOREMA DE PEANO. 1 Compacidad en C(I; R N ): el Teorema de Ascoli- Tema 1 EL TEOREMA DE PEANO En este tema vamos a probar que bajo la hipótesis de ser f continua en un entorno del punto (, y 0 ), se puede garantizar la existencia, aunque no necesariamente la unicidad,

Más detalles

INTRODUCCIÓN UNIDAD DIDÁCTICA 1 Espacios Métricos

INTRODUCCIÓN UNIDAD DIDÁCTICA 1 Espacios Métricos Índice Pág. INTRODUCCIÓN... 9 UNIDAD DIDÁCTICA 1 Espacios Métricos CAPÍTULO 1. ESPACIOS MÉTRICOS... 13 1. Espacios métricos... 17 2. Adherencia y acumulación de un conjunto... 23 3. Conjuntos compactos.

Más detalles

Espacios Metricos, Compacidad y Completez

Espacios Metricos, Compacidad y Completez 46 CAPÍTULO 3. Espacios Metricos, Compacidad y Completez Una sucesión en un conjunto X es una función N X. Si la función se llama f entonces para sucesiones acostumbra denotarse {f(n)} n N en cambio de

Más detalles

TOPOLOGÍA. Curso 2011/2012

TOPOLOGÍA. Curso 2011/2012 TOPOLOGÍA Curso 2011/2012 Capítulo 1 Espacios métricos 1.1. Medir la proximidad Sea X un conjunto. Denotaremos por X X al conjunto de los pares de elementos de X. Definición 1.1.1. Una distancia sobre

Más detalles

Universidad Nacional Autónoma de México Licenciatura en Economía Cálculo Diferencial e Integral Continuidad

Universidad Nacional Autónoma de México Licenciatura en Economía Cálculo Diferencial e Integral Continuidad 1 Universidad Nacional Autónoma de México Licenciatura en Economía Cálculo Diferencial e Integral Continuidad Hasta hace muy poco se creía que una función continua siempre tenía una primera derivada cuyo

Más detalles

1. Convergencia en medida

1. Convergencia en medida FACULTAD CS. FÍSICAS Y MATEMÁTICAS UNIVERSIDAD DE CHILE MA3801 Teoría de la Medida. Semestre 2009-02 Profesor: Jaime San Martín Auxiliares: Andrés Fielbaum y Cristóbal Guzmán Clase auxiliar 7 21 de Septiembre

Más detalles

Subconjuntos notables de un Espacio Topológico

Subconjuntos notables de un Espacio Topológico 34 Capítulo 4 Subconjuntos notables de un Espacio Topológico 4.1 Adherencia Definición 4.1.1 (Punto adherente). Sea (X, τ) un espacio topológico, y sea S un subconjunto de X. Diremos que x X es un punto

Más detalles

Teoremas de Convergencia

Teoremas de Convergencia Capítulo 24 Teoremas de Convergencia El teorema de la convergencia monótona (Lema 21.3) establece ciertas condiciones sobre una sucesión de funciones medibles para que se puedan permutar los símbolos y

Más detalles

Integrales impropias múltiples

Integrales impropias múltiples Integrales impropias múltiples ISABEL MARRERO Departamento de Análisis Matemático Universidad de La Laguna imarrero@ull.es Índice 1. Introducción 1 2. Caracterización de la integrabilidad impropia 2 3.

Más detalles

Nociones topológicas elementales de R n

Nociones topológicas elementales de R n Nociones topológicas elementales de R n Cálculo II (2004) * 1. Espacio vectorial R n Consideremos el conjunto R n de las n-uplas de números reales, donde n es un número natural arbitrario fijo. Los elementos

Más detalles

Medida Cero y Contenido Cero

Medida Cero y Contenido Cero Medida Cero y Contenido Cero Ejemplo.- Sea f : [0, 1] [0, 1] definida como 1 si x o y Q f(x, y) = 0 si x y y / Q Mostrar que f Sea P cualquier partición de y i cualquier subrectángulo inducido por esta

Más detalles

INTRODUCCION A LA TEORIA DE LOS CONTINUOS. Sergio Macías Alvarez. Instituto de Matemáticas, UNAM

INTRODUCCION A LA TEORIA DE LOS CONTINUOS. Sergio Macías Alvarez. Instituto de Matemáticas, UNAM INTRODUCCION A LA TEORIA DE LOS CONTINUOS Sergio Macías Alvarez Instituto de Matemáticas, UNAM 1 Espacios Métricos 1.1 Definición. Un espacio métrico es un conjunto no vacío X junto con una función d:

Más detalles

En primer lugar, vamos a precisar un concepto al que ya nos hemos referido anteriormente, el de σ-álgebra.

En primer lugar, vamos a precisar un concepto al que ya nos hemos referido anteriormente, el de σ-álgebra. Capítulo 20 Conjuntos de Borel Hemos demostrado ya que la familia M de los conjuntos medibles contiene a todos los abiertos de R n y, por tanto, a todos los conjuntos que podamos formar a partir de los

Más detalles

Espacios Métricos. 25 de octubre de 2011

Espacios Métricos. 25 de octubre de 2011 Espacios Métricos 25 de octubre de 2011 1. Nociones de espacios métricos Llamaremos espacio métrico a un conjunto X con una función d : X X R 0 (que llamaremos la métrica de X) que verifica las siguientes

Más detalles

Funciones continuas Motivación

Funciones continuas Motivación Lección 9 Funciones continuas Generalizando la noción que conocemos para funciones reales de variable real, vamos a estudiar la continuidad para funciones entre dos espacios métricos cualesquiera. La definimos

Más detalles

Espacios conexos. 6.1 Conexos

Espacios conexos. 6.1 Conexos Capítulo 6 Espacios conexos 6.1 Conexos Definición 6.1.1 (Conjuntos separados). Dado un espacio topológico (X, τ) y dos subconjuntos A, B X, diremos que A y B están separados si A B = A B = Es evidente

Más detalles

1. Funciones Medibles

1. Funciones Medibles 1. Medibles Medibles simples... Hasta ahora hemos estudiado la medida de Lebesgue definida sobre los conjuntos de R n y sus propiedades. Vamos a aplicar ahora esta teoría al estudio de las funciones escalares

Más detalles

x i x io V no V n+1 ; y no x = x io x V n+1. Por tanto x i x V n+1 + V n+1 V n,

x i x io V no V n+1 ; y no x = x io x V n+1. Por tanto x i x V n+1 + V n+1 V n, COMPLETITUD La noción de completitud que vamos a definir, es una generalización de la conocida en espacios métricos. Como en este caso, el hecho de saber que un cierto conjunto de un e.v.t. es completo

Más detalles

El Teorema de Fubini-Tonelli

El Teorema de Fubini-Tonelli Capítulo 23 El Teorema de Fubini-Tonelli Veremos en este capítulo que el cálculo de una integral múltiple se reduce al de integrales simples. Concretamente se va a probar que si f(x, y) es una función

Más detalles

Funciones multivaluadas y sus aplicaciones

Funciones multivaluadas y sus aplicaciones Miscelánea Matemática 44 (2007) 101 116 SMM Funciones multivaluadas y sus aplicaciones Juan Carlos Macías Romero Facultad de Ciencias Físico Matemáticas Benemérita Universidad Autónoma de Puebla Av. San

Más detalles

Series. Diremos que una serie de números complejos

Series. Diremos que una serie de números complejos Series Una sucesión de números complejos a, a 2, a 3,..., a n,... en C converge al número complejo a (a n a) si para cada ɛ > 0, existe un N tal que a n a < ɛ siempre que n N. Diremos que una serie de

Más detalles