# Maßraum/Lebesgueraum/Approximationseigenschaften/Textabschnitt

Es sei $X$ ein topologischer Raum, der zugleich ein Maßraum auf der $\sigma$-Algebra der Borelmengen sei. Es gibt dann einerseits die stetigen Funktionen und andererseits $p$-integrierbare Funktionen $f\colon X\rightarrow {\mathbb {K} }$, die beides messbare Funktionen sind. Wir möchten verstehen, unter welchen Bedingungen an $X$ und an das Maß $\mu$ die stetigen Funktionen integrierbar sind und inwiefern man ihnen die integrierbaren Funktionen approximieren kann.

## Lemma

Es sei $(X,\mu )$ ein $\sigma$-endlicher Maßraum. Es sei $E$ die Menge der messbaren, einfachen komplex-wertigen Funktionen $f$ auf $X$, deren Träger ${\left\{x\in X\mid f(x)\neq 0\right\}}$ $\mu$-endlich sei.
Dann ist $E$ dicht in $L^{p}(X)$ für alle $p\geq 1$.

### Beweis

Es sei $p$ fixiert und es sei $f$ eine $p$-integrierbare Funktion, die wir als reellwertig und als nichtnegativ annehmen können. Nach Fakt gibt es eine Folge von einfachen monoton wachsenden Funktionen $e_{n}\geq 0$, die punktweise gegen $f$ konvergieren. Wegen $e_{n}\leq f$ und der $p$-Integrierbarkeit von $f$ sind auch die $e_{n}$ $p$-integrierbar, woraus wiederum folgt, dass die Träger zu $e_{n}$ einen endlichen Träger haben. Wegen
    ${\left(f-e_{n}\right)}^{p}\leq f^{p}\,$
können wir Fakt auf die Funktionenfolge $(f-e_{n})^{p}$, die ja gegen $0$ konvergiert, anwenden, und erhalten, dass
    $\Vert {f-e_{n}}\Vert _{p}=\int _{X}{\left(f-e_{n}\right)}^{p}d\mu \,$
für $n\rightarrow \infty$ gegen $0$ konvergiert. Dies bedeutet, die Konvergenz von $e_{n}$ gegen $f$ in $L^{p}(X)$.
$\Box$
Um zu zeigen, dass auch die stetigen Funktionen, sagen wir für eine Teilmenge des $\mathbb {R} ^{m}$, dicht sind, gibt es im Wesentlichen zwei Strategien. Man approximiert die einfachen Funktionen bzw. die Indikatorfunktionen zu beliebigen messbaren Teilmengen beliebig gut durch stetige Funktionen, oder aber, man verschärft das vorstehende Resultat und zeigt, dass auch die Indikatorfunktionen zu Quadern schon einen dichten Untervektorraum erzeugen, und approximiert diese durch stetige Funktionen.

## Lemma

Es sei $T\subseteq \mathbb {R} ^{n}$ eine messbare Teilmenge.
Dann ist das $n$-dimensionale Volumen von $T$ gleich dem Infimum über die Volumensumme aller Quader-Überpflasterungen $Q_{i}$, $i\in \mathbb {N}$, von $T$, also

### Beweis

Dies folgt aus Fakt und der Definition eines äußeren Maßes.
$\Box$
Hierbei kann man offene, halboffene oder abgeschlossene Quader nehmen.

## Lemma

Das Borel-Lebesgue-Maß auf dem $\mathbb {R} ^{n}$ besitzt die folgenden Eigenschaften.

### Beweis

Die erste Eigenschaft ist klar. Die zweite Eigenschaft folgt aus Fakt mit offenen Quaderüberpflasterungen.
Zum Nachweis von (3) können wir annehmen, dass $\lambda ^{n}(T)$ endlich ist.
Wir betrachten die Durchschnitte
    $T_{r}=T\cap B\left(0,r\right)\,.$
Da die Bälle den Raum ausschöpfen, konvergieren die Volumina nach Fakt (5) gegen das von $T$. Wir können also $T$ durch $T_{r}$ ersetzen (beispielsweise mit einer Maßabweichung von $\epsilon /2$) und dann annehmen, dass $T\subseteq U{\left(0,s\right)}\subset U{\left(0,r\right)}$ ist. Wir betrachten
    $T'=U{\left(0,r\right)}\setminus T\subseteq U{\left(0,r\right)}\,.$
