连续定义
\(\displaystyle\lim_{x\to x_0}f(x)=f(x_0)\)
MIT 18.01 · 第 2 课
导数建立在极限 (limit) 之上。本课系统阐述极限的运算、连续与间断的分类,并导出两个核心三角极限 \(\lim_{\theta\to 0}\sin\theta/\theta=1\) 与 \(\lim_{\theta\to 0}(1-\cos\theta)/\theta=0\)——它们是下一课推导 \(\sin x,\cos x\) 导数的基石。
第 1 课给出了导数的极限定义,但未系统讨论「极限怎么算」。本课补上这一环:从单侧极限、连续性讲到间断点分类,再以几何法证明两个三角极限,为第 3 课用定义推导 \(\sin' x=\cos x\)、\(\cos' x=-\sin x\) 铺路。前置知识仅为第 1 课的差商极限。
第 1 课已经指出:平均变化率 \(\Delta y/\Delta x\) 在 \(\Delta x\to 0\) 时的极限就是瞬时变化率 \(dy/dx\)。物理实例包括:
对「表现良好」的函数,可以直接代入求极限:
\[\lim_{x\to 3}\frac{x^2+x}{x+1}=\frac{3^2+3}{3+1}=\frac{12}{4}=3\]但导数的极限 \(\displaystyle\lim_{\Delta x\to 0}\frac{f(x_0+\Delta x)-f(x_0)}{\Delta x}\) 永远不是简单极限——分母趋于 0,直接代入会得到 \(0/0\)。这一极限是在「\(x\neq x_0\) 但 \(x\to x_0\)」的前提下计算的。
函数 \(f\) 在 \(x_0\) 处连续 (continuous),当且仅当
\[\lim_{x\to x_0}f(x)=f(x_0)\]引入左右极限来刻画边界与间断:
双侧极限存在的充要条件:左右极限都存在且相等。
注意:\(\displaystyle\lim_{x\to 0}\frac{1}{x}\) 不存在(左右极限不同);但 \(\displaystyle\lim_{x\to 0}\frac{1}{x^2}=+\infty\) 是正确的写法。
以 \(f(x)=1/x\) 为例:\(f'(x)=-1/x^2\)。注意 \(f\) 是奇函数而 \(f'\) 是偶函数——奇函数的导数总是偶函数,反之亦然。
南瓜下落续篇:若从楼顶上抛南瓜,\(y=400-16t^2\)(\(-5\le t\le 5\)),则 \(y'(t)=-32t\) 是过原点的直线,速度随时间线性变化。
以下所有 \(\theta\) 均为弧度 (radians)。
\[\boxed{\lim_{\theta\to 0}\frac{\sin\theta}{\theta}=1},\qquad \boxed{\lim_{\theta\to 0}\frac{1-\cos\theta}{\theta}=0}\]考虑单位圆上圆心角 \(\theta\) 的扇形。弧长为 \(\theta\),对边长为 \(\sin\theta\)。当 \(\theta\) 很小时,弧长与对边长几乎相等,因此 \(\sin\theta/\theta\to 1\)。
同一图中,\(1-\cos\theta\) 是圆上弧端点到邻边的短水平段。当 \(\theta\to 0\),该段长度远小于弧长 \(\theta\),故 \((1-\cos\theta)/\theta\to 0\)。
定理:若 \(f\) 在 \(x_0\) 处可导,则 \(f\) 在 \(x_0\) 处连续。
证明:
\[\lim_{x\to x_0}\bigl(f(x)-f(x_0)\bigr) =\lim_{x\to x_0}\frac{f(x)-f(x_0)}{x-x_0}\cdot(x-x_0) =f'(x_0)\cdot 0=0\]这里 \(\displaystyle\frac{x-x_0}{x-x_0}\) 的「乘除」是合法的,因为取极限时 \(x\neq x_0\),分母不为零。
其逆否命题同样有用:不连续则不可导。
问题 1:\(\displaystyle\lim_{\theta\to 0}\frac{\sin\theta}{\theta}\) 与 \(\displaystyle\lim_{\theta\to 0}\frac{1-\cos\theta}{\theta}\) 的值分别是?
问题 2:\(\displaystyle\lim_{x\to 0}\frac{1}{x}\) 的情况是?
问题 3:关于可导与连续,下列哪项正确?
问题 4:\(f(x)=\sin(1/x)\) 在 \(x=0\) 处的间断类型是?
\(\displaystyle\lim_{x\to x_0}f(x)=f(x_0)\)
双侧极限存在 ⇔ 左右极限存在且相等
\(\sin\theta/\theta\to 1\),\((1-\cos\theta)/\theta\to 0\)
不连续则一定不可导
可去、跳跃、无穷、振荡四类
lecture_notes_lec2.pdfstudy_materials_c_cntnt_dscntnt.pdf(连续性专题)