Детерминант в математике¶

Детерминант (также определитель) — это числовая характеристика квадратной матрицы, которая ставится ей в соответствие по определённому правилу и обозначается обычно как \(\det A\) или \(|A|\). Детерминант применяется в линейной алгебре для исследования систем линейных уравнений, вычисления обратной матрицы, нахождения собственных значений, а также в геометрии, где его модуль равен коэффициенту изменения объёма при линейном преобразовании. Понятие введено в XVIII веке в связи с решением систем линейных уравнений и с тех пор стало одним из базовых инструментов математики.

¶История

Прообраз детерминанта появился в работах японского математика Сэки Такакадзу (1683) и немецкого учёного Готфрида Лейбница (1693), которые использовали похожие выражения при решении систем линейных уравнений. Термин «детерминант» ввёл французский математик Огюстен Луи Коши в 1812 году, он же систематизировал основные свойства определителей.

Дальнейшее развитие связано с именами Карла Густава Якоби (функциональные определители, якобианы), Джеймса Джозефа Сильвестра и Артура Кэли, которые связали детерминанты с теорией матриц. В России теорию определителей развивали математики XIX века, в частности Виктор Яковлевич Буняковский, автор классического курса по определителям.

¶Определение и обозначения

Для квадратной матрицы порядка \(n\) детерминант — это сумма \(n!\) слагаемых, каждое из которых является произведением \(n\) элементов матрицы, взятых по одному из каждой строки и каждого столбца, со знаком, зависящим от чётности перестановки:

\[ \det A = \sum_{\sigma \in S_n} \operatorname{sgn}(\sigma) \prod_{i=1}^{n} a_{i,\sigma(i)} \]

Обозначения: \(\det A\), \(|A|\), иногда \(\Delta\). Для матрицы 1×1 детерминант равен единственному элементу; для 2×2 вычисляется по формуле \(ad - bc\); для 3×3 — по правилу Саррюса или разложением по строке.

¶Свойства

Определитель единичной матрицы равен 1.
При перестановке двух строк (или столбцов) знак меняется на противоположный.
Если две строки одинаковы или пропорциональны, определитель равен нулю.
Определитель произведения матриц равен произведению определителей: \(\det(AB) = \det A \cdot \det B\).
Умножение строки на число \(\lambda\) умножает определитель на \(\lambda\).
Прибавление к строке другой строки, умноженной на число, не меняет определителя.
Матрица обратима тогда и только тогда, когда её определитель отличен от нуля.

¶Способы вычисления

Для небольших порядков применяют прямое раскрытие. Для матриц большего размера используют:

Разложение по строке или столбцу (теорема Лапласа) — сведение к определителям меньшего порядка.
Метод Гаусса — приведение матрицы к треугольному виду, при котором определитель равен произведению диагональных элементов.
Алгоритм Барейса — устойчивый к ошибкам округления метод для численных расчётов.

Вычислительная сложность прямых методов растёт как факториал порядка, поэтому на практике применяют методы, имеющие кубическую сложность относительно \(n\).

¶Геометрический смысл

Для матрицы 2×2 модуль детерминанта равен площади параллелограмма, построенного на векторах-строках. Для матрицы 3×3 — объёму параллелепипеда. В общем случае модуль детерминанта показывает, во сколько раз линейное преобразование изменяет \(n\)-мерный объём. Знак указывает на сохранение или смену ориентации базиса.

¶Применение

Детерминанты используются:

при решении систем линейных уравнений по правилу Крамера;
для проверки линейной независимости векторов и обратимости матриц;
при вычислении обратной матрицы через алгебраические дополнения;
в аналитической геометрии для уравнений прямых, плоскостей и вычисления площадей и объёмов;
в математическом анализе — якобиан при замене переменных в кратных интегралах;
в физике и инженерии — при анализе устойчивости систем, в теории колебаний, квантовой механике (определитель Слэтера).

¶Связанные понятия

С детерминантом тесно связаны минор (определитель подматрицы), алгебраическое дополнение, след матрицы, характеристический многочлен. Обобщениями являются перманент (без учёта знака перестановки) и функциональный определитель Якоби.

¶Интересные факты

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

Источники: учебники по линейной алгебре (В. В. Воеводин, А. И. Кострикин), классические курсы по теории определителей В. Я. Буняковского, материалы по истории математики.