Egorovs teorem
Egorovs teorem säger att en sekvens av mätbara funktioner som konvergerar nästan överallt på en viss mängd konvergerar enhetligt på en tillräckligt stor delmängd av den.
Formulering
Låt ett utrymme ges med ett ändligt mått så att , och en sekvens av mätbara funktioner definierade på den som konvergerar nästan överallt till . Sedan för någon finns det en uppsättning sådan att , och sekvensen konvergerar enhetligt till på .








Anteckningar
- Den konvergens som härleds av satsen kallas ofta för nästan enhetlig konvergens .
- Ändlighet är avgörande. Låt, till exempel, , där är en Borel σ-algebra på , och är Lebesgue mått på . Observera att . Låt , där beteckna indikatorfunktionen för uppsättningen . Konvergerar sedan till noll punktvis , men konvergerar inte enhetligt på något komplement till en uppsättning ändliga mått.






![{\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)



Variationer och generaliseringar
- Egorovs teorem generaliserar naturligtvis till fallet med funktioner med värden i ett Banach-utrymme . [ett]
Anteckningar
- ↑ Heinonen, Juha, et al. Sobolev-mellanslag på metriska måttutrymmen. Vol. 27. Cambridge University Press, 2015.
Litteratur
- Dmitri Egoroff , Sur les suites des fonctions mätbara. CR Acad. sci. Paris, (1911) 152:135–157.
- Bogachev V.I. , Om historien om upptäckten av Egorovs och Luzins teorem, Historisk och matematisk forskning , vol. 48 (13), 2009.