不保证正确性

一些基本概念

加法公理:(F,+)(F,+) 是群。复习群:有单位元,逆元,交换律,结合律,封闭性

乘法公理:(F∗,⋅)(F^{*},\cdot) 是群。

域:(F,+,⋅)(F,+,\cdot) 。

序的定义:FF 上的二元关系 << 满足:

  1. ∀x,y∈F\forall x,y\in F ,一定有 x<yx<y 或 y<xy<x 或 x=yx=y (唯一性)

  2. ∀x,y,z∈F\forall x,y,z\in F ,x<y∧y<z→x<zx<y\land y<z\rightarrow x<z (传递性)

有序域:

∀x,y,z∈F,y<z→x+y<x+z\forall x,y,z\in F,y<z\rightarrow x+y<x+z

∀x,y∈F,x>0∧y>0→xy>0\forall x,y\in F,x>0\land y>0 \rightarrow xy>0

上下界:

对于有序集 FF 和 E⊆FE\subseteq F 。

若 α∈F\alpha \in F 满足 ∀x∈E,x≤α\forall x\in E,x\le \alpha ,则 α\alpha 是 EE 的上界。下界同理定义。

最大,最小值

若 β\beta 是 EE 的上界且 β∈E\beta\in E ,则 β=max⁡{E}\beta=\max\{E\} ,称为最大值。最小值同理。

上下确界

若 β0\beta_0 是 EE 的上界,且 ∀β∈F\forall \beta \in F ,如果 β\beta 是 EE 的上界则 β≥β0\beta\geq \beta_0 ,则 β0\beta_0 为上确界。记 β0=sup⁡{E}\beta_0=\sup\{E\} 。

同理定义 inf⁡{E}\inf\{E\} 。

阿基米德倍越定理

∀x,y∈R\forall x,y\in R 满足 x>0x>0 ,存在唯一的整数 kk ,使得 (k−1)x≤y<kx(k-1)x\le y<kx ,或者 (k−1)x<y≤kx(k-1)x<y\le kx 。

证明:取集合 E={n∈Z∣n>yx}E=\{n\in Z|n>\frac{y}{x}\} ,容易说明 EE 非空,令 kk 是 EE 的最小数,则 k−1≤yx<kk-1\le \frac{y}{x}<k 。

同理取 {n∈Z∣n≥yx}\{n\in Z|n\geq \frac{y}{x}\} ,可以找到 k−1<yx≤kk-1<\frac{y}{x}\le k 。

一个较难例题

A={x∈Q∣x<0∨x2<2}A=\{x\in Q|x<0\lor x^2<2\} ,B={x∈Q∣x>0∧x2>2}B=\{x\in Q|x>0\land x^2>2\} ,证明 AA 没有上确界,BB 没有下确界。

注意到 A∪B=QA\cup B=Q 且 A∩B=∅A\cap B=\empty 。

先证明 AA 无最大数:若 x≤0x\le 0 ,显然不是最大数。若 x≥0x\geq 0 ,尝试找到 θ>0\theta>0 使得 x1=x+θ(2−x2)x_1=x+\theta(2-x^2) 且 x12<2x_1^2<2 。

取 θ=12x\theta=\frac{1}{2x} ,则 x1=x2+1xx_1=\frac{x}{2}+\frac{1}{x} 。则 x12=1+x24+1x2<2x_1^2=1+\frac{x^2}{4}+\frac{1}{x^2}<2 。显然 x1∈Ax_1\in A 。这说明 xx 不是最大值。

同理 BB 无最小数。

接下来反证:若 AA 有上确界 sup⁡A\sup A ,因为 AA 没有最大值,所以 sup⁡A∈B\sup A \in B 。 ∀x∈B\forall x\in B ,如果 x<sup⁡Ax<\sup A ,则存在 a∈Aa\in A 使得 x<ax<a 。矛盾!

这说明 sup⁡A\sup A 是 BB 的最小值。但这也和之前的结论矛盾了。

上下确界性质

一个全序集 FF ,任意 E⊆FE\subseteq F 都满足:若 EE 有上界,则 EE 有上确界。则称 FF 具有上确界性质。同理定义下确界性质。

可以证明:若具有上确界性质,则必有下确界性质。反之亦然。

于是我们统称为 有确界性质

怎么证呢?若 FF 具有上确界性质且 EE 具有下界,令 E0E_0 是 EE 的下界构成的集合。那么 E0E_0 显然有上界:EE 中每一个元素都是 E0E_0 的上界。

令 a=sup⁡{E0}a=\sup \{E_0\} ,接下来说明 a=inf⁡{E}a=\inf\{E\} 。我们首先证明 aa 是 EE 的下界,也就是 a∈E0a\in E_0 。

考虑 ∀t∈E\forall t\in E ,tt 都是 E0E_0 的上界。由于 a=sup⁡{E0}a=\sup\{E_0\} ,即可说明 ∀x∈E,x≥a\forall x\in E,x\geq a 。则有 aa 为 EE 的下界。

那 a=sup⁡{E0}a=\sup\{E_0\} 又说明:∀t∈F\forall t\in F 满足 tt 是 EE 的下界,有 t∈E0t\in E_0 ,则 t≤at\le a 。于是可证 a=sup⁡{E0}a=\sup\{E_0\}

两次数学危机

第一,存在非有理数。

a=2a=\sqrt{2} 不是有理数。

证明:假设 a∈Qa\in Q ,则 ∃p,q∈N\exists{p,q}\in N 使得 a=pq,(p,q)=1a=\frac{p}{q},(p,q)=1

那么 p2=2q2p^2=2q^2 。于是 2∣p2|p,令 p=2kp=2k ,则 2k2=q22k^2=q^2 。那么 2∣q2|q。

这与 (p,q)=1(p,q)=1 矛盾

第二,数的无限可分性。

比如 1=12+122+…1=\frac{1}{2}+\frac{1}{2^2}+\dots

定义实数集

戴德金分割:

满足以下条件的 QQ 的子集 AA 被称为戴德金分割:

  1. A≠∅,A≠QA\neq \empty,A\neq Q

  2. 若 q∈Qq\in Q 且存在 p∈Ap\in A 使得 q<pq<p ,则 q∈Aq\in A

  3. p∈A→p\in A\rightarrow 存在 q∈Aq\in A ,使得 p<qp<q

设所有戴德金分割构成了集合 RR 。

定义序:A<B↔A⊊BA<B\leftrightarrow A\subsetneq B

可以证明这是全序集。接下来证明它具有确界性质:

对于 R′⊆RR'\subseteq R ,令 BB 是 R′R' 的一个上界,令 P=⋃A∈R′AP=\bigcup\limits_{A\in R'}A 。可以证明 P∈RP\in R 且 P=sup⁡{R′}P=\sup\{R'\}

加法的定义:A+B={a+b∣a∈A,b∈B}A+B=\{a+b|a\in A,b\in B\}

结合律,交换律,封闭性都显然。

零元:0R={x∈Q∣x<0}0_R=\{x\in Q|x<0\}

AA 的负元,即找到 BB 使得 A+B=0RA+B=0_R

−A={b∈Q∣∃r∈Q,r>0,s.t.−b−r∉A}-A=\{b\in Q|\exists r\in Q,r>0,\text{s.t.} -b-r\notin A\}

乘法的定义:

令 R+={A∈R∣A>0R}R^{+}=\{A\in R|A>0_R\} ,我们先在 R+R^{+} 上定义乘法。

AB={p∈Q∣∃r∈A,r>0且∃s∈B,s>0,使得p=rs}AB=\{p\in Q|\exists r\in A,r>0且 \exists s\in B,s>0,使得p=rs\}

令 1∗={x∈Q∣x<1}1^{*}=\{x\in Q|x<1\} 为单位元。

定义 AA 的逆元:

B={p∈Q∣∃ϵp>0,s.t.p<1r−ϵp,∀0<r∈A}B=\{p\in Q|\exists \epsilon_p>0,\text{s.t.}p<\frac{1}{r}-\epsilon_{p},\forall 0<r\in A\}

那么在 RR 上,我们可以这样定义乘法:

对于 A<0R,B<0R,AB=(−A)(−B)A<0_R,B<0_R,AB=(-A)(-B) 。其他同理。

一些基本函数和极简集合论

ohno,我没来上课。

例题:设 f(x)f(x) 是定义在 RR 上的具有基本周期 r>0r>0 的函数,证明:若 ∀x∈(0,r)\forall x\in (0,r) 有 f(x)≠f(0)f(x)\neq f(0) ,则 g(x)=f(x2)g(x)=f(x^2) 不是周期函数。

证明:

假设 g(x)g(x) 是周期为 TT 的函数,则 ∀x∈R,f(x2)=f((x+T)2)\forall x\in R,f(x^2)=f((x+T)^2) 。

那么 f(0)=f(T2)f(0)=f(T^2) 。又由 ∀x∈(0,r)\forall x\in (0,r) 有 f(x)≠f(0)f(x)\neq f(0) 可知:T2=krT^2=kr ,k∈N+k\in N^{+} 。

还有 f(((k+1)r+T))2=f(((k+1)r)2)f((\sqrt{(k+1)r}+T))^2=f((\sqrt{(k+1)r})^2) ,即 f((k+1)r)=f(((k+1)r+kr)2)=f(0)f((k+1)r)=f((\sqrt{(k+1)r}+\sqrt{kr})^2)=f(0) 。

则存在 n∈N+n\in N+ 使得 nr=(2k+1)r+2rk(k+1)nr=(2k+1)r+2r\sqrt{k(k+1)} ,也就是 n=2k+1+2k(k+1)n=2k+1+2\sqrt{k(k+1)} 不可能为正整数,证毕。

数列

N→R\N\rightarrow \R 的映射。(由数排成的有头无尾的一列称为一个数列)例子:xn=1n,∀n∈Nx_n=\frac{1}{n},\forall n\in \N 。

