如何证明：若φ(fₙ)在L¹中柯西，则存在子列fₙᵢ几乎处处收敛？

没问题，我来一步步给你梳理这个证明的完整逻辑：

首先先明确几个关键前提的性质：

• 因为 φ: ℝ→ℝ 是严格递增的连续函数，它必然是单射，而且由于定义域和值域都是整个实数集，结合严格递增的连续性，当 x→-∞ 时 φ(x)→-∞，x→+∞ 时 φ(x)→+∞，也就是说 φ 是满射。因此它的反函数 φ⁻¹: ℝ→ℝ 存在，并且同样是严格递增的连续函数（严格单调连续函数的反函数一定连续，这是实分析里的基本结论）。
• 已知 {φ(fₙ)} 是 L¹ 中的柯西序列，{fₙ} 是可测函数序列。

接下来分两步完成证明：

1. 提取 φ(fₙ) 的几乎处处收敛子列 #

根据 L¹ 空间的核心性质：L¹ 中的柯西序列一定存在几乎处处收敛的子列。所以我们可以找到一个子列 {φ(fₙᵢ)}，使得存在某个 L¹ 可测函数 g，满足：

φ(fₙᵢ(x)) → g(x) 几乎处处成立（a.e.）

2. 利用反函数的连续性推导 fₙᵢ 的收敛性 #

既然 φ⁻¹ 是连续函数，而连续函数的一个重要性质就是保持极限运算——也就是说，如果数列 {aₖ} 收敛到 a，那么 φ⁻¹(aₖ) 就收敛到 φ⁻¹(a)。

对于几乎所有的 x，φ(fₙᵢ(x)) 收敛到 g(x)，而 fₙᵢ(x) 本身就是 φ⁻¹(φ(fₙᵢ(x)))，因此直接代入极限可得：

fₙᵢ(x) = φ⁻¹(φ(fₙᵢ(x))) → φ⁻¹(g(x)) 几乎处处成立

这里补充一句：因为 φ 的值域是整个 ℝ，所以 g(x) 的几乎所有取值都在 φ⁻¹ 的定义域内，φ⁻¹(g(x)) 是有意义的可测函数（连续函数作用在可测函数上仍然可测）。

这样就证明了存在子列 {fₙᵢ} 几乎处处收敛到 φ⁻¹(g)。

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