本页画面里的极限
函数在点a处的极限是L,记作,意思是:只要x离a足够近,f的值就能和L近到任何要求的程度——而且从来不看x = a这一点本身。精确的说法是ε–δ定义(柯西、魏尔斯特拉斯):一方给出挑战ε,另一方回应δ。
图上的挑战是蓝线y = L两侧半宽为ε的红色带子;带子的虚线边不算在带内,因为不等式是严格的。回应是a两侧半宽为δ的黄色窗口,a处留一条缝:条件把x = a排除在外,所以a处有洞、或f(a)另有定义,都不影响极限。窗口里的曲线全在带内,这个δ就可用;否则黄色×标出一个越出带子的点。单侧极限(x → a⁻或a⁺)只用窗口的一半。极限存在时是唯一的:两个不同的值不可能都留在每一条带子里。
页面给出两种δ。保证可用的δ来自一条对窗口里每个x都成立的不等式,所以它就是证明:x²、可去间断、跳跃、sin(1/x)、1/x²的最大δ有闭式,它本身就是保证;x·sin(1/x)由在0处得到δ = ε,sin x / x由得到。这两个函数的最大δ是数值结果:沿曲线在相邻的拐点之间逐段走,每次越过带子边线的位置用二分法求出。更小的δ也都可用,δ从来不唯一。
值得留意
- ε → 0让带子每次缩小一个数量级,直到10⁻⁶,每一级记下一个δ;放大镜同时放大,横、纵两个方向倍数不同(标题上都写着)。它只检查表里的这几级:猜错不到10⁻⁶的L也能一路通过。
- 同一个检验的三种失败:跳跃(左、右极限不相等)、无休止的振荡(0附近每个区间里sin(1/x)都取到1和−1)、猜错的L(x²在2处取L = 4.1,ε ≤ 0.1时就过不了)。光是振荡不足以说明没有极限:x·sin(1/x)摆得一样多,极限照样是0。有没有极限要看在哪一点:sin(1/x)在每个a ≠ 0处都有极限。1/x²在0处没有有限的极限;本页不讨论趋于无穷的极限。
- 输入按小数或分数精确读取,所以“有没有δ”“是否碰到边线”这类判断是精确的:L = 4.1、ε = 0.1时,|4 − L|正好等于ε。函数在a处连续,就是说它在a处的极限等于f(a)。
操作
- 沿下边拖a,沿左边拖L;L拖到极限附近会吸住,之后a移动时它跟着极限走。拖窗口的边可以试自己的δ,也可以直接键入;保证成立的δ和最大可用δ两颗键设成页面算出的两个δ。改变f、a、L、ε或单侧时,δ回到保证可用的值。
- 演示模式打开适合投影的全屏视图:空格运行ε → 0,← →把ε乘以或除以10,H隐藏极限。分享复制当前设置的链接。