チェビシェフの和の不等式

この項目では、チェビシェフの和の不等式について説明しています。確率論におけるチェビシェフの不等式については「チェビシェフの不等式」をご覧ください。

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "チェビシェフの和の不等式" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2018年7月)

チェビシェフの和の不等式（チェビシェフのわのふとうしき、英: Chebyshev's sum inequality）は、パフヌティ・チェビシェフの名にちなんだ不等式である。

2つの数列 {a_k}, {b_k} が単調減少列であるとき、すなわち

${\displaystyle a_{1}\geq a_{2}\geq \cdots \geq a_{n}}$

${\displaystyle b_{1}\geq b_{2}\geq \cdots \geq b_{n}}$

であるとき、以下の不等式が成り立つ。

${\displaystyle {1 \over n}\sum _{k=1}^{n}a_{k}b_{k}\geq \left({1 \over n}\sum _{k=1}^{n}a_{k}\right)\left({1 \over n}\sum _{k=1}^{n}b_{k}\right).}$

一方が単調減少列で他方が単調増加列、すなわち

${\displaystyle a_{1}\geq a_{2}\geq \cdots \geq a_{n}}$

${\displaystyle b_{1}\leq b_{2}\leq \cdots \leq b_{n}}$

である場合は、以下の不等式が成り立つ。

${\displaystyle {1 \over n}\sum _{k=1}^{n}a_{k}b_{k}\leq \left({1 \over n}\sum _{k=1}^{n}a_{k}\right)\left({1 \over n}\sum _{k=1}^{n}b_{k}\right).}$

チェビシェフの和の不等式の証明には、rearrangement inequality（英語版） を用いる。まず

${\displaystyle a_{1}\geq a_{2}\geq \cdots \geq a_{n}}$

${\displaystyle b_{1}\geq b_{2}\geq \cdots \geq b_{n}.\,}$

を仮定する。Rearrangement inequalityにより、

${\displaystyle a_{1}b_{1}+\cdots +a_{n}b_{n}\,}$

は2つの数列のあらゆる並べ替えに関する積和について最大値を与えることがわかる。よって、

${\displaystyle a_{1}b_{1}+\cdots +a_{n}b_{n}=a_{1}b_{1}+a_{2}b_{2}+\cdots +a_{n}b_{n}\,}$

${\displaystyle a_{1}b_{1}+\cdots +a_{n}b_{n}\geq a_{1}b_{2}+a_{2}b_{3}+\cdots +a_{n}b_{1}\,}$

${\displaystyle a_{1}b_{1}+\cdots +a_{n}b_{n}\geq a_{1}b_{3}+a_{2}b_{4}+\cdots +a_{n}b_{2}\,}$

${\displaystyle \vdots \,}$

${\displaystyle a_{1}b_{1}+\cdots +a_{n}b_{n}\geq a_{1}b_{n}+a_{2}b_{1}+\cdots +a_{n}b_{n-1}}$

となる。両辺それぞれについて総和を取って、

${\displaystyle n(a_{1}b_{1}+\cdots +a_{n}b_{n})\geq (a_{1}+\cdots +a_{n})(b_{1}+\cdots +b_{n});}$

これを${\displaystyle n^{2}}$で割ると、以下の不等式が得られる。

${\displaystyle {\frac {(a_{1}b_{1}+\cdots +a_{n}b_{n})}{n}}\geq {\frac {(a_{1}+\cdots +a_{n})}{n}}\cdot {\frac {(b_{1}+\cdots +b_{n})}{n}}.}$

チェビシェフの和の不等式には、連続バージョンも存在する。

f および g を区間 [0, 1] で積分可能な実数値関数とし、ともに単調増加もしくは単調減少であると仮定する。このとき、

${\displaystyle \int fg\geq \int f\int g}$

この不等式は任意の空間における積分に一般化することが可能である。

この項目は、解析学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（プロジェクト:数学／Portal:数学）。

• 表示
• 編集