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

数学におけるコーシー＝シュワルツの不等式（コーシーシュワルツのふとうしき、）、シュワルツの不等式、シュヴァルツの不等式あるいはコーシー＝ブニャコフスキー＝シュワルツの不等式 とは、内積空間において、2つのベクトルの内積はその2つのノルムの積以下であることを主張する不等式である。
線型代数学や関数解析学における有限次元および無限次元のベクトルの内積や、確率論における分散や共分散に適用されるなど、様々な状況で現れる有用な不等式である。
数列に対する不等式はオーギュスタン＝ルイ・コーシーによって1821年に、積分系での不等式はまずヴィクトール・ブニャコフスキーによって1859年に発見された後ヘルマン・アマンドゥス・シュヴァルツによって1888年に再発見された。
定理の内容と意義.
 が実または複素内積空間 formula_1 の元であるとき、コーシー＝シュワルツの不等式は次のように表される：
左辺は内積 formula_3 の絶対値の平方である。これの等号成立は、 が線型従属であるとき、つまり の一方が 0 であるか、さもなくば一方が他方のあるスカラー倍であるときである。内積の導くノルム formula_4 を用いればこれは
とも表せる。
コーシー＝シュワルツの不等式の重要な帰結として、内積が2つのベクトルについて連続であるということが挙げられる。従って特に、ベクトル に対する連続汎函数 formula_6 あるいは formula_7 を定めることができる。さらに、ベクトル に汎函数 formula_8 を作用させると等長作用素になっていることも従う。
また、この定理の系として内積ノルムに関する三角不等式
が導かれる。これの等号成立は、 と の一方が他方の非負実数倍であるときである。
証明.
定理には数多くの証明が知られている。
判別式による証明.
実内積空間におけるシュワルツの不等式の特徴的な証明の一つに、二次式とその判別式を用いるものがある。実際、 を実変数（あるいは任意の実定数）として
が（内積の加法性により） に依らず成立し、 の絶対二次不等式となる。ゆえに、二次不等式についてよく知られた事実により、この の二次式の判別式 Δ は半負定値（非正）でなければならない：
ここからコーシー＝シュワルツの不等式を得る。
複素内積空間においても同様の証明がある。この場合は、 なる内積を考えるとき、実数 と絶対値 1 の複素数 について
に対して同様の議論を行い、
が導かれる。特に formula_14 とすると、これは絶対値 1 であり、
であるから、定理の主張が得られる。
直交射影による証明.
別の観点の証明として、直交射影を考える以下のものがある： のときは、 と の内積が 0 になり、問題の不等式は自明である。 のときは、
とすると、 は の 方向への直交射影である。実際、この について は に直交している。
よりコーシー＝シュワルツの不等式が従う。不等式の等号成立は 、即ち が線型従属のときであることが分かる。
数学的帰納法による証明.
標準内積に関する内積空間と考えたときのユークリッド空間 R の場合に書き下すと、
となるが、この不等式は に関する数学的帰納法で証明することができる。各 が負でない場合を示せばよい。 のときは明らかに成立。 のときは、
より成り立つ。 で成立すると仮定する。 のとき、
となって成立する。
具体例.
標準内積に関する内積空間と考えたときのユークリッド空間 R の場合に書き下すと、
となる。特に の場合は
となる。これは有限次元の内積空間における例である。無限次元の内積空間の例として、自乗可積分函数空間の場合には内積が積分の形で与えられ、2つの自乗可積分函数 に対して
がシュワルツの不等式を表している不等式である。これはヘルダーの不等式に一般化される。