Kurs:Maß- und Integrationstheorie/2/Klausur mit Lösungen

Definiere die folgenden (kursiv gedruckten) Begriffe.

1. Das Bildmaß unter einer messbaren Abbildung

   ${\displaystyle \varphi \colon M\longrightarrow N}$

   von einem Maßraum ${\displaystyle {}(M,{\mathcal {A}},\mu )}$ in einen Messraum ${\displaystyle {}(N,{\mathcal {B}})}$.

2. Ein Wahrscheinlichkeitsraum.
3. Das erzeugte Parallelotop zu linear unabhängigen Vektoren ${\displaystyle {}v_{1},\ldots ,v_{n}}$ in einem reellen Vektorraum ${\displaystyle {}V}$.
4. Das Maß zu einer Dichte ${\displaystyle {}g}$ auf einem Maßraum ${\displaystyle {}(M,{\mathcal {A}},\mu )}$.
5. Ein total beschränkter metrischer Raum ${\displaystyle {}M}$.
6. Ein Hilbertraum.

Formuliere die folgenden Sätze.

1. Der Satz über die Beziehung zwischen einer ${\displaystyle {}\sigma }$- Algebra und einem Dynkin-System.
2. Der Satz von der monotonen Konvergenz.
3. Der Satz von Stone-Weierstrass.

Es sei ${\displaystyle {}\epsilon >0}$ fixiert und sei

${\displaystyle {}A_{q}=]q-\epsilon ,q+\epsilon [\,}$

die ${\displaystyle {}\epsilon }$-Umgebung von ${\displaystyle {}q}$. Bestimme den Limes inferior und den Limes superior dieser (abzählbaren) Familie.

Der Limes inferior besteht aus allen Zahlen, die bis auf endlich viele Ausnahmen in allen Mengen ${\displaystyle {}A_{q}}$ vorkommen. Dies ist die leere Menge, da es zu jeder reellen Zahl ${\displaystyle {}x}$ unendlich viele rationale Zahlen gibt, die außerhalb von ${\displaystyle {}[x-2\epsilon ,x+2\epsilon ]}$ gibt. Für diese rationalen Zahlen gilt ${\displaystyle {}x\notin A_{q}}$.

Der Limes superior besteht aus allen Zahlen, die in unendlich vielen der Mengen ${\displaystyle {}A_{q}}$ vorkommen. Dies ist ganz ${\displaystyle {}\mathbb {R} }$. Zu jeder reellen Zahl ${\displaystyle {}x}$ gibt es in ${\displaystyle {}]x-\epsilon ,x+\epsilon [}$ unendlich viele rationale Zahlen und für diese gilt ${\displaystyle {}x\in A_{q}}$.

Auf der Menge der natürlichen Zahlen ${\displaystyle {}\mathbb {N} }$ sei ein Maß ${\displaystyle {}\mu }$ durch

${\displaystyle {}\mu {\left(\{n\}\right)}=n\,}$

gegeben. Bestimme

${\displaystyle \mu {\left(\{0,1,2,\ldots ,n\}\right)}.}$

Aufgrund der Additivitätseigenschaft eines Maßes ist

${\displaystyle {}{\begin{aligned}\mu {\left(\{0,1,2,\ldots ,n\}\right)}&=\mu {\left(\{0\}\right)}+\mu {\left(\{1\}\right)}+\mu {\left(\{2\}\right)}+\cdots +\mu {\left(\{n\}\right)}\\&=0+1+2+\cdots +n\\&={\frac {n(n+1)}{2}}\end{aligned}}}$

nach der bekannten Regel für die Summe der ersten ${\displaystyle {}n}$ Zahlen.

Eine Klorolle hat einen äußeren Durchmesser von ${\displaystyle {}12}$ cm und einen inneren Durchmesser von ${\displaystyle {}4}$ cm. Das ausgewickelte Klopapier ergibt eine Länge von ${\displaystyle {}20}$ Metern. Wie dick ist das Klopapier?

