可积函数连续性是否能推出其定义域测度大于0的技术问询

初始问题：连续可积函数能否推出定义域测度大于0？ #

咱们直接给结论：不能，反例非常直观：

• 取$E = {a} \subseteq \mathbb{R}^n$（单点集），显然$\mu(E) = 0$；
• 定义$f: E \to \mathbb{R}$为$f(a) = c$（任意常数），$f$在$E$上天然连续（连续定义对单点集完全满足），而且$f$在$E$上可积（积分值为0）。

这就明确说明：连续且可积的函数，其定义域完全可以是零测集。

对原推理的误区分析 #

你给出的推导过程里有个隐含的问题：你得到了不等式
$$\int_{B(a,\delta)} f(x)dx \leq (f(a) + \epsilon)\mu(B(a,\delta))$$
但要注意，$f$只定义在$E$上，所以实际积分范围是$E \cap B(a,\delta)$。当$\mu(E)=0$时，左边的积分值为0，右边的$(f(a)+\epsilon)\cdot\mu(E \cap B(a,\delta))$也等于0，不等式依然成立——这时候$\mu(E \cap B(a,\delta))=0$是完全允许的，并不会产生矛盾。

连续的定义核心是：对任意$a\in E$，存在$\delta>0$，使得**所有属于$E \cap B(a,\delta)$的点$x$**满足$f(x) \in B(f(a),\epsilon)$。如果$E$是零测集（比如单点集），$E \cap B(a,\delta)$就是${a}$，显然满足这个条件，完全不影响连续性。

跟进问题：相对邻域包含能否推出定义域测度非零？ #

答案还是不行。
这里的$U_E^\delta(a)$是$a$在$E$中的相对邻域（即$E \cap B(a,\delta)$），它本身就是$E$的子集，但它的测度可以是0（比如单点集的情况，$U_E^\delta(a)={a}$，测度为0），而整个$E$的测度也可以是0。所以这个包含关系完全无法推出$\mu(E)\neq0$。

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