コーシー＝シュワルツの不等式のソースを表示

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

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

== 定理の内容といくつかの事実 ==
''x'' や ''y'' が[[実数|実]]または[[複素数|複素]][[内積空間]] (''X'', &lt;&bull;, &bull;&gt;) の元であるとき、
シュワルツの不等式は次のように述べられる：
:<math>|\langle x,y\rangle|^2 \leq \langle x,x\rangle \cdot \langle y,y\rangle.</math>
左辺は内積 &lt;''x'', ''y''&gt; の[[絶対値]]の平方である。ここに、等号は ''x'' と ''y'' が[[線型従属]]であるとき、つまり ''x'', ''y'' のいずれか一方が 0 であるか、さもなくば一方が他方の適当なスカラー倍であるときであり、かつそのときに限る。内積の導くノルム ||''x''||<sup>2</sup> := &lt;''x'', ''x''&gt; を用いればこれは
: <math>|\langle x, y \rangle| \leq \Vert x\Vert\cdot\Vert y\Vert</math>
とも表せる。

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

また、この定理の系として[[内積空間|内積ノルム]]に関する[[三角不等式]]
:<math>\Vert x+y \Vert \le \Vert x\Vert + \Vert y\Vert</math>
が導かれる。ここで等号が成立するのは、''x'' と ''y'' の一方が他方の非負実数倍であるとき、かつそのときに限る。

== 証明に関する話題 ==
シュワルツの不等式の特徴的な証明の一つに、二次式とその判別式を用いるものがある。実際、&lt;''x'', ''y''&gt; なる内積を考えるとき、''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 の複素数 &lambda; について
: &lt;''x''+ &lambda;''ty'', ''x''+ &lambda;''ty''&gt;
に対して同様の議論を行い、(Re&lt;''x'', &lambda;''y''&gt;)<sup>2</sup> &minus; &lt;x, x&gt;&lt;''y'', ''y''&gt; が半負定値であることが導かれる。適当な &lambda; について Re&lt;''x'', &lambda;''y''&gt; = |&lt;''x'', ''y''&gt;| となっているので定理の主張が得られる。


別の観点に立った証明として、直交射影の概念を用いる以下のものがある：||''y''|| = 0 のときは、''x'' と ''y'' との内積が 0 になり、問題の不等式は自明な形で等号として成立する。 ||''y''|| &gt; 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'' であり、不等式において等号が成立することがわかる。




標準内積に関する内積空間と考えたときの[[ユークリッド空間]] '''R'''<sup>''n''</sup> の場合に書き下すと、

:<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> &nbsp;&nbsp;&nbsp;         (∵n=2のときより)
:<math>=\left(\sum_{i=1}^{m+1}x_i^2\right) \left(\sum_{i=1}^{m+1}y_i^2\right) </math>
となって成立する。

== 具体的な例 ==
標準内積に関する内積空間と考えたときの[[ユークリッド空間]] '''R'''<sup>''n''</sup> の場合に書き下すと、

:<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>

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

== 関連項目 ==
* [[オーギュスタン＝ルイ・コーシー]]
* [[ヘルマン・アマンドゥス・シュワルツ]]
* [[ヴィクトール・ブニャコフスキー]]
* [[不等式]]
* [[三角不等式]]
* [[ヘルダーの不等式]]

{{DEFAULTSORT:こししゆわるつのふとうしき}}
[[Category:不等式]]
[[Category:線型代数学]]
[[Category:関数解析学]]
[[Category:数学に関する記事]]