Nach Teil (2) können wir das Volumen von $T'$ beliebig gut durch offene Mengen von oben approximieren, von den wir ferner annehmen können, dass sie in $U{\left(0,r\right)}$ liegen, sagen wir
    $T'\subseteq U'\subseteq U{\left(0,r\right)}\,$
mit
    $\lambda ^{n}(U')-\lambda ^{n}(T')\leq {\frac {\epsilon }{2}}\,.$
Dann ist
    $A'=B(0,r)\cap {\left(\mathbb {R} ^{n}\setminus U'\right)}\subseteq B(0,r)\cap {\left(\mathbb {R} ^{n}\setminus T'\right)}=T\,$
eine abgeschlossene Teilmenge von $T$ und die Volumenabweichung ist wie zuvor.
$\Box$
Genaue Eigenschaften, Definition. Topologische Quetscheigenschaft. Topologisch approximierbar. Kompaktheit.

## Lemma

Es sei $X$ ein normaler topologischer Raum und $\mu$ ein $\sigma$-endliches Maß auf den Borelmengen von $X$. Es sei $T$ eine messbare Teilmenge von $X$ mit $\mu (T)<\infty$.
Dann gibt es zu jedem $\epsilon >0$ eine stetige Funktion $f\colon X\rightarrow \mathbb {R}$ mit einem kompakten Träger derart, dass

### Beweis

Es sei $A\subseteq T\subseteq U$ mit einer abgeschlossenen Teilmenge $A$ und einer offenen Teilmenge $U$ derart, dass
    $\mu (U\setminus A)\leq \epsilon \,$
ist. Dann sind $A$ und $X\setminus U$ disjunkte abgeschlossene Teilmengen und daher gibt es in dem normalen Raum nach dem Lemma von Urysohn eine stetige Funktion $f$, deren Bild in $[0,1]$ ist und die auf $A$ den Wert $1$ und auf $X\setminus U$ den Wert $0$ besitzt. Daher stimmt $f$ auf $A$ und auf $X\setminus U$ mit der Indikatorfunktion zu $T$ überein und die Abweichungsmenge liegt in $U\setminus A$, dessen Maß höchstens $\epsilon$ ist.
$\Box$

## Satz

Es sei $X$ ein normaler topologischer Raum und sei $\mu$ ein $\sigma$-endliches topologisch (kompakt) approximierbares Maß auf den Borel-Mengen von $X$.
Dann ist der Raum der ${\mathbb {K} }$-wertigen stetigen Funktionen mit einem kompakten Träger ein dichter Untervektorraum im Lebesgueraum $L^{p}(X,\mu )$.

### Beweis

Es sei $V$ der topologische Abschluss des Raumes der stetigen Funktionen mit kompakten Träger in $L^{p}(X)$. Es ist $V=L^{p}(X)$ zu zeigen. Nach Fakt gehören die Indikatorfunktionen zu messbaren Mengen mit endlichem Maß dazu. Wegen der Vektorraumeigenschaft gehören auch die einfachen Funktionen mit einer Trägermenge mit endlichem Maß dazu. Deshalb folgt die Aussage aus Fakt.
$\Box$

## Korollar

Es sei $X$ ein kompakter topologischer Raum und sei $\mu$ ein $\sigma$-endliches topologisch approximierbares Maß auf den Borel-Mengen von $X$.
Dann ist der Raum der ${\mathbb {K} }$-wertigen stetigen Funktionen ein dichter Untervektorraum im Lebesgueraum $L^{p}(X,\mu )$.

### Beweis

Dies folgt direkt aus Fakt.
$\Box$

## Korollar

Es sei $\mu$ ein Maß auf dem $\mathbb {R} ^{n}$, das durch eine Dichte bezüglich des Borel-Lebesgue-Maßes gegeben sei.
Dann ist der Raum der ${\mathbb {K} }$-wertigen stetigen Funktionen mit einem kompakten Träger ein dichter Untervektorraum im Lebesgueraum $L^{p}(\mathbb {R} ^{n},\mu )$.

### Beweis

Dies folgt wegen Fakt aus Fakt.
$\Box$

## Korollar

Im Lebesgueraum $L^{p}([a,b])$ bildet
der Raum $C([a,b],\mathbb {R} )$ einen dichten Untervektorraum.

### Beweis

Dies folgt direkt aus Fakt.
$\Box$