Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 2K vistas

    Problemas Resueltos Teoria de La Medida

    Cargado por

    Orlando Escobar
    Este documento presenta dos ejercicios sobre teoría de la medida. En el primer ejercicio, se demuestra que el límite inferior y superior de una sucesión de funciones medibles son funciones medibles, y que el conjunto donde la sucesión converge es medible. En el segundo ejercicio, se calcula la medida del conjunto donde una función periódica es no negativa en el intervalo [0,1].

    Copyright:

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

    Problemas Resueltos Teoria de La Medida

    Cargado por

    Orlando Escobar
    2K vistas6 páginas
    Este documento presenta dos ejercicios sobre teoría de la medida. En el primer ejercicio, se demuestra que el límite inferior y superior de una sucesión de funciones medibles son funciones medibles, y que el conjunto donde la sucesión converge es medible. En el segundo ejercicio, se calcula la medida del conjunto donde una función periódica es no negativa en el intervalo [0,1].

    Descripción original:

    Serie de problemas resueltos sobre Teoria de la Medida

    Título original

    Problemas Resueltos Teoria de la Medida

    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?

    Este documento presenta dos ejercicios sobre teoría de la medida. En el primer ejercicio, se demuestra que el límite inferior y superior de una sucesión de funciones medibles son funciones medibles, y que el conjunto donde la sucesión converge es medible. En el segundo ejercicio, se calcula la medida del conjunto donde una función periódica es no negativa en el intervalo [0,1].

    Copyright:

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

    Problemas Resueltos Teoria de La Medida

    Cargado por

    Orlando Escobar
    Este documento presenta dos ejercicios sobre teoría de la medida. En el primer ejercicio, se demuestra que el límite inferior y superior de una sucesión de funciones medibles son funciones medibles, y que el conjunto donde la sucesión converge es medible. En el segundo ejercicio, se calcula la medida del conjunto donde una función periódica es no negativa en el intervalo [0,1].

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    Está en la página 1de 6

    Ejercicios Parcial

    Teora de la Medida
    Mario Orlando Escobar Zelaya
    abril 2016

    Ejercicio 1.
    Sea {fn (x)} una sucesion de funciones medibles definidas de un conjunto medible E.
    Demostrar con todo detalle que
    (a) lim inf fn (x) y lim sup fn (x) son funciones medibles
    (b) {x E : fn (x) converge} es medible
    Soluci
    on
    lim inf fn (x)
    

    
    lim inf fn (x) = sup inf fk (x) = sup In (x),
    nN

    kn

    donde In (x) = inf{fn (x), fn+1 (x), }

    nN

    Demostremos que In (x) es medible para todo n N


    In1 (, ) = {x E : < In (x)}
    x In1 (, ) < In (x)
    < fk (x), k n
    (ya que In fk (x) k n)
    x fk1 (, ), k n

    \
    fk1 (, )
    x
    k=n

    Entonces

    In1 (, )

    fk1 (, ) y por tanto In (x) es medible ya que In1 (, ) es

    k=n

    interseccion numerable de conjuntos medibles.


    Ahora sea g(x) = lim inf fn (x)
    tenemos entonces que g(x) = sup{I1 , I2 , }, esto es, g(x) es la menor de las cotas
    superiores para {In (x)}
    x g 1 (, ) < g(x)
    no es cota superior para {In }
    < Ik (x)
    para alg
    un k N
    x Ik1 (, )
    para alg
    un k N

    [
    x
    In1 (, )
    n=1

    Tenemos por tanto que

    g (, ) =

    In1 (, )

    n=1

    fk1 (, )

    n=1 k=n

    Por tanto g(x) = lim inf fn (x) es medible ya que g 1 (, ) es union numerable de
    conjuntos medibles.
    lim sup fn (x)
    
    
    lim sup fn (x) = inf sup fk (x) = inf Sn (x),
    nN

    nN

    kn

    donde Sn (x) = sup{fn (x), fn+1 (x), }

    Demostremos que Sn (x) es medible para todo n N


    x Sn1 (, ) < Sn (x)
    no es cota superior para {fn (x), fn+1 (x), }
    < fk (x)
    para alg
    un k n
    1
    x fk (, )
    para alg
    un k n

    [
    x
    fk1 (, )
    k=n

    Entonces

    Sn1 (, )

    fk1 (, ) y por tanto Sn (x) es medible ya que Sn1 (, )

    k=n

    es union numerable de conjuntos medibles.


    Ahora sea f (x) = lim sup fn (x)
    tenemos entonces que f (x) = inf{S1 , S2 , }, esto es, f (x) es la mayor de las cotas
    inferiores para {Sn (x)}
    x f 1 (, ) < f (x)
    < Sk (x), k N
    (ya que f (x) Sk (x) k N)
    x Sk1 (, ), k N

    \
    x
    Sn1 (, )
    n=1

    Tenemos por tanto que


    f

    (, ) =

    Sn1 (, )

    n=1

    fk1 (, )

    n=1 k=n

    Por tanto f (x) = lim sup fn (x) es medible ya que f 1 (, ) es interseccion numerable
    de conjuntos medibles.
    3

    (b) Demostremos que A = {x E : fn (x) converge} es medible


    En el literal anterior se probo que lim inf fn (x) y lim sup fn (x) son funciones medibles, se
    tiene entonces que g(x) = lim inf fn (x) lim sup fn (x) es una funcion medible.
    Entonces el conjunto A puede redefinirse de la siguiente manera A = {x E : g(x) = 0}
    \
    A = {x E : g(x) = 0} = {x E : g(x) 0} {x E : g(x) 0}
    \
    = g 1 (, 0]
    g 1 [0, )
    Ya que g es una funcion medible se tiene que g 1 (, 0] y g 1 [0, ) son conjuntos
    medibles.
    Por tanto A es medible porque es interseccion de dos conjuntos medibles.

    Ejercicio 2.
    Sea f : [0, 1] R una funcion definida por
    
    0
    f (x) =
    xsin(1/x)

    si x = 0
    si x > 0

    Encuentre la medida del conjunto {x R : f (x) 0}

    Encontremos los puntos de interseccion de la curva con el eje x


    Entonces xsin(1/x) = 0 x = 0 o sin(1/x) = 0
    1
    1
    Si sin(1/x) = 0 entonces = k, esto es, x =
    k N
    x
     k
    
    1
    As los puntos de de interseccion son {0}
    :kN
    k
    
    
    1
    1
    ,
    k N
    Notemos que f (x) 0 en los intervalos
    (2k + 1) 2k
    De aqu que
    A = {x R : f (x) 0} =

    
    [
    k=1

     
    
    1
    1
    1
    ,

    ,1
    (2k + 1) 2k

    Ademas cada uno de estos intervalos son dos a dos disjuntos. Entonces utilizando la
    propiedad aditiva se tiene
    
    
    X
    1
    1
    +

    m(A) =
    2k (2k + 1)
    k=1
    
    
     

    1
    1X
    1
    k
    =
    1
    +
    (1)

    k=2
    k
    
    
    1
    1
    =
    1
    + (1 log(2))

    1
    = 1 log(2)

    1
    1

    También podría gustarte