Approximationseigenschaft

Die Approximationseigenschaft ist eine Eigenschaft von Banachräumen, bei der es um die Approximation kompakter Operatoren durch lineare Operatoren endlichen Ranges geht. Es war vierzig Jahre lang ein offenes Problem, ob alle Banachräume diese Eigenschaft haben. Ein eng damit verwandtes Problem ist die Frage, ob alle Banachräume eine Schauderbasis besitzen.

Inhaltsverzeichnis

Wie es begann

Die Geschichte dieses Begriffs beginnt am 6. November 1936. Stefan Banach pflegte im Schottischen Café zu Lwów, damals Lemberg, über mathematische Probleme zu grübeln. Zur Dokumentation dieser Probleme wurde ein Notizbuch angeschafft, in dem sich nicht nur die mathematische Elite Lembergs wiederfindet, sondern auch Problemformulierungen von John von Neumann, Maurice René Fréchet oder Pawel Sergejewitsch Alexandrow. Zur Lösung der Probleme wurden manchmal Preise wie 'zwei kleine Bier' oder 'eine Flasche Wein' in Aussicht gestellt. Dieses Buch heißt wegen des Cafés das Schottische Buch und konnte über den Krieg hinaus gerettet werden (siehe dazu Massaker an den Lemberger Professoren, Deutsche Besetzung Polens 1939–1945). Am 6. November 1936 trug Stanisław Mazur das folgende Problem Nummer 153 ein:

Sei f(x,y) eine stetige Funktion für 0\le x,y \le 1 und sei \epsilon > 0. Gibt es endlich viele Zahlen a_1,\ldots,a_n,b_1,\ldots,b_n,c_1\ldots,c_n, so dass

\big|f(x,y) - \sum_{k=1}^nc_k\cdot f(a_k,y)f(x,b_k)\big| \le \epsilon für alle 0\le x,y \le 1 ?

Stanisław Mazur fügte hinzu, dass diese Aussage klar sei, falls f stetige Ableitungen besitze. Der Preis für eine Lösung des allgemeinen Falls war eine lebende Gans.

In dieser Formulierung wird eine Funktion zweier Variabler als Summe von Produkten von Funktionen mit nur einer Variablen approximiert. Das Problem lässt daher eine Beziehung zu Tensorprodukten vermuten. In der Tat, als Alexander Grothendieck in den 50er Jahren über natürliche Topologien auf Tensorprodukten lokalkonvexer Räume arbeitete, fand er gleich zwei solcher Topologien und eine Eigenschaft, die die lokalkonvexen Räume haben sollten, damit diese beiden Topologien zusammenfallen. Dazu würde es genügen, wenn jeder Banachraum diese Eigenschaft hätte. Dies ist die sogenannte Approximationseigenschaft, die sich auch ohne Rückgriff auf den Begriff des Tensorprodukts definieren lässt:

Definition der Approximationseigenschaft

Ein Banachraum E hat die Approximationseigenschaft, wenn es zu jeder kompakten Menge K\subset E und jedem \epsilon > 0 einen stetigen, linearen Operator T:E\rightarrow E endlichen Ranges gibt, so dass \|Tx-x\| \le \epsilon für alle x\in K.

Äquivalente Formulierung

Ein Banachraum E hat genau dann die Approximationseigenschaft, wenn es zu jedem Banachraum F und jedem kompakten Operator S:F\rightarrow E und jedem \epsilon > 0 einen stetigen, linearen Operator T:F\rightarrow E endlichen Ranges mit \|T-S\|\le\epsilon gibt.

Beschränkte und metrische Approximationseigenschaft

Kann man die Norm der approximierenden Operatoren T in obiger Definition sogar durch eine Konstante beschränken, so sagt man, der Banachraum habe die beschränkte Approximationseigenschaft. Kann man dies sogar mit der Konstanten 1 bewerkstelligen, so spricht man von der metrischen Approximationseigenschaft.

Banachräume mit Schauderbasis

