《RethinkFun深度学习教程》3.1 微积分-函数的极限

0 阅读1分钟

3.1 函数的极限

3.1.1 宇宙是无穷大的

我第一次得知宇宙是无穷大,是在我初中的一堂课上。老师告诉我们说:“什么是无穷大?无穷大就是不论你认为宇宙多大,它比你想的还要大!” 这句话对当时的我造成了很大的震撼。一方面是宇宙竟然没有边。另一方面是老师这种对无穷大的奇妙表达方式。以至于到现在我还清楚的记得这句话。

3.1.2 函数趋于无穷大的极限

对于如下函数用数学语言如何定义在自变量趋于正无穷大时它的极限:

0301.png

f(x)=1xf(x)=\frac{1}{x}

存在实数AA,对于任取ε>0\varepsilon >0,定义域内都存在x0x_0,使得x>x0x>x_0时,

f(x)A<ε|f(x) -A|<\varepsilon

则称x+x \to +\infty时,f(x)f(x)的极限为A,记作:

limx+f(x)=A\lim_{x \to +\infty}f(x)=A

为了帮助你理解,用我初中老师的话来说就是,存在一个数AA,不论你想到一个数ε>0\varepsilon >0多小,总存在一个x0x_0,$$f(x)在自变量在自变量x>x_0时的值与时的值与A之间的绝对差值,比你想的还要小。那么A就是函数之间的绝对差值,比你想的还要小。那么A就是函数f(x)$趋于正无穷大时的极限。

函数趋于负无穷大时与正无穷大类似,我们不再赘述。

3.1.3函数趋于一点时的极限

0302.png

还是以上边讨论的函数f(x)=x2f(x)=x^2为例,但是我们规定x的定义域xR;x2x \in R ;x\ne 2。当x趋于2时,f(x)f(x)的极限是怎么定义呢?

f(x)f(x)在某去心邻域有定义,存在ARA \in R,对于任取ε>0\varepsilon >0,都存在 δ>0\delta>0,使得 0<xx0<δ0<|x-x_0|<\delta 时有:

f(x)A<ε|f(x)-A|<\varepsilon

则称xx0x \to x_0时,f(x)f(x)的极限为A,记作:

limxx0f(x)=A\lim_{x \to x_0}f(x)=A

3.1.3 无穷小和高阶无穷小

无穷小

无穷小是指在某个极限过程中趋于0,但不等于0的量。 例如:

limx0x=0\lim_{x \to 0}x=0

当x趋于0时,x是无穷小。

limx0x2=0\lim_{x \to 0}x^2=0

当x趋于0时,x2x^2也是无穷小。

高阶无穷小 当多个无穷小进行比较时,我们可以通过“趋近于零的速度”来判断他们的“阶”:

f(x)f(x)g(x)g(x)都是无穷小,且:

limx0f(x)g(x)=0\lim_{x \to 0} \frac{f(x)}{g(x)}=0

则说f(x)f(x)是比g(x)g(x)高阶的无穷小。

如果f(x)=3x,g(x)=x,h(x)=x2f(x)=3x,\quad g(x)=x,\quad h(x)=x^2,当x0x\to 0时,f(x),g(x),h(x)f(x),g(x),h(x)都是无穷小。那f(x)f(x)g(x)g(x)的高阶无穷小吗?

limx03xx=limx03=3\lim_{x \to 0} \frac{3x}{x}=\lim_{x \to 0} 3=3

可以看到当x0x\to 0时,f(x)g(x)=3\frac{f(x)}{g(x)}=3,所以f(x)f(x)不是g(x)g(x)的高阶无穷小,它们是同阶无穷小。

h(x)h(x)g(x)g(x)的高阶无穷小吗?

limx0x2x=limx0x=0\lim_{x \to 0} \frac{x^2}{x}=\lim_{x \to 0} x=0

根据结果可知,h(x)h(x)g(x)g(x)的高阶无穷小。换句话说就是:当x趋于0时, x2x^2xx更快的趋于0。一般用符号O(x)O(x)表示x的高阶无穷小。

这个教程也有视频教程,在我的B站账号逐步更新。