ギブスの不等式とは? わかりやすく解説

Weblio 辞書 > 同じ種類の言葉 > 人文 > 高等数学 > 不等式 > ギブスの不等式の意味・解説 

ギブスの不等式

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/08/30 07:42 UTC 版)

ギブスの不等式(ぎぶすのふとうしき、: Gibbs' inequality)とは、情報理論における離散確率分布エントロピーに関する式である。確率分布のエントロピーに関しては、ギブスの不等式を出発点としていくつかの式が考案されており、ファーノの不等式などがある。

この不等式は19世紀ウィラード・ギブスが最初に提示した。

定義

ある確率分布 P を次のように表す。

別の確率分布 Q を次のように表す。

このとき、次の不等式が成り立つ。

ただし、これは全ての i について次の等式が成り立つときだけ等式として成り立つ。

2つの量の差は、カルバック・ライブラー情報量(相対エントロピー)の符号を反転させたものと等しい。したがって、この不等式は次のようにも表せる。

証明

対数の性質から、次が成り立つ。

従って、自然対数 (ln) について証明できれば十分である。自然対数には次の性質がある。

これは、全ての x について成り立つ(x=1 のときだけ等号)。

pi がゼロでない全ての の集合を とする。すると、

となるので、次が成り立つ。

両辺に 0 を加えても大小関係は変わらないから、0 であるような pi も含めることができて、

等式として成り立つには、次の条件が成立しなければならない。

  1. 全ての について であれば、 が成り立つ。
  2. であれば、証明の3行目から4行目の部分で等号が成り立つ。

これらが成り立つのは、i = 1, ..., n について以下が成立しているときのみである。

他の証明手法

イェンセンの不等式を使って証明することもできる。

エントロピーは次の式で上限が与えられる。

証明は簡単で、全ての i について とすればよい。

関連項目





ギブスの不等式と同じ種類の言葉


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「ギブスの不等式」の関連用語

ギブスの不等式のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



ギブスの不等式のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのギブスの不等式 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS