信息论的熵

左手的ㄟ右手 2022-08-27 10:40 253阅读 0赞

## 1.  前言 ##

熵的概念最早起源于物理学，用于度量一个热力学系统的无序程度。

在信息论里则叫信息量,即熵是对不确定性的度量。从控制论的角度来看，应叫不确定性。信息论的创始人[香农][Link 1]在其著作《通信的数学理论》中提出了建立在[概率统计][Link 2]模型上的信息度量。他把信息定义为“用来消除不确定性的东西”。在信息世界，熵越高，则能传输越多的信息，熵越低，则意味着传输的信息越少。

当我们不知道某事物具体状态，却知道它有几种可能性时，显然，可能性种类愈多，不确定性愈大。不确定性愈大的事物，我们最后确定了、知道了，这就是说我们从中得到了愈多的信息，也就是信息量大。所以，熵、不确定性、信息量，这三者是同一个数值。

**两种可能性:**最简单的是只有两种可能性，非此即彼，我们就以这种事物的信息量为单位，叫1比特（bit）。

**4****种可能性:**用二分法，分为2组，我们要非此即彼地确定2次，才能确定其状态，所以含有2比特信息量。

**如果可能性数目有****2的n次方（N=2^n****）:**那就是n比特，即信息量等于可能性数目N的‘以2为底的对数’：H=㏒2（N）＝㏒（N）/㏒（2）。后一个等号说明，以2为底的对数㏒2可用普通对数㏒（以10为底）来计算，即用N的普通对数除2的普通对数。N＝3种可能性时，信息量H＝㏒（3）/㏒（2）＝1.585。只要有函数型计算器，我们就可以进行以下简单实例的验算。

我们现在不是讨论事物本身的信息量，而是讨论描述事物的文字符号包含的信息量。先讨论比较简单的数字符号。

**二进制数:**二进制数只有2个符号：0和1。一位二进制数有2种可能性，其信息量是1比特。n位二进制数可记N=2^n个不相等的数，含有n比特信息，所以每位数字的信息量还是1。

**十进制数:**十进制数字有10个，每位数字的信息量是㏒(10)/ ㏒(2)=1/0.301=3.32。不难验证所有十进制数，每位数字的信息量都是3.32，例如3位数共1000个，信息量是㏒(1000)/ ㏒(2)=3\*3.32。而十六进制的每位数字的信息量是4。

事情好像很简单，其实不然。试考虑还没有发明数字的远古人，他用刻画来记数，用刻n画的方法记数目n。10以内的数平均每个数要刻（1+10）/2＝5.5画，每画的平均信息量是3.32/5.5＝0.604，而100以内的数平均每个数（1+100）/2＝50.5画，每画的平均信息量只有6.64/50. 5＝0.132。因为古人刻的每一画是没有次序或位置的区别的，所以每一画的信息量变化很大，数值则很小。次序或位置非常重要，罗马字和我国古代的数码，也是短画，但要讲究位置组合，每画所含的信息量就大大提高了。注意，我们以后讨论的文字信号，都是有次序的。

这样，文字信号的信息量H是信号个数n的以2为底的对数： H=㏒(n)/ ㏒(2)。英文有 26个字母，每个字母的信息量H=㏒(26)/ ㏒(2)＝4.700。汉字个数不定，算1000个时等于3\*3.32＝9.96，算作一万、十万时则分别为13.28、16.60。我们能随意增加大量一辈子也用不到的汉字，来无限地增加每个汉字的信息量？这当然不合理。原来信息量不能无条件地按符号的个数来计算，只有各符号的可能性一样，都等于1/n时才行。数字符号就满足这样的条件。事实上信息量应按符号的可能性（数学上叫概率大小）来计算，它是概率的负对数。对于二进制数，每个符号的概率都等于1/2，按负对数计算：－㏒(1/n)＝－（㏒(1)－ ㏒(n)）＝－（0－㏒(n)）＝㏒(n)。这就是我们前面使用的公式的来源。如果符号i的概率pi不等于1/n，则Hi=－㏒(pi)。因为各个符号的概率pi不相等，对于总体来说，平均信息量就是它们的加权平均H=－∑pi㏒(pi)，这里累加符号∑表示对所有 i 进行累计。（以上式子除以㏒(2)，就可化为以比特为单位了）。

## 2.  熵的定义 ##

