Hahn-Banach

Hahn-Banach

Der Satz von Hahn-Banach (nach Hans Hahn und Stefan Banach) aus dem mathematischen Teilgebiet der Funktionalanalysis ist einer der Ausgangspunkte der Funktionalanalysis. Er sichert die Existenz von ausreichend vielen stetigen, linearen Funktionalen auf normierten Vektorräumen oder allgemeiner auf lokalkonvexen Räumen. Die Untersuchung eines Raums mit Hilfe der darauf definierten stetigen, linearen Funktionale führt zu einer weitreichenden Dualitätstheorie, die auf allgemeinen topologischen Vektorräumen in dieser Form nicht möglich ist, da eine zum Satz von Hahn-Banach analoge Aussage dort nicht gilt.

Darüber hinaus ist der Satz von Hahn-Banach die Grundlage für viele nicht-konstruktive Existenzbeweise wie z. B. im Trennungssatz oder im Satz von Krein-Milman.

Inhaltsverzeichnis

Der endlich-dimensionale Fall

Stellt man Vektoren eines endlichdimensionalen reellen oder komplexen Vektorraums X bzgl. einer fest gewählten Basis in der Form eines Zeilenvektors (v_1,\ldots,v_n) dar, so kann man die jeweiligen i-ten Einträge dieser Zeilenvektoren als Funktionen

x_i\colon X\to\mathbb K,\quad (v_1,\ldots,v_n)\mapsto v_i

auffassen (dabei sei \mathbb K der Grundkörper \mathbb R bzw. \mathbb C). Ein wesentlicher Teil der Bedeutung einer solchen aus der linearen Algebra bekannten Koordinatendarstellung liegt nun darin, dass zwei Vektoren genau dann gleich sind, wenn alle ihre Koordinaten übereinstimmen:

v=w\iff x_i(v)=x_i(w)\ \mathrm{f\ddot ur}\ i=1,\ldots,n.

Die Koordinatenfunktionen trennen daher die Punkte, d. h. sind v \neq w verschiedene Vektoren, dann gibt es einen Index i, so dass x_i(v) \neq x_i(w) ist. Die xi sind stetige lineare Funktionale auf dem endlich dimesionalen Raum.

In unendlich-dimensionalen Räumen gibt es i. d. R. keine den Koordinaten xi vergleichbare Konstruktion, wenn man dabei auf Stetigkeit der Koordinaten besteht. Der Satz von Hahn-Banach impliziert aber, dass die Menge aller stetigen linearen Funktionale auf einem normierten Raum (oder allgemeiner auf einem lokalkonvexen Raum) die Punkte trennt.

Formulierung

Es sei X ein Vektorraum über \mathbb K (dabei sei \mathbb K=\mathbb R oder \mathbb K=\mathbb C).

Eine Abbildung

p\colon X\to\mathbb R

heißt sublinear, wenn die Bedingungen

  • p(x+y)\leq p(x)+p(y)
  • p(\lambda x)=|\lambda|\cdot p(x)

für alle x,y\in X und \lambda\in\mathbb K erfüllt sind.

Es seien nun

  • Y\subseteq X ein Teilraum;
  • p\colon X\to\mathbb R sublinear;
  • f\colon Y\to\mathbb K ein lineares Funktional, für das |f(y)|\leq p(y) für alle y\in Y gilt.

Dann gibt es ein lineares Funktional F\colon X\to\mathbb K, so dass

  • F|_Y=f\,\, und
  • |F(x)|\leq p(x)

für alle x\in X gilt.

Der Beweis dieses grundlegenden Satzes ist nicht konstruktiv. Man betrachtet die Menge aller Fortsetzungen g:Z\rightarrow {\mathbb K} von f auf Teilräume Z mit Y\subset Z\subset X, für die |g(z)|\leq p(z) für alle z\in Z gilt. Dann zeigt man mit dem Lemma von Zorn, dass die Menge aller solchen Fortsetzungen maximale Elemente besitzt und dass ein solches maximales Element eine gesuchte Fortsetzung F\colon X\to{\mathbb K} ist.

Korollare

