Schwach kompakt erzeugter Raum

aus Wikipedia, der freien Enzyklopädie

Schwach kompakt erzeugte Räume werden im mathematischen Teilgebiet der Funktionalanalysis untersucht. Es handelt sich um die große Klasse von Banachräumen, die von einer schwach kompakten Menge erzeugt werden. Die grundlegenden Untersuchungen über diese Raumklasse gehen auf Joram Lindenstrauss zurück. Nach der englischen Bezeichnung weakly compactly generated space nennt man solche Räume auch WCG-Räume.

Definition

Ein Banachraum heißt schwach kompakt erzeugt, wenn er von einer schwach kompakten Menge erzeugt wird, das heißt, dass es eine schwach kompakte Menge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K} in diesem Banachraum gibt, so dass die abgeschlossene Hülle des von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K} erzeugten Untervektorraums bereits mit dem Gesamtraum zusammenfällt.[1][2]

Beispiele

  • Jeder separable Banachraum ist schwach kompakt erzeugt. Ist nämlich eine dichte Teilmenge, so ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \{\frac{x_n}{n\|x_n\|}|\, n\in \N, x_n\not = 0\}\cup \{0\}} ein sogar norm-kompaktes Erzeugendensystem.
  • Jeder reflexive Banachraum ist schwach kompakt erzeugt, denn eine der äquivalenten Charakterisierungen der Reflexivität lautet, dass die Einheitskugel schwach kompakt ist, und diese erzeugt natürlich den Banachraum, sogar ohne zusätzliche Abschlussbildung.
  • Ist der separable Folgenraum der Nullfolgen mit der Supremumsnorm und
der nicht-separable Hilbertraum mit der 2-Norm, so ist die direkte Summe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle c_0\oplus \ell^2(\R)} schwach kompakt erzeugt, aber weder separabel noch reflexiv.
  • Für einen kompakten Hausdorffraum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Omega} ist der Banachraum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle C(\Omega)} der stetigen Funktionen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Omega \rightarrow \R} mit der Supremumsnorm genau dann schwach kompakt erzeugt, wenn Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Omega} Eberlein-kompakt ist.[3]
  • Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \ell^1(I):= \{(x_i)_{i\in I}|\,\sum_{i\in I}|x_i|<\infty\}} ist genau dann schwach kompakt erzeugt, wenn die Indexmenge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle I} abzählbar ist.

Eigenschaften

  • Sei ein schwach kompakt erzeugter Banachraum. Dann gibt es eine Menge und einen injektiven, stetigen, linearen Operator Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X\rightarrow c_0(\Gamma)} ,[4][5][6] wobei
  • Der folgende Satz von Davis, Figiel, Johnson, Pełczyński zeigt die Nähe der schwach kompakt erzeugten Räume zu reflexiven Räumen. Ein Banachraum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} ist genau dann schwach kompakt erzeugt, wenn es einen reflexiven Raum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Y} und einen injektiven, stetigen, linearen Operator Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Y\rightarrow X} mit dichtem Bild gibt.[7]
  • Schwach kompakt erzeugte Räume haben nach dem Satz von Troyanski eine äquivalente Norm, die den Raum zu einem lokal gleichmäßig konvexen Raum macht, man kann sogar erreichen, dass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} mit dieser äquivalenten Norm zusätzlich glatt und die Dualraumnorm strikt konvex ist.[8][9]
  • Ein abgeschlossener Unterraum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Y} eines Banachraums heißt quasikomplementiert, wenn es einen abgeschlossenen Unterraum gibt, so dass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Y\cap Z=\{0\}} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \overline{Y+Z} = X} . Ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} ein schwach kompakt erzeugter Banachraum, so ist nach einem Satz von Lindenstrauss jeder abgeschlossene Unterraum quasikomplementiert.[10]
  • Die Einheitskugel des Dualraums eines normierten Raums ist nach dem Satz von Banach-Alaoglu kompakt in der schwach-*-Topologie. Der Satz von Amir-Lindenstrauss besagt, dass die Einheitskugel des Dualraums eines schwach kompakt erzeugten Banachraums in der schwach-*-Topologie zusätzlich folgenkompakt ist.[11]

Einzelnachweise

  1. ↑ Joseph Diestel: Geometry of Banach Spaces – Selected Topics, Springer-Verlag 1975, ISBN 3-540-07402-3, Kapitel 5, Weakly Compactly Generated Banach Spaces
  2. ↑ Marian Fabian, Petr Habala, Petr Hajek, Vicente Montesinos Santalucia, Jan Pelant, Vaclav Zizler: Functional Analysis and Infinite-Dimensional Geometry, CMS Books in Mathematics, Springer Science & Business Media 2013, ISBN 1-475-73480-8, Kapitel 11: Weakly Compactly Generated Spaces
  3. ↑ Joseph Diestel: Geometry of Banach Spaces – Selected Topics, Springer-Verlag 1975, ISBN 3-540-07402-3, Kapitel 5, §2, Theorem 4
  4. ↑ Joseph Diestel: Geometry of Banach Spaces – Selected Topics, Springer-Verlag 1975, ISBN 3-540-07402-3, Kapitel 5, §2, Theorem 1
  5. ↑ Marian Fabian, Petr Habala, Petr Hajek, Vicente Montesinos Santalucia, Jan Pelant, Vaclav Zizler: Functional Analysis and Infinite-Dimensional Geometry, CMS Books in Mathematics, Springer Science & Business Media 2013, ISBN 1-475-73480-8, Korollar 11.13
  6. ↑ D. Amir and J. Lindenstrauss: The Structure of Weakly Compact Sets in Banach Spaces, Annals of Mathematics, Band 88, No. 1 (1968), Seiten 35–46, Main Theorem
  7. ↑ Marian Fabian, Petr Habala, Petr Hajek, Vicente Montesinos Santalucia, Jan Pelant, Vaclav Zizler: Functional Analysis and Infinite-Dimensional Geometry, CMS Books in Mathematics, Springer Science & Business Media 2013, ISBN 1-475-73480-8, Theorem 11.17 + Korollar 11.19
  8. ↑ Joseph Diestel: Geometry of Banach Spaces – Selected Topics, Springer-Verlag 1975, ISBN 3-540-07402-3, Kapitel 5, §5: Trojanski's Theorem
  9. ↑ S. Troyanski: On locally uniformly convex and differentiable norms in certain nonseparable Banach spaces, Studia Mathematica 1972, Band 43, Seiten 125–138
  10. ↑ Marian Fabian, Petr Habala, Petr Hajek, Vicente Montesinos Santalucia, Jan Pelant, Vaclav Zizler: Functional Analysis and Infinite-Dimensional Geometry, CMS Books in Mathematics, Springer Science & Business Media 2013, ISBN 1-475-73480-8, Theorem 11.41
  11. ↑ Terry J. Morrison: Functional Analysis: An Introduction to Banach Space Theory, John Wiley & Sons 2011, ISBN 1-118-03124-5, Theorem 4.8
Abgerufen von „https://de.wikiup.org/index.php?title=Schwach_kompakt_erzeugter_Raum&oldid=184496041“