sup si A no es acotado.
|
|
- Montserrat Rojas Sosa
- hace 5 años
- Vistas:
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.
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 detallesdiá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 detallesEspacios 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 detallesEspacios 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 detallesEspacios 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 detalles1. 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 detallesEl 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 detallesAná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 detallesEspacios 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 detallesSucesiones 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 detallesPrá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 detalles1. 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 detallesEspacios 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 detallesEl 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 detallesAná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 detallesConjuntos 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 detallesEspacios 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 detallesEl 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 detallesTaller 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 detallesy 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 detalles2.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 detallesCapí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 detallesPrincipio 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 detallesEspacios 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 detallesELEMENTOS 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 detalles1 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 detallesEl 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 detallesCÁ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 detallesTOPOLOGÍ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 detallesParte 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 detallesTeorema 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 detallesContinuidad 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 detallesProblemas 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 detallesCá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 detallesReconocer 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 detallesIntegració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 detallesEspacios 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 detallesNociones 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 detallesEl 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 detallesPrá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 detallesSucesiones. 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 detallesEspacios 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 detallesCARACTERIZACIONES 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 detallesFunciones 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 detallesTOPOLOGÍ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 detallesF-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 detallesFunciones 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 detallesFunciones 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 detalles1. 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 detallesContinuidad. 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 detallesNociones 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 detallesLos 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 detallesProblemas. 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 detallesParte 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 detallesSucesiones 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 detallesRESUMEN 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 detallesComisió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 detallesTarea 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 detallesContinuidad 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 detallesProblemas 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 detallesAlgunos 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 detallesCompacidad. 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 detallesALGUNAS 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 detallesTerminaremos 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 detallesCá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 detallesDepartamento 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 detallesLos 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 detallesINTRODUCCIÓ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 detallesPauta 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 detallesINTRODUCCIÓ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 detallesEspacios 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 detallesBenemé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 detallesCÁ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 detallesMariano 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 detallesEjercicios 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 detalles1. 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 detalles1 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 detallesTema 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 detallesINTRODUCCIÓ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 detallesEspacios 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 detallesTOPOLOGÍ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 detallesUniversidad 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 detalles1. 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 detallesSubconjuntos 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 detallesTeoremas 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 detallesIntegrales 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 detallesNociones 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 detallesMedida 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 detallesINTRODUCCION 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 detallesEn 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 detallesEspacios 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 detallesFunciones 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 detallesEspacios 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 detalles1. 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 detallesx 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 detallesEl 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 detallesFunciones 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 detallesSeries. 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