Cтраница 2
Доказательство теоремы 4.7 получается несложной проверкой. [16]
Доказательство первой части 6.2 производится несложной проверкой. [17]
Доказательство первой части утверждения 8.3 получается несложной проверкой. [18]
Доказательство того, что ( 6) - гомоморфизм, получается несложной проверкой. [19]
Непосредственно с помощью формулы (5.2) проверяется, что U ( Т) - / 2-унитарный оператор, а из 3.21 также с помощью несложной проверки вытекает, что U ( T) - равномерно положительный оператор. [20]
Каждый такой класс называется примитивным классом алгебр. Несложная проверка показывает, что всякий примитивный класс алгебр замкнут относительно полных прямых сумм, гомоморфизмов и операции взятия подалгебры в алгебре. Благодаря этим важным свойствам примитивные классы алгебр играют особую роль. С другой стороны, согласно известной теореме Биркгофа [3] ( см. также Добавление) всякий класс алгебр, замкнутый относительно указанных трех операций, является примитивным классом. Таким образом, примитивные классы - их называют еще многообразиями - имеют также хорошую инвариантную характеристику. [21]
Теорема 3.1 может быть доказана методом истинностных таблиц. Несложная проверка предоставляется читателю. [22]
Теорема 3 1 может быть доказана методом истинностных таблиц. Несложная проверка предоставляется читателю. [23]
Если /, у2, то коммутатор равен единице. При / 1, 2, / 2 ( или наоборот) несложная проверка показывает, что коммутатор лежит в Qm. Но их можно выразить через остальные / ец. [24]
Если точного совпадения линий не получится, нужно ослабить отверткой два винта 3 ( фиг. На этом заканчивается несложная проверка взаимной перпендикулярности линеек чертежной машины. [25]