7

DERIVACINEINTEGRALDELEBESGUE
NDICE

BIBLIOGRAFA

1. Funcionesmontonasydevariacinacotada.

Sikorski:AdvancedCalculus.

2. LemadelrecubrimientodeVitali.
3. Derivacindefuncionesmontonas.
4. DerivacindelaintegraldeLebesgue.
5. Continuidad absoluta. Teorema Fundamental del
Clculo.
Vamosaintentarestudiarenqumedidasonvlidasypuedenextenderse,conlaintegraldeLebesgue,las
siguientesigualdadesfundamentalesqueestablecenlarelacinentrediferenciacineintegracin:
Derivacindeunaintegralindefinida:si esunafuncinintegrableenunintervalo
integralindefinidasuyaeslafuncindefinidapor:

con

,una
(1)

Esderivable,almenosencasitodopuntolafuncinF?Y,encasoafirmativo,esdichaderivadaes

TeoremaFundamentaldelClculo:indagarculeslaclasemsampliaposibledefuncionesparalasquese
cumplelaigualdad

FUNCIONESMONTONASYDEVARIACINACOTADA
El estudio del problema de la diferenciacin de la integral indefinida nos lleva, en primera instancia a las
funcionesmontonas.Si
esintegrableenelintervalo
,lafuncin definidamediante (1) es
montonacreciente.
Ysies,engeneral,
,tenemosque
yaspodemosexpresarlafuncin comodiferencia
dedosfuncionesmontonascrecientes: esunafuncindevariacinacotada.Concluimosasquetodaintegral
indefinidaesunafuncindevariacinacotadaqueesmontonasi tieneelmismosignoentodoelintervalode
integracin.
Recordemoslasdefinicionesbsicas.
DEFINICIN7.1(FUNCINMONTONA)
Sea unafuncinrealdefinidaenelintervalo

.Decimosque

a) fescrecienteenIsi
b) fesdecrecienteenIsi
c) fesmontonasiescrecienteodecrecienteenI.

JoslvarezFajardo

DERIVACINEINTEGRALDELEBESGUE
EJEMPLO7.2:(INTEGRALDEFUNCINNONEGATIVA)
Sea

unintervaloy

.Si

con

.Esmontonacrecienteycontinualafuncin

EJEMPLO7.3:(FUNCIONESASALTOS)
Sean
unintervaloy
esospuntos leasignamosunnmero

unacantidadfinitaonumerabledepuntos..Acadaunode
demaneraque
.Lasfuncionesdefinidasmediante

Ambassonfuncionesmontonascrecientesen detalmaneraque
elconjuntodediscontinuidadesdeambasen
encadapunto

hayunadiscontinuidaddesaltofinitoiguala

escontinuaencadapunto

porlaizquierday loesporladerecha.

Ejemplossimplessonfuncionesescalonadas.
Un caso ms complejo puede ser el obtenido al considerar como
racionalesdeunintervaloy
:

el conjunto de los

Tenemosasfuncionesquetienediscontinuidaddesaltoenlosracionalesyescontinuaenlosirracionales.
Recordemoslaspropiedadesbsicasdelasfuncionesmontonas:
PROPOSICIN7.4
Sea unafuncinmontonadefinidaenelintervalo

.Severifica:

a) Esmedibleyesacotadaencadaintervaloscompacto

portanto,integrable.

b) Slopuedetenerdiscontinuidadesdesaltofinito.
c) Elconjuntodepuntosdediscontinuidadesalosumonumerable.
d) Puederepresentarsecomolasumadeunamontonacontinuaconunafuncindesaltos.
Pasemosarecordarlasdefinicionesbsicasparalasfuncionesdevariacinacotada.Nosrestringiremosalo
estrictamentenecesarioparalascuestionesquenosocupan.
DEFINICIN7.5(FUNCINDEVARIACINACOTADA)
Sea unafuncinrealdefinidaenelintervalo

.Sellamafuncindevariacintotal

aladefinidapor:
(2)

Decimosque esdevariacinacotadaen si
(3)
yaesenmeroseledenominavariacintotalde en .
Designaremospor

JoslvarezFajardo

alconjuntodelasfuncionesdevariacinacotadaen .

DERIVACINEINTEGRALDELEBESGUE
EJEMPLO7.6:

Esclaroquetodafuncindevariacinacotadaesacotada.Peroescontinuayacotadalafuncindefinidapor

Ynoesdevariacinacotada.Bastaobservarquesi

es

EJEMPLO7.7:

Si esunafuncinmontonaacotada,entoncesesdevariacinacotada.Estosededuceinmediatamentede

