コーシー・シュワルツの不等式
出典: フリー百科事典『ウィキペディア(Wikipedia)』
コーシー・シュワルツの不等式 (Cauchy–Schwarz inequality) 、シュワルツの不等式、シュヴァルツの不等式あるいはコーシー・プニャコフスキー・シュワルツの不等式 (Cauchy–Bunyakovski–Schwarz inequality) とは、線型代数学においてはベクトルに、解析学においては無限級数や積分の積に、確率論においては分散や共分散に適用されるなど、様々な異なる状況で現れる有用な不等式であり、次の定理のように述べられる。
目次 |
[編集] 定理
複素内積空間 において、 に対して、不等式 が成り立つ。 また、 において等号が成立するのは、 と とが線型従属であるときかつそのときに限る。
[編集] 証明
のときは、 と とは線形従属であり、また において両辺が 0 となり等号が成立する。 のとき、 の 方向への直交射影を とおく。直交射影の条件 より を得る。 より を得る。さらに、 と とが線型従属のときかつそのときに限り であることから定理の等号成立条件を得る。
コーシー・シュワルツの不等式の重要な帰結のひとつは、内積が連続関数であるということである。
また、この定理の系として内積ノルムに関する三角不等式が導かれる。
[編集] 系
複素内積空間 において、 に対して、不等式 が成り立つ。 また、 において等号が成立するのは、 のいずれか一方が 0 であるかまたは一方が他方の正の実数倍であるときかつそのときに限る。
[編集] 証明
のいずれか一方が 0 であればこの式は 0 となる。以下では いずれも 0 でないとする。定理より であるが、ここでの等号成立条件は である。また であるが、ここでの等号成立条件は であり、先の条件 のもとでは、 が等号成立の必要十分条件となる。
ユークリッド空間 Rn の場合に書き下すと、
二乗可積分複素数値関数の場合には
これらはヘルダーの不等式に一般化される。