Cтраница 1
Аналог предложения 15.2 для отношения [ не имеет места ( см. упражнение 2), в то время как для предложения 15.3 соответствующее утверждение справедливо. [1]
Хотя аналог предложения 15.2 для ( не имеет места, более слабый вариант соответствующего утверждения является очень важным. [2]
Однако аналог предложения 2, вообще говоря, места не имеет. [3]
Доказательство аналога предложения 3.2 предоставляется читателю. [4]
Не существует никакого удовлетворительного аналога предложения 1.1, который выражал бы связь между 0-минималь-ными правыми или левыми идеалами и 0-минимальными идеалами. Дальнейшие результаты в этом направлении см. в книге Клиффорда и Престона [ 1967, гл. [5]
Ясно, что аналог предложения 10.8 можно получить и для изотропных геодезических, используя теорию об изотропном индексе, развитую в разд. С другой стороны, применяя результат Райчаудхури, можно получить более сильное утверждение ( см. Хокинг и Эллис ( 1977, с. Поэтому вместо того, чтобы прослеживать далее здесь отмеченную аналогию, мы отсылаем читателя к разд. [6]
Следующее предложение является аналогом предложения 2 для ВР-морфизмов. [7]
Напротив, для алгебраических групп аналог предложения 4 не имеет места. Действительно, примем за G группу GL ( У), где V - двумерное векторное пространство над полем рациональных чисел. Тогда группа G / RS изоморфна К 1Къ, это бесконечная группа. [8]
Другие примеры можно построить с помощью аналога предложения 1.5, точная формулировка котороголфедоставяя-ется читателю. [9]
Предостережение 2.14. Следует иметь в виду, что аналоги предложения 2.11, а также и его следствия в случае комплексно. [10]
Имея в виду дальнейшие приложения, мы кратко обсудим аналог предложения 2.2 для неодносвязных многообразий. [11]
Теорема 6.9 является аналогом теоремы 6.3. Предоставляем читателю сформулировать аналоги предложений пп. [12]
ЛОГИЧЕСКАЯ ФОРМУЛА - выражение в языке формальной логики, являющееся аналогом предложения. Как правило, определение формулы имеет индуктивный характер: выделяется класс выражений, называемых элементарны-м и, или атомарными, формулами, и указываются правила, позволяющие из уже построенных формул строить новые формулы, используя символы логических операций. Всякая пропозициональная переменная есть ( элементарная) формула. [13]
Если распознаваемый язык L A задан в терминах моногенного Л - автомата, распознающего L, то процесс минимизации использует следующий аналог предложения 1.9 для автоматов. [14]
ЛОГИЧЕСКАЯ ФОРМУЛА - формула, содержащая лишь символы логических операций и переменные для высказываний и предикатов, то есть выражение в языке формальной логики, являющееся аналогом предложения. [15]