{xn}\{x_n\} 的极限定义如下。

lim⁡n→∞xn=a\lim\limits_{n\rightarrow \infty}x_n=a :∀ϵ>0,∃N∈N\forall \epsilon >0,\exists N\in \N 使得 ∀n>N,∣xn−a∣<ϵ\forall n>N,|x_n-a|<\epsilon

邻域:

U(x0,δ)={x∈R∣∣x−x0∣<δ}U(x_0,\delta)=\{x\in \R||x-x_0|<\delta\}

把 {xn}\{x_n\} 撒在数轴上,则: aa 的任意邻域外含有限个点。

我们也可以把极限记作 xn→a(n→∞)x_n\rightarrow a (n\rightarrow \infty)

如果存在极限,则称序列是收敛的,否则是发散的。

xnx_n 发散:∀a∈R,∃ϵ0>0\forall a\in \R,\exists \epsilon_0>0 满足:∀N∈N,∃n0>N\forall N\in \N,\exists n_0>N 使得 ∣xn0−a∣>ϵ0|x_{n_0}-a|>\epsilon_0

无穷小量 :极限为 00 的数列称为一个无穷小量,记为 xn=o(1)(n→∞)x_n=o(1)(n\to \infty)

若 xnx_n 有界,则记为 xn=O(1)(n→∞)x_n=O(1)(n\to \infty)

无穷大量

∀M>0,∃N∈N\forall M>0,\exists N\in \N 使得 xn>∣M∣∀n>Nx_n>|M|\forall n>N , 则称 xnx_n 为一个无穷大量,记为 lim⁡n→∞xn=∞\lim_{n\to\infty}x_n=\infty 。

性质:设 xn≠0∀n∈Nx_n\neq 0\forall n\in \N ,,则 xnx_n 是无穷小量 ↔\leftrightarrow 1xn\frac{1}{x_n} 是无穷大量

例题:设 xn=1+12+⋯+1nx_n=1+\frac{1}{2}+\dots+\frac{1}{n} ,则 lim⁡n→∞xn=∞\lim\limits_{n\to\infty}x_n=\infty 。

考虑最大的 k∈Nk\in \N 使得 n>2kn>2^k ,那可以放缩成 xn>1+12+14+14+18+⋯≥k2x_n>1+\frac{1}{2}+\frac{1}{4}+\frac{1}{4}+\frac{1}{8}+\dots\geq \frac{k}{2}

这样对于 M>0M>0 ,取 N=c∗2MN=c*2^M 即可

如何计算数列极限?

保序性

若数列 xn,ynx_n,y_n 满足 lim⁡n→∞xn=a,lim⁡n→∞yn=b\lim\limits_{n\to\infty}x_n=a,\lim\limits_{n\to\infty}y_n=b 。

(1) a<b→a<b\to ∀c∈(a,b),∃N0∈N\forall c\in (a,b),\exists N_0\in \N 使得 xn<c<yn∀n>N0x_n<c<y_n\forall n>N_0

(2) ∃N0∈N\exists N_0\in \N 使得 xn≤yn∀n>N0x_n\le y_n\forall n>N_0 ,则 a≤ba\le b 。

保号性

若 a>0a>0 ,则 ∀c∈(0,a),∃Nc∈N\forall c\in (0,a),\exists N_c\in \N 使得 xn>c>0∀n>Ncx_n>c>0\forall n>N_c

极限四则运算

lim⁡x→∞(xn+yn)=a+b,lim⁡x→∞(xnyn)=ab\lim\limits_{x\to\infty}(x_n+y_n)=a+b,\lim\limits_{x\to\infty}(x_ny_n)=ab

哦,这里有一个事情,两个多项式相除的 lim 可以直接写出来

夹逼原理

设数列 xn,yn,znx_n,y_n,z_n 满足 ∀n∈N,xn≤yn≤zn\forall n\in\N,x_n\le y_n\le z_n 。则如果 lim⁡n→∞xn=lim⁡n→∞zn=a\lim\limits_{n\to \infty}x_n=\lim\limits_{n\to \infty}z_n=a ,则 lim⁡n→∞yn=a\lim\limits_{n\to \infty} y_n=a 。

:计算 lim⁡n→∞sin⁡nn\lim\limits_{n\to \infty} \frac{\sin n}{n} 。发现 0<∣sin⁡nn∣<1n0<|\frac{\sin n}{n}|<\frac{1}{n}

例:计算 lim⁡n→∞n(1n2+π+⋯+1n2+nπ)\lim\limits_{n\to \infty} n(\frac{1}{n^2+\pi}+\dots +\frac{1}{n^2+n\pi}) 。

考虑 n∗nn2+nπ≤n(1n2+π+⋯+1n2+nπ)≤n∗nn2n*\frac{n}{n^2+n\pi}\le n(\frac{1}{n^2+\pi}+\dots +\frac{1}{n^2+n\pi})\le n*\frac{n}{n^2} ,显然两边的极限都是 11 。

例:计算 lim⁡n→∞nan(0<a<1)\lim_{n\to \infty}na^n(0<a<1)

考虑 (a−1)n=(a−1−1+1)n≥n24(a−1−1)2(a^{-1})^n=(a^{-1}-1+1)^n\geq \frac{n^2}{4}(a^{-1}-1)^2 ,于是 an≤4n2(a−1−1)2a^n\le \frac{4}{n^2(a^{-1}-1)^2} ,结束了

(二项式展开 trick)

Cauchy 命题

若 lim⁡n→∞xn=a,\lim\limits_{n\to \infty}x_n=a, 则 lim⁡n→∞x1+x2+⋯+xnn=a\lim_{n\to \infty}\frac{x_1+x_2+\dots+x_n}{n}=a ,其中 aa 可以是 +∞,−∞+\infty,-\infty

一个例题: 设 lim⁡n→∞1n(x1+x2+⋯+xn)=a,则lim⁡x→∞xnn=0\lim\limits_{n\to \infty}\frac{1}{n}(x_1+x_2+\dots+x_n)=a,则 \lim\limits_{x\to \infty}\frac{x_n}{n}=0

可以考虑 xn=tn+1(n+1)−tnnn=tn+1−tn+tn+1nx_n=\frac{t_{n+1}(n+1)-t_nn}{n}=t_{n+1}-t_{n}+\frac{t_{n+1}}{n}

显然 tn+1n→0\frac{t_{n+1}}{n}\to 0 ,tn+1−tn→0t_{n+1}-t_n\to 0

一个例题:lim⁡n→∞1n∑k=1nxk=l\lim\limits_{n\to \infty}\frac{1}{n}\sum\limits_{k=1}^n x_k=l 且 lim⁡n→∞n(xn−xn−1)=0\lim\limits_{n\to \infty}n(x_n-x_{n-1})=0 ,证明 lim⁡n→∞xn=l\lim\limits_{n\to \infty}x_n=l

考虑对 n(xn−xn−1)n(x_n-x_{n-1}) 做前缀和,利用 Cauchy 命题。1n∑k=1nk(xk−xk−1)\frac{1}{n}\sum\limits_{k=1}^n k (x_k-x_{k-1}) 整理可得 xn−∑k=1n−1xkn−x0nx_n-\frac{\sum\limits_{k=1}^{n-1}x_k}{n}-\frac{x_0}{n}

到这里,∑k=1n−1xkn→0\frac{\sum\limits_{k=1}^{n-1}x_k}{n}\to 0 ,显然 x0n→0\frac{x_0}{n}\to 0 ,所以 xn→lx_n\to l ,证完了。

Stolz 定理

00\frac{0}{0} 型

设 {bn}\{b_n\} 是严格单调下降序列,an→0,bn→0a_n\to 0,b_n\to 0 ,且 L=lim⁡n→∞an−an−1bn−bn−1L=\lim_{n\to \infty}\frac{a_n-a_{n-1}}{b_n-b_{n-1}} ,则 L=lim⁡n→∞anbnL=\lim\limits_{n\to \infty}\frac{a_n}{b_n}

∗∞\frac{*}{\infty} 型

设 {bn}\{b_n\} 是严格递增且趋于 +∞+\infty 的数列,L=lim⁡n→∞an−an−1bn−bn−1L=\lim_{n\to \infty}\frac{a_n-a_{n-1}}{b_n-b_{n-1}} ,则 L=lim⁡n→∞anbnL=\lim\limits_{n\to \infty}\frac{a_n}{b_n}

(可以发现 Cauchy 命题其实是个特殊情况)

例题:lim⁡n→∞(xn−xn−1)=l\lim\limits_{n\to\infty}(x_n-x_{n-1})=l ,证明 lim⁡n→∞xnn=l\lim\limits_{n\to \infty}\frac{x_n}{n}=l

stolz 秒了。

例题:计算 lim⁡n→∞1n∑j=1n(jn)k\lim\limits_{n\to\infty}\frac{1}{n}\sum\limits_{j=1}^n (\frac{j}{n})^k

考虑化成 ∑j=1njknk+1\frac{\sum\limits_{j=1}^n j^k}{n^{k+1}} ,根据 Stolz 定理,设法求 (n+1)k(n+1)k+1−nk+1\frac{(n+1)^k}{(n+1)^{k+1}-n^{k+1}} 的极限即可。

把分母化成 ∑j≤knj(n+1)k−j\sum\limits_{j\le k}n^j(n+1)^{k-j} 。于是整个式子化成 1∑j≤k(nn+1)j\frac{1}{\sum\limits_{j\le k}(\frac{n}{n+1})^j} ,它的极限自然是 1k+1\frac{1}{k+1} 。

例题:

设 k∈N,lim⁡n→∞an=lk\in\N,\lim\limits_{n\to \infty}a_n=l ,求 lim⁡n→∞∑j=1njkajnk+1=lk+1\lim\limits_{n\to\infty}\frac{\sum\limits_{j=1}^n j^ka_j}{n^{k+1}}=\frac{l}{k+1}

