Kurs:Funktionalanalysis/Hahn-Banach - reeller Fall

Satz von Hahn-Banach - reeller Fall

Es seien nun

• $U\subseteq V$ ein Untervektorraum eines $ℝ$-Vektorraumes $V$;
• $p:V\to {ℝ}_o^{+}$ eine Halbnorm;
• $f:U\to ℝ$ ein lineares Funktional, für das $f(u)\le p(u)$ für alle $u\in U$ gilt.

Dann gibt es ein lineares Funktional $F:V\to ℝ$, so dass

• $F{|}_U=f$ und.
• $F(v)\le p(v)$ für alle $v\in V$ gilt.

Beweis

Der Beweis gliedert sich in zwei Teile:

• Die Erweiterung des Funktional mit Definitionsbereich $U$ auf $U_1$ um eine weitere Dimension.
• Anwendung des Lemmas von Zorn auf beliebige Erweiterungen, wobei die partielle Ordnung durch die Mengeninklusion der Unterräume $U_i\subset U_j$ definiert wird.

Beweisteil 1: Eindimensionale Erweiterung des Funktionals

Sei nun $x_1\in V\setminus U$ und $U_1:=\{\lambda \cdot x_1+u|\lambda \in ℝ\wedge u\in U\}$ der von $x_1$ und $U$ erzeugte Untervektorraum. Das Funktional $f:U\to ℝ$ wird nur auf $f_1:U_1\to ℝ$ mit dem Definitionsbereich erweitert.

Beweisschritt 1.1: Eigenschaften Linearität

Unter der Ausnutzung der Eigenschaften der Linearität muss das gesuchte lineare Funktional $f_1:U_1\to ℝ$ die folgende Eigenschaft für ein $x=\lambda \cdot x_1+u\in U_1$ erfüllen:

$f_1(x)=f_1(\lambda \cdot x_1+u)=\lambda \cdot f_1(x_1)+f_1(u)=\lambda \cdot f_1(x_1)+f(u)$

Die Aufgabe in Beweisteil 1 besteht also darin, ein $\alpha :=f_1(x_1)\in ℝ$ zu finden, das die Eigenschaft $f_1(x)\le p(x)$ für alle $x\in U_1$ erfüllt.

Beweisschritt 1.2: Beschränktheit durch die Halbnorm

Für ein beliebiges $\alpha \in ℝ$ wird nun ein lineares Funktional $f_{\alpha }(x)$ definiert mit:

$f_{\alpha }(x)=\lambda \cdot \alpha +f(u)\text{ mit }x=\lambda \cdot x_1+u$

Für alle $f_{\alpha }$ gilt die Bedingung $f_{\alpha }{|}_U=f$. Das gesuchte $f_1$ wird aus der Menge der lineare Funktionale $\{f_{\alpha }|\alpha \in ℝ\}$ bestimmt.

Beweisschritt 1.3: Beschränktheit durch die Halbnorm

Wenn ein lineares Funktional $f_{\alpha }(x)$ die Eigenschaft $f_{\alpha }\le p{|}_{U_1}$ erfüllt, gilt für alle $\lambda \in ℝ$ die Bedingung:

$f_{\alpha }(x)=f_{\alpha }(\underset{=x\in U_1}{\underbrace{\lambda \cdot x_1+u}})=\lambda \cdot \alpha +f(u)\le p(\lambda \cdot x_1+u)=p(x)$

Beweisschritt 1.3: Beschränktheit durch die Halbnorm - Fallunterscheidnng

Wir betrachten nun diese Gleichung mit einer Fallunterscheidung für $\lambda \in ℝ$ und $x=\lambda \cdot x_1+u\in U$

• Fall 1: $\lambda =0$
• Fall 2: $\lambda \in {ℝ}^{+}$
• Fall 3: $\lambda \in {ℝ}^{-}$

Beweisschritt 1.4: Beschränktheit durch die Halbnorm - Fall 1

