Cтраница 2
Доказательство представляет собой развитие основной идеи доказательства леммы 2.3.1 и усложнено выкладками, имеющими технический характер. [16]
Для того чтобы сделать основную идею доказательства более прозрачной, мы сначала рассмотрим случай, когда все замкнутые геодезические на М невырожденны. При рассмотрении случая вырожденных замкнутых геодезических будет использована теорема Громола - Мейера. [17]
Для того чтобы уяснить основную идею доказательства теоремы о неполноте арифметики, необходимо предварительно познакомиться с рядом понятий и вспомогательных результатов. Прежде всего нужно определить формально само понятие полноты. [18]
В этом разделе мы кратко рассмотрим основные идеи доказательства сходимости обсуждаемого метода. [19]
Приведем здесь наглядное рассуждение, поясняющее основную идею доказательства этой теоремы. Для простоты будем считать, что функция / непрерывна на отрезке [ а; Ь ] и принимает на нем только неотрицательные значения. [20]
Здесь правая часть зависит от г, и основная идея доказательства состоит в том, чтобы определить z как соответствующую монотонную функцию от у, z z ( y), что будет сделано позднее. [21]
Тезис Черча не только сокращает доказательства, но также помогает выделить основную идею доказательства или построения, освобождая его от массы излишних деталей. Однако он основан больше на вере или уверенности. Насколько можно верить в его справедливость, зависит от свидетельств, которыми мы располагаем. [22]
Фрайдом [1] и является важным вспомогательным средством для доказательства теоремы о суммируемости 3.4.5, Основная идея доказательства применялась ранее для других целей Эрдешем, Тураном и Cere. Если бы ответ был положительным, то отсюда, между прочим, следовало бы, что все разложения по ортогональным полиномам каждой L) - интегрируемой функции ( С, a 0) - суммируемы почти всюду. [23]
В 1932 г., уже после выхода в свет книги Ингама, появилась работа Ландау ( Landau, 11, 72), в которой автору удалось, не изменяя основной идеи доказательств Винера и Икеара, осво - бодиться от ссылки на общую тауберову теорию Винера и обойтись лишь при помощи самых элементарных средств анализа. [24]
Для доказательства оптимальности алгоритма 2.2 для двух процессоров необходимо установить взаимосвязь между системой заданий и соответствующим расписанием. Основная идея доказательства заключается в следующем. [25]
Доказательство теоремы 5.7 довольно длинное, и мы его здесь не приводим. Основная идея доказательства та же, что в доказательстве теоремы 4.2 ( неравенство Юнга), хотя детали более сложные. [26]
С - отображение компактного многообразия в себя, / - индуцированный им эндоморфизм вещественных гомологии, rad - спектральный радиус. Основная идея доказательства этой формулы состоит в том, что энтропия диффеоморфизма может быть оценена через е-энтропию графиков итераций диффеоморфизма. Такой путь возвращает нас к общим истокам различных понятий энтропии. [27]
Основная идея доказательства, грубо говоря, такова. [28]
Основная идея доказательства теоремы состоит в следующем. Функция y f ( x), будучи непрерывной на отрезке [ а, Ь ], достигает на нем своего минимума и максимума. [29]
Парсеваля не имеет смысла. Комбинация основной идеи доказательства Н. Н. Боголюбова с теоремой Бохнера - Хинчина, как нам кажется, существенно сокращает доказательство. [30]