Cтраница 2
W аа l - не триангуляция. [16] |
Цепочка предыдущих лемм такова, что каждая лемма сохраняет свойства W, полученные с помощью предыдущих лемм. [17]
Ввиду предыдущей леммы достаточно показать, что множество S совпадает с ядром представления Г относительно G / P. Тогда [ G, а ] с Р, и поэтому а является почти - элементом. Тогда [ G, а ] принадлежит Я ( С), и эта группа является периодической тт-группой. [18]
Используя предыдущую лемму нетрудно показать, что ( х) ду у G V9 V9 для любого х из V. Для завершения доказательства леммы достаточно отметить, что если kx 0, то в качестве а выбираем нулевой элемент. [19]
Используя предыдущую лемму, можно построить два различных фрагмента дерева D в зависимости от наличия отрицания над одним из его листьев. [20]
Объединяя предыдущую лемму с теоремой Лерэ - Шаудера, придем к следующему результату. [21]
Применяя предыдущую лемму, получим, что множество значений оператора ( Л / - Т) не совпадает со всем пространством. [22]
По предыдущей лемме условие (1.1) имеет место. Так как условие (1.2) означает, что 1 6и является подстановкой, то 1 6а в силу выбора 6а является подстановкой. Следовательно, функция ( 1 6а г является подстановкой, и по предыдущей лемме 1 8ia - подстановка, т.е. условие (1.2) выполняется. [23]
В предыдущей лемме построены соответствия S и Т между Л - модулями и В-модулями, обладающие свойствами TS ( М) & М и ST ( N) N для любого Л - модуля М и любого В-моду-ля N. Ввиду функториальности S и Т индуцируют взаимно обратные биекции между классами изоморфизма. [24]
В предыдущих леммах и теоремах встречались последовательности Я / ( А) и [ s / ( A) - соответственно собственные числа и s - числа вполне непрерывного оператора А. В случае вполне непрерывного оператора 5-числа, вообще говоря, составляют бесконечную последовательность. Собственные числа Я / нумеруются по убыванию модулей с учетом их алгебраических крат-ностей, так что каждое число Я / фигурирует в суммах столько раз, какова его кратность. Используемые выше суммы и произведения могли содержать и бесконечное число слагаемых и сомножителей, причем они могли быть и расходящимися. [25]
В силу предыдущей леммы ( и определений) она коммутативна. [26]
В силу предыдущей леммы модуль сигнатуры формы Ка не превосходит числа целых точек куба, лежащих в плоскости Г, что и доказывает теорему. [27]
В силу предыдущей леммы либо полу-траектории f - Ml лежит внутри, а полутраекторин L - не кривой С, составленной из дуги MtM2 траектории L и чнстт. [28]
В силу предыдущей леммы достаточно доказать, что для некоторого значения Г0 при t - T0 спектры всех операторов Л () попадут внутрь полуплоскости Re К - VQ. Действительно, в противном случае существовала бы последовательность tn - оо, для которой каждый оператор A ( tn) имел бы точки спектра вне этой открытой полуплоскости. Поскольку спектр С лежит внутри рассматриваемой полуплоскости, то спектры A ( tn), начиная с некоторого номера, попадут в нее, что противоречит допущению. Тем самым лемма доказана. [29]
Сохранял обозначения предыдущих лемм, рассмотрим при любом с 0 окрестног / rh континуума К. [30]