Teorema de Egorov
El teorema de Egorov establece que una secuencia de funciones medibles que converge casi en todas partes en un determinado conjunto converge uniformemente en un subconjunto suficientemente grande de este.
Redacción
Sea dado un espacio con una medida finita tal que , y una secuencia de funciones medibles definida en él que converge en casi todas partes a . Entonces para cualquiera existe un conjunto tal que , y la sucesión converge uniformemente a sobre .








Notas
- La convergencia derivada del teorema a menudo se denomina convergencia casi uniforme .
- La finitud es esencial. Sea, por ejemplo, , donde es un σ-álgebra de Borel sobre , y es la medida de Lebesgue de . Tenga en cuenta que Sea , donde denote la función indicadora del conjunto . Luego converge a cero puntualmente , pero no converge uniformemente en ningún complemento de un conjunto de medida finita.






![{\displaystyle f_{n}(x)=\mathbf {1} _{[n,n+1]}(x),\;x\in \mathbb {R} ,n\in \mathbb {N} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/89dfcbba676d281c31184853897ca49e171b263b)



Variaciones y generalizaciones
- El teorema de Egorov se generaliza naturalmente al caso de funciones con valores en un espacio de Banach . [una]
Notas
- ↑ Heinonen, Juha, et al. Espacios de Sobolev sobre espacios de medidas métricas. vol. 27. Prensa de la Universidad de Cambridge, 2015.
Literatura
- Dmitri Egoroff , Sur les suites des fonctions mensurables. CR Acad. ciencia París, (1911) 152: 135–157.
- Bogachev V.I. , Sobre la historia del descubrimiento de los teoremas de Egorov y Luzin, Investigación histórica y matemática , vol. 48 (13), 2009.