「情報量」の版間の差分

削除された内容追加された内容

インライン

2024年4月7日 (日) 10:52時点における版

情報量（じょうほうりょう）やエントロピー（英: entropy）は、情報理論の概念で、あるできごと（事象）が起きた際、それがどれほど起こりにくいかを表す尺度である。ありふれたできごと（たとえば「風の音」）が起こったことを知ってもそれはたいした「情報」にはならないが、逆に珍しいできごと（たとえば「曲の演奏」）が起これば、それはより多くの「情報」を含んでいると考えられる。情報量はそのできごとが本質的にどの程度の情報を持つかの尺度であるとみなすこともできる。

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

自己情報量（自己エントロピー）と平均情報量（エントロピー）

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

自己情報量

事象 $E$ が起こる確率を $P(E)$ とするとき、事象 $E$ が起こったことを知らされたとき受け取る自己情報量 $I(E)$ は、以下で定義される：

I(E)=\log {\frac {1}{P(E)}}=-\log P(E)

確率の値域 $0\leqq P(\cdot )\leqq 1$ より自己情報量の値域は $+\infty \geqq I(\cdot )\geqq 0$ を満たす。また対数の単調増加性により、起こりにくい事象（＝生起確率が低い事象）の情報量ほど値が大きい。

対数の底として何を選んでも情報量の値が定数倍変わるだけなので本質的な差はない。慣習的に底に2を選ぶことが多い。底が2の場合、 $1/2^{n}$ の確率で起こる事象の情報量は $n$ である。

直観的意味

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

情報量の加法性

情報量は加法性を持つ。すなわち独立な事象AとBに対し、事象「AもBも起こる」の情報量は、Aの情報量とBの情報量の和である。これは以下で証明される。

$I(A,B)=-\log P(A,B)=-\log(P(A)\cdot P(B))=-(\log P(A)+\log P(B))=I(A)+I(B)$

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

導出

情報量に対する直感的要請には「発生確率が低いほど大きく（単調減少性）」「確率に関して連続的に変化し（連続性）」「独立同時事象の情報量が周辺事象の情報量和に等しい（加法性）」の三条件が挙げられる。この3条件を満たす関数はコーシーの函数方程式を利用することで $C\log p$ と一意に求まる。よって情報量の定義は上記の3条件から一意に導出できる。典型的には対数の底を2として $p=1/2$ で1となるようにCを設定（ $C=-1$ ）する。

平均情報量（エントロピー）

$(\Omega ,{\mathcal {F}},P)$ を確率空間とする。全事象 $Ω$ の分割 $A_{i}$ が与えられたとき^[2]、各事象 $A_{i}\in \Omega$ の自己情報量 $I(A_{i})$ で定義した値

H(P)=\sum _{A_{i}\in \Omega }P(A_{i})\ I(A_{i})=-\sum _{A_{i}\in \Omega }P(A_{i})\log P(A_{i})

を確率測度 $P$ のエントロピー $H (P)$ と呼ぶ（平均情報量、シャノン情報量、情報論のエントロピーとも）。ただし、ここで $P(A_{i})=0$ のときは、 $P(A_{i})\log P(A_{i})=0$ とみなす。これは $\lim _{p\to 0+}{p\log p}=0$ であることによる。

また、離散型確率変数 $X$ が確率分布 $P$ に従う場合には、 $X$ のエントロピー $H (X)$ を自己情報量 $I$ の期待値によって定義する。すなわち、

H(X)=\mathbb {E} _{P}[I(X)]=-\sum _{x\in X}f_{X}(x)\log f_{X}(x)

である^[3]。ここで $f X$ は $X$ の確率質量関数である^[4]。

$0\leqq I(\cdot )$ より、エントロピーは常に非負の値（または無限大）を取る。

値x、yがそれぞれ確率変数X、Yに従う場合には、組 $(x,y)$ も確率変数とみなせる。この確率変数を $(X,Y)$ 、この組の発生確率すなわち同時確率を $P_{XY}(X,Y)$ とすると、 $(X,Y)$ のエントロピー $H(X,Y)$ は

H(X,Y)=\mathbb {E} _{P_{XY}}[I(X,Y)]=-\sum _{x,y}P_{XY}(x,y)\log P_{XY}(x,y)

になる。これを結合エントロピーと呼ぶ。

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

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

I(X,Y)=H(X)+H(Y)-H(X,Y)

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

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

H(X|B)=\mathbb {E} _{P_{X|B}}[I(X|B)]=-\sum _{x}P_{X|B}(x|B)\log P_{X|B}(x|B)

で表す。

さらに確率変数Yが与えられたとき、事象「 $Y=y$ 」が生じているという条件下における事象「 $X=x$ 」の条件付きエントロピー $H(X|Y=y)$ のyに関する平均値

H(X|Y)=\sum _{y}\Pr(Y=y)H(X|Y=y)

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

エントロピーの基本的性質

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

コイン投げの例

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

\left.H(X)=-p\log {p}-(1-p)\log {(1-p)}\right.

である。

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

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

