コーシー＝シュワルツの不等式
数学におけるコーシー＝シュワルツの不等式（コーシーシュワルツのふとうしき、テンプレート:Lang-en）、シュワルツの不等式、シュヴァルツの不等式あるいはコーシー＝ブニャコフスキー＝シュワルツの不等式 (Cauchy–Bunyakovski–Schwarz inequality) とは、内積空間における二つのベクトルの間の内積がとりうる値をそれぞれのベクトルのノルムによって評価する不等式である。線型代数学や関数解析学における有限次元および無限次元のベクトルに対するさまざまな内積や、確率論における分散や共分散に適用されるなど、様々な異なる状況で現れる有用な不等式である。
数列に対する不等式はオーギュスタン＝ルイ・コーシーによって1821年に、積分系での不等式はまずヴィクトール・ブニャコフスキーによって1859年に発見された後ヘルマン・アマンドゥス・シュワルツによって1888年に再発見された。
定理の内容といくつかの事実
x や y が実または複素内積空間 (X, <•, •>) の元であるとき、 シュワルツの不等式は次のように述べられる：
- <math>|\langle x,y\rangle|^2 \leq \langle x,x\rangle \cdot \langle y,y\rangle.</math>
左辺は内積 <x, y> の絶対値の平方である。ここに、等号は x と y が線型従属であるとき、つまり x, y のいずれか一方が 0 であるか、さもなくば一方が他方の適当なスカラー倍であるときであり、かつそのときに限る。内積の導くノルム ||x||2 := <x, x> を用いればこれは
- <math>|\langle x, y \rangle| \leq \Vert x\Vert\cdot\Vert y\Vert</math>
とも表せる。
コーシー・シュワルツの不等式の重要な帰結には、内積が2変数の関数と見て連続であるということ、従って特にひとつのベクトル x を決めるごとに内積が一つの連続汎関数 <x, •> あるいは <•, x> を定めるということである。さらに、ベクトル x に対して汎関数 x*: y → <y, x> を与える対応が等長作用素になっていることも従う。
- <math>\Vert x+y \Vert \le \Vert x\Vert + \Vert y\Vert</math>
が導かれる。ここで等号が成立するのは、x と y の一方が他方の非負実数倍であるとき、かつそのときに限る。
証明に関する話題
シュワルツの不等式の特徴的な証明の一つに、二次式とその判別式を用いるものがある。実際、<x, y> なる内積を考えるとき、t を実変数（あるいは任意の実定数）として
- <math>0 \le \langle x + t|\langle x,y\rangle|y, x + t|\langle x,y\rangle|y \rangle = \langle x, x \rangle + 2 |\langle x, y \rangle|^2 t + |\langle x,y\rangle|^2 \langle y, y\rangle t^2</math>
は（内積の性質により）t の如何にかかわらず成立する t の二次の絶対不等式となる。ゆえに、二次の絶対不等式に関してよく知られた事実により、この t に関する二次式の判別式
- <math> (|\langle x, y \rangle |^2)^2 - \langle x, x\rangle \langle y, y \rangle |\langle x,y\rangle |^2</math>
は半負定値（非正）でなければならない。これを整理してシュワルツの不等式を得る。
同じように二次式の判別式を用いる少し異なった証明がある：この証明では実数 t と絶対値 1 の複素数 λ について
- <x+ λty, x+ λty>
に対して同様の議論を行い、(Re<x, λy>)2 − <x, x><y, y> が半負定値であることが導かれる。適当な λ について Re<x, λy> = |<x, y>| となっているので定理の主張が得られる。
別の観点に立った証明として、直交射影の概念を用いる以下のものがある：||y|| = 0 のときは、x と y との内積が 0 になり、問題の不等式は自明な形で等号として成立する。 ||y|| > 0 のときは、
- <math>t=\frac{\langle x,y\rangle}{\|y\|^2}</math>
に対して t y を x の y 方向への直交射影と見なすことができる。実際、この t について z := x - t y は y に直交している。
- <math> \|x-z\|^2 = \frac{\|x\|^2\|y\|^2-|\langle x,y \rangle|^2}{\|y\|^2}</math>
が非負であることよりコーシー＝シュワルツの不等式が従う。さらに、x と y とが線型従属のときかつそのときに限り z = x であり、不等式において等号が成立することがわかる。
標準内積に関する内積空間と考えたときのユークリッド空間 Rn の場合に書き下すと、
- <math>\left(\sum_{i=1}^n x_i y_i\right)^2\leq \left(\sum_{i=1}^n x_i^2\right) \left(\sum_{i=1}^n y_i^2\right)</math>
となるが、この不等式はnに関する数学的帰納法で証明することができる。各<math>x_i,y_i</math> が負でない場合を示せばよい。 n=1のときは明らかに成立。n=2のときは、
- <math> (x_1^2+x_2^2)(y_1^2+y_2^2)-(x_1 y_1+x_2 y_2)^2=(x_1 y_2-x_2 y_1)^2\ge 0</math>
より成り立つ。n=mで成立すると仮定する。n=m+1のとき、
- <math>\left(\sum_{i=1}^{m+1} x_i y_i\right)^2=\left( \sum_{i=1}^m x_i y_i+x_{m+1} y_{m+1}\right)^2 </math>
- <math>\leq\left(\left(\sum_{i=1}^m x_i^2 \right)^\frac{1}{2}\left(\sum_{i=1}^m y_i^2 \right)^\frac{1}{2}+x_{m+1} y_{m+1} \right)^2 </math> (∵帰納法の仮定より)
- <math>\leq\left(\sum_{i=1}^m x_i^2+x_{m+1}^2\right)\left(\sum_{i=1}^m y_i^2+y_{m+1}^2 \right)</math> (∵n=2のときより)
- <math>=\left(\sum_{i=1}^{m+1}x_i^2\right) \left(\sum_{i=1}^{m+1}y_i^2\right) </math>
となって成立する。
具体的な例
標準内積に関する内積空間と考えたときのユークリッド空間 Rn の場合に書き下すと、
- <math>\left(\sum_{i=1}^n x_i y_i\right)^2\leq \left(\sum_{i=1}^n x_i^2\right) \left(\sum_{i=1}^n y_i^2\right)</math>
となる。特に n = 2, 3 のときには
- <math>(x_1y_1 + x_2y_2)^2 \leq (x_1^2 + x_2^2)(y_1^2 + y_2^2)</math>
- <math>(x_1y_1 + x_2y_2 + x_3y_3)^2 \leq (x_1^2 + x_2^2 + x_3^2)(y_1^2 + y_2^2 + y_3^2)</math>
と書ける。これは有限次元の内積空間における例である。無限次元の内積空間の例として、二乗可積分関数の空間の場合には内積が積分の形で与えられ、2つの自乗可積分関数 f, g に対して
- <math>\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</math>
というのがシュワルツの不等式を表している式である。これらはヘルダーの不等式に一般化される。
