柯西-施瓦茨不等式

柯西-施瓦茨不等式 (Cauchy-Schwarz Inequality)

柯西-施瓦茨不等式（Cauchy-Schwarz Inequality），也称柯西-布尼亚科夫斯基-施瓦茨不等式，是数学分析、线性代数和概率论等多个数学分支中极其重要且广泛应用的不等式，在内积空间中建立了两个向量的内积与它们各自范数（长度）之间的关系。核心思想为，两个向量内积的绝对值平方不超过这两个向量各自范数平方的乘积，在理论证明和实际问题中均扮演基础性角色。

基本形式与变体

最普遍的陈述在抽象内积空间中：对内积空间V中任意两个向量u和v，$|\langle u, v \rangle|^2 \le \langle u, u \rangle \cdot \langle v, v \rangle$，其中 $\langle \cdot, \cdot \rangle$ 为内积。常用的具体形式包括：欧氏空间 $\mathbb{R}^n$ 中，$(\sum_{i=1}^n x_i y_i)^2 \le (\sum x_i^2)(\sum y_i^2)$，取等号当且仅当 $x_i$ 与 $y_i$ 成比例即共线。函数空间 $L^2$ 中，$(\int f(x)g(x)dx)^2 \le (\int f(x)^2 dx)(\int g(x)^2 dx)$。概率论形式为 $(\operatorname{Cov}(X,Y))^2 \le \operatorname{Var}(X) \cdot \operatorname{Var}(Y)$ 或 $(\mathbb{E}[(X-\mu_X)(Y-\mu_Y)])^2 \le \mathbb{E}[(X-\mu_X)^2] \cdot \mathbb{E}[(Y-\mu_Y)^2]$，直接导出相关系数 $\rho_{XY}$ 的绝对值不超过1，相关性的标准化度量。

经济学与计量经济学中的应用

在计量经济学中，柯西-施瓦茨不等式用于证明OLS估计量方差的Cramer-Rao下界，确保有效性的理论基础。推导信息矩阵性质时，该不等式建立了矩母函数与方差之间的关系，保证了Fisher信息量的正定性。在资产定价理论中，随机贴现因子与资产收益的协方差约束通过柯西-施瓦茨不等式导出Hansen-Jagannathan界限，给出了随机贴现因子波动性的下限，为检验资产定价模型提供了可证伪的理论约束。

在微观经济学中，该不等式用于证明产出函数中边际替代率递减的性质，以及在消费者理论中间接效用函数和支出函数的凹性和凸性。在最优控制和动态规划中用于证明值函数的性质。柯西-施瓦茨不等式因其简洁性和跨领域的普适性，在数学、经济学和统计学中构成了不可替代的理论基础工具。