Häufig ist eine der folgenden Aussagen gemeint, wenn der „Satz von Hahn-Banach“ zitiert wird:

  • Ist X ein normierter Raum, so gibt es für jedes x\in X ein lineares Funktional f mit Norm 1, für das f(x)=\|x\| gilt. Sind x,y\in X verschiedene Punkte, so erhält man die oben erwähnte Eigenschaft der Punktetrennung, indem man dies auf x-y\neq 0 anwendet.
  • Ist allgemeiner X ein normierter Raum, U ein Unterraum, und liegt x\in X nicht im Abschluss von U, so gibt es ein lineares Funktional f mit Norm 1, das auf U verschwindet und für das f(x)=\|x\| gilt.
  • Ist X ein normierter Raum, Y ein Teilraum und f ein stetiges lineares Funktional auf Y, so kann f zu einem stetigen linearen Funktional derselben Norm auf ganz X fortgesetzt werden. Anders ausgedrückt: die Einschränkung von Funktionalen ist eine surjektive Abbildung X^*\to Y^* der Dualräume.
  • Weitere Folgerungen geometrischer Art finden sich im Artikel Trennungssatz.

Literatur


Wikimedia Foundation.

Игры ⚽ Нужна курсовая?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Hahn–Banach theorem — In mathematics, the Hahn–Banach theorem is a central tool in functional analysis. It allows the extension of bounded linear operators defined on a subspace of some vector space to the whole space, and it also shows that there are enough… …   Wikipedia

  • Theoreme de Hahn-Banach — Théorème de Hahn Banach Ce théorème, auquel a été donné le nom des deux mathématiciens Hans Hahn et Stefan Banach, garantit l existence d une forme linéaire vérifiant certaines conditions (valeurs imposées sur une partie de l espace, mais… …   Wikipédia en Français

  • Théorème de Hahn-Banach — En mathématiques, et plus particulièrement en analyse et en géométrie, le théorème de Hahn Banach, dû aux deux mathématiciens Hans Hahn et Stefan Banach, garantit l existence d une forme linéaire vérifiant certaines conditions (valeurs imposées… …   Wikipédia en Français

  • Théorème de hahn-banach — Ce théorème, auquel a été donné le nom des deux mathématiciens Hans Hahn et Stefan Banach, garantit l existence d une forme linéaire vérifiant certaines conditions (valeurs imposées sur une partie de l espace, mais limitées partout). En… …   Wikipédia en Français

  • Teorema de Hahn–Banach — En matemáticas, el teorema de Hahn–Banach es una herramienta importante en análisis funcional. Permite extender cualquier operador lineal acotado definido en un subespacio vectorial al espacio vectorial que lo contiene. Debe su nombre a Hans Hahn …   Wikipedia Español

  • Satz von Hahn-Banach — Der Satz von Hahn Banach (nach Hans Hahn und Stefan Banach) aus dem mathematischen Teilgebiet der Funktionalanalysis ist einer der Ausgangspunkte der Funktionalanalysis. Er sichert die Existenz von ausreichend vielen stetigen, linearen… …   Deutsch Wikipedia

  • BANACH (S.) — Avec l’introduction des espaces qui portent son nom et l’étude fine des applications linéaires dans ces espaces, Banach est un des fondateurs de l’analyse fonctionnelle. Son œuvre illustre bien la force des théories mathématiques modernes: se… …   Encyclopédie Universelle

  • Banach — ist der Nachname mehrerer Personen: Ed Banach (* 1960), US amerikanischer Ringer Lou Banach (* 1960), US amerikanischer Ringer Maurice Banach (1967–1991), deutscher Fußballspieler Stefan Banach (1892–1945), polnischer Mathematiker, danach benannt …   Deutsch Wikipedia

  • Banach–Tarski paradox — The Banach–Tarski paradox is a theorem in set theoretic geometry which states that a solid ball in 3 dimensional space can be split into several non overlapping pieces, which can then be put back together in a different way to yield two identical …   Wikipedia

  • Banach-Steinhaus — Der Satz von Banach Steinhaus oder das Prinzip der gleichmäßigen Beschränktheit ist eines der fundamentalen Ergebnisse der Funktionalanalysis und bildet zusammen mit dem Satz von Hahn Banach und dem Offenheitssatz einen der Eckpfeiler des Gebiets …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”