寻找满足积分不等式的分划：L¹空间非负函数分划问题

嘿，我来帮你理清这个问题的核心～

首先明确咱们的已知条件：

• $a>0$，$n \in \mathbb{N}$，非负函数 $f \in L^1(\Omega)$，且总积分满足 $\int_{\Omega} f(x) dx \le (n+1)a$
• 你目前的思路是先找$n$个不相交的子集$\Omega_j$，每个积分都≤$a$，但不确定剩余的$\Omega_{n+1}$是否也符合要求

这里的关键是：不能随意选取这$n$个子集，如果只是随便找$n$个积分≤$a$的子集，确实可能出现剩余部分积分超过$a$的情况（比如极端例子：你选的$n$个子集积分全为0，剩余部分积分就是总积分，最多可达$(n+1)a >a$）。但用贪心构造法就能完美解决这个问题，保证最后剩余的区域也满足条件：

具体构造步骤 #

1. 第一个子集$\Omega_1$的构造
   因为$f$是非负可积函数，利用$L^1$函数的绝对连续性，我们总能找到一个可测子集$\Omega_1 \subset \Omega$，使得：
   $$
   \int_{\Omega_1}f(x)dx = \min\left(a, \int_{\Omega}f(x)dx\right)
   $$
   简单说就是：能取到积分刚好$a$就取$a$；如果总积分本身就≤$a$，那$\Omega_1$就是整个$\Omega$，剩下的$n$个分划都为空集即可。

2. 迭代构造后续子集
   令$\Omega^{(1)} = \Omega \setminus \Omega_1$，此时$\int_{\Omega^{(1)}}f(x)dx = \int_{\Omega}f(x)dx - \int_{\Omega_1}f(x)dx$。如果第一步取到了$\int_{\Omega_1}f(x)dx =a$（当总积分>$a$时），那么$\int_{\Omega^{(1)}}f(x)dx \le n a$。
   对$\Omega^{(1)}$重复第一步的操作，构造$\Omega_2 \subset \Omega^{(1)}$，使得$\int_{\Omega_2}f(x)dx = \min\left(a, \int_{\Omega^{{(1)}}f(x)dx\right)$，此时剩余区域$\Omega}{(2)} = \Omega^{(1)} \setminus \Omega_2$的积分≤$(n-1)a$。

3. 完成分划验证
   重复上述步骤$n$次后，我们得到了$n$个不相交的子集$\Omega_1, \dots, \Omega_n$，每个的积分都≤$a$。此时剩余区域$\Omega_{n+1} = \Omega \setminus \bigcup_{j=1}^n \Omega_j$的积分满足：
   $$
   \int_{\Omega_{n+1}}f(x)dx = \int_{\Omega}f(x)dx - \sum_{j=1}^n \int_{\Omega_j}f(x)dx
   $$
   用反证法验证：假设$\int_{\Omega_{n+1}}f(x)dx >a$，那么总积分就会是：
   $$
   \int_{\Omega}f(x)dx = \sum_{j=1}^n \int_{\Omega_j}f(x)dx + \int_{\Omega_{n+1}}f(x)dx > \sum_{j=1}^n \int_{\Omega_j}f(x)dx + a
   $$
   但根据构造，每个$\Omega_j$的积分最多是$a$，所以$\sum_{j=1}^n \int_{\Omega_j}f(x)dx \le n a$，代入上式得：
   $$
   \int_{\Omega}f(x)dx > n a + a = (n+1)a
   $$
   这和已知的$\int_{\Omega}f(x)dx \le (n+1)a$矛盾！因此$\int_{\Omega_{n+1}}f(x)dx \le a$必然成立。

总结 #

只要按照每次从剩余区域中选取积分尽可能接近$a$的子集的贪心策略来构造前$n$个$\Omega_j$，就能保证最后剩余的$\Omega_{n+1}$积分≤$a$，从而得到满足要求的$n+1$个区域分划。

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