Kurs:Maßtheorie auf topologischen Räumen/Maße als stetige lineare Funktionen

Einführung

In der Lernressource betrachtet man ein Maß als stetige lineare Funktion auf Funktionenräumen $V\subseteq ℱ(X,Y)$. Um von Stetigkeit sprechen zu können benötigt.

Lineare Abbildung auf Funktionenräumen

Sei $\mu :ℱ(X,Y)\to 𝕂$ eine lineare Abbildung, dann muss $ℱ(X,Y)$ zunächst eine Vektorraumstruktur besitzen, damit die innere und äußere Verknüpfung im Argument der Funktion definiert werden kann.

• $f+g\in ℱ(X,Y)$ für $f,g\in ℱ(X,Y)$
• $\lambda \cdot f\in ℱ(X,Y)$ für $f\in ℱ(X,Y)$ und $\lambda \in 𝕂$.

Maß als stetige Abbildung

Damit man Stetigkeit eines Maßes $\mu :ℱ(X,Y)\to 𝕂$ untersuchen kann, benötigt man zusätzlich eine Topologie ${𝒯}_{ℱ}$ auf dem Funktionenraum und eine Topologie ${𝒯}_{𝕂}$ auf dem Körper $𝕂$. In der Regel wählt man die durch den Betrag $|\cdot |$ erzeugte euklidische Topologie auf $𝕂=ℝ,ℂ$. Daher verlangt man zusätzlich, dass $ℱ(X,Y)$ ein topologisischer Vektorraum ist. Die innere und äußere Verknüpfung auf $ℱ(X,Y)$ sind damit stetige Verknüpfungen.

Topologisierungslemma

Nach dem Topologisierungslemma kann damit den Funktionenraum $V\subseteq ℱ(X,Y)$ mit einem System von Gaugefunktionalen $\Vert \cdot {\Vert }_{𝒜}:=\{\Vert \cdot {\Vert }_{\alpha }:\alpha \in 𝒜\}$ topologisieren. Dabei sind die Gaugefunktionale Abbildung der Form: $\Vert \cdot {\Vert }_{\alpha }:V\to {ℝ}_o^{+}$

Beispiel - stetige Funktionen auf IR

Sei $X=Y=ℝ$ und $V:=𝒞(ℝ,ℝ)\subseteq ℱ(X,Y)$ mit dem Gaugefunktionalsystem $\Vert \cdot {\Vert }_{\mathbb{N}}:=\{\Vert \cdot {\Vert }_{\alpha }:\alpha \in \mathbb{N}\}$ und

$\Vert f{\Vert }_{\alpha }:=\underset{x\in [-\alpha ,+\alpha ]}{\sup }|f(x)|$

Lineare Funktionen auf dem Funktionenraum

Man betrachtet nun zwei unterschiedliche lineare Funktionale auf dem Funktionenraum $V$:

• Maße als Riemannintegrale,
• Maße als Punktauswertungsfunktionale.

Maße als Riemannintergrale

Das klassische Riemannintegral ist eine lineare Funktion auf $V$ mit:

$\begin{array}{cccc}{\mu }_1:& V& \to & ℝ\\ & f& \mapsto & {\mu }_1(f)=\underset{a}{\overset{b}{\int }}f(x)dx\end{array}$

Linearität des Riemannintegral

Wie aus der Analysis bekannt, ist das Riemannintegral linear:

• ${\mu }_1(f+g)={\mu }_1(f)+{\mu }_1(g)$
• ${\mu }_1(\lambda \cdot f)=\lambda \cdot {\mu }_1(f)$

Stetigkeit des Riemannintegrals

Die Abbildung ${\mu }_1$ ist stetig, denn für jedes Gaugefunktional im Wertebereich muss man eine Konstante und eine Gaugefunktional im Wertebereich finden, um die Ungleichung aus dem Stetigkeitssatz für lineare Abbildungen nachzuweisen. Da es nur eine Gaugefunktional (den Betrag) als topologieerzeugendes Funktional gibt, muss man nur für den Betrag eine Konstante und eine Abschätzung nach oben zeigen.

Nachweis der Stetigkeit des Riemannintegrals

Wähle $\alpha \ge \max \{|a|,|b|\}$. Dann gilt folgende Abschätzung:

