Skip to main content

函数与极限

1 映射与函数​

邻域​

一维​

邻域定义:以点x0x_0为中心的任何开区间为点x0x_0的邻域,记为U(x0)U(x_0)。

δ\delta邻域定义:设δ\delta为一正数,则称开区间(x0−δ,x0+δ)(x_0-\delta,x_0+\delta)为点x0x_0的δ\delta邻域,记作U(x0,δ)U(x_0,\delta)。x0x_0称为邻域的中心,δ\delta为邻域的半径。

去心δ\delta邻域就是去除x0x_0的δ\delta邻域,记为U˚(x0,δ)\mathring{U}(x_0,\delta),左δ\delta邻域就是左侧的去心δ\delta邻域,记为U+(x0,δ)U^+(x_0,\delta),右δ\delta邻域就是右侧的去心δ\delta邻域,记为U−(x0,δ)U^-(x_0,\delta)。

二维​

邻域定义:设点P0(x0,y0)P_0(x_0,y_0)为xOyxOy平面上的一点,δ\delta为某一个正数,与点P0(x0,y0)P_0(x_0,y_0)的距离小于δ\delta的点P(x,y)P(x,y)的全体,称为点P0P_0的δ\delta邻域,记为U(P0,δ)U(P_0,\delta)。

同理可以得到去心δ邻域的定义。

δ\delta邻域的几何意义:以P0(x0,y0)P_0(x_0,y_0)为中心,以δ>0\delta>0为半径的圆内部所有的点。

函数的邻域就是一个区间,所以比如函数在某点的某邻域内有定义,就是说明函数在这个点的附近有定义,这个附近的距离没有必要说明。

函数的概念​

函数​

  1. 函数即y=f(x),x∈Dy=f(x),x\in D,xx为自变量,yy为因变量,DD为定义域。
  2. 一个xx对应一个yy,一个yy可能对应多个xx。

反函数​

y=f(x)y=f(x),定义域为DD,值域为RR,若对于每一个y∈Ry\in R,必然存在x∈Dx\in D使y=f(x)y=f(x)成立,则可以定义一个新函数x=ψ(y)x=\psi(y),这个函数就是y=f(x)y=f(x)的反函数,一般记作x=f−1(y)x=f^{-1}(y),其定义域为RR,值域为DD,对于反函数,原来的函数称为直接函数。

  1. 严格单调函数必然有反函数,即函数导数恒正或恒负必然有反函数。
  2. ​x=f−1(y)与y=f(x)在同一坐标系中完全重合。
  3. y=f−1(x)y=f^{-1}(x)与y=f(x)y=f(x)关于y=xy=x对称。
  4. f[f−1(x)]f[f^{-1}(x)](f[ψ(x)]f[\psi(x)])或f−1[f(x)]=xf^{-1}[f(x)]=x(ψ[f(x)]\psi[f(x)])变为xx,称为湮灭。

可以验算一下性质四。

已知y=exy=e^x和y=ln⁡xy=\ln x是一对反函数,y=ln⁡ex=f−1(f(x))=xy=\ln e^x=f^{-1}(f(x))=x。

反函数的求法:

  1. 求值域。
  2. 求解。(用yy表示xx)
  3. 互换xyxy。

例题:若函数y=f(x)y=f(x)的反函数为y=f−1(x)y=f^{-1}(x),则求y=f(2x−1)+1y=f(2x-1)+1的反函数的解析式。

解:整理y=f(2x−1)+1y=f(2x-1)+1,得到f(2x−1)=y−1f(2x-1)=y-1,所以求反函数就是交换xyxy。

这里将2x−12x-1当作xx,y−1y-1当作yy,所以得到反函数2x−1=f−1(y−1)2x-1=f^{-1}(y-1)。

所以得到x=f−1(y−1)+12x=\dfrac{f^{-1}(y-1)+1}{2}。

所以交换表示方法其反函数就是y=f−1(x−1)+12y=\dfrac{f^{-1}(x-1)+1}{2}。