Es sei ${\displaystyle {}b}$ die Breite des Papiers (alles in Zentimetern). Das Volumen des aufgewickelten Papiers ist

${\displaystyle {}b\pi {\left(6^{2}-2^{2}\right)}=b\pi 32\,.}$

Die unbekannte Dicke sei ${\displaystyle {}d}$. Das abgewickelte Klopapier bilden einen Quader mit dem gleichen Volumen, also

${\displaystyle {}2000bd=b\pi 32\,.}$

Somit ist

${\displaystyle {}d={\frac {\pi 32}{2000}}\cong {\frac {100}{2000}}={\frac {1}{20}}\,.}$

Die Dicke ist also ungefähr ein halber Millimeter.

Es sei ${\displaystyle {}X}$ ein Hausdorff-Raum. Zeige, dass die Diagonale

${\displaystyle {}\triangle ={\left\{(x,y)\in X\times X\mid x=y\right\}}\,}$

eine abgeschlossene Teilmenge im Produktraum ${\displaystyle {}X\times X}$ ist.

Wir müssen zeigen, dass das Komplement

${\displaystyle {}W=X\times X\setminus \triangle ={\left\{(x,y)\mid x,y\in X,\,x\neq y\right\}}\,}$

offen ist. Es sei also ${\displaystyle {}(x,y)}$ ein Paar mit ${\displaystyle {}x\neq y}$. Aufgrund der vorausgesetzten Hausdorff-Eigenschaft gibt es disjunkte offene Mengen ${\displaystyle {}U,V\subseteq X}$ mit ${\displaystyle {}x\in U}$ und ${\displaystyle {}y\in V}$. Es ist ${\displaystyle {}(x,y)\in U\times V}$ und nach Definition der Produkttopologie ist ${\displaystyle {}U\times V}$ eine offene Menge in ${\displaystyle {}X\times X}$. Wegen der Disjunktheit folgt aus ${\displaystyle {}(z,w)\in U\times V}$ sofort ${\displaystyle {}z\neq w}$. Also ist

${\displaystyle {}(x,y)\in U\times V\subseteq W\,}$

und ${\displaystyle {}W}$ ist die Vereinigung von solchen offenen Produktmengen, also selbst offen.

Es sei ${\displaystyle {}M}$ ein Messraum und ${\displaystyle {}f\colon M\rightarrow \mathbb {R} _{\geq 0}}$ eine nichtnegative messbare Funktion. Zeige, dass auch die Funktion

${\displaystyle {\sqrt {f}}\colon M\longrightarrow \mathbb {R} _{\geq 0},\,x\longmapsto {\sqrt {f(x)}},}$

messbar ist.

Wir schreiben die Funktion ${\displaystyle {}{\sqrt {f}}}$ als Hintereinanderschaltung

${\displaystyle M{\stackrel {f}{\longrightarrow }}\mathbb {R} _{\geq 0}{\stackrel {\sqrt {t}}{\longrightarrow }}\mathbb {R} _{\geq 0}.}$

Da die Wurzelfunktion stetig ist, ist sie auch messbar und da die Hintereinanderschaltung von messbaren Abbildungen wieder messbar ist, ergibt sich die Messbarkeit von ${\displaystyle {}{\sqrt {f}}}$.

Beweise den Satz über die Fortsetzung eines äußeren Maßes.

Es sei ${\displaystyle {}T\in {\mathcal {P}}}$. Das Mengensystem ${\displaystyle {}\{T\}}$ ist natürlich eine Überpflasterung von ${\displaystyle {}T}$, sodass ${\displaystyle {}\mu (T)}$ in der Menge vorkommt, über die das Infimum genommen wird. Für jede Überpflasterung ${\displaystyle {}T_{i}}$, ${\displaystyle {}i\in I}$, von ${\displaystyle {}T}$ gilt ${\displaystyle {}T=\bigcup _{i\in I}T\cap T_{i}}$ und somit

