Cтраница 1
Заключение теоремы 4 - 2.12 справедливо и для недвудольных графов. [1]
Заключения теоремы (1.3) сохраняются, если f интегрируема на любом конечном интервале и если, кроме того, f ( t) / t стремится к нулю при t - оо и имеет ограниченное изменение в окрестности t - оо. [2]
Заключение теоремы утверждает, что имеется конечная последовательность формул, такая, что: каждая формула последовательности является ( а) одной из формул Г, или ( с) аксиомой или ( d) непосредственным следствием по правилу 2 из двух предыдущих формул; и последняя формула последовательности есть формула А В. [3]
Заключение теоремы справедливо и без предположения D L00 ( X), но доказательство существенно усложняется, а выигрыш в общности не представляет здесь большого интереса. [4]
Заключение теоремы можно кратко сформулировать, сказав, что отображение F является локальным диффеоморфизмом. [5]
Заключение теоремы 1 полезно сравнить с результатом о рождении бесконечного числа различных семейств долгопериодических решений в задаче о вынужденных колебаниях маятника, рассмотренной в п, 6 § 11 гл. [6]
Заключение теоремы о сходимости биортогонального ряда ( I) проводится аналогично. [7]
Поэтому заключение теоремы 12.1.6 остается справедливым и для любых двух смежных критических ребер в произвольном графе. [8]
Доказать заключение теоремы 1.4 при следующих предположениях: R - некоторое 2 - Р1 - колыдо, А - левое и правое подкольцо Оре из R и В - финитарно целое слева и справа расширение А в его теле частных. [9]
Мы сохраняем заключение теоремы, изменяя ее предпосылку. [10]
Таким образом, заключение теоремы 12.4 в этом случае не выполняется. [11]
Допустим, что заключение теоремы неверно. [12]
Предположим, что заключение теоремы неверно. [13]
Другими словами, заключение теоремы 1 утверждает, что матрицы из К одновременно приводятся к нижнему треугольному виду. В этом случае говорят также, что группа К триангулируема. [14]
Предыдущее доказательство и заключение теоремы сохраняют силу и в случае сферического сегмента. [15]