Banachräume mit Schauderbasis haben die beschränkte Approximationseigenschaft. Die Umkehrung gilt nicht, wie Stanislaw Szarek 1987 anhand eines Gegenbeispiels zeigen konnte.

Damit haben die meisten klassischen Banachräume die Approximationseigenschaft:

  • Hilberträume haben die Approximationseigenschaft.
  • Ist (X,μ) ein Maßraum und 1\le p\le \infty, so hat Lp(X,μ) die Approximationseigenschaft, insbesondere haben die Folgenräume \ell^p die Approximationseigenschaft.
  • Der Raum c0 aller Nullfolgen hat die Approximationseigenschaft.
  • Ist X ein vollständig regulärer Raum, so hat (C^b(X),\|\cdot\|_\infty), der Raum der beschränkten, stetigen Funktionen X\rightarrow {\mathbb K} mit der Supremumsnorm, die Approximationseigenschaft.

Lokalkonvexe Räume

Die Approximationseigenschaft lässt sich wie folgt auf lokalkonvexe Räume ausdehnen. Ein lokalkonvexer Raum E hat die Approximationseigenschaft, wenn der Raum der linearen Operatoren endlichen Ranges bzgl. der Topologie der gleichmäßigen Konvergenz auf relativ kompakten Mengen der Vervollständigung von E dicht liegt im Raum der stetigen linearen Operatoren. D.h. ist S:E\rightarrow E stetig und linear, U\subset E eine Nullumgebung und K\subset E relativ kompakt in der Vervollständigung von E, so gibt es einen linearen Operator T endlichen Ranges auf E, so dass T(x)-S(x)\subset U für alle x\in K.

Permanenzeigenschaften

  • Ist (Ej)j eine Familie lokalkonvexer Räume mit Approximationseigenschaft, so haben auch der Produktraum ΠjEj (mit der Produkttopologie) und die direkte Summe \textstyle \bigoplus_j E_j (mit der Finaltopologie) die Approximationseigenschaft.
  • Haben E und F die Approximationseigenschaft, so hat auch das injektive Tensorprodukt E \otimes_\epsilon F die Approximationseigenschaft.
  • Sind E und F metrisierbare lokalkonvexe Räume mit Approximationseigenschaft, so hat auch das projektive Tensorprodukt E \otimes_\pi F die Approximationseigenschaft.
  • Die Vervollständigung eines Raumes mit Approximationseigenschaft hat ebenfalls die Approximationseigenschaft.
  • Seien E und F Banachräume, so dass E\,' und F die Approximationseigenschaft haben. Dann haben auch K(E,F), der Raum der kompakten Operatoren E\to F, und (N(E,F).\|\cdot\|_1), der Raum der Spurklasseoperatoren E\to F, die Approximationseigenschaft.

Räume ohne Approximationseigenschaft

Grothendieck bemerkte, dass die Frage, ob alle Banachräume die Approximationseigenschaft haben, zum Problem 153 des Schottischen Buches äquivalent ist, konnte sie aber nicht klären. Erst zwanzig Jahre später erfuhr dieses Problem durch den schwedischen Mathematiker Per Enflo eine negative Lösung. Gleichzeitig zeigte dies, dass es Banachräume ohne Schauderbasis geben muss. Kurz nach der Veröffentlichung seiner Arbeit reiste Per Enflo nach Warschau und nahm die versprochene Gans entgegen.

Das Beispiel von Per Enflo war 'konstruiert'. Mittlerweile kennt man auch 'prominente' Banachräume ohne Approximationseigenschaft. 1981 konnte Andrzej Tomasz Szankowski zeigen, dass der Raum der beschränkten linearen Operatoren über einem unendlich-dimensionalen Hilbertraum nicht die Approximationseigenschaft hat.

Jeder Banachraum \ell^p, p\in [1,\infty]\setminus\{2\}, besitzt einen abgeschlossenen Unterraum, der nicht die Approximationseigenschaft hat. Der Fall p = 2 ist hier natürlich herauszunehmen, da es sich dabei um einen Hilbertraum handelt.

