![曖昧さ回避](//upload.wikimedia.org/wikipedia/commons/thumb/5/5f/Disambig_gray.svg/25px-Disambig_gray.svg.png) |
この項目では、チェビシェフの和の不等式について説明しています。確率論におけるチェビシェフの不等式については「チェビシェフの不等式」をご覧ください。 |
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "チェビシェフの和の不等式" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2018年7月) |
チェビシェフの和の不等式(チェビシェフのわのふとうしき、英: Chebyshev's sum inequality)は、パフヌティ・チェビシェフの名にちなんだ不等式である。
2つの数列 {ak}, {bk} が単調減少列であるとき、すなわち
![{\displaystyle a_{1}\geq a_{2}\geq \cdots \geq a_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7aa03d9b4fa8588835dae536d8b4a23ee2bf70f9)
![{\displaystyle b_{1}\geq b_{2}\geq \cdots \geq b_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/20c87686815196f3279f718d6f3cf3e8aa3b6246)
であるとき、以下の不等式が成り立つ。
![{\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).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/92d6a8849748c3055a5ca31db7110f9cc92efe8f)
一方が単調減少列で他方が単調増加列、すなわち
![{\displaystyle a_{1}\geq a_{2}\geq \cdots \geq a_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7aa03d9b4fa8588835dae536d8b4a23ee2bf70f9)
![{\displaystyle b_{1}\leq b_{2}\leq \cdots \leq b_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f63062ae4a2903f6efc6259b393c6fdf803377cb)
である場合は、以下の不等式が成り立つ。
![{\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).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eba58c029011a305b9c0d099d97fce54eb55986d)
チェビシェフの和の不等式には、連続バージョンも存在する。
f および g を区間 [0, 1] で積分可能な実数値関数とし、ともに単調増加もしくは単調減少であると仮定する。このとき、
-
この不等式は任意の空間における積分に一般化することが可能である。