${\displaystyle {}\mu (T)\leq \sum _{i\in I}\mu {\left(T\cap T_{i}\right)}\leq \sum _{i\in I}\mu (T_{i})\,,}$

sodass ${\displaystyle {}\mu (T)={\tilde {\mu }}(T)}$ gilt.
Für beliebige Teilmengen ${\displaystyle {}S\subseteq T}$ gilt trivialerweise ${\displaystyle {}{\tilde {\mu }}(S)\leq {\tilde {\mu }}(T)}$, da eine Überpflasterung von ${\displaystyle {}T}$ insbesondere eine Überpflasterung von ${\displaystyle {}S}$ ist.
Es sei nun ${\displaystyle {}T_{i}}$, ${\displaystyle {}i\in I}$, eine abzählbare Familie von Teilmengen von ${\displaystyle {}M}$. Wir müssen ${\displaystyle {}{\tilde {\mu }}{\left(\bigcup _{i\in I}T_{i}\right)}\leq \sum _{i\in I}{\tilde {\mu }}(T_{i})}$ nachweisen. Wenn der rechte Ausdruck gleich ${\displaystyle {}\infty }$ ist, so ist nichts zu zeigen. Wir können also voraussetzen, dass die rechte Familie summierbar ist. Die Summanden dieser Familie sind jeweils das Infimum über Summen, die jeweils zu Überpflasterungen gehören.  Nehmen wir an, dass die linke Seite größer als die rechte Seite sei, wobei die Differenz größer als ${\displaystyle {}\epsilon >0}$ sei. Sei ${\displaystyle {}\epsilon _{i}>0}$, ${\displaystyle {}i\in I}$, so gewählt, dass ${\displaystyle {}\sum _{i\in I}\epsilon _{i}\leq \epsilon }$ ist; eine solche Familie gibt es aufgrund der Abzählbarkeit von ${\displaystyle {}I}$, siehe Aufgabe 9.24 (Analysis (Osnabrück 2021-2023)). Zu jedem ${\displaystyle {}i\in I}$ gibt es eine Überpflasterung ${\displaystyle {}T_{i}\subseteq \bigcup _{j\in J_{i}}T_{ij}}$ mit einer abzählbaren Indexmenge ${\displaystyle {}J_{i}}$, mit ${\displaystyle {}T_{ij}\in {\mathcal {P}}}$ und mit

${\displaystyle {}{\tilde {\mu }}(T_{i})\leq \sum _{j\in J_{i}}\mu (T_{ij})\leq {\tilde {\mu }}(T_{i})+\epsilon _{i}\,.}$

Die Menge ${\displaystyle {}L=\bigcup _{i\in I}J_{i}}$ ist als abzählbare Vereinigung abzählbarer Mengen wieder abzählbar. Wir betrachten nun die durch ${\displaystyle {}T_{\ell }}$, ${\displaystyle {}\ell \in L}$, (mit ${\displaystyle {}\ell =(i,j)}$) gegebene Überpflasterung von ${\displaystyle {}\bigcup _{i\in I}T_{i}}$. Damit gelten unter Verwendung des großen Umordnungssatzes die Abschätzungen

${\displaystyle {}{\begin{aligned}{\tilde {\mu }}{\left(\bigcup _{i\in I}T_{i}\right)}&\leq \sum _{\ell \in L}\mu {\left(T_{\ell }\right)}\\&=\sum _{i\in I}{\left(\sum _{j\in J_{i}}\mu {\left(T_{ij}\right)}\right)}\\&\leq \sum _{i\in I}{\left({\tilde {\mu }}(T_{i})+\epsilon _{i}\right)}\\&=\sum _{i\in I}{\tilde {\mu }}(T_{i})+\sum _{i\in I}\epsilon _{i}\\&\leq \sum _{i\in I}{\tilde {\mu }}(T_{i})+\epsilon ,\end{aligned}}}$  

ein Widerspruch.

Beweise die Tschebyschow-Abschätzung (Tschebyschow-Ungleichung) für eine messbare nichtnegative Funktion

