关于可积性定义的疑问：为何证明中常用ε/2替代ε？

你提到的这个细节在分析学证明里太常见了，本质上是对“任意小正数”概念的灵活运用，完全不用困惑～

首先先明确标准的达布可积定义：

∀ε>0，存在一个划分P，使得f关于P的达布上和$U(f,P)$与达布下和$L(f,P)$满足 $U(f,P) - L(f,P) < ε$

那为什么很多证明里会换成“存在划分P使得差小于ε/2”呢？核心原因有两个：

• 等价性：因为ε是任意给定的正数，那么ε/2同样也是一个任意小的正数——只要你能找到满足差小于ε/2的划分，那这个划分必然满足差小于ε（毕竟ε/2 < ε）；反过来，如果原定义成立，那对于任意的ε' = ε/2，也一定存在对应的划分，所以这两种表述在逻辑上是完全等价的。
• 推导便利性：证明中用ε/2大多是为了后续的误差合并更顺畅。比如当证明过程中需要处理两个独立的误差项时，用ε/2来设定每个误差的上限，最后两个ε/2相加正好等于ε，完美贴合原定义要求的“任意小正数”，不用额外调整系数，让整个证明的逻辑链更简洁。

举个直观的例子：假设你要证明“若f和g都在[a,b]上可积，则f+g也可积”，分别对f和g用ε/2找到对应的划分，取两个划分的公共加细后，f+g的上、下和之差就是f的差加上g的差，正好小于ε/2 + ε/2 = ε，直接满足可积性定义，一步到位。

内容的提问来源于stack exchange，提问作者user465188