- Théorème de Luzin
-
Théorème de Lusin
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 sur une grande partie de son domaine de définition.
Pour un intervalle [a,b], soit
![f:[a,b]\rightarrow \mathbb{C}](/pictures/frwiki/55/7b94a3de27138fba7d5b93cde31d875c.png)
une fonction mesurable. Alors 0" style="max-width : 98%; height: auto; width: auto;" src="/pictures/frwiki/101/e1b71d94f651212168c7d2b56868f87d.png" border="0">, il existe un compact
![E \subset [a,b]](/pictures/frwiki/99/cec9a29553f9a356e525766cd809e9ab.png)
tel que la restriction à E de f est continue et μ(Ec) < ε, où Ec représente le complémentaire of E. Noter que 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. On rappelle que les fonctions continues sont denses dans L1([a,b]). Alors, il existe une suite de fonctions continues {gn} telle que
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.Bibliographie
- Walter Rudin, Analyse réelle et complexe : cours et exercices [détail des éditions]
Portail des mathématiques
Catégorie : Théorème d'analyse
Wikimedia Foundation. 2010.