根据 stolz,求 nkannk+1−(n−1)k+1\frac{n^ka_n}{n^{k+1}-(n-1)^{k+1}} 。化成 an∑j≤k(n−1n)j\frac{a_n}{\sum\limits_{j\le k}(\frac{n-1}{n})^j} 。分子分母极限都显然,做完了。

例题:

2xn+1−xn2x_{n+1}-x_n 收敛到 aa ,求 xnx_n 极限

考虑 xn=2nxn2nx_n=\frac{2^nx^n}{2^n} ,对着这个上下差分就有 2n+1xn+1−2nxn2n+1−2n=2xn+1−xn\frac{2^{n+1}x_{n+1}-2^nx_n}{2^{n+1}-2^n}=2x_{n+1}-x_n ,结束了

2xn+1+xn2x_{n+1}+x_n 收敛到 aa ,求 xnx_n 极限

发现没法直接套用,因为 (−2)n(-2)^n 不是单调递增的。

一个想法是如果 a=0a=0 ,那直接令 yn=(−1)nxny_n=(-1)^nx_n 就好了

现在直接考虑 bn=xn−a3b_n=x_n-\frac{a}{3} ,那么 2bn+1+bn2b_{n+1}+b_n 收敛到 00 ,做完了,所以 xnx_n 极限是 a3\frac{a}{3}

单调收敛原理

单调上升有上界的序列收敛,单调下降有下界的序列收敛,即单调有界序列收敛

小数表示

为什么 x∈Rx\in \R 可以表示成小数?

我们先计算整数部分 x0x_0 ,然后乘 1010 取整得到 x1x_1,乘 1010 取整得到 x2x_2,以此类推,构造出序列 {xn}\{x_n\} 为 x0.x1x2x3…x_0.x_1x_2x_3\dots

令 yn=∑i=0n10−ixiy_n=\sum\limits_{i=0}^n 10^{-i}x_i ,则 yny_n 是单调上升且有上界的,所以它有极限。

而且 0<x−yn<10−n0<x-y_n<10^{-n} ,所以由夹逼原理,yny_n 的极限就是 xx 。

怎么证 0.9˙=10.\dot{9}=1 ?

首先要明白什么是 0.9˙0.\dot{9} ,中学阶段我们都没法说明它是否收敛。我们应该令 xn=0.999…9x_n=0.999\dots9 (nn 个 99),称 0.9˙0.\dot9 是这个数列的极限。

这样才是有道理的。

不难得到任意无限循环小数都是有理数。

再证明任意有理数都是无限循环小数/有限小数。

对于有理数 0<qp<10<\frac{q}{p}<1 满足 (p,q)=1(p,q)=1 ,首先 p=10kp=10^k 就结束了

如果 p≠10kp\neq 10^k ,只需要说明 1p\frac{1}{p} 能表示成 z10k(10t−1)\frac{z}{10^k(10^t-1)} 即可。也就是说要找到 z∈Nz\in \N 使得 pz=10k(10t−1)=(10k+t−1)−(10k−1)pz=10^k(10^t-1)=(10^{k+t}-1)-(10^k-1)

令 an=(10n−1) mod pa_n=(10^{n}-1)\bmod p ,用抽屉原理即可知前 p+1p+1 个数有两个位置满足 ai=aja_i=a_j ,那就有 p∣(10j−1)−(10i−1)p|(10^j-1)-(10^i-1) ,这就做完了

证明:[0,1][0,1] 中的实数不是可数的。

假设是可数的,则列成 x0,x1,…,xn,…x_0,x_1,\dots,x_n,\dots

设 xi,jx_{i,j} 是 xix_i 小数表示的第 jj 位,构造 yy 满足它小数表示的第 ii 位是任意一个不等于 xi,ix_{i,i} 的数,那 yy 不在 {xn}\{x_n\} 中,矛盾!

所以是不可数的

实数的无理度

(1)对任意有理数 xx ,存在无穷多个 qp\frac{q}{p} 使得 ∣x−qp∣≤1p|x-\frac{q}{p}|\le \frac{1}{p}

令 x=stx=\frac{s}{t} ,那考察 ns−1nt\frac{ns-1}{nt} ,显然满足要求

(2)对任意无理数 xx ,∀n∈N\forall n\in\N ,存在 p,qp,q 满足 p,q∈Zp,q\in \Z 且 1≤p≤n1\le p\le n ,且 ∣px−q∣≤1n|px-q|\le \frac{1}{n}

证明:令 ap=px−[px]a_p=px-[px] ,考察 a1,a2,…,an+1a_1,a_2,\dots,a_{n+1} ,首先这个数列两两不等,否则 xx 就不是无理数了。

根据抽屉原理必有 i≠ji\neq j 满足 ∣aj−ai∣≤1n|a_j-a_i|\le \frac{1}{n} ,于是令 p=j−i,q=([jx]−[ix])p=j-i,q=([jx]-[ix]) ,自然就找到 ∣px−q∣≤1n|px-q|\le \frac{1}{n} 了

(3)对任意无理数 xx ,存在无穷多个 qp\frac{q}{p} 使得 ∣x−qp∣≤1p2|x-\frac{q}{p}|\le \frac{1}{p^2}

用 (2) 问结论证一证就好了。

(4)对实数 xx ,若存在一列 (qk,pk)∈N×Z(q_k,p_k)\in \N×\Z 满足 (pk,qk)=1,pk→+∞(p_k,q_k)=1,p_k\to+\infty ,∣x−qkpk∣=o(1pk)(k→∞)|x-\frac{q_k}{p_k}|=o(\frac{1}{p_k})(k\to\infty) ,则 x∉Qx\notin Q

反证,假设 x=qpx=\frac{q}{p} ,那么 ∣qpk−qkp∣=o(p)=o(1)(k→∞)|qp_k-q_kp|=o(p)=o(1)(k\to\infty) ,然而前者是整数,所以存在 CC 使得 k>Ck>C 时都有 qpk=qkpqp_k=q_kp 。那此时 pkp_k 就固定了,和 pk→∞p_k\to\infty 矛盾!

观察 (1)(3) ,发现如果存在无穷多个 pq\frac{p}{q} 满足 0<∣x−pq∣≤1qa0<|x-\frac{p}{q}|\le \frac{1}{q^{a}} ,那么 aa 就阐释了 xx 有多“无理”。

对一个 xx ,我们称满足这个条件最大的 aa 是 xx 的无理度。显然有理数的无理度=1,无理数的无理度 ≥2\geq 2 。

定义Liouville数 :∀n∈N\forall n\in\N ,存在 p,qp,q 满足 p,q∈Zp,q\in \Z 满足 p>1p>1 且 0<∣x−qp∣≤1pn0<|x-\frac{q}{p}|\le \frac{1}{p^n} ,则称 xx 为 Liouville 数。

容易证明 Liouville数的无理度为无穷大。

那么 Liouville数 是否存在?构造 xk=∑k=1nak10k!x_k=\sum\limits_{k=1}^n \frac{a_k}{10^{k!}} ,其中 ∀k∈Z,ak∈{1,2,…,9}\forall k\in Z,a_k\in \{1,2,\dots,9\} ,定义 xx 是这个数列的极限,则 xx 是 Liouville 数。

证明很简单,发现 xnx_n 就满足 x−xn≤1(10n!)nx-x_n\le \frac{1}{(10^{n!})^n} ,而 xnx_n 形如 q10n!\frac{q}{10^{n!}} 。

Liouville 定理 令 P(x)=∑k=0nakxkP(x)=\sum\limits_{k=0}^n a_kx^k 为整系数多项式,且无理数 x0x_0 是 P(x)P(x) 的根,则有:

∃A>0\exists A>0 使得 ∣x0−qp∣>Apn|x_0-\frac{q}{p}|>\frac{A}{p^n} ∀p∈N,q∈Z\forall p\in \N,q\in \Z

无理数 ee 和 Euler 常数 CC

考察 xn=(1+1n)n,yn=(1+1n)n+1x_n=(1+\frac{1}{n})^n,y_n=(1+\frac{1}{n})^{n+1}

可以证明 xx 单调递增,yy 单调递减,且一直有 xn<ynx_n<y_n

那么 xx 有上界 y1y_1 ,yy 有下界 x1x_1 ,这说明二者都存在极限,且它们极限相等。(相等的原因是 yn=xn(1+1n)y_n=x_n(1+\frac{1}{n}) ,而 1+1n→11+\frac{1}{n}\to 1)

但我们似乎没法用之前所学表示这个数?

e=lim⁡n→∞(1+1n)ne=\lim\limits_{n\to \infty}(1+\frac{1}{n})^n

令 xn=∑i=1n1i−ln⁡nx_n=\sum\limits_{i=1}^n \frac{1}{i}-\ln n ,xnx_n 也有极限我们记为 cc ,约为 0.57720.5772 。

所以我们可以记住两个公式:∑k=1n1k=ln⁡n+c+αn\sum\limits_{k=1}^n \frac{1}{k}=\ln n+c +\alpha_n

以及 (1+1k)k<e<(1+1k)k+1(1+\frac{1}{k})^k<e<(1+\frac{1}{k})^{k+1}

另一个公式:lim⁡n→∞nnn!=e\lim\limits_{n\to\infty}\frac{n}{^n\sqrt{n!}}=e 进一步推导可得斯特林公式

实数系连续性的基本定理

内点 设集合 A⊂R,x∈RA\subset \R,x\in \R ,若 ∃δ>0\exists \delta >0 使得 (x−δ,x+δ)⊂A(x-\delta,x+\delta)\sub A ,则 xx 为 AA 的内点

