情報量

出典: フリー百科事典『ウィキペディア（Wikipedia）』

この項目では情報量（エントロピー）の概念の情報理論的側面について記述しています。熱力学的側面についてはエントロピーをご覧ください。

情報量（じょうほうりょう、エントロピーとも）は、情報理論の概念で、あるできごと（事象）が起こった際、そのできごとがどれほど起こりにくいかを表す尺度である。頻繁に起こるありきたりのできごと（たとえば「犬が人を噛む」）が起こったことを知ってもそれはたいした「情報」にはならないが、逆に滅多に起こらないできごと（たとえば「人が犬を噛む」）が起これば、それはより多くの「情報」を含んでいると考えられる。情報量はそのできごとがどれだけの情報をもっているかの尺度であるともみなすことができる。

なおここでいう「情報」とは、あくまでそのできごとの起こりにくさ（確率）だけによって決まる純粋に数学的な量のことであり、それが個人・社会にとってどれだけ有意義のあるものであるかとは無関係である。たとえば「自分が宝くじに当たった」という事象と「見知らぬAさんが宝くじに当たった」という事象は、前者の方が有意義な情報であるように見えるが、両者の情報量は全く同じである（宝くじが当たる確率は誰でも同じであるから）。

1 選択情報量（自己エントロピー）と平均情報量（エントロピー）
2 選択情報量
- 2.1 直観的意味
- 2.2 情報量の加法性
3 平均情報量（エントロピー）
- 3.1 エントロピーの基本的性質
- 3.2 コイン投げの例
4 連続系のエントロピー
5 Renyiエントロピー
6 歴史
7 単位
8 脚注
9 関連項目

[編集] 選択情報量（自己エントロピー）と平均情報量（エントロピー）

それぞれのできごとの情報量だけでなく、それらのできごとの情報量の平均値をも情報量と呼ぶ。両者を区別する場合には、前者を選択情報量（自己エントロピーとも）、後者を平均情報量（エントロピーとも）と呼ぶ。

[編集] 選択情報量

事象<math>E</math>が起こる確率を<math>P(E)</math>とするとき、事象 <math>E</math> が起こったことを知らされたとき受け取る（選択）情報量<math>I(E)</math> を

と定義する。

起こりにくい事象（＝生起確率が低い事象）の情報量ほど、値が大きい。

上式中の対数 (<math>\log</math>) の底として何を選んでも、情報量の値が定数倍変わるだけなので、本質的な差はないものの、底としては2を選ぶことが多い。

底が2の場合、確率を<math>1/2^n</math>で起こる事象の情報量は<math>n</math>である。

[編集] 直観的意味

整数<math>u</math>に対し、<math>u</math>の対数<math>\log_mu</math>は<math>m</math>進法での<math>u</math>の桁数にほぼ等しい値を表す。したがって、確率<math>1/u</math>で起こる事象の情報量は、ほぼ<math>u</math>の桁数になる。

[編集] 情報量の加法性

AとBが独立な事象のとき、「AもBも起こる」という事象の情報量は、Aの情報量とBの情報量の和である。

情報量には加法性がある。例えば、52枚のトランプから無作為に1枚を取り出すという試行を考える。「取り出したカードはハートの4である」という事象の情報量は、前述の定義からlog52 であると分かる。ここで、「取り出したカードのスートはハートである」という事象と「取り出したカードの数字は4である」という事象の二つを考えると、前者の情報量はlog4、後者はlog13 である。この両者の和はlog4 + log13 = log(4×13) = log52 となり、「取り出したカードはハートの4である」という事象の情報量と等しい。これは直感的要請に合致する。

[編集] 平均情報量（エントロピー）

<math>\Omega</math>を、台が有限集合である確率空間とする。<math>\Omega</math>上の確率分布 Pが与えられたとき、各事象<math>A\in\Omega</math>の選択情報量<math>-\log P(A)</math>の平均値

<math>H(P) = - \sum_{A\in\Omega} P(A) \log P(A)</math>

をPのエントロピーと呼ぶ（平均情報量、シャノン情報量、情報論のエントロピーとも）。

ただし、ここでP(A)=0のときは、<math>P(A) \log P(A)=0</math>とみなす。これは<math>\lim_{p\to+0}p \log p=0</math>であることによる。

