深入探究 Lp 函数空间：性质、不等式与完备性
1. Lp 函数空间概述
Lp 函数空间在现代分析的众多领域，如傅里叶分析、算子理论和微分方程等，都扮演着关键角色。L1、L2 和 L∞ 以及 1 < p < ∞ 范围内的 Lp 空间，在不同的场景下展现出不同的特性，这也正是它们的重要性所在。
早在研究傅里叶级数时，区间上平方可积函数构成的 L2 空间就被认为具有重要意义，实际上，这些空间能够刻画希尔伯特空间。许多在实际应用中出现的线性算子在 1 < p < ∞ 的 Lp 尺度上是有界的，但在 L1 或 L∞ 端点则不然。整个 Lp 空间尺度为泛函分析学者提供了一类基本的巴拿赫空间示例，有助于他们深入理解赋范线性空间和巴拿赫空间的几何性质。
Lp 空间的完整尺度最早于 1910 年由 F. Riesz 进行研究，但其基本思想可追溯到 Minkowski，他考虑了 $\mathbb{R}^n$ 上的度量：
$$\rho_p(x, y) = \left(\sum_{i = 1}^{n}|x_i - y_i|^p\right)^{1/p}$$
2. 基本不等式
设 $(X, \mathcal{M}, \mu)$ 为测度空间，$f$ 是定义在 $X$ 上的实值或复值（可能取无穷值）可测函数。对于任意 $0 < p < \infty$，函数 $|f|^p$ 也是可测的，我们可以定义 $f$ 的 “p - 范数” 为：
$$\left\lVert f\right\rVert_p = \left(\int_X |f|^p d\mu\right)^{1/p}$$
这个表达式可能为无穷大。它
