I ntroducción :

1. Concepto de Medida

En M es conocida la función conjunto

1: Is [IRa.b)->→IR e [a,s] = b- a

Por Ejemplo
- > invariante por tuesteció
✗ti, te]) =: : : i b (mide lo mismo)

Se busca generalizan el concepto de medida a otros conjuntos que no son necesariamente intervalos.

Por ejemplo

determinar la medida del conjunto A

Esta nueva medida

ni > IR
EI:&

A > MCA) Lo Ó M (A) =L

debe verificar las siguientes Propiedades?

1. Sean Es IR y ✗ e 1k
I nvar iante por traslación
M (Etx) - m /E)

2. Sean En.f r , . ... , En todos subconjuntos de 1k , disgustos 2-2

n l , E) = &, n/E l

3. Sea I s IR un intervalo

n (I ) = 1 (I )

4. m /d ) = 0 y At i m/A) 2 0

2. Def inir la integral de Lebesgue

Generalizar el concepto de funciones Riemann -I ntegrable .

¿ Como se construye la integral de Riemann?

Sea f : [ a . b) → IR una función acotada . ( Por ejemplo f cortin a en [ e. b] )

Ser Pura part i ción del intervalo [ a . b) , esto es

P = { ✗ o, ✗ i, X2 , . . - ," }

donde
a) Xo = a y ✗n = b

b) ✗ o <× , <X a L .. . < ✗n

se def inen :

• S ( f , p) = Él Mi Ax i

• s (FP ) = Es mi Ax i

to? n i = sup { f ix : XE [ ✗ i i. Xi] }

• mi = inf { f ax> : xe [ ✗ i- s. Xi] }

• ✗ ¡= l ([ ✗ i. , , Xi] )

Considerando lo anterior se def ine :

El inf ino y el supremo es tenet.

Sta, b) flx> de = inf s lf .pl sobre las par t ici ones p del

intervalo [ ab ]

S [as] fastx = sups /f . P)

En general

L i am, f in de e f-
[a, b] fa st x

Atenas , f se dice función Riemann - I ntegrable en [ a , b] Si

[ [ ai s f ast x = F ab] fax> Lx

Por ejemplo
t eta función continua a I a,b] es Riemann - I ntegrable

T ambien todas aquellas f unciones que poseen un número fini to de puntos de di scontinuidad de salt o f inito . ( existen Limites L pero no coincida )

<

f. fin + fig Fox)

¿ fas ↳ = Sarasa + Sf w a

El objet ivo es ampliar el conjunto de funci ones R iemann - I ntegrable , como por ejemplo deseamos considerar funci ones como

f: [ 0,1] → IR
O si Xel a
✗ → f ax) =
Función de D ir ichlet
1 si XE I

f es acotada , per o no es cort ina a todo punto de su dominio.

Además , no es Riemann- I ntegrable , pues

5 [0,1] F x) Lx - 1 t Sean, fa stx = o

b s (f . P) : ÉI Y # =
S (f. D) = És MÍ A I
Ax

= §, s. - 7 °

Así , venos que

Funciones Medibles

f unciones continua s

Se const ruye una nueva integral , que llamaremos int egr al te Lebesgue y considera funciones continuas y otras , por ej emplo, La función de Dir ichlet .

Sf dm Con n medite de Lebesgue

3. Los espacios Lp con 14 ps LA

Se considera un espacio de metida

Creole ¿es, &, ¡ : L f - ar senal

(× , A . µ)

medita
conjunto- I I I "

En par t icular , en IR se puede def inir :

Álgebra de conjuntos medi bles
( IR , A . µ )

medit e te Lebesgue

Así , se def ine el espacio

Lp = { f ef :S , If i' tu L A

Se puede mostrar que el espacio Lp es un espacio vector ial neumado si

Il f lip =
(& IFIP fu )"

Tambien, (L p , 11. 11 p) es un espacio Be ach y que La es un espaci o Hil bert .