Геометрия пространств со скалярным произведением / Скалярные произведения / 1 2 3 4 5 6 7 8 9 10 11
7. Одномерные ортогональные пространства. Пусть dim L = 1, g - ортогональное скалярное произведение на L. Возьмем любой ненулевой вектор . Если g(l, l) = 0, то , так что g вырожденное и нулевое. Если , то для любого значение g(xl, xl) равно ax2, так что все значения g(l, l) на ненулевых векторах в L составляют в мультипликативной группе поля смежный класс по подгруппе, состоящей из квадратов: . Этот смежный класс полностью характеризует невырожденное симметричное скалярное произведение на одномерном пространстве L: для (L1, g1) и (L2, g2) два таких класса совпадают тогда и только тогда, когда эти пространства изометричны. В самом деле, если g1(l1, l1) = ax2, g2(l2, l2) = ay2, где , то отображение f: l1 - y -1xl2 определяет изометрию L1 с L2, что доказывает достаточность. Необходимость очевидна.
Так как R*/(R*)2 = и C* = (C*)2, получаем следующие важные частные случаи классификации.
Над R любое одномерное ортогональное пространство изометрично одномерному координатному пространству с одним из трех скалярных произведений: xy, - xy, 0.
Над C любое одномерное ортогональное пространство изометрично одномерному координатному пространству с одним из двух скалярных произведений: xy, 0.
8. Одномерные эрмитовы пространства. Здесь рассуждения аналогичны. Основное поле равно C; вырожденность формы равносильна ее обращению в нуль. Если же форма невырождена, то множество значений g(l, l) для ненулевых векторов есть смежный класс подгруппы в группе C*, т. к. , и пробегает все значения в , когда . Но каждое ненулевое комплексное число z однозначно представляется в виде , где , а лежит на единичной комплексной окружности, которую мы обозначим
-1-2-3-4-5-6-7-8-9-10-11-
|