$\begin{array}{ccc}|{\mu }_1(f)|& =& |\underset{a}{\overset{b}{\int }}f(x)dx|\le \underset{a}{\overset{b}{\int }}|f(x)|dx\\ & \le & \underset{a}{\overset{b}{\int }}|f(x)|dx\le \underset{-\alpha }{\overset{+\alpha }{\int }}|f(x)|\\ & \le & \underset{-\alpha }{\overset{+\alpha }{\int }}\underset{=\Vert f{\Vert }_{\alpha }}{\underbrace{\underset{x\in [-\alpha ,+\alpha ]}{\sup }|f(x)|}}=2\alpha \cdot \Vert f{\Vert }_{\alpha }\end{array}$

Maße als Punktauswertungsfunktionale

Punktauswertungsfunktionale "messen" eine Funktion an einer bestimmten Stelle im Definitionsbereich $x_o\in X$. Punktauswertungsfunktionale für ein $x_o\in X$ sind lineare Funktionen auf $V$ mit:

$\begin{array}{cccc}{\mu }_2:& V& \to & ℝ\\ & f& \mapsto & {\mu }_2(f)=f(x_o)\end{array}$

Linearität der Punktauswertungsfunktionale

Für die Punktauswertungsfunktionale liefern die argumentweise definierten Verknüpfungen auf dem Funktionenraum die Linearität

• ${\mu }_2(f+g)=(f+g)(x_o)=f(x_o)+g(x_o)={\mu }_2(f)+{\mu }_2(g)$
• ${\mu }_1(\lambda \cdot f)=(\lambda \cdot f)(x_o)=\lambda \cdot f(x_o)=\lambda \cdot {\mu }_1(f)$

Nachweis der Stetigkeit des Punktauswertungsfunktionale

Wähle $\alpha \ge |x_o|$. Dann gilt folgende Abschätzung:

$\begin{array}{ccc}|{\mu }_2(f)|& =& |f(x_o)|\\ & \le & \underset{x\in [-\alpha ,+\alpha ]}{\sup }|f(x)|=\Vert f{\Vert }_{\alpha }\end{array}$

Topologie auf dem Definitions- und Wertebereich

Wenn man eine Teilmenge der stetigen Funktionen $V:=𝒞(X,Y)\subseteq ℱ(X,Y)$ von dem topologischen Vektorraum $ℱ(X,Y)$ betrachtet möchte benötigt man auch auf $(X,{\tau }_X)$ und $(Y,{\tau }_Y)$ eine Topologie. Diese ist unabhängig von der Topologie ${\tau }_V$ auf dem Funktionenraum $(V,{\tau }_V)$ selbst, der zusätzlich ein topologisischer Vektorraum sein muss.

Multiplikation auf dem Funktionenraum

Ist auf dem Funktionenraum $V\subseteq ℱ(X,Y)$ zusätzliche ein Multiplikation definiert $(V,\ast )$ (z.B. die Faltung von Funktionen), so verlangt man, dass diese Multiplikation bzgl. der Topologie ${\tau }_V$ eine stetige innere Verknüpfung auf $V$ ist.

Topologische Gruppe

Den Defintionbereich $(X,{\tau }_X)$ wird im weiteren Verlauf durch eine topologische Gruppe $(G,{\tau }_G)$ ersetzt, wobei die Inversenbildung und die innere Verknüpfung auf $G$ stetige Abbildungen sind.

Stetigkeit von linearen Abbildung

In normierten Räumen liefert der Stetigkeitssatz für lineare Abbildungen eine Kriterium, die Stetigkeit über Normabschätzungen bzw. durch Abschätzungen mit Gaugefunktionalen zu überprüfen. Maßen sind im Folgenden stetige lineare Abbildungen auf topologisierten Funktionenräumen.

Vektorraumstruktur auf Y

Wenn der Wertebereich $Y$ des Funktionenraumes $V\subseteq ℱ(X,Y)$ selbst ein $𝕂$-Vektorraum ist, kann man die Vektorraumstruktur von $Y$ auf $V$ bzw. $ℱ(X,Y)$ wie folgt übertragen:

• $f\oplus g=h_1$ mit $h_1(x):=f(x)+g(x)$.
• $\lambda \odot f=h_2$ mit $h_2(x):=\lambda \cdot f(x)$.

Bemerkung - Notation

