Основные теоремы, устанавливающие свойства дискретного стационарного источника.
Случайный дискретный источник стационарен, если условность не зависит от номера д/ всех
…
Условные вероятности инвариантны относительно любых сдвигов оси событий
Процесс порождения процессов в стационарном источнике не зависит от начала отчета
Теорема 5. Для дискретного стационарного источника энтропия событий при условии задания всех предшествующих событий, образующую невозрастающую последовательность:
Теорема 6. Для дискретного стационарного источника условная энтропия имеет предел
Среднее количество информации на одно сообщение, достаточно удалённое от начала отчета
Доказательство
(монотонно не возрастает и ограничена снизу) => предела.