如果有一枚理想的硬币，其出现正面和反面的机会相等，则抛硬币事件的熵等于其能够达到的最大值。我们无法知道下一个硬币抛掷的结果是什么，因此每一次抛硬币都是不可预测的。因此，使用一枚正常硬币进行若干次抛掷，这个事件的熵是一[比特][Link 3]，因为结果不外乎两个——正面或者反面，可以表示为`0, 1`编码，而且两个结果彼此之间相互独立。若进行`n`次[独立实验][Link 4]，则熵为`n`，因为可以用长度为`n`的[比特流][Link 5]表示。[\[1\]][1]但是如果一枚硬币的两面完全相同，那个这个系列抛硬币事件的熵等于零，因为结果能被准确预测。现实世界里，我们收集到的数据的熵介于上面两种情况之间。

另一个稍微复杂的例子是假设一个[随机变量][Link 6]`X`，取三种可能值![\\begin\{smallmatrix\} x\_1, x\_2, x\_3 \\end\{smallmatrix\}][begin_smallmatrix_ x_1_ x_2_ x_3 _end_smallmatrix]，概率分别为![\\begin\{smallmatrix\} \\frac\{1\}\{2\}, \\frac\{1\}\{4\}, \\frac\{1\}\{4\} \\end\{smallmatrix\}][begin_smallmatrix_ _frac_1_2_ _frac_1_4_ _frac_1_4_ _end_smallmatrix]，那么编码平均比特长度是：![\\begin\{smallmatrix\} \\frac\{1\}\{2\} \\times 1 + \\frac\{1\}\{4\} \\times 2 + \\frac\{1\}\{4\} \\times 2 = \\frac\{3\}\{2\} \\end\{smallmatrix\}][begin_smallmatrix_ _frac_1_2_ _times 1 _ _frac_1_4_ _times 2 _ _frac_1_4_ _times 2 _ _frac_3_2_ _end_smallmatrix]。其熵为3/2。

因此熵实际是对随机变量的比特量和顺次发生概率相乘再总和的[数学期望][Link 7]。

**熵在信息论中的定义推导过程如下：**

**信源的不确定性**：信源发出的消息不肯定性越大，收信者获取的信息量就越大。如果信源发送的消息是确切的，则对收信者来说没有任何价值（没有信息量）。衡量不确定性的方法就是考察信源X的概率空间。X包含的状态越多，状态Xi的概率pi越小，则不确定性越大，所含有的信息量越大。

不确定程度用H（X）表示，简称不确定度， 用概率的倒数的对数来度量不肯定程度。一般写成H(X) = log(1/p) = -log(p).

**自信息量：**一个事件（消息）本身所包含的信息量，由事件的不确定性决定的。

即随机事件Xi发生概率为P(xi)，则随机事件的自信息量定义为：

![Center][]

表示事件Xi发生后能提供的信息量。事件不同，则他的信息量也不同，所以自信息量是一个随机变量。不能用来表征整个信源的不肯定性。可以用平均自信息量来表征整个信源的不肯定性。

定义信息量为概率的负对数，是很合理的。试考虑一个两种可能性的事物，仅当可能性相等时，不确定性最大，最后我们知道了某一可能性确实发生了，也得到最大的信息量。如果其中某一个可能性很大（另一个必然很小），不确定性就很小。如果可能性大到1，也就是必然要发生的，因为1的对数为0，我们从知道它的发生这件事得到的信息也为0。

（1）非负性

（2）随机性     是随机变量

（3）单调性      概率大自信息量小

（4）随机事件的不确定性在数量上等于它的自信息量。

（5）单位

以2为底，记作lb，单位比特（bit）；

以e为底，记作ln，单位奈特（nat）；

以10为底，记作lg，单位哈脱来（hat）。

**信息熵**：随机变量自信息量I(xi)的数学期望（平均自信息量），用H（X）表示，即为**熵的定义：**

![20140528165140328][]

即一个值域为\{ *x*1, ..., *x**n*\}的随机变量 *X* 的熵值 H 定义为：

![H(X)  =  \\operatorname\{E\}(I(X))][H_X_ _ _operatorname_E_I_X]，

其中，E 代表了[期望][Link 8]函数，而 *I*(*X*) 是 *X* 的信息量（又称为[信息本体][Link 9]）。*I*(*X*) 本身是个随机变量。如果 *p* 代表了 *X* 的[机率质量函数][Link 10]（probability mass function），则熵的公式可以表示为：