In der Regel wird "$+$" als Notation für beide Additionen verwendet. Im obigen Beispiel wird dabei mit $(Y,+)$ die gegebene Addition auf $Y$ bezeichnet und mit $(ℱ(X,Y),\oplus )$ ist die zu definierende innere Verknüpfung auf $ℱ(X,Y)$ gemeint. Analog bezeichnet $\odot$ die zu definierende äußere Verknüpfung auf $ℱ(X,Y)$.

Definition - Maß auf topologischen Räumen

Sei $(X,{\tau }_X)$ ein topologischer Raum und $(Y,{\tau }_Y)$ ein topologisischer Vektorraum über $𝕂=ℝ,ℂ$ und der Funktionenraum $V\subseteq ℱ(X,Y)$ zusammen mit einer Topologie ${\tau }_V$ ebenfalls ein topologisischer Vektorraum über der Körper $𝕂$. Ein stetiges lineares Funktional $\mu :V\to 𝕂$ auf dem Funktionenraum $V$ heißt Maß auf $ℱ(X,Y)$.

Linerarität

Das Maß $\mu :V\to 𝕂$ ist linear, wenn gilt:

• (Homogenität) $\mu (\lambda \cdot f)=\lambda \cdot \mu (f)$ für alle $\lambda \in 𝕂$ und $f\in V$
• (Additivität) $\mu (f+g)=\mu (f)+\mu (g)$ für alle $f,g\in V$

Notation

Die Integralnotation, die aus der Analysis und Wahrscheinlichkeitstheorie bekannt ist, wird verwendet, wenn der Wertebereich des Funktionenraumes $(Y,{\tau }_Y)$ der Körper $𝕂$ ist und mit dem Betrag $|\cdot |$ zu einem topologischen Raum wird.

$\mu (f)=\underset{X}{\int }f(x)d\mu (x)$

Integrable Funktion

Ein Funktion $f:X\to Y$ heißt $\mu$-integrabel (bzw. integrabel), wenn $f\in V$ gilt.

Aufgabe - Vervollständigung eines Grundraumes

