数学におけるコーシー＝シュワルツの不等式（コーシーシュワルツのふとうしき、）、シュワルツの不等式、シュヴァルツの不等式あるいはコーシー＝プニャコフスキー＝シュワルツの不等式 とは、内積空間における二つのベクトルの間の内積がとりうる値をそれぞれのベクトルのノルムによって評価する不等式である。線型代数学や函数解析学における有限次元および無限次元のベクトルに対するさまざまな内積や、確率論における分散や共分散に適用されるなど、様々な異なる状況で現れる有用な不等式である。

数列に対する不等式はオーギュスタン＝ルイ・コーシーによって1821年に、積分系での不等式はまずヴィクトール・ブニャコフスキーによって1859年に発見された後ヘルマン・アマンドゥス・シュワルツによって1888年に再発見された。

定理の内容といくつかの事実

x や y が実または複素内積空間 (X, <•, •>) の元であるとき、 シュワルツの不等式は次のように述べられる：

$|\backslash langle\; x,y\backslash rangle|^2\; \backslash leq\; \backslash langle\; x,x\backslash rangle\; \backslash cdot\; \backslash langle\; y,y\backslash rangle.$

左辺は内積 <x, y> の絶対値の平方である。ここに、等号は x と y が線型従属であるとき、つまり x, y のいずれか一方が 0 であるか、さもなくば一方が他方の適当なスカラー倍であるときであり、かつそのときに限る。内積の導くノルム ||x||² := <x, x> を用いればこれは

$|\backslash langle\; x,\; y\; \backslash rangle|\; \backslash leq\; \backslash Vert\; x\backslash Vert\backslash cdot\backslash Vert\; y\backslash Vert$

とも表せる。

コーシー・シュワルツの不等式の重要な帰結には、内積が2変数の函数と見て連続であるということ、従って特にひとつのベクトル x を決めるごとに内積が一つの連続汎函数 <x, •> あるいは <•, x> を定めるということである。さらに、ベクトル x に対して汎関数 x^*: y → <y, x> を与える対応が等長作用素になっていることも従う。

また、この定理の系として内積ノルムに関する三角不等式

$\backslash Vert\; x+y\; \backslash Vert\; \backslash le\; \backslash Vert\; x\backslash Vert\; +\; \backslash Vert\; y\backslash Vert$

が導かれる。ここで等号が成立するのは、x と y の一方が他方の非負実数倍であるとき、かつそのときに限る。

証明に関する話題

シュワルツの不等式の特徴的な証明の一つに、二次式とその判別式を用いるものがある。実際、<x, y> なる内積を考えるとき、t を実変数（あるいは任意の実定数）として

$0\; \backslash le\; \backslash langle\; x\; +\; (\backslash langle\; y,\; x\backslash rangle)ty,\; x\; +\; (\backslash langle\; y,\; x\backslash rangle)ty\backslash rangle\; =\; \backslash langle\; x,\; x\backslash rangle+2|\backslash langle\; x,\; y\; \backslash rangle|^2t\; +\; |\backslash langle\; x,\; y\; \backslash rangle|^2\backslash langle\; y,\; y\backslash rangle\; t^2$

は（内積の性質により）t の如何にかかわらず成立する t の二次の絶対不等式となる。ゆえに、二次の絶対不等式に関してよく知られた事実により、この t に関する二次式の判別式

$(|\backslash langle\; x,\; y\; \backslash rangle|^2)^2\; -\; |\backslash langle\; x,\; y\; \backslash rangle|^2\backslash cdot\; \backslash langle\; x,\; x\backslash rangle\backslash cdot\; \backslash langle\; y,\; y\backslash rangle$

は半負定値（非正）でなければならない。これを整理してシュワルツの不等式を得る。

同じように二次式の判別式を用いる少し異なった証明がある：この証明では実数 t と絶対値 1 の複素数 λ について

<x+ λty, x+ λty>

に対して同様の議論を行い、(Re<x, λy>)² − <x, x><y, y> が半負定値であることが導かれる。適当な λ について Re<x, λy> = |<x, y>| となっているので定理の主張が得られる。

別の観点に立った証明として、直交射影の概念を用いる以下のものがある：||y|| = 0 のときは、x と y との内積が 0 になり、問題の不等式は自明な形で等号として成立する。 ||y|| > 0 のときは、

$t=\backslash frac\{\backslash langle\; x,y\backslash rangle\}\{||y||^2\}$

に対して ty を x の y 方向への直交射影と見なすことができる。実際、この t について z := x - ty は y に直交している。

$||x-z||^2\; =\; \backslash frac\{||x||^2||y||^2-|\backslash langle\; x,y\; \backslash rangle|^2\}\{||y||^2\}$

が非負であることよりコーシー＝シュワルツの不等式が従う。さらに、x と y とが線型従属のときかつそのときに限り z = x であり、不等式において等号が成立することがわかる。

具体的な例

標準内積に関する内積空間と考えたときのユークリッド空間 Rⁿ の場合に書き下すと、

$\backslash left(\backslash sum\_\{i=1\}^n\; x\_i\; y\_i\backslash right)^2\backslash leq\; \backslash left(\backslash sum\_\{i=1\}^n\; x\_i^2\backslash right)\; \backslash left(\backslash sum\_\{i=1\}^n\; y\_i^2\backslash right)$

となる。特に n = 2, 3 のときには

$(x\_1y\_1\; +\; x\_2y\_2)^2\; \backslash leq\; (x\_1^2\; +\; x\_2^2)(y\_1^2\; +\; y\_2^2)$

$(x\_1y\_1\; +\; x\_2y\_2\; +\; x\_3y\_3)^2\; \backslash leq\; (x\_1^2\; +\; x\_2^2\; +\; x\_3^2)(y\_1^2\; +\; y\_2^2\; +\; y\_3^2)$

と書ける。これは有限次元の内積空間における例である。無限次元の内積空間の例として、二乗可積分函数の空間の場合には内積が積分の形で与えられ、2つの自乗可積分函数 f, g に対して

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

というのがシュワルツの不等式を表している式である。これらはヘルダーの不等式に一般化される。

関連項目

• オーギュスタン＝ルイ・コーシー
• ヘルマン・アマンドゥス・シュワルツ
• ヴィクトール・ブニャコフスキー
• 不等式
• 三角不等式