В справедливости (2.5) можно убедиться конкретно: Пусть опыт α имеет п исходов А1, А2, … Ап, которые реализуются с вероятностями р(А1), р(А2), … р(Ап), а событие β — т исходов B1, В2, … Вт с вероятностями р(В1), р(В2), … р(Вт). Непростой опыт α ^ β имеет п∙т исходов типа AiBj (i = 1… n, j = 1… т). Как следует:
Так как α и β — независимы, то независящими окажутся действия в хоть какой паре Ai ^ Bj. Тогда, согласно (А.9),
В слагаемых произведено изменение порядка суммирования в согласовании со значениями индексов. Дальше, по условию нормировки (А.7):
а из (2.4)
совсем имеем:
что и требовалось обосновать.
Сейчас разглядим ситуацию, когда имеются два опыта с схожим числом исходов п, но в одном случае они равновероятны, а в другом — нет. Каково соотношение энтропии опытов? Примем без подтверждения* последующее утверждение:
* По мере надобности подтверждение можно отыскать, к примеру, в книжках: А.М. и И.М. Яглом [49, с.73-75]; Л. Бриллюэн [7, с.34-36].