Cтраница 3
Воспользовавшись возрастанием значений кондукторов, получаем локальное доказательство предыдущего следствия. Доказательство из [ Bui ] использует понятие фундаментального страта и функциональное уравнение для дзета-функции, ассоциированной с тг. [31]
О матрице, имеющей форму, описанную в предыдущем следствии, говорят, что она имеет жорданову каноническую форму. [32]
Доказательство получается непосредственно из эквивалентности утверждений 1 и 3 предыдущего следствия. [33]
Любые два базиса для La ( E) в предыдущем следствии отличаются множителем, являющимся единицей в R. R, и с должно быть единицей. D есть в точности А. [34]
Любые два базиса для Lna ( E) в предыдущем следствии отличаются множителем, являющимся единицей в R. R, и с должно быть единицей. D есть в точности А. [35]
Следствие 9.2. Пусть выполнены условия 1) - 3) предыдущего следствия. [36]
Это вытекает из равенства ( 1) при L N и предыдущего следствия. [37]
Поэтому мы часто будем использовать Нм вместо НКм, тем более, что предыдущее следствие, как правило, будет оставаться справедливым. [38]
Отображение и тогда и только тогда слабо компактно, когда выполняется условие ( 1) предыдущего следствия. [39]
С - С2 и С4 - С2 - замкнутое множество, так как оно по предыдущему следствию полиэдрально. Согласно теореме 11.4, в этом случае возможно строгое отделение. [40]
Поскольку согласно определению операция перестановки типа II является более сильной чем операция перестановки типа I, то из предыдущего следствия вытекает следующее утверждение. [41]
Угол между прямой и плоскостью равен углу между прямой а плоскостью, им симметричными; это вытекает из определения угла между прямой и плоскостью и из предыдущего следствия. [42]
Замечание 4.7. В классе замкнутых отображений понятия собственности и бикомпактное ( а стало быть, п совершенности) совпадают, ибо бп компактность есть тривиальное следствие собственности, а обратное было доказано в предыдущем следствии. [43]
Равенство первого и последнего скалярных произведений вытекает просто из следствия 33.2.1, поскольку F G ( GF) из-за теоремы 38.5. С другой стороны, если множества ri ( dom Fu) и ri ( dom G) пересекаются, то первое равенство гарантируется предыдущим следствием. [44]
По предыдущему следствию образ A ( Y ] оператора А a ( D): Е - Е содержит все квазимногочлены. [45]