边界点 ∀δ>0\forall \delta >0 ,(x−δ,x+δ)∩A≠∅(x-\delta,x+\delta)\cap A\neq \varnothing 且 (x−δ,x+δ)⊄A(x-\delta,x+\delta)\not\subset A

孤立点 x∈Ax\in A 且 ∃δ>0,(x−δ,x+δ)∩A={x}\exists \delta >0,(x-\delta,x+\delta)\cap A=\{x\}

外点 ∃δ>0,(x−δ,x+δ)∩A=∅\exists \delta >0,(x-\delta,x+\delta)\cap A=\varnothing

开集 AA 中的所有点都是内点

闭集 AA 中的所有边界点都属于 AA

如果 A⊂RA\subset \R 是闭集,则 R−A\R-A 是开集,反之亦然。

有限个开集的交集是开集,任意多个开集的并集是开集

闭区间套定理

设 [an,bn]n=1∞[a_n,b_n]_{n=1}^{\infty} 是一系列闭区间满足 [an+1,bn+1]⊆[an,bn][a_{n+1},b_{n+1}]\subseteq [a_n,b_n] ,且 bn−an→0b_n-a_n\to 0 ,则存在唯一的 c∈Rc\in \R 使得 {c}=⋂n=1∞[an,bn]\{c\}=\bigcap\limits_{n=1}^\infty [a_n,b_n]

一个有趣的例题:f(x)f(x) 在 (a,b)(a,b) 内有定义且 ∀x∈(a,b)\forall x\in (a,b) ∃p\exists p 使得 ∀x′∈(x−p,x),f(x′)<f(x)\forall x'\in (x-p,x),f(x')<f(x) ,∀x′∈(x,x+p),f(x)<f(x′)\forall x'\in (x,x+p),f(x)<f(x') 。证明 ff 单调递增

考虑反证,假设 f(a)≥f(b)f(a)\geq f(b) ,然后取 a+b2\frac{a+b}{2} ,发现要么 f(a)≥f(a+b2)f(a)\geq f(\frac{a+b}{2}) 要么 f(a+b2)≥f(b)f(\frac{a+b}{2})\geq f(b) ,所以可以这样子二分下去,最后就构造出了闭区间套!设 cc 是那个唯一的被所有区间包含的数,则存在一个以 cc 为中心的邻域满足左低右高,那我们构造的所有闭区间都应当包含这个领域,矛盾!

另一个有趣的例题:证明 R\R 不可数。

反证,假设可数,设 R={xn}n=1∞\R=\{x_n\}_{n=1}^{\infty} 。任取闭区间满足 x1∉[a1,b1]x_1\notin [a_1,b_1] 。容易通过二分构造 x2∉[a2,b2]x_2\notin [a_2,b_2] 且 2(b2−a2)≤b1−a12(b_2-a_2)\le b_1-a_1 这样就造出了闭区间套,设 cc 是那个唯一的数,则 c≠x1,c≠x2,…c\neq x_1,c\neq x_2,\dots ,即 c∉Rc\notin \R ,矛盾!

引理:RR 中两两互不相交的开区间全体至多可数。

这是显然的,因为 QQ 可数,每个开区间都包含一个有理数

引理:R\R 中任何开集都是至多可数个互不相交的开区间的并

感性理解:每个点都是闭点,那开集其实就能看成一堆邻域并起来。两个相交的开区间可以合并成新的开区间,直到两两不交

有限覆盖定理

开覆盖:用若干开集覆盖一个集合。

有限覆盖定理:设 [a,b][a,b] 是一个闭区间, {Eλ}\{E_λ\}是 [a,b][a,b] 的一个开覆盖(每一个 EλE_λ 都是一个开区间),
则必存在 EλE_λ 的一个有限子集构成 [a,b][a,b] 的一个有限开覆盖.

推论:把 [a,b][a,b] 替换成一个有界闭集,定理仍然成立

例:若 f(x)f(x) 定义于 [a,b][a,b] 且 ∀x∈[a,b],∃δx>0,Mx>0\forall x\in [a,b],\exists \delta_x>0,M_x>0 使得 ∀y∈(x−δx,x+δx)∩[a,b],∣f(y)∣≤Mx\forall y\in (x-\delta_x,x+\delta_x)\cap [a,b],|f(y)|\le M_x 。则 f(x)f(x) 有界。

证明考虑所有 (x−δx,x+δx)(x-\delta_x,x+\delta_x) 构成了开覆盖,于是存在有限开覆盖,把这有限个 MxM_x 取 max 即可。

例:若 [a,b][a,b] 存在开覆盖,则 ∃δ>0\exists \delta >0 ,使得 ∀[x,y]⊂[a,b]\forall [x,y]\subset [a,b] ,若 y−x<δy-x<\delta ,则存在 E0∈{Eλ}E_{0}\in \{E_λ\} 使得 [x,y]⊂E0[x,y]\subset E_0 。于是定义 Lebesgue数:设 min⁡(1,sup⁡δb−a)\min(1,\frac{\sup \delta}{b-a}) 为区间 [a,b][a,b] 的这组开覆盖的 Lebesgue 数。

聚点原理

设 U0(x,δ)=(x−δ,x)∪(x,x+δ)U_0(x,\delta)=(x-\delta,x)\cup (x,x+\delta) ,则称 x0x_0 是 EE 的一个聚点当且仅当 ∀δ>0,U0(x,δ)∩E≠∅\forall \delta>0,U_0(x,\delta)\cap E\neq \varnothing

x0x_0 是 EE 的聚点 ↔\leftrightarrow ∀δ>0,U(x0,δ)\forall \delta>0,U(x_0,\delta) 中有无限个 EE 的元素 ↔\leftrightarrow ∃{xn}n=1∞⊂E,xi≠xj(i≠j)\exists\{x_n\}_{n=1}^{\infty}\subset E,x_i\neq x_j(i\neq j) ,使得 lim⁡n→∞xn=x0\lim\limits_{n\to\infty}x_n=x_0

闭包 :EE 的孤立点和聚点并起来构成 EE 的闭包。我们记为 E‾\overline{E} 。

稠密 :若 E⊂F⊂RE\subset F \subset \R 满足 ∀x∈F,∀ϵ>0,∃y∈E\forall x\in F,\forall \epsilon>0,\exists y\in E 使得 y∈U0(x,ϵ)y\in U_0(x,\epsilon) ,则 EE 在 FF 中稠密。

等价条件: E⊂F⊂E‾E\subset F\subset \overline{E} 。也等价于 FF 中的点全是 EE 的聚点。

聚点原理 R\R 中任何有界无穷集 EE 至少有一个聚点

子列极限

定理:若数列 {xn}\{x_n\} 有极限 aa ,则 {xn}\{x_n\} 的任何子列极限均为 aa 。

定理: x2k→ax_{2k}\to a 且 x2k+1→ax_{2k+1}\to a ,则 xk→ax_k\to a 。

例:证明 (−1)n(-1)^n 发散。考虑反证,假设 (−1)n→a(-1)^n\to a ,则 (−1)2n→a(-1)^{2n}\to a 和 (−1)2n+1→a(-1)^{2n+1}\to a ,矛盾

定理:单调数列收敛当且仅当其某一个子列收敛

定理:若 xx 的两个子列下标的并为 N\N ,且两个子列的极限都等于 aa ,则 xn→ax_n\to a 。

定理:[Bolzano-Weierstrauss 定理] 任何有界数列必有收敛子列。(证明:考察聚点即可)

Cauchy 收敛准则

{xn}\{x_n\} 是 Cauchy 列,当且仅当 ∀ϵ>0∃N∈N\forall \epsilon>0\exists N\in\N 使得 ∀n,m>N,∣xn−xm∣<ϵ\forall n,m>N,|x_n-x_m|<\epsilon 。

定理:[Cauchy收敛准则] {xn}\{x_n\} 收敛 ↔\leftrightarrow {xn}\{x_n\} 是一个 Cauchy 列。

完备 如果一个集合的任意 Cauchy 列都在此集合内有极限,则此集合完备。

比如 R\R 完备,Q\text{Q} 不完备。

序列的上下极限

对于有界数列 xnx_n ,设 ln=inf⁡{xn,xn+1,… },hn=sup⁡{xn,xn+1,… }l_n=\inf \{x_n,x_{n+1},\dots\},h_n=\sup\{x_n,x_{n+1},\dots\} 。发现 ln≤h1,hn≥l1l_n\le h_1,h_n\geq l_1 ,于是二者都单调有界,所以收敛。

设 ln→l,hn→hl_n\to l,h_n\to h , 则 l,hl,h 被称为 xx 的下极限,上极限,记作 lim⁡‾n→∞xn=h,lim⁡‾n→∞xn=l\overline{\lim}_{n\to\infty} x_n=h,\underline{\lim}_{n\to\infty} x_n=l

对于无界数列能类似的定义。