連続系のエントロピー

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

h(X)=-\int _{-\infty }^{\infty }p(x)\log p(x)dx

によって定義する。

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

h(X)=H(U_{n})-H(X)

を満たす。

ただし、ここで $U_{n}$ はn元集合上の一様分布とする（すなわち $H(U_{n})=\log n$ ）。

Renyiエントロピー

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

$\alpha \neq 1$ のとき、Pのdegee $\alpha$ のRenyiエントロピーを

H_{\alpha }(P)={\frac {\log(\sum _{A\in \Omega }P(A)^{\alpha })}{1-\alpha }}

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

\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.

によって定義する。

単にRenyiエントロピーと言った場合は $H_{2}(P)$ を意味することも多い。

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

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

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

歴史

「エントロピー」の概念は1865年にルドルフ・クラウジウスがギリシャ語の「変換」を意味する言葉を語源として、熱力学における気体のある状態量として導入した。これは統計力学では微視的な状態数の対数に比例する量として表される。1929年にはレオ・シラードが、気体についての情報を観測者が獲得することと統計力学におけるエントロピーとの間に直接の関係があることを示し、現在 1 ビット（1 シャノン）と呼ぶ量が統計力学で k ln 2 に対応するという関係を導いていた^[5]。

現在の情報理論におけるエントロピーの直接の導入は1948年のクロード・シャノンによるもので、その論文『通信の数学的理論』でエントロピーの概念を情報理論に応用した^[6]。シャノン自身は熱統計力学でこの概念と関連する概念がすでに使われていることを知らずにこの定義に到達したが、その名称を考えていたとき同僚フォン・ノイマンが、熱統計力学のエントロピーに似ていることから示唆したもので、フォン・ノイマンは「統計エントロピーが何なのかを理解してる人は少ないから、議論になったら有利であろう」と語ったとされる^[7]^[8]。しかしシャノンはフォン・ノイマンとの会話は認めつつその影響を否定している^[9]。

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

単位

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

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

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

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

脚注

[脚注の使い方]

^ Gray, Robert M. (2013-03-14) (英語). Entropy and Information Theory. Springer Science & Business Media. ISBN 978-1-4757-3982-4
^ この分割は離散型確率変数の確率質量関数から誘導されることもある^[1]。
^ Cover, Thomas M.; Thomas, Joy A. (2012-11-28) (英語). Elements of Information Theory. John Wiley & Sons. ISBN 978-1-118-58577-1
^ $f X (x)$ を $P_{X}(x)=P(X=x)=P(\{\omega \in \Omega \mid X(\omega )=x\})$ と書くこともある。
^ Szilard, L. (1929) "Über die Entropieverminderung in einem Thermodynamischen System bei Eingriffen Intelligenter Wesen", Zeitschrift für Physik 53:840–856
^ Cover & Thomas 2006, Historical Notes.
^ 『ファインマン計算機科学』 p. 96 ファインマンによる脚注*8で、「言い伝えによれば」と断りのうえでこの説を紹介している。
^ 韓太舜、小林欣吾『情報と符号の数理』
^ CLAUDE E. SHANNON: An Interview Conducted by Robert Price, 28 July 1982
^ なお、JIS X 0016:1997 で定義される選択情報量（decision content）も同じ定義である。「互いに排反な事象から成る有限集合中の事象の数の対数。」

参考文献

Shannon entropy calculator (English)
A Mathematical Theory of Communication Shannon 1948 (English)
Cover, Thomas M.; Thomas, Joy A. (2006). Elements of information theory (Second ed.). John Wiley & Sons. ISBN 978-0-471-24195-9. MR2239987

外部リンク

情報量 - 脳科学辞典
『情報量の意味と対数関数を使う理由』 - 高校数学の美しい物語
“JISX0016:1997 情報処理用語（情報理論）”. kikakurui.com. 2023年10月28日閲覧。

[1] Gray, Robert M. (2013-03-14) (英語). Entropy and Information Theory. Springer Science & Business Media. ISBN 978-1-4757-3982-4

[2] この分割は離散型確率変数の確率質量関数から誘導されることもある^[1]。

[3] Cover, Thomas M.; Thomas, Joy A. (2012-11-28) (英語). Elements of Information Theory. John Wiley & Sons. ISBN 978-1-118-58577-1

[4] $f X (x)$ を $P_{X}(x)=P(X=x)=P(\{\omega \in \Omega \mid X(\omega )=x\})$ と書くこともある。

[5] Szilard, L. (1929) "Über die Entropieverminderung in einem Thermodynamischen System bei Eingriffen Intelligenter Wesen", Zeitschrift für Physik 53:840–856

[FOOTNOTECoverThomas2006Historical_Notes-6] Cover & Thomas 2006, Historical Notes.

[7] 『ファインマン計算機科学』 p. 96 ファインマンによる脚注*8で、「言い伝えによれば」と断りのうえでこの説を紹介している。

[8] 韓太舜、小林欣吾『情報と符号の数理』