![H(X) = \\sum\_\{i=1\}^n \{p(x\_i)\\,I(x\_i)\} = -\\sum\_\{i=1\}^n \{p(x\_i) \\log\_b p(x\_i)\}][H_X_ _ _sum_i_1_n _p_x_i_I_x_i_ _ -_sum_i_1_n _p_x_i_ _log_b p_x_i]

在这里 *b* 是[对数][Link 11]所使用的[底][Link 12]，通常是 2, 自然常数 [e][]，或是10。当*b* = 2，熵的单位是[bit][Link 3]；当*b* = e，熵的单位是 [nat][]；而当 *b* = 10,熵的单位是 [dit][]。

*p**i* = 0时，对于一些*i*值，对应的被加数0 log*b* 0的值将会是0，这与[极限][Link 13]一致。

![\\lim\_\{p\\to0+\}p\\log p = 0.][lim_p_to0_p_log p _ 0.]

## 3. 范例 ##

如果有一个系统S内存在多个事件S = \{E1,...,En\}，每个事件的机率分布 P = \{p1, ..., pn\}，则每个事件本身的信息量为：

![I\_e = -\\log\_2 \{p\_i\}][I_e _ -_log_2 _p_i]（对数以2为底，单位是[比特][Link 3](bit)）

![I\_e = -\\ln \{p\_i\}][I_e _ -_ln _p_i]（对数以![e][e 1]为底，单位是[纳特][Link 14]/nats）

**如英语有26个字母，假如每个字母在文章中出现次数平均的话，每个字母的讯息量为：**

![I\_e = -\\log\_2 \{1\\over 26\} = 4.7][I_e _ -_log_2 _1_over 26_ _ 4.7]

**而汉字常用的有2500个，假如每个[汉字][Link 15]在文章中出现次数平均的话，每个汉字的信息量为：**

![I\_e = -\\log\_2 \{1\\over 2500\} = 11.3][I_e _ -_log_2 _1_over 2500_ _ 11.3]

实际上每个字母和每个汉字在文章中出现的次数并不平均，比方说较少见字母（如z）和罕用汉字就具有相对高的信息量。但上述计算提供了以下概念：使用书写单元越多的[文字][Link 16]，每个单元所包含的讯息量越大。

熵是整个系统的平均消息量，即：

![H\_s = \\sum\_\{i=1\}^n p\_i I\_e = -\\sum\_\{i=1\}^n p\_i \\log\_2 p\_i][H_s _ _sum_i_1_n p_i I_e _ -_sum_i_1_n p_i _log_2 p_i]

这个平均消息量就是消息熵。因为和 [热力学][Link 17]中描述热力学熵的 [玻耳兹曼][Link 18]公式形式一样，所以也称为“熵”。

[英语][Link 19]文本数据流的熵比较低，因为英语很容易读懂，也就是说很容易被预测。即便我们不知道下一段英语文字是什么内容，但是我们能很容易地预测，比如，字母e总是比字母z多，或者qu字母组合的可能性总是超过q与任何其它字母的组合。如果未经压缩，一段英文文本的每个字母需要8个比特来编码，但是实际上英文文本的熵大概只有4.7比特。如果压缩是无损的，即通过解压缩可以百分之百地恢复初始的消息内容，那么压缩后的消息携带的信息和未压缩的原始消息是一样的多。而压缩后的消息可以通过较少的比特传递，因此压缩消息的每个比特能携带更多的信息，也就是说压缩信息的熵更加高。熵更高意味着比较难于预测压缩消息携带的信息，原因在于压缩消息里面没有冗余，即每个比特的消息携带了一个比特的信息。香农的信息理论揭示了，任何无损压缩技术不可能让一比特的消息携带超过一比特的信息。消息的熵乘以消息的长度决定了消息可以携带多少信息。

如果两个系统具有同样大的消息量，如一篇用不同文字写的同一文章，由于是所有元素消息量的加和，那么中文文章应用的汉字就比英文文章使用的字母要少。所以汉字印刷的文章要比其他应用总体数量少的字母印刷的文章要短。即使一个汉字占用两个字母的空间，汉字印刷的文章也要比英文字母印刷的用纸少。

