Геометрия пространств со скалярным произведением / Скалярные произведения / 1 2 3 4 5 6 7 8 9 10 11
Наоборот, если базис {e1, ..., en} фиксирован, а G - любая матрица размера над , то отображение (или в полуторалинейном случае) определяет скалярное произведение на L с матрицей G в этом базисе, как показывают очевидные проверки. Таким образом, наша конструкция устанавливает биекцию между скалярными произведениями (билинейными или полуторалинейными) на n-мерном пространстве с базисом и матрицами размера .
Выясним, как меняется G при замене базиса. Пусть A - матрица перехода к штрихованному базису. В координатах: , где - столбец координат вектора в старом базисе, а - столбец его же координат в новом. Тогда в билинейном случае
так что матрица Грама штрихованного базиса равна AtGA. Аналогично, в полуторалинейном случае она равна .
В разделе Линейные пространства и линейные отображения матрицы служили нам в основном для записи линейных отображений, и интересно выяснить, нет ли естественного линейного отображения, связанного с g и отвечающего матрице Грама G. Оно действительно существует, и его конструкция дает равносильный способ задания скалярного произведения.
б) Пусть - скалярное произведение. Поставим в соответствие каждому вектору функцию , для которой
Эта функция линейна по m в билинейном случае и антилинейна в полуторалинейном, т. е. или соответственно для каждого l.
-1-2-3-4-5-6-7-8-9-10-11-
|