2 数列的极限​

定义​

数列极限定义​

设{xn}\{x_n\}为一数列,若存在常数aa,对于不论任意小的ξ>0\xi>0,总存在正整数NN,使n>Nn>N时,∣xn−a∣<ξ\vert x_n-a\vert<\xi恒成立,则常数aa为数列{xn}\{x_n\}的极限,或{xn}\{x_n\}收敛于aa,记为:lim⁡x→∞xn=a\lim\limits_{x\to\infty}x_n=a或xn→a(n→∞)x_n\to a(n\to\infty)。

lim⁡x→∞xn=a⇔∀ξ>0,∃N∈N+\lim\limits_{x\to\infty}x_n=a\Leftrightarrow\forall\xi>0,\exists N\in N_+,当n>Nn>N时,恒有∣xn−a∣<ξ\vert x_n-a\vert<\xi。

注意到:定义中的正整数NN是与任意给定的整数ξ\xi有关的,它随着ξ\xi的给定而选定。

极限证明​

令xnx_n为通项,aa为极限值,ξ\xi为任意正数。

  1. 写出∣xn−a∣<ξ\vert x_n-a|<\xi。
  2. 反解出项数n<g(ξ)n<g(\xi)。
  3. 取N=[g(ξ)]+1N=[g(\xi)]+1,所以令n>Nn>N就可以证明。

例题:用定义证明lim⁡x→∞[1+(−1)nn]=1\lim\limits_{x\to\infty}\left[1+\dfrac{(-1)^n}{n}\right]=1

证明:计算距离:∣1+(−1)nn−1∣=∣(−1)nn∣<ξ\left\vert 1+\dfrac{(-1)^n}{n}-1\right\vert=\left\vert\dfrac{(-1)^n}{n}\right\vert<\xi。

解得到:1n<ξ\dfrac{1}{n}<\xi,反解为n>1ξn>\dfrac{1}{\xi}。

取整(存在取一个即可):N=[1ξ]+1N=\left[\dfrac{1}{\xi}\right]+1。

∴∀ξ>0\therefore\forall\xi>0,当n>Nn>N时,使得∣1+(−1)nn−1∣=∣(−1)nn∣<ξ\left\vert 1+\dfrac{(-1)^n}{n}-1\right\vert=\left\vert\dfrac{(-1)^n}{n}\right\vert<\xi。

∴\therefore证明完毕。

例题:用定义证明lim⁡n→∞qn=0\lim\limits_{n\to\infty}q^n=0(qq为常数且∣q∣<1\vert q\vert<1)。

证明:∣qn−0∣<ξ\vert q^n-0\vert<\xi。

∣qn∣<ξ\vert q^n\vert<\xi,取对数进行反解nln⁡∣q∣<ln⁡ξn\ln\vert q\vert<\ln\xi,又因为∣q∣<1\vert q\vert<1,所以ln⁡∣q∣<0\ln\vert q\vert<0,所以得到n>ln⁡ξln⁡∣q∣n>\dfrac{\ln\xi}{\ln\vert q\vert}。

(若ξ>1\xi>1则 nn 大于一个负数,即是存在这个正整数n的,这样条件必然成立)

∴∀ξ∈(0,1)\therefore \forall \xi \in(0,1) 取N=[ln⁡ξln⁡∣q∣]+1N=\left[\dfrac{\ln\xi}{\ln\vert q\vert}\right]+1。

∴\therefore当n>Nn>N时,必然n>ln⁡ξln⁡∣q∣n>\dfrac{\ln\xi}{\ln\vert q\vert},有∣qn−0∣<ξ\vert q^n-0\vert<\xi。

故lim⁡n→∞qn=0\lim\limits_{n\to\infty}q^n=0。

这里为什么不用证明ξ≥1\xi\ge1这种情况?是因为其判断条件∣qn−0∣<ξ\vert q^n-0\vert<\xi的ξ\xi小于更小的数,即大于1这个数也必然成立。

