UA MATH523A 实分析3 积分理论例题 讨论原函数的连续性

例 $(X,\mathcal{M},\mu )$是一个测度空间，$f$是一个可测函数，$f>0$ $\mu -a.e.$, 定义
$$F(t)={\int }_{E_t}f(x)d\mu (x),\forall t\ge 0$$

其中 E t = { x : f ( x ) ≥ t } E_t=\{x:f(x) \ge t\} Et​={x:f(x)≥t}。定义 B t = { x : f ( x ) = t } B_t = \{x:f(x)=t\} Bt​={x:f(x)=t}，证明$F(t)$在$t_0$处连续的充要条件为$\mu (B_{t_0})=0$。

证明
$\Rightarrow$: 如果$t_0=0$，因为$f>0$ $\mu -a.e.$，所以$\mu (B_0)=0$必然成立。如果$t_0>0$，假设$F(t)$在$t_0$处连续。$\forall t>t_0$, 显然$E_t\subseteq E_{t_0}$，
E t 0 ∖ E t = { x : t 0 ≤ f ( x ) < t } F ( t 0 ) − F ( t ) = ∫ E t 0 ∖ E t f ( x ) d μ ( x ) ≥ t 0 μ ( E t 0 ∖ E t ) E_{t_0}\setminus E_t = \{x:t_0 \le f(x)<t\} \\ F(t_0)-F(t)=\int_{E_{t_0}\setminus E_t}f(x)d\mu(x) \ge t_0\mu(E_{t_0}\setminus E_t) Et0​​∖Et​={x:t0​≤f(x)<t}F(t0​)−F(t)=∫Et0​​∖Et​​f(x)dμ(x)≥t0​μ(Et0​​∖Et​)

找一个实数列 { t n } \{t_n\} {tn​}使得$t_n\downarrow t_0$，则$E_{t_0}\setminus E_n\downarrow B_{t_0}$, 根据测度的连续性与$F$在$t_0$处的连续性，
$$0=\underset{n\to \infty }{\lim }(F(t_n)-F(t_0))\ge \underset{n\to \infty }{\lim }{t}_{0}m(E_{t_0}\setminus E_n)=t_{0}m(B_{t_0})\ge 0$$

所以$\mu (B_{t_0})=0$。

$\Leftarrow$: 假设$\mu (B_{t_0})=0$，找一个实数列 { t n } \{t_n\} {tn​}使得$t_n\downarrow t_0$
E t 0 ∖ E t n = { x : t 0 ≤ f ( x ) < t n } 0 ≤ F ( t 0 ) − F ( t n ) = ∫ E t 0 ∖ E t n f ( x ) d μ ( x ) < t n μ ( E t 0 ∖ E t n ) E_{t_0}\setminus E_{t_n} = \{x:t_0 \le f(x)<t_n\} \\ 0 \le F(t_0)-F(t_n)=\int_{E_{t_0}\setminus E_{t_n}}f(x)d\mu(x) < t_n\mu(E_{t_0}\setminus E_{t_n}) Et0​​∖Etn​​={x:t0​≤f(x)<tn​}0≤F(t0​)−F(tn​)=∫Et0​​∖Etn​​​f(x)dμ(x)<tn​μ(Et0​​∖Etn​​)

注意到
$$\underset{n\to \infty }{\lim }{t}_n\mu (E_{t_0}\setminus E_{t_n})=\underset{n\to \infty }{\lim }{t}_n\mu (B_{t_n})=0$$

因此
$$0\le F(t_0)-F(t_n)\le t_n\mu (B_{t_n})\to 0,asn\to \infty$$

或者说$F$在$t_0$处右连续。

找一个实数列 { t n } \{t_n\} {tn​}使得$t_n\uparrow t_0$，则$E_{t_n}\setminus E_{t_0}\downarrow \varphi$
E t n ∖ E t 0 = { x : t n ≤ f ( x ) < t 0 } 0 ≤ F ( t n ) − F ( t 0 ) = ∫ E t n ∖ E t 0 f ( x ) d μ ( x ) < t 0 μ ( E t n ∖ E t 0 ) E_{t_n} \setminus E_{t_0} = \{x:t_n\le f(x)<t_0\} \\ 0 \le F(t_n)-F(t_0)=\int_{E_{t_n} \setminus E_{t_0}}f(x)d\mu(x) < t_0\mu(E_{t_n} \setminus E_{t_0}) Etn​​∖Et0​​={x:tn​≤f(x)<t0​}0≤F(tn​)−F(t0​)=∫Etn​​∖Et0​​​f(x)dμ(x)<t0​μ(Etn​​∖Et0​​)

因为
$$\underset{n\to \infty }{\lim }{t}_0\mu (E_{t_n}\setminus E_{t_0})=t_0\mu (\varphi )=0$$

因此
$$0\le F(t_n)-F(t_0)\le t_0\mu (\varphi )=0,asn\to \infty$$

或者说$F$在$t_0$处左连续。综上，$F$在$t_0$处连续。