DOXA · 数学编年史 · 知识详情

魏尔斯特拉斯——ε-δ 严格化

1850s | 魏尔斯特拉斯分析突破

∀ε>0 ∃δ>0: |x−a|<δ ⇒ |f(x)−L|<ε ε-δ 严格化(魏尔斯特拉斯) 清除「无穷小模糊性」· 分析算术化 处处连续但处处不可微的函数粉碎直觉
ε-δ 极限定义

知识/定理

魏尔斯特拉斯用 ε-δ 语言严格定义极限、连续、收敛,清除「无穷小模糊性」——分析的算术化。

公式

$\lim_{x\to a}f(x)=L$ ⟺ $\forall\epsilon>0\ \exists\delta>0: 0<|x-a|<\delta\Rightarrow|f(x)-L|<\epsilon$。

证明思路

把「趋于」翻译为精确不等式;构造处处连续但处处不可微函数粉碎几何直觉。

应用/例子

现代微积分教科书的标准表述;实分析、度量空间的基础。

意义/影响

分析严格化的完成者,数学由此以集合与逻辑为唯一地基。

所属:八 19世纪 | 难题证明状态 ↔ 数学难题编年