${\displaystyle f\colon M\longrightarrow \mathbb {R} _{\geq 0}}$

auf einem ${\displaystyle {}\sigma }$-endlichen Maßraum ${\displaystyle {}(M,{\mathcal {A}},\mu )}$.

Es sei

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

${\displaystyle {}a\in \mathbb {R} _{\geq 0}}$

${\displaystyle {}T={\left\{x\in M\mid f(x)\geq a\right\}}}$

${\displaystyle {}T\times [0,a]\subseteq S(f)\,}$

(im Subgraphen), also

${\displaystyle {}a\cdot \mu (T)=(\mu \otimes \lambda ^{1})(T\times [0,a])\leq (\mu \otimes \lambda ^{1})(S(f))=\int _{M}f\,d\mu \,.}$

Berechne das Volumen des von den drei Vektoren

${\displaystyle {\begin{pmatrix}1\\2\\3\end{pmatrix}},\,{\begin{pmatrix}4\\-5\\6\end{pmatrix}}{\text{ und }}{\begin{pmatrix}7\\8\\9\end{pmatrix}}}$

im ${\displaystyle {}\mathbb {R} ^{3}}$ erzeugten Parallelotops.

Das Parallelotop ist das Bild des Einheitswürfels unter der durch die Matrix

${\displaystyle M={\begin{pmatrix}1&4&7\\2&-5&8\\3&6&9\end{pmatrix}}}$

gegebenen linearen Abbildung. Nach Satz 7.2 (Maß- und Integrationstheorie (Osnabrück 2022-2023)) ist sein Volumen gleich dem Betrag der Determinante dieser Matrix. Wir berechnen die Determinante mittels der Regel von Sarrus, d.h. wir betrachten

${\displaystyle {\begin{pmatrix}1&4&7&1&4\\2&-5&8&2&-5\\3&6&9&3&6\end{pmatrix}}.}$

Daher ist

${\displaystyle {}\det M=-45+96+84+105-48-72=285-165=120\,.}$

Das Volumen ist also ${\displaystyle {}120}$.

Es sei ${\displaystyle {}M}$ eine Menge und es sei ${\displaystyle {}T_{n}\uparrow M}$ eine Ausschöpfung von ${\displaystyle {}M}$ mit Teilmengen ${\displaystyle {}T_{n}\subseteq M}$, ${\displaystyle {}n\in \mathbb {N} }$. Zu jedem ${\displaystyle {}n\in \mathbb {N} }$ sei ${\displaystyle {}A_{n}\subseteq M\times \mathbb {R} }$ der Subgraph zur Indikatorfunktion ${\displaystyle {}e_{T_{n}}}$. Zeige, dass die ${\displaystyle {}A_{n}}$, ${\displaystyle {}n\in \mathbb {N} }$, eine Ausschöpfung von ${\displaystyle {}M\times [0,1]}$ bilden.

Der Subgraph zur Indikatorfunktion ${\displaystyle {}e_{T_{n}}}$ ist

${\displaystyle {}{\begin{aligned}A_{n}&={\left\{(x,t)\mid x\in M,\,0\leq t\leq e_{T_{n}}(x)\right\}}\\&={\left\{(x,t)\mid x\in T_{n},\,0\leq t\leq e_{T_{n}}(x)\right\}}\cup {\left\{(x,t)\mid x\in M\setminus T_{n},\,0\leq t\leq e_{T_{n}}(x)\right\}}\\&={\left\{(x,t)\mid x\in T_{n},\,0\leq t\leq 1\right\}}\cup {\left\{(x,t)\mid x\in M\setminus T_{n},\,0\leq t\leq 0\right\}}\\&=T_{n}\times [0,1]\cup (X\setminus T_{n})\times \{0\}\\&=T_{n}\times [0,1]\cup X\times \{0\}.\end{aligned}}}$

