Cтраница 3
Подчеркнем, что мы рассматриваем квадратичные формы в произвольном вещественном линейном пространстве. В § 6 будут изучены квадратичные формы в евклидовом пространстве и будет доказана возможность приведения каждой квадратичной формы к каноническому виду даже в ортонормированном базисе. Исходя из результатов главы 5 в том же § 6 настоящей главы будет получено новое доказательство теоремы о приведении квадратичной формы к каноническому виду в произвольном ( не обязательно евклидовом) вещественном линейном пространстве. [31]
Подчеркнем, что мы рассматриваем квадратичные формы в произвольном вещественном линейном пространстве. В § 6 будут изучены квадратичные формы в евклидовом пространстве и будет доказана возможность приведения каждой квадратичной формы к каноническому виду даже в ортонормированном базисе. Исходя из результатов главы 5 в том же § 6 настоящей главы будет получено новое доказательство теоремы о приведении квадратичной формы к каноническому виду в произвольном ( не обязательно евклидовом) вещественном линейном пространстве. [32]
Подчеркнем, что мы рассматриваем квадратичные формы в произвольном вещественном линейном пространстве. В § 6 будут изучены квадратичные формы в евклидовом пространстве и будет доказана возможность приведения каждой квадратичной формы к каноническому виду даже в ортонормированием базисе. Исходя из результатов главы 5 в том же § 6 настоящей главы будет получено новое доказательство теоремы о приведении квадратичной формы к каноническому виду в произвольном ( не обязательно евклидовом) вещественном линейном пространстве. [33]
Позднее Эрдеш, Гиллман и Хенриксен [1955] доказали, что любые два вещественно замкнутых поля мощности o i, порядки которых суть % - множества, изоморфны. Кочен заметил, что этот результат плюс существование % - насыщенных моделей мощности &1 дают новое доказательство теоремы Тарского. Настоящее доказательство является упрощением доказательства Кочена. [34]
До недавнего времени было известно мало общих фактов по проблеме сопряженности для групп с одним определяющим соотношением и без кручения. Тем не менее, теперь представляется вероятным, что геометрические методы ( см. 4.1.11) могут привести к ее решению. Идея применения геометрических методов к группам с одним определяющим соотношением была предложена Линдоном, который использовал диаграммы сокращения для нового доказательства теоремы о свободе. [35]
Интерес ее заключается в следующем. Как показал Адо [1] г каждая алгебра Ли допускает изоморфное матричное представление. Биркгоф [2] дал примеры групп Ли, которые не допускают изоморфных матричных представлений. Картан [6] дал новое доказательство теоремы Адо, из которого, в частности, вытекает существование изоморфных матричных представлений связных, односвязных разрешимых групп. К этим результатам мы добавляем следующий ( теорема 1): каждая связная разрешимая линейная группа разлагается в прямое произведение своей максимальной компактной подгруппы и односвязного нормального делителя. [36]
Спроектируем данный многогранник из центра О на поверхность тара, принимая за проекцию кажцой точки многогранника ту точку поверхности шара, которая лежит с ней на одном луче, выходящем из точки О. Граням многогранника будут соответствовать некоторые сферические многоугольники, его ребрам и вершинам - стороны и вершины этих многоугольников. Выразив ту же сумму площадей через число вершин 5, число граней F и число ребер А многогранника, мы и получим новое доказательство теоремы Эйлера. [37]
Интересна связь этого результата с теоремами о покрытии. Отметим, что время ожидания превосходит t тогда и только тогда, когда каждый подынтервал 0, t длины содержит по крайней мере один момент поступления. Таким образом, (2.6) утверждает: если в процессе Пуассона на О, t происходит ровно п - 1 поступлений, то условное распределение моментов поступления, равномерно. С другой стороны, (2.6) дает новое доказательство теоремы о покрытии с помощью рандомизации. [38]