Estructura del curso Análisis Matemático...
Transcript of Estructura del curso Análisis Matemático...
![Page 1: Estructura del curso Análisis Matemático IIesfm.egormaximenko.com/analysis/analisis_matematico_2... · (2)luego, para las funciones positivas medibles, (3)luego, para las funciones](https://reader035.fdocuments.net/reader035/viewer/2022071506/612737b509128d4bbe701873/html5/thumbnails/1.jpg)
Info Temas preliminares Medidas y funciones medibles Extension de medidas Modos de convergencia Integral de Lebesgue Espacios Lp
Estructura del cursoAnalisis Matematico II
Egor Maximenkohttp://www.egormaximenko.com
Instituto Politecnico NacionalEscuela Superior de Fısica y Matematicas
Mexico
23 de febrero de 2021
1 / 31
![Page 2: Estructura del curso Análisis Matemático IIesfm.egormaximenko.com/analysis/analisis_matematico_2... · (2)luego, para las funciones positivas medibles, (3)luego, para las funciones](https://reader035.fdocuments.net/reader035/viewer/2022071506/612737b509128d4bbe701873/html5/thumbnails/2.jpg)
Info Temas preliminares Medidas y funciones medibles Extension de medidas Modos de convergencia Integral de Lebesgue Espacios Lp
1 Informacion general
2 Temas preliminares
3 Medidas y funciones medibles
4 Extension de medidas
5 Modos de convergencia
6 Integral de Lebesgue
7 Espacios Lp
2 / 31
![Page 3: Estructura del curso Análisis Matemático IIesfm.egormaximenko.com/analysis/analisis_matematico_2... · (2)luego, para las funciones positivas medibles, (3)luego, para las funciones](https://reader035.fdocuments.net/reader035/viewer/2022071506/612737b509128d4bbe701873/html5/thumbnails/3.jpg)
Info Temas preliminares Medidas y funciones medibles Extension de medidas Modos de convergencia Integral de Lebesgue Espacios Lp
Objetivo del curso:estudiar el concepto de la integral de Lebesgue respecto a una medida abstracta.
3 / 31
![Page 4: Estructura del curso Análisis Matemático IIesfm.egormaximenko.com/analysis/analisis_matematico_2... · (2)luego, para las funciones positivas medibles, (3)luego, para las funciones](https://reader035.fdocuments.net/reader035/viewer/2022071506/612737b509128d4bbe701873/html5/thumbnails/4.jpg)
Info Temas preliminares Medidas y funciones medibles Extension de medidas Modos de convergencia Integral de Lebesgue Espacios Lp
Prerrequsitos:
operaciones con conjuntos (∪, ∩, \, 4) y demostracion de sus propiedades;
operaciones con familias de conjuntos;
preimagenes de conjuntos bajo funciones;
el eje real extendido;
cotas superiores e inferiores, supremos e ınfimos;
la definicion del lımite;
convergencia de series de numeros;
convergencia uniforme de sucesiones de funciones;
espacios metricos y normados.4 / 31
![Page 5: Estructura del curso Análisis Matemático IIesfm.egormaximenko.com/analysis/analisis_matematico_2... · (2)luego, para las funciones positivas medibles, (3)luego, para las funciones](https://reader035.fdocuments.net/reader035/viewer/2022071506/612737b509128d4bbe701873/html5/thumbnails/5.jpg)
Info Temas preliminares Medidas y funciones medibles Extension de medidas Modos de convergencia Integral de Lebesgue Espacios Lp
Aplicaciones:
teorıa de ecuaciones diferenciales ordinarias y parciales,
incluso las ecuaciones de mecanica cuantica,
operadores integrales, incluso operadores de convolucion,
analisis armonico (integral de Fourier y series de Fourier),
analisis funcional,
teorıa de probabilidad,
teorıa de procesos estocasticos.
5 / 31
![Page 6: Estructura del curso Análisis Matemático IIesfm.egormaximenko.com/analysis/analisis_matematico_2... · (2)luego, para las funciones positivas medibles, (3)luego, para las funciones](https://reader035.fdocuments.net/reader035/viewer/2022071506/612737b509128d4bbe701873/html5/thumbnails/6.jpg)
Info Temas preliminares Medidas y funciones medibles Extension de medidas Modos de convergencia Integral de Lebesgue Espacios Lp
Bibliografıa principal I
Walter Rudin,Real and Complex Analysis.McGrow-Hill, 1987.
Halsey L. Royden, Patrick Fitzpatrick,Real Analysis. 4th ed.Prentice Hall, 2010.
Gerald B. Folland,Real Analysis. Modern Techniques and Their Applications. 2nd ed.Wiley, 1999.
6 / 31
![Page 7: Estructura del curso Análisis Matemático IIesfm.egormaximenko.com/analysis/analisis_matematico_2... · (2)luego, para las funciones positivas medibles, (3)luego, para las funciones](https://reader035.fdocuments.net/reader035/viewer/2022071506/612737b509128d4bbe701873/html5/thumbnails/7.jpg)
Info Temas preliminares Medidas y funciones medibles Extension de medidas Modos de convergencia Integral de Lebesgue Espacios Lp
Bibliografıa principal II
Paul R. Halmos,Measure Theory.Litton, 1950. Springer-Verlag, 1974.
Jose Marıa Rocha Martınez,Un primer curso de integracion de Lebesgue en Rn,IPN.
Bernard R. Gelbaum, John M. H. Olmsted,Counterexamples in Analysis.Dover Publications, 1992.
7 / 31
![Page 8: Estructura del curso Análisis Matemático IIesfm.egormaximenko.com/analysis/analisis_matematico_2... · (2)luego, para las funciones positivas medibles, (3)luego, para las funciones](https://reader035.fdocuments.net/reader035/viewer/2022071506/612737b509128d4bbe701873/html5/thumbnails/8.jpg)
Info Temas preliminares Medidas y funciones medibles Extension de medidas Modos de convergencia Integral de Lebesgue Espacios Lp
Actividades para la evaluacion
Tres examenes escritos, entregar por Google Classroom.
Tareas simples, con muchos ejercicios numericos,resolver en equipos de 3 personas, entregar por Google Classroom,de preferencia escribir en LATEX.
Exposiciones en clase (temas del programa),preparar y exponer en equipos de 2 o 3 personas,escribir presentaciones en LATEX+beamer o a mano.
Tareas adicionales (temas fuera del programa),resolver por equipos de 2 o 3 personas,escribir en LATEX o a mano.
8 / 31
![Page 9: Estructura del curso Análisis Matemático IIesfm.egormaximenko.com/analysis/analisis_matematico_2... · (2)luego, para las funciones positivas medibles, (3)luego, para las funciones](https://reader035.fdocuments.net/reader035/viewer/2022071506/612737b509128d4bbe701873/html5/thumbnails/9.jpg)
Info Temas preliminares Medidas y funciones medibles Extension de medidas Modos de convergencia Integral de Lebesgue Espacios Lp
Temario del curso
Temas preliminares.
Medida abstracta y funciones medibles.
Extension de medidas.
Modos de convergencia de sucesiones de funciones.
Integracion abstracta.
Espacios Lp.
9 / 31
![Page 10: Estructura del curso Análisis Matemático IIesfm.egormaximenko.com/analysis/analisis_matematico_2... · (2)luego, para las funciones positivas medibles, (3)luego, para las funciones](https://reader035.fdocuments.net/reader035/viewer/2022071506/612737b509128d4bbe701873/html5/thumbnails/10.jpg)
Info Temas preliminares Medidas y funciones medibles Extension de medidas Modos de convergencia Integral de Lebesgue Espacios Lp
Temas preliminares
Logica del orden 0: ∧,∨,⊕,→,↔.Operaciones con conjuntos: ∩,∪,4, la contencion e igualdad.
Logica del orden 1: ∀,∃.Operaciones con familias de conjuntos.
Familias monotonas de conjuntos.Estructura de sucesiones monotonas de conjuntos:si (Ak)k∈N ↗, Dk := Ak \ Ak−1, entonces
∀n ∈ N An =n⋃
k=1Dk ,
⋃k∈N
Ak =⋃
k∈NDk .
10 / 31
![Page 11: Estructura del curso Análisis Matemático IIesfm.egormaximenko.com/analysis/analisis_matematico_2... · (2)luego, para las funciones positivas medibles, (3)luego, para las funciones](https://reader035.fdocuments.net/reader035/viewer/2022071506/612737b509128d4bbe701873/html5/thumbnails/11.jpg)
Info Temas preliminares Medidas y funciones medibles Extension de medidas Modos de convergencia Integral de Lebesgue Espacios Lp
Temas preliminares
El eje real extendido, R = R ∪ {−∞,+∞}.
Cotas superiores e inveriores de conjuntos.
Supremos e ınfimos de conjuntos.
Supremos e ınfimos de funciones.
La topologıa del eje real.
La topologıa del eje real extendido.
Lımites de sucesiones monotonas, Lımites de funciones monotonas.
Lımites superiores e inferiores.
11 / 31
![Page 12: Estructura del curso Análisis Matemático IIesfm.egormaximenko.com/analysis/analisis_matematico_2... · (2)luego, para las funciones positivas medibles, (3)luego, para las funciones](https://reader035.fdocuments.net/reader035/viewer/2022071506/612737b509128d4bbe701873/html5/thumbnails/12.jpg)
Info Temas preliminares Medidas y funciones medibles Extension de medidas Modos de convergencia Integral de Lebesgue Espacios Lp
Sigma-algebras de conjuntos
Sea X un conjunto y sea F ⊆ 2X .Se dice que F es una σ-algebra si
1) ∅ ∈ F ,
2) ∀A ∈ F X \ A ∈ F ,
3) ∀(Ak)k∈N ∈ FN ⋃k∈N
Ak ∈ F .
El par (X ,F) se llama espacio medible .
12 / 31
![Page 13: Estructura del curso Análisis Matemático IIesfm.egormaximenko.com/analysis/analisis_matematico_2... · (2)luego, para las funciones positivas medibles, (3)luego, para las funciones](https://reader035.fdocuments.net/reader035/viewer/2022071506/612737b509128d4bbe701873/html5/thumbnails/13.jpg)
Info Temas preliminares Medidas y funciones medibles Extension de medidas Modos de convergencia Integral de Lebesgue Espacios Lp
Sigma-algebras generadas por colecciones de conjuntos
Si G ⊆ 2X , entonces la σ-algebra sobre X generada por Gse define como la interseccion de todas las σ-algebras sobre X que contienen a G.
Si (X , τ) es un espacio topologico, entonces la σ-algebra generada por τse llama la σ-algebra de Borel de este espacio topologico.
13 / 31
![Page 14: Estructura del curso Análisis Matemático IIesfm.egormaximenko.com/analysis/analisis_matematico_2... · (2)luego, para las funciones positivas medibles, (3)luego, para las funciones](https://reader035.fdocuments.net/reader035/viewer/2022071506/612737b509128d4bbe701873/html5/thumbnails/14.jpg)
Info Temas preliminares Medidas y funciones medibles Extension de medidas Modos de convergencia Integral de Lebesgue Espacios Lp
Medidas
Sea (X ,F) un espacio medible.Una funcion µ : F → [0,+∞] se llama medida , si
1) µ(∅) = 0,
2) µ es σ-aditiva :para cualquier sucesion disjunta (Ak)k∈N ∈ FN,
µ
⋃k∈N
Ak
=∞∑
k=1µ(Ak).
14 / 31
![Page 15: Estructura del curso Análisis Matemático IIesfm.egormaximenko.com/analysis/analisis_matematico_2... · (2)luego, para las funciones positivas medibles, (3)luego, para las funciones](https://reader035.fdocuments.net/reader035/viewer/2022071506/612737b509128d4bbe701873/html5/thumbnails/15.jpg)
Info Temas preliminares Medidas y funciones medibles Extension de medidas Modos de convergencia Integral de Lebesgue Espacios Lp
Propiedades de medidas
Medida de la union e interseccion: si A,B ∈ F , entonces
µ(A ∪ B) + µ(A ∩ B) = µ(A) + µ(B).
La medida del complemento: si A,B ∈ F , A ⊆ B, entonces
µ(A) + µ(B \ A) = µ(B).
Propiedad creciente: si A,B ∈ F , A ⊆ B, entonces µ(A) ≤ µ(B).
15 / 31
![Page 16: Estructura del curso Análisis Matemático IIesfm.egormaximenko.com/analysis/analisis_matematico_2... · (2)luego, para las funciones positivas medibles, (3)luego, para las funciones](https://reader035.fdocuments.net/reader035/viewer/2022071506/612737b509128d4bbe701873/html5/thumbnails/16.jpg)
Info Temas preliminares Medidas y funciones medibles Extension de medidas Modos de convergencia Integral de Lebesgue Espacios Lp
Propiedades de medidas
Continuidad por abajo: si (Ak)k∈N ∈ FN y (Ak)k∈N ↗, entonces
µ
⋃k∈N
Ak
= limn→∞
µ(An).
Propiedad subaditiva para sucesiones: si (Ak)k∈N ∈ FN, entonces
µ
⋃k∈N
Ak
≤ ∞∑k=1
µ(Ak).
16 / 31
![Page 17: Estructura del curso Análisis Matemático IIesfm.egormaximenko.com/analysis/analisis_matematico_2... · (2)luego, para las funciones positivas medibles, (3)luego, para las funciones](https://reader035.fdocuments.net/reader035/viewer/2022071506/612737b509128d4bbe701873/html5/thumbnails/17.jpg)
Info Temas preliminares Medidas y funciones medibles Extension de medidas Modos de convergencia Integral de Lebesgue Espacios Lp
Funciones medibles
Sean (X ,F), (Y ,H) espacios medibles.Una funcion f : X → Y se llama F-H-medible si
∀B ∈ H f −1[B] ∈ F .
Notacion: M(X ,F ,Y ,H).
Criterio de funciones reales medibles(el codominio R se considera con la σ-algebra de Borel BR):
M(X ,F ,R) ={f ∈ RX : ∀a ∈ R f −1[(a,+∞)] ∈ F
}.
17 / 31
![Page 18: Estructura del curso Análisis Matemático IIesfm.egormaximenko.com/analysis/analisis_matematico_2... · (2)luego, para las funciones positivas medibles, (3)luego, para las funciones](https://reader035.fdocuments.net/reader035/viewer/2022071506/612737b509128d4bbe701873/html5/thumbnails/18.jpg)
Info Temas preliminares Medidas y funciones medibles Extension de medidas Modos de convergencia Integral de Lebesgue Espacios Lp
El algebra de funciones medibles
La clase M(X ,F ,R) es cerrada bajo:
las operaciones algebraicas punto a punto,
los supremos e ınfimos de sucesiones de funciones,
los lımites puntuales de sucesiones de funciones.
18 / 31
![Page 19: Estructura del curso Análisis Matemático IIesfm.egormaximenko.com/analysis/analisis_matematico_2... · (2)luego, para las funciones positivas medibles, (3)luego, para las funciones](https://reader035.fdocuments.net/reader035/viewer/2022071506/612737b509128d4bbe701873/html5/thumbnails/19.jpg)
Info Temas preliminares Medidas y funciones medibles Extension de medidas Modos de convergencia Integral de Lebesgue Espacios Lp
Anillos, semianillos, etc.
Ademas de σ-algebras, se consideran otras clases de colecciones de conjuntos:
semianillo de conjuntos,
semialgebras de conjuntos,
anillos de conjuntos,
algebras de conjuntos,
clases monotonas.
19 / 31
![Page 20: Estructura del curso Análisis Matemático IIesfm.egormaximenko.com/analysis/analisis_matematico_2... · (2)luego, para las funciones positivas medibles, (3)luego, para las funciones](https://reader035.fdocuments.net/reader035/viewer/2022071506/612737b509128d4bbe701873/html5/thumbnails/20.jpg)
Info Temas preliminares Medidas y funciones medibles Extension de medidas Modos de convergencia Integral de Lebesgue Espacios Lp
Extension de medidas
Dada una premedida en un semianillo de conjuntos,vamos a extenderla a la σ-algebra generada.
Usaremos el concepto de medidas exteriores y la construccion de Caratheodory .
La longitud primero se define en intervalos:
λ([a, b)) := b − a (a, b ∈ R, a ≤ b).
Los intervalos forman un semianillo.Con la construccion de Caratheodory definiremos la medida de Lebesgue .
20 / 31
![Page 21: Estructura del curso Análisis Matemático IIesfm.egormaximenko.com/analysis/analisis_matematico_2... · (2)luego, para las funciones positivas medibles, (3)luego, para las funciones](https://reader035.fdocuments.net/reader035/viewer/2022071506/612737b509128d4bbe701873/html5/thumbnails/21.jpg)
Info Temas preliminares Medidas y funciones medibles Extension de medidas Modos de convergencia Integral de Lebesgue Espacios Lp
Varios modos de convergencia de sucesiones de funciones
Convergencia puntual:
fnX−→ g def⇐==⇒ ∀x ∈ X ∀ε > 0 ∃k ∈ N ∀n ≥ k |fn(x)− g(x)| < ε.
Convergencia uniforme:
fnX=⇒ g def⇐==⇒ ∀ε > 0 ∃k ∈ N ∀x ∈ X ∀n ≥ k |fn(x)− g(x)| < ε.
Criterio de la convergencia uniforme, en terminos de la norma-supremo:
fnX==⇒ g ⇐⇒ lim
n→∞supx∈X|fn(x)− g(x)| = 0.
21 / 31
![Page 22: Estructura del curso Análisis Matemático IIesfm.egormaximenko.com/analysis/analisis_matematico_2... · (2)luego, para las funciones positivas medibles, (3)luego, para las funciones](https://reader035.fdocuments.net/reader035/viewer/2022071506/612737b509128d4bbe701873/html5/thumbnails/22.jpg)
Info Temas preliminares Medidas y funciones medibles Extension de medidas Modos de convergencia Integral de Lebesgue Espacios Lp
Convergencia en medida, casi en todas partes, casi uniforme
Convergencia en medida:
fnµ−⇁ g def⇐==⇒ ∀ε > 0 lim
n→∞µ({x ∈ X : |fn(x)− g(x)| ≥ ε
}= 0.
Convergencia µ-c.t.p.:
fnµ-c.t.p.−−−−→ g def⇐==⇒ µ
({x ∈ X : fn(x) 6→ g(x)
}) = 0.
Convergencia µ-c.u. (de Egorov):
fnµ-c.u.===⇒ g def⇐==⇒ ∀η > 0 ∃E ∈ F
(µ(E ) < η ∧ fn
X\E===⇒ g).
22 / 31
![Page 23: Estructura del curso Análisis Matemático IIesfm.egormaximenko.com/analysis/analisis_matematico_2... · (2)luego, para las funciones positivas medibles, (3)luego, para las funciones](https://reader035.fdocuments.net/reader035/viewer/2022071506/612737b509128d4bbe701873/html5/thumbnails/23.jpg)
Info Temas preliminares Medidas y funciones medibles Extension de medidas Modos de convergencia Integral de Lebesgue Espacios Lp
Conjuntos auxiliares
A(ε, n) := {x ∈ X : |fn(x)− g(x)| ≥ ε},
B(ε, k) :=⋃
n≥kA(ε, n),
C(ε) :=⋂
k∈NB(ε, k),
D :=⋃ε>0
C(ε).
23 / 31
![Page 24: Estructura del curso Análisis Matemático IIesfm.egormaximenko.com/analysis/analisis_matematico_2... · (2)luego, para las funciones positivas medibles, (3)luego, para las funciones](https://reader035.fdocuments.net/reader035/viewer/2022071506/612737b509128d4bbe701873/html5/thumbnails/24.jpg)
Info Temas preliminares Medidas y funciones medibles Extension de medidas Modos de convergencia Integral de Lebesgue Espacios Lp
Varios modos de convergencia, en terminos de los conjuntos auxiliares
fnX−−→ g ⇐⇒ D = ∅,
fnµ-c.t.p.−−−−→ g ⇐⇒ µ(D) = 0,
fnX==⇒ g ⇐⇒ ∀ε > 0 ∃k ∈ N B(ε, k) = ∅,
fnµ-c.u.===⇒ g ⇐⇒ ∀ε > 0 lim
k→∞µ(B(ε, k)) = 0,
fnµ−⇁ g ⇐⇒ ∀ε > 0 lim
n→∞µ(A(ε, n)) = 0.
24 / 31
![Page 25: Estructura del curso Análisis Matemático IIesfm.egormaximenko.com/analysis/analisis_matematico_2... · (2)luego, para las funciones positivas medibles, (3)luego, para las funciones](https://reader035.fdocuments.net/reader035/viewer/2022071506/612737b509128d4bbe701873/html5/thumbnails/25.jpg)
Info Temas preliminares Medidas y funciones medibles Extension de medidas Modos de convergencia Integral de Lebesgue Espacios Lp
Varios modos de convergencia
fnX==⇒ g fn
X−−→ g
fnµ-c.u.===⇒ g fn
µ-c.t.p.−−−−→ g
fnµ−⇁ g
µ(X)<+∞
subsucesion
25 / 31
![Page 26: Estructura del curso Análisis Matemático IIesfm.egormaximenko.com/analysis/analisis_matematico_2... · (2)luego, para las funciones positivas medibles, (3)luego, para las funciones](https://reader035.fdocuments.net/reader035/viewer/2022071506/612737b509128d4bbe701873/html5/thumbnails/26.jpg)
Info Temas preliminares Medidas y funciones medibles Extension de medidas Modos de convergencia Integral de Lebesgue Espacios Lp
Integral de Lebesgue para funciones simples positivas medibles
Sea (X ,F , µ) un espacio de medida y sea f ∈M(X ,F , [0,+∞]).
Supongamos que f [X ] = {v1, v2, . . . , vm}, donde v1 < v2 < · · · < vm.
DefinimosAk := f −1[{vk}].
Definimos ∫X
f dµ :=m∑
k=1vkµ(Ak).
26 / 31
![Page 27: Estructura del curso Análisis Matemático IIesfm.egormaximenko.com/analysis/analisis_matematico_2... · (2)luego, para las funciones positivas medibles, (3)luego, para las funciones](https://reader035.fdocuments.net/reader035/viewer/2022071506/612737b509128d4bbe701873/html5/thumbnails/27.jpg)
Info Temas preliminares Medidas y funciones medibles Extension de medidas Modos de convergencia Integral de Lebesgue Espacios Lp
Integral de Lebesgue
La integral de Lebesgue primero se define para una clase pequena de funciones, luegose extiende a funciones mas generales.
En este curso, las etapas seran las siguientes:
(1) primero, para las funciones simples positivas medibles,
(2) luego, para las funciones positivas medibles,
(3) luego, para las funciones reales medibles,
(4) finalmente, para las funciones complejas medibles.
27 / 31
![Page 28: Estructura del curso Análisis Matemático IIesfm.egormaximenko.com/analysis/analisis_matematico_2... · (2)luego, para las funciones positivas medibles, (3)luego, para las funciones](https://reader035.fdocuments.net/reader035/viewer/2022071506/612737b509128d4bbe701873/html5/thumbnails/28.jpg)
Info Temas preliminares Medidas y funciones medibles Extension de medidas Modos de convergencia Integral de Lebesgue Espacios Lp
Convergencia de integrales
La convergencia puntual, fnX−−→ g , en general, no garantiza que
∫X
fn dµ→∫
Xg dµ.
Ejemplo. X = R, µ = la medida de Lebesgue, fn = 1[n,n+1), g = 0.
f1 f2 f3
Entonces ∫X
fn dµ = 1,∫
Xg dµ = 0.
28 / 31
![Page 29: Estructura del curso Análisis Matemático IIesfm.egormaximenko.com/analysis/analisis_matematico_2... · (2)luego, para las funciones positivas medibles, (3)luego, para las funciones](https://reader035.fdocuments.net/reader035/viewer/2022071506/612737b509128d4bbe701873/html5/thumbnails/29.jpg)
Info Temas preliminares Medidas y funciones medibles Extension de medidas Modos de convergencia Integral de Lebesgue Espacios Lp
Convergencia de integrales
La convergencia puntual, fnX−−→ g , en general, no garantiza que
∫X
fn dµ→∫
Xg dµ.
Ejemplo. X = R, µ = la medida de Lebesgue, fn = 1[n,n+1), g = 0.
f1
f2 f3
Entonces ∫X
fn dµ = 1,∫
Xg dµ = 0.
28 / 31
![Page 30: Estructura del curso Análisis Matemático IIesfm.egormaximenko.com/analysis/analisis_matematico_2... · (2)luego, para las funciones positivas medibles, (3)luego, para las funciones](https://reader035.fdocuments.net/reader035/viewer/2022071506/612737b509128d4bbe701873/html5/thumbnails/30.jpg)
Info Temas preliminares Medidas y funciones medibles Extension de medidas Modos de convergencia Integral de Lebesgue Espacios Lp
Convergencia de integrales
La convergencia puntual, fnX−−→ g , en general, no garantiza que
∫X
fn dµ→∫
Xg dµ.
Ejemplo. X = R, µ = la medida de Lebesgue, fn = 1[n,n+1), g = 0.
f1
f2
f3
Entonces ∫X
fn dµ = 1,∫
Xg dµ = 0.
28 / 31
![Page 31: Estructura del curso Análisis Matemático IIesfm.egormaximenko.com/analysis/analisis_matematico_2... · (2)luego, para las funciones positivas medibles, (3)luego, para las funciones](https://reader035.fdocuments.net/reader035/viewer/2022071506/612737b509128d4bbe701873/html5/thumbnails/31.jpg)
Info Temas preliminares Medidas y funciones medibles Extension de medidas Modos de convergencia Integral de Lebesgue Espacios Lp
Convergencia de integrales
La convergencia puntual, fnX−−→ g , en general, no garantiza que
∫X
fn dµ→∫
Xg dµ.
Ejemplo. X = R, µ = la medida de Lebesgue, fn = 1[n,n+1), g = 0.
f1 f2
f3
Entonces ∫X
fn dµ = 1,∫
Xg dµ = 0.
28 / 31
![Page 32: Estructura del curso Análisis Matemático IIesfm.egormaximenko.com/analysis/analisis_matematico_2... · (2)luego, para las funciones positivas medibles, (3)luego, para las funciones](https://reader035.fdocuments.net/reader035/viewer/2022071506/612737b509128d4bbe701873/html5/thumbnails/32.jpg)
Info Temas preliminares Medidas y funciones medibles Extension de medidas Modos de convergencia Integral de Lebesgue Espacios Lp
Convergencia de integrales
La convergencia puntual, fnX−−→ g , en general, no garantiza que
∫X
fn dµ→∫
Xg dµ.
Ejemplo. X = R, µ = la medida de Lebesgue, fn = 1[n,n+1), g = 0.
f1 f2
f3
Entonces ∫X
fn dµ = 1,∫
Xg dµ = 0.
28 / 31
![Page 33: Estructura del curso Análisis Matemático IIesfm.egormaximenko.com/analysis/analisis_matematico_2... · (2)luego, para las funciones positivas medibles, (3)luego, para las funciones](https://reader035.fdocuments.net/reader035/viewer/2022071506/612737b509128d4bbe701873/html5/thumbnails/33.jpg)
Info Temas preliminares Medidas y funciones medibles Extension de medidas Modos de convergencia Integral de Lebesgue Espacios Lp
Convergencia de integrales
Teorema de la convergencia monotona.
Lema de Fatou.
Teorema de la convergencia dominada.
29 / 31
![Page 34: Estructura del curso Análisis Matemático IIesfm.egormaximenko.com/analysis/analisis_matematico_2... · (2)luego, para las funciones positivas medibles, (3)luego, para las funciones](https://reader035.fdocuments.net/reader035/viewer/2022071506/612737b509128d4bbe701873/html5/thumbnails/34.jpg)
Info Temas preliminares Medidas y funciones medibles Extension de medidas Modos de convergencia Integral de Lebesgue Espacios Lp
Funciones convexas
Conjuntos convexos.
Funciones convexas.
Convexidad de la funcion exp (definida en R).
Desigualdad de Young:
ab ≤ ap
p + bq
q
(a, b ≥ 0, 1
p + 1q = 1
).
30 / 31
![Page 35: Estructura del curso Análisis Matemático IIesfm.egormaximenko.com/analysis/analisis_matematico_2... · (2)luego, para las funciones positivas medibles, (3)luego, para las funciones](https://reader035.fdocuments.net/reader035/viewer/2022071506/612737b509128d4bbe701873/html5/thumbnails/35.jpg)
Info Temas preliminares Medidas y funciones medibles Extension de medidas Modos de convergencia Integral de Lebesgue Espacios Lp
Espacios Lp
La seminorma Np:
Np(f ) :=(∫
X|f |p dµ
)1/p.
La desigualdad de Holder:
N1(fg) ≤ Np(f )Nq(g).
La desigualdad de Minkowski:
Np(f + g) ≤ Np(f ) + Np(g).
La definicion del espacio Lp.La completez del espacio Lp.
31 / 31