Wegen ${\displaystyle {}T_{n}\subseteq T_{n+1}}$ ist somit auch ${\displaystyle {}A_{n}\subseteq A_{n+1}}$. Offenbar ist ${\displaystyle {}A_{n}\subseteq M\times [0,1]}$. Für ein beliebiges ${\displaystyle {}(x,t)\in M\times [0,1]}$ gibt es aufgrund der Ausschöpfungseigenschaft ein ${\displaystyle {}n\in \mathbb {N} }$ mit ${\displaystyle {}x\in T_{n}}$. Für dieses ${\displaystyle {}n}$ ist auch ${\displaystyle {}(x,t)\in A_{n}}$, sodass ${\displaystyle {}\bigcup _{n\in \mathbb {N} }A_{n}=M\times [0,1]}$ gilt. Also liegt eine Ausschöpfung vor.

Es sei ${\displaystyle {}(M,{\mathcal {A}},\mu )}$ ein endlicher Maßraum und ${\displaystyle {}A_{t}}$, ${\displaystyle {}t\in \mathbb {R} }$, eine Familie von messbaren Mengen mit den zugehörigen Indikatorfunktionen ${\displaystyle {}e_{A_{t}}}$. Wir betrachten die Abbildung

${\displaystyle f\colon \mathbb {R} \times M\longrightarrow \mathbb {R} ,\,(t,x)\longmapsto f(t,x)=e_{A_{t}}(x).}$

Zeige, dass die Abbildung

${\displaystyle \varphi \colon \mathbb {R} \longrightarrow \mathbb {R} ,\,t\longmapsto \varphi (t)=\int _{M}f(t,x)\,d\mu (x),}$

nicht stetig sein muss. Welche Voraussetzungen aus Satz 11.1 (Maß- und Integrationstheorie (Osnabrück 2022-2023)) sind erfüllt, welche nicht?

Für jedes ${\displaystyle {}t\in \mathbb {R} }$ ist

${\displaystyle {}\varphi (t)=\int _{M}f(t,x)\,d\mu (x)=\int _{M}e_{A_{t}}(x)\,d\mu (x)=\int _{A_{t}}1\,d\mu (x)=\mu (A_{t})\,.}$

Wenn z.B. ${\displaystyle {}M}$ ein Maßraum ist mit ${\displaystyle {}\mu (M)=1}$ und die Familie durch

${\displaystyle A_{t}={\begin{cases}\emptyset {\text{ für }}t\leq 0\,,\\M{\text{ für }}t>0\,,\end{cases}}}$

gegeben ist, so besitzt die Funktion ${\displaystyle {}\varphi (t)=\mu (A_{t})}$ eine Sprungstelle in ${\displaystyle {}0}$ und ist daher nicht stetig.

Die Bedingung (1) ist erfüllt. Für festes ${\displaystyle {}t\in \mathbb {R} }$ geht es um die Abbildung

${\displaystyle M\longrightarrow \mathbb {R} ,\,x\longmapsto e_{A_{t}}(x).}$

Da ${\displaystyle {}A_{t}}$ nach Voraussetzung messbar ist, ist diese Abbildung messbar.

Die Bedingung (3) ist erfüllt, und zwar mit der konstanten Funktion ${\displaystyle {}h=1}$. Es ist ${\displaystyle {}\int _{M}h\,d\mu =\mu (M)<\infty }$ aufgrund der vorausgesetzten Endlichkeit des Maßraumes ${\displaystyle {}M}$, und es ist ${\displaystyle {}e_{A}\leq h}$ für jede Indikatorfunktion.

Da die Schlussfolgerung des Satzes nicht gilt, kann die Bedingung (2) nicht generell erfüllt sein.

Berechne den Flächeninhalt des Bildes des Rechtecks ${\displaystyle {}Q=[-1,3]\times [0,2]}$ unter der Abbildung

${\displaystyle \varphi \colon \mathbb {R} ^{2}\longrightarrow \mathbb {R} ^{2},\,(x,y)\longmapsto (x^{3},y-x^{2}).}$

