定理Theorem

Cauchy–Schwarz 不等式

Cauchy–Schwarz inequality · 柯西–施瓦茨不等式

内积的绝对值不超过两向量范数之积，且等号精确刻画线性相关。

形式陈述

设 $V$ 是实或复内积空间，本页在复数情形约定内积对第一变量共轭线性、对第二变量线性，并令 $\|x\|=\sqrt{\langle x,x\rangle}$ 。对任意 $x,y\in V$ ，

|\langle x,y\rangle|\le \|x\|\,\|y\|.

等号成立当且仅当 $x,y$ 线性相关；这包含其中一个向量为零的情形。若 $y\ne0$ ，取 $\lambda=\langle y,x\rangle/\|y\|^2$ ，由非负性得到

0\le \|x-\lambda y\|^2 =\|x\|^2-\frac{|\langle x,y\rangle|^2}{\|y\|^2}.

移项即得不等式。等号意味着 $\|x-\lambda y\|=0$ ，正定性于是给出 $x=\lambda y$ ；反向代入则立即成立。这个证明同时处理实数、复数与零向量，不需要另写坐标论证。

直觉

内积测量两个方向的对齐程度，而范数之积是这种对齐量的最大预算。把 $x$ 分成沿 $y$ 的分量 $\lambda y$ 与剩余分量 $x-\lambda y$ 后，后者的平方长度不能为负，因此沿 $y$ 的那一部分不可能比 $x$ 本身更长。复内积中的绝对值抹去相位：同一条复直线上的向量即使相差复数相位，仍应视为完全对齐。

例子与边界

在 $\mathbb C^n$ 的标准内积 $\langle a,b\rangle=\sum_i\overline{a_i}b_i$ 下，定理成为

\left|\sum_i\overline{a_i}b_i\right|^2 \le\left(\sum_i|a_i|^2\right)\left(\sum_i|b_i|^2\right).

取 $b=ia$ 时等号成立；若只检查“正实数倍”，就会漏掉这个复相位情形。另一方面，半正定 Hermitian 形式也满足同样的不等式，但它只给半范数。例如在 $\mathbb R^2$ 上令 $B((x_1,x_2),(y_1,y_2))=x_1y_1$ ，向量 $(0,1)$ 非零却有 $B(v,v)=0$ ，并且它与任意 $w$ 都取等号 $|B(v,w)|=0=\|v\|_B\|w\|_B$ ；因此“等号当且仅当线性相关”已经失效。必须先商去零空间，才恢复内积空间版本的等号刻画。

推论与应用

对 $x+y$ 展开平方并控制交叉项，可得诱导范数的三角不等式 $\|x+y\|\le\|x\|+\|y\|$ ；一般积分范数中的相应结论由Minkowski 不等式给出。固定 $y$ 后，线性泛函 $x\mapsto\langle y,x\rangle$ 的算子范数恰为 $\|y\|$ ，这是 Hilbert 空间对偶表示的起点。在概率论中，对中心化随机变量使用 $L^2$ 内积可得 $|\operatorname{Cov}(X,Y)|\le\sqrt{\operatorname{Var}X\operatorname{Var}Y}$ ，在两方差有限且均为正时，相关系数因此位于 $[-1,1]$ ；作为积分或序列不等式，它也正是Hölder 不等式在 $p=q=2$ 时的专门情形。

参考资料

MIT OpenCourseWare, 18.102 Introduction to Functional Analysis: Lecture Notes, Lecture 3 on the Cauchy–Schwarz inequality and induced norm, accessed 2026.
Sheldon Axler, Linear Algebra Done Right, 4th ed., Springer, 2024, Ch. 6, inner products and the Cauchy–Schwarz inequality.

关系图谱57 个相邻概念 · 2 类关系

正在载入交互图谱…

前置三跳
前置二跳
前置一跳
当前条目
后续一跳
后续二跳
后续三跳

文字版关系按与当前条目的最短距离分组

类型化关系

被这些条目使用

Set Disjointness 的信息复杂度

“直接对 $ p q = \sqrt p \sqrt q (\sqrt p+\sqrt q)$ 使用Cauchy–Schwarz 不等式，得到”

