Satz von Pratt

Der Satz von Pratt ist ein mathematischer Satz der Maßtheorie, der eine Verallgemeinerung des Satzes von der majorisierten Konvergenz ist und einer maßtheoretischen Variante des Einschnürungssatzes entspricht. Anschaulich besagt der Satz, dass wenn eine Funktionenfolge sich fast überall zwischen zwei weiteren Funktionenfolgen befindet und diese konvergieren und ein Vertauschen von Grenzwertbildung und Integration erlauben, auch die eingeklammerte Funktionenfolge ein Vertauschen von Grenzwertbildung und Integration erlaubt. Der Satz wurde 1960 von John W. Pratt bewiesen.

Aussage

Gegeben sei ein Maßraum $(X, \mathcal A, \mu )$ und eine Folge von messbaren Funktionen

$(f_{n}\colon X\to \mathbb {R} )_{n\in \mathbb {N} }$

aus $\mathcal L^1(\mu)$ , die lokal nach Maß gegen konvergiert. Außerdem sei die Menge $\{f \neq 0\}$ σ-endlich.

Existieren nun $g,h\colon X\to \mathbb {R} ,(g_{n}\colon X\to \mathbb {R} )_{n\in \mathbb {N} },(h_{n}\colon X\to \mathbb {R} )_{n\in \mathbb {N} }$ aus $\mathcal L^1(\mu)$ , für die gilt:

$(g_n)_{n \in \N}$ konvergiert lokal nach Maß gegen und $(h_n)_{n \in \N}$ konvergiert lokal nach Maß gegen .
Für alle $n \in \N$ gilt $\mu$ -fast überall

$g_n \leq f_n \leq h_n$ .
Es ist

$\lim_{n \to \infty} \int_X g_n \mathrm d \mu = \int_X g \mathrm d \mu \text{ und } \lim_{n \to \infty} \int_X h_n \mathrm d \mu = \int_X h \mathrm d \mu$ .

Dann ist auch aus $\mathcal L^1 (\mu)$ und es gilt

$\lim_{n \to \infty} \int_X f_n \mathrm d \mu = \int_X f \mathrm d \mu$ .

Beispiel: majorisierte Konvergenz

Aus dem Satz folgt direkt eine Abwandlung des Satzes von der majorisierten Konvergenz. Ist mit den Voraussetzungen wie oben in der Definition eine integrierbare positive Majorante von ,

so ist bereits aus $\mathcal L^1 (\mu)$ und es gilt

$\lim_{n \to \infty} \int_X f_n \mathrm d \mu = \int_X f \mathrm d \mu$ .

Dazu setzt man als Funktionenfolgen

$g_n=g=-m \text{ und } h_n=h=m$ .

Aufgrund der Konstanz der Funktionenfolgen ist die Vertauschung von Grenzwert und Integral gegeben und die g_n, g, h_n, h sind integrierbar, da sie mit der integrierbaren Majorante übereinstimmen. Außerdem konvergieren die Funktionenfolgen auch lokal nach Maß, da sie konstant sind. Es wie beim Satz von der majorisierten Konvergenz $|f_n|\leq m$ beziehungsweise $g_n \leq f_n \leq h_n$ fast überall. Somit sind alle drei Voraussetzungen erfüllt und der Satz von Pratt liefert die Aussage.

Im Unterschied zum Satz von der majorisierten Konvergenz gilt hier aber bereits die Aussage, wenn die f_n lokal nach Maß gegen konvergieren und nicht wie ursprünglich bei der majorisierten Konvergenz gefordert punktweise fast überall.

Basierend auf einem Artikel in:

Wikipedia.de