обозначим , числа
образуют
квадратную матрицу порядка n:
которая называется матрицей Грама
базиса е .
В силу свойств скалярного произведения
т.е. матрица симметрична относительно главной
диагонали. Такие матрицы называются симметрическими.
ЕслиX,
Y – координатные столбцы векторов в
базисе е, то
(5.1)
(5.2)
.
Если
– ортонормированный базис, то
т.е.
, отсюда
получаем, что скалярное произведение векторов в ортонормированном базисе равно
сумме попарных произведений соответствующих координат векторов (вспомнить
произведение матриц).
Пусть
даны два базиса е и f, связанные матрицей перехода T,
т.е. – координатные столбцы векторов
в базисах е и f соответственно,
тогда
:
Подставляя
эти равенства в формулу (5.2) и используя тот факт, что ,
получаем
.
С другой стороны , следовательно,
.
(5.3)
Теорема
5.4. Определитель матрицы Грама любого базиса положителен ().
Доказательство.
Рассмотрим формулу (5.3) в том частном случае, когда базис является ортонормированным, тогда
и
.
Вычислим детерминант обеих частей равенства, получим
, где
.
Поскольку
базис произвольный, отсюда получаем требуемое.
Удобное представление матрицы Грама.
Пусть
базис в
,
тогда
таким образом
Теорема
5.5. Векторы линейно зависимы тогда и
только тогда, когда
.
Доказательство.
Пусть система линейно зависима, тогда
.
Умножая
последовательно эту линейную комбинацию скалярно на векторы
, получим
систему
однородных уравнений с
неизвестными
(
).
В матричной записи:
.
Так
как по условию , то существует нетривиальное
решение этой системы линейных однородных уравнений, следовательно, определитель
матрицы равен нулю, т.е.
.
Если
, то по
крайней мере один из столбцов матрицы
является
линейной комбинацией остальных столбцов (смотри условия равенства нулю определителя
матрицы), для определённости
-й, т.е.
, тогда
(
), или
(
), т.е. вектор
ортогонален каждому из векторов
. Но, с другой стороны,
– линейная комбинация этих векторов
, следовательно,
,
что равносильно равенству
или
, а это равносильно тому, что система
векторов линейно зависима.
Теорема
5.6. Если векторы линейно
независимы, то
.
Доказательство.
Достаточно рассмотреть случай, когда –
базис, так как линейно независимая система векторов
является
базисом своей линейной оболочки. Рассмотрим в линейной оболочке
ортонормированный базис
, тогда (см. теорему 5.4)
.
Пусть
теперь оба базиса е и f ортонормированные, тогда и формула (5.3) принимает вид
(5.4)
Определение. Матрица, удовлетворяющая условию (5.4) называется ортогональной.
Название обусловлено тем, что ортогональные матрицы и только они могут служить матрицами перехода от одного ортонормированного базиса к другому ортонормированному базису.
Будем обозначать ортогональные матрицы U, тогда
отсюда, транспонируя левую и правую части, получаем
, т.е.
(5.5)
По
определению обратной матрицы: , сравнивая
последние равенства, заключаем, что
. Кроме того,
матрица
тоже является ортогональной, так как
и
.
Вычислив определитель обеих
частей равенства (5.5), получим , т.е. определитель
ортогональной матрицы равен +1 или –1.
Обозначим , тогда
из , т.е.
сумма квадратов элементов любого столбца (строки) ортогональной матрицы
равна единице, а сумма попарных произведений соответствующих элементов
различных столбцов (строк) равна нулю.
Все результаты, приведенные в предыдущих разделах, остаются в силе и для преобразований евклидовых пространств, но здесь есть скалярное произведение, что позволяет выделить некоторые очень важные классы преобразований.
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.