Cтраница 1
Доказательство конечности для модифицированного алгоритма почти не изменяется и здесь не приводится. [1]
Доказательство конечности проводится в предположении, что существует нижняя граница х целевой функции хй. [2]
Доказательство конечности напряжений базируется на равенстве ( 11) - Однако ход рассуждений по выводу этого условия вызывает возражения. [3]
Доказательство конечности прямого алгоритма состоит из двух частей, связанных необходимым порядком следования. Сначала используя правило выбора ведущего столбца, докажем, что rs лексикографически возрастает от таблицы к таблице. Затем при помощи этого результата и свойств, которыми обладают допустимые правила выбора производящей строки, покажем, что условие rs - 0 ( условие оптимальности) должно иметь место после конечного числа преобразований. [4]
Доказательство конечности функций Грина дословно повторяет рассуждения, проведенные выше. [5]
Диаграммы, отвечающие функции & Gf ( у, х, J ] & Jla ( у ] & Jcp ( z J0. [6] |
Доказательство конечности вершинных функций произвольного порядка проводится совершенно аналогично. [7]
Аналогично доказательству конечности последовательности множеств ( 33) можно показать, что построение последовательности ( 79) обязательно завершится. [8]
Так как доказательство конечности группы Бернсайда В ( 6, г) содержит большие вычисления, то из-за недостатка места мы не будем здесь излагать его полностью. Доказательство состоит в том, что группа G с конечным числом образующих показателя 6 имеет 2-длину, равную единице, а потому в силу конечности групп В ( 2, г) и 5 ( 3, г) группа G сама конечна. [9]
Следующая группа упражнений посвящена доказательству конечности башни дифференцирований любой алгебры Лн с нулевым центром. Соответствующий результат для конечных групп принадлежит Виланду, а доказательство его в случае алгебр Ли - Шенкману. Оно в точности следует доказательству Виланда для группового случая, но использует некоторые результаты, справедливые именно для алгебр Ли. Благодаря этому достигается существенное упрощение, а конечный результат оказывается более сильным, чем в теоретико-групповом случае. [10]
Его вычисление и, в частности, доказательство предполагаемой конечности являются одной из труднейших и интереснейших проблем теории дио-фантовых уравнений. Первые примеры эллиптических кривых с конечной группой Ш были получены лишь во второй половине 80 - х годов. [11]
Решим два числовых примера, прежде чем дать доказательство конечности. [12]
Аналогичные рассуждения можно провести и для остальных компонент вплоть до ( п т) - й, что завершит доказательство конечности. [13]
В этом параграфе обсуждаются два вопроса: во-первых, будут даны интерпретации тех идей, которые были использованы и при доказательстве конечности в предыдущем параграфе и, во-вторых, будут выведены соотношения, которыми мы пользовались для доказательства конечности. [14]
Я крайне сомневаюсь в необходимости и возможности доказательства конечности суммы и произведения двух конечных множеств, ибо даже авторы учебников порой не чувствуют необходимости в таких доказательствах. Сумму и произведение натуральных чисел школьник находит алгоритмически, и весь свой опыт он должен поставить под сомнение, есл и хочет понять эту проблему. Ну хорошо, допустим, что он это сделает. Что доказывают такие факты - я имею в виду доказательство на уровне и так далее. Если так, нужно четко и ясно признать, что это неудовлетворительно, потому что единственное слабое звено в цепочке формализации остается нетронутым. [15]