Für eine Folge (a_n) ist das Limes inferior, lim inf a_n, definiert als lim_{n→∞} (inf_{k≥n} a_k). Es entspricht dem kleinsten subsequenziellen Limes und beschreibt das minimale Akkumulationsverhalten für n→∞.

Prinzip

Infima der Endstücke: für jedes Endstück betrachtet man das Infimum der späteren Glieder und nimmt den Grenzwert dieser Infima. So erfasst man persistente untere Akkumulationswerte trotz Oszillationen.

Demonstration

Sei b_n = 1 für gerade n und b_n = −1+1/n für ungerade n. Dann konvergiert inf_{k≥n} b_k gegen −1, also ist lim inf b_n = −1; dies spiegelt die Teilfolge wider, die bei −1 akkumuliert.

Fehlanwendung

lim inf mit dem punktweisen Infimum über alle Indizes verwechseln oder fälschlich annehmen, lim inf gleiche dem Grenzwert ohne Prüfung von lim sup; kurzfristige Minima mit asymptotischem Verhalten verwechseln.

Konsequenz

Identifiziert die kleinsten subsequenziellen Limes, ist wesentlich für Konvergenztests (Folge konvergiert genau dann, wenn lim inf = lim sup) und schränkt das eventuale Minimum in probabilistischen und analytischen Abschätzungen ein.

Umkehrung

Das Limes superior ist die duale Notion für maximale Akkumulation; Vertauschen von inf und sup auf Endstücken wandelt lim inf in lim sup um.

Abgrenzung

Definiert für Folgen in der erweiterten reellen Zahlenlinie und für Netze; für Funktionen erfordern analoge lim inf‑Begriffe eine explizite Indexierung. Es misst nicht direkt vorübergehende lokale Minima.

Semantische Spannung

Wettstreit mit momentanen Minima und globalem Infimum: lim inf ist asymptotisch und endstücksbasiert, während das globale Infimum die Indexentwicklung ignoriert. Klare Indexierung vermeidet Fehlgebrauch.

Synthese

Das Limes inferior ist die asymptotische untere Hülle einer Folge: man nimmt die Infima der Endstücke, um die kleinsten Akkumulationspunkte zu erfassen, und bildet dann deren Grenzwert zur Beschreibung des minimalen Langzeitverhaltens.