Cтраница 1
Основная идея доказательства этого утверждения принадлежит Кебе, который использовал аналогичное утверждение при п 2 для доказательства того, что - тг ( Л ( Г)) 0 для группы Шоттки Г на плоскости. [1]
Основная идея доказательства состоит в следующем. [2]
Основная идея доказательства состоит в том, чтобы подогнать оператор под выбранную некоторым образом последовательность Вейля за счет подбора такой калибровки, что после ее применения вектор-потенциал становится достаточно малым на носителе элементов вейлевской последовательности. [3]
Основная идея доказательства состоит в следующем. Мы сначала покажем, что если нерегулярный язык разрешим на односторонней магазинной машине, то существуют слова, требующие для своей записи довольно длинной магазинной ленты, которая в дальнейшем должна быть прочитана. [4]
Основная идея доказательства ( восходящая к Лебегу) проста и остроумна. Нетрудно видеть, что если две последовательности [ ип ] и и функций из В0 сходится монотонно к одному и тому же пределу п, то последовательности Е ( м) I. [5]
Основная идея доказательства состоит в следующем. Теорема существования Фукусимы ( стандартная версия теоремы 5.5.18) применима только к формам на локально компактных, пространствах и не охватывает случай формы EQ. Кусуока использует теорему Гельфанда о представлении и с ее помощью находит локально компактное сепарабельное метрическое пространство М, в которое пространство В непрерывно и плотна вкладывается. My ji), где Д - вероятностная мера, индуцируемая вложением пространства В в М, и применяет теорему существования Фукусимы для нахождения соответствующего процесса на М, Рассуждение завершается демонстрацией того, что множество М - В имеет нулевую емкость, так что процесс фактически живет на В. [6]
Основная идея доказательства состоит в том, что равенство ( 2) устанавливается сперва для всех функций, принадлежащих классу S бесконечно дифференцируемых быстро убывающих функций, которые всюду плотны в L. [7]
Основная идея доказательства теоремы состоит в том, чтобы постараться уничтожить возмущение при помощи подходящей замены переменных. Эта идея имеет много приложений ( см., например, предыдущую и следующую главы) и является основой всего формального аппарата теории возмущений. [8]
Основная идея геделевского доказательства этих теорем заодно доставляет нам и метод, позволяющий произвести математическое уточнение некоторых логических и теоретико-множественных парадоксов, из числа тех, в которых существенную роль играет соотношение между обозначением и обозначаемым и для которых в последнее время получило права гражданства название семантических парадоксов, или же семантических антиномий. [9]
Основная идея доказательства теоремы состоит в следующем. [10]
Основной идеей доказательства является преобразование функции f ( х) к такой функции, которая удовлетворяет условиям теоремы Ролля. [11]
Основной идеей доказательства Зельберга является то, что он применяв. C ( s), а к C ( s), умноженной на квадрат частной суммы ряда для C ( s) - 1 / 2 подобно юму, как это делалось при доказательствах наиболее сильных результатов гл. [12]
Изложим основную идею доказательства. [13]
Более того, основная идея доказательства и более поздней теоремы Зигеля о неинтегрируемости гамильтоновых систем вблизи положений устойчивого равновесия [14] тоже восходит к Пуанкаре. Рассуждения основаны на подробном исследовании некоторых множеств долгопериодических решений канонических систем дифференциальных уравнений. [14]
В самом деле, основная идея генценовского доказательства связана не с тем, что в рассматриваемом формализме имеется какая-либо возможность исключать трансфинитные средства, а только с тем, что, с одной стороны, выводы данного формализма в известной мере могут быть вполне упорядочены по степени их сложности и что, с другой стороны, для таких выводов, заключительные формулы которых изображают нечто в элементарном смысле ложное, может быть определена редукция, в результате однократного применения которой к заданному выводу, так сказать, исключается некоторый шаг этого вывода и порядковое число вывода при этом уменьшается. [15]