また有限集合U上の値を取る確率変数Xが確率分布Pに従う場合には、XのエントロピーをH(X)=H(P)にによって定める。すなわち、

<math>H(X) = - \sum_{x\in U} \Pr(X=x) \log \Pr(X=x)</math>。

エントロピーは常に非負の値（または無限大）を取る。

値x、yがそれぞれ確率変数X、Yに従う場合には、組<math>(x,y)</math>も確率変数とみなせる。この確率変数を<math>(X,Y)</math>と書くことにすると、確率変数<math>(X,Y)</math>のエントロピーは

になる。

<math>X,Y</math>が互いに独立な確率変数である場合には、<math>H(X,Y)</math>は<math>H(X)+H(Y)</math>に一致する。すなわち、全体の情報量<math>H(X,Y)</math>は、それぞれの確率変数の情報量の和である。

しかし、XとYが互いに独立ではない場合は、<math>H(X,Y)</math>と<math>H(X)+H(Y)</math>は一致せず、前者より後者の方が大きい値になる。両者の情報量の差を相互情報量と呼び、

で表す。相互情報量は常に非負の値になる。

事象Bが生じているという条件下における事象Aの条件付き情報量を<math>-\log\Pr(A|B)</math>によって定める。確率変数Xが与えられたとき、事象「<math>X=a</math>」の条件付き情報量<math>\Pr(X=a|B)</math>のaに関する平均値を条件付きエントロピーといい、

で表す。

さらに確率変数Yが与えられたとき、条件付きエントロピー<math>H(X|Y=b)</math>のbに関する平均値

もやはり条件付きエントロピーと呼ぶ。

[編集] エントロピーの基本的性質

情報量は確率だけによって決まる。
情報量は非負の値または無限大を取る。
nビットのビット列の空間（情報源）から（一様ランダムとは限らない方法で）ランダムにビット列を選んだときのエントロピーは、n以下になる。エントロピーがnになる必要十分条件は、ビット列が一様ランダムに選ばれることである。
確率変数XとYが独立である必要十分条件は、<math>H(X)+H(Y)=H(X,Y)</math>が成立することである。

[編集] コイン投げの例

あるコインを投げたときに表が出る確率を <math>p</math>、裏が出る確率を <math>1 - p</math> とする。このコインを投げたときに得られる平均情報量（エントロピー）は、

<math>\left. H(X)= - p \log{p} - (1-p)\log{(1-p)} \right.</math>

である。　

この関数<math>f(p)= - p \log{p} - (1-p)\log{(1-p)}</math>をエントロピー関数と呼ぶ。

図を見ると分かるように、<math>p=0</math> と <math>p=1</math> では <math>H</math> はゼロである。つまり、コインを投げる前から裏または表が出ることが確実に分かっているときに得られる平均情報量は、ゼロである。<math>H</math> が最大になるのは <math>p=1/2</math> のときであり、一般にすべての事象（できごと）が等確率になるときにエントロピーが最大になる。

[編集] 連続系のエントロピー

実数値を取る確率変数Xの確率密度関数をp(x)とするとき、Xのエントロピーを

<math>h(X) = - \int_{-\infty}^{\infty}p(x)\log p(x) dx </math>

によって定義する。

Xが有限集合に値を取る確率変数である場合には、Xのシャノン情報量<math>H(X)</math>も定義できる。Xがn通りの値を取るとき、<math>H(X)</math>と<math>h(X)</math>は、

を満たす。

ただし、ここで<math>U_n</math>はn元集合上の一様分布とする（すなわち<math>H(U_n)=\log n</math>）。

[編集] Renyiエントロピー

<math>\Omega</math>を、台が有限集合である確率空間とする。Pを<math>\Omega</math>上の確率分布とし、<math>\alpha</math>を非負の実数とする。

<math>\alpha\neq 1</math>のとき、Pのdegee<math>\alpha</math>のRenyiエントロピーを

<math>H_{\alpha}(P)=\frac{\log\sum_{A\in\Omega}P(A)^{\alpha}}{1-\alpha}</math>

によって定義する。また、<math>\alpha=1,\infty</math>の場合には、Renyiエントロピーを

