Théorème de Lusin
Un article de Wikipédia, l'encyclopédie libre.
 |
Cet article est une ébauche à compléter concernant l'analyse (branche des mathématiques), vous pouvez partager vos connaissances en le modifiant. |
En mathématiques, le théorème de Lusin ou Luzin (d'après Nikolai Luzin) est pour l'analyse réelle, un autre forme du second principe de Littlewood.
Il énonce que toute fonction mesurable est continue presque partout.
Pour un intervalle[a,b], soit ![f:[a,b]\rightarrow \mathbb{C}](../../../math/7/b/9/7b94a3de27138fba7d5b93cde31d875c.png)
une fonction mesurable. Alors 
, il existe un compact ![E \subset [a,b]](../../../math/c/e/c/cec9a29553f9a356e525766cd809e9ab.png)
telle que la restriction a E de f E est continue et μ(EC) < ε. EC représente le complément of E. Noter E hérite de la topologie de [a,b], et dans le cadre de cette topologie, on peut définir la continuité de f restreinte à E.
Voici une preuve simple. Pour rappel, les fonctions continues sont denses dans L1[a,b]. Alors, il existe une suite de fonctions continues {gn} s.t. 
dans L1. De cette suite, on peut extraire une sous-suite 
telle que 
presque partout. En utilisant le théorème d'Egoroff, on a en convergence uniforme sauf sur un ensemble de mesure aussi faible que voulue. Comme l'ensemble des fonctions continues est fermée par convergence uniforme, cela termine la démonstration.
 |
Portail des mathématiques – Accédez aux articles de Wikipédia concernant les mathématiques. |