Deahqueunafuncinmontonaenunintervalocompactoesdevariacinacotadaenlsiendo

Veamosalgunaspropiedadeselementales:
PROPOSICIN7.8(PROPIEDADESBSICAS)
Sea unafuncindevariacinacotadaenelintervalo

.Entonces:

a)
b) Lasfunciones

sonmontonascrecientesydevariacinacotadaen .

c) Lafuncindevariacinacotada enunpuntoescontinua,continuaporlaizquierdaocontinuaporla
derechasi,yslosi,loesendichopuntolafuncin ,respectivamente.
Deducimosdeahunainteresanteysencillacaracterizacin:
TEOREMA7.9(CARACTERIZACINDELAVARIACINACOTADA)
Unafuncinrealesdevariacinacotadaenunintervalo
si,yslosi,puedeexpresarsecomodiferencia
dedosfuncionesmontonascrecientesyacotadasendichointervalo.

LEMADELRECUBRIMIENTODEVITALI
El siguiente resultado fue establecido por Giuseppe Vitali en 1908, estableciendo que para cierto tipo de
recubrimientos de un conjunto
se puede extraer un subrecubrimiento numerable, para salvo un
conjuntodemedidacero,formadoporconjuntosdisjuntosdosados.
Aquestudiaremoselcaso

basndonosenunademostracindeBanach.
DEFINICIN7.10(RECUBRIMIENTODEVITALI)

Sea

y unacoleccindeintervaloscompactosdelongitudnonula.

Sediceque esunrecubrimientodeVitalide si
(4)
EJEMPLO7.11:
Lacoleccin
JoslvarezFajardo

esunrecubrimientodeVitalide .

DERIVACINEINTEGRALDELEBESGUE
EJEMPLO7.12:
Consideremosunintervalo

ysea

.Dadoelconjunto

.Dadoelconjunto

unrecubrimientodeVitalipara eslacoleccin
EJEMPLO7.13:
Consideremosunintervalo

ysea

unrecubrimientodeVitalipara eslacoleccin
TEOREMA7.14(LEMADEVITALI)
Sea

con

y unrecubrimientodeVitalide .Existeentoncesunacoleccinnumerable
formadapordisjuntosdosadostalque
(5)

Adems,paracada

existeunacoleccinfinita

talque
(6)

DERIVACINDEFUNCIONESMONTONAS
DEFINICIN7.15(NMEROSDEDINI)
Sea unafuncinrealdefinidaenunintervalo

donde

Para

con

definimoslasderivadassuperioreinfereriorporlaizquierdamediante:

Para

con

definimoslasderivadassuperioreinferiorporladerechamediante:

NOTAS7.16:

Ntesequedichascantidadessiempreexistenyquepuedenserunnmerorealo

Ellmiteinferiorsiempreserinferioralsuperiordelmismolado.Siambassonnumricasycoincidensedice
quefesderivablelateralmente.Silasderivadaslateralescoincidenentoncesexiste
.

EJEMPLO7.17:(RAZCBICA)
Siunafuncinesdiscontinuaentoncesalmenosunodelosnmerosderivadosserinfinito.Peroellotambin
puedeocurrirsilafuncinescontinua,bastaconsiderarlafuncinrazcbicaenelorigen.

JoslvarezFajardo

DERIVACINEINTEGRALDELEBESGUE
EJEMPLO7.18:(FUNCINCONNMEROSDERIVADOSDIFERENTES)
Consideremoslafuncin

definidapor

Lasderivadaslateralessuperioreseinferiorespara

son:

TEOREMA7.19(DERIVACINDEFUNCIONESMONTONAS)
Sea

montonacreciente.

Entonces esdiferenciableencasitodopunto,suderivada esintegrabley

(7)
COROLARIO7.20(DERIVABILIDADDEFUNCIONESDEVARIACINACOTADA)
Si unafuncindevariacinacotadaenunintervalo
,entonces esderivablee.c.t. y

EJEMPLO7.21:
Esfcilobservarqueladesigualdadpuedeserestricta.Si

Tenemos

Observemosqueesunafuncindiscontinuadesaltoyladesigualdadsloesestrictaparalosintervalosque
incluyanensuinteriorelpuntodondehaydiscontinuidad.Ahorabien,podemosconstruirunafuncinmontona
crecientecontinuadetalmaneraqueentodosubintervalo
ladesigualdaden(7)seaestricta:
EJEMPLO7.22:(LAESCALERADECANTOR)

,los

compactosydisjuntosdelongitud

,los

abiertosydisjuntos.

