コーシー＝シュワルツの不等式

数学における**コーシー＝シュワルツの不等式**（コーシーシュワルツのふとうしき、）、**シュワルツの不等式**、**シュヴァルツの不等式**あるいは**コーシー＝ブニャコフスキー＝シュワルツの不等式**  とは、内積空間において、2つのベクトルの内積の絶対値はその2つのノルムの積以下であることを主張する不等式である。

線型代数学や関数解析学における有限次元および無限次元のベクトルの内積や、確率論における分散や共分散に適用されるなど、様々な状況で現れる有用な不等式である。

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

## 定理の内容と意義
 が実または複素内積空間 (X,\langle \cdot,\cdot\rangle) の元であるとき、コーシー＝シュワルツの不等式は次のように表される：
:\langle x,y\rangle^2 \leq \langle x,x\rangle \cdot \langle y,y\rangle.
これの等号成立は、 が線型従属であるとき、つまり  の一方が 0 であるか、さもなくば平行であるときである。内積の導くノルム \|x\|^2:=\langle x,x\rangle を用いればこれは
:|\langle x,y \rangle| \leq \Vert x\Vert\cdot\Vert y\Vert
とも表せる。

コーシー＝シュワルツの不等式の重要な帰結として、内積が2つのベクトルについて連続であるということが挙げられる。従って特に、ベクトル  に対する連続汎函数 \langle x,\cdot\rangle あるいは \langle \cdot,x\rangle を定めることができる。さらに、ベクトル  に汎函数 x^* \colon y \mapsto \langle y,x\rangle を作用させると等長作用素になっていることも従う。

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

## 証明
定理には数多くの証明が知られている。

### 判別式による証明
実内積空間におけるシュワルツの不等式の特徴的な証明の一つに、二次式とその判別式を用いるものがある。実際、 を実変数（あるいは任意の実定数）として
:0 \le \langle \boldsymbol{x} + t\boldsymbol{y}, \boldsymbol{x} + t\boldsymbol{y} \rangle = \langle \boldsymbol{x}, \boldsymbol{x} \rangle + 2 \langle \boldsymbol{x}, \boldsymbol{y} \rangle t + \langle \boldsymbol{y}, \boldsymbol{y} \rangle t^2
が（内積の加法性により） に依らず成立し、 の絶対二次不等式となる。ゆえに、二次不等式についてよく知られた事実により、この  の二次式の判別式 Δ は半負定値（非正）でなければならない：
:\Delta/4 = \langle \boldsymbol{x}, \boldsymbol{y} \rangle^2 - \langle \boldsymbol{x}, \boldsymbol{x} \rangle \langle \boldsymbol{y}, \boldsymbol{y} \rangle \le 0.
ここからコーシー＝シュワルツの不等式を得る。

複素内積空間においても同様の証明がある。この場合は、 なる内積を考えるとき、実数  と絶対値 1 の複素数  について
:\langle \boldsymbol{x} + \lambda t \boldsymbol{y} | \boldsymbol{x} + \lambda t \boldsymbol{y} \rangle
に対して同様の議論を行い、
:\left(\operatorname{Re} \langle \boldsymbol{x} | \lambda \boldsymbol{y} \rangle\right)^2 - \langle \boldsymbol{x} | \boldsymbol{x} \rangle \langle \boldsymbol{y} | \boldsymbol{y} \rangle \le 0
が導かれる。特に \lambda = \frac{\langle \boldsymbol{x} | \boldsymbol{y} \rangle} とすると、これは絶対値 1 であり、
:\operatorname{Re} \langle \boldsymbol{x} | \lambda \boldsymbol{y} \rangle = \operatorname{Re} \bar{\lambda} \langle \boldsymbol{x} | \boldsymbol{y} \rangle = \operatorname{Re} \frac{\overline{\langle \boldsymbol{x} | \boldsymbol{y} \rangle} \langle \boldsymbol{x} | \boldsymbol{y} \rangle} = |\langle \boldsymbol{x} | \boldsymbol{y} \rangle|
であるから、定理の主張が得られる。

### 直交射影による証明
別の観点の証明として、直交射影を考える以下のものがある： のときは、 と  の内積が 0 になり、問題の不等式は自明である。 のときは、
:t=\frac{\langle x,y\rangle}{\|y\|^2}
とすると、 は  の 方向への直交射影である。実際、この  について  は  に直交している。
:0 \leq \|z\|^2 = \|x\|^2 - \|ty\|^2 = \frac{\|x\|^2\|y\|^2-\langle x,y \rangle^2}{\|y\|^2}
よりコーシー＝シュワルツの不等式が従う。不等式の等号成立は 、即ち  が線型従属のときであることが分かる。

### 数学的帰納法による証明
標準内積を入れた数ベクトル空間で考えている場合は、成分表示すると
:\left( \textstyle\sum\limits_{i=1}^n x_i y_i \right)^2 \leq \left( \textstyle\sum\limits_{i=1}^n {x_i}^2 \right) \left( \textstyle\sum\limits_{i=1}^n {y_i}^2 \right)
となるが、特にユークリッド空間（実数空間）**R**（つまり各成分  が実数）の場合については、この不等式は  に関する数学的帰納法で証明することができる。各  が負でない場合を示せばよい。 のときは明らかに成立。 のときは、
:({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
より成り立つ。 で成立すると仮定する。 のとき、
:\left( \textstyle\sum\limits_{i=1}^{k+1} x_i y_i\right)^2 = \left( \textstyle\sum\limits_{i=1}^k x_i y_i + x_{k+1} y_{k+1} \right)^2
:\leq \left( \left( \textstyle\sum\limits_{i=1}^k {x_i}^2 \right)^\frac{1}{2} \left( \textstyle\sum\limits_{i=1}^k {y_i}^2 \right)^\frac{1}{2} + x_{k+1} y_{k+1} \right)^2（∵帰納法の仮定より）
:\leq \left( \textstyle\sum\limits_{i=1}^k {x_i}^2 + {x_{k+1}}^2 \right) \left( \textstyle\sum\limits_{i=1}^k {y_i}^2 + {y_{k+1}}^2 \right)（∵  のときより）
:= \left( \textstyle\sum\limits_{i=1}^{k+1} {x_i}^2 \right) \left( \textstyle\sum\limits_{i=1}^{k+1} {y_i}^2 \right) 
となって成立する。

## 具体例
標準内積を入れた数ベクトル空間で考えている場合は、成分表示すると
:\left( \textstyle\sum\limits_{i=1}^n x_i y_i \right)^2 \leq \left( \textstyle\sum\limits_{i=1}^n {x_i}^2 \right) \left( \textstyle\sum\limits_{i=1}^n {y_i}^2 \right)
となる。特に  の場合は
:(x_1 y_1 + x_2 y_2)^2 \leq ({x_1}^2 + {x_2}^2)({y_1}^2 + {y_2}^2)
:(x_1 y_1 + x_2 y_2 + x_3 y_3)^2 \leq ({x_1}^2 + {x_2}^2 + {x_3}^2)({y_1}^2 + {y_2}^2 + {y_3}^2)
となる。これらは有限次元の内積空間における例であるが、無限次元の内積空間でも成り立つ。自乗可積分函数空間では内積として積分の形があり、2つの自乗可積分函数  に対して
:\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
がシュワルツの不等式に当たる不等式である。これはヘルダーの不等式に一般化される。

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

## 参考文献
*
*

## 外部リンク
*
*
*
*
*