信息不等式(information inequality),工学-信息与通信工程-信息论-信息不等式,关于离散随机变量的香农信息测度(如熵、条件熵和互信息等)的线性不等式。在信息论中,信息不等式不仅在证明信道编码定理的逆定理中起到关键作用,而且与网络编码、分布式数据存储和秘密共享等方面有重要联系。固定个数的离散随机变量的所有信息不等式在熵空间中围成的区域称为熵函数区域,即所有熵函数的集合。求解所有独立的信息不等式问题及其等价问题——熵函数区域的表征问题是信息论中的一个基本问题。根据是否可以由香农信息测度的非负性推出,信息不等式分为香农型信息不等式和非香农型信息不等式。中国学者张箴和杨伟豪于1998年发现了信息论史上第一个非香农型信息不等式,被称为张-杨不等式。F.马图斯于2007年证明了对于4个或4个以上固定个数随机变量的独立的非香农型信息不等式的个数有无穷多个。马图斯的结论表明熵函数区域的闭包是非多面体的。所有的香农型信息不等式围成的区域称为多拟阵区域,即所有拟阵的集合,又称为熵函数区域的香农外界。多拟阵区域是熵函数区域的一个重要外界。