Die Banach-Saks-Eigenschaft, benannt nach Stefan Banach und Stanisław Saks, ist eine mathematische Eigenschaft aus der Theorie der Banachräume. Sie sichert zu einer beschränkten Folge die Existenz einer Teilfolge, die im arithmetischen Mittel konvergiert.

Definition und Motivation

Bearbeiten

Ein Banachraum   hat die Banach-Saks-Eigenschaft, wenn jede beschränkte Folge   in   eine Cesàro-konvergente Teilfolge   hat, das heißt, wenn es ein   gibt mit  .

Die Banach-Saks-Eigenschaft wird von vielen Autoren mit BSP (Banach-Saks property) abgekürzt.

Nach einem bekannten Satz von Mazur kann man den Grenzwert einer schwach-konvergenten Folge durch Konvexkombinationen der Folgenglieder in der Normtopologie approximieren. Dabei stellt sich die Frage, ob man dies, zumindest nach Übergang zu einer Teilfolge, sogar durch das arithmetische Mittel erreichen kann. Wenn man ohnehin zu Teilfolgen übergehen muss, so kann man versuchen, statt der schwach-konvergenten Folgen beschränkte Folgen zu betrachten, denn, zumindest in reflexiven Räumen, in denen die Einheitskugel bekanntlich schwach-kompakt und daher nach dem Satz von Eberlein–Šmulian sogar schwach-folgenkompakt ist, kann man aus beschränkten Folgen schwach-konvergente Teilfolgen auswählen. Diese Überlegungen führen dann zu der oben gegebenen Definition.

Beispiele

Bearbeiten
  • Hilberträume haben die Banach-Saks-Eigenschaft.
  • Die Lp([0,1])-Räume,  , haben die Banach-Saks-Eigenschaft.
  • S.Kakutani: Gleichmäßig konvexe Räume haben die Banach-Saks-Eigenschaft, die Umkehrung gilt nicht.
  • Nach einem Satz von T. Nishiura and D. Waterman sind Banachräume mit der Banach-Saks-Eigenschaft reflexiv, die Umkehrung gilt nicht. Man hat daher folgende Einordnung
Gleichmäßig konvex   super-reflexiv   Banach-Saks-Eigenschaft   reflexiv.
  • Nicht-reflexive Räume, wie etwa die Folgenräume   oder  , sind daher Beispiele für Banachräume ohne Banach-Saks-Eigenschaft.

Vererbung

Bearbeiten
  • Die Banach-Saks-Eigenschaft vererbt sich auf abgeschlossene Unterräume und Quotientenräume.
  • Ist umgekehrt   ein Banachraum mit einem abgeschlossenen Unterraum  , so dass   und   die Banach-Saks-Eigenschaft haben, so hat auch   die Banach-Saks-Eigenschaft.
  • Ist   ein Banachraum mit der Banach-Saks-Eigenschaft und ist   ein zu   isomorpher Banachraum, so hat auch   die Banach-Saks-Eigenschaft. Für gleichmäßig konvexe Räume gilt diese Vererbungseigenschaft nicht, denn gleichmäßige Konvexität ist eine Eigenschaft der Norm.
  • Die Banach-Saks-Eigenschaft vererbt sich nicht auf den Dualraum.

Verwandte Begriffe

Bearbeiten

Die p-Banach-Saks-Eigenschaft

Bearbeiten

Ein Banachraum hat die  -Banach-Saks-Eigenschaft, wenn jede beschränkte Folge   in   eine Teilfolge   enthält, für die es ein   und eine Konstante   gibt mit   für alle  . (Die Konstante   kann dabei von der betrachteten Folge abhängen, nicht aber von  .)

Aus der  -Banach-Saks-Eigenschaft,  , folgt die Banach-Saks-Eigenschaft, denn  .

Stefan Banach und Stanisław Saks haben in ihrer 1930er Arbeit im Wesentlichen gezeigt, dass die Lp([0,1])-Räume für   die heute so genannte p-Banach-Saks-Eigenschaft haben. Das ist historisch der Ausgangspunkt für die Untersuchung der Banach-Saks-Eigenschaft.

