我们将最小值和最大值定义合起来写
在区间 I I I上有定义的函数 f ( x ) f(x) f(x),若 x 0 ∈ I x_0\in{I} x0∈I,使得 ∀ x ∈ I \forall{x\in{I}} ∀x∈I,都有 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上的最大值(最小值)
函数在区间内有最值的不充分条件
区间内有界是有最值的必要不充分条件
区间内连续是不必要条件
例 tan x \tan{x} tanx在 ( − π 2 , π 2 ) (-\frac{\pi}{2},\frac{\pi}{2}) (−2π,2π)上虽然连续,但是其无界,所以无最值;
例:分段函数
f ( x ) f(x) f(x)
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(x→1),也就是没有一个确定的具体的自变量取值 x M x_{M} xM能够使 f ( x M ) = 2 f(x_M)=2 f(xM)=2成立; m = 0 m=0 m=0也是类似的
设函数
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)) x→x0limf(g(x))= f ( g ( x 0 ) ) f(g(x_0)) f(g(x0))
证明:
设 y = f ( x ) y=f(x) y=f(x)在某个区间上连续且单调,则其反函数 y = f − 1 ( x ) y=f^{-1}(x) y=f−1(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=f−1(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={y∣y=f(x),x∈Ix}上同样连续单调,且单调性和 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,+∞)上单调增加且连续
某些函数的反函数比较隐蔽,可以通过这个定理来确定反函数的单调性和连续性