Ejercicios resueltos
Ejercicios resueltos
Ejercicios resueltos
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
y el resultado se sigue pues la función e−x/2 es Lebesgue integrable en [1, ∞), pues<br />
es no negativa y tiene integral impropia de Riemann ya que<br />
(e −x/2 ) ′ = − e −x/2 ∞<br />
/2 ⇒ e<br />
1<br />
−x/2 = 2 e −1/2 .<br />
Ejercicio 88.- Sea k ∈ R y r > 0. Demostrar que<br />
r<br />
0<br />
x k dm < ∞ ⇔ −1 < k<br />
∞<br />
x k dm < ∞ ⇔ k < −1<br />
r<br />
Ind. Es una simple consecuencia de que para 0 < a < b<br />
b<br />
x<br />
a<br />
k <br />
=<br />
k+1 k+1<br />
b −a<br />
, k+1<br />
log b/a,<br />
k + 1 = 0<br />
k + 1 = 0<br />
, lím<br />
a→0 + ak+1 ⎧<br />
⎨<br />
=<br />
⎩<br />
∞,<br />
1,<br />
0,<br />
k + 1 < 0<br />
k + 1 = 0<br />
0 < k + 1<br />
y de que límb→∞ log b = ∞ y lím a→0 + log a = −∞.<br />
Ejercicio 89.- Sean Ω1 y Ω2 espacios topológicos. Demostrar que:<br />
(a) B(Ω1) ⊗ B(Ω2) ⊂ B(Ω1 × Ω2).<br />
(b) Si sus topologías tienen bases numerables, B(Ω1) ⊗ B(Ω2) = B(Ω1 × Ω2).<br />
Solución.- (a) Como las proyecciones πi : Ω1 × Ω2 → Ωi son continuas son<br />
B(Ω1 × Ω2)–medibles, por tanto dados A ∈ B(Ω1) y B ∈ B(Ω2),<br />
A × B = π −1<br />
1 (A) ∩ π−1<br />
2 (B) ∈ B(Ω1 × Ω2),<br />
y se sigue la inclusión de (a).<br />
(b) Si Ci es una base numerable de la topología Ti de Ωi,<br />
C = {U × V : U ∈ C1, V ∈ C2} ⊂ B(Ω1) ⊗ B(Ω2),<br />
es una base numerable de la topología producto T , por tanto<br />
y se sigue el resultado.<br />
T ⊂ σ(C) ⊂ B(Ω1) ⊗ B(Ω2),<br />
Ejercicio 92.- Sea f : R 2 → R, tal que fx es Borel medible para cada x y f y<br />
continua para cada y. Demostrar que f es Borel medible.<br />
Ind.- Basta observar que la sucesión de funciones medibles<br />
fn(x, y) =<br />
∞<br />
i=−∞<br />
f(i/n, y)I ( i−1<br />
n , i n ](x),<br />
verifica fn → f, pues fn(x, y) = f(xn, y), para un xn = i/n tal que |xn − x| ≤ 1/n.<br />
Ejercicio 93.- Demostrar que para cada r > 0 y A ∈ B(R n ) es medible la<br />
función de R n , f(x) = m[A ∩ B[x, r]].<br />
33