Cтраница 3
В силу теоремы из § 10 теорема является доказанной. [31]
В силу теоремы Стильтьеса - Витали, достаточно доказать ограниченность Вп [ / ( х) ] во всех точках рассматриваемого контура. [32]
В силу теоремы 1 мера множества Л положительна. [33]
В силу теоремы 2.2 можно считать, что Рп представлен в виде объединения n - мерных кубов / в количестве, равном числу вершин Рп, Пусть р Zp - Рп - проекция на пространство орбит. [34]
В силу теоремы 9.2 он содержится в некотором / - классе ( /) того же множества. Из определения ( / 1) - класса следует, что для любой входной буквы х все определенные состояния вида ах ( где а - любое состояние из Кр ( 1 - -, являются / - совместимыми и входят, следовательно, в один и тот же / - класс. Таким образом, множество К ( / 1) выдерживает умножение на все входные буквы. Используя первую часть данного доказательства, получим, что все состояния множества Р ( / 1) - совместимы. [35]
В силу теоремы 2.2 склеивание возможно только между номерами первой и второй группы. Поскольку индексы номеров второй и третьей группы различаются на двойку, склеивание номеров этих групп невозможно. [36]
В силу теоремы 4 предыдущего параграфа заключаем, что тА свободна, откуда и А свободна. [37]
В силу теоремы Н.Г. Чеботарева ( см. [4], главы IV, V) о ме-роморфных функциях, отображающих верхнюю полуплоскость на свою часть, можно утверждать, что все нули числителя и знаменателя функции Fa () вещественны, просты и перемежаются. [38]
В силу теоремы 5.1 оно, по крайней мере, не расширяет множества А-точек сильной устойчивости в смысле приведенного выше определения. Более детальное рассмотрение этих двух определений обнаруживает их равносильность. [39]
В силу теоремы 1.2 для доказательства теоремы 5.1 достаточно установить следующую лемму. [40]
В силу теоремы 5.1 множество точек сильной устойчивости уравнения (0.1), если оно только не пусто, состоит из конечного ( бесконечного) числа открытых интервалов. [41]
В силу теоремы 1.2 по-прежнему можно будет утверждать, что точки [ 1 сильной устойчивости уравнения (5.14) образуют открытое множество. [42]
В силу теоремы 7.4 К-системы достаточно выразительны и в них могут быть представлены сложные, в том числе не алгоритмические процедуры. Однако на практике бывает удобно выполнять сложные преобразования последовательным применением более простых, что связано с реальными ограничениями на память системы, а также с особенностями самого человека, разрабатывающего продукции К-системы. [43]
В силу теоремы 8.1 любое К-счетное объединение и пересечение множеств является множеством. [44]
В силу теоремы Л. С. Понтрягина о полной регулярности топологических групп, мощность связных топологических групп не может быть меньше мощности континуума. [45]