Hahn-Banach-Theorem – Wikipedia
Satz zur Erweiterung begrenzter linearer Funktionale
Das Hahn-Banach-Theorem ist ein zentrales Werkzeug in der Funktionsanalyse (ein Bereich der Mathematik). Es ermöglicht die Erweiterung von begrenzten linearen Funktionalen, die in einem Unterraum eines Vektorraums definiert sind, auf den gesamten Raum und zeigt auch, dass in jedem normierten Vektorraum “genügend” kontinuierliche lineare Funktionale definiert sind, um das Studium des dualen Raums interessant zu machen “. Eine andere Version des Hahn-Banach-Theorems ist als bekannt Hahn-Banach-Trennungssatz oder der Hyperebenentrennungssatz und hat zahlreiche Verwendungen in der konvexen Geometrie.
Geschichte[edit]
Der Satz ist nach den Mathematikern Hans Hahn und Stefan Banach benannt, die ihn Ende der 1920er Jahre unabhängig voneinander bewiesen haben. Der Sonderfall des Satzes für den Raum
von kontinuierlichen Funktionen in einem Intervall wurde früher (1912) von Eduard Helly bewiesen,[1] und ein allgemeinerer Erweiterungssatz, der M. Riesz-Erweiterungssatz, aus dem der Hahn-Banach-Satz abgeleitet werden kann, wurde 1923 von Marcel Riesz bewiesen.[2]
Das erste Hahn-Banach-Theorem wurde 1921 von Eduard Helly bewiesen, der zeigte, dass bestimmte lineare Funktionale in einem Unterraum eines bestimmten Typs eines normierten Raums definiert sind (
) hatte eine Erweiterung der gleichen Norm. Helly tat dies durch die Technik, zuerst zu beweisen, dass eine eindimensionale Erweiterung existiert (wobei die Domäne der linearen Funktion um eine Dimension erweitert ist) und dann Induktion zu verwenden. 1927 definierte Hahn allgemeine Banach-Räume und verwendete Hellys Technik, um eine normbewahrende Version des Hahn-Banach-Theorems für Banach-Räume zu beweisen (wobei eine begrenzte lineare Funktion in einem Unterraum eine begrenzte lineare Ausdehnung derselben Norm auf den gesamten Raum hat). 1929 verallgemeinerte Banach, der Hahns Ergebnis nicht kannte, es, indem er die normbewahrende Version durch die dominierte Erweiterungsversion ersetzte, die sublineare Funktionen verwendet. Während Hellys Beweis die mathematische Induktion verwendete, verwendeten Hahn und Banach beide die transfinite Induktion.
Das Hahn-Banach-Theorem entstand aus Versuchen, unendliche lineare Gleichungssysteme zu lösen. Dies ist erforderlich, um Probleme wie das Momentproblem zu lösen, wobei bei allen möglichen Momenten einer Funktion festgestellt werden muss, ob eine Funktion mit diesen Momenten existiert, und wenn ja, anhand dieser Momente gefunden werden muss. Ein weiteres solches Problem ist das Fourier-Cosinus-Reihenproblem, bei dem man bei allen möglichen Fourier-Cosinus-Koeffizienten bestimmen muss, ob eine Funktion mit diesen Koeffizienten existiert, und sie erneut finden muss, wenn dies der Fall ist.
Riesz und Helly lösten das Problem für bestimmte Raumklassen (wie z. B. L.p(([0, 1]) und C([a, b])) wo sie entdeckten, dass die Existenz einer Lösung der Existenz und Kontinuität bestimmter linearer Funktionale entspricht. Tatsächlich mussten sie das folgende Problem lösen:
- ((Das Vektorproblem) Eine Sammlung gegeben von begrenzten linearen Funktionalen auf einem normierten Raum X. und eine Sammlung von Skalaren , stellen Sie fest, ob es eine gibt x ∈ X. so dass fich((x) = cich für alle ich ∈ ich.
Um dies zu lösen, wenn X. ist reflexiv, dann reicht es aus, das folgende doppelte Problem zu lösen:
- ((Das Funktionsproblem) Eine Sammlung gegeben von Vektoren in einem normierten Raum X. und eine Sammlung von Skalaren , bestimmen, ob es eine begrenzte lineare Funktion gibt f auf X. so dass f((xich) = cich für alle ich ∈ ich.
Riesz fuhr fort zu definieren L.p(([0, 1]) ((1 p <∞) im Jahr 1910 und die lp Räume im Jahr 1913. Bei der Untersuchung dieser Räume erwies er sich als Sonderfall des Hahn-Banach-Theorems. Helly erwies sich 1912 auch als Sonderfall des Hahn-Banach-Theorems. 1910 löste Riesz das Funktionsproblem für bestimmte Räume und 1912 löste Helly es für eine allgemeinere Klasse von Räumen. Erst 1932 löste Banach in einer der ersten wichtigen Anwendungen des Hahn-Banach-Theorems das allgemeine Funktionsproblem. Der folgende Satz gibt das allgemeine Funktionsproblem an und charakterisiert seine Lösung.
Satz (Das Funktionsproblem) – – Lassen X. ein realer oder komplexer normierter Raum sein, ich ein nicht leerer Satz, ((cich)ich ∈ ich eine Familie von Skalaren und ((xich)ich ∈ ich eine Familie von Vektoren in X..
Es gibt eine kontinuierliche lineare Funktion f auf X. so dass f((xich) = cich für alle ich ∈ ich genau dann, wenn es eine gibt K. > 0 so dass für jede Wahl von Skalaren ((sich)ich ∈ ich wo alle aber endlich viele sich sind 0, haben wir unbedingt
Man kann den obigen Satz verwenden, um den Hahn-Banach-Satz abzuleiten. Wenn X. ist reflexiv, dann löst dieser Satz das Vektorproblem.
Hahn-Banach-Theorem[edit]
Satz (Hahn-Banach)[4] – – einstellen 𝕂 entweder sein ℝ oder ℂ und lass X. sei ein 𝕂-Vektorraum. Wenn f :: M. → 𝕂 ist ein 𝕂-lineare Funktion auf a 𝕂-linearer Unterraum M. und p :: X. → ℝ eine nichtnegative, sublineare Funktion, so dass
- |f((m)| ≤ p((m) für alle m ∈ M..
dann gibt es eine 𝕂-linear F. :: X. → 𝕂 so dass
- F.((m) = f((m) für alle m ∈ M.,
- |F.((x)| ≤ p((x) für alle x ∈ X..
Die Erweiterung F. wird im Allgemeinen nicht eindeutig durch angegeben f und der Beweis gibt keine explizite Methode, wie man findet F..
Es ist möglich, die Subadditivitätsbedingung ein wenig zu lockern pund erfordert nur das für alle x, y ∈ X. und alle Skalare ein und b befriedigend |ein| + |b| ≤ 1,
- p((Axt + durch) ≤ |ein| p((x) + |b| p((y) .
Es ist weiterhin möglich, die positive Homogenität und die Subadditivitätsbedingungen weiter zu lockern p, nur das erforderlich p ist konvex.
Das Mizar-Projekt hat den Beweis des Hahn-Banach-Theorems in der HAHNBAN-Datei vollständig formalisiert und automatisch überprüft.[7]
Beweis[edit]
In dem komplexen Fall ist die ℂ-linearitätsannahmen verlangen das M.=N.+Ni für einen realen Vektorraum N.. Darüber hinaus für jeden Vektor x ∈ N., f((ix) = wenn((x). Somit bestimmt der Realteil einer linearen Funktion bereits das Verhalten der linearen Funktion als Ganzes, und es wird ausreichen, den Realfall zu beweisen.
Zuerst notieren wir Hellys erstes Ergebnis: wenn M. hat Codimension 1, dann ist Hahn-Banach einfach.
Lemma (Eindimensional dominierter Erweiterungssatz) – – Lassen X. sei ein realer Vektorraum, p :: X. → ℝ eine sublineare Funktion, f :: M. → ℝ eine lineare Funktion auf einem geeigneten Vektorunterraum M. ⊆ X. so dass f ≤ p auf M. (dh f((m) ≤ p((m) für alle m ∈ M.), und x ∈ X. ein Vektor nicht im M.. Es gibt eine lineare Erweiterung F. :: M. ⊕ ℝx → ℝ von f zu M. ⊕ ℝx = span { M., x} so dass F. ≤ p auf M. ⊕ ℝx.
Um dieses Lemma zu beweisen, lassen Sie m, n ∈ M.. Durch die Linearitätseigenschaften unserer Funktionen,
- – –p(-x – – n) – f((n) ≤ p((m + x) – f((m).
Insbesondere lassen
- ein = [ −p(−x − n) − f(n)], und b = [p(m + x) − f(m)]
Dann schließen wir “die entscheidende Ungleichung”, die für jeden ein≤b. Also lass c ∈ [a, b] und definieren F.((m + rx) =f((m) + rc;; dann
- F.((m + rx) ≤p((m) + rc≤p((m+rx)
Die umgekehrte Ungleichung ist ähnlich.
Wenden Sie nun Zorns Lemma an: die möglichen Erweiterungen von f sind teilweise durch Erweiterung voneinander geordnet, so dass es eine maximale Erweiterung gibt F.. Durch das Codimension-1-Ergebnis, wenn F. ist nicht für alle definiert X., dann kann es weiter ausgebaut werden. So F. muss überall definiert werden, wie behauptet.
In lokal konvexen Räumen[edit]
In der obigen Form muss die zu erweiternde Funktion bereits durch eine sublineare Funktion begrenzt sein. In einigen Anwendungen könnte dies nahe daran sein, die Frage zu stellen. In lokal konvexen Räumen ist jedoch jede kontinuierliche Funktion bereits durch die Norm begrenzt, die sublinear ist. Man hat also
Kontinuierliche Erweiterungen auf lokal konvexen Räumen – – Lassen X. lokal konvexer topologischer Vektorraum über 𝕂 (entweder ℝ oder ℂ) sein, M. ein Vektor-Unterraum von X., und f eine kontinuierliche lineare Funktion auf M.. Dort f hat eine kontinuierliche lineare Ausdehnung auf alle X.. Wenn die Topologie aktiviert ist X. ergibt sich aus einer Norm, dann der Norm von f wird durch diese Erweiterung erhalten.
In kategorietheoretischen Begriffen das Feld 𝕂 ist ein injektives Objekt in der Kategorie lokal konvexer Vektorräume.
Beziehung zum Axiom der Wahl[edit]
Der obige Beweis verwendet Zorns Lemma, das dem Axiom der Wahl entspricht. Es ist jetzt bekannt (siehe unten), dass das Ultrafilter-Lemma (oder gleichwertig das Boolesche Primideal-Theorem), das etwas schwächer als das Axiom der Wahl ist, tatsächlich stark genug ist.
Das Hahn-Banach-Theorem entspricht dem Folgenden:[8]
- (∗): Auf jeder Booleschen Algebra B. es existiert eine “Wahrscheinlichkeitsladung”, dh: eine nicht konstante endlich additive Karte aus B. in [0, 1].
(Der Idealsatz der Booleschen Primzahl entspricht der Aussage, dass es immer nicht konstante Wahrscheinlichkeitsladungen gibt, die nur die Werte 0 und 1 annehmen.)
In der Zermelo-Fraenkel-Mengenlehre kann man zeigen, dass das Hahn-Banach-Theorem ausreicht, um die Existenz einer nicht-Lebesgue-messbaren Menge abzuleiten.[9] Darüber hinaus impliziert der Hahn-Banach-Satz das Banach-Tarski-Paradoxon.[10]
Für trennbare Banach-Räume haben DK Brown und SG Simpson bewiesen, dass der Hahn-Banach-Satz aus WKL folgt0, ein schwaches Subsystem der Arithmetik zweiter Ordnung, das eine Form von Kőnigs Lemma annimmt, das als Axiom auf binäre Bäume beschränkt ist. Tatsächlich beweisen sie, dass unter schwachen Annahmen beide äquivalent sind, ein Beispiel für umgekehrte Mathematik.[11][12]
“Geometrischer Hahn-Banach” (die Hahn-Banach-Trennungssätze)[edit]
Das Schlüsselelement des Hahn-Banach-Theorems ist im Wesentlichen ein Ergebnis der Trennung zweier konvexer Mengen: {-p(-x – – n) – f((n): n∈M. }, und {p((m + x) – f((m): m∈M. }. Diese Art von Argumenten ist in der konvexen Geometrie weit verbreitet.[13]Optimierungstheorie und Wirtschaft. Zu diesem Zweck abgeleitete Lemmas, die aus dem ursprünglichen Hahn-Banach-Theorem abgeleitet wurden, sind als die bekannt Hahn-Banach-Trennungssätze.[14][15]
Satz[14] – – Lassen X. sei ein realer lokal konvexer topologischer Vektorraum und lass EIN und B. nicht leere konvexe Teilmengen sein. Wenn Int EIN ≠ ≠ und B. ∩ Int EIN = ∅ dann existiert eine kontinuierliche lineare Funktion f auf X. so dass sup f((EIN) ≤ inf f((B.) und f((ein)
Oft nimmt man an, dass die konvexen Mengen eine zusätzliche Struktur haben; dh dass sie offen oder kompakt sind. In diesem Fall kann die Schlussfolgerung erheblich gestärkt werden:
Satz[16] – – Lassen X. sei ein realer topologischer Vektorraum und wähle EIN, B. konvexe nicht leere disjunkte Teilmengen von X..
- Wenn EIN ist dann offen EIN und B. sind getrennt durch eine (geschlossene) Hyperebene. Dies bedeutet explizit, dass eine kontinuierliche lineare Karte existiert f :: X. → 𝕂 und s ∈ ∈ so dass f((ein) s ≤ f((b) für alle ein ∈ EIN, b ∈ B.. Wenn beides EIN und B. offen sind, kann auch die rechte Seite streng genommen werden.
- Wenn X. ist lokal konvex, EIN ist kompakt und B. dann geschlossen EIN und B. sind streng getrennt: Es gibt eine kontinuierliche lineare Karte f :: X. → 𝕂 und s, t ∈ ∈ so dass f((ein) t < s < f((b) für alle ein ∈ EIN, b ∈ B..
Wenn X. ist komplex, dann gelten die gleichen Ansprüche, aber für den Realteil von f.
Eine wichtige Folge ist die Geometrischer Hahn-Banach-Satz oder Satz von Mazur.
Satz (Mazur) – – Lassen M. sei ein Vektorunterraum des topologischen Vektorraums X.. Annehmen K. ist eine nicht leere konvexe offene Teilmenge von X. mit K. ∩ M. = ∅. Dann gibt es eine geschlossene Hyperebene (Codimension-1-Vektor-Unterraum) N.⊆X. das beinhaltet M., bleibt aber unzusammenhängend von K..
Um zu sehen, dass Mazurs Theorem aus den Hahn-Banach-Trennungssätzen folgt, beachten Sie Folgendes M. ist konvex und wende die erste Kugel an. Der Satz von Mazur verdeutlicht, dass Vektorunterräume (auch solche, die nicht geschlossen sind) durch lineare Funktionale charakterisiert werden können.
Logische Folge (Trennung eines Unterraums und einer offenen konvexen Menge) – – Lassen X. ein lokal konvexer Vektorraum sein, M. ein Vektorunterraum und U. eine nicht leere offene konvexe Teilmenge, die von getrennt ist M.. Dann gibt es eine kontinuierliche lineare Funktion f auf X. so dass f((m) = 0 für alle m ∈ M. und Re f > 0 auf U.
Unterstützende Hyperebenen[edit]
Da Punkte trivial konvex sind, impliziert das geometrische Hahn-Banach, dass Funktionale die Grenze einer Menge erkennen können. Insbesondere lassen X. ein realer topologischer Vektorraum sein und EIN ⊆ X. konvex sein mit Int EIN ≠ ≠. Wenn
ein0, aber auf der Innenseite von unterstützt EIN.[14]
dann gibt es eine Funktion, die bei verschwindetNennen Sie einen normierten Raum X. glatt wenn an jedem Punkt x In seiner Einheitskugel existiert eine einzigartige geschlossene Hyperebene zur Einheitskugel bei x. Köthe zeigte 1983, dass ein normierter Raum an einem Punkt glatt ist x genau dann, wenn die Norm Gateaux zu diesem Zeitpunkt differenzierbar ist.
Ausgewogene oder disked Nachbarschaften[edit]
Lassen U. eine konvex ausgeglichene Nachbarschaft von 0 in einem lokal konvexen topologischen Vektorraum sein X. und nehmen an x ∈ X. ist kein Element von U.. Dann gibt es eine kontinuierliche lineare Funktion f auf X. so dass
- sup |f((U.)| ≤ |f((x)|.
Anwendungen[edit]
Das Hahn-Banach-Theorem ist das erste Zeichen einer wichtigen Philosophie in der Funktionsanalyse: Um einen Raum zu verstehen, sollte man seine stetigen Funktionen verstehen.
Beispielsweise sind lineare Teilräume durch Funktionale gekennzeichnet: if X. ist ein normierter Vektorraum mit linearem Unterraum M. (nicht unbedingt geschlossen) und wenn z ist ein Element von X. nicht in der Schließung von M.dann existiert eine kontinuierliche lineare Karte f :: X. → 𝕂 mit f((x) = 0 für alle x im M., f((z) = 1, und ||f|| = dist (z, M.)−1. (Um dies zu sehen, beachten Sie das dist (·, M) ist eine sublineare Funktion.) Darüber hinaus, wenn z ist ein Element von X.dann existiert eine kontinuierliche lineare Karte f :: X. → 𝕂 so dass f((z) = ||z|| und ||f|| ≤ 1. Dies impliziert, dass die natürliche Injektion J. aus einem normierten Raum X. in sein doppeltes dual V ” ist isometrisch.
Dieses letzte Ergebnis legt auch nahe, dass das Hahn-Banach-Theorem häufig verwendet werden kann, um eine “schönere” Topologie zu finden, in der gearbeitet werden kann. Beispielsweise gehen viele Ergebnisse in der Funktionsanalyse davon aus, dass ein Raum Hausdorff oder lokal konvex ist. Nehmen wir jedoch an X. ist ein topologischer Vektorraum, nicht unbedingt Hausdorff oder lokal konvex, sondern mit einer nicht leeren, richtigen, konvexen, offenen Menge M.. Dann impliziert das geometrische Hahn-Banach, dass sich eine Hyperebene trennt M. von jedem anderen Punkt. Insbesondere muss eine Funktion ungleich Null vorhanden sein X. – das heißt, der kontinuierliche duale Raum X.* * ist nicht trivial. In Anbetracht X. mit der schwachen Topologie induziert durch X.* *, dann X. wird lokal konvex; Durch die zweite Kugel des geometrischen Hahn-Banach trennt die schwache Topologie dieses neuen Raums Punkte. So X. mit dieser schwachen Topologie wird Hausdorff. Dies ermöglicht manchmal, dass einige Ergebnisse von lokal konvexen topologischen Vektorräumen auf nicht-Hausdorff- und nicht-lokal konvexe Räume angewendet werden.
Partielle Differentialgleichungen[edit]
Das Hahn-Banach-Theorem ist oft nützlich, wenn man die Methode der a priori-Schätzungen anwenden möchte. Angenommen, wir möchten die lineare Differentialgleichung lösen Pu = f zum umit f in einigen Banach Raum gegeben X.. Wenn wir die Größe kontrollieren können u bezüglich
u als begrenzte lineare Funktion auf einem geeigneten Raum von Testfunktionen G, dann können wir sehen f als lineare Funktion durch Adjunktion:
und wir können daran denkenP.Mit dem Hahn-Banach-Theorem können wir jedoch versuchen, es auf die gesamte Codomäne auszudehnen X.. Die resultierende Funktion wird oft als schwache Lösung der Gleichung definiert.
. Diese Funktion wird zunächst nur auf dem Bild von definiertCharakterisierung reflexiver Banachräume[edit]
Satz – – Ein realer Banachraum ist genau dann reflexiv, wenn jedes Paar nicht leerer disjunkter geschlossener konvexer Teilmengen, von denen eine begrenzt ist, durch eine Hyperebene streng getrennt werden kann.
Beispiel aus der Fredholm-Theorie[edit]
Um eine tatsächliche Anwendung des Hahn-Banach-Theorems zu veranschaulichen, werden wir nun ein Ergebnis beweisen, das fast vollständig aus dem Hahn-Banach-Theorem folgt.
Vorschlag – – Annehmen X. ist ein lokal konvexes Hausdorff-Fernsehgerät über dem Feld 𝕂 und Y. ist ein Vektorunterraum von X. das ist TVS-isomorph zu 𝕂ich für einige Set ich. Dann Y. ist ein geschlossener und komplementierter Vektorunterraum von X..
Schon seit 𝕂ich ist ein komplettes TVS so ist Y.und da jede vollständige Teilmenge eines Hausdorff-TVS geschlossen ist, Y. ist eine geschlossene Teilmenge von X.. Lassen f = (fich)ich∈ich :: Y. → 𝕂ich sei ein TVS-Isomorphismus, so dass jeder fich :: Y. → 𝕂 ist eine kontinuierliche surjektive lineare Funktion. Nach dem Hahn-Banach-Theorem können wir jedes erweitern fich zu einer kontinuierlichen linearen Funktion F.ich :: X. → 𝕂 auf X.. Lassen F. : = (F.ich)ich∈ich :: X. → 𝕂ich damit F. ist eine kontinuierliche lineare Surjektion, so dass ihre Beschränkung auf Y. ist
F. |Y. = (F.ich |Y.)ich∈ich = (fich)ich∈ich = f. Daraus folgt, wenn wir definieren P. : = f−1 ∘ F. :: X. → Y. dann die Einschränkung auf Y. dieser kontinuierlichen linearen Karte P. |Y. :: Y. → Y. ist die Identitätskarte 𝟙Y. auf Y., zum P. |Y. = f−1 ∘ F.|Y. = f−1 ∘ f = 𝟙Y.. Also insbesondere P. ist eine kontinuierliche lineare Projektion auf Y. (dh P. ∘ P. = P.). So Y. wird ergänzt in X. und X. = Y. Er ker P. in der Kategorie TVS. ∎
Man kann das obige Ergebnis verwenden, um zu zeigen, dass jeder geschlossene Vektor-Unterraum von ℝℕ ist ergänzt und entweder endlichdimensional oder TVS-isomorph zu ℝℕ.
Verallgemeinerungen[edit]
- Allgemeine Vorlage
Es gibt jetzt viele andere Versionen des Hahn-Banach-Theorems. Die allgemeine Vorlage für die verschiedenen Versionen des in diesem Artikel vorgestellten Hahn-Banach-Theorems lautet wie folgt:
- X. ist ein Vektorraum, p ist eine sublineare Funktion auf X. (möglicherweise ein Seminar), M. ist ein Vektorunterraum von X. (möglicherweise geschlossen) und f ist eine lineare Funktion auf M. befriedigend |f| ≤ p auf M. (und möglicherweise einige andere Bedingungen). Man kommt dann zu dem Schluss, dass es eine lineare Erweiterung gibt F. von f zu X. so dass |F.| ≤ p auf X. (möglicherweise mit zusätzlichen Eigenschaften).
Für Seminorms[edit]
Hahn-Banach für Seminorms – – Wenn M. ist ein Vektorunterraum von X., p ist ein seminorm auf M., und q ist ein seminorm auf X. so dass p ≤ q|M., dann gibt es ein Seminorm P. auf X. so dass P.|M. = p und P. ≤ q.
Ein Beweis läuft wie folgt ab:
Lemma – – Lassen M. ein Vektorunterraum eines realen oder komplexen Vektorraums sein X., Lassen D. eine absorbierende Scheibe sein X., und lass f eine lineare Funktion auf sein M. so dass |f| ≤ 1 auf M. ∩ D.. Dann gibt es eine lineare Funktion F. auf X. Ausdehnung f so dass |F.| ≤ 1 auf D..
Lassen S. sei die konvexe Hülle von { m ∈ M. :: p((x) ≤ 1} ∪ { x ∈ X. :: q((x) ≤ 1}. Beachten Sie, dass S. ist eine absorbierende Scheibe in X.und nennen seine Minkowski-Funktion q. Dann p = P. auf M. und P. ≤ q auf X..
Geometrische Trennung[edit]
Hahn-Banach-Sandwich-Theorem – – Lassen S. sei eine beliebige Teilmenge eines realen Vektorraums X., Lassen p eine sublineare Funktion sein X., und lass f :: S. → ℝ Sein irgendein Karte. Wenn es positive Zahlen gibt ein und b so dass für alle x, y ∈ S.,
dann existiert eine lineare Funktion F. auf X. so dass F. ≤ p auf X. und f ≤ F. auf S..
Maximale lineare Ausdehnung[edit]
Satz (Andenaes, 1970) – – Lassen M. sei ein Vektorunterraum eines realen Vektorraums X., p eine sublineare Funktion sein X., f eine lineare Funktion auf sein M. so dass f ≤ p auf M., und lass S. sei eine beliebige Teilmenge von X.. Dann gibt es eine lineare Funktion F. auf X. das erstreckt sich fbefriedigt F. ≤ p on X.und ist (punktuell) maximal im folgenden Sinne: if G ist eine lineare Funktion auf X. Ausdehnung f und befriedigend G ≤ p auf X., dann G ≥ F. impliziert, dass G = F. auf S..
Vektor bewertet Hahn-Banach[edit]
Satz – – Lassen X. und Y. Vektorräume über demselben Feld sein, M. sei ein Vektor-Unterraum von X., und f :: M. → Y. sei eine lineare Karte. Dann existiert eine lineare Karte F. :: X. → Y. das erstreckt sich f.
Für nichtlineare Funktionen[edit]
Der folgende Satz von Mazur-Orlicz (1953) entspricht dem Satz von Hahn-Banach.
Satz von Mazur-Orlicz – – Lassen T. sei irgendein Satz, r :: T. → ℝ sei eine Karte mit echtem Wert, X. ein realer oder komplexer Vektorraum sein, v :: T. → X. sei eine beliebige Karte und p eine sublineare Funktion sein X.. Dann sind folgende äquivalent:
- es existiert eine reelle lineare Funktion F. auf X. so dass F. ≤ p auf X. und r ≤ F. ∘ v auf T.;;
- für jede positive ganze Zahl n, jede Sequenz s1, …, sn von nicht negativen reellen Zahlen und einer beliebigen Folge t1, …, tn von Elementen von T., .
Der folgende Satz charakterisiert wann irgendein Skalarfunktion ein X. (nicht unbedingt linear) hat eine kontinuierliche lineare Ausdehnung auf alle X..
Satz (Das Erweiterungsprinzip) – – Lassen f eine skalarwertige Funktion für eine Teilmenge S. eines topologischen Vektorraums X.. Dann gibt es eine kontinuierliche lineare Funktion F. auf X. Ausdehnung f genau dann, wenn es ein kontinuierliches Seminorm gibt p auf X. so dass
für alle positiven ganzen Zahlen n und alle endlichen Folgen ((einich)n
ich= 1 von Skalaren und Elementen ((sich)n
ich= 1 von S..
Umgekehrt[edit]
Lassen X. sei ein topologischer Vektorraum. Ein Vektorunterraum M. von X. hat die Erweiterungseigenschaft wenn eine kontinuierliche lineare Funktion eingeschaltet ist M. kann auf eine kontinuierliche lineare Funktion erweitert werden X.und das sagen wir X. hat die Hahn-Banach-Erweiterungsgrundstück ((HBEP) wenn jeder Vektorunterraum von X. hat die Erweiterungseigenschaft.
Das Hahn-Banach-Theorem garantiert, dass jeder lokal konvexe Hausdorff-Raum das HBEP hat. Für vollständig messbare topologische Vektorräume gibt es aufgrund von Kalton eine Umkehrung: Jedes vollständige messbare Fernsehgerät mit der Hahn-Banach-Erweiterungseigenschaft ist lokal konvex. Auf der anderen Seite ein Vektorraum X. von unzähliger Dimension, ausgestattet mit der feinsten Vektortopologie, dann ist dies ein topologischer Vektorraum mit der Hahn-Banach-Erweiterungseigenschaft, der weder lokal konvex noch messbar ist.
Ein Vektorunterraum M. eines Fernsehgeräts X. hat die Trennungseigenschaft wenn für jedes Element von X. so dass x ∉ M.gibt es eine kontinuierliche lineare Funktion f auf X. so dass f((x) ≠ 0 und f((m) = 0 für alle m ∈ M.. Klar, der durchgehende Doppelraum eines TVS X. trennt Punkte auf X. dann und nur dann, wenn {0 } hat die Separationseigenschaft. Im Jahr 1992 bewies Kakol, dass jeder unendlich dimensionale Vektorraum X.gibt es TVS-Topologien auf X. die nicht über den HBEP verfügen, obwohl genügend kontinuierliche lineare Funktionen vorhanden sind, damit der kontinuierliche duale Raum Punkte trennen kann X.. wie auch immer, falls X. ist dann ein TVS jeder Vektor-Unterraum von X. hat die Erweiterungseigenschaft genau dann, wenn jeder Vektor-Unterraum von X. hat die Trennungseigenschaft.
Siehe auch[edit]
Verweise[edit]
- ^ O’Connor, John J.; Robertson, Edmund F., “Hahn-Banach-Theorem”, MacTutor Archiv zur Geschichte der Mathematik, Universität von St. Andrews.
- ^ Siehe M. Riesz-Erweiterungssatz. Gemäß Görding, L. (1970). “Marcel Riesz in memoriam”. Acta Math. 124 (1): I – XI. doi:10.1007 / bf02394565. HERR 0256837.Das Argument war Riesz bereits 1918 bekannt.
- ^ Rudin 1991, Th. 3.2
- ^ HAHNBAN-Datei
- ^ Schechter, Eric. Handbuch der Analyse und ihre Grundlagen. p. 620.
- ^ Foreman, M.; Wehrung, F. (1991). “Das Hahn-Banach-Theorem impliziert die Existenz einer nicht-Lebesgue-messbaren Menge” (PDF). Fundamenta Mathematicae. 138: 13-19. doi:10.4064 / fm-138-1-13-19.
- ^ Pawlikowski, Janusz (1991). “Das Hahn-Banach-Theorem impliziert das Banach-Tarski-Paradoxon”. Fundamenta Mathematicae. 138: 21–22. doi:10.4064 / fm-138-1-21-22.
- ^ Brown, DK; Simpson, SG (1986). “Welche Axiome der Mengenexistenz werden benötigt, um den trennbaren Hahn-Banach-Satz zu beweisen?”. Annalen der reinen und angewandten Logik. 31: 123–144. doi:10.1016 / 0168-0072 (86) 90066-7.Zitierquelle.
- ^ Simpson, Stephen G. (2009), Subsysteme der Arithmetik zweiter Ordnung, Perspectives in Logic (2. Aufl.), Cambridge University Press, ISBN 978-0-521-88439-6, MR2517689
- ^ Harvey, R.; Lawson, HB (1983). “Eine intrinsische Charakterisierung von Kähler-Mannigfaltigkeiten”. Erfinden. Mathematik. 74 (2): 169–198. doi:10.1007 / BF01394312. S2CID 124399104.
- ^ ein b c Zălinescu, C. (2002). Konvexe Analyse in allgemeinen Vektorräumen. River Edge, NJ: World Scientific Publishing Co., Inc., S. 5–7. ISBN 981-238-067-1. HERR 1921556.
- ^ Gabriel Nagy, Echte Analyse Vorlesungsnotizen
- ^ Brezis, Haim (2011). Funktionsanalyse, Sobolev-Räume und partielle Differentialgleichungen. New York: Springer. S. 6–7.
Literaturverzeichnis[edit]
- ISBN 0-12-622760-8.
- “Hahn-Banach-Theorem”, Enzyklopädie der Mathematik, EMS Press, 2001 [1994]
- Adasch, Norbert; Ernst, Bruno; Keim, Dieter (1978). Topologische Vektorräume: Die Theorie ohne Konvexitätsbedingungen. Vorlesungsunterlagen in Mathematik. 639. Berlin New York: Springer-Verlag. ISBN 978-3-540-08662-8. OCLC 297140003.
- Banach, Stefan (1932). Théorie des Opérations Linéaires [Theory of Linear Operations] (PDF). Monografie Matematyczne (auf Französisch). 1. Warszawa: Subwencji Funduszu Kultury Narodowej. Zbl 0005.20901. Archiviert von das Original (PDF) am 11.01.2014. Abgerufen 2020-07-11.
- Berberian, Sterling K. (1974). Vorlesungen in Funktionsanalyse und Operatortheorie. Diplomtexte in Mathematik. 15. New York: Springer. ISBN 978-0-387-90081-0. OCLC 878109401.
- Bourbaki, Nicolas (1987) [1981]. Sur bestimmte espaces vectoriels topologiques [Topological Vector Spaces: Chapters 1–5]. Annales de l’Institut Fourier. Éléments de mathématique. 2. Übersetzt von Eggleston, HG; Madan, S. Berlin New York: Springer-Verlag. ISBN 978-3-540-42338-6. OCLC 17499190.
- Conway, John (1990). Ein Kurs in Funktionsanalyse. Diplomtexte in Mathematik. 96 (2. Aufl.). New York: Springer-Verlag. ISBN 978-0-387-97245-9. OCLC 21195908.
- Edwards, Robert E. (1995). Funktionsanalyse: Theorie und Anwendungen. New York: Dover-Veröffentlichungen. ISBN 978-0-486-68143-6. OCLC 30593138.
- Grothendieck, Alexander (1973). Topologische Vektorräume. Übersetzt von Chaljub, Orlando. New York: Gordon und Breach Science Publishers. ISBN 978-0-677-30020-7. OCLC 886098.
- Jarchow, Hans (1981). Lokal konvexe Räume. Stuttgart: BG Teubner. ISBN 978-3-519-02224-4. OCLC 8210342.
- Köthe, Gottfried (1969). Topologische Vektorräume I.. Grundlehren der mathematischen Wissenschaften. 159. Übersetzt von Garling, DJH New York: Springer Science & Business Media. ISBN 978-3-642-64988-2. HERR 0248498. OCLC 840293704.
- Narici, Lawrence; Beckenstein, Edward (2011). Topologische Vektorräume. Reine und angewandte Mathematik (2. Aufl.). Boca Raton, FL: CRC-Presse. ISBN 978-1584888666. OCLC 144216834.
- Reed, Michael und Simon, Barry, Methods of Modern Mathematical Physics. 1, Funktionsanalyse, Abschnitt III.3. Akademische Presse, San Diego, 1980. ISBN 0-12-585050-6.
- Narici, Lawrence; Beckenstein, Edward (1997). “Der Hahn-Banach-Satz: Das Leben und die Zeiten”. Topologie und ihre Anwendungen. 77 (2): 193–211. doi:10.1016 / s0166-8641 (96) 00142-3.
- Reed, Michael; Simon, Barry (1980). Funktionsanalyse (überarbeitete und erweiterte Ausgabe). Boston, MA: Akademische Presse. ISBN 978-0-12-585050-6.
- Robertson, Alex P.; Robertson, Wendy J. (1980). Topologische Vektorräume. Cambridge Tracts in Mathematik. 53. Cambridge England: Cambridge University Press. ISBN 978-0-521-29882-7. OCLC 589250.
- Rudin, Walter (1991). Funktionsanalyse. Internationale Reihe in reiner und angewandter Mathematik. 8 (Zweite Ausgabe). New York, NY: McGraw-Hill Wissenschaft / Technik / Mathematik. ISBN 978-0-07-054236-5. OCLC 21163277.
- Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topologische Vektorräume. GTM. 8 (Zweite Ausgabe). New York, NY: Springer New Yorker Aufdruck Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.
- Schmitt, Lothar M. (1992). “Eine äquivariante Version des Hahn-Banach-Theorems”. Houston J. Of Math. 18: 429–447.
- Schechter, Eric (1996). Handbuch der Analyse und ihre Grundlagen. San Diego, CA: Akademische Presse. ISBN 978-0-12-622760-4. OCLC 175294365.
- Swartz, Charles (1992). Eine Einführung in die Funktionsanalyse. New York: M. Dekker. ISBN 978-0-8247-8643-4. OCLC 24909067.
- Tao, Terence, Der Hahn-Banach-Satz, der Menger-Satz und der Helly-Satz
- Trèves, François (2006) [1967]. Topologische Vektorräume, Verteilungen und Kernel. Mineola, NY: Dover-Veröffentlichungen. ISBN 978-0-486-45352-1. OCLC 853623322.
- Wilansky, Albert (2013). Moderne Methoden in topologischen Vektorräumen. Mineola, New York: ISBN von Dover Publications, Inc. 978-0-486-49353-4. OCLC 849801114.
- Wittstock, Gerd, Ein Operatorwertiger Hahn-Banach Satz, J. of Functional Analysis 40 (1981), 127–150
- Zeidler, Eberhard, Angewandte Funktionsanalyse: Hauptprinzipien und ihre AnwendungenSpringer, 1995.
Recent Comments