Геометрический смысл определителя матрицы Грама. Неравенство Адамара.

Свойство 2.7. Определитель матрицы Грама от линейно зависимой системы векторов равен 0.

Доказательство. Пусть система векторов - линейно зависима. Тогда, либо система содержит нулевой вектор, и утверждение в этом случае очевидно, либо найдется вектор , линейно выражающийся через предыдущие векторы системы. В матрице Грама вычтем из i-ой строки, предыдущие строки с коэффициентами . Определитель матрицы Грама при этом не изменится, а i-ая строка станет равной нулю. Определитель матрицы с нулевой строкой равен нулю, а, значит, и определитель матрицы Грама равен нулю.

Рассмотрим геометрический смысл матрицы Грама от линейной не зависимой системы векторов . Если k=1, то - квадрат длины вектора. Если k>1, то применим к системе векторов процесс ортогонализации и построим ортогональную систему векторов . Обозначим через P матрицу перехода от системы к системе . Эта матрица имеет треугольный вид, а на ее главной диагонали стоят 1, и ее определитель равен 1. Кроме того, и, следовательно, определители матриц Грама равны. Поскольку система векторов - ортогональна, то матрица Грама от этой системы векторов – диагональная, и ее определитель равен произведению квадратов длин векторов этой системы. Таким образом, установлено равенство . Рассмотрим случай k=2. Тогда равна длине высоты параллелограмма, опущенного на сторону (см. рис. 1). Следовательно, произведение равно площади параллелограмма натянутого на векторы , а определитель матрицы Грама равен квадрату площади этого параллелограмма. Если k=3, то вектор является ортогональной составляющей вектора к плоскости, натянутой на векторы . Следовательно, определитель матрицы Грама от трех векторов равен квадрату объема параллелепипеда, натянутого на векторы . Поскольку все рассуждения обобщаются на произвольную размерность, то тем самым установлено свойство.

Свойство 2.8 Определитель матрицы Грама от системы векторов равен 0, если система линейно зависима, и квадрату объема k-мерного параллелепипеда натянутого на векторы иначе.

Покажем теперь неравенство Адамара.

Теорема 2.4.

Доказательство. Если система векторов линейно зависимая, то неравенство очевидно. Пусть эта система векторов линейно независимая. Применим к ней процесс ортогонализации и построим ортогональную систему векторов . Вектор является ортогональной составляющей вектора на линейную оболочку векторов , и, значит, по неравенству Бесселя (Теорема 2.2). Далее, , что и требовалось доказать.

Неравенство Адамара обращается в равенство, только если исходная система векторов является ортогональной. В остальных случаях неравенство – строгое.

Следствие 2.5 Справедливы неравенства и .

Доказательство. В n-мерном арифметическом пространстве определим скалярное произведение по формуле . Рассмотрим систему векторов, образованную столбцами матрицы A. Матрица Грама от этой системы векторов равна и по неравенству Адамара . Поскольку , то неравенство установлено. Применяя полученное неравенство к транспонированной матрице, выводим .

Следствие 2.6 Пусть . Тогда .

Доказательство очевидно.

Положим и, далее, по индукции . Матрица имеет порядок , ее определитель равен и все ее элементы равны . Легко убедиться, что неравенство (Следствие 2.6) обращается на этой матрице в равенство.