この記事は(検証可能)な(参考文献や出典)が全く示されていないか、不十分です。(出典を追加)して記事の信頼性向上にご協力ください。((このテンプレートの使い方)) 出典検索?: ("コーシー=シュワルツの不等式") – (ニュース) · (書籍) · (スカラー) · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2015年12月) |
数学におけるコーシー=シュワルツの不等式(コーシーシュワルツのふとうしき、英: Cauchy–Schwarz inequality)、シュワルツの不等式、シュヴァルツの不等式あるいはコーシー=ブニャコフスキー=シュワルツの不等式 (Cauchy–Bunyakovski–Schwarz inequality) とは、内積空間における二つのベクトルの間の内積がとりうる値をそれぞれのベクトルのノルムによって評価する不等式である。線型代数学や関数解析学における有限次元および無限次元のベクトルに対するさまざまな内積や、確率論における分散や共分散に適用されるなど、様々な異なる状況で現れる有用な不等式である。
数列に対する不等式はオーギュスタン=ルイ・コーシーによって1821年に、積分系での不等式はまずヴィクトール・ブニャコフスキーによって1859年に発見された後ヘルマン・アマンドゥス・シュワルツによって1888年に再発見された。
定理の内容といくつかの事実 x や y が実または複素内積空間 の元であるとき、シュワルツの不等式は次のように述べられる:
-
左辺は内積 の絶対値の平方である。ここに、等号は x と y が線型従属であるとき、つまり x, y のいずれか一方が 0 であるか、さもなくば一方が他方の適当なスカラー倍であるときであり、かつそのときに限る。内積の導くノルム を用いればこれは
-
とも表せる。
コーシー・シュワルツの不等式の重要な帰結には、内積が2変数の関数と見て連続であるということ、従って特にひとつのベクトル x を決めるごとに内積が一つの連続汎関数 あるいは を定めるということである。さらに、ベクトル x に対して汎関数 を与える対応が等長作用素になっていることも従う。
また、この定理の系として内積ノルムに関する三角不等式
-
が導かれる。ここで等号が成立するのは、x と y の一方が他方の非負実数倍であるとき、かつそのときに限る。
証明に関する話題 定理には数多くの証明が知られている。
判別式による証明
実内積空間におけるシュワルツの不等式の特徴的な証明の一つに、二次式とその判別式を用いるものがある。実際、t を実変数(あるいは任意の実定数)として
-
は(内積の加法性により)t の如何にかかわらず成立する t の二次の絶対不等式となる。ゆえに、二次の絶対不等式に関してよく知られた事実により、この t に関する(二次式の判別式)Δは半負定値((非正))でなければならない:
-
これを整理してコーシー–シュワルツの不等式を得る。
同じように複素内積空間における証明がある。この証明では、⟨x│y⟩ なる内積を考えるとき、実数 t と絶対値 1 の複素数 λ について
-
に対して同様の議論を行い、
-
が導かれる。特に について となっているので、定理の主張が得られる。
数学的帰納法による証明
別の観点に立った証明として、直交射影の概念を用いる以下のものがある:‖ y ‖ = 0 のときは、x と y との内積が 0 になり、問題の不等式は自明な形で等号として成立する。‖ y ‖ > 0 のときは、
-
に対して t y を x の y 方向への直交射影と見なすことができる。実際、この t について z := x - t y は y に直交している。
-
が非負であることよりコーシー=シュワルツの不等式が従う。さらに、x と y とが線型従属のときかつそのときに限り z = 0 であり、不等式において等号が成立することがわかる。
標準内積に関する内積空間と考えたときのユークリッド空間 Rn の場合に書き下すと、
-
となるが、この不等式は n に関する数学的帰納法で証明することができる。各 が負でない場合を示せばよい。n = 1 のときは明らかに成立。n = 2 のときは、
-
より成り立つ。n = m で成立すると仮定する。n = m + 1 のとき、
-
- (∵帰納法の仮定より)
- (∵n=2のときより)
-
となって成立する。
具体的な例 標準内積に関する内積空間と考えたときのユークリッド空間 Rn の場合に書き下すと、
-
となる。特に n = 2, 3 のときには
-
-
と書ける。これは有限次元の内積空間における例である。無限次元の内積空間の例として、二乗可積分関数の空間の場合には内積が積分の形で与えられ、2つの自乗可積分関数 f, g に対して
-
というのがシュワルツの不等式を表している式である。これらはヘルダーの不等式に一般化される。
関連項目脚注参考文献外部リンク - ブリタニカ国際大百科事典 小項目事典『(シュワルツの不等式)』 - コトバンク
- 『コーシーシュワルツの不等式とそのエレガントな証明』 - 高校数学の美しい物語
- 『シュワルツの不等式の応用公式と例題』 - 高校数学の美しい物語
- Weisstein, Eric W. "Cauchy's Inequality". MathWorld (英語).
- Weisstein, Eric W. "Schwarz's Inequality". MathWorld (英語).