<math>\left\{ \begin{array}{lll} H_1(P) &= \lim_{\alpha\to 1}&H_{\alpha}(P)\\ H_{\infty}(P) &= \lim_{\alpha\to\infty}&H_{\alpha}(P) \end{array} \right.</math>

によって定義する。

単にRenyiエントロピーと言った場合は<math>H_2(P)</math>を意味することも多い。

さらに、確率変数Xが確率分布Pに従うとき、<math>H_{\alpha}(X)</math>を<math>H_{\alpha}(X)=H_{\alpha}(P)</math>によって定義する。

Renyiエントロピーは以下の性質を満たす：

<math>H_0(P) = \log\#\Omega</math> が成立する。
<math>H_1(P)</math> はシャノン情報量 <math>H(P) = -\sum_{A\in\Omega} P(A)\log P(A)</math> と一致する。
<math>\alpha</math> が2以上の整数の場合には、 <math>H_{\alpha}(P) = \frac{1}{1-\alpha} \log\Pr(X_1=\cdots=X_\alpha)</math> が成立する。ここで、 <math>X_1,\ldots,X_\alpha</math> は確率分布 <math>P</math> に従う独立同一分布であって、 <math>\Pr(X_1=\cdots=X_\alpha)</math> は <math>x_1,\ldots,x_\alpha</math> をそれぞれ<math>X_1,\ldots,X_\alpha</math> に従って選んだときに<math>x_1=\cdots=x_\alpha</math> が成立する確率とする。
<math>H_{\infty}(P)=\min_{A\in\Omega}\{-\log P(A)\}</math> が成立する。この <math>H_{\infty}(P)</math> をminエントロピーともいう。

[編集] 歴史

「エントロピー」の概念は1865年にルドルフ・クラウジウスがギリシャ語の「変換」を意味する言葉を語源として、熱力学における気体のある状態量として導入した。これは統計力学では微視的な状態数の対数に比例する量として表される。1929年にはレオ・シラードが、気体についての情報を観測者が獲得することと統計力学におけるエントロピーとの間に直接の関係があることを示し、現在 1 ビット（1 シャノン）と呼ぶ量が統計力学で k ln 2 に対応するという関係を導いていた<ref>Szilard, L. (1929) "Über die Entropieverminderung in einem Thermodynamischen System bei Eingriffen Intelligenter Wesen", Zeitschrift für Physik 53:840–856</ref>。

現在の情報理論におけるエントロピーの直接の導入は1948年のクロード・シャノンによるもので、その著書『通信の数学的理論』でエントロピーの概念を情報理論に応用した<ref>H・J・モロウィッツ『ピザの熱力学』</ref>。シャノン自身は統計力学でこの概念と関連する概念がすでに使われていることを知らずにこの定義に到達していたが、その名称をどうすべきかをフォン・ノイマンに相談し、フォン・ノイマンの提唱によってエントロピーと名付けられた<ref>韓太舜、小林欣吾『情報と符号の数理』</ref>。

なお、シャノン以前にもラルフ・ハートレーが1928年に、集合Aに対して<math>\log \# A</math>という量を考察している（“<math>\#A</math>”はAの元数）。<math>\log \# A</math>はA上の一様分布のエントロピーに一致する。現在では、<math>\log \# A</math>をAのハートレー・エントロピーと呼ぶ。

[編集] 単位

情報量は本来無次元の量である。しかし、対数の底として何を用いたかによって値が異なるので，単位を付けて区別している。対数の底として2、e、10を選んだときの情報量の単位は、それぞれビット(bit)、ナット(nat)、ディット(dit)である。

また、今のところ主流ではないものの、1997年に日本工業規格 JIS X 0016:1997（これは国際規格 ISO/IEC 2382-16:1996と一致している）は、これらの量を表す単位を別に定めている（ノートも参照）。

**対数の底と単位**
底	通常の単位	JISおよびISOが定めた単位	備考
2	ビット (bit)	シャノン (shannon)	lg
e=2.718…	ナット (nat)	ナット (nat)	ln, 自然対数
10	ディット (dit)	ハートレー (hartley)	log, 常用対数

単位「シャノン」、「ハートレー」の名称は、それぞれ情報量の概念を提案したクロード・シャノン、ラルフ・ハートレーにちなむ。

[編集] 脚注

[ヘルプ]

カテゴリ: 情報理論 | 数学に関する記事

情報量