Меню Главная Случайная статья Настройки Определитель Грама Материал из https://ru.wikipedia.org Определителем Грама (грамианом) системы векторов ${\displaystyle \mathbf {e} _{1},\;\mathbf {e} _{2},\;\ldots ,\mathbf {e} _{n}}$ в евклидовом пространстве называется определитель матрицы Грама этой системы: ${\displaystyle {\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}},}$ где ${\displaystyle \langle e_{i},\;e_{j}\rangle }$ — скалярное произведение векторов ${\displaystyle \mathbf {e} _{i}}$ и ${\displaystyle \mathbf {e} _{j}}$. Матрица Грама возникает из следующей задачи линейной алгебры: Пусть в евклидовом пространстве ${\displaystyle V}$ система векторов ${\displaystyle \mathbf {e} _{1},\;\mathbf {e} _{2},\;\ldots ,\mathbf {e} _{n}}$ порождает подпространство ${\displaystyle U}$. Зная, чему равны скалярные произведения вектора ${\displaystyle \mathbf {x} }$ из ${\displaystyle U}$ с каждым из этих векторов, найти коэффициенты разложения вектора ${\displaystyle x}$ по векторам ${\displaystyle \mathbf {e} _{1},\;\mathbf {e} _{2},\;\ldots ,\mathbf {e} _{n}}$. Исходя из разложения ${\displaystyle \mathbf {x} =x_{1}\mathbf {e} _{1}+x_{2}\mathbf {e} _{2}+\ldots +x_{n}\mathbf {e} _{n},}$ получается линейная система уравнений с матрицей Грама: ${\displaystyle {\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}}}$ Эта задача однозначно разрешима тогда и только тогда, когда векторы ${\displaystyle \mathbf {e} _{1},\;\mathbf {e} _{2},\;\ldots ,\mathbf {e} _{n}}$ линейно независимы. Поэтому обращение в ноль определителя Грама системы векторов — это критерий их линейной зависимости. Геометрический смысл определителя Грама Геометрический смысл определителя Грама раскрывается при решении следующей задачи: Пусть в евклидовом пространстве ${\displaystyle V}$ система векторов ${\displaystyle \mathbf {e} _{1},\;\mathbf {e} _{2},\;\ldots ,\mathbf {e} _{n}}$ порождает подпространство ${\displaystyle U}$. Зная скалярные произведения вектора ${\displaystyle \mathbf {x} }$ из ${\displaystyle V}$ с каждым из этих векторов, найти расстояние от ${\displaystyle \mathbf {x} }$ до ${\displaystyle U}$. Минимум расстояний ${\displaystyle |\mathbf {x} -\mathbf {u} |}$ по всем векторам ${\displaystyle \mathbf {u} }$ из ${\displaystyle U}$ достигается на ортогональной проекции вектора ${\displaystyle \mathbf {x} }$ на ${\displaystyle U}$. При этом ${\displaystyle \mathbf {x} =\mathbf {u} +\mathbf {n} }$, где вектор ${\displaystyle \mathbf {n} }$ перпендикулярен всем векторам из ${\displaystyle U}$, и расстояние от ${\displaystyle \mathbf {x} }$ до ${\displaystyle U}$ равно модулю вектора ${\displaystyle \mathbf {n} }$. Для вектора ${\displaystyle \mathbf {u} }$ решается задача о разложении (см. выше) по векторам ${\displaystyle \mathbf {e} _{1},\;\mathbf {e} _{2},\;\ldots ,\mathbf {e} _{n}}$, и решение получившейся системы выписывается по правилу Крамера: ${\displaystyle \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}},}$ где ${\displaystyle \Gamma }$ — определитель Грама системы. Вектор ${\displaystyle \mathbf {n} }$ равен: ${\displaystyle \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}}}$ и квадрат его модуля равен ${\displaystyle |\mathbf {n} |^{2}=\langle \mathbf {n} ,\;\mathbf {x} \rangle ={\frac {\Gamma (\mathbf {e} _{1},\;\mathbf {e} _{2},\;\ldots ,\;\mathbf {e} _{n},\;\mathbf {x} )}{\Gamma (\mathbf {e} _{1},\;\mathbf {e} _{2},\;\ldots ,\;\mathbf {e} _{n})}}.}$ Из этой формулы индукцией по ${\displaystyle n}$ получается следующее утверждение: Определитель Грама системы ${\displaystyle n}$ векторов равен квадрату объёма ${\displaystyle n}$-мерного параллелепипеда, натянутого на эти векторы. Отсюда видно, что в случае трёхмерного пространства определитель Грама трёх векторов равен квадрату их смешанного произведения. См. также Процесс Грама Шмидта