关于测度及概率测度不可数超可加性的验证请求

嗨，这个问题抓得很准，刚好触及了测度论里容易被忽略的不可数集族性质细节。咱们直接给出结论再一步步推导：所有测度（包括概率测度）都满足你定义的这种不可数超可加性，下面是具体的证明思路：

首先明确你提到的关键定义：

• 对于不可数指标集$I$，两两不交的可测集族${E_i}{i∈I}$，你定义右侧的“和”为所有可数子集$J⊆I$对应的$\sum{i∈J}\mu(E_i)$的上确界，也就是：
  $$\sup\left{ \sum_{i \in J} \mu(E_i) \mid J \subseteq I, J \text{ 可数} \right}$$
• 超可加性要求：$\mu\left( \bigcup_{i∈I}E_i \right) \geq$ 上述上确界

证明所有测度满足不可数超可加性 #

1. 利用测度的单调性：任取$I$的一个可数子集$J$，显然$\bigcup_{i∈J}E_i \subseteq \bigcup_{i∈I}E_i$，而测度天生具有单调性——如果$A⊆B$且$A、B$都可测，那么$\mu(A) \leq \mu(B)$。
2. 结合可数可加性：对于可数子集$J$，测度的可数可加性保证了$\mu\left( \bigcup_{i∈J}E_i \right) = \sum_{i∈J}\mu(E_i)$。
3. 推导上确界的不等式：把前两步结合起来，就能得到对任意可数子集$J$，都有$\sum_{i∈J}\mu(E_i) \leq \mu\left( \bigcup_{i∈I}E_i \right)$。而根据上确界的定义，所有可数和的上确界必然小于等于这个共同的上界$\mu\left( \bigcup_{i∈I}E_i \right)$，这就直接验证了你定义的超可加性。

概率测度的情况 #

概率测度只是测度的特例——它满足$\mu(X)=1$的额外条件，但上面的证明完全不依赖测度的具体取值范围，只用到了测度的两个核心性质：单调性和可数可加性。所以概率测度自然也满足这种不可数超可加性。

补充几个直观例子 #

• 非原子测度的情况：就像你举的例子，$X$是不可数集，$\mu$是非原子测度（每个单点集测度为0）。取$I=X$，$E_x={x}$，那么右侧的上确界是0（任何可数子集的和都是0），左侧$\mu(X)$如果是正数（比如勒贝格测度下的$[0,1]$区间），就满足$\mu(X) \geq 0$，严格大于的情况也成立。
• 计数测度的情况：如果$X$是不可数集，$\mu$是计数测度（每个单点集测度为1），那么右侧的上确界是无穷大（可以取可数无穷多个单点集，和为无穷大），左侧$\mu(X)$也是无穷大，此时等号成立。

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