Skip to content

函数极限和连续函数

函数极限

定义 3.1.1

  • 设函数 \(f(x)\) 在点 \(x_0\) 的某个去心邻域内有定义,如果存在常数 \(A\),对于任意给定的正数 \(\varepsilon\),总存在正数 \(\delta\),使得当 \(x\) 满足不等式 \(0 < |x - x_0| < \delta\) 时,对应的函数值 \(f(x)\) 满足不等式 \(|f(x) - A| < \varepsilon\),那么常数 \(A\)\(f\)\(x_0\)处的极限,记作\(\lim\limits_{x \to x_0} f(x) = A\)\(f(x) \to A\)(\(x \to x_0\) 时)
  • \(\lim\limits_{x\to x_0}f(x)=A\iff \forall\varepsilon>0,\exists\delta>0,s.t.\forall x\in O(x_0,\delta)\backslash\{x_0\}:|f(x)-A|<\varepsilon\)

定理 3.1.1

  • \(A,B\)\(f\)\(x_0\)处的极限,则 \(A=B\)

    极限唯一性

定理 3.1.2

  • \(\lim\limits_{x\to x_0}f(x)=A,\lim\limits_{x\to x_0}g(x)=B\)\(A>B\),则\(\exists\delta>0,s.t.\forall x\in O(x_0,\delta):f(x)>g(x)\)

    局部保序性

    • 推论 1: 若\(\lim\limits_{x\to x_0}f(x)=A\neq 0\)\(\exists\delta>0,s.t.\forall x\in O(x_0,\delta):|f(x)| > \frac{|A|}{2}\)
    • 推论 2: 若\(\lim\limits_{x\to x_0}f(x)=A,\lim\limits_{x\to x_0}g(x)=B,\)\(\exists r>0,s.t.\forall x\in O(x_0,r):g(x)\leq f(x)\),则:\(B\leq A\)

      • 就算\(g(x)<f(x)\),也不能推出\(B<A\),例如\(f(x)=1,g(x)=1-x,x_0=0:A=B=1\)
    • 推论 3(局部有界性): 若\(\lim\limits_{x\to x_0}f(x)=A\),则\(\exists\delta>0,s.t.f\)\(O(x_0,\delta)\)中有界

定理 3.1.3

  • \(\exists r>0,s.t.\forall x\in O(x_0,r):g(x)\leq f(x)\leq h(x)\)\(\lim\limits_{x\to x_0}g(x)=\lim\limits_{x\to x_0}h(x)=A\),那么:\(\lim\limits_{x\to x_0}f(x)=A\)

    夹逼性

定理 3.1.4

  • \(\lim\limits_{x\to x_0}f(x)=A,\lim\limits_{x\to x_0}g(x)=B\),则:
    • \(\lim\limits_{x\to x_0}(\alpha f(x)\pm \beta g(x))=\alpha A\pm \beta B\)
    • \(\lim\limits_{x\to x_0}f(x)g(x)=AB\)
    • \(B\neq 0\),则\(\lim\limits_{x\to x_0}\frac{f(x)}{g(x)}=\frac{A}{B}\)

定理 3.1.5(Heine 定理)

  • \(\lim\limits_{x\to x_0}f(x)=A\)的充要条件是:对于任何满足条件\(\lim\limits_{n\to\infty}x_n=x_0,x_n\neq x_0\)的数列\(\{x_n\}\),相应的函数值数列\(\{f(x_n)\}\)满足:\(\lim\limits_{n\to\infty}f(x_n)=A\)

    • 这个定理的作用主要是在证明某个函数极限不存在
    • 证明充分性用反证法,假设极限不存在,从而找到一个函数值数列不收敛到\(A\),但是由条件任一符合条件的数列对应的函数值数列都应该收敛到\(A\),从而矛盾,故假设不成立(p66)

