Pour une suite (a_n), la limite inférieure, lim inf a_n, est lim_{n→∞} (inf_{k≥n} a_k). Elle coïncide avec le plus petit point d’accumulation et décrit le comportement minimal d’accumulation lorsque l’indice tend vers l’infini.

Principe

Convergence des inf des queues : pour chaque queue prendre l’infimum des termes ultérieurs puis la limite de ces infima. Cela capte les valeurs d’accumulation inférieures persistantes malgré les oscillations.

Démonstration

Soit b_n = 1 pour n pair et b_n = −1+1/n pour n impair. Alors inf_{k≥n} b_k tend vers −1 quand n→∞, donc lim inf b_n = −1, reflétant la sous-suite qui accumule en −1.

Mauvaise application

Traiter lim inf comme l’infimum ponctuel sur tous les indices ou supposer que lim inf égale la limite sans vérifier lim sup ; confondre minima à court terme avec comportement asymptotique.

Conséquence

Identifie les plus petites limites partielles, est essentiel pour les tests de convergence (une suite converge si lim inf = lim sup) et borne le comportement minimal éventuel dans des estimations probabilistes et analytiques.

Inversion

La limite supérieure est la notion duale captant l’accumulation maximale ; échange de inf et sup sur les queues transforme lim inf en lim sup.

Limite

Définie pour des suites dans la droite réelle étendue et pour des filets ; pour des fonctions, des définitions analogues de lim inf demandent une indexation explicite. Elle ne mesure pas directement des minima locaux transitoires.

Tension sémantique

Concurrence avec les minima instantanés et l’infimum global : lim inf est asymptotique et basée sur les queues, tandis que l’infimum global ignore la progression des indices. Une indexation claire évite les abus.

Synthèse

La limite inférieure est l’enveloppe inférieure asymptotique d’une suite : on prend les infima des queues pour saisir les plus petits points d’accumulation, puis leur limite pour décrire le comportement minimal à long terme.