Cтраница 3
Доказательство предложения основано на двух леммах, первая из которых элементарна и бывает полезна в различных ситуациях. [31]
Доказательство зтого предложения составляет содержание § G1 - D4, а в § D4 суммируются все наши рассуждения. [32]
Теперь доказательство предложения вытекает из теоремы о неявной функции. [33]
Поэтому доказательство предложения 9.25 будет завершено, если мы покажем, что Ind ( с) dim В. [34]
Почему доказательство предложения 3.1 не проходит для областей главных идеалов, а доказательство предложения 3.2 - для областей Безу. [35]
Повторяя доказательство предложения BI. [36]
Поэтому интуиционистское доказательство предложения существует такое п, что Р ( п), должно быть конструктивным в следующем ( узком) смысле: это доказательство действительно представляет пример такого п, что Р ( п), или, по крайней мере, указывает метод, позволяющий в принципе найти такой пример. [37]
В доказательстве предложения мы будем использовать некоторые факты о якобианах кривых, доказательства которых выходят за рамки этой книги. [38]
При доказательстве предложения для операторов Pj ( xD), символы которых при X Х0 имеют вещественный нуль высокого порядка, нам понадобится более детальная информация о структуре разложения ( 4) в окрестности такой точки. [39]
Этим завершается доказательство предложения. [40]
Чтобы завершить доказательство предложения 29.6, остается решить две несложные задачи. [41]
После этого доказательство предложения 29.6 будет завершено. [42]
Тем самым доказательство предложения 2.4 закончено. Из него следует, в частности, что если р ( х, D) - формально гипоэллип-тический оператор постоянной силы, то гипоэллиптичен любой оператор Р0 ( D) р ( х0, D) с постоянными коэффициентами, получаемый замораживанием коэффициентов р ( х, D) в некоторой точке. [43]
Это завершает доказательство предложения и показывает, что Aff / 4 - полупрямое произведение. [44]
Это завершает доказательство предложения. [45]