定理 3.1.5\('\)

  • \(\lim\limits_{x\to x_0}f(x)\exists\iff\forall\{x_n\}:\lim\limits_{n\to\infty}x_n=x_0,x_n\neq x_0:\{f(x_n)\}\)收敛

定义 3.1.2

  • \(\exists B\in R,s.t.\forall\varepsilon>0,\exists\delta>0,s.t.\forall x\in (x_0,x_0+\delta):|f(x)-B|<\varepsilon\),则称\(B\)\(f\)\(x_0\)的右极限,记作\(\lim\limits_{x\to x_0+0}f(x)=f(x_0+)=B\)

    同理可以定义左极限

定理 3.1.6

  • \(\lim\limits_{x\to +\infty}f(x)\)存在且有限的充要条件是:\(\forall\varepsilon>0,\exists X>0,s.t.\forall x_1,x_2>X:|f(x_1)-f(x_2)|<\varepsilon\)

连续函数

定义 3.2.1

  • 设函数\(f(x)\)在点\(x_0\)的某个去心邻域内有定义,如果\(\lim\limits_{x\to x_0}f(x)=f(x_0)\),那么称函数\(f(x)\)在点\(x_0\)连续
    • 也就是说,函数在\(x_0\)连续,当且仅当\(\lim\limits_{x\to x_0}f(x)=f(x_0)\)

定义 3.2.2

  • 若函数\(f(x)\)在开区间\(I\)上每一点都连续,则称\(f(x)\)\(I\)上连续

定义 3.2.3

  • 若函数\(\lim\limits_{x\to x_0-}f(x)=f(x_0)\),则称\(f(x)\)\(x_0\)处左连续

    • \(i.e.\forall\varepsilon>0,\exists\delta>0,s.t.\forall x\in (x_0-\delta,x_0):|f(x)-f(x_0)|<\varepsilon\)

定义 3.2.4

  • 若函数\(f(x)\)\((a,b)\)上连续,而且在\(a\)右连续,\(b\)左连续,则称\(f(x)\)在闭区间\([a,b]\)上连续

    闭区间比开区间多了两个端点的单侧连续性

不连续点

  • 第一类间断点:函数的左右极限都存在但是不相等:\(f(x)=sign(x)\)
  • 第二类间断点:函数的左右极限至少有一个不存在:\(f(x)=\frac{1}{x}\)
  • 第三类间断点(可去间断点):函数的左右极限都存在且相等, 但是函数值与极限值不相等:\(f(x)=\frac{\sin x}{x}\)
Riemann 函数
\[R(x)=\begin{cases} \frac{1}{p}, & x=\frac{q}{p}\in Q \\ 0, & x\notin Q \end{cases}\]
  • \(R(x)\)在任一点极限存在且极限值是\(0,i.e.\)任何无理点是连续的,任何有理点是第三类不连续点(可去间断点)

定理 3.2.1(反函数存在性定理)

  • 若函数\(y=f(x),x\in D_f\)是严格单调增加(减少)的,那么他的反函数\(y=f^{-1}(x)\)存在而且也是严格单调增加(减少)的

定理 3.2.2(反函数连续性定理)

  • 若函数\(y=f(x)\)在闭区间\([a,b]\)上连续且严格单调增加,\(f(a)=\alpha,f(b)=\beta\),那么他的反函数\(x=f^{-1}(y)\)在区间\([\alpha,\beta]\)上连续且严格单调增加

定理 3.2.3(复合函数连续性定理)

  • 若函数\(y=f(x)\)在点\(x_0\)连续,\(z=\varphi(y)\)在点\(y_0=f(x_0)\)处连续,那么复合函数\(z=\varphi(f(x))\)在点\(x_0\)处连续

定理 3.2.4(初等函数的连续性)

  • 一切初等函数在其定义区间上连续

note

  • \(|\sqrt{x}-\sqrt{y}|\leq \sqrt{|x-y|}\)

无穷小量与无穷大量的阶

定义 3.3.1

  • \(\lim\limits_{x\to x_0}f(x)=0\),则称\(x\to x_0\)时函数\(f(x)\)是无穷小量

    • 高阶无穷小:若\(f,g\)\(x\to x_0\)时都是无穷小量,且\(\lim\limits_{x\to x_0}\frac{f(x)}{g(x)}=0\),则称\(f(x)\)\(g(x)\)的高阶无穷小 记作\(f(x)=o(g(x))(x\to x_0)\)
    • 同理定义同阶无穷小(极限是非零常数)和等价无穷小(极限是1)

    • \(O\)\(o\):\(O\)表示有界量,比如\(f(x)=O(g(x)):\frac{f(x)}{g(x)}=A<\infty\),但是\(o\)表示无穷小量(趋近于0):\(f(x)=o(g(x)):\frac{f(x)}{g(x)} \to 0)\)

      • \(O(1)\)表示有界量,\(o(1)\)表示无穷小量,所以常用的实际上是\(o:\sin x\sim x+o(1)\)

