一、原题

题目来源信息仅依据所附截图记录，未提供教材名称，故不补写无法核实的书目信息。截图中的“正值”按后一句语境理解为“非负值”；若特指严格正值，则结论还会给出 f=1f=1 a.e.

二、思路溯源：为什么想到拆值域

题目有三个强信号：

  1. 所有正整数次幂的积分相同：当 n→∞n\to\infty 时，0≤f<10\leq f<1 被压向 00，f=1f=1 保持不变，f>1f>1 被指数放大；
  2. 目标是示性函数：本质上要把函数值限制到 {0,1}\{0,1\}；
  3. 结论是“几乎处处”：不必逐点排除坏值，只需证明坏值集合为零测集。

因此自然拆成

{f<1},{f=1},{f>1}.\{f<1\},\qquad \{f=1\},\qquad \{f>1\}.

但在整个 {f>1}\{f>1\} 上没有统一的超出幅度，所以还要细分为

{f>1}=⋃k=1∞{f≥1+1k}.\{f>1\} =\bigcup_{k=1}^{\infty} \left\{f\geq1+\frac1k\right\}.

三、逐步推导：非负情形

1. 用高次幂排除 f>1f>1

对每个 k∈N+k\in\mathbb N^+，定义超水平集

Ek:={x∈(0,1):f(x)≥1+1k}.E_k:=\left\{x\in(0,1):f(x)\geq1+\frac1k\right\}.

由 ff 可测，EkE_k 可测。对每个 n≥1n\geq1，利用 EkE_k 上的统一下界，

c=∫[0,1]f(x)n dx≥∫Ekf(x)n dx≥(1+1k)nm(Ek).\begin{aligned} c =\int_{[0,1]}f(x)^n\,dx &\geq\int_{E_k}f(x)^n\,dx\\ &\geq\left(1+\frac1k\right)^n m(E_k). \end{aligned}

所以

m(Ek)≤c(1+1/k)n.m(E_k)\leq\frac{c}{(1+1/k)^n}.

固定 kk 并令 n→∞n\to\infty。由于 1+1/k>11+1/k>1，右端趋于 00，故 m(Ek)=0m(E_k)=0。再由

{f>1}=⋃k=1∞Ek\{f>1\}=\bigcup_{k=1}^{\infty}E_k

以及零测集的可数并仍为零测集，得到

0≤f≤1a.e.0\leq f\leq1\qquad\text{a.e.}

2. 用一、二阶矩排除 0<f<10<f<1

现在 0≤f≤10\leq f\leq1 a.e.，所以

f−f2=f(1−f)≥0a.e.f-f^2=f(1-f)\geq0\qquad\text{a.e.}

题设在 n=1,2n=1,2 时给出

∫[0,1](f−f2) dx=∫[0,1]f dx−∫[0,1]f2 dx=c−c=0.\int_{[0,1]}(f-f^2)\,dx =\int_{[0,1]}f\,dx- \int_{[0,1]}f^2\,dx =c-c=0.

非负可测函数积分为 00，必几乎处处为 00，故

f(1−f)=0a.e.f(1-f)=0\qquad\text{a.e.}

而 t∈[0,1]t\in[0,1] 满足 t(1−t)=0t(1-t)=0 当且仅当 t∈{0,1}t\in\{0,1\}，因此

f(x)∈{0,1}a.e.f(x)\in\{0,1\}\qquad\text{a.e.}

3. 构造目标集合

令

E:={x∈(0,1):f(x)=1}.E:=\{x\in(0,1):f(x)=1\}.

由 ff 可测，EE 可测；由上一结论，

f=χEa.e.f=\chi_E\qquad\text{a.e.}

且

c=∫[0,1]f(x) dx=m(E),c=\int_{[0,1]}f(x)\,dx=m(E),

所以 0≤c≤10\leq c\leq1。

四、截图中的取极限路线

得到 0≤f≤10\leq f\leq1 a.e. 后，逐点有

f(x)n⟶χ{f=1}(x),f(x)^n\longrightarrow\chi_{\{f=1\}}(x),

且 0≤fn≤10\leq f^n\leq1。由控制收敛定理，

c=lim⁡n→∞∫[0,1]fn dx=∫[0,1]χ{f=1} dx=m({f=1}).c =\lim_{n\to\infty}\int_{[0,1]}f^n\,dx =\int_{[0,1]}\chi_{\{f=1\}}\,dx =m(\{f=1\}).

再取 n=1n=1 并按 {f=1}\{f=1\}、{f<1}\{f<1\} 拆积分：

c=m({f=1})+∫{f<1}f dx.c =m(\{f=1\})+ \int_{\{f<1\}}f\,dx.

