Cтраница 2
По предположению индукции пространство W v.V: / C - u 0 ненулевое. Так как / С является идеалом, пространство W инвариантно относительно L: если хеL, у е / С, ше W, то yx-w xy-w - [ x, y ] - w Q. [16]
По предположению индукции как а и а, так и а и а имеют одинаковый знак и, следовательно, а и а также имеют одинаковый знак. [17]
Согласно предположению индукции, все U должны быть полупростыми; но тогда и V оказывается полупростым. [18]
По предположению индукции теорема применима к Гь Другими словами, множество К тех точек из / С, которые остаются неподвижными относительно элементов из Гь не пусто. Очевидно, что множество К замкнуто и выпукло и потому компактно. [19]
По предположению индукции как V, так и Т имеют системы, удовлетворяющие требуемым условиям. Sp m) - система, удовлетворяющая сформулированным условиям. [20]
По предположению индукции в матрице системы (3.1) существует обратимая ( га-1) х ( га-1) - подматрица В. Можем считать, что она расположена в первых га - 1 столбцах. [21]
По предположению индукции существует такая функция ( р из 9Я2гг - 1 m ( Tn i56), что ( р ( о. Заменим в функции все константы из множества Л2п - 1 на константы с теми же значениями из множества Л2п - Заменим все операции, входящие в функцию у. [22]
По предположению индукции второй сомножитель равен. [23]
По предположению индукции произведение числа букв clt входящих в меньший перевертыш букв а, на число букв с2, входящих в меньший перевертыш букв Ь, есть четное число. [24]
По предположению индукции i счетчиков М содержат слишком большие числа, чтобы влиять на - эквивалентность конфигураций. Следовательно, М теперь может иметь не более q ( t l) h - i г-неэквивалентных конфигураций, где t - наибольшее из чисел, содержащихся в k - i влияющих на отличимость счетчиках. [25]
По предположению индукции для каждой из них теорема справедлива. Тогда и во всей игре А имеет выигрышную стратегию. Для того чтобы ее построить, достаточно сохранить в поддереве At выигрышную стратегию и добавить стрелку, ведущую из корня а к корню yl благоприятного поддерева. [26]
По предположению индукции этот граф р-раскрашиваем. [27]
Согласно предположению индукции функция / ( t) должна иметь не более п - 2 действительных корней, вопреки тому, что было сказано ранее. Полученное противоречие и завершает индукцию. [28]
По предположению индукции этот ( k - 1) - шаговый вывод в G может быть смоделирован ( k - 1) - шаговым выводом в СВ. [29]
Согласно предположению индукции для этой матрицы лемма справедлива, а значит, она справедлива и для первоначальной матрицы. [30]