数列绝对值​

定理:若lim⁡x→∞an=A\lim\limits_{x\to\infty}a_n=A,则lim⁡x→∞∣an∣=∣A∣\lim\limits_{x\to\infty}\vert a_n\vert=\vert A\vert。

证明:∵lim⁡n→∞an=A⇔∀ξ>0,∃N>0,当n>N\because\lim\limits_{n\to\infty}a_n=A\Leftrightarrow\forall\xi>0,\exists N>0,\text{当}n>N,恒有∣an−A∣<ξ\vert a_n-A\vert<\xi。

又由重要不等式∣∣a∣−∣b∣∣⩽∣a−b∣\vert\vert a\vert-\vert b\vert\vert\leqslant\vert a-b\vert,所以∣∣an∣−∣A∣∣⩽ξ\vert\vert a_n\vert-\vert A\vert\vert\leqslant\xi。

所以恒成立,证明完毕。

从这个题推出:lim⁡n→∞an=0⇔lim⁡n→∞∣an∣=0\lim\limits_{n\to\infty}a_n=0\Leftrightarrow\lim\limits_{n\to\infty}\vert a_n\vert=0。所以如果我们以后需要证明某一数列极限为0,可以证明数列绝对值极限0,而数列绝对值绝对时大于等于0的,所以由夹逼准则,其中小的一头已经固定为0了,所以只用找另一个偏大的数列夹逼所证明数列就可以了。

性质​

唯一性​

定义:若数列{xn}\{x_n\}收敛于aa,则aa是唯一的。

证明:设lim⁡n→∞an=A\lim\limits_{n\to\infty}a_n=A且lim⁡n→∞an=B\lim\limits_{n\to\infty}a_n=B且A≠BA\neq B。

不如设A>BA>B。任意取ξ=A−B2>0\xi=\dfrac{A-B}{2}>0。

∵lim⁡n→∞an=A\because\lim\limits_{n\to\infty}a_n=A

∴∃N1>0\therefore\exists N_1>0,当n>N1n>N_1时,∣an−A∣<A−B2\vert a_n-A\vert<\dfrac{A-B}{2}。

得到A+B2<an<3A−B2\dfrac{A+B}{2}<a_n<\dfrac{3A-B}{2}并设为式子一。

又∵lim⁡n→∞an=B\because\lim\limits_{n\to\infty}a_n=B

∴∃N2>0\therefore\exists N_2>0,当n>N2n>N_2时,∣an−B∣<A−B2\vert a_n-B\vert<\dfrac{A-B}{2}。

得到3A−B2<an<A+B2\dfrac{3A-B}{2}<a_n<\dfrac{A+B}{2}并设为式子二。

取N=max⁡{N1,N2}N=\max\{N_1,N_2\},当n>Nn>N时,式子一二同时成立,而A≠BA\neq B,则这两个式子不可能同时成立,矛盾。

同理A<BA<B时也矛盾,所以A≠BA\neq B矛盾。

证明数列是发散的​

令xnx_n为通项,aa为极限值,ξ\xi为任意正数。

  1. 取ξ\xi的范围在一个区间内
  2. 证明数列的所有值都在这个区间外面

有界性​

定义:若数列{xn}\{x_n\}极限存在,则数列有界。

即lim⁡n→∞an=A\lim\limits_{n\to\infty}a_n=A,则存在M>0M>0,使得∣an∣⩽M\vert a_n\vert\leqslant M。

证明:由极限定义,取ξ=1\xi=1。

∵lim⁡n→∞an=A\because\lim\limits_{n\to\infty}a_n=A

∴∃N>0\therefore\exists N>0,当n>Nn>N时,∣an−A∣<1\vert a_n-A\vert<1。

∵重要不等式 ∣∣an∣−∣A∣∣⩽∣an−A∣\because\text{重要不等式}\,\vert\vert a_n\vert-\vert A\vert\vert\leqslant\vert a_n-A\vert

