Cтраница 1
Индуктивное предположение доказывает теперь требуемый результат. [1]
Индуктивное предположение, используемое в строке 7, таково. [2]
Согласно индуктивному предположению, ( L - 1) - битовые диагональные преобразования точно Q-вычислимы и, значит, порождаются определенными 2ь - мерными диагональными унитарными матрицами, все собственные значения которых имеют четное вырождение. Перестановки базисных состояний позволяют Q точно вызвать любое диагональное унитарное преобразование с этим вырождением. Замыкание этого множества вырожденных преобразований относительно умножения - группа диагональных преобразований, плотная в группе всех 2 -мерных диагональных унитарных преобразований. [3]
Сделаем индуктивное предположение: функции Tk-i ( x) и Ть ( х) на отрезке - 1; 1 ] совпадают с многочленами соответственно / г - 1 - й степени и k - и степени. [4]
Применяя индуктивное предположение к остаточным функциям по Xi получим реализацию / бесповторным термом. [5]
Примем индуктивное предположение, что устройство, осуществляющее слияние двух подмассивов, размер каждого из которых равен 2 k - l элементам, в общий подмассив из 2k элементов, существует. [6]
Сделаем индуктивное предположение: функции Tk i ( x) и Т1 () на отрезке [ - 1; I ] совпадают с многочленами соответственно k - 1 - й степени и 6 - й степени. [7]
Сделаем индуктивное предположение: функции 7 i ( x) и Tfe ( jc) на отрезке [ - 1; 1] совпадают с многочленами соответственно k - 1 - й степени и & - й степени. [8]
Сделаем индуктивное предположение: функции Tk-i ( x) и Tt ( x) на отрезке [-1; 1] совпадают с многочленами соответственно / с - 1 - й степени и fe - й степени. [9]
Сделаем индуктивное предположение: функции Tk i ( x) и Т, ( х) на отрезке [ - 1; 1] совпадают с многочленами соответственно k - 1 - й степени и k - и степени. [10]
Учитывая индуктивное предположение, приходим к заключению, что расписание s обслуживания требований множества N, построенное в соответствии с процедурой, выполняемой на каждом шаге алгоритма, является искомым. [11]
Учитывая индуктивное предположение, приходим к заключению, что расписание, построенное в соответствии с описанным алгоритмом, является оптимальным. [12]
Используя индуктивное предположение, мы сначала докажем требуемый результат локально. Рассмотрим некоторую линейную трубку GxKV - M. Тогда К действует на V ортогонально, и потому это действие можно считать открытым конусом над действием группы К на единичной сфере 5 пространства V. [13]
Применяя теперь индуктивное предположение к каждому из двух слагаемых в последнем выражении в ( А. Тем самым завершено доказательство ( А. [14]
Сделаем следующее индуктивное предположение: для любой матрицы порядка п - 1 над Р [ х ] существует каноническая форма. Обозначим буквой 5 класс матриц, эквивалентных матрице А ( х), а буквой Т - множество всех ненулевых элементов матриц из S. [15]