Fall 1 $\lambda =0$: In diesem Fall ist $x=\lambda \cdot x_1+u=u\in U$ und die Ungleichung $f_{\alpha }(x)=f(u)\le p(u)=p(x)$ sogar für beliebige $\alpha \in ℝ$

Beweisschritt 1.5: Beschränktheit durch die Halbnorm - Fall 2

Fall 2 $\lambda \in {ℝ}^{+}$: Für $x=\lambda \cdot x_1+u\in U_1$ und Multiplikation der Gleichung mit $\frac{1}{\lambda }$ erhält man die Ungleichung:

$\begin{array}{ccc}{f}_{\alpha }\left(\frac{1}{\lambda }x\right)& =& f_{\alpha }\underset{\in U_1}{\underbrace{(x_1+\frac{1}{\lambda }u)}}=\alpha +f(\frac{1}{\lambda }\cdot u)\\ & \le & p(x_1+\frac{1}{\lambda }\cdot u)=p(x)\text{ mit }\frac{1}{\lambda }\cdot u\in U\end{array}$

Damit erhält man $\alpha \le p(x_1+\frac{1}{\lambda }\cdot u)-f(\frac{1}{\lambda }\cdot u)$ bzw. $\alpha \le p(x_1+u)-f\left(u\right)$ für alle $u\in U$.

Beweisschritt 1.6: Beschränktheit durch die Halbnorm - Fall 3

Fall 3 $\lambda \in {ℝ}^{-}$ Für $x=\lambda \cdot x_1+u\in U_1$ und Multiplikation der Gleichung mit $-\frac{1}{\lambda }$ erhält man die Ungleichung:

$\begin{array}{ccc}p(-\frac{1}{\lambda }x)& =& p(-x_1-\frac{1}{\lambda }u)\\ & \ge & f_{\alpha }\underset{=-\frac{1}{\lambda }x}{\underbrace{(-x_1-\frac{1}{\lambda }u)}}=-\alpha -f(\frac{1}{\lambda }\cdot u)\text{ mit }-\frac{1}{\lambda }\cdot u\in U\end{array}$

Damit erhält man $\alpha \ge -p(-x_1-\frac{1}{\lambda }\cdot u)-f(\frac{1}{\lambda }\cdot u)$ bzw. $\alpha \ge -p(-x_1-\tilde{u})-f\left(\tilde{u}\right)$ für alle $\tilde{u}\in U$.

Beweisschritt 1.7: Ungleichungskette für alpha

Die Fallunterscheidung liefert also folgende Ungleichungskette für $\alpha$, die ein gesuchtes lineares Funktional $f_{\alpha }$ erfüllen für beliebige $u,\tilde{u}\in U$ erfüllen muss:

$-p(-x_1-\tilde{u})-f\left(\tilde{u}\right)\le \alpha \le p(x_1+u)-f\left(u\right)$

Da $\alpha \in ℝ$ fest gewählt werden muss, kann das nur extieren, wenn für alle $u,\tilde{u}\in U$ auch die folgenden Ungleichung gilt:

$-p(-x_1-\tilde{u})-f\left(\tilde{u}\right)\le p(x_1+u)-f\left(u\right)$

Beweisschritt 1.8: Ungleichungskette für Infimum und Supremum

Wir zeigen nun in 1.8. dass die folgenden Ungleichung für das Supremum $S_1$ und Infimum $I_1$ gilt:

$S_1:=\underset{\tilde{u}\in U}{\sup }\{-p(-x_1-\tilde{u})-f(\tilde{u})\}\le \underset{u\in U}{\inf }\{p(x_1+u)-f(u)\}=:I_1$

Wenn diese Ungleichung gilt, kann das gesuchte $\alpha \in ℝ$ aus dem Intervall $[S_1,I_1]$ beliebig gewählt werden.

Bemerkung 1.8.0: Ungleichungskette für Infimum und Supremum