∴n>N\therefore n>N时,∣∣an∣−∣A∣∣<1⇒∣an∣<1+∣A∣\vert\vert a_n\vert-\vert A\vert\vert<1\Rightarrow\vert a_n\vert<1+\vert A\vert

取M=max⁡{∣a1∣,∣a2∣,⋯ ,∣aN∣,1+∣A∣}M=\max\{\vert a_1\vert,\vert a_2\vert,\cdots,\vert a_N\vert,1+\vert A\vert\}

∀n\forall n,有∣an∣⩽M\vert a_n\vert\leqslant M

所以数列极限存在则数列有界。但是数列有界不一定极限存在,如1+(−1)n1+(-1)^n。

推论:收敛 ⇒\Rightarrow 有界,有界 ⇏\nRightarrow 收敛,无界 ⇒\Rightarrow发散,发散 ⇏\nRightarrow 无界

保号性​

较重要。也称为脱帽法。

定义:若数列{xn}\{x_n\}存在极限lim⁡n→∞an=a≠0\lim\limits_{n\to\infty}a_n=a\neq 0,则存在正整数NN,当n>Nn>N时ana_n都与aa同号。

简单来说,就是极限大于0,后面一部分数列大于0,极限小于0,后面一部分数列小于0。

推论,戴帽法:若数列{an}\{a_n\}从某项开始an⩾ba_n\geqslant b,且lim⁡n→∞an=a\lim\limits_{n\to\infty}a_n=a,则a⩾ba\geqslant b。这里一定要带等号。

证明:设A>0A>0,取ξ=A2>0\xi=\dfrac{A}{2}>0。

∵lim⁡n→∞an=A\because\lim\limits_{n\to\infty}a_n=A

∴∃N>0\therefore\exists N>0,当n>Nn>N时,∣an−A∣<A2⇒an>A2>0\vert a_n-A\vert<\dfrac{A}{2}\Rightarrow a_n>\dfrac{A}{2}>0

同理得证极限值小于0的情况。

子数列​

定义:从数列an:a1,a2,⋯ ,an,⋯{a_n}:a_1,a_2,\cdots,a_n,\cdots中选取无穷多项并按原来顺序组成的新数列就称为原数列的子列,记为{ank}:an1,an2,⋯ ,ank,⋯\{a_{n_k}\}:a_{n_1},a_{n_2},\cdots,a_{n_k},\cdots。

若nkn_k分别取奇数和偶数,则得到奇数项数列与偶数项数列。也就是说子列是按照顺序下来取的数列,顺序不改变,但间隔可以改变。

定理:若数列{an}\{a_n\}收敛,则其任何子列{ank}\{a_{n_k}\}也收敛,且极限值相同。

所以对于其变式我们用到更多:

  1. 若一个数列{an}\{a_n\}能找到一个发散的子列,那该数列发散。
  2. 若一个数列{an}\{a_n\}能找到两个极限值不同的收敛子列,那么这个数列发散。
  3. 若一个数列{an}\{a_n\},则其奇数子列与偶数子列都收敛于同一个值。

例如对于数列{(−1)n}\{(-1)^n\},能找到其奇数子列收敛于-1,偶数子列收敛于1,所以收敛值不同,原数列发散。

3 函数的极限​

函数极限定义​

极限定义​

定义:设函数f(x)f(x)在点x0x_0的某一个去心邻域有定义,若存在常数AA,对于任意给定的ξ>0\xi>0,总存在正数δ\delta,使得当0<∣x−x0∣<δ0<\vert x-x_0\vert<\delta式,对应的函数值f(x)f(x)都满足不等式∣f(x)−A∣<ξ\vert f(x)-A\vert <\xi,则AA就是函数f(x)f(x)当x→x0x\to x_0时的极限,记作lim⁡x→x0f(x)=A\lim\limits_{x\to x_0}f(x)=A或f(x)→A(x→x0)f(x)\rightarrow A(x\rightarrow x_0)。

