施瓦茨不等式如何證明

時間 2021-08-30 11:05:09

1樓:匿名使用者

柯西—施瓦茨不等式

開放分類: 數學、不等式

柯西—施瓦茨不等式

數學上,柯西—施瓦茨不等式,又稱施瓦茨不等式或柯西—布尼亞科夫斯基—施瓦茨不等式,是一條很多場合都用得上的不等式,例如線性代數的向量,數學分析的無窮級數和乘積的積分,和概率論的方差和協方差。不等式以奧古斯丁·路易·柯西(augustin louis cauchy),赫爾曼·阿曼杜斯·施瓦茨(hermann amandus schwarz),和維克托·雅科夫列維奇·布尼亞科夫斯基(виктор яковлевич буняковский)命名。

柯西—施瓦茨不等式說,若x和y是實或復內積空間的元素,那麼

\big| \langle x,y\rangle \big|^2 \leq \langle x,x\rangle \cdot \langle y,y\rangle。

等式成立當且僅當x和y是線性相關。

柯西—施瓦茨不等式的乙個重要結果,是內積為連續函式。

柯西—施瓦茨不等式有另一形式,可以用範的寫法表示:

|\langle x,y\rangle| \leq \|x\| \cdot \|y\|\, 。

證明實內積空間的情形:

注意到y = 0時不等式顯然成立,所以可假設\langle y,y\rangle非零。對任意\lambda \in \mathbb ,可知

0 \leq \langle x-\lambda y,x-\lambda y \rangle

= \langle x-\lambda y,x \rangle - \lambda \langle x-\lambda y,y \rangle

= (\langle x,x\rangle - \lambda \langle x,y \rangle)- \lambda (\langle x,y \rangle - \lambda \langle y,y \rangle)

= (\|x\|^2- \lambda \langle x,y \rangle)- \lambda (\langle x,y \rangle - \lambda \|y\|^2)。

現在取值\lambda = \langle x,y \rangle \cdot \|y\|^,代入後得到

0 \leq \|x\| ^2 - \langle x,y \rangle^2 \cdot \|y\|^。

因此有\big| \langle x,y \rangle \big| \leq \|x\| \|y\| 。

復內積空間的情形

證明類上。對任意\lambda \in \mathbb ,可知

0 \leq \langle x-\lambda y,x-\lambda y \rangle

= \langle x-\lambda y,x \rangle - \overline\lambda \langle x-\lambda y,y \rangle

= (\|x\|^2 - \lambda \overline) - \overline\lambda (\langle x,y \rangle - \lambda \|y \|^2)。

現在取值\lambda = \langle x,y \rangle \cdot \|y\|^,代入後得到

0 \leq \|x\|^2 - \big| \langle x,y \rangle \big|^2 \cdot \|y\|^,

因此有\big| \langle x,y \rangle \big| \leq \|x\| \|y\| 。

特例對歐幾里得空間rn,有

\left(\sum_^n x_i y_i\right)^2\leq \left(\sum_^n x_i^2\right) \left(\sum_^n y_i^2\right)。

對平方可積的復值函式,有

\left|\int f^*(x)g(x)\,dx\right|^2\leq\int \left|f(x)\right|^2\,dx \cdot \int\left|g(x)\right|^2\,dx。

這兩例可更一般化為赫爾德不等式。

在3維空間,有乙個較強結果值得注意:原不等式可以增強至等式

\langle x,x\rangle \cdot \langle y,y\rangle = |\langle x,y\rangle|^2 + |x \times y|^2。

[編輯]參見

求證明不等式a b alna ba b b ab

夜的眼睛 證 設f x lnx則 f x 1 x 根據拉格朗日中值定理f a f b f u a b 0 1 u lna lnb a b 所以lna b a b u,又因為 0 設a b 0,證明 a b a tony羅騰 證 設f x lnx則 f x 1 x 根據拉格朗日中值定理f a f b ...

證明不等式的一種方法求解釋,不等式證明都有哪幾種方法

這是在找中介人,k是大於1的整數,所以k最小是2 而分子相同的正數,分母大的反而小 所以2 k 2 2,n k n 2 由此第一次放大成立又2 2 1 2 n 2 n n 1 同上進行第二次放大 最後是進行一次裂項後的加減 公式是 1 n n 1 1 n 1 1 n得到的和 1 1 1 n 2 1 ...

如何求證下列不等式,求證不等式(如下)

先證明三角形三邊有這樣的性質 若三角形中由a b c得出c ba 那麼 b c a 則 a c b 這於三角形的性質不符合 所以在c b 0時候 c b c必然可以推出 c b c b 依次類推其他的兩個不等式 然後相加得到 c b c b a b a b a c a c 化簡之後即可得到所要證明的...