关于证明分段函数f在[0,1]上黎曼可积且积分值为0的问题求助

嘿，我来帮你把这个证明补全并理清楚！首先先明确咱们要解决的问题：

给定函数$f:[0,1] \rightarrow \mathbb{R}$，定义为
$$
f(x)=\left{\begin{array}{ll}1 & \text { 当 } x \in S \ 0 & \text { 当 } x \notin S\end{array}\right.
$$
其中$S=\left{\frac{1}{n} \mid n \in \mathbb{N}\right}$，需要证明$f$在$[0,1]$上黎曼可积，且$\int_0^1 f(x) dx=0$。

你已经有了一个不错的开头，我接着你的思路往下走：

我尝试的思路：
任取$\varepsilon>0$，考虑集合$S=\left{\frac{1}{n} \mid n \in \mathbb{N}\right}$，这些点都是$[0,1]$里的孤立点。我设$\delta=\frac{\varepsilon}{2}$，然后想构造一个分割$P=\left{x_0, x_1, \ldots, x_k\right}$满足...

补全证明过程： #

要证明黎曼可积，核心是找到任意$\varepsilon>0$对应的分割$P$，使得上和$U(f,P)$与下和$L(f,P)$的差小于$\varepsilon$，这是黎曼可积定义的核心逻辑。

• 第一步：处理$S$中的“大”点
  找一个正整数$N$，使得$\frac{1}{N} < \frac{\varepsilon}{2}$。此时$S$中满足$\frac{1}{n} \geq \frac{\varepsilon}{2}$的点只有有限个：$\frac{1}{1}, \frac{1}{2}, \ldots, \frac{1}{N}$，一共$N$个孤立点——有限个点的好处是我们可以逐个控制它们对应的区间长度。

• 第二步：构造符合要求的分割$P$

  • 第一个小区间取$[0, \frac{\varepsilon}{2}]$（对应你设的$\delta=\frac{\varepsilon}{2}$），端点为$x_0=0$，$x_1=\frac{\varepsilon}{2}$；
  • 对每个$\frac{1}{k}$（$k=1,2,...,N$），构造一个长度为$\frac{\varepsilon}{2N}$的小区间把它包含进去（比如$[\frac{1}{k} - \frac{\varepsilon}{4N}, \frac{1}{k} + \frac{\varepsilon}{4N}]$，注意保证这些区间不重叠且都在$[\frac{\varepsilon}{2},1]$内），把这些区间的端点都加入分割$P$；
  • 最后把$[\frac{\varepsilon}{2},1]$中剩下的、不含$S$中点的部分，拆成若干个小区间，端点也加入$P$。

• 第三步：计算上和与下和

  • 上和$U(f,P)$：
    • 小区间$[0, \frac{\varepsilon}{2}]$上，$f(x)$最大值为1（这里包含无穷多个$S$中的点，比如$n>N$时的$\frac{1}{n}$），这部分上和为$1 \times \frac{\varepsilon}{2} = \frac{\varepsilon}{2}$；
    • 每个包含$\frac{1}{k}$的小区间长度为$\frac{\varepsilon}{2N}$，每个区间上$f(x)$最大值为1，$N$个这样的区间总上和为$N \times 1 \times \frac{\varepsilon}{2N} = \frac{\varepsilon}{2}$；
    • 剩下的小区间里没有$S$中的点，$f(x)$恒为0，上和为0；
      因此总上和$U(f,P) = \frac{\varepsilon}{2} + \frac{\varepsilon}{2} = \varepsilon$。
  • 下和$L(f,P)$：
    所有小区间里都存在不在$S$中的点（比如区间内的无理数），所以$f(x)$在每个小区间的最小值都是0，因此$L(f,P)=0$。

• 第四步：验证可积性与积分值
  此时$U(f,P) - L(f,P) = \varepsilon - 0 = \varepsilon$，而$\varepsilon$是任意给定的正数，完全满足黎曼可积的定义，所以$f \in R[0,1]$。
  另外，因为下和恒为0，积分的下限是0；同时上和可以通过调整$\varepsilon$任意接近0，积分的上限也是0，因此$\int_0^1 f(x) dx = 0$。

备注：内容来源于stack exchange，提问作者Andres