Cтраница 1
Двойственное рассуждение показывает, что коединица равна г FeG. Можно непосредственно проверить, что последние формулы определяют естественные преобразования / - t GGFF и FFGG - ь - /, которые удовлетворяют треугольным тождествам. [1]
Двойственное рассуждение применимо к копределам. [2]
Второе утверждение доказывается двойственным рассуждением. [3]
Равенство ( е) устанавливается двойственными рассуждениями. [4]
МО ] - Отсюда и из двойственного рассуждения с З - классами следует, что / и Л равномощны. Отождествляя K ( i) с / и тем самым Л с /, мы получаем B Jf ( G; /, /; Р), где Р - диагональная / X / - матрица. [5]
Справедливость свойства ( 56) доказывается двойственными рассуждениями. [6]
Доказательство второго неравенства, указанного в лемме 5, проводится двойственным рассуждением. [7]
Ограничимся доказательством первой из них, так как вторая доказывается двойственным рассуждением. [8]
Этот пункт является дуальным к а) и доказывается с помощью двойственных рассуждений. [9]
Двойственное рассуждение доказывает единственность верхней грани. [10]
Второе утверждение доказывается двойственным рассуждением. [11]
Неравенства АВ А, В дока-ииваются двойственным рассуждением. [12]
Равенство ф ( аЬ) ф ( а) ф ( Ь) доказывается двойственным рассуждением. [13]
Я, шлделим в L некоторую максимальную цепь С. В силу леммы 1, существует w sup С. С и что, присоединив к С элемент х - - w, снова получим цепь. Существование нуля доказывается двойственным рассуждением. [14]