Progulki-po-reke-moskwa.ru

прогулки на теплоходе по Москве реке

Матрица Грама

22-07-2023

Определителем Грама (англ.) (грамианом) системы векторов в евклидовом пространстве называется определитель матрицы Грама этой системы:

\begin{vmatrix} 
\langle e_1,\;e_1\rangle & \langle e_1,\;e_2\rangle & \ldots & \langle e_1,\;e_n\rangle \\ 
\langle e_2,\;e_1\rangle & \langle e_2,\;e_2\rangle & \ldots & \langle e_2,\;e_n\rangle \\ 
\ldots & \ldots & \ldots & \ldots \\ 
\langle e_n,\;e_1\rangle & \langle e_n,\;e_2\rangle & \ldots & \langle e_n,\;e_n\rangle \\ 
\end{vmatrix},

где  — скалярное произведение векторов и .

Матрица Грама возникает из следующей задачи линейной алгебры:

Пусть в евклидовом пространстве система векторов порождает подпространство . Зная, чему равны скалярные произведения вектора из с каждым из этих векторов, найти коэффициенты разложения вектора по векторам .

Исходя из разложения

получается линейная система уравнений с матрицей Грама:

\begin{cases}
\langle\mathbf{e}_1,\;\mathbf{e}_1\rangle x_1+\langle\mathbf{e}_1,\;\mathbf{e}_2\rangle x_2+\ldots+\langle\mathbf{e}_1,\;\mathbf{e}_n\rangle x_n= \langle\mathbf{e}_1,\;\mathbf{x}\rangle; \\
\langle\mathbf{e}_2,\;\mathbf{e}_1\rangle x_1+\langle\mathbf{e}_2,\;\mathbf{e}_2\rangle x_2+\ldots+\langle\mathbf{e}_2,\;\mathbf{e}_n\rangle x_n=\langle\mathbf{e}_2,\;\mathbf{x}\rangle; \\
\quad\ldots\quad\ldots\quad\ldots\quad\ldots\quad\ldots\quad\ldots\quad\ldots\quad\ldots\quad\ldots\quad \\
\langle\mathbf{e}_n,\;\mathbf{e}_1\rangle x_1+\langle\;\mathbf{e}_n,\;\mathbf{e}_2\rangle x_2+\ldots+\langle\mathbf{e}_n,\;\mathbf{e}_n\rangle x_n=\langle\mathbf{e}_n,\;\mathbf{x}\rangle. \\
\end{cases}

Эта задача однозначно разрешима тогда и только тогда, когда векторы линейно независимы. Поэтому обращение в нуль определителя Грама системы векторов — это критерий их линейной зависимости.

Геометрический смысл определителя Грама

Геометрический смысл определителя Грама раскрывается при решении следующей задачи:

Пусть в евклидовом пространстве система векторов порождает подпространство . Зная скалярные произведения вектора из с каждым из этих векторов, найти расстояние от до .

Минимум расстояний по всем векторам из достигается на ортогональной проекции вектора на . При этом , где вектор перпендикулярен всем векторам из , и расстояние от до равно модулю вектора . Для вектора решается задача о разложении (см. выше) по векторам , и решение получившейся системы выписывается по правилу Крамера:

\mathbf{u}=-\frac{1}{\Gamma}\begin{vmatrix}
\langle\mathbf{e}_1,\;\mathbf{e}_1\rangle & \langle\mathbf{e}_1,\;\mathbf{e}_2\rangle & \ldots & \langle\mathbf{e}_1,\;\mathbf{e}_n\rangle & \langle\mathbf{e}_1,\;\mathbf{x}\rangle \\ 
\langle\mathbf{e}_2,\;\mathbf{e}_1\rangle & \langle\mathbf{e}_2,\;\mathbf{e}_2\rangle & \ldots & \langle\mathbf{e}_2,\;\mathbf{e}_n\rangle & \langle \mathbf{e}_2,\;\mathbf{x}\rangle \\ 
\ldots & \ldots & \ldots & \ldots & \ldots \\ 
\langle\mathbf{e}_n,\;\mathbf{e}_1\rangle & \langle\mathbf{e}_n,\;\mathbf{e}_2\rangle & \ldots & \langle\mathbf{e}_n,\;\mathbf{e}_n\rangle & \langle\mathbf{e}_n,\;\mathbf{x}\rangle \\
\mathbf{e}_1 & \mathbf{e}_2 & \ldots & \mathbf{e}_n & \mathbf{0} 
\end{vmatrix},

где  — определитель Грама системы. Вектор равен:

\mathbf{n}=\mathbf{x}-\mathbf{u}=\frac{1}{\Gamma}\begin{vmatrix}
\langle\mathbf{e}_1,\;\mathbf{e}_1\rangle & \langle\mathbf{e}_1,\;\mathbf{e}_2\rangle & \ldots & \langle\mathbf{e}_1,\;\mathbf{e}_n\rangle & \langle\mathbf{e}_1,\;\mathbf{x}\rangle \\ 
\langle\mathbf{e}_2,\;\mathbf{e}_1\rangle & \langle\mathbf{e}_2,\;\mathbf{e}_2\rangle & \ldots & \langle\mathbf{e}_2,\;\mathbf{e}_n\rangle & \langle\mathbf{e}_2,\;\mathbf{x}\rangle \\ 
\ldots & \ldots & \ldots & \ldots & \ldots \\ 
\langle\mathbf{e}_n,\;\mathbf{e}_1\rangle & \langle\mathbf{e}_n,\;\mathbf{e}_2\rangle & \ldots & \langle\mathbf{e}_n,\;\mathbf{e}_n\rangle & \langle\mathbf{e}_n,\;\mathbf{x}\rangle \\
\mathbf{e}_1 & \mathbf{e}_2 & \ldots & \mathbf{e}_n & \mathbf{x} 
\end{vmatrix}

и квадрат его модуля равен

Из этой формулы индукцией по получается следующее утверждение:

  • Определитель Грама системы векторов равен квадрату -мерного объёма параллелепипеда, натянутого на эти векторы.

См. также


Матрица Грама.

© 2021–2023 progulki-po-reke-moskwa.ru, Россия, Нальчик, ул. Терская 11, +7 (8662) 65-82-84