Доказываемое утверждение

Cтраница 1

Доказываемое утверждение следует из соотношения ( 4) и упр. [1]

Первое доказываемое утверждение состоит в том, что два наименее часто встречающихся символа источника должны кодироваться словами одинаковой длины. Для мгновенного кода никакое кодовое слово не является префиксом другого, поэтому ( q - 1) - е кодовое слово не совпадает с началом 7-го кодового слова. Поэтому все символы q - ro слова, лежащие дальше этого начала, можно отбросить, и в дереве декодирования не возникнет недоразумения. Таким образом, два самых длинных кодовых слова имеют одинаковую длину, и из дерева декодирования вытекает, что они отличаются последней цифрой. [2]

Следовательно, доказываемое утверждение верно. [3]

Следовательно, доказываемое утверждение справедливо. [4]

Отсюда вытекает доказываемое утверждение. [5]

При я 0 доказываемое утверждение очевидно вследствие самого выбора величин й ( р), у ( РЬ J. Пусть оценка ( 13) выполнена при всех п sg я. [6]

При п 1 доказываемое утверждение составляет содержание теоремы 1 § 1 гл. Переход от п - 1 к п осуществляется на основе той же теоремы. [7]

Отсюда немедленно следует доказываемое утверждение. [8]

Образ под действием. [9]

Для г 2 доказываемое утверждение тривиально. [10]

Отсюда и следует доказываемое утверждение. [11]

Допустим, что доказываемое утверждение верно для всех производных до п-го порядка включительно. [12]

Отсюда непосредственно следует доказываемое утверждение. [13]

Вторая возможность подтверждает доказываемое утверждение. [14]

В обоих случаях доказываемое утверждение спрайед-ливо. [15]

Страницы: 1 2 3 4