Das Supremum $S_1$ und Infimum $I_1$ wird bzgl. $U_1$ gebildet und hängt damit von der Wahl von $U$ und $x_1$ ab.

Beweisschritt 1.8.1: Ungleichungskette für Infimum und Supremum

Für alle $u,\tilde{u}\in U$ gilt

$\begin{array}{ccc}f(u)-f(\tilde{u})& =& f(u-\tilde{u})\text{ mit Linearität und }f\le p{|}_U\\ & \le & p(u-\tilde{u})=p(u-\tilde{u}+\underset{=0}{\underbrace{x_1-x_1}})\\ & =& p((u+x_1)+(-\tilde{u}-x_1))\\ & \le & p(u+x_1)+p(-\tilde{u}-x_1)\text{ mit }\mathrm{\Delta }\text{-Ungleichung}\end{array}$

und man erhält $-p(-\tilde{u}-x_1)-f(\tilde{u})\le p(x_1+u)-f(u)$.

Beweisschritt 1.8.2: Ungleichungskette für Infimum und Supremum

Da die Aussage $-p(-\tilde{u}-x_1)-f(\tilde{u})\le p(x_1+u)-f(u)$ für alle $u,\tilde{u}\in U$ gilt erhält man die Aussage ebenfalls für das Infimum und Supremum und $S_1\le I_1$ mit:

$S_1:=\underset{\tilde{u}\in U}{\sup }\{-p(-x_1-\tilde{u})-f(\tilde{u})\}\le \underset{u\in U}{\inf }\{p(x_1+u)-f(u)\}=:I_1$

Beweisschritt 1.9

Wähle nun ein beliebiges $\alpha \in [S_1,I_1]$ und definiere die gesuchte Erweiterung $f_1:U_1\to ℝ$ mit $f_1(x)=f(\underset{=x}{\underbrace{\lambda \cdot x_1+u}})=\lambda \cdot \alpha +f(u)$ $f_1:U_1\to ℝ$ kann nur induktiv auf $f_2:U_2\to ℝ$ erweitern und damit kann man immer weiter die Funktionale auf Obermenge von dem gegebenen $U$ erweitert. Nun fehlt noch der zweite Beweisteil über das Lemma von Zorn, dass man in unendlichdimensionalen Vektorräume auch auf ganz $V$ das lineare Funktional erweitern kann.

Beweisteil 2: Anwendung des Lemma von Zorn

Für die Anwendung des Lemmas von Zorn definiere wir zunächst ein Menge $ℰ$ von Paaren $(g,\tilde{U})$ mit:

• $\tilde{U}\subset V$ ist eine Untervektorraum von $V$,
• $g:\tilde{U}\to ℝ$ ist ein lineares Funktional auf $\tilde{U}$,
• $g{|}_U=f$ und $g\le p{|}_{\tilde{U}}$.

Beweisschritt 2.1: Definition partiellen Ordnung

Auf der Menge $ℰ$ von Paaren $(g,\tilde{U})$ definiert man nun eine partielle Ordnung:

$(g_1,{\tilde{U}}_1)\prec (g_2,{\tilde{U}}_2):⟺{\tilde{U}}_1\subset {\tilde{U}}_2\wedge g_2{|}_{{\tilde{U}}_1}=g_1$

Beweisschritt 2.2: Eigenschaften der Menge

Die Menge $ℰ$ von Paaren $(g,\tilde{U})$ besitzt folgende Eigenschaften:

• $ℰ=\mathrm{\varnothing }$, da $(f,U)\in ℰ$ aus der Voraussetzung des Satzes die Eigenschaften erfüllt.
• Für eine Kette ${ℰ}_0=\mathrm{\varnothing }$ mit ${ℰ}_0\subseteq ℰ$ (d.h. es gibt eine totale Ordnung auf ${ℰ}_0$) kann z.B. über die sukzessive Erweiterungen $(g_1,{\tilde{U}}_1)\prec (g_2,{\tilde{U}}_2)\prec (g_3,{\tilde{U}}_3)\prec ...$ ein Kette konstruieren.

