Cтраница 1
Локальная теорема Мак-Лейна [30] также почти непосредственно вытекает из внутренней локальной теоремы. [1]
Локальная теорема для плотностей сумм независимых случайных величин, теория вероят, и ее прямей. [2]
Локальная теорема единственности доказана. [3]
Доказана локальная теорема, сводящая вопрос о существовании такого представления на случай алгебр с конечным числом образующих, и указаны некоторые условия для существования изоморфного представления в случае конечного числа образующих. Показано, далее, что изоморфно представимая алгебра с конечным числом образующих не может быть изоморфной никакой своей истинной фактор-алгебре. [4]
Справедлива следующая локальная теорема существования и единственности решения задачи Коши. [5]
Справедлива следующая локальная теорема существования и единственности решения этой задачи. [6]
Даже общие локальные теоремы существования нелегко доказать. [7]
Доказательство локальной теоремы закончено. [8]
Доказательство локальной теоремы приведено в приложении. [9]
Доказательство локальной теоремы Лапласа довольно сложно, поэтому мы приведем лишь формулировку теоремы и примеры, иллюстрирующие ее использование. [10]
Из основной локальной теоремы УИП ( см. [5]) непосредственно следует, что каждое проективное соответствие является псевдопроективным. [11]
Рихтер, Многомерные локальные теоремы для больших уклонений, Теория вероят. [12]
Значительная часть алгебраических локальных теорем может быть выведена из следующей основной локальной теоремы: для совместимости бесконечной системы формул узкого исчисления предикатов, допускающего отношение тождества и произвольное множество символов для индивидуальных объектов и предикатов, необходимо и достаточно, чтобы была совместна каждая подсистема данной системы. [13]
Для доказательства конкретных локальных теорем приходится обычно проводить вспомогательные построения. Целью настоящей заметки является указать несколько видов локальных теорем, конкретные применения которых не требуют этих вспомогательных построений. В качестве примера указана одна новая теорема об упорядоченных группах. [14]
В большинстве интересных конкретных локальных теорем, например теоретико-групповых, речь идет о свойствах, непосредственно записываемых не в исчислении 1 - й ступени, а в исчислении предикатов 2 - й ступени. Поэтому представляется важным описать, по возможности, более широкий класс формул 2 - й ступени, выражающий предикаты, обладающие локальным свойством. Требуется лишь, чтобы описание это было формальным ( синтаксическим) и чтобы формулы этого класса давали возможность доказывать интересные теоремы в конкретных теориях. Формулы эти конструируются следующим образом. [15]