关于恒等逼近收敛条件与L¹∩L^∞函数几乎处处连续性的技术问询

嘿，针对你提出的这个高斯核正则化的问题，我来一步步梳理清楚：

首先，先明确我们的核心对象和已知结论：

高斯核的定义与核心性质 #

我们定义的高斯核 $\Phi:\mathbb{R}^n \times (0,\infty) \rightarrow (0,\infty)$ 是标准的恒等逼近核：
$$\Phi(x,t) = \frac{1}{(\sqrt{4\pi t})^n}e{-||x||^2/4t}$$
对每个固定的 $t>0$，记 $\Phi_t(x) = \Phi(x,t)$，它满足两个关键性质：

• 归一性：$\int_{\mathbb{R}^n}\Phi_t(x)\ dx = 1$，保证卷积不会改变函数的“整体质量”；
• 局部消失性：对任意 $x \neq 0$，$\lim_{t\rightarrow0}\Phi_t(x) = 0$，且在不含原点的紧集上这个极限是一致的，意味着当 $t$ 趋近于0时，核的质量会集中在原点附近的极小邻域内。

你已经证明了一个基础结论：如果 $f \in L^1(\mathbb{R}n) \cap L^{{\infty}(\mathbb{R}}n)$ 且在点 $x$ 处连续，那么卷积的极限 $\lim_{t\rightarrow 0}(f*\Phi_t)(x) = f(x)$ 一定成立。

你的问题解答：当卷积对所有点收敛时，$f$ 的连续性如何？ #

现在你问的是：如果这个极限对所有 $x \in \mathbb{R}^n$ 都成立，能否推出 $f$ 几乎处处连续？

答案是：不能直接推出 $f$ 几乎处处连续，但可以得到一个更强的结论——$f$ 的每一点都是 Lebesgue 点，而 Lebesgue 点和连续性的关系需要仔细区分：

1. Lebesgue 点与卷积收敛的等价性
   对于高斯核这类满足“径向递减、归一、局部消失”的恒等逼近族，$\lim_{t\to0}(f*\Phi_t)(x)=f(x)$ 当且仅当 $x$ 是 $f$ 的 Lebesgue 点。Lebesgue 点的定义是：
   $$\lim_{r\to0} \frac{1}{|B(x,r)|}\int_{B(x,r)} |f(y)-f(x)| dy = 0$$
   简单来说，Lebesgue 点是指函数在该点附近的平均值“充分接近”函数本身的值，即使函数在该点不连续，这个条件也可能满足。

2. Lebesgue 点不一定是连续点
   存在这样的函数：它在某个正测度的集合上处处不连续，但这些不连续点都是 Lebesgue 点，因此卷积在所有点都收敛到函数值。例如：
   考虑区间 $[0,1]$ 上的 Smith-Volterra-Cantor 集 $S$——这是一个测度为 $1/2$ 的无处稠密闭集。定义 $f=\chi_S$（$S$ 的特征函数）：

• $f$ 在 $S$ 的每一点都不连续：因为 $S$ 无处稠密，任意邻域内都有不在 $S$ 的点，函数值为 $0$，而 $S$ 上的函数值为 $1$，所以在 $S$ 的点处函数不连续；
• 但根据密度点定理，$S$ 的几乎每一点都是 $S$ 的密度点（即 $\lim_{r\to0} |B(x,r)\cap S|/|B(x,r)|=1$），这些密度点就是 $f$ 的 Lebesgue 点，在这些点处卷积 $f*\Phi_t(x)$ 会收敛到 $f(x)=1$；
• 不过，$S$ 中存在零测度的非密度点集，在这些点处卷积收敛到 $0 \neq f(x)=1$，因此原始的 $f=\chi_S$ 不满足“对所有 $x$ 卷积收敛到 $f(x)$”的条件。但如果我们修改 $f$，在这些非密度点上将 $f$ 的值改为 $0$，那么新的 $f$ 就满足对所有 $x$ 卷积收敛到 $f(x)$，且它的不连续点集是 $S$（测度为 $1/2>0$）。

3. 满足条件的函数的本质特征
   总结来说：当 $f \in L^1(\mathbb{R}n) \cap L^{{\infty}(\mathbb{R}}n)$ 且对所有 $x \in \mathbb{R}^n$，$\lim_{t\to0}(f*\Phi_t)(x)=f(x)$ 时，$f$ 是一个处处为 Lebesgue 点的可测函数。这类函数的不连续点集可以是正测度的，但必须满足：在每个不连续点处，函数在该点附近的平均值足够接近函数值（即 Lebesgue 点条件），且不连续点集一定是无处稠密集（如果不连续点集有内点，那内点处函数不连续且不是 Lebesgue 点，会与卷积收敛的条件矛盾）。

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