Die alternierende Banach-Saks-Eigenschaft

Bearbeiten

Da Banachräume mit der Banach-Saks-Eigenschaft reflexiv sind, stellt sich die Frage, welche Eigenschaft umgekehrt ein reflexiver Baum haben muss, um die Banach-Saks-Eigenschaft zu haben. Dabei kommt die hier vorgestellte Eigenschaft ins Spiel: Ein Banachraum   hat die alternierende Banach-Saks-Eigenschaft, wenn jede beschränkte Folge   in   eine Teilfolge   besitzt, so dass   bezüglich der Normtopologie konvergiert. M. I. Ostrowskii hat folgende Charakterisierung gezeigt:

  • Ein Banachraum hat genau dann die Banach-Saks-Eigenschaft, wenn er reflexiv ist und die alternierende Banach-Saks-Eigenschaft hat.

Die schwache Banach-Saks-Eigenschaft

Bearbeiten

Ein Banachraum hat die schwache Banach-Saks-Eigenschaft, wenn jede schwache Nullfolge   in   eine Cesàro-konvergente Teilfolge   hat, das heißt, es gibt ein   mit  .

Da schwache Nullfolgen beschränkt sind, folgt aus der Banach-Saks-Eigenschaft die schwache Banach-Saks-Eigenschaft. Die Räume   (bewiesen von W. Schlenk) und die Folgenräume   und   haben die schwache Banach-Saks-Eigenschaft, aber wegen fehlender Reflexivität nicht die Banach-Saks-Eigenschaft. Der Funktionenraum   und der Folgenraum   sind Beispiele für Banachräume ohne die schwache Banach-Saks-Eigenschaft (Referenz:J. Schreier: Ein Gegenbeispiel zur Theorie der schwachen Konvergenz und Farnum, Nicholas R.: The Banach-Saks theorem in  ). Die schwache Banach-Saks-Eigenschaft vererbt sich auf abgeschlossene Teilräume, nicht jedoch auf Quotientenräume.

Auch für die p-Banach-Saks-Eigenschaft gibt es eine schwache Variante: Ein Banachraum hat die schwache  -Banach-Saks-Eigenschaft, wenn jede schwache Nullfolge   in   eine Teilfolge   enthält, für die es ein   und eine Konstante   gibt mit  .

Aus der p-Banach-Saks-Eigenschaft folgt die schwache p-Banach-Saks-Eigenschaft, denn schwache Nullfolgen sind beschränkt, und aus der schwachen p-Banach-Saks-Eigenschaft folgt die schwache Banach-Saks-Eigenschaft,  .

  • S. Banach and S. Saks: Sur la convergence forte dans les champs Lp, Studia Mathematica, Band 2, Seiten 51–57 (1930).
  • Jesus M. Castillo, Manuel Gonzales: Three-space Problems in Banach Space Theory, Lecture Notes in Mathematics, Band 1667 (1997), ISBN 978-3-540-63344-0
  • Joseph Diestel: Sequences and Series in Banach Spaces. 1984, ISBN 0-387-90859-5.
  • S. Kakutani: Weak convergence in uniformly convex spaces, Math. Inst. Osaka Imp. Univ. (1938) Seiten 165–167
  • T. Nishiura, D. Waterman: Reflexivity and summability, Studia Mathematica, Band 23 (1963) Seiten 53–57
  • N. Okada: On the Banach-Saks property, Proceedings Japan Academy, Band 60, Serie A (1984), Seiten 246–248
  • W. Schlenk: Sur les suites faiblement convergents dans l'espace L, Studia Mathematica, Band 25 (1969) Seiten 337–341
  • Schreier, J. „Ein Gegenbeispiel zur Theorie der schwachen Konvergenz.“ Studia Mathematica 2.1 (1930): 58-62. https://eudml.org/doc/217264.
  • Nicholas R. Farnum, „The Banach-Saks theorem in C(S)“, Canad. J. Math., vol. 26, 1974, p. 91-97 (doi:10.4153/CJM-1974-009-9)