UNIVERSIDAD NACIONAL PEDRO

RUIZ GALLO FACULTAD DE

CIENCIAS FISICAS Y
MATEMATICAS

TEMA:
MEDIDAS DE LEBESGUE-STIELTJES.

CURSO:
TEORIA DE MEDIDA E INTEGRACION.

NOMBRES:
JUAN SANDOVAL SANTISTEBAN.

CODIGO: 115098D.

PROFESOR:
RAUL REUPO VALLEJOS.

Lambayeque 2018
MEDIDAS DE LEBESGUE-STIELTJES
Sea X  y la siguiente familia de conjunto S ( )  {(a, b] : a   {}, b   {}}.

Si b   , entonces se tiene (a, b]  (a, ) y donde S ( ) es una semi-algebra y que

 ( S ( ))  ( ).

Sea F :  una función creciente y continua por la derecha, es decir

F ( x)  lim F ( y ), x  .
x x

Denotemos F ()  lim F ( x) , F ()  lim F ( x).

x  x 

Como F es creciente estos límites existen en   {, }. Definimos la siguiente

función.

F : S ( )   , con F ((a, b])  F (b)  F (a).

Se conoce como medida de Lebesgue-stieltjes asociada a F .

LEMA 1.4.2 :Sea [ ,  ]  un intervalo compacto y {( an , bn )}np 0 una familia de intervalos

abiertos que recubren [ ,  ] , entonces :
p
F (  )  F ( )   ( F (bn )  F (an )).
n 0

Demostración:

La demostración de este lema será por inducción sobre p .

Si p  0, entonces [ ,  ]  (a0 , b0 )

Debido a la monotonía de F o que F es creciente se tiene :

F ( )  F ( )  F (b0 )  F (a0 )

Si p  1 , entonces se tiene lo siguiente:

F ( )  F ( )  ( F (b0 )  F (a0 ))  ( F (b1 )  F (a1 )). escribiendo como sumatoria se tiene:

p 1
F (  )  F ( )  2 ( F (bn )  F ( an )).
n 0

.
 .

Para p  1 se cumple entonces :

p 1
F (  )  F ( )   ( F (bn )  F (an )). ……………………….. hipótesis inductiva.
n 0

Ahora probaremos para p . Supondremos que   (a p , bp ).

 Si   a p .

l l l l

 ap  bp

p 1
Sabemos que [ ,  ]  (an , bn ) y
n 0
p 1
[ , a p ]  [ ,  ]  (an , bn ) entonces
n 0
p 1
[ , a p ]  (an , bn )
n 0

Luego por hipótesis de inducción tenemos:

p 1
F (  )  F (a p )   ( F (bn )  F (an )). …………………………………. (1)
n 0

Por otro lado, sabemos que:

F (  )  F ( )  F (bp )  F (a p ). ………………………………………… (2)

Sumando (1) y (2) tenemos:

p
F (  )  F ( )   ( F (bn )  F (an )).
n 0

 Si   a p entonces :

l l l l

ap   bp
 p
F (  )  F ( )  F (bp )  F (a p )   ( F (bn )  F (an )).
n 0

Por tanto, queda demostrado que:

p
F (  )  F ( )   ( F (bn )  F (an )).
n 0