lim⁡x→x0f(x)=A⇔∀ξ>0,∃δ>0,当0<∣x−x0∣<δ\lim\limits_{x\to x_0}f(x)=A\Leftrightarrow\forall\xi>0,\exists\delta>0,\text{当}0<\vert x-x_0\vert<\delta时,有∣f(x)−A∣<ξ\vert f(x)-A\vert<\xi。

而对于趋向无穷时:lim⁡x→∞f(x)=A⇔∀ξ>0,∃X>0,当∣x∣>X\lim\limits_{x\to\infty}f(x)=A\Leftrightarrow\forall\xi>0,\exists X>0,\text{当}\vert x\vert>X时,有∣f(x)−A∣<ξ\vert f(x)-A\vert<\xi。

注意:这里的趋向分为六种:x→x0x\to x_0、x→x0+x\to x_0^+、x→x0−x\to x_0^-、x→∞x\to\infty、x→∞+x\to\infty^+、x→∞−x\to\infty^-。

单侧极限​

当x→x0−x\to x_0^-存在的极限称为左极限,当x→x0+x\to x_0^+存在的极限称为右极限。

函数极限存在条件​

函数存在的充要条件是:

  • lim⁡x→x0f(x)⇔lim⁡x→x0−f(x)=lim⁡x→x0+f(x)=A\lim\limits_{x\to x_0}f(x)\Leftrightarrow\lim\limits_{x\to x_0^-}f(x)=\lim\limits_{x\to x_0^+}f(x)=A。
  • 函数脱帽法:lim⁡x→x0f(x)⇔f(x)=A+α(x),lim⁡x→x0α(x)=0\lim\limits_{x\to x_0}f(x)\Leftrightarrow f(x)=A+\alpha(x),\lim\limits_{x\to x_0}\alpha(x)=0,后面的α(x)\alpha(x)就是函数与极限值的误差。

极限情况总结​

性质​

与数列极限性质类似,且任何xx的趋向三个性质都是成立的。

唯一性​

定义:若极限存在,则极限唯一。

局部有界性​

定义:若极限存在且为AA,则存在正常数MM和δ\delta,使得当0<∣x−x0∣<δ0<\vert x-x_0\vert<\delta时,有∣f(x)∣⩽M\vert f(x)\vert\leqslant M。

  • 极限存在是函数局部有界性的充分不必要条件。

  • f(x)f(x)在[a,b][a,b]上连续,则f(x)f(x)在[a,b][a,b]上有界。

  • 有限个有界函数与有界函数的和、差、积仍是有界函数。

  • 若f′(x)f'(x)在有限区间(a,b)(a,b)内有界,则f(x)f(x)在该区间内有界。

对于结论二,可以利用极限存在必然连续的概念,对f(x)f(x)在区间两端求极限从而证明有界。这里两端的极限不要求是一样的,因为两端不一样的极限表明该趋向点的极限值不存在,但是仍然有界。

证明结论四:

利用中值定理:f(b)−f(a)=f′(ξ)(b−a)f(b)-f(a)=f'(\xi)(b-a)。

令x∈(a,b),x0∈(a,b)x\in(a,b),x_0\in(a,b)。其中这两个值不知道大小,只知道范围。

代入中值定理:f(x)−f(x0)=f′(ξ)(x−x0)f(x)-f(x_0)=f'(\xi)(x-x_0)

∣f(x)∣=∣f(x0)+f′(ξ)(x−x0)∣⩽∣f(x0)∣+∣f′(ξ)∣∣x−x0∣ (重要绝对值不等式)⩽∣f(x0)∣+K⋅(b−a)⩽M\begin{aligned} \vert f(x)\vert & =\vert f(x_0)+f'(\xi)(x-x_0)\vert \\ & \leqslant\vert f(x_0)\vert+\vert f'(\xi)\vert\vert x-x_0\vert\text{ (重要绝对值不等式)} \\ & \leqslant\vert f(x_0)\vert+K\cdot(b-a) \\ & \leqslant M \end{aligned}