## 4.  信息增益 ##

已经有了熵作为衡量训练样例集合纯度的标准，**现在可以定义属性分类训练数据的效力的度量标准**。这个标准被称为**“信息增益（****information gain****）”**。简单的说，一个属性的信息增益就是由于使用这个属性分割样例而导致的期望熵降低(或者说，样本按照某属性划分时造成熵减少的期望)。在信息增益中，衡量标准是看特征能够为分类系统带来多少信息，带来的信息越多，该特征越重要。对一个特征而言，系统有它和没它时信息量将发生变化，而前后信息量的差值就是这个特征给系统带来的信息量

更精确地讲，一个属性A相对样例集合S的信息增益Gain(S,A)被定义为：

## 5.  熵的特性 ##

1、熵均大于等于零，即，![H\_s \\ge 0][H_s _ge 0]。   
       2、设N是系统S内的事件总数，则熵![H\_s \\le log\_2N][H_s _le log_2N]。当且仅当p1=p2=...=pn时，等号成立，此时系统S的熵最大。   
       3、[联合熵][Link 20]：![H(X,Y) \\le H(X) + H(Y)][H_X_Y_ _le H_X_ _ H_Y]，当且仅当X，Y在统计学上相互独立时等号成立。   
       4、[条件熵][Link 21]：![H(X|Y) = H(X,Y) - H(Y) \\le H(X)][H_X_Y_ _ H_X_Y_ - H_Y_ _le H_X]，当且仅当X，Y在统计学上相互独立时等号成立。

## 5.  抛硬币的熵 ##

[![200px-Binary_entropy_plot.svg.png][]][200px-Binary_entropy_plot.svg.png 1]   
    抛硬币的熵H(X)（即[期望][Link 22][自信息][Link 23]），以[比特][Link 3]度量，与之相对的是硬币的公正度 Pr(X=1).  
  
   注意图的最大值取决于分布；在这里，要传达一个公正的抛硬币结果至多需要1比特，但要传达一个公正的抛[骰子][Link 24]结果至多需要log2(6)比特。

（网上内容总结）

