1 概念与基本定义
单调函数刻画了函数值随自变量变化的“方向性”。在实变量函数中，常见要求是：当自变量在给定区间内变大时，函数值不减（或不增）。这类函数能够把复杂的变化行为压缩为相对简单的秩序结构，因此在微积分、实分析以及定性研究中广泛使用。
1.1 单调不减与单调不增
设函数 \(f\) 定义在区间 \(I\) 上。若对任意 \(x_1,x_2\in I\) 且 \(x_1<x_2\) 都有 \[ f(x_1)\le f(x_2), \] 则称 \(f\) 在 \(I\) 上为单调不减函数。若把不等号反向，令 \[ f(x_1)\ge f(x_2), \] 则称为单调不增函数。
直观理解是：自变量往右走（增大），函数曲线要么“向上不退”，要么“向下不升”。在应用中，“单调不减/不增”经常被用来保证比较大小、确定符号、以及简化极值或方程的讨论。
1.2 严格单调与弱单调
单调性的“弱”与“强”区分主要体现在不等号是否允许相等。
- 若对任意 \(x_1<x_2\) 都有 \(f(x_1)<f(x_2)\)，则称 \(f\) 为严格单调递增函数（严格单调不减的对称说法常见为严格单调增）。
- 若对任意 \(x_1<x_2\) 都有 \(f(x_1)>f(x_2)\)，则称为严格单调递减函数。
对应地，允许相等的版本称为弱单调。严格单调意味着曲线不存在“水平停滞段”，弱单调则允许在某些区间长度上函数保持常值。
1.3 区间单调与全域单调
若 \(f\) 在某个区间 \(I\) 上满足单调条件，则称其在该区间上单调。不同区间上的结论可不一致，例如同一函数可能在一个区间内单调不减，而在另一个区间内单调不增。
若把单调性推广到定义域内的所有相关点，使得对任意满足大小关系的自变量都成立，则称为全域单调（或在其定义域上单调）。在实际问题中，经常需要在若干子区间上分别判断，再拼合得到整体行为。
1.4 与有界性、连续性的关系（定性联系）
单调性本身不直接要求连续，但与“跳跃”和“界限”存在紧密联系：
- 单调函数在区间上通常具备较好的极限结构。若函数在区间内单调，则在区间端点处往往能讨论其左极限或右极限（具体形式依赖于端点是否包含在定义域内）。
- 单调函数不一定连续：可以出现跳跃，但跳跃的方向受到单调性的限制（例如单调不减函数的跳跃不会“往下掉”）。
- 有界性常与紧致区间上的性质相关。单调函数在某些常见情形下能自动产生上下界（例如在有限区间上结合其他条件时），从而便于求上确界/下确界并研究极值存在性。
在不引入过多技术细节的前提下，可以把这一节理解为：单调性把函数的“坏行为”限定在某种结构里，使得极限与边界分析更可控。
2 判别单调性的经典方法
判别单调性通常围绕“比较大小”展开。经典路线可由分析工具（导数、二阶导）或代数工具（差商）给出。实际解题中常根据可用信息选择最省力的一种。
2.1 基于导数的一阶判别法
若函数 \(f\) 在区间 \(I\) 上可导，并且在该区间内满足 \(f'(x)\ge 0\)（对所有 \(x\)），则 \(f\) 在 \(I\) 上单调不减；若 \(f'(x)\le 0\)，则 \(f\) 在 \(I\) 上单调不增。
更细的处理是：有时 \(f'(x)\) 不在整个区间同号，但其符号变化规律可以用来分段确定单调区间。例如当 \(f'(x)>0\) 在某段成立，而 \(f'(x)<0\) 在另一段成立，则函数在相应段上分别呈现递增或递减。
一阶判别的核心是把“斜率的符号”转化为“函数值的增减”。当导数存在时，这种转换往往是最直接的。
2.2 基于二阶导数的辅助判别（与凹凸的关系）
二阶导数 \(f''\) 主要用于描述凹凸性，但在特定结构下也能为单调性提供辅助判断。例如：
- 若在区间内能同时控制 \(f'\) 的变化趋势（由凹凸性导致），再结合 \(f'\) 在某一点的符号，就能推断 \(f'\) 在整段上的符号，从而得到单调性。
- 对很多常见函数形式，凹凸性与导数符号的关系可形成“先看趋势、再定方向”的思路。
需要注意的是：凹凸性并不等价于单调性。存在凹凸但不单调，或单调但凹凸性不固定的情况。因此二阶导数更多作为“协助工具”，而不是单调性本身的等价判据。
2.3 基于差商的判别（纯代数视角）
差商是把“函数差除以自变量差”这一比较直接写出来。若对任意 \(x_1<x_2\) 都有 \[ \frac{f(x_2)-f(x_1)}{x_2-x_1}\ge 0, \] 则推出 \(f(x_2)\ge f(x_1)\)，因此 \(f\) 单调不减；反向不等号对应单调不增。
这一路径的优势是：不必先求导。对某些没有良好可导性的函数，差商法仍能给出判断。不过由于差商需要对任意两点检验，实际操作中常借助代数变形、因式分解或构造等价表达来简化。
2.4 临界点处理：端点、不可导点与符号分段
在求解具体题目时，单调性往往通过以下流程落地：
- 找出可能改变结论的点：通常是不可导点、导数为零的点，或区间端点。
- 在每个分段区间内考察导数符号（或差商符号），确认函数在该段是递增还是递减。
- 合并各段结论，得到整体的分段单调结构。
端点处的处理要谨慎：单调性的定义只要求对区间内满足大小关系的点成立，但端点参与与否会影响讨论方式（例如讨论左侧或右侧极限时）。对于不可导点，通常不直接否定单调性；只要在两侧区间上单调性一致，整体仍可能单调。
3 单调函数的性质
单调性不仅是判别工具，也会带来结构性后果。许多性质可以直接用于解方程、推导不等式以及分析极值。
3.1 可逆性与反函数的单调性
若 \(f\) 在区间 \(I\) 上严格单调，则它在该区间上是一一对应映射，从而具有反函数 \(f^{-1}\)（其定义域为对应的像集）。反函数继承单调性：
- \(f\) 严格递增，则 \(f^{-1}\) 也是严格递增；
- \(f\) 严格递减，则 \(f^{-1}\) 也是严格递减。
弱单调通常不足以保证可逆（因为可能出现区间上取值相同，导致一对多）。因此，可逆性与“严格”这一点强相关。
3.2 方程求解与根的唯一性（单调对应唯一交点）
令方程形如 \(f(x)=0\) 或更一般的 \(f(x)=g(x)\)。当将其改写为某一侧是单调函数，另一侧是常数或另一单调函数时，单调性常用于证明交点的唯一性。
典型思路是：
- 若 \(f\) 在区间上单调且连续（或至少具备足够的中间值性质），则 \(f(x)=0\) 至多只有一个根（或至少不会出现多个“相同方向的交叉”）。
- 若考虑 \(h(x)=f(x)-g(x)\)，当 \(h\) 在区间上为单调函数且存在符号变化时，则根的个数可被限制为至多一个。
这类结论在数值求根、函数方程的定性分析中尤为常见，因为它能直接减少“可能根的数量”。
3.3 不等式推导中的单调技巧
单调性能够把复杂不等式转化为对点代入的比较。例如：
- 若 \(f\) 单调不减，且已知 \(a\le b\)，则可以断言 \(f(a)\le f(b)\)。
- 若 \(f\) 为单调且可逆，且已知 \(f(a)\le f(b)\)，则可以推出 \(a\le b\)。
在解题中常见的“套路”是通过构造一个单调函数 \(F(x)\)，把目标不等式写成 \(F(\text{某表达式})\ge(\text{或}\le)\,0\)，再用单调性在合适范围内确定符号。由于步骤依赖于构造，具体形式会随题而变，但判据本质相同：方向性比较带来不等式的传递。
3.4 单调性与极值：上确界/下确界视角
在分析极值时，单调性与上确界、下确界常结合使用。若函数在区间内单调，则其在区间上的极值（若存在）往往出现在端点位置或接近端点的位置。
一般地：
- 单调不减函数的最小值倾向于出现在左端，最大值倾向于出现在右端；
- 单调不增函数相反。
当函数不连续或端点不包含在定义域中时，极值可能需要用上确界/下确界来描述：它们仍能由单调结构确定“极端在哪里”，而不必完全依赖连续性给出点值。
4 与其他概念的联系
单调性往往与连续性、凹凸性、分段结构以及复合变换共同出现。理解这些协同关系有助于更快完成判断与推导。
4.1 连续函数的单调与跳跃（兼论可能性）
连续函数的单调性更“干净”：若函数既连续又单调，则在区间内不会出现跳变。此时函数的变化与导数符号或极限行为可以更顺畅地衔接。
但连续性并不是单调性的必要条件。单调函数可以带有跳跃：例如单调不减函数在某点可能从一个较小值“跳到”较大的值。单调性限制了跳跃的方向与相对秩序，使得即使存在不连续，函数的总体趋势仍受控。
因此，理解“单调不等于连续”是避免误判的关键点之一：不能用“有跳跃”直接否定单调性。
4.2 凹凸/驻点/拐点的协同理解
凹凸性与单调性关注不同方面：前者描述斜率如何变化，后者描述函数值如何有序变化。二者可以协同，但并非相互推出。
在不少经典情形里，驻点（导数为零或不可导）常出现在单调性变化的候选位置；拐点则常出现在凹凸性切换的位置。于是就会出现一种协同理解：
- 单调变化意味着导数符号可能改变；
- 凹凸变化意味着二阶导或导数斜率的变化可能改变；
它们可能在同一点，也可能分离出现。
这给了分析函数行为时的“分层阅读”：先看增减，再看曲率。
4.3 分段函数的单调性判定
分段函数的单调性通常通过“每一段分别判断 + 边界衔接核对”的方式处理。
步骤常为：
- 在每个子区间上确定是单调不减、单调不增还是常值。
- 检查分界点左右的函数值大小是否符合整体单调方向。若不符合，整体单调性就被破坏。
- 对端点或开闭区间的处理，依据定义在对应集合上验证条件。
这种方法能应对大量含绝对值、取整或条件表达式的函数。
4.4 复合函数与单调性的传递规则（常见“套路”）
复合函数常用于题目构造，单调性也能在复合中“传递”。常见规则可概括为：
- 若 \(f\) 在区间上单调，\(g\) 的取值落在 \(f\) 的单调区间内，则 \(f\circ g\) 的单调性主要取决于 \(g\) 的单调方向以及 \(f\) 在对应范围内是“增”还是“减”。
- 若外层函数 \(f\) 单调递增，则复合后单调性与内层 \(g\) 同向；若外层 \(f\) 单调递减，则方向相反。
实践中常配合“常数函数与线性函数的单调性”来简化判断：线性变换常只是对尺度与方向做调整，而单调性传递则提供了快速结论。