Silosintervalosestnnumeradosdeizquierdaaderecha:

Ahoradefinimos

JoslvarezFajardo

DERIVACINEINTEGRALDELEBESGUE
Secumple:
y
eslinealatrozos,montonacrecienteycontinua
esconstantesobrecadaintervalode

,concretamente:

Observemosque

ydeducimosdeah
Si

yentonces

Si

yentonces

dedonde

Concluimosqueparacualquier

Luego

es

convergeuniformementeaunafuncin ,llamadafuncindeCantorquetieneestaspropiedades:

esmontonacrecienteycontinuacon

e.c.t.puesesconstanteencadaintervalodelcomplementodelconjuntodeCantor,quetienemedidacero.
noesconstanteenningnintervalo

con

yporello:

NOTA7.23:
Hemosconstruidounafuncincuyaderivadaencasitodopuntoexisteyesceroenunintervalo,peroquenoes
constanteenl.

JoslvarezFajardo

DERIVACINEINTEGRALDELEBESGUE

DERIVACINDELAINTEGRALDELEBESGUE
Esderivablelaintegralindefinida deunafuncinintegrable ?Encasoafirmativoes

e.c.t.?

LEMA10.24
Sea unafuncinintegrableenunintervalo

con

.Setienequees

e.c.t. .sisetiene

TEOREMA10.25(DERIVADADEUNAINTEGRALINDEFNIDADELEBESGUE)
Sea unafuncinintegrableenunintervalo

con

.Lafuncindefinidamediante

escontinuaydevariacinacotada.Ademsesderivablee.c.t.Icon

CONTINUIDADABSOLUTA.TEOREMAFUNDAMENTALDELCLCULO
DEFINICIN7.26(FUNCINABSOLUTAMENTECONTINUA)
Sea unafuncindefinidaenunintervalo

.Decimosque esabsolutamentecontinuaen si
(8)

si

sonintervalosdisjuntoscontenidosen .
TEOREMA7.27(CONTINUIDADABSOLUTAYVARIACINACOTADA)

Todafuncinabsolutamentecontinuaenunintervalocompactoesdevariacinacotadaenl.
COROLARIO7.28(DIFERENCIABILIDADDECONTINUIDASABSOLUTAMENTE)
Todafuncinabsolutamentecontinuaesdiferenciableencasitodopunto.
NOTAS7.29:

Esclaroquetodafuncin absolutamentecontinuaenunintervalo
Peroelrecproconoescierto:

si

esuniformementecontinuaenl.
noesabsolutamentecontinuaen

(probamosquenoesdevariacinacotada),peroesuniformementecontinua(escontinuaenuncompacto).

Cuidado:enunintervalonoacotadoes

absolutamentecontinuaperonoesdevariacinacotada.

LEMA7.30(CONTINUIDADABSOLUTADELAINTEGRAL)
Si

entonces
(9)
TEOREMA7.31(CONTINUIDADABSOLUTADELAINTEGRAL)

Sies unafuncinintegrableenunintervalo

JoslvarezFajardo

con

,esdevariacinacotadalafuncin

DERIVACINEINTEGRALDELEBESGUE
LEMA7.32
Sies unafuncinabsolutamentecontinuaenelintervalo con

e.c.t. entonces esconstanteen .

TEOREMA7.33
Sea unafuncindevariacinacotadaenunintervalo

con

.Entonceses:
(10)

donde esdevariacinacotadacon

e.c.t. .

Adems, esunaconstantesiyslosi esabsolutamentecontinua.

TEOREMA7.34(TEOREMAFUNDAMENTALDELCLCULO)
Equivalen:
a) esabsolutamentecontinuaen
b) esdiferenciableencasitodo

.
con

yseverifica
(11)

NOTAS7.35:

Noessuficientequesea diferenciableentodopunto.Para

si

Evidentemente,ni esintegrableni esdevariacinacotadaen

es:

LaEscaleradeCantorescontinuaentodopunto,diferenciableencasitodopuntoconderivadaintegrable,
peronosecumple(11):nopuesesabsolutamentecontinua.

Veamosunacondicinsuficientequevaenotradireccin:exigenciadederivabilidadentodopunto.
LEMA7.36
Sea

unconjuntodemedidacero.Dado

existeunafuncin continuaycrecienteen talque

(12)
LEMA7.37

Sies

talque

entonces escreciente.
LEMA7.38

Sies

continuatalque

entonces escreciente.
TEOREMA7.39(TEOREMAFUNDAMENTALDELCLCULO)
Si esderivableentodoslospuntosdelintervalocompacto

entonces:
(13)

JoslvarezFajardo