信息论笔记—熵
熵的热力学公理化定义
公理化定义
熵的引入可以从热力学上引入,做如下公理化定义:
系统有 Ω \Omega Ω等概率个微观状态,熵 H ( Ω ) H(\Omega) H(Ω)必定满足以下性质:
H ( Ω 1 Ω 2 ) = H ( Ω 1 ) + H ( Ω 2 ) H(\Omega_1\Omega_2)=H(\Omega_1)+H(\Omega_2) H(Ω1Ω2)=H(Ω1)+H(Ω2)
且由于连续性,该性质定义域可延拓到实数。
H ( 2 ) = 1 b i t H(2)= 1\ bit H(2)=1 bit
公理化定义依据
把有 Ω 1 Ω 2 \Omega_1\Omega_2 Ω1Ω2个等概率状态的微观系统确定状态 ( x , y ) ( 0 ≤ x < Ω 1 , 0 ≤ y < Ω 2 , ) (x, y)(0\le x <\Omega_1,0\le y <\Omega_2,) (x,y)(0≤x<Ω1,0≤y<Ω2,),可以分两次确定每个维度再使用乘法原理,两次独立询问的信息总和就是总信息。所以有公理化性质 H ( Ω 1 Ω 2 ) = H ( Ω 1 ) + H ( Ω 2 ) H(\Omega_1\Omega_2)=H(\Omega_1)+H(\Omega_2) H(Ω1Ω2)=H(Ω1)+H(Ω2)。
解法
根据公理化性质 H ( Ω 1 Ω 2 ) = H ( Ω 1 ) + H ( Ω 2 ) H(\Omega_1\Omega_2)=H(\Omega_1)+H(\Omega_2) H(Ω1Ω2)=H(Ω1)+H(Ω2),外加 H ( 2 ) = 1 b i t H(2)=1\ bit H(2)=1 bit的初始条件条件和定义利用柯西法延拓到有理数,再利用连续性和实数的完备性延拓到实数上转化为一个柯西方程,柯西方程的解法可以参见专业书籍。利用标准的柯西方法解得 H ( Ω ) = l o g Ω H(\Omega)=log\Omega H(Ω)=logΩ。
所以热力学上的熵 Q = k l n Ω , k 为 波 尔 兹 曼 常 数 Q=kln\Omega,k为波尔兹曼常数 Q=klnΩ,k为波尔兹曼常数。
熵的信息论公理化定义
公理化定义
信息论中熵用来刻画不确定性,先考虑离散情形,一个系统有m个状态,概率分布为 p k p_k pk,则熵 H ( p 1 , p 2 , . . . , p n ) H(p_1,p_2,...,p_n) H(p1,p2,...,pn)应该满足以下性质:
H ( p 1 , p 2 , p 3 , . . . p m ) = H ( p 1 + p 2 , p 3 , . . . , p m ) + ( p 1 + p 2 ) H ( p 1 p 1 + p 2 , p 2 p 1 + p 2 ) H(p_1,p_2,p_3,...p_m)=H(p_1+p_2,p_3,...,p_m)+(p_1+p_2)H({p_1\over p_1+p_2},{p_2\over p_1+p_2}) H(p1,