Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 3 vistas

    Guía 7 - Espacios Producto

    Cargado por

    CRISTÓBAL ARRIAGADA

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd

    Guía 7 - Espacios Producto

    Cargado por

    CRISTÓBAL ARRIAGADA
    3 vistas5 páginas

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    3 vistas5 páginas

    Guía 7 - Espacios Producto

    Cargado por

    CRISTÓBAL ARRIAGADA

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    de 5

    Teorı́a de Integración

    Guı́a 7 - Espacios producto

    Ejercicio 1. Para i = 1, 2, sean (Xi , Mi ) un espacio medible y Ci una clase de subconjuntos


    de Xi tal que Xi ∈ Ci y σ(Ci ) = Mi .
    (a) Probar que
    M1 × M2 = σ(C1 × C2 : C1 ∈ C1 , C2 ∈ C2 ).

    (b) Deducir que

    B(Rn ) × B(Rm ) = σ(I : I intervalo en Rn+m ) = B(Rn+m ).

    Ejercicio 2. Probar que el producto de medidas es una operación asociativa: si µ1 , µ2 , µ3


    son medidas σ-finitas entonces

    (µ1 × µ2 ) × µ3 = µ1 × (µ2 × µ3 ).

    Mostrar con un ejemplo que el producto de medidas no es una operación conmutativa.

    Ejercicio 3.
    (a) Sean (X1 , M1 ) y (X1 , M1 ) dos espacios medibles. Probar que

    A × B ∈ M1 × M2 ⇐⇒ A ∈ M1 y B ∈ M2 .

    Sugerencia: una implicación es inmediata, para la otra usar el Principio de Cavalieri.

    (b) Deducir que B(Rn ) × B(Rm ) ⊆ L(Rn ) × L(Rm ) pero que la inclusión es estricta.

    (c) Deducir que L(Rn ) × L(Rm ) ⊆ L(Rn+m ) pero que la inclusión es estricta.
    Sugerencia: recuerde que L(Rn+m ) = B(Rn ) × B(Rm ) y, para el caso n = m = 1,
    considere el conjunto E = V × {0} donde V ⊆ [0, 1] es un conjunto de Vitali.

    Ejercicio 4. Sea (ai,j )i,j∈N ⊆ R una sucesión de números reales indexada en N × N.


    (a) Probar que si los términos ai,j son todos no negativos entonces
    ∞ 󰁛
    󰁛 ∞ ∞ 󰁛
    󰁛 ∞
    ai,j = ai,j .
    i=1 j=1 j=1 i=1

    󰁓 󰁓∞ 󰁓∞ 󰁓∞
    (b) Probar que si ∞ i=1 j=1 |ai,j | < ∞ o bien j=1 i=1 |ai,j | < ∞ (ambas condiciones
    son equivalentes por el ı́tem (a)) entonces
    ∞ 󰁛
    󰁛 ∞ ∞ 󰁛
    󰁛 ∞
    ai,j = ai,j .
    i=1 j=1 j=1 i=1

    Sugerencia: utilice los teoremas de Tonelli y Fubini, respectivamente.

    1
    Ejercicio 5. Sean (X1 , M1 , µ1 ) y (X2 , M2 , µ2 ) espacios de medida σ-finita.
    (a) Probar que si E ∈ M1 × M2 satisface que µ2 (Ex ) = 0 para µ1 -casi todo x ∈ X1
    entonces µ1 (E y ) = 0 para µ2 -casi todo y ∈ X2 , donde Ex y E y denotan las secciones
    dadas por
    Ex := {y ∈ X2 : (x, y) ∈ E} y E y := {x ∈ X1 : (x, y) ∈ E}.
    ¿Qué puede decir del valor de µ1 × µ2 (E)?
    (b) Deducir que si f : X1 × X2 → R es una función medible tal que para µ1 -casi todo x
    la función y 󰀁→ f (x, y) es finita en µ2 -casi todo punto entonces para µ2 -casi todo y
    la función x 󰀁→ f (x, y) es finita en µ1 -casi todo punto.

    Ejercicio 6. Sean (X1 , M1 ) y (X2 , M2 ) dos espacios medibles y f : X1 → R y g : X2 → R


    funciones medibles.
    (a) Probar que s : X1 × X2 → R dada por s(x, y) = f (x) + g(y) es (M1 × M2 )-medible.
    (b) Probar que p : X1 × X2 → R dada por h(x, y) := f (x)g(y) es (M1 × M2 )-medible.

    Ejercicio 7. Sea (X, M, µ) un espacio de medida σ-finita.


    (a) Probar que si f : X → R es (M, B(R))-medible entonces G(f ) ∈ M × B(R), donde
    G(f ) es el gráfico de f dado por la fórmula
    G(f ) := {(x, t) ∈ X × R : t = f (x)}.
    Mostrar además que µ×λR (G(f )) = 0, donde λR denota la medida de Lebesgue en R.
    (b) Probar que si f : X → R≥0 es una función no negativa entonces
    f es (M, B(R))-medible ⇐⇒ A(f ) := {(x, t) ∈ X ×R≥0 : 0 ≤ t ≤ f (x)} ∈ M×B(R),
    i.e. f es medible si y sólo si la región bajo su gráfico es medible.
    (c) Probar que si f : X → R≥0 es una función (M, B(R))-medible entonces
    󰁝
    µ × λR (A(f )) = f dµ,

    i.e. la integral de una función medible no negativa representa el área bajo su gráfico.

    Ejercicio 8. Sean A ⊆ Rn , B ⊆ Rm dos conjuntos y A×B ⊆ Rn+m su producto cartesiano.


    (a) Probar que si A y B son medibles entonces A × B es medible y |A × B| = |A||B|.
    (b) Probar que, incluso en el caso en que A y B no sean medibles, siempre se tiene que
    |A × B|e = |A|e |B|e .
    Concluir que, si |A × B|e > 0 entonces A × B es medible si y sólo si A y B lo son.1
    Sugerencia: ver que, si H ⊆ Rn+m es un boreliano tal que A×B ⊆ H y |H| = |A×B|e ,
    entonces A ⊆ {x ∈ Rn : |Hx | ≥ |B|e } y aplicar ahora el Teorema de Tonelli.
    1
    Notar que la implicación (=⇒) no es cierta si |A × B|e = 0, ver Ejercicio 3 para un contraejemplo.

    2
    Ejercicio 9. Sea T : Rn → Rn una transformación lineal y E ⊆ Rn un conjunto.

    (a) Probar que si det T = 0 entonces T (E) tiene medida nula.


    Sugerencia: si det T = 0 entonces T (Rn ) es un subespacio propio de Rn .

    (b) Probar que si det T ∕= 0 y además E es boreliano entonces T (E) también es boreliano
    y se verifica que
    |T (E)| = | det T ||E|.
    Sugerencia: recordar que si det T ∕= 0 entonces T es invertible con inversa continua.
    Además, al ser T invertible, su matriz asociada se puede descomponer como producto
    de matrices elementales. Mostrar que basta verlo en el caso de matrices elementales
    y verificar cada uno de estos casos mediante el Teorema de Tonelli.

    (c) Deducir del ı́tem anterior que si det T ∕= 0 entonces |E|e = 0 si y sólo si |T (E)|e = 0,
    incluso si E no es necesariamente boreliano.

    (d) Concluir que, si T es una transformación lineal cualquiera y E es medible, entonces


    T (E) es también medible y además se verifica |T (E)| = | det T ||E|.

    (e) Deducir que la medida de Lebesgue es invariante por rotaciones y simetrı́as.

    Ejercicio 10.

    (a) Probar que si E ⊆ Rn es medible entonces {(x, y) ∈ Rn × Rn : x − y ∈ E} es medible.


    Sugerencia: utilizar el argumento estándar de verlo primero para E es abierto, luego
    para E boreliano, después para E de medida nula y, por último, para todo E medible.

    (b) Probar que si f : Rn → R es medible entonces h(x, y) := f (x − y) es medible.


    Sugerencia: utilizar el argumento estándar de verlo primero para f = χE medible,
    luego para f simple, después para f no negativa y, por último, para toda f medible.

    (c) Probar que si f, g : Rn → R son integrables entonces:

    (i) Para casi todo x ∈ Rn la función ϕx (y) := f (x − y)g(y) es medible e integrable.


    󰁕
    (ii) Si definimos h(x) := ϕx (y) dy entonces h es medible, integrable y satisface
    󰁝 󰀕󰁝 󰀖 󰀕󰁝 󰀖
    |h(x)| dx ≤ |f (x)| dx |g(x)| dx .

    󰁕
    A la función h(x) := f (x − y)g(y) dy de arriba se la llama la convolución de f y g,
    y se la suele notar como h = f ∗ g.

    Ejercicio 11. Sean f, g, h : Rn → R funciones integrables. Probar que:

    (a) f ∗ g = g ∗ f .

    (b) (f ∗ g) ∗ h = f ∗ (g ∗ h).

    Es decir, que la convolución de funciones integrables es conmutativa y asociativa.

    3
    Ejercicio 12. Sea k : R2 → R la función definida por la fórmula k(x, y) = xy.

    (a) Probar k −1 (E) es medible para todo E ⊆ R medible.

    (b) Deducir que si f : R → R es medible entonces h : R2 → R dada por h(x, y) := f (xy)


    también es medible.

    Ejercicio 13. Sea (X, M, µ) un espacio de medida σ-finita y f : X → R≥0 una función
    medible y no negativa definida sobre éste. Se define la función de distribución de f como
    la función ω : R≥0 → [0, ∞] dada por

    ω(α) := µ({x ∈ X : f (x) > α}).

    Demostrar las siguientes afirmaciones:

    (a) ω es monótona decreciente y continua a derecha.

    (b) lı́mα→α− ω(α) ≥ µ({x ∈ X : f (x) ≥ α0 }) para todo α0 ≥ 0, y se tiene la igualdad si


    0
    µ es una medida finita.

    (c) Para todo α0 ≥ 0 vale la implicación

    ω continua en α0 =⇒ µ({x ∈ X : f (x) ≥ α0 }) = µ({x ∈ X : f (x) > α0 }),

    y vale el si y sólo si cuando µ es una medida finita.


    󰁝 󰁝 ∞
    (d) f dµ = ω(α) dα.
    X 0
    󰁝 󰁝 ∞
    (e) Para todo p > 0 vale f p dµ = pαp−1 ω(α) dα.
    X 0

    Ejercicio 14. Sea f : Rn → R integrable. Se define la transformada de Fourier de f como


    la función Tf : Rn → C dada por
    󰁝 󰁝 󰁝
    −2πi(ξ·x)
    Tf (ξ) := e f (x) dx := cos(2π(ξ · x))f (x) dx + i sin(2π(ξ · x))f (x) dx.
    Rn Rn Rn

    (a) Probar que la transformada se encuentra bien definida, i.e. la función e−2πi(ξ·x) f (x)
    tiene parte real e imaginaria medibles e integrables para cada ξ ∈ Rn fijo.

    (b) Demostrar las siguientes afirmaciones:

    (i) Tf es acotada y uniformemente continua.


    (ii) Lema de Riemann-Lebesgue. lı́m|ξ|→∞ Tf (ξ) = 0.
    n
    󰁜 n
    󰁜
    (iii) Si f (x) = fi (xi ) con cada fi : R → R integrable entonces Tf (ξ) = Tfi (ξi ).
    i=1 i=1
    (iv) Si g : Rn → R es integrable entonces Tf ∗ g = Tf Tg .

    4
    Ejercicio 15. Sean [a, b] ⊆ R y f : R → R≥0 integrable tal que f ≡ 0 sobre R − [a, b].
    Dado h > 0 se define g : R → R≥0 dada por la fórmula
    󰁝 x+h
    1
    g(x) = f (t)dt.
    2h x−h

    Probar que g es medible y satisface


    󰁝 b 󰁝 b
    g(x)dx ≤ f (x)dx.
    a a

    󰁝 ∞
    sin x π
    Ejercicio 16. Probar que dx = .
    0 x 2 󰁝 ∞
    1
    Sugerencia: observar que para todo x > 0 vale la identidad = e−tx dt.
    x 0

    También podría gustarte