Für eine Folge (a_n) erweiterter reeller Zahlen ist das Limes superior, lim sup a_n, definiert als lim_{n→∞} (sup_{k≥n} a_k). Es entspricht dem größten subsequenziellen Limes und beschreibt das maximale Akkumulationsverhalten der Folge für n→∞.

Prinzip

Suprema der Endstücke: für jeden Endblock bildet man das Supremum der späteren Glieder und nimmt dann dessen Grenzwert. So erfasst man persistente obere Akkumulationswerte trotz Oszillationen.

Demonstration

Sei a_n = 0 für gerade n und a_n = 1−1/n für ungerade n. Dann konvergiert sup_{k≥n} a_k gegen 1, also ist lim sup a_n = 1; dies reflektiert die Teilfolge ungerader Indizes, die bei 1 akkumuliert.

Fehlanwendung

lim sup mit dem punktweisen Supremum über alle Indizes verwechseln (das die Endstücksstruktur ignoriert), oder lim sup fälschlich als Grenzwert behandeln ohne Prüfung der Gleichheit mit lim inf; Oszillationen als Konvergenz fehlinterpretieren.

Konsequenz

Charakterisiert die größten möglichen subsequenziellen Limes und dient als Konvergenzprüfung: eine Folge konvergiert genau dann, wenn lim sup = lim inf. Es liefert außerdem Abschätzungen für lim sup von Summen/Produkten unter geeigneten Voraussetzungen.

Umkehrung

Das Limes inferior bildet die duale Notion der kleinsten Akkumulationswerte; Ersetzen von sup durch inf auf den Endstücken ergibt lim inf und hebt die kleinsten subsequenziellen Grenzwerte hervor.

Abgrenzung

Definiert für Folgen in der erweiterten reellen Zahlenlinie und für Netze in allgemeineren Topologien; ohne weitere Abschätzungen sagt es nichts über die Beschränktheit aus. Für Funktionen oder Reihen erfordern analoge lim sup‑Begriffe eine klarere Indexierung oder Domänenspezifikation.

Semantische Spannung

Spannung zur gewöhnlichen Grenze und zum globalen Supremum: lim sup ist eine asymptotische Endstücks‑Notion, während ein globales Supremum das Wachstum der Indizes ignoriert; Begriffsverwechslungen sind häufig.

Synthese

Das Limes superior ist die asymptotische obere Hülle einer Folge: man bildet die Supremums der Endstücke, um den größten Akkumulationspunkt zu erfassen, und nimmt dann deren Grenzwert zur Beschreibung des maximalen Langzeitverhaltens.