[9] CLAUDE E. SHANNON: An Interview Conducted by Robert Price, 28 July 1982

[10] なお、JIS X 0016:1997 で定義される選択情報量（decision content）も同じ定義である。「互いに排反な事象から成る有限集合中の事象の数の対数。」

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[1]

@@ 31行目: / 31行目: @@
 == 平均情報量（エントロピー） ==
+<!-- この節を修正中 -->
-<math>\Omega</math>を、台が[[有限集合]]である確率空間とする。<math>\Omega</math> 上の確率分布 <math>P</math> が与えられたとき、各事象 <math>A\in\Omega</math> の自己情報量 <math>I(A)</math> の期待値
+<math>(\Omega, \mathcal{F}, P)</math> を[[確率空間]]とする。[[全事象]] {{mvar|Ω}} の[[集合の分割|分割]] <math>A_i</math> が与えられたとき{{Refnest|この分割は離散型確率変数の確率質量関数から誘導されることもある<ref>{{Cite book |last=Gray |first=Robert M. |title=Entropy and Information Theory |date=2013-03-14 |publisher=Springer Science & Business Media |language=en |isbn=978-1-4757-3982-4 |url={{Google books|ZoTSBwAAQBAJ|Entropy and Information Theory|page=23|plainurl=yes|keywords=entropy as a function of the partition}} |p=23}}</ref>。}}、各事象 <math>A_i\in\Omega</math> の自己情報量 <math>I(A_i)</math> で定義した値
-::<math>H(P)
+:<math>H(P)
-= \mathbb{E}_{P(A)}[I(A)]
-= \sum_{A\in\Omega} P(A) \ I(A)
+= \sum_{A_i\in\Omega} P(A_i) \ I(A_i)
-= - \sum_{A\in\Omega} P(A) \log P(A)</math>
+= - \sum_{A_i\in\Omega} P(A_i) \log P(A_i)</math>
-を <math>P</math> の'''エントロピー'''と呼ぶ（'''平均情報量'''、'''シャノン情報量'''、'''情報論のエントロピー'''とも）。
+を[[確率測度]] {{mvar|P}} の'''エントロピー''' {{math|''H''(''P'')}} と呼ぶ（'''平均情報量'''、'''シャノン情報量'''、'''情報論のエントロピー'''とも）。ただし、ここで <math>P(A_i)=0</math> のときは、<math>P(A_i) \log P(A_i)=0</math> とみなす。これは <math>\lim_{p\to 0+}{p \log p} = 0</math> であることによる。
+また、[[離散型確率変数]] {{mvar|X}} が[[確率分布]] {{mvar|P}} に従う場合には、 {{mvar|X}} の'''エントロピー''' {{math|''H''(''X'')}} を自己情報量 {{mvar|I}} の[[期待値]]によって定義する。すなわち、
-ただし、ここで''P''(''A'')=0のときは、<math>P(A) \log P(A)=0</math>とみなす。これは<math>\lim_{p\to+0}p \log p=0</math>であることによる。
+:<math>H(X)
+= \mathbb{E}_P[I(X)]
-また有限集合U上の値を取る確率変数 <math>X</math> が確率分布 <math>P_X</math> に従う場合には、<math>X</math> の'''エントロピー'''を''H''(''X'')=''H''(''P'')によって定める。すなわち、
+= - \sum_{x \in X} f_X(x) \log f_X(x)
-::<math>H(X)
-= - \sum_{x\in U} P_X(x) \log P_X(x)
 </math>
+である<ref>{{Cite book |last=Cover |first=Thomas M. |title=Elements of Information Theory |date=2012-11-28 |publisher=John Wiley & Sons |language=en |isbn=978-1-118-58577-1 |url={{Google books|VWq5GG6ycxMC|Elements of Information Theory|page=14|plainurl=yes}} |last2=Thomas |first2=Joy A. |p=14}}</ref>。ここで {{math|''f''<sub>''X''</sub>}} は {{mvar|X}} の[[確率質量関数]]である<ref>{{math|''f''<sub>''X''</sub>(''x'')}} を<math>P_X(x) = P(X=x) = P(\{\omega\in\Omega \mid X(\omega)=x\})</math>と書くこともある。</ref>。
-<math>0 \leqq I(\cdot)</math> よりエントロピーは常に非負の値（または無限大）を取る。
+<math>0 \leqq I(\cdot)</math> より、エントロピーは常に非負の値（または無限大）を取る。<!-- この節を修正中。ここまで -->
 値''x''、''y''がそれぞれ確率変数''X''、''Y''に従う場合には、組<math>(x,y)</math>も確率変数とみなせる。この確率変数を <math>(X,Y)</math>、この組の発生確率すなわち[[同時分布|同時確率]]を <math>P_{XY}(X, Y)</math> とすると、<math>(X,Y)</math> のエントロピー <math>H(X,Y)</math> は
@@ 79行目: / 79行目: @@
 * 確率変数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>
 である。

典拠管理データベース
全般	FAST
国立図書館	スペインフランス BnF data ドイツイスラエルアメリカ日本チェコ