Cтраница 1
Схема доказательства теоремы 1.2. Предположим, что накрывающий поток / на М имеет полутраекторию ( для определенности будем считать ее положительной) 7, которая неограниченна и возвращается в некоторую компактную область U С М при сколь угодно больших значениях времени. Так как у потока / множество точек покоя конечно, то полутраектория 7 имеет в U по крайней мере одну предельную точку, отличную от точки покоя. [1]
Схема доказательства теорем 5.5, 5.6. Если I тг ( 7) - замкнутая траектория, то в силу наличия асимптотического направления она негомотопна нулю и результат очевиден. [2]
Схема доказательства теоремы 5.1. Как и в случае гиперболических уравнений доказательство основано на следующих двух утверждениях. [3]
Эта схема доказательства теорем существования и единственности решения основной начальной задачи становится неприменимой в упомянутом на стр. [4]
Применим схему доказательства теоремы 4.1. Именно, пусть NX) - фиксированное число. [5]
Набросайте схему доказательства теоремы 14.11. Укажите, почему наш метод переименования переменных при применении G-правила является адекватным. [6]
Набросайте схему доказательства теоремы 14.11. Укажите, почему наш метод переименования переменных при применении Q-правила является адекватным. [7]
В соответствии со схемой доказательства теоремы 1 вырисовывается следующий метод выражения S ( v) через элементарные симметрические многочлены. [8]
В соответствии со схемой доказательства теоремы I вырисовывается следующий метод выражения S ( v) через элементарные симметрические многочлены. [9]
Нетрудно заметить, что схема доказательства теоремы 7.14 переносится на более общий случай. [10]
Доказательство этой леммы проведем по схеме доказательства теоремы 1.23. Подпространство управляемых состояний порождается вектор-столбцами матриц В, АВ... [11]
Доказательство последней теоремы может быть выполнено по схеме доказательства теоремы 4.1, но является более сложным. [12]
Из следствий 3.2.2, 3.2.3, теоремы 4.2.3 и схем доказательств теорем 1.1, 1.2 вытекают следствия. [13]
Используя общие результаты о модулях над Z, наметить схему доказательства теоремы о конечно порожденных абелевых группах. [14]
Читатель без труда докажет теорему АЛЛ, опираясь на схему доказательства теоремы 2.12. В качестве комментария отметим, что предположение об измеримости функции - L необходимо для справедливости теоремы АЛЛ, в то время как невозрастание функции х-ву ( х) нигде не используется. [15]