Ejercicios resueltos
|
|
- Alba Salas Ramírez
- hace 7 años
- Vistas:
Transcripción
1 Ejercicios resueltos 25 de septiembre de 29
2 2
3 1 Ejercicios Tema I Ejercicio 1 Demostrar que una clase no vacía A es un álgebra en Ω si y sólo si se verifican las siguientes propiedades: i) Si A A entonces A c A. ii) Si A, B A, entonces A B A. Ejercicio 2 Dada una aplicación F : Ω Ω, demostrar las siguientes propiedades: (i) F 1 ( B i ) = F 1 (B i ), F 1 ( B i ) = F 1 (B i ), F 1 (B c ) = [F 1 (B)] c, (ii) F ( A i ) = F (A i ), F ( A i ) F (A i ), (iii) Si F es sobre F (A) c F (A c ). (iv) Si F es inyectiva F (A) c F (A c ) y F (A) c F (Ω) = F (A c ). Ejercicio 3 Dada una aplicación F : Ω Ω, demostrar que: (a) Si A es una σ álgebra de Ω, A = {B Ω : F 1 (B) A} lo es de Ω. (b) Si A es una σ álgebra de Ω, A = F 1 [A ] = {F 1 (B) Ω : B A } lo es de Ω. (c) Si C P(Ω ), σ[f 1 (C)] = F 1 [σ(c)]. (d) Demostrar que si (Ω, T ) y (Ω, T ) son espacios topológicos y F es continua, entonces F 1 (B) B(Ω), para todo B B(Ω ). Ejercicio 4 Consideremos las siguientes extensiones de una familia C de subconjuntos de Ω: C 1 = {A Ω : A C ó A c C}, C 2 = {A 1 A n : A i C 1, n N}, C 3 = {A 1 A n : A i C 2, n N}. Demostrar que C 3 = α(c). Ejercicio 5 Sean (Ω 1, A 1 ),..., (Ω n, A n ) espacios medibles. Demostrar que la familia de los productos de medibles, R = {A 1 A n Ω 1 Ω n : A i A i }, es una clase elemental.
4 2 Ejercicio 6 Demostrar que la σ álgebra B(R) se genera por las familias: C 1 = {(a, b) : a, b R}, C 3 = {[a, b) : a, b R}, C 5 = {(, b) : b R}, C 2 = {(a, b] : a, b R}, C 4 = {[a, b] : a, b R}, C 6 = {(, b] : b R}, Ejercicio 7 Demostrar que la σ álgebra B(R) se genera por la familia C = {(a, b] : a, b R}. Ejercicio 8 Demostrar: (a) lím inf A n lím sup A n Ω. (b) Si A n A (ó A n A), entonces lím sup A n = lím inf A n = A. Ejercicio 9 Puede una σ álgebra infinita contener sólo una colección numerable de elementos? Ejercicio 1 Demostrar que para cada función f : R R: (a) El conjunto de puntos de continuidad de f, C(f) A δ y los de discontinuidad D(f) C σ. (b) Demostrar que C(f) y D(f) son borelianos. Ejercicio 11 Consideremos (N, P(N), µ), el espacio de medida de contar en los naturales. Encontrar una sucesión A n para la que no se verifique µ(a n ) µ( ) =. Ejercicio 12 Consideremos (N, P(N), µ), para µ(a) = si A es finito y µ(a) = en caso contrario. (a) Demostrar que µ es aditiva pero no numerablemente aditiva. (b) Encontrar una sucesión A n A para la que no se verifique µ(a n ) µ(a). Ejercicio 13 Dada una medida µ y una sucesión A n A, demostrar que µ( A n ) µ(a n ). n=1 Ejercicio 14 Sea µ: A [, ], aditiva en un álgebra A. Dada una sucesión A n A de conjuntos disjuntos cuya unión está en A, demostrar que µ( A n ) µ(a n ). n=1 n=1 n=1
5 3 Ejercicio 15 Dado un espacio de medida (Ω, A, µ) y una sucesión A n A, demostrar que: i) µ(lím inf A n ) lím inf µ(a n ). ii) Que si µ( A n ) <, entonces lím sup µ(a n ) µ(lím sup A n ). Ejercicio 16 Demostrar el Lema de Borel Cantelli: Sea (Ω, A, µ) un espacio de medida y C n A, entonces µ(c n ) < µ(lím sup C n ) =. n=1 Ejercicio 17 Dada una medida finita µ sobre una σ álgebra A y una sucesión A n A tal que lím inf A n = lím sup A n = A, demostrar que µ(a) = lím n µ(a n ). Ejercicio 18 Dada una sucesión doble x nm (, ], tal que para cualesquiera n, m N, x nm x n+1,m y x nm x n,m+1, demostrar que lím n lím x nm = lím m lím x nm. m n Ejercicio 19 Dado un espacio medible (Ω, A) y una sucesión de medidas en él µ n. Demostrar: a) Si µ n µ n+1, entonces µ(a) = lím µ n (A) define una medida en el espacio. b) Sean como sean las µ n, µ(a) = µ n (A), define una medida en el espacio. Ejercicio 2 Dado un espacio no numerable Ω y A = {E Ω : E ó E c es numerable}, {, si E es numerable, µ(e) = 1, si E c es numerable, para cada E A, demostrar que A es σ álgebra y µ medida. Ejercicio 21 Dado un espacio de medida semifinita (Ω, A, µ), es decir tal que para todo E A con µ(e) = existe F A, con F E y < µ(f ) <, demostrar que para todo E A con µ(e) = y todo r > existe F A, con F E y r < µ(f ) <.
6 4 Ejercicio 22 Demostrar que toda medida σ finita es semifinita. Dar un contraejemplo para el recíproco. Ejercicio 23 Dado un espacio de medida (Ω, A, µ), definimos λ: A [, ], de la siguiente manera λ(a) = sup{µ(b) : B A, B A y µ(b) < }, demostrar que: a) λ es una medida semifinita. b) Que si µ es semifinita entonces λ = µ. Ejercicio 24 Demostrar que la medida exterior de Lebesgue en R, se puede definir en vez de con la clase C = {(a, b]}, como vimos en el ejemplo (??), de la página??, con cualquiera de las clases C 1 = {(a, b)}, C 2 = {[a, b]}, C 3 = {[a, b)} y con ρ de cualquier intervalo también la diferencia de extremos. Ejercicio 25 Sea µ una medida exterior en Ω y λ la medida restricción de µ a la σ álgebra A. Demostrar que: (a) µ λ. (b) Si µ es la medida exterior generada por una medida µ en un álgebra A, entonces µ = λ. (c) Encontrar una medida exterior µ en Ω = {, 1}, para la que µ λ. Ejercicio 26 Dado un espacio de medida (Ω, A, µ). Demostrar: (a) Si A, B A y µ(a B) = entonces µ(a) = µ(b). (b) La relación entre conjuntos medibles A B si y sólo si µ(a B) =, es de equivalencia. (c) En el espacio cociente X = A/ la aplicación ρ(a, B) = µ(a B), satisface ρ(a, A c ) = µ(ω), por tanto en general ρ : X X [, ] toma el valor, sin embargo define una métrica en el sentido 1 de que verifica las tres propiedades habituales. Demostrar que para la topología natural en la que las bolas abiertas de radio finito son base, para 1 Observemos que el concepto habitual de métrica exige que d(x, y) <, aunque no es esencial.
7 5 cada A X, los B que están a distancia finita de A es un abierto y que estos abiertos o coinciden o son disjuntos y descomponen X en componentes abiertas que sí son espacios métricos y son tales que la aplicación A X A c X es una isometría que lleva una componente en otra (si µ(ω) = ) y las aplicaciones de X X X son continuas. (A, B) A B, (A, B) A B, (A, B) A B, Ejercicio 27 Sea (Ω, A, µ) un espacio de medida y sea A µ su compleción y µ la medida exterior generada por µ. Demostrar que para cada A Ω: µ (A) = ínf{µ(b) : B A, A B}, y que si definimos la medida interior µ (A) = sup{µ(b) : B A, B A}, entonces si A A µ se tiene que µ (A) = µ (A) = µ(a) y recíprocamente si µ (A) = µ (A) < entonces A A µ. Ejercicio 28 Demostrar que la compleción de una medida regular es regular. Ejercicio 29 Sean µ i : B(R) [, ], para i = 1,..., n medidas de Lebesgue Stieltjes. Demostrar que existe una única medida µ: B(R n ) [, ], tal que para cada semi rectángulo acotado (a, b], µ(a, b] = µ 1 (a 1, b 1 ] µ n (a n, b n ]. Ejercicio 3 Demostrar que toda medida en B(R n ) de Lebesgue Stieltjes es σ finita. Encontrar una que sea σ finita pero no de Lebesgue Stieltjes. Encontrar una que sea σ finita pero no regular. Ejercicio 31 Demostrar que toda medida semifinita µ: B(R n ) [, ] es regular interior. Ejercicio 32 Demostrar que para a < b R n y la medida de Lebesgue n dimensional m(a, b) = m[a, b) = m(a, b] = m[a, b].
8 6 Ejercicio 33 Demostrar que si t R y B L(R n ), entonces tb L(R n ) y m(tb) = t n m(b). Además si B B(R n ), entonces tb B(R n ). Ejercicio 34 Se puede poner un cuadrado del plano como unión numerable de segmentos? Ejercicio 35 Demostrar que para p =, H p es la medida de contar. Ejercicio 36 Sea Ω Ω y consideremos el espacio métrico (Ω, d), con la métrica inducida. Demostrar que la medida exterior de Hausdorff en Ω, H p = H p P(Ω ). Ejercicio 37 Demostrar que si A Ω y < H p (A) <, dim H (A) = p. Ejercicio 38 Demostrar que dim H ({x}) =, para cada x Ω. Ejercicio 39 Demostrar que dim H ( A n ) = sup dim H (A n ). Ejercicio 4 En los subespacios de R n con la métrica euclídea, demostrar que la dimensión vectorial y la de Hausdorff coinciden. Ejercicios Tema II Ejercicio 41 Sea f : (Ω, A) (R, B(R)) acotada. Demostrar que existe una sucesión de funciones simples s n tales que s n f uniformemente. Ejercicio 42 Sean f y g funciones medibles y A un conjunto medible. Demostrar que es medible la función { f(x) si x A, h(x) = g(x) si x / A, Ejercicio 43 Sea (Ω, A, µ) un espacio de medida. Probar que f : Ω R es medible si para cualesquiera m, n Z, {x : mf(x) < n} es medible.
9 7 Ejercicio 44 Sean h y g funciones medibles. Demostrar que los conjuntos {x Ω : h(x) < g(x)}, {x Ω : h(x) g(x)}, {x Ω : h(x) = g(x)}, son medibles. Ejercicio 45 a) Sea f medible y f = g c.s. es necesariamente g medible?, y si el espacio es completo?. b) Sean f g h, con f y h medibles tales que f = h c.s. es necesariamente g medible?, y si el espacio es completo?. Ejercicio 46 Sea f n una sucesión de funciones medibles, demostrar que es medible el conjunto {x : existe y es finito el lím f n (x)}. Ejercicio 47 Sea f : R R monótona creciente, es f borel medible? Ejercicio 48 Es cierto que f es medible si y sólo si f es medible? En caso contrario dar un contraejemplo. Ejercicio 49 Sea A n que una sucesión de subconjuntos de Ω. Demostrar ínf I An = I An, sup I An = I An, lím inf I An = I lím inf An, lím sup I An = I lím sup An. Ejercicio 5 Sean A, B Ω. Demostrar que {x Ω : I A I B } = A B. Ejercicio 51 Si f : R R tiene derivada en todo punto, demostrar que f es Borel medible. Ejercicio 52 Demostrar que f = (f 1,..., f n ): Ω R n es medible si y sólo si cada f i lo es. Ejercicio 53 Sea (Ω, A, µ) un espacio de medida y f = n=1 a ni An, con a n (, ) y A n A, calcular f dµ. Ejercicio 54 Sea f integrable. Demostrar que ɛ > existe un medible A, con µ(a) < tal que f < A f + ɛ.
10 8 Ejercicio 55 Sea f integrable y ɛ >. Demostrar que existe una función simple s tal que f s < ɛ. Ejercicio 56 Sean µ 1 µ 2 medidas. Demostrar que si una función medible compleja f es µ 2 integrable, entonces es µ 1 integrable. Ejercicio 57 Sean f n medibles tales que f n f. Demostrar que si f 1 es integrable, f n f. Es cierto si f 1 no es integrable? Ejercicio 58 Sean f, f n integrables, tales que f n f c.s. Demostrar que f n f sii f n f. Ejercicio 59 Sea µ(ω) < y f n integrables tales que f n f uniformemente. Demostrar que f es integrable y que f n f. Ejercicio 6 Sean f, f n integrables, tales que f n f c.s. Demostrar que f n f sii f n f. Ejercicio 61 Sea f integrable y g medible acotada, demostrar que fg es integrable. Ejercicio 62 Demostrar que µ es σ finita si y sólo si existe una función medible estrictamente positiva e integrable. Ejercicio 63 Sea Ω un espacio topológico, µ una medida en B(Ω) tal que µ(a) >, para cada abierto A y f, g : Ω R continuas tales que f = g c.s., demostrar que f = g. Ejercicio 64 Demostrar que si f g c.s., existe la f y < f, entonces existe la g y si existe la g y g <, entonces existe la f y en ambos casos f g. Ejercicio 65 Demostrar el teorema de la convergencia monótona cuando las condiciones son c.s. Ejercicio 66 Calcular: 1 lím n (1 + nx 2 )(1 + x 2 ) n dm.
11 9 Ejercicio 67 Sea f : R R medible y a R. Demostrar que f(x)dm = f(x a)dm, en el sentido de que si una integral existe también la otra y coinciden. Ejercicio 68 Sea f : R R medible tal que e tx f(x) es integrable para todo t (a, b) R. Demostrar que F (t) = e tx f(x) dm es diferenciable y que F (t) = x e tx f(x) dm. Ejercicio 69 Demostrar que para t y α 1, la sucesión (1 + (t/n) α ) n es creciente y para 1 α, (1 (t/n) α ) n también es creciente. Ejercicio 7 Demostrar que (a) (b) n lím n 1 lím n 1 (1 (t/n)) n log t dm = (1 (t/n)) n log t dm = 1 1 e t log t dm. e t log t dm. Ejercicio 71 Sea f no negativa e integrable, con < f dµ = c < y sea < α <. Demostrar que [ ( ) α ] f, si < α < 1, lím n log 1 + dµ = c, si α = 1, n n, si 1 < α <. Ejercicio 72 Demostrar que si f es µ integrable, entonces para cada ɛ >, existe un δ >, tal que µ(e) < δ f dµ < ɛ. Ejercicio 73 Demostrar que si f : R R es Lebesgue integrable F (x) = x f dm es uniformemente continua. Ejercicio 74 Demostrar que si F : (Ω, A, µ) (Ω, A ) es medible, µ F = F µ, para µ F (B) = µ[f 1 (B)], es una medida, llamada medida imagen, para la que se verifica que si g es medible en Ω y B A, entonces g dµ F = (g T ) dµ. B E F 1 (B)
12 1 en el sentido de que si una de las integrales existe también la otra y son iguales. Ejercicio 75 Demostrar que si f n : I R son Riemann integrables y f n f uniformemente, entonces f es Riemann integrable. Ejercicio 76 Sea C = [a, b] Q = {c n } y f : I = [a, b] R, f(x) = si x es irracional, x C c ; y f(c n ) = 1/n. Demostrar que f es Riemann integrable y calcular su integral. Ejercicio 77 (a) Demostrar que si f tiene integral impropia de Riemann, entonces es continua c.s. (m), pero no recíprocamente. (b) Si f y es acotada en cada compacto, entonces se tiene la equivalencia. Ejercicio 78 Sea f : R R no negativa, con integral impropia de Riemann finita, demostrar que f es Lebesgue medible e integrable y las dos integrales coinciden. Dar un contraejemplo si quitamos la no negatividad. Ejercicio 79 Demostrar que si f : R R es Lebesgue integrable f dm = lím f dm. (, ) a, b [a,b] Es cierto si existe la integral pero no es finita? Ejercicio 8 (a) Demostrar por inducción que x n e x dm = n!. (b) Demostrar que para t >, e tx dm = 1/t, y utilizarlo para demostrar (a), derivando respecto de t. Ejercicio 81 Sea f : [, 1] R continua, tal que f() = y existe f (). Demostrar que f(x)x 3/2 es Lebesgue integrable. Ejercicio 82 Calcular: (a) lím n (1 + (x/n)) n sen(x/n) dm. (b) lím n n sen(x/n)[x(1 + x 2 )] 1 dm. (c) lím n a n(1 + n2 x 2 ) 1 dm, en función de a.
13 11 Ejercicio 83 Dadas las funciones definidas en (, ) ( t 2 f(t) = e dx) x2, g(t) = 1 demostrar que: (a) f(t) + g(t) = π/4. (b) e x2 dm = π/2. e t2 (x 2 +1) x Ejercicio 84 Dada f(t) = e x2 cos 2xt dm, demostrar que satisface f (t) + 2tf(t) = y que f(t) = (1/2) πe t2. Ejercicio 85 Demostrar: (1) x2n e x2 dm = 2n! π/4 n n!. (2) Para a, cos ax dm = π e e x2 a2 /4. (3) Para p >, 1 xp 1 (x 1) 1 log x dm = n= 1/(p + n)2. Ejercicio 86 Demostrar que la función f : (, 1) R, f(x) = x r log n x 1, para 1 < r y n es Lebesgue integrable y que (,1) x r log n x 1 dm = 1 x r log n x 1 dx = dx, n! (1 + r) n+1 Ejercicio 87 Demostrar que la función g : [1, ) R, g(x) = e x x k, para k R es Lebesgue integrable. Ejercicio 88 Sea k R y r >. Demostrar que r r x k dm < 1 < k x k dm < k < 1
14 12 Ejercicios Tema III Ejercicio 89 Sean Ω 1 y Ω 2 espacios topológicos. Demostrar que: (a) B(Ω 1 ) B(Ω 2 ) B(Ω 1 Ω 2 ). (b) Si sus topologías tienen bases numerables, B(Ω 1 ) B(Ω 2 ) = B(Ω 1 Ω 2 ). Ejercicio 9 Sean (Ω 1, A 1 ) y (Ω 2, A 2 ) espacios medibles y f : Ω 1 R y g : Ω 2 R medibles, demostrar que h(x, y) = f(x)g(y) es A 1 A 2 medible. Ejercicio 91 Demostrar que (A 1 A n 1 ) A n = A 1 A n. Ejercicio 92 Sea f : R 2 R, tal que f x es Borel medible para cada x y f y continua para cada y. Demostrar que f es Borel medible. Ejercicio 93 Demostrar que para cada r > y A B(R n ) es medible la función de R n, f(x) = m[a B[x, r]]. Ejercicio 94 Sean (Ω 1, A 1, µ 1 ) y (Ω 2, A 2, µ 2 ) espacios de medida σ finita y completos, es necesariamente completo el espacio producto?. Ejercicio 95 Sean (Ω 1, A 1, µ 1 ) y (Ω 2, A 2, µ 2 ) espacios de medida σ finita y E, F A 1 A 2, tales que para todo x Ω 1 c.s. (µ 1 ), µ 2 (E x ) = µ 2 (F x ). Demostrar que µ(e) = µ(f ). Ejercicio 96 Sean (Ω 1, A 1 ) y (Ω 2, A 2 ) espacios medibles y Λ: Ω 1 A 2 [, ] una medida de transición. Demostrar que: (a) Si µ es una medida en (Ω 1, A 1 ), entonces λ(b) = Λ B dµ, es una medida en (Ω 2, A 2 ). (b) Si g es medible en (Ω 2, A 2 ), f(x) = g dλ x, es medible en (Ω 1, A 1 ) y se tiene que f dµ = g dλ.
15 13 Ejercicio 97 Demostrar que: (a) Si F : (Ω, A) (Ω, A ) es medible y µ es una medida en (Ω, A), ν = F µ, para ν(a) = µ[f 1 (A)], es una medida en (Ω, A ) (llamada medida imagen) y si ν es σ finita, µ también lo es. Es cierto que si µ lo es, lo es ν? (b) Si F 1 : (Ω 1, A 1 ) (Ω 1, A 1) y F 2 : (Ω 2, A 2 ) (Ω 2, A 2) son medibles entonces también es medible F 1 F 2 : Ω 1 Ω 2 Ω 1 Ω 2, F 1 F 2 (x, y) = (F 1 (x), F 2 (y)), y dadas medidas µ 1 en (Ω 1, A 1 ) y µ 2 en (Ω 2, A 2 ), tales que ν i = F i µ i son σ finitas, se verifica que F 1 F 2 (µ 1 µ 2 ) = ν 1 ν 2. Ejercicio 98 Sean (Ω 1, A 1, µ 1 ) y (Ω 2, A 2, µ 2 ) espacios de medida σ finita y f : Ω 1 R y g : Ω 2 R medibles e integrables, demostrar que h(x, y) = f(x)g(y) es µ = µ 1 µ 2 integrable y ( ) ( ) h dµ = f dµ 1 g dµ 2. Ejercicio 99 Sea (Ω, A, µ) un espacio de medida σ finita y f : Ω R medible y no negativa. Demostrar que la gráfica de f es medible y que µ m(e) =. E = {(x, y) Ω [, ] : y = f(x)} A B(R), Ejercicio 1 Sea (Ω, A, µ) un espacio de medida σ finita y f : Ω R medible y no negativa. Demostrar que la función F (y) = µ{f 1 (y)} es medible y F = c.s. Ejercicio 11 Sea (Ω, A, µ) un espacio de medida σ finita y f, g : Ω [, ) medibles y tales que para cada x >, µ{f > x} µ{g > x}. Demostrar que f dµ g dµ.
16 14 Ejercicio 12 Sea (Ω, A, µ) un espacio de medida σ finita, f : Ω [, ] medible y 1 p <. Demostrar que f p dµ = pt p 1 µ{f > t} dt, y que si µ{f > t} e t, entonces f p dµ Π(p). Ejercicios Tema IV Ejercicio 13 Sean λ, µ: A (, ] cargas y a R, demostrar que aλ = a λ, λ + µ λ + µ. Ejercicio 14 Sea (Ω, A, λ) un espacio medible con una carga. Demostrar: (a) E A es nulo si y sólo si λ (E) =. (b) Si P, N y P, N son descomposiciones de Hahn, λ (P P ) =. Ejercicio 15 Sean µ 1, µ 2 medidas, µ = µ 1 + µ 2 y f una función medible. Demostrar que existe f dµ sii existen f dµ 1 la f dµ 2 y su suma está definida. Y en tal caso f dµ = f dµ 1 + f dµ 2. Ejercicio 16 Sea λ una carga. Demostrar: (a) g es λ integrable si y sólo si es λ integrable. (b) Si g es λ integrable, g dλ g d λ. (c) Existe una medida µ y una función medible f, con integral respecto de µ, tal que para todo E A λ(e) = f dµ. E
17 15 Ejercicio 17 Encontrar en B(R) la descomposición de Jordan para la carga λ = P δ {}, siendo P una probabilidad. Ejercicio 18 Sea f una función con integral en el espacio de medida (Ω, A, µ) y consideremos la carga λ = fµ. Demostrar que λ + (A) = f + dµ, λ (A) = f dµ, λ (A) = f dµ. A Ejercicio 19 Demostrar que si una carga λ = µ 1 µ 2 es diferencia de dos medidas µ i, entonces λ + µ 1 y λ µ 2. A A Ejercicio 11 Sean µ 1 y µ 2 medidas positivas y finitas y µ = µ 1 µ 2. Demostrar que si f es µ 1 y µ 2 integrables entonces es µ integrable y f dµ = f dµ 1 f dµ 2. Ejercicio 111 Sea λ una carga en un espacio medible (Ω, A), demostrar que n λ (A) = sup{ λ(e i ) : E i A, disjuntos, E i = A}, i=1 Es cierto el resultado si ponemos i=1 en lugar de sumas finitas?. Ejercicio 112 Sea (Ω, A) un espacio medible con una medida compleja demostrar que λ = λ 1 + iλ 2 = λ + 1 λ 1 + iλ+ 2 iλ 2, λ ± i λ i λ λ λ 1 + λ+ 2 + λ 2. Ejercicio 113 Sea (Ω, A, µ) un espacio de medida y f una función medible no negativa. Si definimos la medida λ(a) = f dµ, demostrar que A para cada función medible g g dλ = fg dµ, en el sentido de que si una de las integrales existe también la otra y son iguales.
18 16 Ejercicio 114 Sean λ 1, λ 2 y λ 3 medidas, λ 2 y λ 3 σ finitas, en (Ω, A), demostrar que si λ 1 λ 2 y λ 2 λ 3, entonces λ 1 λ 3 y además se tiene que dλ 1 = dλ 1 dλ 2. dλ 3 dλ 2 dλ 3 Ejercicio 115 Sean µ y ν medidas σ finitas, con ν µ y sea λ = µ+ν. Demostrar que ν λ y si f = dν/dλ, entonces f < 1 c.s (µ) y que dν/dµ = f/(1 f). Ejercicio 116 Sean λ y µ medidas σ finitas en (Ω, A), demostrar que son equivalentes las condiciones: (a) µ λ y λ µ. (b) {A A : µ(a) = } = {A A : λ(a) = }. (c) Existe una función medible g : Ω (, ), tal que λ(a) = A g dµ. Ejercicio 117 Demostrar que si (Ω, A, µ) es un espacio de medida σ finita, existe una medida finita λ, que tiene los mismos conjuntos nulos que µ. Ejercicio 118 Sea (Ω, A, µ) un espacio de medida finita y f : Ω C integrable. Demostrar que si S es un cerrado de C, tal que para cada E A con µ(e) >, se tiene entonces f(x) S c.s. 1 µ(e) E f dµ S Ejercicio 119 Sea (Ω, A, µ) un espacio de medida. Demostrar que {λ M(A, R) : λ µ}, es un subespacio vectorial cerrado del espacio de Banach M(A, R). Ejercicio 12 Sean ν 1 µ 1 en (Ω 1, A 1 ) y ν 2 µ 2 en (Ω 2, A 2 ), medidas σ finitas. Demostrar que ν 1 ν 2 µ 1 µ 2 y que d(ν 1 ν 2 ) d(µ 1 µ 2 ) (x, y) = dν 1 dµ 1 (x) dν 2 dµ 2 (y).
19 17 Ejercicio 121 Sea f medible compleja integrable respecto de una medida compleja λ, demostrar que f dλ f d λ. Ejercicio 122 Sean µ y ν medidas y f µ-integrable y g ν-integrable, tales que para todo A A, A fdµ = gdν, entonces para toda h A medible acotada A fhdµ = A ghdν Ejercicio 123 Demostrar que si λ 1 y λ 2 son complejas y λ 1 λ 2, entonces λ 1 + λ 2 = λ 1 + λ 2. Ejercicios Tema V Ejercicio 124 Calcular el área y el volumen de la elipse y elipsoide respectivamente x 2 a + y2 2 b = 1, x 2 2 a + y2 2 b + z2 2 c = 1. 2 Ejercicio 125 Sea σ : R R n una curva de clase 1, demostrar que para todo [a, b] R, si σ(t) = (x i(t)) b b γ 1H 1(σ[a, b]) = σ (t) dt = n x i (t)2 dt. a a i=1 Ejercicio 126 Sea f C 1 (R 2 ) y consideremos su gráfica F : R 2 R 3, F (x, y) = (x, y, f(x, y)), demostrar que para todo A B(R 2 ), γ 2H 2[F (A)] = 1 + fx 2 + fy 2 dxdy. A Ejercicio 127 (1) Demostrar que el área de la esfera de radio r es 4πr 2. (2) Demostrar que el área del casquete esférico de radio r y altura h es 2πrh. Ejercicio 128 Demostrar que para una rotación o una traslación T : R n R n, el centro de masas C(B) de un boreliano B satisface C[T (B)] = T [C(B)].
20 18 Ejercicio 129 Demostrar que si B, B i B(R n ), tienen dimensión Hausdorff p, con < H p(b), H p(b i) < y B i es una partición numerable disjunta de B = B n, entonces C[B] = H p(b i) H p(b) C(Bi). Ejercicio 13 Dado en el plano un triángulo T 2 de vértices ABC, consideremos los tres conjuntos: T 2 (la envolvente convexa de los vértices), T 1 = T 2 formado por los tres lados y T = {A, B, C} formado por los tres vértices. Calcular el centro de masas de cada uno. coinciden? Ejercicios Tema VI Ejercicio 131 Demostrar que si f L, entonces {x : f(x) > f } es localmente nulo. Ejercicio 132 Demostrar que si f L y es integrable, entonces {x : f(x) > f } es nulo. Ejercicio 133 Sea (Ω, A, µ) un espacio de medida σ finita. Demostrar que {λ M(A, R) : λ µ}, es un subespacio vectorial cerrado del espacio de Banach M(A, R), que es isomorfo a L 1 (Ω, A, µ, R). Dar un isomorfismo. Ejercicio 134 Sea (Ω, A, µ) un espacio de medida σ finita y f : Ω C medible. Demostrar que µ f (B) = µ[f 1 (B)] es una medida en B(C), y que si f L, entonces K = {z C : µ f [B(z, ɛ)] >, ɛ > }, es un compacto, donde B(z, ɛ) = {z : z z < ɛ} y que f = sup{ z : z K}. Ejercicio 135 Demostrar que si < r < p < s <, entonces L r L s L p L r + L s.
21 19 Ejercicio 136 Demostrar que si < r < s < y f L r L s, entonces f L p, para todo p [r, s]; que la función φ(p) = log f p dµ, es convexa en [r, s] y que f p máx{ f r, f s }. Ejercicio 137 Demostrar que un espacio normado E es completo sii para cada sucesión x n E xn < x n es convergente. Ejercicio 138 Demostrar la desigualdad de Holder generalizada: Si 1 p 1,..., p n son tales que (1/p i ) = 1/r 1 y f i L pi, entonces n n n f i L r, y f i r f i pi. i=1 Ejercicio 139 Demostrar que si f, g L p para < p < 1, entonces i=1 i=1 f + g p 2 1 p 1 ( f p + g p ) Ejercicio 14 Demostrar que si f L p para algún < p <, entonces f r f, cuando r. Ejercicio 141 Demostrar que si µ(ω) < y < r < s <, entonces L s L r y que para f L s f r f s µ(ω) 1 r 1 s. Ejercicio 142 Demostrar que si µ(ω) < y f n, f son medibles, entonces: (a) Si f n f c.s., entonces f n f en medida (es decir que para todo ɛ >, µ{ f n f > ɛ} ). (b) Si f n f en L p (con 1 p ), entonces f n f en medida. Ejercicio 143 Demostrar la Desigualdad de Jensen, es decir que si µ(ω) = 1, f : Ω (a, b) es medible e integrable y ϕ: (a, b) R es convexa, entonces ( ϕ ) f dµ ϕ f dµ.
22 2 Ejercicio 144 Demostrar que si µ(ω) = 1 y f, g son medibles y positivas y tales que fg 1, entonces f dµ g dµ 1. Ejercicio 145 Demostrar que si < r < s, entonces l r l s. Ejercicio 146 Sea g L, demostrar que para 1 p <, si f L p, gf L p, que la aplicación G: L p L p, G(f) = gf, es lineal y continua y que G = g.
23 21 Ejercicios resueltos Ejercicio 3.- Dada una aplicación F : Ω Ω, demostrar que: (a) Si A es una σ álgebra de Ω, A = {B Ω : F 1 (B) A} lo es de Ω. (b) Si A es una σ álgebra de Ω, A = F 1 [A ] = {F 1 (B) Ω : B A } lo es de Ω. (c) Si C P(Ω ), σ[f 1 (C)] = F 1 [σ(c)]. (d) Demostrar que si (Ω, T ) y (Ω, T ) son espacios topológicos y F es continua, entonces F 1 (B) B(Ω), para todo B B(Ω ). Ind.- (c) Aplicar el principio de los buenos conjuntos. (d) Aplicar (c). Ejercicio 4.- Consideremos las siguientes extensiones de una familia C de subconjuntos de Ω: Demostrar que C 3 = α(c). C 1 = {A Ω : A C ó A c C}, C 2 = {A 1 A n : A i C 1, n N}, C 3 = {A 1 A n : A i C 2, n N}. Solución.- Por una parte tenemos que C C 1 C 2 C 3 α(c), por tanto α(c 3 ) = α(c) y basta demostrar que C 3 es álgebra. Que, Ω C 3 es obvio, A = A 1 A n C 3 A c = A c 1 Ac n = ( m 1 j=1 B 1j) ( mn j=1 B nj) = m 1 j 1 =1 [ ] mn j n=1 n i=1 B iji C3, donde los B ij C 1. Por último es cerrado para uniones finitas. Ejercicio 5.- Sean (Ω 1, A 1),..., (Ω n, A n) espacios medibles. Demostrar que la familia de los productos de medibles, es una clase elemental. Solución.- R y R = {A 1 A n Ω 1 Ω n : A i A i}, (A 1 A n) (B 1 B n) = (A 1 B 1 ) (A n B n), [A 1 A n] c =A c 1 Ω 2 Ω n A 1 A c 2 Ωn... A 1 A n 1 A c n A. Ejercicio 9.- Puede una σ álgebra infinita contener sólo una colección numerable de elementos?
24 22 Ind. No, porque al menos tendría una colección numerable A n de conjuntos disjuntos pues de un medible no trivial A, sacamos dos A y A c, y por inducción, de n disjuntos A 1,..., A n sacamos n + 1, pues o bien B = A i Ω y consideramos A n+1 = B c o en caso contrario estos n conjuntos son una partición del espacio y basta considerar cualquier medible E que no sea unión de algunos A i, y por tanto con intersección no trivial con alguno de los A i, al que parte en dos E A i y E c A i. Ahora las uniones arbitrarias de estos serían distintas e identificando cada A n con n N, estas uniones se identificarían con partes de N que es no numerable. Ejercicio 1.- Demostrar que para cada función f : R R: (a) El conjunto de puntos de continuidad de f, C(f) A δ y los de discontinuidad D(f) C σ. (b) Demostrar que C(f) y D(f) son borelianos. Ind. Como C(f) = D(f) c basta verlo para uno. Consideremos para cada intervalo cerrado y acotado I = [a, b], ω f (I) = sup x I f(x) ínf x I f(x), para la que se tiene que I J ω f (I) ω f (J), y sea para cada x, ω f (x) = ínf x I ω f (I). Se sigue de la definición que x es punto de continuidad de f (x C(f)) sii ω f (x) =. Por otra parte para cada k >, el conjunto {x : ω f (x) < k} es abierto y por tanto son cerrados C n = {x : ω f (x) 1/n} y se tiene que D(f) = {ω f } = C n. Ejercicio 13.- Dada una medida µ y una sucesión A n A, demostrar que µ( A n) µ(a n). n=1 n=1 Ind. Tómense los conjuntos disjuntos B n = (A 1 A n 1 ) c A n. Ejercicio 15.- Dado un espacio de medida (Ω, A, µ) y una sucesión A n A, demostrar que: (a) µ(lím inf A n) lím inf µ(a n). (b) Que si µ( A n) <, entonces lím sup µ(a n) µ(lím sup A n). Solución.- Sean B n = i=n A i y C n = i=n A i, entonces B n A n C n, µ(b n) µ(a n) µ(c n) y B n lím inf A n, C n lím sup A n. Ejercicio (Lema de Borel Cantelli) 16.- Sea (Ω, A, µ) un espacio de medida y C n A. Demostrar que µ(c n) < µ(lím sup C n) =. n=1 Ind. Sea D n = i=1 C i, µ(d 1 ) <, µ(d n) y D n lím sup C n. Ejercicio 18.- Dada una sucesión doble x nm (, ], tal que para cualesquiera n, m N, x nm x n+1,m y x nm x n,m+1, demostrar que lím lím n m xnm = lím lím xnm. m n
25 23 Ind. Demostrar que existen los límites a n = lím m x nm, a = lím n a n, b m = lím n x nm y b = lím m b m, que x nm a n a y por tanto b a, la otra desigualdad por simetría. Ejercicio 2.- Dado un espacio no numerable Ω y A = {E Ω : E ó E c es numerable}, {, si E es numerable, µ(e) = 1, si E c es numerable, para cada E A, demostrar que A es σ álgebra y µ medida. Ind. Si A n A y para todo n A n es numerable, entonces A n A por ser numerable y si existe un i tal que A c i es numerable, entonces ( An)c = A c n A c i es numerable. Y si los A n son disjuntos y todos numerables, µ( A n) = = µ(a n), y si un A i no lo es, entonces para todo j i, A j A c i es numerable y µ( An) = 1 = µ(a i ) = µ(a n). Ejercicio 21.- Dado un espacio de medida (Ω, A, µ), tal que para todo E A con µ(e) = existe F A, con F E y < µ(f ) < (estas medidas suelen llamarse semifinitas), demostrar que para todo E A con µ(e) = y todo r > existe F A, con F E y r < µ(f ) <. Solución.- Basta demostrar que sup{µ(b) : B A, B E y µ(b) < } =. En caso contrario, el supremo valdría c < y para todo n N, podríamos encontrar F n E tal que µ(f n) > c (1/n) y considerando B n = n i=1 F i y su unión expansiva B n B, tendríamos que µ(b n) c, pues B n E y µ(b n) n i=1 µ(f i) <, por tanto tomando límites µ(b) c, pero como µ(b n) µ(f n) c 1 n, tomando límites µ(b) c, por tanto µ(b) = c y como B E llegamos a contradicción pues µ(e\b) = ya que µ(e) = µ(b) + µ(e\b), y por definición existe un medible A E\B con < µ(a) <, por lo que B A E tiene medida finita mayor que c. Ejercicio 23.- Dado un espacio de medida (Ω, A, µ), definimos λ: A [, ], de la siguiente manera λ(a) = sup{µ(b) : B A, B A y µ(b) < }, demostrar que: (a) λ es una medida semifinita. (b) Que si µ es semifinita entonces λ = µ. Solución.- (a) Es aditiva, pues para A, B A disjuntos y cualquier C A B, con C A y µ(c) <, tenemos A C A, B C B, con A C, B C A y µ(a C) <, µ(b C) <, por tanto como son disjuntos µ(c) = µ(a C) + µ(b C) λ(a) + λ(b),
26 24 y como esto es válido para cualquier C, λ(a B) λ(a) + λ(b). Veamos la otra desigualdad; para cualesquiera A A, B B, de A con medidas finitas por µ, tendremos que son disjuntos y µ(a ) + µ(b ) = µ(a B ) λ(a B), y se sigue la otra desigualdad. Ahora basta demostrar que si A n A, entonces λ(a n) λ(a). Ahora bien como λ es no negativa y aditiva es monótona, por tanto λ(a n) λ(a n+1 ) λ(a), para todo n y si consideramos un B A medible con µ(b) < y la sucesión B n = B A n B, tendremos µ(b n) µ(b), µ(b n) µ(b) < y B n A n, por tanto µ(b n) λ(a n), de donde µ(b) = lím µ(b n) lím λ(a n) λ(a), y tomando sup en µ(b) se dan igualdades y por tanto λ es medida. Además si µ(a) <, λ(a) = µ(a) y si λ(a) =, existe B n A medibles con µ(b n) < y µ(b n), por tanto existe B n A, con < λ(b n) = µ(b n) <, lo que prueba que es semifinita. (b) Es consecuencia del ejercicio 21. Ejercicio 24.- Demostrar que la medida exterior de Lebesgue en R, se puede definir en vez de con la clase C = {(a, b]}, con cualquiera de las clases C 1 = {(a, b)}, C 2 = {[a, b]}, C 3 = {[a, b)}. Ind.- Para C y C 1, denotemos D A = { (b n a n) : a n < b n R, A (a n, b n]}, n=1 n=1 D 1A = { (d n c n) : c n < d n R, A (c n, d n)}, n=1 entonces por un lado D 1A D A, pues (c, d) (c, d] y por otro para cada x D A y ɛ >, x + ɛ D 1A, pues para x = (b n a n), con A n=1 (an, bn], tendremos A n=1 (an, bn + ɛ/2n ) y la suma correspondiente a estos intervalos es ɛ + x. Ejercicio 25.- Sea µ una medida exterior en Ω y λ la medida restricción de µ a la σ álgebra A. Demostrar que: (a) µ λ. (b) Si µ es la medida exterior generada por una medida µ en un álgebra A, entonces µ = λ. (c) Encontrar una medida exterior µ en Ω = {, 1}, para la que µ λ. Ind. (a) Para A Ω, λ (A) = ínf{ µ (A i ) : A i A, A A i }, y dado uno de estos números µ (A i ), µ (A) µ ( A i ) µ (A i ), por tanto µ (A) λ (A). (b) Para A Ω, µ (A) = ínf{ µ(a i ) : A i A, A A i }, y dado uno de estos números µ(a i ), como los A i A λ (A) µ (A i ) = µ(a i ), n=1
27 25 por tanto λ (A) µ (A). (c) µ {} = µ {1} = 2, µ {, 1} = 3, por tanto A = {, Ω} y λ {} = 3. Ejercicio 27.- Sea (Ω, A, µ) un espacio de medida y sea A µ su compleción y µ la medida exterior generada por µ. Demostrar que para cada A Ω: µ (A) = ínf{µ(b) : B A, A B}, y que si definimos la medida interior µ (A) = sup{µ(b) : B A, B A}, entonces si A A µ se tiene que µ (A) = µ (A) = µ(a) y recíprocamente si µ (A) = µ (A) < entonces A A µ. Ind. Si A A µ, existen B, D A, con B A D y µ(d\b) =, por tanto µ(d) = µ(a) = µ(b) µ (A) µ (A) µ(d) y se tiene la igualdad. Ahora dado A Ω se demuestra que existen B, D A, con B A D, µ(b) = µ (A) y µ (A) = µ(d) y si µ (A) = µ (A) < entonces A A µ. Ejercicio 29.- Sean µ i : B(R) [, ], para i = 1,..., n medidas de Lebesgue Stieltjes. Demostrar que existe una única medida µ: B(R n ) [, ], tal que para cada semi rectángulo acotado (a, b], µ(a, b] = µ 1(a 1, b 1] µ n(a n, b n]. Ind. Considérense funciones de distribución F i que generen µ i, la función de distribución F (x 1,..., x n) = F 1 (x 1 ) F n(x n) y la medida que genera. Ejercicio 3.- Demostrar que toda medida en B(R n ) de Lebesgue Stieltjes es σ finita. Encontrar una que sea σ finita pero no de Lebesgue Stieltjes. Encontrar una que sea σ finita pero no regular. Ind. En R, µ(a) el número de racionales de A. Ejercicio 31.- Demostrar que toda medida semifinita µ: B(R n ) [, ] es regular interior. Ind. Se ha demostrado que toda medida es regular interior en los borelianos de medida finita, sea B un boreliano con µ(b) =, entonces por ser semifinita hemos demostrado que para todo n N existe un boreliano B n B, tal que n < µ(b n) <, pero entonces existe un compacto K n B n, tal que n < µ(k n) y K n B. Ejercicio 32.- Demostrar que para a < b R n y la medida de Lebesgue n dimensional m(a, b) = m[a, b) = m(a, b] = m[a, b]. Ind. Para a, b R n, a < b, se tiene, entendiendo a 1/m el vector de coordenadas a i 1/m, (a 1/m, b] [a, b], por tanto m[a, b] = lím m(a 1/m, b] = lím (b i a i + 1/n) = (b i a i ) = m(a, b]. y por lo mismo m[a, b] = m(a, b), pues (a, b 1/m] (a, b).
28 26 Ejercicio 33.- Demostrar que si t R y B L(R n ), entonces tb L(R n ) y m(tb) = t n m(b). Además si B B(R n ), entonces tb B(R n ). Ind. Para t >, m(tb) = t n m(b), pues m (tb) = t n m (B) y para t <, m (tb) = m [ t ( B)] = t n m ( B) y basta demostrar que m ( B) = m (B). Observemos que para a, b R n, a < b, se tiene, entendiendo a 1/n el vector de coordenadas a i 1/n m[a, b] = lím m(a 1/n, b] = lím (b i a i + 1/n) = (b i a i ) = m(a, b], m (A) = ínf{ m(a i, b i ] : A (a i, b i ]} = ínf{ m[a i, b i ] : A [a i, b i ]} = ínf{ m[ b i, a i ] : A [ b i, a i ]} = m ( A), y se demuestra fácilmente que si B L(R n ), entonces tb L(R n ). Que las homotecias conservan Borelianos es por ser homeomorfismos. El ejercicio también se puede demostrar utilizando esto último, que los Lebesgue medibles son la compleción de los Borel y que la medida de Lebesgue es la única medida invariante por traslaciones que verifica m([, 1] n ) = 1, considerando para ello la medida de Borel µ(b) = m[tb]/ t n. Ejercicio 35.- Demostrar que para p =, H p es la medida de contar. Ind. Para A = {x 1,..., x m} y δ < mín{d(x i, x j )}, H δ (A) = n. Ejercicio 36.- Sea Ω Ω y consideremos el espacio métrico (Ω, d), con la métrica inducida. Demostrar que la medida exterior de Hausdorff en Ω, H p = H p P(Ω ). Ind. Para A Ω, H p,δ (A) = ínf{ d(a n) p : A A n Ω, d(a n) δ} = ínf{ d(b n) p : A B n Ω, d(b n) δ} = H p,δ (A). Ejercicio 38.- Demostrar que dim H({x}) =, para cada x Ω. Ind. H ({x}) = 1. Ejercicio 39.- Demostrar que dim H( A n) = sup dim H(A n). Ind. Si A = A i, H p(a i ) H p(a) H p(a n), por tanto si p < sup dim H (A n), existe un i tal que p < dim H (A i ), por tanto H p(a i ) = = H p(a) y p dim H (A) y si sup dim H (A n) < p, H p(a n) = para todo n y H p(a) =, por tanto dim H (A) p. Ejercicio 4.- En los subespacios de R n con la métrica euclídea, demostrar que la dimensión vectorial y la de Hausdorff coinciden. Ind. Es consecuencia de los resultados anteriores y de que para un cubo Q, n dimensional, se tiene que < H n(q) <, por tanto dim H (Q) = n. Ejercicio 44.- Sean h y g funciones medibles. Demostrar que los conjuntos {x Ω : h(x) < g(x)}, {x Ω : h(x) g(x)}, {x Ω : h(x) = g(x)},
29 27 son medibles. Ind. El primer conjunto es medible porque en él h <, < g y en este conjunto existe g h que es medible, ó también porque {x Ω : h(x) < g(x)} = ({h(x) < r} {r < g(x)}), r Q el segundo porque su complementario lo es y el tercero es la diferencia. Ejercicio 51.- Si f : R R tiene derivada en todo punto, demostrar que f es Borel medible. Solución.- Si f es derivable es continua y por tanto medible, como también lo es f n(x) = n[f(x + 1/n) f(x)] y como f n f, f es medible. Ejercicio 52.- Demostrar que f = (f 1,..., f n): (Ω, A) (R n, B(R n )) es medible si y sólo si cada f i lo es. Solución.- Si f es medible, f i = x i f es medible por que las proyecciones x i : R n R son continuas y por tanto medibles. Recíprocamente sea (a, b] un semi rectángulo, con a < b R n, entonces n f 1 (a, b] = {x Ω : a < f(x) b} = {x Ω : a i < f i (x) b i } A, i=1 y como estos semi rectángulo generan B(R n ), f es medible. Ejercicio 53.- Sea (Ω, A, µ) un espacio de medida y f = n=1 anian, con a n (, ) y A n A, calcular f dµ. Ind. f n = f n. Ejercicio 54.- Sea f integrable. Demostrar que ɛ > existe un medible A, con µ(a) < tal que f < A f + ɛ. Ind. A n = {1/n f} A = { < f}, µ(a n) < y A n f A f = f. Ejercicio 58.- Sean f, f n integrables, tales que f n f c.s. Demostrar que fn f sii f n f. Ind. Por el TCD, pues f f n f f n f, por tanto f n f n f f. Ejercicio 6.- Sean f, f n integrables, tales que f n f c.s. Demostrar que fn f sii f n f. Ind. Por el TCD pues f f n f n f f, por tanto f n f n f f. Ejercicio 66.- Calcular: 1 lím n (1 + nx 2 )(1 + x 2 ) n dm. Ind. Por el TCD, pues: 1 es integrable; f n 1, ya que (1 + x 2 ) n = 1 + nx 2 + (1/2)n(n 1)x nx 2,
30 28 y f n, pues (1 + x 2 ) n 1 + nx nx2 + (1/2)n(n 1)x nx 2. Ejercicio 68.- Sea f : R R medible tal que e tx f(x) es integrable para todo t (a, b) R. Demostrar que F (t) = e tx f(x) dm es diferenciable y que F (t) = x e tx f(x) dm. Ind. Para cada s (a, b) existe un δ > tal que [s 2δ, s + 2δ] (a, b). Basta demostrar que F es diferenciable en I = (s δ, s+δ). Existe r >, tal que para x > r, x e δx, por lo que el módulo de la derivada del integrando, x e tx f(x), está acotado para t I por la función integrable e (s 2δ)x f(x), si x < r, r e (s 2δ)x f(x), si r x, h(x) = r e (s+2δ)x f(x), si x r, e (s+2δ)x f(x), si x > r, y el resultado se sigue del teorema de derivación bajo el signo integral. Nota. Para los siguiente ejercicios puede ser útil recordar que: lím (1 + 1/a n) an = e, a n Ejercicio 69.- Demostrar que para t > y α 1, la sucesión (1 + (t/n) α ) n es creciente y para 1 α, (1 (t/n) α ) n también es creciente. Ind. ( ( ) t α ) n ( ( ) t α ) n n n + 1 (n α t α ) n ((n + 1) α t α ) n+1 n αn (n + 1) α(n+1), lo cual induce a considerar la función f(x) = (n α x) n ((n + 1) α x) n+1, y demostrar que f, en cuyo caso f(x) f(), para todo x. El otro es similar. Ejercicio 7.- Demostrar que (a) (b) lím n lím n n 1 1 ( 1 t n ) n log t dm = ( 1 t n ) n log t dm = 1 1 e t log t dm. e t log t dm. Ind. (a) Se puede hacer utilizando el ejercicio (69) y el TCM pues I (1,n) (1 (t/n)) n log t y (1 (t/n)) n es creciente para t n.
31 29 También se puede hacer utilizando el TCD, probando que I (1,n) (1 (t/n)) n log t = I (1,n) (1 (t/n)) n log t e t t, y demostrando que e t t es integrable. (b) se sigue del desarrollo de (a), utilizando el TCM y teniendo en cuenta que como en (, 1) el log t es negativo, la sucesión (1 (t/n)) n log t y es decreciente. Ejercicio 71.- Sea f no negativa e integrable, con < f dµ = c < y sea < α <. Demostrar que [ ( ) α ], si < α < 1, f lím n log 1 + dµ = c, si α = 1, n n, si 1 < α <. Ind. La sucesión f n = n log[1 + (f/n) α ], es creciente para α 1, por el ejercicio (69) y [ ( ) f α ] n [ ] 1 (n/f) α n(f/n) α, si α > = 1 + n (n/f) α, n 1 α = 1, si α = 1., si α < 1. y f n f para α = 1 y f n para α < 1, en cuyo caso el resultado se sigue del TCM. Para α 1, f n αf, pues para x y α 1, 1 + x α (1 + x) α (ya que si h(x) = (1 + x) α x α 1, h() = y h (x) > ), y y se aplica el TCD. e fn = [ 1 + ( f n ) α ] n ( 1 + f n ) nα e αf, Ejercicio 72.- Demostrar que si f es µ integrable, entonces para cada ɛ >, existe un δ >, tal que µ(e) < δ f dµ < ɛ. Ind. Sea λ(a) = A f dµ, que es una medida finita y Bn = { f > n}, entonces B n B = { f = }, por tanto λ(b n) λ(b) = B f dµ =, por tanto existe un N N, tal que para n N, λ(b n) ɛ/2. Ahora bien f dµ = f dµ + f dµ ɛ E E B n 2 + nµ(e), y basta tomar δ ɛ/2n. E E B c n Ejercicio 73.- Demostrar que si f : R R es Lebesgue integrable F (x) = x f dm es uniformemente continua. Ind. Aplicar el ejercicio anterior.
32 3 Ejercicio 74.- Demostrar que si F : (Ω, A, µ) (Ω, A ) es medible, µ F = F µ, para µ F (B) = µ[f 1 (B)], es una medida, llamada medida imagen, para la que se verifica que si g es medible en Ω y B A, entonces g dµ F = (g T ) dµ. B F 1 (B) en el sentido de que si una de las integrales existe también la otra y son iguales. Ind. Para indicadores se sigue de la definición, para funciones simples por aditividad, para funciones no negativas por el teorema de la convergencia monótona, pág.?? y para funciones con integral de la definición. Ejercicio 75 Demostrar que si f n : I R son Riemann integrables y f n f uniformemente, entonces f es Riemann integrable. Ind. f n es continua salvo en un Borel medible nulo A n. Por tanto todas las f n son continuas fuera del Borel medible nulo A = A n y por tanto f, pues f(x) f(y) f(x) f n(x) + f n(x) f n(y) + f n(y) f(y). Ejercicio 76 Sea C = [a, b] Q = {c n} y f : I = [a, b] R, f(x) = si x es irracional, x C c ; y f(c n) = 1/n. Demostrar que f es Riemann integrable y calcular su integral. Ind. f es continua fuera del medible nulo C, pues si x es irracional f(z) ɛ para los z del entorno de x V x = {c 1,..., c n} c y 1/n ɛ. Ejercicio 77.- (a) Demostrar que si f tiene integral impropia de Riemann, entonces es continua c.s. (m), pero no recíprocamente. (b) Si f y es acotada en cada compacto, entonces se tiene la equivalencia. Ind. (a) Se sigue del teorema de caracterización, pues es Riemann integrable en cada intervalo acotado y por tanto en él es continua c.s. El recíproco no es cierto para f(x) = x, ni siquiera para f acotada, f = I [, ) I (,). (b) Por el Teorema de caracterización f es Riemann integrable en cada intervalo [a n, b n], para cualesquiera a n y b n y f es lebesgue medible en [a n, b n]. además f n = fi [an,bn] f y f es Lebesgue medible y b n a n f(x)dx = f n f, por el Teorema de la convergencia monótona. Ejercicio 78.- Sea f : R R no negativa, con integral impropia de Riemann finita, demostrar que f es Lebesgue medible e integrable y las dos integrales coinciden. Dar un contraejemplo si quitamos la no negatividad. Ind. Consideremos la sucesión f n = fi [ n,n], para la que f n f, entonces es Lebesgue medible por serlo las f n y por el Teorema de caracterización y el Teorema de la convergencia monótona n f(x)dx = lím f(x)dx = lím f n n n ndm = f dm, Si quitamos la no negatividad es falso pues por ejemplo para ( 1) n f = n I [n 1,n), n=1
33 31 existe f(x)dx = n=1 ( 1) n n, y es finita y sin embargo no es Lebesgue integrable, pues no lo es f, ya que f dm = (1/n) =. Ejercicio 79.- Demostrar que si f : R R es Lebesgue integrable f dm = f dm. [, ] lím a, b Es cierto si existe la integral pero no es finita? [a,b] Solución.- λ(a) = A f dm es una carga y si An A, λ(an) λ(a). Ejercicio 8.- (a) Demostrar por inducción que x n e x dm = n!. (b) Demostrar que para t >, e tx dm = 1/t y utilizarlo para demostrar (a), derivando respecto de t. Ind.- (b) 1 = (e tx ) dx = ( t) e tx dx. Por otra parte para todo a > y todo t > a, e tx / t = x e tx está uniformemente acotada por una función integrable. Pues existe M, tal que para x > M, x e tx x e ax e ax/2 y para < x M, x e tx M e ax. Similarmente para las derivadas sucesivas. Por tanto para F (t) = e tx dm = 1/t tendremos F (n (t) = ( x) n e tx = ( 1) n n!t n 1. Ejercicio 81.- Sea f : [, 1] R continua, tal que f() = y existe f (). Demostrar que f(x)x 3/2 es Lebesgue integrable. Ind.- f(x) = xg(x) para g continua y g(x)/ x está acotada en un entorno de por M/ x que es integrable y fuera es integrable. Ejercicio 82.- Calcular: (a) lím n (1 + (x/n)) n sen(x/n) dm. (b) lím n n sen(x/n)[x(1 + x 2 )] 1 dm. (c) lím n n(1 + a n2 x 2 ) 1 dm, en función de a. Ind. (a)= por TCD, pues la sucesión (1 + (x/n)) n es creciente y converge a e x, por tanto, (1+(x/n)) n sen(x/n) (1+(x/2)) 2, y esta última es integrable. (b)=π/2 pues sen t/t 1 y x dx/(1 + x2 ) = arctan(x) y para (c) se hace el cambio t = nx. Ejercicio 83.- Dadas las funciones definidas en (, ) ( t 2 f(t) = e dx) x2, g(t) = 1 demostrar que: (a) f(t) + g(t) = π/4. (b) e x2 dm = π/2. e t2 (x 2 +1) x dx,
34 32 Ind. (1) f (t) + g (t) =. (2) lím t g(t) =. Ejercicio 84.- Dada f(t) = e x2 cos 2xt dm, demostrar que satisface f (t)+ 2tf(t) = y que f(t) = (1/2) πe t2. Ind. = (e x2 sen 2xt) = ( 2x)e x2 sen 2xt+e x2 (2t) cos 2xt = f (t)+ 2tf(t). Por tanto f(t) = f()e t2 y por el resultado anterior f() = π/2. Ejercicio 85.- Demostrar: (1) x2n e x2 dm = (2n)! π/4 n n!. (2) Para a, e x2 cos ax dm = π e a2 /4. (3) Para p >, 1 xp 1 (x 1) 1 log x dm = n= 1/(p + n)2. Ind. (1) Por inducción derivando x 2n+1 e x2 y utilizando el ejercicio (83). (2) cos x = n= ( 1)n x 2n /(2n)!. (3) 1/(1 x) = n= xn, (x n+p log x 1 ) = (n + p)x n+p 1 log x 1 x n+p 1, por tanto 1 xn+p 1 log x 1 dx = 1/(p + n) 2. Ejercicio 86.- Demostrar que la función f : (, 1) R, f(x) = x r log n x 1, para 1 < r y n es Lebesgue integrable y que 1 x r log n x 1 dm = x r log n x 1 n! dx = (1 + r). n+1 (,1) Ind. Por L Hopital se tiene derivando n veces que (1) lím xr+1 log n x 1 log n y = lím x + y y r+1 = lím n! y (r + 1) n =. yr+1 y si para cada n denotamos la integral por I n, tenemos que para n =, como (x r+1 ) = (r + 1)x r y lím x + x r+1 =, I = 1/(r + 1) y por inducción se tiene el resultado pues (x r+1 log n x 1 ) = (r + 1)x r log n x 1 x r n log n 1 x 1 por tanto integrando y teniendo en cuenta (1) I n = n r + 1 I n! n 1 = = (r + 1) n+1, (observemos que los integrandos no son acotados, pero tienen integral impropia de Riemann finita y son Lebesgue integrables por el ejercicio (78), pág.1). Ejercicio 87.- Demostrar que la función g : [1, ) R, g(x) = e x x k, para k R es Lebesgue integrable. Ind. Se tiene que lím x e x/2 x k =, para todo k R, lo cual implica que la función está acotada por un N, pues es continua en [1, ). Ahora e x x k N e x/2,
35 33 y el resultado se sigue pues la función e x/2 es Lebesgue integrable en [1, ), pues es no negativa y tiene integral impropia de Riemann ya que (e x/2 ) = e x/2 /2 e x/2 = 2 e 1/2. 1 Ejercicio 88.- Sea k R y r >. Demostrar que r r x k dm < 1 < k x k dm < k < 1 Ind. Es una simple consecuencia de que para < a < b { b x k b k+1 a k+1, k + 1 <, k + 1 = k+1 a log b/a, k + 1 =, lím ak+1 = 1, k + 1 = a +, < k + 1 y de que lím b log b = y lím a + log a =. Ejercicio 89.- Sean Ω 1 y Ω 2 espacios topológicos. Demostrar que: (a) B(Ω 1) B(Ω 2) B(Ω 1 Ω 2). (b) Si sus topologías tienen bases numerables, B(Ω 1) B(Ω 2) = B(Ω 1 Ω 2). Solución.- (a) Como las proyecciones π i : Ω 1 Ω 2 Ω i son continuas son B(Ω 1 Ω 2 ) medibles, por tanto dados A B(Ω 1 ) y B B(Ω 2 ), A B = π 1 1 (A) π 1 2 (B) B(Ω 1 Ω 2 ), y se sigue la inclusión de (a). (b) Si C i es una base numerable de la topología T i de Ω i, C = {U V : U C 1, V C 2 } B(Ω 1 ) B(Ω 2 ), es una base numerable de la topología producto T, por tanto y se sigue el resultado. T σ(c) B(Ω 1 ) B(Ω 2 ), Ejercicio 92.- Sea f : R 2 R, tal que f x es Borel medible para cada x y f y continua para cada y. Demostrar que f es Borel medible. Ind.- Basta observar que la sucesión de funciones medibles f n(x, y) = i= f(i/n, y)i ( i 1 n, n i ](x), verifica f n f, pues f n(x, y) = f(x n, y), para un x n = i/n tal que x n x 1/n. Ejercicio 93.- Demostrar que para cada r > y A B(R n ) es medible la función de R n, f(x) = m[a B[x, r]].
36 34 Ind.- Es consecuencia de (??), pág.??, pues m[a B[x, r]] = m[(r n A {(z, y) R 2n : z y r}) x].. Ejercicio 99.- Sea (Ω, A, µ) un espacio de medida σ finita y f : Ω R medible y no negativa. Demostrar que la gráfica de f es medible y que µ m(e) =. E = {(x, y) Ω [, ] : y = f(x)} A B(R), Ind. Consideremos las funciones medibles π 2 (x, y) = y y h(x, y) = f(x), entonces E = {h = π 2 } y como m(e x) =, µ m(e) =. Ejercicio 1.- Sea (Ω, A, µ) un espacio de medida σ finita y f : Ω R medible y no negativa. Demostrar que la función F (y) = µ{f 1 (y)} es medible y F = c.s. Ind. En los términos del ejercicio anterior F (y) = µ(e y ) y = µ m(e) = F (y) dm. Ejercicio 12.- Sea (Ω, A, µ) un espacio de medida σ finita, f : Ω [, ] medible y 1 p <. Demostrar que f p dµ = pt p 1 µ{f > t} dt, y que si µ{f > t} e t, entonces f p dµ Π(p). Ind. Haciendo el cambio de variable s = t p, f p dµ = µ{f p > s} ds = pt p 1 µ{f > t} dt. Ejercicio 16.- Sea (Ω, A, λ) un espacio medible con una carga. Demostrar: (a) g es λ integrable si y sólo si es λ integrable. (b) Si g es λ integrable, g dλ g d λ. (c) Existe una medida µ y una función medible f, con integral respecto de µ, tal que para todo E A, λ(e) = E f dµ. Ind. (c) Considerar una descomposición de Hahn, P, N, f = I P I N y µ = λ. Ejercicio Sea λ una carga en un espacio medible (Ω, A), demostrar que n λ (A) = sup{ λ(e i) : E i A, disjuntos, E i = A}, i=1 Es cierto el resultado si ponemos i=1 en lugar de sumas finitas?.
37 35 Ind. Sean E 1,..., E n A medibles y disjuntos, tales que E i = A entonces n n λ(e i ) λ (E i ) = λ (A), i=1 i=1 por tanto λ (A) es una cota superior para el supremo. Veamos que se alcanza, para ello sea P, N una descomposición de Hahn λ (A) = λ + (A) + λ (A) = λ(a P ) + λ(a N), y el resultado se sigue pues A P, A N es una partición de A. Ejercicio Sea (Ω, A) un espacio medible con una medida compleja λ = λ 1 +iλ 2 = λ + 1 λ 1 +iλ+ 2 iλ 2, demostrar que λ± i λ λ + 1 +λ 1 +λ+ 2 +λ 2. Ind. λ ± i λ + i + λ i = λ i λ λ 1 + λ 2 = λ λ 1 + λ+ 2 + λ 2. Ejercicio Sea (Ω, A, µ) un espacio de medida y f una función medible no negativa. Si definimos la medida λ(a) = f dµ, demostrar que para cada A función medible g g dλ = fg dµ, en el sentido de que si una de las integrales existe también la otra y son iguales. Ind. Demuéstrese para indicadores, funciones simples, funciones no negativas y en general. Ejercicio Sean µ y ν medidas σ finitas, con ν µ y sea λ = µ + ν. Demostrar que ν λ y si f = dν/dλ, entonces f < 1 c.s (µ) y que dν/dµ = f/(1 f). Ind. Existe g = dν/dµ, con g <, entonces g + 1 = dλ/dµ y f(g + 1) = dν/dµ, por tanto g = f(g +1) c.s. (µ) y f = g/(g +1) < 1 c.s. (µ) y g = f/(1 f) c.s.(µ). Ejercicio Sean λ y µ medidas σ finitas en (Ω, A), demostrar que son equivalentes las condiciones: (a) µ λ y λ µ. (b) {A A : µ(a) = } = {A A : λ(a) = }. (c) Existe una función medible g : Ω (, ), tal que λ(a) = A g dµ. Ind. (a) (b) es trivial. (a) (c) Por el Teorema de Radon Nikodym dλ/dµ < y por el ejercicio anterior 1 = dµ dµ = dµ dλ dλ dµ, por tanto dλ/dµ es invertible c.s. y por tanto positiva c.s. (c) (a) Como existe g 1 y es no negativa tiene integral y si consideramos ν(a) = A g 1 dλ, tendremos que dν dµ = dν dλ dλ dµ = g 1 g = 1 ν = µ.
Ejercicios de teoría de la medida
Ejercicios de teoría de la medida Pedro Alegría Capítulo. Dada una aplicación F : Ω Ω, demostrar que: a) Si A es una σ-álgebra de Ω, A = {B Ω : F B) A} lo es de Ω. b) Si A es una σ-álgebra de Ω, A = F
Más detallesApuntes de Teoría de la Medida
Apuntes de Teoría de la Medida Badajoz, 27 de mayo de 2016 ab A + B. Fig. pág. 239. Dpto. de Matemáticas Univ. de Extremadura Apuntes de Teoría de la Medida Dpto. de Matemáticas Univ. de Extremadura «Apuntes
Más detallesApuntes de Teoría de la Medida
Apuntes de Teoría de la Medida Badajoz, 21 de diciembre de 2016 ab A + B. Fig. pág. 243. Dpto. de Matemáticas Univ. de Extremadura Apuntes de Teoría de la Medida Dpto. de Matemáticas Univ. de Extremadura
Más detallesMedidas. Problemas para examen. Estos problemas están redactados por Egor Maximenko y Breitner Arley Ocampo Gómez.
Medidas Problemas para examen Estos problemas están redactados por Egor Maximenko y Breitner Arley Ocampo Gómez. Sigma-álgebras 1. Propiedades elementales de σ-álgebras. Demuestre que una σ-álgebra es
Más detallesParte 5: Integración en espacios producto.
Parte 5: Integración en espacios producto. Definición 1 Sean (X; M, µ) y (Y, N, ν) espacios de medida. Se define la σ álgebra producto M N como la σ álgebra generada por los llamados rectángulos medibles,
Más detallesEjercicios de Análisis Funcional
Ejercicios de Análisis Funcional Rafael Payá Albert Departamento de Análisis Matemático Universidad de Granada ANÁLISIS FUNCIONAL Relación de Ejercicios N o 1 1. Dar un ejemplo de una distancia en un espacio
Más detallesIntegral de Lebesgue
Integral de Lebesgue Problemas para examen n todos los problemas se supone que (, F, µ) es un espacio de medida. Integración de funciones simples positivas. La representación canónica de una función simple
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 detallesINTRODUCCIÓN A LOS ESPACIOS DE FUNCIONES. Problemas
Problemas Curso 2013-2014 Problemas 1. Sea E un espacio normado. Si a, b son elementos de E, probar: (a) 1 2 (a + b) 2 1 2 a 2 + 1 2 b 2. (b) a max{ a + b, a b }. 2. Demostrar que en un espacio normado,
Más detallesEjercicios Análisis II
Ejercicios Análisis II Ejercicios resueltos del libro Real and Complex Analysis de Walter Rudin Mauricio Bravo Vera mauro.bravo@gmail.com Segundo semestre 2010 Índice general 1. Integración Abstracta
Más detalles2. CONSTRUCCIÓN DE MEDIDAS.
2. CONSTRUCCIÓN DE MEDIDAS. 1. MEDIDAS EXTERIORES. (2,1,1) Definición. Una medida exterior es una aplicación µ : P(X) [0, + ] que cumple: (a) µ ( ) = 0. (b) Monotonía: Si A B, entonces µ (A) µ (B). (c)
Más detalles1. Medida Exterior. Medida de Lebesgue en R n
1. La integral de Lebesgue surge del desarrollo de la integral de Riemann, ante las dificultades encontradas en las propiedades de paso al ĺımite para calcular la integral de una función definida como
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 detallesTema 6: Teorema de Representación de Riesz. 10 y 13 de mayo de 2010
Tema 6: Teorema de Representación de Riesz 10 y 13 de mayo de 2010 1 Funcionales lineales positivos 2 Regularidad de medidas de Borel 3 Funcionales lineales continuos Funciones continuas de soporte compacto
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 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 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 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 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 detallesMétodos matemáticos: Análisis funcional
Métodos matemáticos: Análisis funcional Conceptos y resultados fundamentales Curso 2011/2012 Aquí encontrarás los Teoremas hay que saber para el primer parcial ( 1) así como las definiciones, problemas
Más detallesParte 6. Descomposición de medidas.
Parte 6. Descomposición de medidas. Se generaliza el concepto de medida. Al principio admitiremos medidas a valores reales (positivos y negativos). Luego definiremos medidas complejas. Definición 1 Sea
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 detalles2. El Teorema del Valor Medio
2.24 45 2. El Teorema del Valor Medio Comenzaremos esta sección recordando dos versiones del teorema del valor medido para funciones de 1-variable y por tanto ya conocidas: 2.22 Sea f : [a, b] R R una
Más detallesTema 10: Teorema de Hahn-Banach. 14 y 17 de junio de 2010
Tema 10: Teorema de Hahn-Banach 14 y 17 de junio de 2010 1 Versión anaĺıtica Enunciado del teorema Dual topológico Teoremas de extensión Duales de subespacios y cocientes Límites de Banach 2 Separación
Más detallesApuntes sobre la integral de Lebesgue
Apuntes sobre la integral de Lebesgue Miguel Lacruz Martín Universidad de Sevilla 1. Medida de Lebesgue 1.1. Introducción La longitud l(i) de un intervalo I R se define habitualmente como la distancia
Más detalles1. Unicidad de Medidas
AMARUN www.amarun.net Comisión de Pedagogía - Diego Chamorro Teoría de la medida (Nivel 2. Lección n 3: Construcción de medidas, Medida de Lebesgue EPN, verano 2009 1. Unicidad de Medidas = Es imposible
Más detallesPor ser f continua y R compacto, existen x 0, y 0 en R tales que f(x 0 ) = sup{f(t) : t R} y f(y 0 ) = inf{f(t) : t R}
Proposición. Sea un rectángulo en R n, y sea f : R una función continua. Entonces f es integrable en. Conjuntos de Demostración: Como f es continua en, y es compacto, f es acotada en, y uniformemente continua.
Más detalles1. MEDIDA E INTEGRACIÓN.
1. MEDID E INTEGRCIÓN. En este capítulo repasamos algunos conceptos que se vieron en la asignatura mpliación de la Teoría de Funciones de Varias Variables. 1. MEDIDS POSITIVS. (1,1,1) Definición. Una σ-álgebra
Más detallesEjercicios de Análisis Funcional. Curso
Ejercicios de Análisis Funcional Curso 2010-2011 1 1 Preliminares de espacios normados Problema 1.1. Demostrar que para 1 < p < la norma. p en R 2 verifica la siguiente propiedad: Si x, y R 2 con x y y
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 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 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 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 detallesEspacios de Banach. Problemas para examen
Espacios de Banach Problemas para examen Se marcan con azul algunos ejercicios que no vimos bien en clase. La lista todavía no es completa; se pueden agregar algunos teoremas y ejercicios que vimos bien
Más detalles1 Denición y ejemplos
Centro de Matemática Facultad de Ciencias Universidad de la República Introducción a la Topología Curso 206 NOTAS TEÓRICO-PRÁCTICAS 5: ESPACIOS MÉTRICOS Denición y ejemplos Comenzaremos estas notas recordando
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 detallesMedida y Probabilidad
Medida y Probabilidad Jorge Salazar 1 Enero 2015 1 Con el apoyo del Programa PROMETEO/SENESCYT del Gobierno del Ecuador. ii Contents 7 Integral de Lebesgue 1 7.1 Integración de funciones simples.................
Más detalles1. El espacio del shift y su topología.
TEORIA ERGODICA Eleonora Catsigeras Apuntes para el curso de Maestría en Matemática. Abril de 2005. CAPITULO 4 TRANSFORMACIONES DE BERNOULLI 1. El espacio del shift y su topología. Sea K = {0, 1,..., k
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 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 detallesANÁLISIS FUNCIONAL Notas de curso. M.A. Rodríguez Departamento de Física Teórica II Universidad Complutense de Madrid
ANÁLISIS FUNCIONAL Notas de curso M.A. Rodríguez Departamento de Física Teórica II Universidad Complutense de Madrid 2 de septiembre de 22 Índice general. La integral de Lebesgue 3.. Introducción............................................
Más detalles1. Propiedades básicas de las medidas
AMARUN www.amarun.net Comisión de Pedagogía - Diego Chamorro Teoría de la medida (Nivel 2). Lección n 2: σ-álgebras y medidas EPN, verano 2009 1. Propiedades básicas de las medidas Marco de trabajo: la
Más detallesAnálisis de Fourier. Resumen de los apuntes de D. Antonio Cañada Villar. Sergio Cruz Blázquez. Curso 2015/2016
Análisis de Fourier Resumen de los apuntes de D. Antonio Cañada Villar Curso 2015/2016 Sergio Cruz Blázquez Índice 1 El espacio L 2 (a, b) Definición y primeras notas El espacio L 1 (a, b) L 2 (a, b) como
Más detallesConjuntos Medibles. Preliminares
Capítulo 18 Conjuntos Medibles Preliminares En el capítulo anterior vimos que la medida exterior de Lebesgue no resulta σ-aditiva en todo R n. Ahora vamos a construir una familia M de subconjuntos de R
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 detallesAnálisis real y complejo. Análisis Funcional
UNIVERSIDAD DE SEVILLA Análisis real y complejo. Análisis Funcional Máster Universitario en Matemática Avanzada Luis Bernal González Departamento de Análisis Matemático Sevilla, febrero de 212 Disponible
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 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 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. 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 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 detallesProblemas tipo examen
Problemas tipo examen La división en temas no es exhaustiva. Las referencias (H n- m) indican el problema m de la hoja n y las referencias (A- cd), con A en números romanos indican un examen del mes A
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 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 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 detallesLa Medida de Lebesgue. Problema de la Medida
Capítulo 19 La Medida de Lebesgue. Problema de la Medida Hemos demostrado en el capítulo anterior que la medida exterior de Lebesgue es una medida sobre la familia M de los conjuntos medibles. Por definición,
Más detallesCambio de Variables en la Integral Múltiple
Capítulo 24 Cambio de Variables en la Integral Múltiple n la demostración del teorema del cambio de variable utilizaremos con frecuencia que el carácter medible de los conjuntos es una propiedad que se
Más detallesEjercicios Propuestos
Capítulo 6 Ejercicios Propuestos 1. Determinar todas las topologías de un conjunto de tres elementos 2. Sea X un conjunto y p X T = {A P(X) : p A} {X} (X, T) es un espacio topológico? 3. Sea G un grupo
Más detallesTema 5: Funciones medibles. Variables aleatorias. Función de distribución.
Tema 5: Funciones medibles. Variables aleatorias. Función de distribución. El concepto de variable aleatoria formaliza las magnitudes numéricas asociadas a los resultados de una experimento aleatorio.
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 detallesMaestría en Matemáticas
Reactivos Propuestos para Examen de Admisión (ASN) Ingreso en Agosto de 203. Sea R el conjunto de los números reales y S el conjunto de todas las funciones valuadas en los reales con dominio en R. Muestre
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 detallesTeoría de la Probabilidad Tema 2: Teorema de Extensión
Teoría de la Probabilidad Tema 2: Teorema de Extensión Alberto Rodríguez Casal 25 de septiembre de 2015 Definición Una clase (no vacía) A de subconjuntos de Ω se dice que es un álgebra si A es cerrada
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 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 detallesEl Teorema de la Convergencia Dominada
Capítulo 22 l Teorema de la Convergencia Dominada Los dos teoremas de convergencia básicos en la integración Lebesgue son el teorema de la convergencia monótona (Lema 19.10), que vimos el capítulo y el
Más detallesExtensión de medidas
Extensión de medidas Problemas para examen Semianillos de conjuntos 1. Escriba la definición de semianillo de conjuntos. 2. Convenio: el conjunto vacío pertenece a cualquier semianillo. En los siguientes
Más detallesExtensión de medidas
Extensión de medidas Problemas para examen Semianillos de conjuntos 1. Escriba la definición de semianillo de conjuntos. 2. Convenio: el conjunto vacío pertenece a cualquier semianillo. En los siguientes
Más detallesTeoremas de Tonelli y Fubini
Teoremas de Tonelli y Fubini Objetivos. Demostrar teoremas de Tonelli y Fubini, conocer contraejemplos que muestran la importancia de algunas condiciones de estos teoremas. Requisitos. Definición del producto
Más detallessup si A no es acotado.
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
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 detallesx i yi (2M 1) i (3) i
CURSO DE TEORÍA ERGÓDICA 2008 - V 1. El shift de Bernoulli: punto de vista topológico Sea Σ 2 = {0, 1} Z el espacio del shift de dos símbolos. Llamaremos Σ M = {0, 1..., M 1} Z el espacio del shift de
Más detalles1 Longitud y Medida Longitud Medida Exterior Conjuntos Medibles Ejercicios... 20
Contenido Introducción 1 1 Longitud y Medida 3 1.1 Longitud............................. 3 1.2 Medida Exterior........................ 12 1.3 Conjuntos Medibles...................... 13 Ejercicios...............................
Más detallesTema 7: Funciones de una variable. Límites y continuidad.
Tema 7: Funciones de una variable. Límites y continuidad. José M. Salazar Noviembre de 2016 Tema 7: Funciones de una variable. Límites y continuidad. Lección 8. Funciones de una variable. Límites y continuidad.
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 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 detallesTEOREMA DE PLANCHEREL PARA GRUPOS ABELIANOS LOCALMENTE COMPACTOS
2 TEOREMA DE PLANCHEREL PARA GRUPOS ABELIANOS LOCALMENTE COMPACTOS LAURA MELISSA GONZÁLEZ RAMOS Director: Samuel Barreto Melo Universidad Distrital Francisco José de Caldas Bogotá D.C. 2017 3 A HESSAN.
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 detallesCambio de variable en la integral de Riemann
J Cambio de variable en la integral de Riemann J.1. Preliminares En esta sección se recogen algunos resultados preliminares que intervienen en la demostración del teorema del cambio de variable, que tienen
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 detallesCálculo diferencial e integral 3
Cálculo diferencial e integral 3 Guía 1 1. Sean a 1,..., a n R n. Demuestra que el conjunto { W = x = (x 1,..., x n ) R n es un subespacio vectorial de R n. } n a i x i = 0 i=1 2. Sean W y V subespacios
Más detallesAnálisis I Apuntes de clase. Preparado por JC Trujillo O.
Análisis I Apuntes de clase Preparado por JC Trujillo O. Febrero 2014 - Junio 2014 Índice general 1 Estructuras fundamentales del Análisis 5 1 Topología........................................ 5 1.1 Ejemplos....................................
Más detallesGuía Semana 1 1. RESUMEN. Universidad de Chile. Ingeniería Matemática
1. RESUMEN FACULTAD DE CIENCIAS FÍSICAS Y MATEMÁTICAS UNIVERSIDAD DE CHILE Cálculo en Varias Variables 08-1 Guía Semana 1 Geometría. Dados x, y Ê N, su producto interno canónico (o producto punto) es x
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 detallesNormas Equivalentes. Espacios Normados de Dimensión Finita
Capítulo 2 Normas Equivalentes. Espacios Normados de Dimensión Finita Dos son los resultados más importantes que, sobre la equivalencia de normas, veremos en este capítulo. El primero de ellos establece
Más detalles3. INTEGRACION. La (µ)-integral de una función simple no negativa es, por definición:
3. INTEGRACION La (µ)-integral de una función simple no negativa es, por definición: En este caso se sigue la convención de que si µ(y E i ) = pero como a i = 0 entonces a i µ(y E i ) = 0. Evidentemente,
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 detallesÍndice. Funciones de varias variables reales I Espacios normados. Revisando con perspectiva. Se puede hacer de forma más general?
Índice Funciones de varias variables reales I Espacios normados José Manuel Mira Departamento de Matemáticas Universidad de Murcia Grado en Matemáticas 2013-2014 (18-09-2013) 1 Espacios normados. El espacio
Más detallesIntegral de Lebesgue.
Las diversas formalizaciones de la integral de Riemann y el problema de caracterizar las funciones integrables sugerían la idea de medir el conjunto de puntos de discontinuidad de una función. Los primeros
Más detallesLa Propiedad de Radon-Nikodým y el Teorema de Representación de Riesz
Capítulo 3 La Propiedad de Radon-Nikodým y el Teorema de Representación de Riesz n este capítulo definiremos la Propiedad de Radon-Nikodým en un espacio de Banach X y estableceremos su equivalencia con
Más detallesCambio de Variables en la Integral Múltiple
Capítulo 27 Cambio de Variables en la Integral Múltiple n la demostración del teorema del cambio de variable utilizaremos con frecuencia que el carácter medible de los conjuntos es una propiedad que se
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 detallesPROBLEMAS DE ESPACIOS DE BANACH
UNIVERSIDAD CENTRAL DE VENEZUELA FACULTAD DE CIENCIAS ESCUELA DE MATEMÁTICA LABORATORIO DE FORMAS EN GRUPOS PROBLEMAS DE ESPACIOS DE BANACH Ramón Bruzual Marisela Domínguez Caracas, Venezuela Julio 2005.
Más detallesTopología del plano complejo
Tema 2 Topología del plano complejo Repasamos algunos conceptos y resultados acerca de las propiedades métricas y topológicas del plano complejo. Todos ellos son bien conocidos, pues como espacio métrico,
Más detallesUNIDAD DIDÁCTICA 4 Cálculo integral CAPÍTULO 12. LA INTEGRAL MÚLTIPLE DE RIEMANN CAPÍTULO 13. INTEGRACIÓN SOBRE CONJUNTOS ACOTADOS.
Índice Pág. UNIDAD DIDÁCTICA 4 Cálculo integral CAPÍTULO 12. LA INTEGRAL MÚLTIPLE DE RIEMANN... 13 1. Introducción. La integral doble... 17 2. Integral múltiple... 21 3. Medida cero y contenido cero...
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 detallesNotas del Primer Capítulo del Libro Análisis Funcional de W. Rudin
1 Notas del Primer Capítulo del Libro Análisis Funcional de W. Rudin Alejandra García García Estas notas son el trabajo desarrollado dentro del seminario de Análisis que se ha impartido durante los primeros
Más detallesEjercicios Variable Real
UNIVERSIDAD AUTÓNOMA DE MADRID FACULTAD DE MATEMÁTICAS Ejercicios Variable Real Antonio Córdoba (Manuel Mellado Cuerno) 1º Cuatrimestre del curso 2016-2017 manuel.mellado@estudiante.uam.es 2 Capítulo 1
Más detalles