[Link 1]: http://baike.baidu.com/view/63224.htm
[Link 2]: http://baike.baidu.com/view/1512102.htm
[Link 3]: http://zh.wikipedia.org/wiki/%E4%BD%8D%E5%85%83
[Link 4]: http://zh.wikipedia.org/wiki/%E7%B5%B1%E8%A8%88%E7%8D%A8%E7%AB%8B%E6%80%A7
[Link 5]: http://zh.wikipedia.org/w/index.php?title=%E6%AF%94%E7%89%B9%E6%B5%81&action=edit&redlink=1
[1]: http://zh.wikipedia.org/wiki/%E4%BF%A1%E6%BA%90%E7%86%B5#cite_note-crypto-1
[Link 6]: http://zh.wikipedia.org/wiki/%E9%9A%8F%E6%9C%BA%E5%8F%98%E9%87%8F
[begin_smallmatrix_ x_1_ x_2_ x_3 _end_smallmatrix]: http://upload.wikimedia.org/math/1/d/2/1d29fc8324a9cf0ac5112613c9062eb5.png
[begin_smallmatrix_ _frac_1_2_ _frac_1_4_ _frac_1_4_ _end_smallmatrix]: http://upload.wikimedia.org/math/0/f/8/0f884c16c594dae660e98115f04f8913.png
[begin_smallmatrix_ _frac_1_2_ _times 1 _ _frac_1_4_ _times 2 _ _frac_1_4_ _times 2 _ _frac_3_2_ _end_smallmatrix]: /images/20220824/cb562ef44d48447ea5bb06c4ba2c2186.png
[Link 7]: http://zh.wikipedia.org/wiki/%E6%95%B0%E5%AD%A6%E6%9C%9F%E6%9C%9B
[Center]: /images/20220824/dc9c95ae7ac5441295f7d2c9c0308a2d.png
[20140528165140328]: /images/20220824/f71c035aa29d41588e1ff31a0f234b00.png
[H_X_ _ _operatorname_E_I_X]: /images/20220824/f459099144134a53b824c7fe6313c267.png
[Link 8]: http://zh.wikipedia.org/wiki/%E6%9C%9F%E6%9C%9B
[Link 9]: http://zh.wikipedia.org/wiki/%E8%B3%87%E8%A8%8A%E6%9C%AC%E9%AB%94
[Link 10]: http://zh.wikipedia.org/wiki/%E6%A9%9F%E7%8E%87%E8%B3%AA%E9%87%8F%E5%87%BD%E6%95%B8
[H_X_ _ _sum_i_1_n _p_x_i_I_x_i_ _ -_sum_i_1_n _p_x_i_ _log_b p_x_i]: /images/20220824/b9cd18dfe64e440d9a3afa359bc9cb82.png
[Link 11]: http://zh.wikipedia.org/wiki/%E5%B0%8D%E6%95%B8
[Link 12]: http://zh.wikipedia.org/wiki/%E5%BA%95%E6%95%B0_%28%E5%AF%B9%E6%95%B0%29
[e]: http://zh.wikipedia.org/wiki/E_%28%E6%95%B0%E5%AD%A6%E5%B8%B8%E6%95%B0%29
[nat]: http://zh.wikipedia.org/wiki/%E5%A5%88%E7%89%B9_%28%E5%8D%95%E4%BD%8D%29
[dit]: http://zh.wikipedia.org/w/index.php?title=%E8%BF%AA%E7%89%B9&action=edit&redlink=1
[Link 13]: http://zh.wikipedia.org/wiki/%E5%87%BD%E6%95%B8%E6%A5%B5%E9%99%90
[lim_p_to0_p_log p _ 0.]: /images/20220824/0838c0556c8b4cebbedf895ae6913de0.png
[I_e _ -_log_2 _p_i]: http://upload.wikimedia.org/math/4/f/d/4fd576e5735c819e88088406d69d584d.png
[I_e _ -_ln _p_i]: http://upload.wikimedia.org/math/4/7/a/47ae5c80e91a031bc6d8e0cdeb919064.png
[e 1]: http://upload.wikimedia.org/math/e/1/6/e1671797c52e15f763380b45e841ec32.png
[Link 14]: http://zh.wikipedia.org/wiki/%E7%BA%B3%E7%89%B9
[I_e _ -_log_2 _1_over 26_ _ 4.7]: /images/20220824/a724faf5936b4cf2989ed5a6460db549.png
[Link 15]: http://zh.wikipedia.org/wiki/%E6%B1%89%E5%AD%97
[I_e _ -_log_2 _1_over 2500_ _ 11.3]: /images/20220824/42381a9b44814a92988e18e21243312c.png
[Link 16]: http://zh.wikipedia.org/wiki/%E6%96%87%E5%AD%97
[H_s _ _sum_i_1_n p_i I_e _ -_sum_i_1_n p_i _log_2 p_i]: /images/20220824/e7e6a750e8964ca99e7fb32117418a80.png
[Link 17]: http://baike.baidu.com/view/78147.htm
[Link 18]: http://baike.baidu.com/view/248654.htm
[Link 19]: http://zh.wikipedia.org/wiki/%E8%8B%B1%E8%AF%AD
[H_s _ge 0]: /images/20220824/ed11009962c649679003f6ec9a682224.png
[H_s _le log_2N]: /images/20220824/5e41135276204f58afe9a2bdb244925f.png
[Link 20]: http://zh.wikipedia.org/wiki/%E8%81%94%E5%90%88%E7%86%B5
[H_X_Y_ _le H_X_ _ H_Y]: /images/20220824/f2aaf4156255437b8af5b86cbfe05653.png
[Link 21]: http://zh.wikipedia.org/wiki/%E6%9D%A1%E4%BB%B6%E7%86%B5
[H_X_Y_ _ H_X_Y_ - H_Y_ _le H_X]: /images/20220824/c1f49dc6ef5346dea73f04258b1fd3b9.png
[200px-Binary_entropy_plot.svg.png]: /images/20220824/97b1b80d64d447a0847052a3900dd69b.png
[200px-Binary_entropy_plot.svg.png 1]: http://zh.wikipedia.org/wiki/File:Binary_entropy_plot.svg
[Link 22]: http://zh.wikipedia.org/wiki/%E6%9C%9F%E6%9C%9B%E5%80%BC
[Link 23]: http://zh.wikipedia.org/wiki/%E8%87%AA%E4%BF%A1%E6%81%AF
[Link 24]: http://zh.wikipedia.org/wiki/%E9%AA%B0%E5%AD%90