Cтраница 1
Заключительное утверждение относительно / - унитарного оператора U доказывается аналогично. Именно, в силу замечания 2.4 считаем, что С / 12 е оо. Если ( fi, fi) - дуальная пара, [ 7fi 8 и К - угловые опе - 1аторы подпространств fi соответственно, то в качестве выпуклого слабо замкнутого в подмножества Л1, ип-париаптного относительно FU рассмотрим непустое подмножество С) П - ( -) ( см. теорему 8.23 гл. [1]
Заключительное утверждение леммы 3.24 теперь совершенно очевидно. [2]
Заключительное утверждение теоремы 4.1 проверяется непосредственно. Итак, доказательство теоремы 4.1 закончено. [3]
Наконец, заключительное утверждение теоремы обосновывается, как и в случае теоремы Шварца. [4]
Для доказательства заключительного утверждения заметим, что если а и а соответствуют форме f, то разность а - а соответствует нулевому функционалу. [5]
Нам остается доказать заключительное утверждение теоремы. [6]
Однако при доказательстве заключительного утверждения ( цели) из начальной системы аксиом, посылок мы придерживаемся правила, что если все аксиомы и посылки принимают истинностное значение И, то и заключительное утверждение также принимает значение И. Из-за этого ограничения иногда исчисление предикатов первого порядка называют полуразрешимым. [7]
Сопоставляя все сказанное, мы приходим к такому заключительному утверждению: двойной интеграл ( 10) по переменной области представляет собой единственную аддитивную первообразную для стоящей под знаком интеграла функции точки. [8]
Этим на основании дополнительного замечания предыдущего п оправдывается и заключительное утверждение теоремы. [9]
Вместе с тем соотношением ( 13) устанавливается справедливость заключительного утверждения теоремы. [10]
Итак, предположив, что определитель равен нулю в точке х0, мы пришли к противоречию; тем самым наше заключительное утверждение, а с ним и основное свойство общего решения, доказаны. [11]
Из приведенного ранее рассуждения Греча следует, что этот круг представляет собой точную область возможных значений / ( 2i) / / ( 2i) Заключительное утверждение теоремы 6.17 сразу следует из условия ( 1) равенства в теореме 4.1. Следствие 6.14. Пусть f ( z) мероморфна и однолистна при z 1, и пусть f ( со) оо. [12]
Однако при доказательстве заключительного утверждения ( цели) из начальной системы аксиом, посылок мы придерживаемся правила, что если все аксиомы и посылки принимают истинностное значение И, то и заключительное утверждение также принимает значение И. Из-за этого ограничения иногда исчисление предикатов первого порядка называют полуразрешимым. [13]
Пусть теперь Л - траектория, о которой говорится в пункте ( III), D - соответствующая область. Заключительное утверждение непосредственно следует из сказанного. [14]
В процессе голосования все обоснованные разногласия и замечания должны быть полностью рассмотрены и согласованы перед передачей документа на следующий этап процесса. Заключительное утверждение стандарта происходит в Главном комитете по стандартам ASTM после того, как весь процесс разработки был проконтролирован и внесен в архив. [15]