Beweisschritt 2.3: Ketten haben obere Schranken

Wir zeigen nun, dass unter den oben genannte Voraussetzungen Ketten obere Schranken besitzen. Wenn diese Eigenschaften der partiell geordneten Menge gegeben ist, kann man das Lemma von Zorn auf $ℰ$ anwenden.

• Sei ${ℰ}_0=\mathrm{\varnothing }$ eine Kette und
• $M:=\bigcup _{(g,\tilde{U})\in {ℰ}_0}\tilde{U}\subseteq V$ ist ein Untervektorraum von $V$.

Im Allgemeinen ist die Vereinigung von zwei Untervektorräumen nicht notwendigerweise wieder ein Untervektorraum. In diesem Fall gilt die Aussage aber, weil durch die vollständige Ordnung auf ${ℰ}_0$ eine Mengeninklusion zwischen zwei beliebige Paare $(g_1,{\tilde{U}}_1)\prec (g_2,{\tilde{U}}_2)$ mit ${\tilde{U}}_1\subset {\tilde{U}}_2$ und $g_2{|}_{{\tilde{U}}_1}=g_1$ gilt.

Beweisschritt 2.4: Definition eines Funktionals für obere Schranken

Mit $M:=\bigcup _{(g,\tilde{U})\in {ℰ}_0}\tilde{U}\subset V$ ist ein Untervektorraum definiert für die Kette. Für eine obere Schranke der Kette benötigt man noch ein lineares Funktional $g_M:M\to ℝ$, das mit $(g_M,M)$ auch ein Element in ${ℰ}_0$ ist:

• Sei $x\in M$, dann gibt es ein $(g,\tilde{U})\in {ℰ}_0$ mit $x\in \tilde{U}$.
• Definiere nun $g_M(x):=g(x)$. Diese Definition ist u.a. durch die vollständige Ordnung auf ${ℰ}_0$ wohldefiniert, da mit $(g_1,{\tilde{U}}_1)\prec (g_2,{\tilde{U}}_2)$auch $g_2{|}_{{\tilde{U}}_1}=g_1$ erfüllt ist.

Beweisschritt 2.5: Maximale Elemente existieren

Mit dem Lemma von Zorn existieren nun maximale Elemente in $(g_{\tilde{M}},\tilde{M})$ in $ℰ$. Wir nehmen nun an, dass ein solches maximales Element $(g_{\tilde{M}},\tilde{M})$ die Eigenschaft besitzt, dass $\tilde{M}=V$ wäre. Dann existiert aber ein $x_2\in V\setminus \tilde{M}$, mit dem man $g_{\tilde{M}}$ auf eine Obermenge ${\tilde{U}}_2\subset V$ erweitert und analog zum Beweisteil 1 eine Paar $(g_2,{\tilde{U}}_2)$ definieren, das die Eigenschaft $(g_{\tilde{M}},\tilde{M})\prec (g_2,{\tilde{U}}_2)$ erfüllt. Dies wäre aber ein Widerspruch zu der Annahme, dass $(g_{\tilde{M}},\tilde{M})$ bereits maximal ist.

Beweiseschritt 3:

Zusammen mit Beweisteil 1 und 2 gilt nun die Behauptung des Satzes von Hahn-Banach im reelen Fall. $◻$

Siehe auch

• Kurs:Funktionalanalysis/Satz von Hahn-Banach
• Kurs:Funktionalanalysis/Quotientenraum
• Lemmas von Zorn

Seiteninformation

Diese Lernresource wurde als Wiki2Reveal Foliensatz erstellt.

Wiki2Reveal

Dieser Wiki2Reveal Foliensatz wurde für den Lerneinheit Kurs:Funktionalanalysis' 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:Funktionalanalysis/Hahn-Banach%20-%20reeller%20Fall
• siehe auch weitere Informationen zu Wiki2Reveal und unter Wiki2Reveal-Linkgenerator.