La limite de la fonction f(x) lorsque x tend vers a est égale à L si, pour tout ε positif, on peut trouver un voisinage du point a tel que les valeurs de f(x) diffèrent de L au plus de ε dès que x se trouve dans ce voisinage (sauf éventuellement en a). Point clé : on n'exige pas que f(a) existe ou soit égal à L. La limite décrit seulement la tendance, pas l'atteinte.
Histoire
La notion intuitive de limite est apparue dans l'Antiquité dans les travaux d'Eudoxe et d'Archimède (méthode d'exhaustion). Au XVIIe siècle, Newton et Leibniz utilisaient les infiniment petits (« fluxions » et « différentielles ») pour créer l'analyse, mais furent critiqués pour leur manque de rigueur. Augustin-Louis Cauchy proposa en 1821 une définition en termes d'ε-δ, précisée plus tard par Weierstrass. Cela mit fin à l'ère des infinitésimales et donna un fondement à l'analyse moderne.
Comment ça marche
La définition classique ε-δ formalise l'intuition de « l'approche sans atteinte ». En pratique, pour calculer les limites, on utilise des transformations algébriques, le théorème des gendarmes, la règle de L'Hôpital (pour les indéterminations) ou des estimations asymptotiques. Les limites sont indispensables pour définir la continuité (f est continue en c si lim_{x→c} f(x)=f(c)), la dérivée ( lim_{h→0} (f(x+h)−f(x))/h ) et l'intégrale de Riemann ( lim_{n→∞} Σ f(x_i^*)Δx ). En analyse fonctionnelle, la limite se généralise aux espaces normés.
En pratique
Sans la limite, on ne peut pas calculer la vitesse instantanée d'une voiture à partir du changement de coordonnées — les navigateurs GPS et les pilotes automatiques s'appuient constamment sur cette notion.
Anecdote
Bien avant la formalisation, Zénon d'Élée a formulé le paradoxe d'Achille et de la tortue : Achille ne rattrape jamais la tortue, car il réduit à chaque fois la distance d'une fraction. L'explication moderne du paradoxe réside justement dans la notion de limite : la somme d'un nombre infini de segments peut donner un temps fini.
Une particule est assise dans un puits d'énergie, comme un petit pois dans un alvéole. Pour en sortir, elle doit franchir une barrière, et d'ordinaire cela arrive rarement : plus la barrière est haute, plus l'attente est longue. La loi d'Arrhenius stipule que le temps d'attente croît exponentiellement, c'est-à-dire que doubler la hauteur de la barrière multiplie le temps par des centaines.
Le givre sur une vitre ne s'étale pas uniformément : il pousse en branches, conquiert de nouvelles zones, parfois en emprisonnant des vides. Une telle croissance n'est pas une expansion lisse, mais une succession de à-coups. Cette image résonne étonnamment avec le modèle mathématique imaginé par Charles Löwner il y a cent ans.
Lorsque la main trace une ligne, le regard court presque toujours devant — comme un éclaireur qui jette un œil derrière le virage avant que la colonne ne le prenne. Mais à quelle distance devant ? Il s'avère que cette distance est propre à chaque personne et ne change pas d'un essai à l'autre.
Le brouillard s'épaissit autour de la ligne « def max(a: Int, b: Int): Int ». Que fait-elle ? Elle retourne le plus grand de deux nombres, mais comment le vérifier ? On peut écrire une dizaine de tests avec des paires concrètes : max(2,3)=3, max(5,5)=5, max(-1,0)=0. Et pourtant, une inquiétude demeure : et si, pour un million et moins un million, elle se cassait ?
