Cтраница 2
Объединяя результаты теорем 8.17 и 8.18, получаем неравенство Харнака. [16]
Объединяя результаты теорем 11.4, 13.2, 13.4, 13.7, получаем следующую фундаментальную теорему существования. [17]
Тогда результат теоремы 2.5 вытекает из теоремы 5.4.4. Теорема 2.5 доказана. [18]
Поэтому результат теоремы 3.1 вытек из теоремы 3.1. Теорема 3.1 доказана. [19]
Тогда результат теоремы 3.1.2 соответствует утверждению, что любая функция над множеством А ( основным множеством универсальной алгебры Л) финитарно аппроксимируется функциями, вычислимыми с помощью программ над алгеброй Л тогда и только тогда, когда система простейших программ алгебры Л не имеет симметрии и замкнутых областей. В частности, ( утверждение следствия 3.1.1) любая функция над конечным множеством А вычислима с помощью некоторой программы вычислений над алгеброй Л тогда и только тогда, когда система простейших программ алгебры Л не имеет симметрии и замкнутых областей. [20]
Учитывая результат теоремы 3.3, мы сразу убеждаемся, что первые два условия теоремы 1 выполнены. [21]
Обыкновенно результаты теоремы Нетер даются в двух частях. Одна часть используется в случае р-параметрической группы Ли, а другая - в случае групп преобразований, зависящих от q произвольных функций пространственных и временной координат. В сущности оба случая не очень сильно различаются, что показано Бергманом [13], так как любая группа второго рода содержит бесконечное множество однопара-метрических подгрупп, образованных всевозможными системами q функций. [22]
Объединение результатов теоремы 7.11 и предложения 7.8 завершает описание неразложимых групповых автоматов. [23]
Переформулировка результатов теоремы 11.23 на случай риска не вызывает, очевидно, никаких затруднений. [24]
Из результатов теорем 3.2 следует, в частности, следующее утверждение. [25]
Большинство результатов теоремы 3 установлено Джекобсоном ( ср. [26]
Сравнение результатов теорем 2 и 3 с критерием 3 позволяет установить. [27]
Использование результата теоремы 4.8 позволяет, в частности, сформулировать простое условие сравнения эффективности системы стимулирования со штрафами типа НП и произвольной системы стимулирования. [28]
Пользуясь результатом теоремы 5, нетрудно показать, что всякое ортогональное преобразование может быть представлено как произведение некоторого числа простых вращений и простых отражений. [29]
Установим сначала результат теоремы в случае и Rn положим KRn К. [30]