Quellen

  • Englische Version des Schottischen Buches (PDF) (2,97 MB)
  • P. Enflo: A counterexample to the approximation property in Banach spaces, Acta Mathematica 130 (1973), 309-317
  • A. Szankowski: B(H) does not have the approximation property, Acta Mathematica 147, 89-108 (1981).
  • Robert E. Megginson: An Introduction to Banach Space Theory, Springer 1998
  • H. Jarchow: Locally Convex Spaces, Teubner, Stuttgart 1981 ISBN 3-519-02224-9
  • S. Szarek: A Banach space without a basis which has the bounded approximation property, Acta Math. 159 (1987), 81-98

Wikimedia Foundation.

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

  • Beschränkte Approximationseigenschaft — Die Approximationseigenschaft ist eine Eigenschaft von Banachräumen, bei der es um die Approximation kompakter Operatoren durch lineare Operatoren endlichen Ranges geht. Es war vierzig Jahre lang ein offenes Problem, ob alle Banachräume diese… …   Deutsch Wikipedia

  • Metrische Approximationseigenschaft — Die Approximationseigenschaft ist eine Eigenschaft von Banachräumen, bei der es um die Approximation kompakter Operatoren durch lineare Operatoren endlichen Ranges geht. Es war vierzig Jahre lang ein offenes Problem, ob alle Banachräume diese… …   Deutsch Wikipedia

  • Kompakter Operator — Kompakte Operatoren zwischen zwei Banachräumen sind in der Funktionalanalysis, einem der Teilgebiete der Mathematik, spezielle Operatoren, die ihren Ursprung in der Theorie der Integralgleichungen haben. Man spricht auch von kompakten Abbildungen …   Deutsch Wikipedia

  • Nuklearer Operator — Die Spurklasse Operatoren werden in der mathematischen Disziplin der Funktionalanalysis untersucht. Sie bilden eine wichtige Klasse von linearen Operatoren auf unendlich dimensionalen Räumen. Bei ihnen bleiben im Gegensatz zu allgemeinen… …   Deutsch Wikipedia

  • Spurklasse — Die Spurklasse Operatoren werden in der mathematischen Disziplin der Funktionalanalysis untersucht. Sie bilden eine wichtige Klasse von linearen Operatoren auf unendlich dimensionalen Räumen. Bei ihnen bleiben im Gegensatz zu allgemeinen… …   Deutsch Wikipedia

  • Spurklasse-Operator — Die Spurklasse Operatoren werden in der mathematischen Disziplin der Funktionalanalysis untersucht. Sie bilden eine wichtige Klasse von linearen Operatoren auf unendlich dimensionalen Räumen. Bei ihnen bleiben im Gegensatz zu allgemeinen… …   Deutsch Wikipedia

  • Beschränkt vollständige Schauderbasis — In der Funktionalanalysis wird eine abzählbare Menge {bn} eines Banachraums, deren lineare Hülle dicht im ganzen Raum ist, als Schauderbasis bezeichnet, falls jeder Vektor bezüglich ihr eine eindeutige Darstellung als (unendliche)… …   Deutsch Wikipedia

  • Bidualraum — Der (algebraische) Dualraum ist ein Begriff aus dem mathematischen Teilgebiet der linearen Algebra. Zu einem Vektorraum V über einem Körper  K bezeichnet V * den zu  V gehörigen Dualraum, das heißt die Menge aller linearen Abbildungen von  V… …   Deutsch Wikipedia

  • Dualbasis — Der (algebraische) Dualraum ist ein Begriff aus dem mathematischen Teilgebiet der linearen Algebra. Zu einem Vektorraum V über einem Körper  K bezeichnet V * den zu  V gehörigen Dualraum, das heißt die Menge aller linearen Abbildungen von  V… …   Deutsch Wikipedia

  • Dualer Vektorraum — Der (algebraische) Dualraum ist ein Begriff aus dem mathematischen Teilgebiet der linearen Algebra. Zu einem Vektorraum V über einem Körper  K bezeichnet V * den zu  V gehörigen Dualraum, das heißt die Menge aller linearen Abbildungen von  V… …   Deutsch Wikipedia

Share the article and excerpts

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