比较两式得 ∫{f<1}f dx=0\int_{\{f<1\}}f\,dx=0。因为 f≥0f\geq0，故 f=0f=0 a.e. 于 {f<1}\{f<1\}。

  • 若题目强调高次幂极限，这条控制收敛路线最自然；
  • 若追求短证，在得到 0≤f≤10\leq f\leq1 后直接比较一、二阶矩更快；
  • 两者本质相同：先排除 f>1f>1，再消灭 0<f<10<f<1。

五、有符号情形

结论仍然成立。

令

g:=f2≥0.g:=f^2\geq0.

对任意 m≥1m\geq1，偶数阶矩条件给出

∫[0,1]g(x)m dx=∫[0,1]f(x)2m dx=c.\int_{[0,1]}g(x)^m\,dx =\int_{[0,1]}f(x)^{2m}\,dx =c.

对 gg 应用非负情形，存在可测集 EE，使

f2=g=χEa.e.f^2=g=\chi_E\qquad\text{a.e.}

所以 f∈{−1,0,1}f\in\{-1,0,1\} a.e.。再由一、二阶矩相等，

∫[0,1](f2−f) dx=0.\int_{[0,1]}(f^2-f)\,dx=0.

在 {−1,0,1}\{-1,0,1\} 上，

f2−f={2,f=−1,0,f=0 或 f=1.f^2-f= \begin{cases} 2,&f=-1,\\ 0,&f=0\text{ 或 }f=1. \end{cases}

因此 f2−f≥0f^2-f\geq0 a.e.，零积分迫使 m({f=−1})=0m(\{f=-1\})=0。最终仍有

f=χEa.e.f=\chi_E\qquad\text{a.e.}

六、方法提炼

题型识别特征

  • 已知一串矩条件 ∫Φn(f) dμ\int\Phi_n(f)\,d\mu；
  • 指数 nn 可以任意大；
  • 目标要求函数几乎处处只取若干个离散值；
  • 点态分析困难，但坏值集合可以按统一阈值分层。

标准解题流程

  1. 找出 Φn(t)\Phi_n(t) 从衰减转为爆炸的临界值；
  2. 把坏集合写成带统一间隔的超水平集之可数并；
  3. 在每层抽出与 xx 无关的下界；
  4. 令 n→∞n\to\infty，用积分总量有界迫使该层零测；
  5. 用相邻矩之差、极限定理或非负零积分排除临界值以下的中间值；
  6. 取相应水平集作为 EE，并检查可测性；
  7. 有符号时先研究 ∣f∣|f| 或 f2f^2，再用奇次信息恢复符号。

可复用母结论

若 f≥0f\geq0 可测，且

sup⁡n≥1∫fn dμ<∞,\sup_{n\geq1}\int f^n\,d\mu<\infty,

则 f≤1f\leq1 a.e.。若再有

∫f dμ=∫f2 dμ,\int f\,d\mu=\int f^2\,d\mu,

则 f∈{0,1}f\in\{0,1\} a.e.

原题的条件由此分成两个功能：高次矩一致有界负责把值域压到 [0,1][0,1]，一阶矩等于二阶矩负责把 [0,1][0,1] 压到 {0,1}\{0,1\}。

常见变体

  • 把临界值 11 换成 a>0a>0，对 f/af/a 使用同样方法；
  • 只给高次矩一致有界，要求证明 f≤1f\leq1 a.e.；
  • 已知 0≤f≤10\leq f\leq1 与两个不同阶矩相等，判定 ff 为示性函数；
  • 允许 ff 取负值，先由偶次幂确定绝对值，再由奇次幂确定符号；
  • 将 Lebesgue 测度换成一般测度空间中的测度 μ\mu。

七、变式训练

八、题目评级

  • 当前评级：A★
  • **判定依据：**本次未提供独立解题过程，按尚未独立完成处理；本题把高次矩控制、超水平集分层、非负零积分和示性函数判定串成一条高迁移证明链，是典型母题。
  • **Obsidian 依据：**已查阅《实分析/简单函数逼近定理》“第五步：证明值域嵌套”与“标准构造模板”，以及《实分析/函数的通常分解》；现有材料覆盖值域分层和非负化思想，但笔记存在不等于已经掌握。
  • **复习动作：**24 小时内闭卷复述“为何把 {f>1}\{f>1\} 拆成 {f≥1+1/k}\{f\geq1+1/k\}”以及“为何比较一、二阶矩能排除 (0,1)(0,1)”；7 天后再做有符号变式。
  • **降档标准：**下次能独立完成超水平集估计但书写仍不稳时降为 B★；能快速、完整地处理非负与有符号两种情形时降为 C★。