关于平方可积复函数向量空间叠加封闭性证明中不等式推导的疑问

嘿，我懂你的困惑——刚看到这个推导的时候我也卡过！其实你想得完全没错，复数模的平方展开确实会有那个交叉项，书里的写法其实是作者为了快速得出结论做的简化省略，咱们一步步理清楚：

首先，先明确核心目标：我们只需要证明$\int_{-\infty}^{\infty} |\varphi(x) + \alpha \psi(x)|^2 dx$是有限的，不需要精确估计它的上界。

你写的展开式是完全正确的：
$$|\varphi(x) + \alpha \psi(x)|^2 \leq |\varphi(x)|^2 + |\alpha|^2| \psi(x)|^2 + 2|\varphi(x)||\alpha|| \psi(x)|$$
这里的交叉项$2|\varphi(x)||\alpha||\psi(x)|$肯定是存在的，但作者为什么没写呢？原因有两个：

• 第一，作者知道这个交叉项的积分是有限的：根据柯西-施瓦茨不等式，$2|\alpha|\int_{-\infty}^{\infty}|\varphi(x)||\psi(x)|dx \leq 2|\alpha| \left(\int_{-\infty}^{{\infty}|\varphi(x)|}2dx\right)^{{1/2}\left(\int_{-\infty}}{\infty}|\psi(x)|^2dx\right){1/2}$，而因为$\varphi$和$\psi$都是平方可积的，右边这部分是有限的。
• 第二，作者只是想快速证明积分有限，所以故意写了一个更粗糙（甚至严格来说不成立）的上界——他的意思是“就算把交叉项扔掉，前两项的积分已经是有限的，加上交叉项之后整体还是有限的”，所以直接跳过了交叉项的估计，直奔结论。

如果要严谨推导的话，正确的步骤应该是这样的：

1. 先展开模的平方（利用复数模的平方等于自身乘共轭）：
   $$|\varphi(x) + \alpha\psi(x)|^2 = |\varphi(x)|^2 + |\alpha|^2|\psi(x)|2 + \alpha\psi(x)\overline{\varphi(x)} + \overline{\alpha}\overline{\psi(x)}\varphi(x)$$
2. 对整个式子积分，后面两项是共轭关系，它们的和是实数，而且绝对值不超过$2|\alpha|\left|\int_{-\infty}^{\infty}\psi(x)\overline{\varphi(x)}dx\right|$
3. 用柯西-施瓦茨不等式估计这个积分的绝对值，得出它是有限的
4. 最后把三个有限的部分加起来，就证明了整个积分是有限的

所以你不用担心是自己漏了什么复分析知识，书里的写法只是简化了推导过程，核心逻辑和你想的是一致的——只要交叉项的积分有限，整个叠加后的函数就还是平方可积的，空间也就满足封闭性。

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