非正式地说,limx→af(x)=L\lim_{x \to a} f(x) = Llimx→af(x)=L 的意思是:当 xxx(从任一侧)任意接近 aaa 时,f(x)f(x)f(x) 任意接近 LLL。函数不必在 aaa 处有定义;即使有定义,函数值 f(a)f(a)f(a) 也不必等于 LLL。 形式化的 ε\varepsilonε-δ\deltaδ 定义要求:对每个 ε>0\varepsilon > 0ε>0,都存在 δ>0\delta > 0δ>0,使得 ∣x−a∣<δ|x - a| < \delta∣x−a∣<δ 蕴涵 ∣f(x)−L∣<ε|f(x) - L| < \varepsilon∣f(x)−L∣<ε。 极限使“趋近但不相等”的概念变得精确——它是导数(h→0h \to 0h→0)与积分(网格 →0\to 0→0 的黎曼和)背后的引擎。许多物理与经济模型隐含地依赖于极限推理。