Der Begriff der schwach folgenkompakten Menge und der schwach* folgenkompakten Menge ist ein Begriff aus der Topologie, einem Teilbereich der Mathematik. Er ist eine Verallgemeinerung der Folgenkompaktheit für Topologien, die gröber als die Normtopologie sind, die sogenannte schwache Topologie und die schwach-*-Topologie. Schwach folgenkompakte Mengen sind bei den Grundlagen der mathematischen Optimierung von Bedeutung, da eine gewisse Klasse von Funktionen auf schwach folgenkompakten Mengen ein Minimum annimmt und damit die Lösbarkeit von Optimierungsproblemen garantiert.

Definition

Bearbeiten

Gegeben sei ein normierter Raum  . Eine nichtleere Teilmenge   heißt schwach folgenkompakt, wenn jede Folge in dieser Menge eine schwach konvergente Teilfolge besitzt, deren schwacher Grenzwert wieder zu   gehört.

Ist   der Dualraum von  , so heißt eine Menge   schwach* folgenkompakt, wenn jede Folge in dieser Menge eine schwach* konvergente Teilfolge besitzt, deren schwach* Grenzwert wieder zu   gehört.

Eigenschaften

Bearbeiten
  • Ist der normierte Raum endlichdimensional, so ist die Menge   genau dann schwach folgenkompakt, wenn sie abgeschlossen und beschränkt ist.
  • Nach dem Satz von Eberlein–Šmulian fallen für schwach abgeschlossene Mengen in Banachräumen schwache Folgenkompaktheit und schwache Kompaktheit zusammen.
  • Ist   separabel, dann ist jede abgeschlossene Kugel in   schwach* folgenkompakt.
  • Ist   ein reflexiver Banachraum, so ist jede abgeschlossene Kugel schwach folgenkompakt.

Verwendung

Bearbeiten

Neben der Diskussion von schwachen Topologien tauchen schwach folgenkompakte Mengen auch in der Optimierung auf. Hier liefern sie Existenzaussagen für Extremalstellen. Schwach unterhalbstetige Funktionen nehmen nämlich auf einer schwach folgenkompakten Menge stets ein Minimum an.

Siehe auch

Bearbeiten

Literatur

Bearbeiten