函数单调性
函数的单调性（monotonicity）是刻画一个（一元实函数）重要性质的概念，它可以推广到任意全序集或有序集的映射上去。
目录
1 定义
2 性质
3 导数判断单调性
4 相关问题
5 参考资料
定义[]
设定义在区间
I
{\displaystyle I}
上的函数
f
(
x
)
{\displaystyle f(x)}
，如果对任意的
x
1
,
x
2
∈
D
{\displaystyle x_1, x_2 \in D}
，
x
1
⩽
x
2
{\displaystyle x_1 \leqslant x_2}
，都有
f
(
x
1
)
⩽
f
(
x
2
)
{\displaystyle f(x_1) \leqslant f(x_2)}
，就称
f
(
x
)
{\displaystyle f(x)}
在
I
{\displaystyle I}
上单调递增；如果对任意的
x
1
,
x
2
∈
D
{\displaystyle x_1, x_2 \in D}
，
x
1
<
x
2
{\displaystyle x_1 < x_2}
，都有
f
(
x
1
)
<
f
(
x
2
)
{\displaystyle f(x_1) < f(x_2)}
，就称
f
(
x
)
{\displaystyle f(x)}
在
I
{\displaystyle I}
上严格单调递增。
设定义在区间
I
{\displaystyle I}
上的函数
f
(
x
)
{\displaystyle f(x)}
，如果对任意的
x
1
,
x
2
∈
D
{\displaystyle x_1, x_2 \in D}
，
x
1
⩽
x
2
{\displaystyle x_1 \leqslant x_2}
，都有
f
(
x
1
)
⩾
f
(
x
2
)
{\displaystyle f(x_1) \geqslant f(x_2)}
，就称
f
(
x
)
{\displaystyle f(x)}
在
I
{\displaystyle I}
上单调递减；如果对任意的
x
1
,
x
2
∈
D
{\displaystyle x_1, x_2 \in D}
，
x
1
<
x
2
{\displaystyle x_1 < x_2}
，都有
f
(
x
1
)
>
f
(
x
2
)
{\displaystyle f(x_1) > f(x_2)}
，就称
f
(
x
)
{\displaystyle f(x)}
在
I
{\displaystyle I}
上严格单调递减。
设定义在区间
I
{\displaystyle I}
上的函数
f
(
x
)
{\displaystyle f(x)}
，如果对任意的开区间
(
a
,
b
)
⊂
I
{\displaystyle (a, b) \subset I}
，
f
(
x
)
{\displaystyle f(x)}
在
(
a
,
b
)
{\displaystyle (a,b)}
上都不是单调的，就说
f
(
x
)
{\displaystyle f(x)}
在
I
{\displaystyle I}
上无处单调。
性质[]
常值函数是单调的，但不是严格单调的。
若
f
(
x
)
{\displaystyle f(x)}
在
I
{\displaystyle I}
上单调递增，那么
−
f
(
x
)
{\displaystyle -f(x)}
在
I
{\displaystyle I}
上单调递减。
单调函数不一定连续，例如符号函数和取整函数，它们都是单调递增的。但是，如果定义在区间
[
a
,
b
]
{\displaystyle [a, b]}
上的单调递增函数
f
(
x
)
{\displaystyle f(x)}
的值域也是一个区间，且为
[
f
(
a
)
,
f
(
b
)
]
{\displaystyle [f(a), f(b)]}
，那么
f
(
x
)
{\displaystyle f(x)}
就是连续函数了。
连续函数不一定单调，但是它的上控函数是单调的连续函数。在点
x
0
{\displaystyle x_0}
连续的函数的右上控函数是单调递增的，右下控函数是单调递减的。
一个区间上有定义的单调函数的不连续点是可列个跳跃间断点。
单调性和有界性没有直接关系，但是闭区间上的单调函数是有界的，且它的上下界就是对应端点处的函数值。
单调有界定理：无穷区间上的单调函数，如果它是有界的，那么它的无穷极限存在，反之不真。
若函数
f
(
x
)
,
g
(
x
)
{\displaystyle f(x), g(x)}
是定义在区间
I
{\displaystyle I}
上的增函数，且
f
(
x
)
⩽
g
(
x
)
{\displaystyle f(x) \leqslant g(x)}
，那么
f
(
f
(
x
)
)
⩽
g
(
g
(
x
)
)
.
{\displaystyle f(f(x)) \leqslant g(g(x)).}
有限开区间
(
a
,
b
)
{\displaystyle (a,b)}
上有定义的连续函数没有极值的充分必要条件是函数
f
(
x
)
{\displaystyle f(x)}
在
(
a
,
b
)
{\displaystyle (a,b)}
上严格单调。
一个区间上严格单调的函数有反函数，且和原来的函数具有相同的单调性。
两个单调递增函数的差值是有界变差函数。
导数判断单调性[]
设
f
(
x
)
{\displaystyle f(x)}
在
I
{\displaystyle I}
上一阶可导，那么
f
(
x
)
{\displaystyle f(x)}
在
I
{\displaystyle I}
上单调递增的充要条件是
∀
x
∈
I
,
f
′
(
x
)
⩾
0
{\displaystyle \forall x \in I, f'(x) \geqslant 0}
；
f
(
x
)
{\displaystyle f(x)}
在
I
{\displaystyle I}
上严格单调递增的充要条件是
f
′
(
x
)
{\displaystyle f'(x)}
在
I
{\displaystyle I}
上非负且在任何子区间上都不恒为零。
对于单调递减的情形，仅需将上述关于导函数和零的关系改变符号即可。
相关问题[]
两个区间之间的无处单调的可逆函数是存在的，如定义在区间
[
0
,
1
]
{\displaystyle [0,1]}
上的函数
f
(
x
)
=
{
x
,
x
∈
Q
,
1
−
x
,
x
∈
I
−
Q
.
{\displaystyle f(x) = \begin{cases} x, & x \in \Q, \\ 1-x, & x \in I - \Q. \end{cases}}
两个严格递增的函数，它们的和依然是严格递增的，它们的积却不一定是单调的。
无处单调的连续函数是存在的，无处单调的可微函数也是存在的。
由函数在一个点的导数与零的关系并不能确定该点的某个邻域内函数的单调性，如函数
f
(
x
)
=
{
x
+
2
x
2
sin
1
x
,
x
≠
0
,
0
,
x
=
0.
{\displaystyle f(x) = \begin{cases} x + 2x^2 \sin \dfrac{1}{x}, & x \ne 0, \\ 0, & x = 0. \end{cases}}
函数在极值点的单侧的某邻域中也可能不具有单调性，如函数
f
(
x
)
=
{
2
x
2
+
x
2
sin
1
x
,
x
≠
0
,
0
,
x
=
0.
{\displaystyle f(x) = \begin{cases} 2x^2 + x^2 \sin \dfrac{1}{x}, & x \ne 0, \\ 0, & x = 0. \end{cases}}
参考资料欧阳光中, 朱学炎, 金福临, 陈传璋, 《数学分析》, 高等教育出版社, 北京, 2018-08, ISBN 978-7-0404-9718-2.
微分学（学科代码：1103410，GB/T 13745—2009）
极限论
数列 ▪ 数列极限 ▪ 上极限和下极限 ▪ 无穷小量以及无穷大量 ▪ 两面夹法则 ▪ Stolz 定理 ▪ Toeplitz 定理 ▪ Stirling 公式 ▪ 函数极限 ▪ 第二重要极限 ▪ 不定型极限与 L' Hospital 法则 ▪ Heine 定理
一元连续性
连续函数 ▪ 间断点 ▪ 一致连续 ▪ Cantor 一致连续性定理 ▪ Lipschitz 连续和 Hölder 连续 ▪ 基本初等函数 ▪ 幂平均
一元微分
导数 ▪ 基本初等函数的导数 ▪ 求导法则 ▪ 高阶导数 ▪ 莱布尼兹公式（高阶导数） ▪ 微分以及差分 ▪ Darboux 定理 ▪ 零点定理
中值定理微分的应用
Fermat 定理 ▪ Rolle 定理 ▪ Lagrange 中值定理 ▪ Cauchy 中值定理 ▪ Taylor 公式 ▪ 函数极值 ▪ 函数凸性 ▪ 渐近线 ▪ 曲线的曲率
多元极限多元微分
Euclid 空间点集 ▪ Euclid 空间中的基本定理 ▪ 多元函数 ▪ 多元函数的连续性 ▪ 偏导数 ▪ 全微分 ▪ 隐函数求导法 ▪ 方向导数 ▪ 多元 Taylor 展开 ▪ 多元函数的极值 ▪ 多元函数的条件极值与 Lagrange 乘数法 ▪ 隐函数
所在位置：数学（110）→ 数学分析（11034）→ 微分学（1103410）