Skip to Content

1-极限与连续

2019-09-19·Calculus

基本概念

  • 上界(下界):∃M∈R,∀x∈E,x≤M\exists M\in\mathbb{R},\forall x\in E,x\leq M
    • sup⁡E(inf⁡E)\sup E(\inf E): 上界中最小值
    • 无上界:sup⁡E=+∞\sup E=+\infty
  • max⁡(min⁡)\max(\min):x0∈E,∀x∈E,x0≥xx_0\in E,\forall x\in E,x_0\geq x
  • xx 的 δ\delta-邻域:U(x;δ)=(x−δ,x+δ)U(x;\delta)=(x-\delta,x+\delta)
  • xx 的 δ\delta-去心邻域:Uˇ(x;δ)\{x}\check{U}(x;\delta)\backslash\{x\}
  • 聚点:E⊆R,x∈R,∀δ>0,Uˇ(x;δ)∩E≠∅E\subseteq\mathbb{R},x\in\mathbb{R},\forall\delta>0,\check{U}(x;\delta)\cap E\not=\emptyset
  • 孤立点:E⊆R,x0∈E,x0E\subseteq\mathbb{R},x_0\in E,x_0 非 EE 的聚点
    • EE 中点为聚点或孤立点
  • 内点:E⊆R,x0∈R,∃δ>0,U(x0;δ)⊆EE\subseteq\mathbb{R},x_0\in\mathbb{R},\exists\delta>0,U(x_0;\delta)\subseteq E
  • 开集:E⊆RE\subseteq\mathbb{R}, EE 的点皆为 EE 的内点
  • 凸性:∀x∈I,∀y∈I\forall x\in I,\forall y\in I, 连接xx与yy的线段含于 II
  • 闭集:R\E\mathbb{R}\backslash E 为开集
    • 有上界的非空闭子集有最大值
  • 紧集:有界闭集(紧性)
    • ff 为连续函数,Df\mathfrak{D}_f 为有界闭集,Rf\mathfrak{R}_f 为有界闭集
  • 映射:f:X→Yf:X\rightarrow Y
    • 定义域:Df=X\mathfrak{D}_f=X
    • 上域:YY
    • 值域(象):R=f(X)\mathfrak{R}=f(X)
    • 复合 g∘fg\circ f
    • 限制 f∣X1f|_{X_1}
    • 延拓
  • 函数 f:E→Rf:E\rightarrow \mathbb{R}
    • 图:Gf={(x,f(x))∣x∈E}\mathcal{G}_f=\{(x,f(x))|x\in E\}
    • 基本初等函数
      • 常函数
      • 指数函数
      • 对数函数
      • 三角函数
      • 反三角函数
    • 初等函数:由基本初等函数出发,有限次四则运算和复合得到
      • xa=ealn⁡xx^a=e^{a\ln x}
  • 极值:x0∈D,∃δ>0,∀x∈U(x0;δ)∩D,f(x)≤f(x0)(f(x)≥f(x0)x_0\in\mathfrak{D},\exists\delta>0,\forall x\in U(x_0;\delta)\cap\mathfrak{D},f(x)\leq f(x_0)(f(x)\geq f(x_0)
  • 临界点:x0x_0 为内点且 f′(x0)=0f'(x_0)=0
  • 单调性
  • 凸函数:∀x1∈I,∀x2∈I,∀λ∈[0,1]\forall x_1\in I,\forall x_2\in I,\forall\lambda\in[0,1] 有 f(λx1+(1−λ)x2)≤λf(x1)+(1−λ)f(x2)f(\lambda x_1+(1-\lambda)x_2)\leq\lambda f(x_1)+(1-\lambda)f(x_2)
    • f′f' 增
  • Euler 公式:ex+iθ=ex(cos⁡θ+isin⁡θ)e^{x+i\theta}=e^x(\cos\theta+i\sin\theta)
  • lim⁡n→+∞(1+1n)n=lim⁡x→0(1+x)1xe\lim_{n\rightarrow+\infty}(1+\frac{1}{n})^n=\lim_{x\rightarrow 0}(1+x)^{\frac{1}{x}}e
  • Stirling 公式:n!∼2πnn+12e−nn!\sim \sqrt{2\pi}n^{n+\frac{1}{2}}e^{-n}
反三角函数Df\mathfrak{D}_fRf\mathfrak{R}_f导数
arcsin⁡\arcsin[−1,1][-1,1][−π2,π2][-\frac{\pi}{2},\frac{\pi}{2}]11−x2\frac{1}{\sqrt{1-x^2}}
arccos⁡\arccos[−1,1][-1,1][0,π][0,\pi]−11−x2-\frac{1}{\sqrt{1-x^2}}
arctan⁡\arctanR\mathbb{R}(π2,π2)(\frac{\pi}{2},\frac{\pi}{2})11+x2\frac{1}{1+x^2}

定理

  • 确界定理:非空有上界集合有上确界
  • 单调有界定理:{xn}\{x_n\} 单调增数列且有上界,则其收敛于上确界
  • Cauchy 准则:{ak}\{a_k\} 收敛   ⟺  ∀ϵ>0,∃N,∀m>N,∀n>N,∣am−an∣<ϵ\iff\forall\epsilon>0,\exists N,\forall m>N,\forall n>N,|a_m-a_n|<\epsilon
  • Heine 定理:lim⁡x→x0f(x)=A  ⟺  ∀{xn}⊆Df\{x0}\lim_{x\rightarrow x_0}f(x)=A\iff\forall\{x_n\}\subseteq\mathfrak{D}_f\backslash\{x_0\} s.t. lim⁡x→+∞xn=x0\lim_{x\rightarrow +\infty}x_n=x_0 有 lim⁡n→+∞f(xn)=A\lim_{n\rightarrow+\infty}f(x_n)=A
  • Cauchy 准则:lim⁡x→x0f(x)=A  ⟺  ∀ϵ>0,∃δ>0,∀x1∈Uˇ(x0;δ)∩Df,∀x2∈Uˇ(x0;δ)∩Df\lim_{x\rightarrow x_0}f(x)=A\iff\forall\epsilon>0,\exists\delta>0,\forall x_1\in\check{U}(x_0;\delta)\cap\mathfrak{D}_f,\forall x_2\in\check{U}(x_0;\delta)\cap\mathfrak{D}_f 有 ∣f(x1)−f(x2)∣<ϵ|f(x_1)-f(x_2)|<\epsilon
  • 单调有界定理:f(x)f(x) 单调增有上界,lim⁡x→+∞f(x)=sup⁡f\lim_{x\rightarrow+\infty}f(x)=\sup f
  • 实数稠密性:VV 为 R\mathbb{R} 的非空开子集,则 VV 中含有无限个有理数与无限个无理数
  • 介值定理:ff 为连续函数,Df\mathfrak{D}_f 为区间或单电集,A∈Rf,B∈Rf,CA\in\mathfrak{R}_f,B\in\mathfrak{R}_f,C 在两者间,则 ∃ξ∈D,f(ξ)=C\exists\xi\in\mathfrak{D},f(\xi)=C
  • 路连通性:ff 为连续函数,Dk\mathfrak{D}_k 为区间为单点集,则Rf\mathfrak{R}_f 为区间或单点集
  • Fermat 定理:x0x_0 为极值点且为内点,ff 在 x0x_0 处可导,则 x0x_0 为临界点

极限

  • lim⁡n→+∞xn=A\lim_{n\rightarrow+\infty} x_n=A: {xn},A∈R,∀ϵ>0,∃N∈R,∀n>N\{x_n\},A\in\mathbb{R},\forall\epsilon>0,\exists N\in\mathbb{R},\forall n>N 有 ∣xn−A∣<ϵ|x_n-A|<\epsilon
    • {xn}\{x_n\} 收敛
    • 唯一性
    • 有界性:{xn}\{x_n\} 收敛则 ∃M∈R,∣xn∣≤M\exists M\in\mathbb{R},|x_n|\leq M
    • 保序性:lim⁡n→+∞xn=A>B\lim_{n\rightarrow+\infty} x_n=A>B 则 ∃N,∀n>N,xn>B\exists N,\forall n>N,x_n>B
    • 迫敛性:xn≤yn≤zn,lim⁡n→+∞xn=lim⁡n→+∞zn=Ax_n\leq y_n\leq z_n,\lim_{n\rightarrow+\infty} x_n=\lim_{n\rightarrow+\infty} z_n=A, 则 lim⁡n→+∞yn=A\lim_{n\rightarrow+\infty} y_n=A
    • 四则运算
    • 子列收敛于相同极限
  • lim⁡n→+∞xn=+∞\lim_{n\rightarrow+\infty} x_n=+\infty: {xn},∀M∈R,∀ϵ>0,∃N∈R,∀n>N\{x_n\},\forall M\in\mathbb{R},\forall\epsilon>0,\exists N\in\mathbb{R},\forall n>N 有 xn≥Mx_n\geq M
    • {xn}\{x_n\} 无穷极限
  • lim⁡x→x0f(x)=A\lim_{x\rightarrow x_0}f(x)=A: x0x_0 为 Df\mathfrak{D}_f 聚点,A∈R,∀ϵ>0,∃δ>0,∀x∈Uˇ(x0;δ)∩DfA\in\mathbb{R},\forall\epsilon>0,\exists\delta>0,\forall x\in\check{U}(x_0;\delta)\cap\mathfrak{D}_f 有 ∣f(x)−A∣<ϵ|f(x)-A|<\epsilon
    • 唯一性
    • 局部性:lim⁡x→x0f(x)=A  ⟺  lim⁡x→x0f∣U(x0;δ)∩Df(x)=A\lim_{x\rightarrow x_0}f(x)=A\iff\lim_{x\rightarrow x_0}f|_{U(x_0;\delta)\cap\mathfrak{D}_f}(x)=A
    • 局部有界性
    • 局部保序性
    • 迫敛性
    • 变量代换
  • lim⁡x→+∞f(x)=A\lim_{x\rightarrow+\infty}f(x)=A: ∀x∈Df∩[N,+∞]≠∅,A∈R,∀ϵ>0,∃δ>0,∃N∈R,∀x∈Df∩[N,+∞]\forall x\in\mathfrak{D}_f\cap[N,+\infty]\not=\emptyset,A\in\mathbb{R},\forall\epsilon>0,\exists\delta>0,\exists N\in\mathbb{R},\forall x\in\mathfrak{D}_f\cap[N,+\infty] 有 ∣f(x)−A∣<ϵ|f(x)-A|<\epsilon
  • lim⁡x→x0f(x)=+∞\lim_{x\rightarrow x_0}f(x)=+\infty: x0x_0 为聚点,∀M∈R,∃δ>0,∀x∈Uˇ(x0;δ)∩Df\forall M\in\mathbb{R},\exists\delta>0,\forall x\in\check{U}(x_0;\delta)\cap\mathfrak{D}_f 有 f(x)>Mf(x)>M
  • lim⁡x→x0+f(x)=A\lim_{x\rightarrow x_0^+}f(x)=A: ∀σ>0,(x0,x0+σ)∩Df≠∅,A∈R,∀ϵ>0,∃δ>0,∀x∈(x0,x0+δ)∩Df\forall\sigma>0,(x_0,x_0+\sigma)\cap\mathfrak{D}_f\not=\emptyset,A\in\mathbb{R},\forall\epsilon>0,\exists\delta>0,\forall x\in(x_0,x_0+\delta)\cap\mathfrak{D}_f 有 ∣f(x)−A∣<ϵ|f(x)-A|<\epsilon
    • lim⁡x→x0+f(x)=lim⁡x→x0−f(x)=A  ⟺  lim⁡x→x0f(x)=A\lim_{x\rightarrow x_0^+}f(x)=\lim_{x\rightarrow x_0^-}f(x)=A\iff\lim_{x\rightarrow x_0}f(x)=A
  • x→x0x\rightarrow x_0 时,f(x)f(x) 为无穷小量:lim⁡x→x0f(x)=0\lim_{x\rightarrow x_0}f(x)=0
  • x→x0x\rightarrow x_0 时,f(x)f(x) 为无穷大量:lim⁡x→x0f(x)=±∞\lim_{x\rightarrow x_0}f(x)=\pm\infty
  • f(x)=o(g(x)),(x→x0)f(x)=o(g(x)),(x\rightarrow x_0)
    • f,gf,g 定义域相同,lim⁡x→x0f(x)=lim⁡x→x0g(x)=0,lim⁡x→x0f(x)g(x)=0\lim_{x\rightarrow x_0}f(x)=\lim_{x\rightarrow x_0}g(x)=0,\lim_{x\rightarrow x_0}\frac{f(x)}{g(x)}=0,则 x→x0x\rightarrow x_0 时,ff 为 gg 的高阶无穷小,gg 为 ff 的低阶无穷小
  • f(x)=O(g(x)),(x→x0)f(x)=O(g(x)),(x\rightarrow x_0)
    • f,gf,g 定义域相同,x0x_0 为定义域的聚点,∃M∈R,∃δ>0,∀x∈Uˇ(x0;δ)∩Df\exists M\in\mathbb{R},\exists\delta>0,\forall x\in\check{U}(x_0;\delta)\cap\mathfrak{D}_f 有 ∣f(x)g(x)∣≤M|\frac{f(x)}{g(x)}|\leq M

连续

  • ff 在 x0x_0 处连续:x0∈Df,∀ϵ>0,∃x∈U(x0;δ)∩Dfx_0\in\mathfrak{D}_f,\forall\epsilon>0,\exists x\in U(x_0;\delta)\cap\mathfrak{D}_f 有 ∣f(x)−f(x0)∣<ϵ|f(x)-f(x_0)|<\epsilon
    • x0x_0 为连续点
    • 不连续,间断,不连续点
    • 孤立点处连续
    • 聚点连续   ⟺  lim⁡x→x0f(x)=f(x0)\iff \lim_{x\rightarrow x_0} f(x)=f(x_0)
    • 四则运算,复合
  • 在 EE 上一致连续:∀ϵ>0,∃δ>0,∀x1∈E,∀x2∈E\forall\epsilon>0,\exists\delta>0,\forall x_1\in E,\forall x_2\in E s.t. ∣x1−x2∣<δ|x_1-x_2|<\delta 有 ∣f(x1)−f(x2)∣<E|f(x_1)-f(x_2)|<E
    • 一致连续则连续
    • ff 连续且 Df\mathfrak{D}_f 为有界闭集,则 ff 一致连续

线性几何

  • 内积:⟨f,g⟩L2[a,b]=∫abf(x)g(x)‾dx\langle f,g\rangle_{L^2[a,b]}=\int_a^bf(x)\overline{g(x)}dx
    • 共轭对称性
    • 共轭双线性
    • 非负性
  • 正交规范性:⟨ei2nπx,ei2mπx⟩=[n=m]\langle e^{i2n\pi x},e^{i2m\pi x}\rangle=[n=m]
    • 正交规范族:{ei2nπx∣n∈Z}\{e^{i2n\pi x}|n\in\mathbb{Z}\}
    • 线性无关性
  • X,Y∈Rn,⟨X,Y⟩=∑i=1nxiyiX,Y\in\mathbb{R}^n,\langle X,Y\rangle=\sum_{i=1}^nx_iy_i
    • 对称性
    • 双线性
    • 正定性
    • Cauchy-Schwarz 不等式:∣⟨X,Y⟩∣≤∥X∥⋅∥Y∥|\langle X,Y\rangle|\leq\lVert X\rVert\cdot\lVert Y\rVert
  • 范数:∥X∥=⟨X,X⟩\lVert X\rVert=\sqrt{\langle X,X\rangle}
    • 正定性
    • 齐次性
    • 三角不等式
  • X⊥YX\perp Y: ⟨X,Y⟩=0\langle X,Y\rangle=0
    • 双线性,反交换律
    • ∥a×b∥=∥a∥2∥b∥2−⟨a,b⟩2\lVert a\times b\rVert=\sqrt{\lVert a\rVert^2\lVert b\rVert^2-\langle a,b\rangle^2}
a×b=(∣a2b2a3b3∣,∣a3b3a1b1∣,∣a1b1a2b2∣)Ta\times b =(|\begin{matrix} a_2 & b_2\newline a_3 & b_3 \end{matrix}|,|\begin{matrix} a_3 & b_3\newline a_1 & b_1 \end{matrix}|,|\begin{matrix} a_1 & b_1\newline a_2 & b_2 \end{matrix}|)^T
  • 直线:L:X(t)=P+tYL:X(t)=P+tY
  • 超平面
    • 点法式:⟨Q−P,n⟩=0\langle Q-P,\mathbf{n}\rangle=0
    • 一般式:∑knkxk+b=0\sum_kn_kx_k+b=0
    • 参数方程:Π:X(λ1,⋯ ,λk−1)=∑i=1k−1λiXi+P\Pi:X(\lambda_1,\cdots,\lambda_{k-1})=\sum_{i=1}^{k-1}\lambda_iX_i+P
  • 曲线 γ:I→Rn\gamma:I\rightarrow\mathbb{R}^n
    • 参数方程:γ(t)=(γ1(t),⋯ ,γn(t))T\gamma(t)=(\gamma_1(t),\cdots,\gamma_n(t))^T
    • 切向量:λγ′(t0)\lambda\gamma'(t_0)
    • 切线:L:X(t)=γ(t0)+tγ′(t0)L:X(t)=\gamma(t_0)+t\gamma'(t_0)
  • 超曲面:S:F(P)=0,FS:F(P)=0,F 为连续可微函数
  • 切超平面:Π={Q∈Rk∣⟨Q−P,∇F(P)⟩=0}\Pi=\{Q\in\mathbb{R}^k|\langle Q-P,\nabla F(P)\rangle=0\}

多元函数

  • 点列 {Pk}⊂Rn\{P_k\}\subset\mathbb{R}^n
  • lim⁡k→+∞Pk=P\lim_{k\rightarrow+\infty}P_k=P:∀ϵ>0,∃N∈R,∀k>N,∥Pk−P∥<ϵ\forall \epsilon>0,\exists N\in\mathbb{R},\forall k>N,\lVert P_k-P\rVert<\epsilon
    • 唯一性
    • 点列收敛当且仅当所有坐标对应收敛
  • δ\delta-邻域:U(P;δ)={Q∈Rn∣d(P,Q)<δ}U(P;\delta)=\{Q\in\mathbb{R}^n|d(P,Q)<\delta\}
  • δ\delta-邻域去心:U^(P;δ)=U(P;δ)\{P}\hat U(P;\delta)=U(P;\delta)\backslash\{P\}
  • 聚点:∀δ>0,U^(P;δ)∩E≠∅\forall\delta>0,\hat U(P;\delta)\cap E\not=\emptyset
  • 孤立点:P∈EP\in E 且 PP 非聚点
  • 内点:∃δ>0,U(P;δ)⊆E\exists\delta>0,U(P;\delta)\subseteq E
  • 边界点:∀δ>0,U(P;,δ)∩E≠∅\forall\delta>0,U(P;,\delta)\cap E\not=\emptyset 且 U(P;δ)∩(Rn\E)≠∅U(P;\delta)\cap(\mathbb{R}^n\backslash E)\not=\emptyset
  • 开集:EE 的点皆为 EE 的内点
  • 闭集:Rn\E\mathbb{R}^n\backslash E 为开集
  • lim⁡P→P0f(P)=A\lim_{P\rightarrow P_0}f(P)=A: ∀ϵ>0,∃δ>0,∀P∈U^(P0;δ)∩Df,∣f(P)−A∣<ϵ\forall\epsilon>0,\exists\delta>0,\forall P\in\hat U(P_0;\delta)\cap D_f,|f(P)-A|<\epsilon
  • 连续:∀ϵ>0,∃δ>0,∀P∈U(P0;δ)∩Df,∣f(P)−f(P0)∣<ϵ\forall\epsilon>0,\exists\delta>0,\forall P\in U(P_0;\delta)\cap D_f,|f(P)-f(P_0)|<\epsilon
    • ff 连续则关于自变量所有分量皆连续
  • 映射:f:E→Rmf:E\rightarrow\mathbb{R}^m
  • 连续:∀ϵ>0,∃δ>0,∀P∈U(P0;δ)∩Df,∣f(P)−f(P0)∣<ϵ\forall\epsilon>0,\exists\delta>0,\forall P\in U(P_0;\delta)\cap D_f,|f(P)-f(P_0)|<\epsilon
  • 凸集:∀P∈E,∀Q∈E,∀t∈[0,1],tP+(1−t)Q∈E\forall P\in E,\forall Q\in E,\forall t\in[0,1],tP+(1-t)Q\in E
  • 路连通集:∀P∈E,∀Q∈E\forall P\in E,\forall Q\in E,有连续映射 γ:[0,1]→E,γ(0)=P,γ(1)=Q\gamma:[0,1]\rightarrow E,\gamma(0)=P,\gamma(1)=Q
  • R1\mathbb{R}^1 中非空路连通集与凸集相同,为区间或单点集
  • 路连通性:ff 为连续映射,若DfD_f路连通,则RfR_f亦然
  • 介值定理
  • 紧性:ff 为连续映射,DfD_f 有界闭集,RfR_f 有界闭集
  • 最值定理:ff 为连续函数,DfD_f 有界闭集,则 ff 有最大值与最小值
  • 一致连续:∀ϵ>0,∃δ>0,∀P1∈E,∀P2∈E,∥P1−P2∥<δ,∥f(P1)−f(P2)∥<ϵ\forall\epsilon>0,\exists\delta>0,\forall P_1\in E,\forall P_2\in E,\lVert P_1-P_2\rVert<\delta,\lVert f(P_1)-f(P_2)\rVert<\epsilon
    • ff 为连续映射,且 DfD_f 有界闭集,则 ff 一致连续
  • 线性映射:A:Rn→Rm,A(X)=AX\mathbf{A}:\mathbb{R}^n\rightarrow\mathbb{R}^m,\mathbf{A}(X)=AX
  • 仿射映射:L(X)=AX+b\mathbf{L}(X)=AX+b
    • L(Q)−L(P)=A(Q−P)\mathbf{L}(Q)-\mathbf{L}(P)=A(Q-P)
    • L(□(P;X1,⋯ ,Xk))=□(L(P);AX1,⋯ ,AXk))\mathbf{L}(\square(P;X_1,\cdots,X_k))=\square(\mathbf{L}(P);AX_1,\cdots,AX_k))