定义 3.3.2

  • \(\lim\limits_{x\to x_0}f(x)=\infty\),则称\(x\to x_0\)时函数\(f(x)\)是无穷大量

    • 无穷大做比较的时候使用\(O\),因为有界量和无穷比起来太小了,无穷小量就更不用说了

定理 3.3.1

  • \(u(x),v(x),w(x)\)\(x_0\)的某个去心邻域\(U\)中定义,且\(\lim\limits_{x\to x_0}\frac{v(x)}{w(x)}=1,i.e.v(x)\sim w(x)\),那么

    • 1.\(\lim\limits_{x\to x_0}u(x)v(x)=A\)时:\(\lim\limits_{x\to x_0}u(x)w(x)=A\)
    • 2.\(\lim\limits_{x\to x_0}\frac{u(x)}{w(x)}=A\)时:\(\lim\limits_{x\to x_0}\frac{u(x)}{v(x)}=A\)

note

  • \((1+x)^\alpha \sim 1+\alpha x+\frac{\alpha(\alpha-1)}{2}x^2+o(x^2)\)
  • \(x^{\frac{1}{n}}=e^{\frac{1}{n}\ln{x}}\)

闭区间上的连续函数

定理 3.4.1(有界性定理)

  • \(f\in C([a,b])\Rightarrow f\in B([a,b])\)

定理 3.4.2(最值定理)

  • \(f\in C([a,b])\Rightarrow f\)\([a,b]\)上有最大值和最小值

定理 3.4.3(零点存在性定理)

  • \(f\in C([a,b]),f(a)f(b)<0\Rightarrow\exists\xi\in(a,b),s.t.f(\xi)=0\)

定理 3.4.4(介值定理)

  • \(f\in C([a,b])\Rightarrow\forall\mu\in[m,M],m,M=\min f(x),\max f(x),\exists\xi\in(a,b),s.t.f(\xi)=\mu\)

定义 3.4.1(一致连续性)

  • \(I\subset D_f:\forall\varepsilon>0,\exists\delta>0,s.t.\forall x_1,x_2\in I,|x_1-x_2|<\delta:|f(x_1)-f(x_2)|<\varepsilon\),则称\(f(x)\)\(I\)上一致连续

    • \(f\)\(I\)上一致连续\(\Rightarrow f\)\(I\)上连续

    • 一致连续说明\(\Delta f\)会被\(\Delta x\)控制住

定理 3.4.5

  • \(X\subset D_f:\)\(f(x)\)\(X\)上一致连续\(\iff\forall\{x_n\},\{y_n\}\in 2^X,\)\(\lim\limits_{n\to\infty}(x_n-y_n)=0\),有\(\lim\limits_{n\to\infty}(f(x_n)-f(y_n))=0\)

    • 常用来证明某个函数不一致连续,类似定理3.1.5(Heine定理)

定理 3.4.6(Cantor 定理)

  • \(f(x)\)在闭区间\([a,b]\)上连续,则\(f(x)\)\([a,b]\)上一致连续

    • 闭区间上的连续函数一致连续

定理 3.4.7

  • \(f\in C((a,b))\)则,\(f\)\((a,b)\)上一致连续的充要条件是\(f(a+),f(b-)\)存在(有限)

    • 无限开区间时,必要性不成立,比如\(f(x)=\sin x,x\in R\),一致连续但是\(f(\pm\infty)\)不存在

note

  • 一致连续函数之和一致连续,积则不一定

知乎