1 概念与定义
严格单调性用于刻画函数在给定区间内随自变量变化而呈现“单向且不允许停滞”的趋势。其核心特征是：一旦比较两个不同的自变量点，函数值之间必须保持严格的不等关系，而不能出现相等。
1.1 单调性的基本形式
给定函数 \(f\) 与区间 \(I\)。若对任意 \(x_1,x_2\in I\) 且 \(x_1<x_2\) 都有 \(f(x_1)\le f(x_2)\)，则称 \(f\) 在 \(I\) 上单调递增。若对任意 \(x_1<x_2\) 都有 \(f(x_1)\ge f(x_2)\)，则称其在 \(I\) 上单调递减。这里的不等号允许“相等”。
严格单调性则在此基础上进一步排除“相等平台”。
1.2 严格递增与严格递减
若对任意 \(x_1,x_2\in I\)，只要 \(x_1<x_2\)，就有 \[ f(x_1)<f(x_2), \] 则称 \(f\) 在 \(I\) 上严格递增。相应地，若 \[ x_1<x_2 \Rightarrow f(x_1)>f(x_2), \] 则称其在 \(I\) 上严格递减。
严格递增与严格递减在直观上分别表示“始终向上、始终向下”的变化；形式上则是要求比较任意两点时始终得到严格大小关系。
1.3 严格单调的等价刻画
严格单调可以用多种互相等价的方式表述。不同表述在实际计算与证明中承担的角色不同。
1.3.1 基于任意两点的不等式定义
最直接的定义是“任意两点比较”的严格不等关系：
- 严格递增：对任意 \(x_1,x_2\in I\)，若 \(x_1<x_2\)，则 \(f(x_1)<f(x_2)\)。
- 严格递减：对任意 \(x_1,x_2\in I\)，若 \(x_1<x_2\)，则 \(f(x_1)>f(x_2)\)。
1.3.2 基于序列极限的严格单调性判别
在实分析中，严格单调性也可通过序列刻画。以严格递增为例：若对任意满足 \(x_n\in I\) 且 \(x_n<x_{n+1}\) 的严格递增序列，均有 \(f(x_n)<f(x_{n+1})\)，则可等价得到严格单调。更常见的使用方式是：将“任意两点的严格比较”替换为对“任意递增（或递减）序列的比较”，便于与极限过程结合。
当函数具备一定正则性（如连续性）时，这种序列视角能与极限工具更顺畅地配合；但本质思想仍是“严格保序”。
2 与相关概念的区别
严格单调性常与“弱单调”“局部单调”“可逆性”等概念并列出现。理解差异有助于避免在证明中“放宽”到错误结论。
2.1 严格单调 vs 非严格单调
严格单调要求严格不等号，因此排除了“值相等的区间段”。非严格（弱）单调允许 \(x_1<x_2\) 时出现 \(f(x_1)=f(x_2)\)，这意味着函数可能在某段上“保持不变”。
因此：
- 严格单调更强：它自动包含非严格单调。
- 非严格单调不足以推出很多“唯一性/严格性”的结果，例如不保证反函数存在，或不排除多个输入对应同一输出。
2.2 严格单调与单调性（弱单调）的关系
若 \(f\) 在区间 \(I\) 上严格递增，则对任意 \(x_1<x_2\) 有 \(f(x_1)<f(x_2)\)，从而必然也有 \(f(x_1)\le f(x_2)\)。因此严格单调蕴含弱单调。
反之不成立：例如常值函数在任何区间上都是弱递增（也可视为弱递减），但并非严格单调。
2.3 与局部单调性的联系
局部单调讨论的是在每个小区间内的单调性，而严格单调讨论的是在给定区间整体上的严格保序。二者关系并非简单等价：
- 若一个函数在整个区间上严格单调，则它在任意子区间上也严格单调，因此必然局部严格单调。
- 反过来，局部严格并不自动推出全局严格：区间之间可能出现“跨段比较”时被破坏的情形（例如拼接后在连接区域附近无法维持跨越比较的严格不等）。
在证明中通常需要区分“局部可得”与“全局需要”的比较方式。
2.4 与可逆性（双射/反函数存在）的直观关系
严格单调在实变量函数的背景下与可逆性关系紧密。直观理解为：输出不“折回去”，因此不同输入给出不同输出，从而更容易保证反函数的存在与良好性质。
更具体地说，在合理的域/值域设置下，严格单调通常可推出“单射”（不同输入不会对应同一输出）；在连续性等附加条件满足时，还可能获得满射与双射，从而得到可逆并能定义反函数。
3 判定方法与常用结论
严格单调性既可直接由定义检验，也可通过导数、增量比等工具判定。常见思路是建立“严格不等”的来源：一方面来自符号信息，另一方面来自“排除相等”的严格条件。
3.1 利用导数判定（微积分常用）
导数为判断严格单调提供了高效途径。基本形式是：导数的正负提供了函数增长或下降的趋势；但是否严格，还需区分“恒正/恒负”与“非负/非正”。
3.1.1 导数恒正推出严格递增
若 \(f\) 在区间 \(I\) 上可导，并且对所有 \(x\in I\) 都有 \[ f'(x)>0, \] 则 \(f\) 在 \(I\) 上严格递增。
直观上，导数恒为正意味着任意两点间的“平均增长率”也保持正，从而跨越比较必得严格不等。
3.1.2 导数恒负推出严格递减
同理，若 \(f\) 在 \(I\) 上可导且对所有 \(x\in I\) 都有 \[ f'(x)<0, \] 则 \(f\) 在 \(I\) 上严格递减。
3.1.3 导数为非负/非正与严格性的差异
若仅有 \[ f'(x)\ge 0 \quad (\text{或 } f'(x)\le 0), \] 通常只能推出弱单调，而不能直接推出严格单调。原因在于：导数可能在某些点或子区间上为零，导致函数在局部形成“平台”，从而出现相等值。
因此严格性需要更强的条件（例如导数恒正/恒负，或借助更精细的结构排除“平坦段”）。
3.2 利用增量比与差商
增量比（差商）刻画两个点之间的平均变化方向。它常用于不易直接处理导数时的判别。
3.2.1 差商严格正/负的判据
对区间 \(I\) 内任意 \(x_1<x_2\)，考虑差商 \[ \frac{f(x_2)-f(x_1)}{x_2-x_1}. \]
- 若对所有 \(x_1<x_2\) 都有差商 \(>0\)，则 \(f(x_2)-f(x_1)>0\)，从而 \(f\) 严格递增。
- 若对所有 \(x_1<x_2\) 都有差商 \(<0\)，则 \(f\) 严格递减。
这一判据本质上等价于“任意两点严格不等”的定义，只是将比较写成商的形式。
3.2.2 分段函数的增量比较策略
对于分段函数，直接使用“任意两点”可能需要分类讨论。例如：
- 同一段内比较：在每个子区间上分别证明严格递增/递减；
- 跨段比较：重点检查连接处两侧点的比较是否保持严格关系，避免在拼接点产生“相等”或“反转”。
分段情形下，最容易出错的往往就是跨段比较：即便每段内部严格，跨段的函数值关系也可能因为常数平移或端点取值导致破坏严格性。
3.3 利用二阶导与凹凸性（辅助理解）
二阶导与凹凸性提供的是“曲线形状”的信息，主要用于辅助理解或与其他条件结合。在很多情况下，凹凸并不直接等价于严格单调，但它能帮助分析斜率变化，从而间接影响单调性判断。
3.3.1 凹凸性对严格单调性的影响边界
若 \(f\) 在区间上凸（凹），则其导数（若存在）具有单调趋势。对严格单调性的影响常见于以下逻辑链：
- 凹凸性控制“斜率如何变化”；
- 斜率的符号（正或负）决定单调方向；
- 进一步的严格性需要排除斜率为零导致的平坦情形，或证明在整个区间内符号不变且不出现导致相等的机制。
因此，凹凸性更多是“形状约束”，而严格单调通常仍需最终回到“符号是否保持严格”的比较。
4 函数空间与性质层面的影响
严格单调性不仅是局部判断工具，更会在连续性、零点结构、以及不等式证明中产生系统性影响。
4.1 连续性条件下的严格单调行为
当函数连续时，严格单调与区间上的“值域展开”更紧密：连续严格单调函数在区间内不会反复取同一数值，并能在端点间形成从小到大（或大到小）的连续值变化轨迹。这种性质在证明“存在某个输入使函数取到目标值”时尤其常用。
同时，连续性也使得关于极限的论证与单调性更易衔接，例如通过介值型思想把“比较”转化为“存在性”。
4.2 与零点、交点个数的约束
若 \(f\) 在区间 \(I\) 上严格递增，则方程 \(f(x)=c\) 在 \(I\) 内至多有一个解：因为若存在两个不同点 \(x_1<x_2\)，就会得到 \(f(x_1)<f(x_2)\)，与 \(f(x_1)=f(x_2)=c\) 矛盾。
因此严格单调函数对零点（令 \(c=0\)）或任意水平线交点个数提供了强约束：最多一个交点，这为根的唯一性提供直接支撑。
4.3 与方程解唯一性的作用
在方程求解中，经常把问题改写为 \(f(x)=0\) 或 \(f(x)=g(x)\)。若构造出的等式两侧差函数在区间上严格单调，则可得到解的唯一性。
典型流程是：
- 定义 \(h(x)=f(x)-g(x)\)；
- 证明 \(h\) 在给定区间上严格单调；
- 由严格单调推出 \(h(x)=0\) 至多一个解（配合连续性可再得到“恰有一个解”的结论）。
严格单调因此成为“唯一性证明”的常用骨架。
4.4 与不等式证明中的“严格性传递”
不等式证明常需要从非严格关系升级到严格关系。严格单调提供了一种机制：当函数在区间上严格单调且输入比较为严格不等时，输出比较会自动带上严格性。
4.4.1 用严格单调替代“≤”推导“<”的套路
设 \(f\) 在区间 \(I\) 上严格递增。若能确定两点满足 \(x_1<x_2\)，那么直接得到 \(f(x_1)<f(x_2)\)。反之，若只能得到 \(x_1\le x_2\)，则输出只能保证 \(f(x_1)\le f(x_2)\)，严格性无法凭空出现。
因此“严格性传递”的使用要点是：证明链条中出现的关键不等号必须是严格的，或者能从其他条件把它补成严格。例如通过排除等号情形（如由结构性质推出不可能取相等）来完成严格化，然后再调用严格单调得到目标结论。