二重积分的柯西施瓦茨不等式_柯西不等式的证明

柯西不等式在数学的各个领域中均有出现，从竞赛里的放缩到量子力学里的不确定性原理中均有应用，所以本篇文章将证明广义的柯西不等式，即柯西—施瓦茨不等式（Cauchy—Shwarz inequality）。

首先我们需要先了解一下什么是内积空间（Inner product space）。在数学中（尤其是代数），人们总喜欢将我们平时接触的世界

进行抽象。人们提取出欧式空间中线性的特点，定义了

向量空间（Vector space）。在此基础上，他们把欧式空间里的 点积（Dot product）推广，定义了广义的 内积空间（Inner product space）。其中内积空间就是定义了内积运算（即

）的向量空间，但是定义的内积需要满足多个属性。其中我们要用到这些（为了表示方便，设V为内积空间，

为一个数域）：