Satz von Lusin

Der Satz von Lusin (nach Nikolai Nikolajewitsch Lusin) ist ein mathematischer Satz aus der Maßtheorie. Er besagt, dass der Definitionsbereich einer messbaren Funktion so eingeschränkt werden kann, dass die Funktion auf dieser Einschränkung stetig ist. Lusin lieferte den Beweis dieses Satzes im Jahr 1912, nachdem der Satz 1903 von Émile Borel zunächst angedeutet und von Henri Lebesgue mathematisch formuliert worden war.

Motivation des Satzes

Aus d​er Definition d​es Lebesgue-Maßes f​olgt sofort, d​ass jede stetige Funktion messbar ist. Am Beispiel d​er Dirichlet-Funktion

${\displaystyle D(x)={\begin{cases}1,&{\mbox{wenn }}x{\mbox{ rational}}\\0,&{\mbox{wenn }}x{\mbox{ irrational}}\end{cases}}}$

welche a​lle rationalen Zahlen a​uf 1 u​nd alle irrationalen Zahlen a​uf 0 abbildet, s​ieht man, d​ass es messbare Funktionen gibt, welche i​n keinem Punkt stetig sind. Der Satz v​on Lusin z​eigt nun, d​ass eine messbare Funktion „fast stetig“ ist. Was u​nter „fast stetig“ z​u verstehen ist, g​eht aus d​em Satz hervor.

Satz von Lusin

Im Folgenden bezeichnet ${\displaystyle \lambda }$ das Lebesgue-Maß.

Sei ${\displaystyle M\subset \mathbb {R} ^{n}}$ eine messbare Menge mit ${\displaystyle \lambda (M)<\infty }$. Sei ${\displaystyle f\colon M\to {\mathbb {R} }}$ eine messbare und beschränkte Funktion, so gibt es zu jedem ${\displaystyle \varepsilon >0}$ eine kompakte Menge ${\displaystyle K\subset M}$ mit ${\displaystyle \lambda (M\backslash K)<\varepsilon }$ derart, dass die Einschränkung ${\displaystyle f|_{K}}$ stetig ist.

Beweisskizze: Dieser Satz lässt sich aus dem Satz von Jegorow herleiten. Da ${\displaystyle f}$ als beschränkte, messbare Funktion zu ${\displaystyle L^{1}(M)}$ gehört und da die stetigen Funktionen in diesem Raum dicht liegen, gibt es eine Folge ${\displaystyle (f_{n})_{n}}$ stetiger Funktionen, die in der ${\displaystyle L^{1}}$-Norm gegen ${\displaystyle f}$ konvergiert. Indem man zu einer Teilfolge übergeht, kann man annehmen, dass außerhalb einer Menge vom Maß 0 punktweise Konvergenz vorliegt. Nach dem Satz von Jegorow liegt dann gleichmäßige Konvergenz außerhalb einer Menge vom Maß kleiner als ${\displaystyle \varepsilon }$ vor, und diese Menge kann wegen der Regularität des Lebesgue-Maßes als offen angenommen werden. Das Komplement ${\displaystyle K}$ ist dann kompakt, und auf ${\displaystyle K}$ konvergiert die Folge gleichmäßig. Daher ist die Grenzfunktion ${\displaystyle f|_{K}}$ stetig.

Es ist möglich, die Aussage noch zu verschärfen: Sei ${\displaystyle M\subset \mathbb {R} ^{n}}$ messbar und ${\displaystyle f\colon M\to \mathbb {R} }$ messbar. Dann gibt es zu jedem ${\displaystyle \varepsilon >0}$ eine Menge ${\displaystyle K\subset M}$ mit ${\displaystyle \lambda (M\backslash K)<\varepsilon }$ und eine stetige Funktion ${\displaystyle {\tilde {f}}\colon M\to \mathbb {R} }$, die auf ${\displaystyle K}$ mit ${\displaystyle f}$ übereinstimmt.

Beispiel

Es scheint ein Widerspruch zu obigem Beispiel zu bestehen, wenn man ${\displaystyle M=[0,1]}$ und ${\displaystyle f=D|_{[0,1]}:[0,1]\to \mathbb {R} }$ betrachtet, denn die Funktion ${\displaystyle f=D|_{[0,1]}}$ ist in keinem Punkt aus ${\displaystyle [0,1]}$ stetig. Man beachte aber, dass der Satz von Lusin nicht behauptet, dass die Funktion ${\displaystyle f}$ in jedem Punkt aus ${\displaystyle K}$ stetig ist. Er besagt vielmehr, dass eine andere Funktion, nämlich die Einschränkung ${\displaystyle f|_{K}}$, in jedem Punkt aus ${\displaystyle K}$ stetig ist. Um das für obige Funktion ${\displaystyle f=D|_{[0,1]}}$ zu demonstrieren, sei ${\displaystyle (r_{n})_{n}}$ eine Abzählung der rationalen Zahlen in ${\displaystyle [0,1]}$. Zu vorgegebenem ${\displaystyle \varepsilon >0}$ setze ${\displaystyle U_{n}=\left(r_{n}-{\tfrac {\varepsilon }{2^{n+2}}},r_{n}+{\tfrac {\varepsilon }{2^{n+2}}}\right)\cap [0,1]}$. Dann enthält die Vereinigung dieser Mengen alle rationalen Punkte, sie ist relativ offen mit Maß kleiner als ${\displaystyle \varepsilon }$, und auf dem kompakten Komplement ${\displaystyle K}$ ist die Funktion konstant 0, das heißt, ${\displaystyle f|_{K}}$ ist die Nullfunktion und daher stetig.

Verallgemeinerung

Der Satz von Lusin gilt nicht nur für Funktionen auf messbaren Mengen im ${\displaystyle {\mathbb {R} }^{n}}$. Er lässt sich auch auf reellwertige Funktionen lokalkompakter Räume verallgemeinern:

Sei ${\displaystyle (X,\Sigma ,\mu )}$ ein Maßraum, wobei ${\displaystyle X}$ lokalkompakt, ${\displaystyle \Sigma }$ eine σ-Algebra auf ${\displaystyle X}$, die die Borelmengen umfasst, und ${\displaystyle \mu }$ ein reguläres Maß sei. ${\displaystyle f\colon X\to {\mathbb {R} }}$ sei eine ${\displaystyle \Sigma }$-messbare Funktion.

Dann gibt es zu jedem ${\displaystyle A\in \Sigma }$ mit ${\displaystyle \mu (A)<\infty }$ und zu jedem ${\displaystyle \varepsilon >0}$ eine kompakte Menge ${\displaystyle K\subset A}$ mit ${\displaystyle \mu (A\setminus K)<\varepsilon }$, so dass ${\displaystyle f|_{K}}$ stetig ist.

In der Situation dieses Satzes kann man sogar eine stetige Funktion ${\displaystyle g\colon X\to {\mathbb {R} }}$ mit kompaktem Träger finden, so dass ${\displaystyle f|_{K}=g|_{K}}$.

Literatur

• Nikolai Lusin: Sur les propriétés des fonctions mesurables. In: Comptes Rendus de l'Académie des Sciences de Paris. Bd. 154, 1912, S. 1688–1690, Digitalisat.
• Donald L. Cohn: Measure Theory. Birkhäuser, Boston MA u. a. 1980, ISBN 3-7643-3003-1.