Sei $(f_n{)}_{n\in \mathbb{N}}$ eine Cauchy-Folge von stetigen Funktionen auf $V:=𝒞([a,b],ℝ)$, die gegen eine Grenzfunktion $f_o:[a,b]\to ℝ$ (z.B. eine Treppenfunktion konvergiert. Wie kann man das Maß der Grenzfunktion definieren?

Gegenbeispiel

Ist $I_{\mathbb{Q}}$ die Indikatorfunktion der rationalen Funktion in $[a,b]\subset ℝ$ mit $I_{\mathbb{Q}}(x)=1$ für $x\in \mathbb{Q}$ und $I_{\mathbb{Q}}(x)=0$ für $x\notin \mathbb{Q}$ und ist $\mu$ das Riemannintegral als lineare Funktion auf dem Funktionenraum, so ist $I_{\mathbb{Q}}:[a,b]\to ℝ$ nicht $\mu$-integrabel.

Maß von Mengen

Ist der Wertebereich des Funktionenraumes $(Y,{\tau }_Y)$ der Körper $𝕂$. In einem solchen Fall kann man auch das Maß von einer Menge $A\subseteq X$ über $\mu$ definieren, wenn die Indikatorfunktion $I_A$ mit $I_A(x)=1$ für $x\in A$ und $I_A(x)=0$ für $x\in X\setminus A$ eine integrable Funktion ist, d.h. $I_A\in V\subseteq ℱ(X,𝕂)$ ist.

Wahrscheinlichkeitsmaß von Mengen

Für ein Wahrscheinlichkeitsmaß $P:𝒮\to [0,1]$ müssen bezogen auf eine $\sigma$-Algebra $𝒮\subset \mathrm{\wp }(X)$ noch weitere Eigenschaften für das Wahrscheinlichkeitsmaß gelten. Dabei ist das Wahrscheinlichkeitsmaß in Wahrscheinlichkeitstheorie nicht auf einem Funktionenraum definiert, sondern auf der $\sigma$-Algebra als Definitionsbereich (z.B. die Borelsche $\sigma$-Algebra $ℬ(X,{\tau }_X)$, die als Erzeugendensystem die Topologie ${\tau }_X$ verwendet).

Zusammenhang - Wahrscheinlichkeitsmaß und Maß auf topologischen Räumen

Für ein Wahrscheinlichkeitsmaß $P:𝒮\to [0,1]$ und $A\in 𝒮$ gibt $P(A)\in [0,1]$ die Wahrscheinlichkeit der Menge $A$ an. Man stellt nun $A\in 𝒮$ als Indikatorfunktion $I_A:X\to [0,1]\subset 𝕂$ dar und verwendet eine Wahrscheinlichkeitsdichte $p:X\to {ℝ}_o^{+}\subset 𝕂$, kann man die Wahrscheinlickeit einer Menge als Maß auf einem Funktionenraum ausdrücken:

$P(A)=\mu (I_A\cdot p)=\underset{X}{\int }{I}_A(x)\cdot p(x)d\mu (x)=\underset{A}{\int }p(x)d\mu (x)$

Bemerkung - Notation dx

Beim Riemann-Integral kennt man die Notation $dx$ in

$\underset{a}{\overset{b}{\int }}f(x)dx$

In der Analysis ist dabei aus dem Kontext klar, welches Integral als Maß gemeint ist. In Anlehnung an die Integralnotation aus der Analysis ergänzt man $\mu$ zu $d\mu x$, um in der Integralnotation das verwendete Maß als lineare stetige Funktion zu benennen.

Maße in der Wahrscheinlichkeittheorie

In der Wahrscheinlichkeitstheorie $\mu$ ein Maß auf dem Messraum $(X,𝒜)$. Das Maß hat also als Definitionsbereich ein Mengensystem und mit dem Satz von Radon-Nikodým ist $f:X\to ℝ$ eine bezüglich $\mu$ integrierbare oder quasiintegrierbare messbare Funktion, so wird durch

$\nu (E)=\underset{E}{\int }f\mathrm{d}\mu$ für alle $E\in 𝒜$,

ein signiertes Maß $\nu$ auf $(X,𝒜)$ definiert.

Notation für das verwendete Maß

Die Notation $\mu$ in $\underset{E}{\int }f\mathrm{d}\mu$ bzw. :$\underset{E}{\int }f(x)\mathrm{d}\mu x$, welche dominierende Maß für die Dichtefunktion $f$ verwendet (z.B. Lebesgueintegral oder Riemann-Integral)

Maße auf Funktionenräumen

In der Maßtheorie auf topologischen Räumen operiert das Maß auf einem Funktionenraum und ordnet den Funktionen $f$ ein Wert zu (z.B. das Riemann-Integral über ein Intervall $[a,b]\subset ℝ$. Die integrablen Funktionen unterscheiden sich bzgl. des Riemann-Integral und des Lebesgueintegrals.

Beispiele für Maße auf Funktionenräumen

Sei $V:=𝒞([a,b],ℝ)$ der Funktionenraum der stetigen Funktionen auf $[a,b]\subset ℝ)$. $(V,\Vert \cdot {\Vert }_{max})$ mit $\Vert f{\Vert }_{max}:=\underset{x\in [a,b]}{\max }|f(x)|$ ein normierter Raum. Wir betrachten nun mit $x_o,x_1,x_2\in [a,b]$ die Abbildung:

${\mu }_3:V\to ℝf\mapsto {\mu }_3(f)=f(x_o)+f(x_1)+3\cdot f(x_2)$

Aufgabe 1

Zeigen Sie, dass die oben definierte Abbildung

${\mu }_3:V\to ℝf\mapsto {\mu }_3(f)=f(x_o)+f(x_1)+3\cdot f(x_2)$

ein Maß auf einem Funktionenraum $(V,\Vert \cdot {\Vert }_{max})$ ist!

Aufgabe 2

Zeigen Sie, dass die oben definierte Abbildung

$\mu :V\to ℝf\mapsto {\mu }_4(f)=f(x_o)$

ein kein Maß auf einem Funktionenraum $(V,\Vert \cdot {\Vert }_1)$ ist! Dabei sei $\Vert \cdot {\Vert }_1$ wie folgt definiert: $\Vert f{\Vert }_1:=\underset{a}{\overset{b}{\int }}|f(x)|dx$.

Hinweis zu Aufgabe 2

Die Abbildung $\mu :V\to ℝf\mapsto {\mu }_4(f)=f(x_o)$ ist zwar linear aber nicht mehr stetig wie in Aufgabe 1. Betrachten Sie dazu die folgende Animation einer Funktionenfolge $(f_n{)}_{n\in \mathbb{N}}$ mit $\Vert f_n{\Vert }_1=\underset{a}{\overset{b}{\int }}|f_n(x)|dx=1$ für alle $n\in \mathbb{N}$.

Animation zu Aufgabe 2

Lineare Funktion, die nicht stetig bzgl. der Intergralnorm ist

In der Animation wurde $x_o:=2$ gewählt und wenden Sie den Stetigkeitssatz für lineare Abbildungen auf normierten Räumen an!

Aufgabe 3 - Messen an unterschiedlichen Stellen

In der Praxis kennt man von einer Funktion $f:[a,b]\to ℝ$ nicht notwendigerweise die Funktionsvorschrift und damit den gesamten Graphen. Durch Messungen an den Stellen $x_0,x_1,\dots ,x_n\in [a,b]$ kennt lediglich einzelne Funktionswerte. Übertragen auf Nachhaltigkeitsfragen gibt die Funktion $f_t$ zum Zeitpunkt $t\in T$ für $x\in [a,b]$ mit $f_t(x)$ die Mengen der emittierten Schadstoffe an. Nun wollen wir entscheiden bzgl. der Messstellen, ob sich die Gesamtemission von Schadstoffen von $t_1$ zu $t_2$ verbessert hat. Definieren Sie dazu ein Maß, dass z.B. den Vergleich $\mu (f_{t_1})\le \mu (f_{t_2})$ erlaubt.

Aufgabe 4 - Messen auf Teilflächen des Grundraum

Wir betrachten nun Funktionen der Form

$f:[a_1,b_1]\times [a_2,b_2]\to ℝ.$

Auf Teilflächen des Rechtecks $[a_1,b_1]\times [a_2,b_2]$ (hier ebenfalls Rechtecke) wurde die Emission von Treibhaushgasen gemessen. Außerhalb dieser Messflächen ist die durch $f$ definiert Emission nicht bekannt. $f$ ist dabei die Dichtefunktion der Emission pro Flächeneinheit.

Aufgabe 4.1

Definieren Sie ein Maß, das für eine Teilfläche die mittlere Emissions pro Teilfläche angibt!

Aufgabe 4.2

Definieren Sie ein Maß, das auf Basis der Emissiondaten aus den Teilflächen, die hochgerechnet Emission für den gesamten Grundraum angibt.

Aufgabe 4.3

Können Sie auch ein Gütekriterium für ein Maß angeben, dass dabei hilft, die Güte der Vorhersage für die Gesamtemission abzuschätzen?

Aufgabe 4.4

Kann man für Aufgabe 4.3. auch ein Maß $\gamma$ definieren, das Indikatorfunktionen $I_A$ verwendet und die Güte über $\gamma (I_A)$ angibt?

Aufgabe 4.5

Wie kann man die Funktionaldeterminante dazu verwenden, um bei Integration über eine Funktion $f:{ℝ}^2\to ℝ$ das Integral über eine Kreisscheibe $B_{ϵ}(x_o):=\{x\in {ℝ}^2:\Vert x-x_o\Vert \le \epsilon \}$ berechnen kann?

Siehe auch

• Stetigkeitssatz für lineare Abbildungen
• Faltung von Funktionen
• Normen, Metriken, Topologie
• Gaugefunktional
• Satz von Radon-Nikodým

Seiteninformation

Diese Lernresource können Sie als Wiki2Reveal-Foliensatz darstellen.

Wiki2Reveal

Dieser Wiki2Reveal Foliensatz wurde für den Lerneinheit Kurs:Maßtheorie auf topologischen Räumen' erstellt der Link für die Wiki2Reveal-Folien wurde mit dem Wiki2Reveal-Linkgenerator erstellt.

• Die Seite wurde als Dokumententyp PanDocElectron-SLIDE erstellt.
• Link zur Quelle in Wikiversity: https://de.wikiversity.org/wiki/Kurs:Ma%C3%9Ftheorie%20auf%20topologischen%20R%C3%A4umen/Ma%C3%9Fe%20als%20stetige%20lineare%20Funktionen
• siehe auch weitere Informationen zu Wiki2Reveal und unter Wiki2Reveal-Linkgenerator.