定理: xnx_n 上极限是 hh ↔{∀收敛子列lim⁡≤h∃子列lim⁡=h\leftrightarrow \begin{cases}\forall 收敛子列\quad\lim\le h\\ \exists 子列\quad \lim=h\end{cases}

定理:若 xnx_n 有界且不存在常值子列,则它的上极限是它的最大聚点,下极限同理。

定理:xn→ax_n\to a ,则其上下极限皆为 aa

定理:lim⁡‾(an+bn)≤lim⁡‾(an)+lim⁡‾(bn)\overline{\lim} (a_n+b_n)\le \overline{\lim} (a_n)+\overline{\lim} (b_n)

其他定理都比较类似,这里就不一一说明了

[上下极限的Stolz定理1] 设 yn→+∞y_n\to+\infty 且严格上升,则

\underline\lim{\frac{x_{n+1}-x_n}{y_{n+1}-y_n}}\le \underline\lim \frac{x_n}{y_n}\le \overline\lim \frac{x_n}{y_n}\le \overline\lim \frac{x_{n+1}-x_n}{y_{n+1}-y_n}

[上下极限的Stolz定理2] 设 yn→0y_n\to 0 且 xn→0x_n\to 0 且 yny_n 严格单调下降,则

\underline\lim{\frac{x_{n+1}-x_n}{y_{n+1}-y_n}}\le \underline\lim \frac{x_n}{y_n}\le \overline\lim \frac{x_n}{y_n}\le \overline\lim \frac{x_{n+1}-x_n}{y_{n+1}-y_n}

利用上下极限,我们可以干一些有趣的事。

比如说设 {xn}\{x_n\} 和 α>1\alpha>1 满足 yn=xn+αxn+1y_n=x_n+\alpha x_{n+1} ,证 yny_n 收敛 →\to xnx_n 收敛。

先利用求解递推证明 xnx_n 有界,然后设 xnx_n 的上下极限为 l,rl,r 而 yn→by_n\to b ,有 xn+1=yn−xnαx_{n+1}=\frac{y_n-x_n}{\alpha} ,两边取上极限有 r=b−lαr=\frac{b-l}{\alpha} ,同理 l=b−rαl=\frac{b-r}{\alpha} ,自然就有 l=rl=r 了。

注意这里用到了 lim⁡‾(an+bn)=lim⁡(an)+lim⁡‾(bn)\overline{\lim} (a_n+b_n)= \lim (a_n)+\overline{\lim} (b_n)

函数

函数极限基础

基本定义

若 f(x)f(x) 在 (a,+∞)(a,+\infty) 有定义 ,若常数 AA 满足 ∀ϵ>0,∃X>0\forall \epsilon>0,\exists X>0 使得 ∀x>X,∣f(x)−A∣<ϵ\forall x>X,|f(x)-A|<\epsilon ,则 lim⁡x→+∞f(x)=A\lim\limits_{x\to+\infty}f(x)=A 。

同理可以定义 x→−∞,x→∞x\to -\infty,x\to \infty 。

若 f(x)f(x) 在 x0x_0 某空心邻域有定义,若常数 AA 满足 ∀ϵ>0,∃X>0\forall \epsilon>0,\exists X>0 使得 ∀x∈U˚(x0,X),∣f(x)−A∣<ϵ\forall x\in \mathring{U}(x_0,X),|f(x)-A|<\epsilon ,则 lim⁡x→x0f(x)=A\lim\limits_{x\to x_0}f(x)=A 。

若 f(x)f(x) 在 (x0,b)(x_0,b) 有定义,若常数 AA 满足 ∀ϵ>0,∃X>0\forall \epsilon>0,\exists X>0 使得 ∀x∈(x0,x0+X),∣f(x)−A∣<ϵ\forall x\in (x_0,x_0+X),|f(x)-A|<\epsilon ,则 lim⁡x→x0+f(x)=A\lim\limits_{x\to x_0+}f(x)=A ,也可以记作 f(x0+)=Af(x_0^{+})=A 。

同理定义 f(x0−)f(x_0^{-}) 。

基本性质

有界性定理,单调收敛定理,保序保号,夹逼,四则运算仍然成立。

定理:类似子列极限=数列极限,我们有 lim⁡x→x0f(x)=A⇔\lim\limits_{x\to x_0}f(x)=A\Leftrightarrow 对于任意无穷数列 {xn}\{x_n\} 满足 xn→x0x_n\to x_0 且 xn≠x0x_n\neq x_0 ,有 lim⁡n→+∞f(xn)=A\lim\limits_{n\to+\infty} f(x_n)=A 。

函数上的 Cauchy 准则: lim⁡x→x0f(x)\lim\limits_{x\to x_0}f(x) 存在 ⇔∀ϵ>0∃δ>0\Leftrightarrow \forall \epsilon>0\exists \delta >0 使得 ∣f(x′)−f(x′′)∣<ϵ,∀x′,x′′∈U˚(x0,δ)|f(x')-f(x'')|<\epsilon,\forall x',x''\in \mathring{U}(x_0,\delta)

我们同理可以定义函数上的上下极限。比如说考虑对于 U˚(x0,δ0)\mathring{U}(x_0,\delta_0) 上定义的有界函数 ff ,设 h(x)h(x) 是 U˚(x0,∣x−x0∣)\mathring{U}(x_0,|x-x_0|) 上的 sup,l(x)l(x) 是相应的 inf。那么下极限就是 lim⁡x→x0l(x)\lim\limits_{x\to x_0}l(x) ,上极限是 lim⁡x→x0h(x)\lim\limits_{x\to x_0}h(x)

复合函数极限:lim⁡x→x0g(x)=u0,lim⁡x→u0f(x)=A\lim\limits_{x\to x_0}g(x)=u_0,\lim\limits_{x\to u_0}f(x)=A ,则 lim⁡x→x0f(g(x))=A\lim\limits_{x\to x_0}f(g(x))=A 。

推论:lim⁡xg(x)=A\lim\limits_{x}g(x)=A ,则 lim⁡xln⁡g(x)=ln⁡A\lim\limits_{x}\ln g(x)=\ln A 。对于 ex,sin⁡xe^x,\sin x 以及 xnx^n 有类似结论。

特殊极限:lim⁡x→0sin⁡xx=1\lim\limits_{x\to 0}\frac{\sin x}{x}=1 。

推论:lim⁡xu(x)=0\lim\limits_{x} u(x)=0 且 u(x)≠0u(x)\neq 0 ,则 lim⁡xsin⁡u(x)u(x)=1\lim\limits_{x}\frac{\sin u(x)}{u(x)}=1

我们来做一个题:求 lim⁡x→01−cos⁡xx2\lim\limits_{x\to 0}\frac{1-\cos x}{x^2} 。考虑 1−cos⁡x=2sin⁡2x21-\cos x=2\sin^2\frac{x}{2} ,于是 lim⁡x→02sin⁡2x2x2=2(lim⁡x→0sin⁡x2x)2=12\lim\limits_{x\to 0}\frac{2\sin ^2 \frac{x}{2}}{x^2}=2(\lim\limits_{x\to 0}\frac{\sin \frac{x}{2}}{x})^2=\frac{1}{2}

特殊极限 2:lim⁡x→∞(1+1x)x=e\lim\limits_{x\to \infty}{(1+\frac{1}{x})^x=e} 。

推论:lim⁡x→0(1+x)1/x=e\lim\limits_{x\to 0} (1+x)^{1/x}=e 。若 lim⁡xu(x)=0,u(x)≠0\lim\limits_{x}u(x)=0,u(x)\neq 0 ,则 lim⁡x(1+u(x))1/u(x)=e\lim\limits_{x}(1+u(x))^{1/u(x)}=e 。

推论:lim⁡xu(x)=A>0,lim⁡xv(x)=B\lim\limits_{x}u(x)=A>0,\lim\limits_{x} v(x)=B ,则 lim⁡xu(x)v(x)=AB\lim\limits_{x}u(x)^v(x)=A^B 。若 A≠1A\neq 1 ,则 B=+∞,−∞B=+\infty,-\infty 时结论也成立

无穷大量,无穷小量,有界量

绝对值趋于 +∞+\infty 被称为无穷大量。

O(1),(x→∗∗)O(1),(x\to **) 表示一个极限过程中的有界量。

o(1),(x→∗∗)o(1),(x\to **) 表示无穷小量,即趋于 00 。

有限个 o(1)o(1) 相加/相乘还是 o(1)o(1) 。O(1)o(1)=o(1)O(1)o(1)=o(1) 。

设某极限过程中 f(x)=o(1)f(x)=o(1) 且 ∣g(x)∣|g(x)| 有正下界,则 f(x)g(x)=o(1)\frac{f(x)}{g(x)}=o(1) 。

无穷小量间也有区别。

若 f(x),g(x)f(x),g(x) 是某极限过程中的无穷小量,但 lim⁡xf(x)g(x)=A≠0\lim\limits_{x}\frac{f(x)}{g(x)}=A\neq 0 ,则 f(x),g(x)f(x),g(x) 为同阶无穷小。如果 A=1A=1 ,则称 f(x),g(x)f(x),g(x) 是等价无穷小,记为 f(x)∼g(x)(x→∗∗)f(x)\sim g(x)(x\to **) 。

若 A=0A=0 ,则称 f(x)f(x) 是 g(x)g(x) 的高阶无穷小,记作 f(x)=o(g(x))f(x)=o(g(x)) 。

若某极限过程中 f(x)g(x)\frac{f(x)}{g(x)} 是有界量,则记 f(x)=O(g(x))f(x)=O(g(x))

如果 lim⁡xf(x)g(x)k≠0\lim\limits_{x}\frac{f(x)}{g(x)^k}\neq 0 ,则 f(x)f(x) 是 g(x)g(x) 的 kk 阶无穷小。

无穷小量会满足一些四则运算,比如 o(xα)=xαo(1)o(x^\alpha)=x^{\alpha}o(1)

一个例子:我们可以证明某极限过程 lim⁡f(x)=A,lim⁡g(x)=B\lim f(x)=A,\lim g(x)=B ,则 lim⁡f(x)g(x)=AB\lim f(x)g(x)=AB 。考虑 f(x)g(x)=(A+f′(x))(B+g′(x))=AB+o(1)f(x)g(x)=(A+f'(x))(B+g'(x))=AB+o(1) ,因为 f′,g′f',g' 都是无穷小量,这就做完了。

无穷小代换: 某极限过程中无穷小量,f∼gf\sim g ,则 lim⁡fh=lim⁡gh\lim fh=\lim gh 。商同理

例:lim⁡x→0sin⁡xln⁡(1+x)2x2=lim⁡x→0x⋅x2x2=12\lim\limits_{x\to 0}\frac{\sin x \ln (1+x)}{2x^2}=\lim\limits_{x\to 0}\frac{x\cdot x}{2x^2}=\frac{1}{2}

注:不能用于加减法。比如 lim⁡x→0x−sin⁡xx3≠lim⁡x→0x−xx3\lim\limits_{x\to 0}\frac{x-\sin x}{x^3}\neq \lim\limits_{x\to 0} \frac{x-x}{x^3}

常用的等价无穷小:x→0x\to 0 时 x∼sin⁡x,x∼tan⁡x,x∼arcsin⁡x,x∼arctan⁡x,x∼ln⁡(1+x),x∼ex−1,(1+x)α−1∼αxx\sim \sin x,x\sim \tan x,x\sim \arcsin x,x\sim \arctan x,x\sim \ln (1+x),x\sim e^x-1,(1+x)^\alpha-1\sim \alpha x

函数连续性

若 ff 在 x0x_0 某实心邻域有定义,且 x−x0→0⇒f(x)−f(x0)→0x-x_0\to 0\Rightarrow f(x)-f(x_0)\to 0 ,那么 f(x)f(x) 在 x=x0x=x_0 连续

可以记作 lim⁡Δx→0Δy=0\lim\limits_{\Delta x\to 0}\Delta y=0

若 ff 在 x0x_0 某空心领域有定义,若满足以下三者之一,则 x0x_0 为间断点

(1) f(x0)f(x_0) 不存在 (2) lim⁡x→x0f(x)\lim\limits_{x\to x_0}f(x) 不存在 (3) f(x)f(x) 和 lim⁡x→x0f(x)\lim\limits_{x\to x_0}f(x) 都存在但不相等

若左右极限都存在,则称为第一类间断点,否则称为第二类间断点

例:D(x)=[x∈Q]D(x)=[x\in \mathbb{Q}] 处处间断。因为它处处无极限

若 lim⁡x→x0+f(x)=f(x0)\lim\limits_{x\to x_0^{+}}f(x)=f(x_0) ,则称 f(x)f(x) 在 x0x_0 右连续 。左连续同理

若 f(x)f(x) 在 [a,b][a,b] 上有定义且 ∀x∈(a,b)\forall x\in (a,b) ,f(x)f(x) 在点 xx 连续,则 f(x)f(x) 在 (a,b)(a,b) 内连续,记作 f(x)∈C(a,b)f(x)\in C(a,b) 。

若同时还满足 aa 处右连续,bb 处左连续,则 f(x)∈C[a,b]f(x)\in C[a,b] 。

连续函数运算

若在某点 xx 有 f,gf,g 连续,则两函数做加减乘除后仍连续

若 gg 在 x0x_0 连续,ff 在 g(x0)g(x_0) 连续,则 f(g(x))f(g(x)) 在 x0x_0 连续

初等函数在定义域内连续

设 f(x)f(x) 在 (a,b)(a,b) 单调,则在 (a,b)(a,b) 内只可能有第一类间断点

设 wf(x,δ)=sup⁡x′,x′′∈(x−δ,x+δ)∣f(x′)−f(x′′)∣w_f(x,\delta)=\sup\limits_{x',x''\in (x-\delta,x+\delta)}|f(x')-f(x'')| ,wf(x)=lim⁡δ→0+wf(x,δ)w_f(x)=\lim\limits_{\delta\to 0^{+}}w_f(x,\delta) ,称 wf(x)w_f(x) 是 f(x)f(x) 的振幅函数。f(x)f(x) 在 xx 连续等价于 wf(x)=0w_f(x)=0

连续函数性质

闭区间连续函数性质

最值定理

对于 f(x)∈C[a,b]f(x)\in C[a,b] ,存在 x1,x2∈[a,b]x_1,x_2\in [a,b] 使得 f(x1)=max⁡x∈[a,b]f(x),f(x2)=min⁡x∈[a,b]f(x)f(x_1)=\max\limits_{x\in [a,b]}f(x),f(x_2)=\min\limits_{x\in [a,b]}f(x)

证明挺有趣的:我们设 M=sup⁡x∈[a,b]f(x)M=\sup\limits_{x\in [a,b]}f(x) ,如果 MM 不是最大值则 MM 是 {f(x)∣x∈[a,b]}\{f(x)|x\in [a,b]\} 的聚点,那么存在数列 xnx_n 满足 xn∈[a,b]x_n\in [a,b] 且 lim⁡n→+∞f(xn)=M\lim\limits_{n\to+\infty}f(x_n)=M 。又由 xnx_n 有界,取出其收敛子列 yny_n ,设 lim⁡n→+∞yn=A\lim\limits_{n\to+\infty}y_n=A 。由 f(x)∈C[a,b]f(x)\in C[a,b] 知 f(A)=Mf(A)=M ,这和假设矛盾。

中介值定理

设 f(x)∈C[a,b],m=min⁡x∈[a,b]f(x),M=max⁡x∈[a,b]f(x)f(x)\in C[a,b],m=\min \limits_{x\in [a,b]}f(x),M=\max\limits_{x\in [a,b]}f(x) ,则 ∀d∈(m,M),∃x∈(a,b)\forall d\in (m,M),\exists x\in (a,b) 使得 f(x)=df(x)=d

中介值定理2

设 f(x)∈C[a,b]f(x)\in C[a,b] 且 f(a)<f(b)f(a)<f(b) ,则 ∀d∈(f(a),f(b)),∃x∈(a,b)\forall d\in (f(a),f(b)),\exists x\in (a,b) 使得 f(x)=df(x)=d

所以我们可以顺便得到零点定理是说,如果 f(a)f(b)≤0f(a)f(b)\le 0 ,则存在 c∈[a,b]c\in [a,b] 使得 f(c)=0f(c)=0

代数基本定理

任何 nn 次实系数多项式, 都存在 nn 个根(零点)(包括复根,重根按重数计算个数)。若有复根,则均是成对(共轭)出现。

反函数

若 f(x)∈C(I)f(x)\in C(I) 且存在 f−1(x)f^{-1}(x) ,则 f(x)f(x) 在 II 上严格单调

单调函数 f(x)f(x) 在 II 单调等价于 f(I)f(I) 是区间

连续函数若有反函数,则反函数连续

函数的一致连续

若 ∀ϵ>0∃δ>0\forall \epsilon>0\exists \delta>0 使得 ∀x1,x2∈I,(∣x1−x2∣∈δ)⇒(∣f(x1)−f(x2)∣<ϵ)\forall x_1,x_2\in I,(|x_1-x_2|\in \delta)\Rightarrow (|f(x_1)-f(x_2)|<\epsilon) ,则 f(x)f(x) 在 II 上一致连续

例:f(x)=xf(x)=x 在 (−∞,∞)(-\infty,\infty) 上一致连续。但 f(x)=x2f(x)=x^2 不一致连续

一致连续的等价条件:∀{xn},{yn}∈I,(lim⁡n→+∞(xn−yn)=0)⇒(lim⁡n→+∞(f(xn)−f(yn))=0)\forall \{x_n\},\{y_n\}\in I,(\lim\limits_{n\to+\infty}(x_n-y_n)=0)\Rightarrow (\lim\limits_{n\to+\infty}(f(x_n)-f(y_n))=0)

Cantor定理 闭区间上的连续函数一致连续

证明比较有趣:对于 f∈C[a,b]f\in C[a,b] ,∀x∈[a,b]\forall x\in [a,b] 根据 Cauchy 收敛准则我们设 δx\delta_x 表示 ∀x1,x2∈(x−δx,x+δx),∣f(x1)−f(x2)∣<ϵ2\forall x_1,x_2\in (x-\delta_x,x+\delta_x),|f(x_1)-f(x_2)|<\frac{\epsilon}{2} 。则 ⋃x∈[a,b]U(x,δx)\bigcup\limits_{x\in [a,b]} U(x,\delta_x) 构成了 [a,b][a,b] 的覆盖,取出其有限覆盖,我们记作 x1,x2,…,xnx_1,x_2,\dots,x_n 。

考虑令 δ=min⁡i=1nδxi\delta=\min\limits_{i=1}^n \delta_{x_i} ,则 ∀∣x−y∣<δ\forall |x-y|<\delta ,一定能取出 x1x_1 所在区间 I1I_1 和 x2x_2 所在区间 I2I_2 满足存在 x3∈I1∩I2x_3\in I_1\cap I_2 ,则 ∣f(x1−x2)∣≤∣f(x3)−f(x2)∣+∣f(x3)−f(x1)∣<ϵ|f(x_1-x_2)|\le |f(x_3)-f(x_2)|+|f(x_3)-f(x_1)|<\epsilon 。

Lipschitz连续 如果 ∃L>0\exists L>0 使得 ∀x,y∈I,L∣x−y∣<∣f(x)−f(y)∣\forall x,y\in I,L|x-y|<|f(x)-f(y)| ,则称 ff 在 II 上 Lipschitz 连续。

导数

设 f(x)f(x) 在 U(x0,δ)U(x_0,\delta) 内有定义,若 lim⁡x→x0f(x)−f(x0)x−x0\lim\limits_{x\to x_0}\frac{f(x)-f(x_0)}{x-x_0} 存在,则称 ff 在 x0x_0 处可导,记作 f′(x0)f'(x_0) 。

我们有时也会写作 lim⁡Δx→0f(x+Δx)−f(x)Δx\lim\limits_{\Delta x\to 0}\frac{f(x+\Delta x)-f(x)}{\Delta x}

可导 ⇒\Rightarrow 连续

常见导数

(xα)′=αxα−1(x^\alpha)'=\alpha x^{\alpha-1} 。

证一下:

lim⁡Δx→0(x+Δx)α−xαΔx=lim⁡Δx→0xα(1+Δxx)α−1Δx=lim⁡Δx→0xααΔxxΔx=αxα−1\lim\limits_{\Delta x\to 0}\frac{(x+\Delta x)^\alpha-x^\alpha}{\Delta x}=\lim\limits_{\Delta x\to 0}x^{\alpha}\frac{(1+\frac{\Delta x}{x})^{\alpha}-1}{\Delta x}=\lim\limits_{\Delta x\to 0}x^{\alpha}\frac{\alpha\Delta x}{x\Delta x}=\alpha x^{\alpha-1} 。

(ax)′=axln⁡a(a^x)'=a^x\ln a

(log⁡ax)′=1xln⁡a(\log_ax)'=\frac{1}{x\ln a} 。

(sin⁡x)′=cos⁡x(\sin x)'=\cos x 。

证一下:lim⁡Δ→0sin⁡(x+Δ)−sin⁡(x)Δ=lim⁡Δ→02sin⁡Δ2cos⁡(x+Δ2)Δ=cos⁡x\lim\limits_{\Delta \to 0}\frac{\sin(x+\Delta)-\sin(x)}{\Delta}=\lim\limits_{\Delta \to 0}\frac{2\sin\frac{\Delta}{2}\cos (x+\frac{\Delta}{2})}{\Delta}=\cos x 。

(cos⁡x′)=−sin⁡x(\cos x')=-\sin x 。

类似左极限右极限,我们同理能定义左导数,右导数。

导数运算规则

(u+v)′=u′+v′(u+v)'=u'+v' 。(uv)′=u′v+uv′(uv)'=u'v+uv' 。(uv)′=u′v−uv′v2(\frac{u}{v})'=\frac{u'v-uv'}{v^2}

还有设 yy 是 uu 的函数,uu 是 xx 的函数,有 ddxy=dduy⋅ddxu\frac{d}{dx}y=\frac{d}{du}y\cdot \frac{d}{dx} u 。

注:对 y=f(u)y=f(u) ,其中 uu 是 xx 的函数,f′(u)f'(u) 表示 dduf(u)\frac{d}{du}f(u) ,不是 ddxf(u)\frac{d}{dx}f(u) 。举个例子,我们有 ddxf(−x)=−f′(−x)\frac{d}{dx}f(-x)=-f'(-x) 。

幂函数求导:一般考虑求 ln 。

y=u(x)v(x)→ln⁡y=v(x)ln⁡u(x)y=u(x)^{v(x)}\to \ln y=v(x)\ln u(x) 。两边对 xx 求导得 y′y=v′(x)ln⁡u(x)+v(x)u′(x)u(x)\frac{y'}{y}=v'(x)\ln u(x)+v(x)\frac{u'(x)}{u(x)} 。于是 y′=u(x)v(x)(v′(x)ln⁡u(x)+v(x)u′(x)u(x))y'=u(x)^{v(x)}(v'(x)\ln u(x)+v(x)\frac{u'(x)}{u(x)}) 。

参数式函数求导:设 y=φ(t),x=ψ(t)y=\varphi(t),x=\psi(t) ,有 dydx=φ′(t)ψ′(t)\frac{dy}{dx}=\frac{\varphi'(t)}{\psi'(t)} 。

极坐标表示的函数(曲线)求导:

设方程为 r=f(θ)r=f(\theta) ,那么 y=f(θ)sin⁡θ,x=f(θ)cos⁡θy=f(\theta)\sin \theta,x=f(\theta)\cos \theta ,于是 dydx=dydθdxdθ=f′(θ)sin⁡θ+f(θ)cos⁡θf′(θ)cos⁡θ−f(θ)sin⁡θ\frac{dy}{dx}=\frac{\frac{dy}{d\theta}}{\frac{dx}{d\theta}}=\frac{f'(\theta)\sin \theta+f(\theta)\cos \theta}{f'(\theta)\cos \theta-f(\theta)\sin \theta} 。

莱布尼茨法则:(fg)(n)=∑i=0nCnif(i)g(n−i)(fg)^{(n)}=\sum\limits_{i=0}^{n}C_{n}^if^{(i)}g^{(n-i)} 。

例题:设 g,fg,f 互为反函数,用 f′,f′′,f′′′f',f'',f''' 表示出 g′′′g''' 。

解: f(x)=y,g(y)=xf(x)=y,g(y)=x 。

f(g(y))=yf(g(y))=y 对 yy 求导得 f′(x)g′(y)=1f'(x) g'(y)=1 。则 g′(y)=1f′(x)g'(y)=\frac{1}{f'(x)} 。

g′′(y)=ddyg′(y)=−ddyf′(x)f′(x)2g''(y)=\frac{d}{dy}g'(y)=-\frac{\frac{d}{dy}f'(x)}{f'(x)^2}。

而 ddyf′(x)=ddxf′(x)⋅dxdy=f′′(x)g′(y)=f′′(x)f′(x)\frac{d}{dy}f'(x)=\frac{d}{dx}f'(x)\cdot \frac{dx}{dy}=f''(x)g'(y)=\frac{f''(x)}{f'(x)} 。

则 g′′(y)=−f′′(x)f′(x)3g''(y)=-\frac{f''(x)}{f'(x)^3} 。

那么 g′′′(y)=−ddyf′′(x)f′(x)3=−ddxf′′(x)f′(x)3⋅dxdy=−f′′′(x)f′(x)3−3f′′(x)2f′(x)2f′(x)7=3f′′(x)2−f′′′(x)f′(x)f′(x)5g'''(y)=-\frac{d}{dy}\frac{f''(x)}{f'(x)^3}=-\frac{d}{dx} \frac{f''(x)}{f'(x)^3}\cdot \frac{dx}{dy}=-\frac{f'''(x)f'(x)^3-3f''(x)^2f'(x)^2}{f'(x)^7}=\frac{3f''(x)^2-f'''(x)f'(x)}{f'(x)^5} 。

其实这里还应该有一些关于微分的说明,但我懒得写了

比较难的例题:求 arctan⁡x\arctan x 的高阶导数。考虑 ddxarctan⁡x=11+x2=12i(1x−i−1x+i)\frac{d}{dx}\arctan x=\frac{1}{1+x^2}=\frac{1}{2i}(\frac{1}{x-i}-\frac{1}{x+i}) ,这样就很好算了。

导数性质

首先定义极值:如果 ∃δ>0\exists \delta>0 使得 ∀x∈(x0−δ,x0+δ)\forall x\in (x_0-\delta,x_0+\delta) 有 f(x)≥f(x0)f(x)\geq f(x_0) ,则称 x0x_0 是 f(x)f(x) 的极小值点。极大值是类似的。

Fermat 定理 若 x0x_0 为 f(x)f(x) 极值点且 f′(x0)f'(x_0) 存在,则 f′(x0)=0f'(x_0)=0 。

Rolle 定理 若 f∈C[a,b],D(a,b)f\in C[a,b],D(a,b) 且 f(a)=f(b)f(a)=f(b) ,则 ∃p∈(a,b)\exists p \in (a,b) 使得 f′(p)=0f'(p)=0

一个神秘的例题:

设 f(a)=f(b)=0f(a)=f(b)=0 且 f∈C[a,b],D(a,b)f\in C[a,b],D(a,b) ,证明存在 p∈(a,b)p\in (a,b) 使得 f(p)+f′(p)=0f(p)+f'(p)=0 。

只需考虑函数 exf(x)e^xf(x) ,它求导的结果恰为 ex(f′(x)+f(x))e^x(f'(x)+f(x)) ,由 Rolle 定理,这就做完了。

定义 重根 :对于 f(x)∈D(I)f(x)\in D(I) ,若 x0∈Ix_0\in I 满足 f(x0)=f′(x0)=0f(x_0)=f'(x_0)=0 ,则 x=x0x=x_0 是 f(x)f(x) 的重根。同理可定义 nn 重根,就是 f(x0),f(1)(x0),…,f(n)(x0)=0f(x_0),f^{(1)}(x_0),\dots,f^{(n)}(x_0)=0 。

命题:若可导函数 f(x)f(x) 于 II 上有 nn 个零点(重根按重数计算),则 f′(x)f'(x) 有 n−1n-1 个零点。

Darboux 定理 若 f∈D[a,b]f\in D[a,b] 且 f+′(a)≠f−′(b)f'_{+}(a)\neq f'_{-}(b) ,则对任意介于 f+′(a)f'_{+}(a) 和 f−′(b)f'_{-}(b) 间的数 tt ,均存在 x0∈(a,b)x_0\in (a,b) 使得 f′(x0)=tf'(x_0)=t 。

Lagrange定理

设 f(x)∈C[a,b],D(a,b)f(x)\in C[a,b],D(a,b) 则存在 p∈(a,b)p\in (a,b) 使得 f′(p)=f(b)−f(a)b−af'(p)=\frac{f(b)-f(a)}{b-a} 。

推论:若 ff 满足一段区间内 f′(x)=0f'(x)=0 ,则这段区间内 f(x)≡cf(x)\equiv c 。

推论2 :若 f,gf,g 满足一段区间内 f′(x)=g′(x)f'(x)=g'(x) ,则 f(x)=g(x)+cf(x)=g(x)+c 。


除了这些定理以外,还有一些比较重要的命题。

设 f(x)∈D(I)f(x)\in D(I) ,则 f′(x)f'(x) 有界 ⇔\Leftrightarrow f(x)f(x) Lipschitz 连续

定义 局部 Lipschitz 连续:对于 II 上的函数 ff ,∀x∈I∃δx,Mx>0\forall x\in I\exists \delta_x,M_x>0 使得 ∀x1,x2∈U(x,δx),Mx∣x1−x2∣≤∣f(x1)−f(x2)∣\forall x_1,x_2\in U(x,\delta_x),M_x|x_1-x_2|\le |f(x_1)-f(x_2)|

定义 压缩映射 :f(x)∈D[a,b]f(x)\in D[a,b] 且 f([a,b])∈D[a,b]f([a,b])\in D[a,b] 且 ∣f′(x)∣≤l<1|f'(x)|\le l<1 。

命题:设 f(x)∈D(a,b),C[a,b]f(x)\in D(a,b),C[a,b] 且 ∣f′(x)∣≤l<1|f'(x)|\le l<1 ,∀x∈(a,b)\forall x\in (a,b) ,若 ∃x∗∈(a,b)\exists x^*\in (a,b) 使得 f(x∗)=x∗f(x^{*})=x^{*} ,则对于数列满足 x0∈[a,b],xn+1=f(xn)x_0\in [a,b],x_{n+1}=f(x_n) ,均有 lim⁡n→+∞xn=x∗\lim\limits_{n\to +\infty}x_n=x^* 。

命题:设 f(x),f′(x)∈C(a,b)f(x),f'(x)\in C(a,b) 且 f(x∗)=x∗f(x^{*})=x^{*} 且 ∣f′(x∗)∣<1|f'(x^*)|<1 ,则 ∃δ>0\exists\delta>0 使得
∀x0∈(x∗−δ,x∗+δ)\forall x_0\in (x^{*}-\delta,x^{*}+\delta) ,构造 xn+1=f(xn)x_{n+1}=f(x_n) 则 lim⁡n→+∞xn=x∗\lim\limits_{n\to+\infty}x_n=x^* 。我们称这样的 x∗x^{*} 为 吸引子 ,称集合 B={x0∈R∣lim⁡n→∞xn=x∗}\mathbb{B}=\{x_0\in \R|\lim\limits_{n\to\infty}x_n=x^*\} 为 x∗x^* 的吸引域

Cauchy 微分中值定理

设 f(x),g(x)∈C[a,b],D(a,b)f(x),g(x)\in C[a,b],D(a,b) 则 ∃p∈(a,b)\exists p\in (a,b) 使得 f′(p)(g(a)−g(b))=g′(p)(f(a)−f(b))f'(p)(g(a)-g(b))=g'(p)(f(a)-f(b)) 。

一个例题:对于 f(x)∈C[a,b],D(a,b)f(x)\in C[a,b],D(a,b) 且 a>0a>0 ,证明 ∃p∈(a,b)\exists p\in (a,b) 使得 f(b)−f(a)=pf′(p)ln⁡baf(b)-f(a)=pf'(p)\ln \frac{b}{a} 。

解:也即 f(b)−f(a)ln⁡b−ln⁡a\frac{f(b)-f(a)}{\ln b-\ln a} 。构造 g(x)=ln⁡xg(x)=\ln x ,利用 cauchy 中值定理就做完了。

洛必达法则

无需多言,相信大家都知道洛神、

泰勒公式

设 f(x)f(x) 在 x0x_0 具有 nn 阶导数,则 f(x)=∑i=0nf(i)(x0)i!(x−x0)i+o((x−x0)n)f(x)=\sum\limits_{i=0}^n \frac{f^{(i)}(x_0)}{i!}(x-x_0)^i+o((x-x_0)^n) (x→x0)(x\to x_0)

我们称之为 f(x)f(x) 于 x0x_0 处的 nn 阶泰勒公式

其中 Rn(x)=o((x−x0)n)R_n(x)=o((x-x_0)^n) 称为 nn 阶 Peano 型余项

记 Tn(x)=∑i=0nf(i)(x0)i!(x−x0)iT_n(x)=\sum\limits_{i=0}^n \frac{f^{(i)}(x_0)}{i!}(x-x_0)^i 。

定理:对任何不超过 nn 次的多项式 P(x)P(x) ,均 ∃δ>0\exists \delta>0 使得 ∀x∈U(x0,δ),∣f(x)−Tn(x)∣≤∣f(x)−P(x)∣\forall x\in U(x_0,\delta),|f(x)-T_n(x)|\le |f(x)-P(x)| ,即 Tn(x)T_n(x) 是 f(x)f(x) 的局部最佳逼近

定理:如果 ff 在 x0x_0 是 nn 阶可导且能写成 f(x)=∑k=0nak(x−x0)k+o(xn)f(x)=\sum\limits_{k=0}^n a_k(x-x_0)^k+o(x^n) ,那么 ak=f(k)(x0)k!a_k=\frac{f^{(k)}(x_0)}{k!} 。

带拉格朗日余项的泰勒公式

设 f(n+1)(x)f^{(n+1)}(x) 在 [a,b][a,b] 存在,那么 ∀x,x0∈[a,b]\forall x,x_0\in [a,b] 有 f(x)=∑k=0nf(k)(x0)k!(x−x0)k+f(p)(n+1)!(x−x0)n+1f(x)=\sum\limits_{k=0}^n \frac{f^{(k)}(x_0)}{k!}(x-x_0)^k+\frac{f(p)}{(n+1)!}(x-x_0)^{n+1} ,其中 pp 介于 x,x0x,x_0 之间

(高阶的拉格朗日微分中值定理)

另一个定理:设 f∈D(a,b)f\in D(a,b) 且 x0x_0 是 ff 零点,则 f(x)=(x−x0)h(x)f(x)=(x-x_0)h(x) ,其中 h(x)h(x) 是定义在 (a,b)(a,b) 上的函数

插值多项式

拉格朗日插值

给定 x0,…,xn,y0,…,ynx_0,\dots,x_n,y_0,\dots,y_n ,希望寻找不超过 nn 次的多项式 p(x)p(x) 满足 p(xi)=yip(x_i)=y_i 。

设 Li(x)=∏i≠jx−xjxi−xjL_i(x)=\prod\limits_{i\neq j} \frac{x-x_j}{x_i-x_j} ,有 p(x)=∑i=0nyiLi(x)p(x)=\sum\limits_{i=0}^n y_iL_i(x) 。

如果设 w(x)=(x−x0)…(x−xn)w(x)=(x-x_0)\dots(x-x_n) ,我们也有 Li(x)=w(x)w′(xi)L_i(x)=\frac{w(x)}{w'(x_i)} 。

那对于某个被插函数 f(x)f(x) 和 p(x)p(x) 的误差怎么估计?

定理:设 f(x)∈C(n+1)[a,b]f(x)\in C^{(n+1)}[a,b] ,则 ∀x∈[a,b]\forall x\in [a,b] 存在 k∈[a,b]k\in [a,b] 使得 f(x)−p(x)=f(n+1)(k)(n+1)!w(x)f(x)-p(x)=\frac{f^{(n+1)}(k)}{(n+1)!}w(x) 。

利用导数研究函数

单调性

f′(x)>0⇒f'(x)>0\Rightarrow f(x)f(x) 单调递增

f(x)∈D(I)f(x)\in D(I) 单调递增 ⇒\Rightarrow f′(x)≥0f'(x)\geq 0 且 ∀I′∈I\forall I'\in I ,f′(x)f'(x) 不恒为 00 。

极值点

f′(x)f'(x) 于 x0x_0 左正右负 ⇒\Rightarrow f(x0)f(x_0) 极大。左负右正同理。

两侧同号 ⇒\Rightarrow f(x0)f(x_0) 非极值。

如果二阶可导,那么 f′′(x0)>0⇒f''(x_0)>0\Rightarrow f(x0)f(x_0) 极小

f′′(x0)<0⇒f''(x_0)<0\Rightarrow f(x0)f(x_0) 极大

f′′(x0)=0f''(x_0)=0 时待定

更一般的,如果 f′(x0)=f′′(x0)=⋯=f(n−1)(x0)=0f'(x_0)=f''(x_0)=\dots =f^{(n-1)}(x_0)=0 且 f(n)(x0)≠0f^{(n)}(x_0)\neq 0 ,那么:

nn 奇数 →\to f(x0)f(x_0) 非极值

nn 偶数 →\to f(x0)f(x_0) 极值,如果 f(n)(x0)>0f^{(n)}(x_0)>0 则为极小值,否则为极大值

凸性

对于区间 II 上的函数 ff ,如果 ∀x1,x2∈I,∀t∈[0,1]\forall x_1,x_2\in I,\forall t\in [0,1] ,都有 f(tx1+(1−t)x2)≤tf(x1)+(1−t)f(x2)f(tx_1+(1-t)x_2)\le tf(x_1)+(1-t)f(x_2) ,则称 ff 于 II 凸。

定理:
ff 于 II 凸 ⇔\Leftrightarrow ∀x1,x2,x3∈I\forall x_1,x_2,x_3\in I 满足x1<x2<x3,f(x2)−f(x1)x2−x1≤f(x3)−f(x2)x3−x2x_1<x_2<x_3,\frac{f(x_2)-f(x_1)}{x_2-x_1}\le \frac{f(x_3)-f(x_2)}{x_3-x_2}

定理:ff 于 II 凸 ⇔\Leftrightarrow ∀x,x0∈I\forall x,x_0\in I ,f(x0)+f′(x0)(x−x0)≤f(x)f(x_0)+f'(x_0)(x-x_0)\le f(x)

定理:ff 于 II 凸 ⇔\Leftrightarrow f′f' 于 II 单调上升 ⇔\Leftrightarrow f′′≥0f''\geq 0

积分

定义在 区间 II 上的函数 f(x)f(x),若 F(x)F(x) 满足 F′(x)=f(x)F'(x)=f(x) 或者说 dF(x)=f(x)dxdF(x)=f(x)dx ,那么 F(x)F(x) 是 f(x)f(x) 在 II 上的一个原函数。

函数 f(x)f(x) 的原函数全体称为 f(x)f(x) 的 不定积分,记作 ∫f(x)dx=F(x)+c\int f(x)dx=F(x)+c 。

注:∫f(x)dx\int f(x)dx 是一个集合,是函数的集合。

一些基本积分:… 其实就是常见微分算一下逆运算

换元积分: ∫f(φ(x))φ′(x) dx=∫f(φ(x))dφ(x)=F(φ(x))+c\int f(\varphi(x))\varphi'(x)\,dx=\int f(\varphi(x))d\varphi(x)=F(\varphi(x))+c