• AM@连续函数相关概念和运算性质


    abstract

    • 连续函数相关概念和运算性质

    相关概念

    最值👺

    • 我们将最小值和最大值定义合起来写

    • 在区间 I I I上有定义的函数 f ( x ) f(x) f(x),若 x 0 ∈ I x_0\in{I} x0I,使得 ∀ x ∈ I \forall{x\in{I}} xI,都有 f ( x ) ⩽ M = f ( x 0 ) f(x)\leqslant{M=f(x_0)} f(x)M=f(x0)( f ( x ) ⩾ m = f ( x 0 ) f(x)\geqslant{m=f(x_0)} f(x)m=f(x0)),则 f ( x 0 ) f(x_0) f(x0)是函数 f ( x ) f(x) f(x)在区间 I I I上的最大值(最小值)

    无最值的情况

    • 函数在区间内有最值的不充分条件

      1. 函数在开区间内连续
      2. 或在闭区间上有间断点(说明函数可能无界,即使有界也不一定有最值)
    • 区间内有界是有最值的必要不充分条件

    • 区间内连续是不必要条件

    • tan ⁡ x \tan{x} tanx ( − π 2 , π 2 ) (-\frac{\pi}{2},\frac{\pi}{2}) (2π,2π)上虽然连续,但是其无界,所以无最值;

    • 例:分段函数

      • f ( x ) f(x) f(x)

        • = − x + 1 , x ∈ [ 0 , 1 ) -x+1,x\in[0,1) x+1,x[0,1);
        • = 1 , x = 1 1,x=1 1,x=1,
        • = − x + 3 , x ∈ ( 1 , 2 ] -x+3,x\in(1,2] x+3,x(1,2]
      • f ( x ) f(x) f(x)在闭区间 [ 0 , 2 ] [0,2] [0,2]上虽然有界但是出现孤立点( x = 1 x=1 x=1处左连续和右连续都不成立)

      • M = 2 M=2 M=2 f ( x ) f(x) f(x)的一个上界,但是 f ( x ) f(x) f(x)是取不到这个上界值,只能说 f ( x ) → 2 ( x → 1 ) f(x)\to{2}(x\to{1}) f(x)2(x1),也就是没有一个确定的具体的自变量取值 x M x_{M} xM能够使 f ( x M ) = 2 f(x_M)=2 f(xM)=2成立; m = 0 m=0 m=0也是类似的

    零点

    • f ( x 0 ) = 0 f(x_0)=0 f(x0)=0 x 0 x_0 x0称为 f ( x ) f(x) f(x)的零点
      • 零点是自变量的一个取值,而不是一个坐标点
      • f ( x ) f(x) f(x)图形和 x x x轴的交点的横坐标( x x x轴分量)

    连续函数的性质

    连续函数的四则运算

    • u ( x ) , v ( x ) u(x),v(x) u(x),v(x)都在 x = x 0 x=x_0 x=x0处连续,则两函数经过四则运算后的 f ( x ) f(x) f(x) x = x 0 x=x_0 x=x0处也连续
      • 对于除法运算,要求分母不为0

    复合函数极限关系定理

    • y = f ( g ( x ) ) y=f(g(x)) y=f(g(x))是由 u = g ( x ) u=g(x) u=g(x), y = f ( u ) y=f(u) y=f(u)复合而成的, U ˚ ( x 0 ) ⊂ D f ∘ g \mathring{U}(x_0)\sub{D_{f\circ{g}}} U˚(x0)Dfg,若 lim ⁡ x → x 0 g ( x ) = u 0 \lim\limits_{x\to{x_0}}g(x)=u_0 xx0limg(x)=u0,而 y = f ( u ) y=f(u) y=f(u) u = u 0 u=u_0 u=u0连续,则 lim ⁡ x → x 0 f ( g ( x ) ) \lim\limits_{x\to{x_0}}f(g(x)) xx0limf(g(x))= lim ⁡ u → u 0 f ( u ) \lim\limits_{u\to{u_0}}f(u) uu0limf(u)= f ( u 0 ) f(u_0) f(u0)
      • 本定理和复合函数的极限运算法则相近,区别在于连续的条件下
        • 极限改为值 f ( u 0 ) f(u_0) f(u0),( f ( u ) f(u) f(u) u 0 u_0 u0处因连续而有定义)
        • 且取消了 g ( x ) ≠ u 0 g(x)\neq{u_0} g(x)=u0的条件
    函数符号和极限号交换次序
    • 由上述定理进一步推导有:由于 lim ⁡ x → x 0 g ( x ) = u 0 \lim\limits_{x\to{x_0}}g(x)=u_0 xx0limg(x)=u0, lim ⁡ u → u 0 f ( u ) \lim\limits_{u\to{u_0}}f(u) uu0limf(u)= f ( u 0 ) f(u_0) f(u0),所以 lim ⁡ x → x 0 f ( g ( x ) ) \lim\limits_{x\to{x_0}}f(g(x)) xx0limf(g(x))= f ( lim ⁡ x → x 0 g ( x ) ) f(\lim\limits_{x\to{x_0}}g(x)) f(xx0limg(x))

    复合函数的连续性👺

    • 设函数 f ( u ) f(u) f(u) u = u 0 u=u_0 u=u0处连续(1), u = g ( x ) u=g(x) u=g(x) x = x 0 x=x_0 x=x0处连续(2),且 g ( x 0 ) = u 0 g(x_0)=u_0 g(x0)=u0(3),则复合函数 f ( g ( x ) ) f(g(x)) f(g(x)) x = x 0 x=x_0 x=x0处也连续

    • 由连续和极限的关系可知,该定理表明 lim ⁡ x → x 0 f ( g ( x ) ) \lim\limits_{x\to{x_0}}f(g(x)) xx0limf(g(x))= f ( g ( x 0 ) ) f(g(x_0)) f(g(x0))

    • 证明:

      • 由上述关系定理中增加条件(2),可令 u 0 = g ( x 0 ) u_0=g(x_0) u0=g(x0),这就表示 g ( x ) g(x) g(x) x 0 x_0 x0连续,从而 lim ⁡ u → u 0 f ( g ( x ) ) \lim\limits_{u\to{u_0}}f(g(x)) uu0limf(g(x))= f ( u 0 ) f(u_0) f(u0)= f ( g ( x 0 ) ) f(g(x_0)) f(g(x0))
      • 从而 f ( g ( x ) ) f(g(x)) f(g(x))也在 x 0 x_0 x0处连续

    基本初等函数的连续性

    • 基本初等函数在其定义域上是连续的
    推论
    • 初等函数在其定义域上都是连续的

    反函数的连续性👺

    • y = f ( x ) y=f(x) y=f(x)在某个区间上连续且单调,则其反函数 y = f − 1 ( x ) y=f^{-1}(x) y=f1(x)在对应区间上同样连续单调,且单调性和 y = f ( x ) y=f(x) y=f(x)相同的单调性

    • 更具体地:设 y = f ( x ) y=f(x) y=f(x)在某个区间 I x I_{x} Ix连续且单调,则其反函数 y = f − 1 ( x ) y=f^{-1}(x) y=f1(x)在对应区间 I y = R f = {   y ∣ y = f ( x ) , x ∈ I x   } I_{y}=R_f=\set{y|y=f(x),x\in{I_{x}}} Iy=Rf={yy=f(x),xIx}上同样连续单调,且单调性和 y = f ( x ) y=f(x) y=f(x)相同的单调性

    • 例如: y = e x y=e^{x} y=ex y = ln ⁡ x y=\ln{x} y=lnx分别在 ( − ∞ , + ∞ ) (-\infin,+\infin) (,+) ( 0 , + ∞ ) (0,+\infin) (0,+)上单调增加且连续

      • y = sin ⁡ x y=\sin{x} y=sinx [ − π 2 , π 2 ] [-\frac{\pi}{2},\frac{\pi}{2}] [2π,2π]上单调增加且连续,则 y = arcsin ⁡ x y=\arcsin{x} y=arcsinx [ − 1 , 1 ] [-1,1] [1,1]上同样单调增加且连续
    • 某些函数的反函数比较隐蔽,可以通过这个定理来确定反函数的单调性和连续性

  • 相关阅读:
    刷题记录:牛客NC20471[ZJOI2007]棋盘制作
    pivot转换表
    【Unity实战】手戳一个自定义角色换装系统——2d3d通用
    爬虫 — 正则案例
    Maven系列:第1篇:什么是maven?为什么需要它?
    java计算机毕业设计高校教学资源库设计与实现---MyBatis+系统+LW文档+源码+调试部署
    数据结构——图结构
    特征值求导推导
    Burp Suite--Get acquainted for the first time
    [ vulhub漏洞复现篇 ] Tiki Wiki CMS Groupware 认证绕过漏洞CVE-2020-15906
  • 原文地址:https://blog.csdn.net/xuchaoxin1375/article/details/133969872