Die Abbildung ist bijektiv mit der Umkehrabbildung

${\displaystyle \mathbb {R} ^{2}\longrightarrow \mathbb {R} ^{2},\,(u,v)\longmapsto \left(u^{\frac {1}{3}},\,v+u^{\frac {2}{3}}\right).}$

Die Jacobi-Matrix ist

${\displaystyle {\begin{pmatrix}3x^{2}&0\\-2x&1\end{pmatrix}}}$

mit der Jacobi-Determinante

${\displaystyle 3x^{2}.}$

Für die Punkte mit ${\displaystyle {}x=0}$ liegt also kein lokaler Diffeomorphismus vor und für die Punkte mit ${\displaystyle {}x\neq 0}$ liegt ein Diffeomorphismus auf das Bild vor. Auf ${\displaystyle {}\mathbb {R} \setminus \{0\}\times \mathbb {R} }$ ist also die Transformationsformel anwendbar. Die Ausnahmemenge ${\displaystyle {}Q\cap {\left\{(x,y)\mid x=0\right\}}}$ hat den Flächeninhalt ${\displaystyle {}0}$ und das gilt nach Korollar 13.6 (Maß- und Integrationstheorie (Osnabrück 2022-2023)) auch für das Bild davon. Daher kann man die Transformationsformel anwenden und nach Fubini ist somit

${\displaystyle {}\lambda ^{2}(\varphi (Q))=\int _{Q}3x^{2}d\lambda ^{2}=3\int _{-1}^{3}x^{2}dx\int _{0}^{2}1dy=2x^{3}|_{-1}^{3}=2(27+1)=56\,.}$

Es sei ${\displaystyle {}U\subseteq \mathbb {R} ^{n}}$ eine offene Teilmenge und sei ${\displaystyle {}L^{2}(U,\lambda ^{n})}$ der zugehörige ${\displaystyle {}L^{2}}$- Raum. Zeige, dass es für jede Funktionsklasse ${\displaystyle {}f\in L^{2}(U,\lambda ^{n})}$ einen Repräsentanten gibt, der in keinem Punkt stetig ist.

Es sei ${\displaystyle {}f\colon U\rightarrow {\mathbb {K} }}$ ein beliebiger Repräsentant. Wir betrachten ${\displaystyle {}S:=U\cap \mathbb {Q} ^{n}}$ und ${\displaystyle {}T:=U\cap {\sqrt {2}}\cdot \mathbb {Q} ^{n}}$. Dabei bezeichnet ${\displaystyle {}{\sqrt {2}}\cdot \mathbb {Q} ^{n}}$ die Menge derjenigen Zahlen, die in jeder Komponente ein rationales Vielfaches der irrationalen Zahl ${\displaystyle {}{\sqrt {2}}}$ sind. Die beiden Mengen sind zueinander disjunkt und beide abzählbar, daher ist auch ihre Vereinigung abzählbar. Wir ersetzen ${\displaystyle {}f}$ durch die Funktion ${\displaystyle {}g}$, die durch

${\displaystyle {}g(P):={\begin{cases}0,{\text{ falls }}P\in S\,,\\1,{\text{ falls }}P\in T\,,\\f(P){\text{ sonst}}\,,\end{cases}}\,}$

definiert ist. Die beiden Funktionen unterscheiden sich nur auf einer Nullmenge, daher definieren sie die gleiche Klasse in ${\displaystyle {}L^{2}(U,\lambda ^{n})}$. Für jeden Punkt ${\displaystyle {}P\in U}$ und jede offene Umgebung ${\displaystyle {}P\in U{\left(P,r\right)}\subseteq U}$ sind die beiden Mengen ${\displaystyle {}S\cap U{\left(P,r\right)}}$ und ${\displaystyle {}T\cap U{\left(P,r\right)}}$ dicht, daher kann ${\displaystyle {}g}$ in ${\displaystyle {}P}$ nicht stetig sein.

