寻求满足富比尼定理累次积分存在且相等但f∉R(I)的f:I→ℝⁿ实例

当然存在这样的映射！这正是佐里奇《数学分析II》第二版里那条你常提及的著名注记对应的反例场景，我来给你一步步拆解清楚：

反例构造 #

考虑单位正方形区域 ( I = [0,1] \times [0,1] )，定义函数 ( f: I \to \mathbb{R} ) 如下：

f(x,y) = 
\begin{cases}
1, & \text{若 } x,y \text{ 均为有理数} \\
0, & \text{其他情况}
\end{cases}

累次积分的存在性与相等性分析 #

1. 计算第一个累次积分 ( \int_{0}^{1} \left( \int_{0}^{1} f(x,y) dy \right) dx )：

   • 对固定的任意 ( x \in [0,1] )：
     • 若 ( x ) 是无理数，那么只有当 ( y ) 为有理数时 ( f(x,y)=1 )，但有理数集在 ( [0,1] ) 中是零测集，因此内层积分 ( \int_{0}^{1} f(x,y) dy = 0 )；
     • 若 ( x ) 是有理数，同理，( y ) 取有理数的测度为0，内层积分结果还是 ( 0 )。
   • 外层积分就是 ( \int_{0}^{1} 0 dx = 0 )。

2. 计算第二个累次积分 ( \int_{0}^{1} \left( \int_{0}^{1} f(x,y) dx \right) dy )：

   • 完全对称于上面的分析，最终结果同样为 ( 0 )。

由此可见，两个累次积分均存在且相等，值为0。

函数的黎曼可积性判断 #

根据黎曼可积的充要条件：函数在区间上的上积分必须等于下积分。

• 对 ( I ) 的任意分割，每个子矩形中必然同时包含有理点（此时 ( f=1 )）和无理点（此时 ( f=0 )），因此每个子矩形的上确界为1，下确界为0；
• 上积分：所有子矩形的上确界乘以面积之和的极限为 ( 1 \times 1 = 1 )；
• 下积分：所有子矩形的下确界乘以面积之和的极限为 ( 0 \times 1 = 0 )；
• 上积分与下积分不相等，因此 ( f \notin R(I) )。

对应佐里奇教材的注记 #

佐里奇在《数学分析II》第二版的相关章节注记中明确强调：富比尼定理的逆命题不成立——即累次积分存在且相等不能推出函数黎曼可积。富比尼定理的逻辑是「函数黎曼可积 → 累次积分存在且相等」，但反过来，累次积分的良好性态无法保证函数本身的黎曼可积性，上面的反例正是对这一点的直观验证。

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