Schilder 定理

“良速率来自能量的紧性。若 $I(h)\le c$，在实 $L^2$ 内积中使用Cauchy–Schwarz 不等式，得到 $ h(t) h(s) \le\sqrt{2c}, t s ^{1/…”

Rademacher 泛化界

“对固定输入样本，Cauchy–Schwarz 不等式给”

q 元有限长度 Johnson 界

“在坐标 $i$，把这 $e i$ 个非基准符号按其 $q 1$ 种取值分组。若各组大小为 $m {i,a}$，则Cauchy–Schwarz 不等式给出”

Perceptron 错误界

“迭代得 $ v M 2\le R\sqrt M$。最后由 Cauchy–Schwarz 不等式，”

Hölder 不等式

“当 $p=q=2$ 时，对 $L^2$ 中的 $ f , g $ 使用 Cauchy–Schwarz 不等式，就得到此处的乘积绝对值积分界；再用积分三角不等式，也得到通常的 $ \int\o…”

Hilbert 空间 Riesz 表示定理

“Cauchy–Schwarz 不等式给出 $ \varphi \le y $；若 $y\ne0$，在单位向量 $y/ y $ 上取到等号，便得范数相等。”

Girsanov 定理

“这一发散可用一个 Gaussian 坐标验证。令 $e(s)=\sqrt{2/T}\sin(\pi s/(2T))$，则 $\int 0^T e(s)^2ds=1$，且 $Y=\int 0^…”

Dudley 熵积分

“截断证明保留最后一层余项，并用Cauchy–Schwarz 不等式逐个符号向量控制： $$ X f X g \le\left(\frac1m\sum i\sigma i^2\right)^{…”

Cramér–Rao 下界

“由Cauchy–Schwarz 不等式，”

Brenier 定理

“它是斜率为正的仿射映射，故是凸二次函数的梯度，并把均值、方差推到目标。代入成本得到 $W 2^2=(m 1 m 0)^2+(s 1 s 0)^2$；也可对任意耦合的中心化变量使用Cauchy…”

Adversary 界与量子状态转换

“取一维向量 $u {0,1}=u {1,1}=v {0,1}=v {1,1}=1$，约束在非对角项给 $1$，对角项被 $\Delta 1=0$ 消掉，目标值至多 $1$；反向对单个非零项应…”

再生性质

“点值泛函 $E x$ 的算子范数恰为 $\sqrt{k(x,x)}$。上界来自Cauchy–Schwarz 不等式： $$ f(x) \le f {\mathcal H k}\sqrt{k(…”

下降引理

“不等式这一步先用Cauchy–Schwarz 不等式把内积控制为梯度差范数乘 $ d 2$，再用两点距离 $ td 2=t d 2$。因子 $1/2$ 来自 $\int 0^1t,dt$，并…”

剩余哈希引理

“证明从碰撞概率出发。记 $M=2^\ell$，对固定 $h$ 令 $p h(y)=\Pr[h(X)=y]$。Cauchy–Schwarz 不等式给出”

谱扩张与 Cheeger 不等式

“令 $S t={u:f(u)^2 t}$。逐条边与逐个顶点积分可得离散 coarea 恒等式 $$ \int 0^\infty w(S t,\bar S t),dt =\sum {{u,v}…”

量子态保真度与最优纯化重叠

“定理同时解释了取值边界：纯化都是单位向量，Cauchy–Schwarz 不等式给出重叠至多一；若达到一，两纯化仅差整体相位，偏迹后两态必相同，反之可选相同纯化。$f=0$ 等价于 $\sqr…”

量子不可广播定理

“与Cauchy–Schwarz 界 $ \langle e 0 e +\rangle \le1$ 矛盾。这完整说明了一个非对易子例，混态的一般必要性则引用上面说明的双侧等号结构定理；本页没有…”

分解范数通信下界

“第一步可由上述 SVD 取 $Q=\sum jp jq j^{\mathsf T}$，此时 $ Q 2\le1$，并对矩阵条目的 Frobenius 内积应用Cauchy–Schwarz 不…”

分层抽样与 Neyman 分配

“乘子方程先给出候选点，全局最优性还可由Cauchy–Schwarz 不等式直接认证：”

Perceptron 算法

“在错误界模型中，假设存在单位向量 $u$ 使所有样本满足 $y t\langle u,x t\rangle\ge\gamma 0$，且 $ x t \le R$。若算法已更新 $M$ 次，则…”

Hadamard 测试

“第一项可直接核验：将实际态与理想态之差写为 $\rho \sigma=\sum j\lambda j v j\rangle\langle v j $，由Cauchy–Schwarz 不等式和…”

BFGS 更新

“前两项由 $B k$ 内积下的Cauchy–Schwarz 不等式非负；若恰为零，则 $z$ 与 $s k$ 共线，而最后一项因 $s k^Ty k 0$ 严格为正。因此 $B {k+1}$…”

加性 Schwarz 子域预条件器

“则 $\lambda {\min}(BA)\ge1/K 0$。证明使用 $u i=Q iu i$，再在各子域空间的直和上应用 Cauchy–Schwarz 不等式：”

Hotelling T² 检验

“对任意 $d$，Cauchy–Schwarz 不等式及取等方向给出”

通信复杂度的 discrepancy 方法

“对矩形 $A\times B$，带符号总和是 $1 A^{\mathsf T}H1 B$。由Cauchy–Schwarz 不等式和 $H$ 的谱范数 $\sqrt N$，”

量子查询的正权 Adversary 方法

“证明的进度量可写得更明确。由谱定理及逐项非负性，可选非负单位向量 $v$，使 $\Gamma v= \Gamma v$：取达到最大绝对 Rayleigh 商的向量并逐项取绝对值，商不会减小。…”

近端点方法

“有限维时，近端点方法把凸优化问题写成近端算子的固定点迭代；其形式陈述还允许一般 Hilbert 空间。对精确迭代，近端算子的牢固非扩张性给出 $$ x {k+1} x^ ^2 \le x k…”

线性赌博机

“在真参数始终落入 $\mathcal C t$ 的事件上，记 $a t= x t {V t^{ 1}}$，单轮遗憾满足 $r t\le2\beta t a t$。同时，由参数与所有动作的范数…”

Sobolev 空间

“由 $u(0)=u(x) \int 0^x u'(t),dt$，对 $x$ 积分并用Cauchy–Schwarz 不等式可得”

Schwartz 分布

“右端确为连续线性泛函：上述恒等式和Cauchy–Schwarz 不等式给出 $ v(a) \le\sqrt{a(1 a)}, v' 2$，以 $v=G a$ 取等号，故点源的能量对偶范数恰为…”

Rademacher 复杂度

“当向量和非零时，最优 $w$ 沿着它的方向；因此第一个看似困难的函数优化，变成了一个随机向量长度的平均。再用 Cauchy–Schwarz 不等式与符号的独立性，”

Hilbert 空间伴随算子

“表示的唯一性给出 $T^:K\to H$ 的线性；两侧关于 $y$ 同为共轭线性，所以标量最终作用于表示向量本身。由Cauchy–Schwarz 不等式， $$ T^y =\sup { x…”

gamma-two 分解范数

“加权刻画还给出常用的秩界。记 $B=M\circ ab^{\mathsf T}$，则 $\operatorname{rank}(B)\le\operatorname{rank}(M)$；对其…”

Fat-shattering 维

“若 $m$ 个点在尺度 $\gamma$ 被打散，每个符号向量 $s$ 的见证都满足 $\sum i s i(f s(x i) r i)\ge m\gamma$。对符号平均，固定阈值项的期望…”

最大均值差异

“MMD 寻找 RKHS 单位球中最能拉开两分布期望的见证函数。令 $h=\mu P \mu Q$。Cauchy–Schwarz 不等式给出 $ \langle f,h\rangle \le…”

再生核 Hilbert 空间

“反方向是 Moore–Aronszajn 定理：每个正半定核 $k$ 都决定一个 RKHS $\mathcal H k$。先在有限线性组合 $$ f=\sum {i=1}^{m}\alpha…”

协方差

“若实随机变量 $X,Y$ 具有有限二阶矩，协方差定义为 $$ \operatorname{Cov}(X,Y) =\mathbb E[(X \mathbb EX)(Y \mathbb EY)]…”

线性分类器与几何间隔

“感知机的经典平方界使用欧氏几何：若 $ x i 2\le R$ 且存在欧氏单位向量以 margin $\gamma 0$ 齐次分开数据，按非正间隔规则更新 $M$ 次后的权重满足 $\lan…”

梯度

“设 $V$ 为有限维实内积空间，$U\subseteq V$ 为开集，$f:U\to\mathbb R$ 在点 $a$ 可微。增量 $h$ 表示输入的一个小位移，微分 $Df(a)[h]$…”

弱拓扑与弱收敛

“第一个事实由一致有界原理得到：令 $T n(y)=\langle x n,y\rangle$。弱收敛使每个固定 $y$ 的读数有界，而 $ T n = x n $，所以范数统一有界。第三个事…”

内积空间

“对 $u\ne0$，将 $v$ 分解为投影 $Pv$ 与正交余量。非负的余量平方给出 $$ 0\le v Pv ^2 = v ^2 \frac{ \langle u,v\rangle ^2}…”

密度算子

“下界由Cauchy–Schwarz 不等式 $1=(\sum j\lambda j)^2\le d\sum j\lambda j^2$ 得到，上界由 $0\le\lambda j\le1$…”

可逆链与细致平衡

“从时间方向看，观察一条已经处于稳态的可逆链，录像倒放后仍遵循同一转移规律。这个对称性让转移算子在加权内积 $$ \langle f,g\rangle \pi=\sum x\pi(x)\ove…”

纠缠见证

“对任意归一化乘积向量 $ a\rangle b\rangle$，Cauchy–Schwarz 不等式给”

加性能量

“下界是在非零支撑 $A+B$ 上使用Cauchy–Schwarz 不等式：”

极值图问题

“再由Cauchy–Schwarz 不等式，$(2e(G))^2\le5\sum vd(v)^2\le25e(G)$，故 $e(G)\le6$。这个可核算的小例子同时给出构造、上界和紧性；若要…”

高斯过程

“有限坐标线性组合的均方极限仍保留高斯性。具体地，若 $Z n$ 是有限个 $X t$ 的线性组合，且 $E Z n Z ^2\to0$，则Cauchy–Schwarz 不等式使均值和二阶矩收…”

分布恒等与接近性测试

“上界可用按参考质量适当分组、截断或重加权的 Pearson／$\chi^2$ 型统计量；不能把任意参考分布直接交给一个未经方差分析的平方和。若 $q i=0$ 却抽到元素 $i$，可直接拒绝…”

分布测试模型

“这里的 $\chi^2$ 是两个分布之间的散度，不是一个声称服从卡方分布的随机统计量。Cauchy–Schwarz 不等式给出”

方差

“设实随机变量 $X$ 具有有限二阶矩 $\mathbb E[X^2]<\infty$。由Cauchy–Schwarz 不等式，$\mathbb E X <\infty$，所以期望 $m=\m…”

单调算子与极大单调性

“令 $x=y$，便有 $p=q$，所以 $J {\lambda A}$ 在其定义域上单值。再用Cauchy–Schwarz 不等式可得 $ p q \le x y $，即输入扰动不会被放大。…”

次梯度与次微分

“不完备空间还会带来另一种空次微分。令 $X=c {00}$ 为有限支撑实序列，赋予 $\ell^2$ 内积，取连续线性函数 $f(x)=\sum {n\ge1}x n/n$。由Cauchy–…”

二阶矩方法

“因为 $X=X1 {{X 0}}$，由Cauchy–Schwarz 不等式，”

变分形式与弱问题

“齐次 Dirichlet Poisson 问题中，Cauchy–Schwarz 不等式给出连续性，Poincaré 不等式使 $ \nabla v {L^2}$ 控制 $H^1$ 范数，从而…”

形式陈述 ​

反向链接

形式陈述