Maß- und Integrationstheorie/Gemischte Definitionsabfrage/7/Aufgabe/Lösung

1. Unter der von ${}{\mathcal {E}}$ erzeugten ${}\sigma$-Algebra versteht man die kleinste ${}\sigma$-Algebra, die ${}{\mathcal {E}}$ enthält.
2. Für eine beliebige Teilmenge ${}T\subseteq M$ definiert man

   ${\tilde {\mu }}(T):=\inf \left(\sum _{i\in I}\mu (T_{i}),\,T\subseteq \bigcup _{i\in I}T_{i},\,T_{i}\in {\mathcal {P}},\,I{\text{ abzählbar}}\right)$

   und nennt dies die Fortsetzung des äußeren Maßes ${}\mu$.

3. Maßräume/Messbare Abbildung/Maßtreu/Definition/Begriff/Inhalt
4. Eine messbare numerische Funktion

   $f\colon M\longrightarrow {\overline {\mathbb {R} }}$

   heißt integrierbar, wenn die beiden Integrale ${}\int _{M}f_{+}\,d\mu$ und ${}\int _{M}f_{-}\,d\mu$ endlich sind.

5. Man definiert den ${}L^{p}$-Raum durch

   ${}L^{p}(X):={\mathcal {L}}^{p}(X)/{\mathcal {N}}\,,$

   wobei ${}{\mathcal {N}}$ die Menge der Funktionen bezeichnet, die außerhalb einer Nullmenge die Nullfunktion sind.

6. Bernoulli-Polynome/Stammfunktionbedingung/Definition/Begriff/Inhalt

Zur gelösten Aufgabe