非负可测函数的下半连续递减序列几乎处处逼近问题

嘿，这个问题问得特别好！答案是完全可以的，我来给你拆解一下具体的构造思路，顺便和你提到的Baire定理做个对比：

你提到Baire定理说上半连续函数是递减连续函数列的极限，但这里f只是非负可测，不一定具备上半连续性，所以那个定理直接用不上。不过我们可以借助测度论里可测集的正则性来构造出满足要求的序列。

构造过程详解 #

1. 非负可测函数的标准拆分
   任何非负可测函数$f:\mathbb{R}^n \to [0,\infty]$都可以拆成可数个非负系数的可测集特征函数之和：
   $$f(x) = \sum_{i=1}^\infty a_i \chi_{A_i}(x)$$
   这里$a_i > 0$，每个$A_i$都是$\mathbb{R}^n$中的可测集，这是测度论里的常规操作，相当于把f“分解”成了简单函数的无限叠加。

2. 用递减开集逼近可测集
   对每个可测集$A_i$，根据可测集的正则性，我们总能找到一个递减的开集序列${U_{i,n}}_{n=1}^\infty$，满足两个条件：

   • 每个$U_{i,n}$都包含$A_i$（也就是$U_{i,n} \supset A_i$）；
   • 当n趋向无穷时，这个开集序列的交集和$A_i$只差一个零测集，即$m\left(\bigcap_{n=1}^\infty U_{i,n} \setminus A_i\right) = 0$。

3. 构造目标下半连续序列
   现在定义我们需要的函数序列${\varphi_n}$：
   $$\varphi_n(x) = \sum_{i=1}^\infty a_i \chi_{U_{i,n}}(x)$$
   咱们来逐一验证它满足所有要求：

   • 下半连续性：开集的特征函数$\chi_{U_{i,n}}$是下半连续的（因为对任意实数t，${x \mid \chi_{U_{i,n}}(x) > t}$要么是空集要么是开集，完全符合下半连续的定义）。而$\varphi_n$是这些下半连续函数的非负无限和，本质上是递增的部分和序列的极限，递增的下半连续函数列的极限仍然是下半连续的，所以$\varphi_n$是下半连续函数。
   • $\varphi_n \geq f$：因为$U_{i,n} \supset A_i$，所以$\chi_{U_{i,n}} \geq \chi_{A_i}$，逐项相加后自然有$\varphi_n(x) \geq f(x)$对所有x成立。
   • 递减序列：由于${U_{i,n}}$是递减的开集序列（$U_{i,1} \supset U_{i,2} \supset \dots$），对应的特征函数$\chi_{U_{i,n}}$也是递减的，因此$\varphi_n$必然是递减序列，即$\varphi_1 \geq \varphi_2 \geq \dots$。
   • 几乎处处收敛到f：当n→∞时，$\chi_{U_{i,n}}(x)$会递减到$\chi_{\bigcap_{n=1}^\infty U_{i,n}}(x)$，而我们已经知道$\bigcap_{n=1}^\infty U_{i,n}$和$A_i$只差一个零测集，所以$\chi_{\bigcap_{n=1}^\infty U_{i,n}}(x) = \chi_{A_i}(x)$几乎处处成立。逐项求和后，就能得到$\varphi_n(x) \downarrow f(x)$几乎处处成立。

补充说明 #

你提到如果要求处处收敛确实不现实，比如取f为某个零测稠密集的特征函数，这时候任何下半连续且≥f的函数在稠密集上都得取1，所以处处收敛的结果会是1而不是f。但放宽到几乎处处收敛后，零测集的差异可以忽略，咱们的构造就完全可行了。

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