Es sei ${\displaystyle {}X}$ ein kompakter Raum und es sei ${\displaystyle {}Y\subseteq X}$ eine abgeschlossene Teilmenge, die die induzierte Topologie trage. Zeige, dass ${\displaystyle {}Y}$ ebenfalls kompakt ist.

Es sei

${\displaystyle {}Y=\bigcup _{i\in I}V_{i}\,}$

eine Überdeckung mit offenen Teilmenge ${\displaystyle {}V_{i}\subseteq Y}$. Dies bedeutet, dass es offene Mengen ${\displaystyle {}U_{i}\subseteq X}$ gibt mit ${\displaystyle {}V_{i}=Y\cap U_{i}}$. Daher ist

${\displaystyle {}Y\subseteq \bigcup _{i\in I}U_{i}\,.}$

Wegen der Abgeschlossenheit von ${\displaystyle {}Y}$ in ${\displaystyle {}X}$ ist ${\displaystyle {}X\setminus Y}$ offen und daher ist

${\displaystyle {}X=Y\cup (X\setminus Y)=\bigcup _{i\in I}U_{i}\cup (X\setminus Y)\,}$

eine offene Überdeckung von ${\displaystyle {}X}$. Wegen der Kompaktheit von ${\displaystyle {}X}$ gibt es eine endliche Teilüberdeckung

${\displaystyle {}X=\bigcup _{i\in J}U_{i}\cup (X\setminus Y)\,.}$

Dies bedeutet wiederum

${\displaystyle {}Y=\bigcup _{i\in J}U_{i}\,.}$

Es sei ${\displaystyle {}T>0}$ und es seien ${\displaystyle {}f,g\colon \mathbb {R} \rightarrow {\mathbb {C} }}$ ${\displaystyle {}T}$- periodische messbare Funktionen, die auf ${\displaystyle {}[0,T]}$ ${\displaystyle {}L^{2}}$- integrierbar sind und die Fourierreihen ${\displaystyle {}\sum _{n\in \mathbb {Z} }c_{n}e^{{\mathrm {i} }n\omega t}}$ bzw. ${\displaystyle {}\sum _{n\in \mathbb {Z} }d_{n}e^{{\mathrm {i} }n\omega t}}$ besitzen. Zeige, dass die periodische Faltung die Fourierreihe ${\displaystyle {}\sum _{n\in \mathbb {Z} }c_{n}d_{n}e^{{\mathrm {i} }n\omega t}}$ besitzt.

Es ist unter Verwendung von Satz 12.10 (Maß- und Integrationstheorie (Osnabrück 2022-2023)) und Korollar 13.2 (Maß- und Integrationstheorie (Osnabrück 2022-2023))

${\displaystyle {}{\begin{aligned}{\frac {1}{T}}\int _{0}^{T}(f*g)(t)e^{-{\mathrm {i} }\omega nt}dt&={\frac {1}{T^{2}}}\int _{0}^{T}{\left(\int _{0}^{T}f(t-s)g(s)ds\right)}e^{-{\mathrm {i} }\omega nt}dt\\&={\frac {1}{T^{2}}}\int _{[0,T]\times [0,T]}f(t-s)g(s)e^{-{\mathrm {i} }\omega nt}dsdt\\&={\frac {1}{T^{2}}}\int _{[0,T]\times [0,T]}f(t-s)e^{-{\mathrm {i} }\omega n(t-s)}g(s)e^{-{\mathrm {i} }\omega ns}dsdt\\&={\frac {1}{T^{2}}}\int _{[0,T]\times [0,T]}f(u)e^{-{\mathrm {i} }\omega nu}g(s)e^{-{\mathrm {i} }\omega ns}dsdu\\&={\frac {1}{T^{2}}}\int _{[0,T]}f(u)e^{-{\mathrm {i} }\omega nu}du\cdot \int _{[0,T]}g(s)e^{-{\mathrm {i} }\omega ns}ds\\&=c_{n}d_{n}.\end{aligned}}}$