Детерминанта в линейной алгебре¶
Детерминанта — числовая функция квадратной матрицы, отображающая её в скалярное значение. Обозначается как det(A), |A| или через вертикальные скобки вокруг элементов матрицы. Детерминанта играет центральную роль в линейной алгебре: она позволяет судить об обратимости матрицы, о единственности решений систем линейных уравнений, о геометрическом смысле линейного преобразования.
¶Определение
Для матрицы размера 1×1, состоящей из одного элемента a, детерминанта равна этому элементу: det([a]) = a.
Для матрицы 2×2 вида
$$A = \begin{pmatrix} a & b \\ c & d \end{pmatrix}$$
детерминанта вычисляется по формуле:
$$\det(A) = ad - bc.$$
Для матрицы 3×3
$$A = \begin{pmatrix} a_{11} & a_{12} & a_{13} \\ a_{21} & a_{22} & a_{23} \\ a_{31} & a_{32} & a_{33} \end{pmatrix}$$
применяют разложение по первой строке (развитие по минорам):
$$\det(A) = a_{11}M_{11} - a_{12}M_{12} + a_{13}M_{13},$$
где $M_{ij}$ — минор, то есть детерминанта матрицы, полученной вычёркиванием i-й строки и j-го столбца.
Для матрицы произвольного порядка n детерминанта определяется через перестановки:
$$\det(A) = \sum_{\sigma \in S_n} \operatorname{sgn}(\sigma) \, a_{1\sigma(1)} a_{2\sigma(2)} \cdots a_{n\sigma(n)},$$
где суммирование ведётся по всем n! перестановкам σ множества {1, …, n}, а sgn(σ) — знак перестановки (+1 для чётной, −1 для нечётной). Эта формула называется определением Лапласа.
¶Основные свойства
Детерминанта обладает рядом свойств, определяющих её вычислительную технику:
- Мультипликативность: det(AB) = det(A)·det(B) для любых квадратных матриц одного порядка.
- Транспонирование: det(Aᵀ) = det(A).
- Линейность по строкам: детерминанта линейна относительно каждой строки при фиксированных остальных.
- Замена строк: при перестановке двух строк знак детерминанты меняется на противоположный.
- Триангуляция: при добавлении к одной строке другой, умноженной на скаляр, детерминанта не меняется.
- Нулевая строка или столбец: если строка (столбец) матрицы состоит из нулей, det(A) = 0.
- Диагональная матрица: детерминанта диагональной (а также верхне- и нижнетреугольной) матрицы равна произведению элементов главной диагонали.
- Обратная матрица: если A обратима, то det(A⁻¹) = 1/det(A).
- Умножение на скаляр: det(kA) = kⁿ·det(A) для матрицы порядка n.
¶Вычисление
На практике детерминанты вычисляют не по определению (сложность перебора — порядка n!), а с помощью методов, сводящих матрицу к треугольному виду:
- Метод Гаусса: элементарными преобразованиями строк матрица приводится к верхнетреугольному виду; детерминанта равна произведению диагональных элементов с поправкой на знаки преобразований.
- Разложение по строке или столбцу (развитие по минорам): удобно для разреженных матриц.
- Формула Жордана: приведение к жордановой форме.
- Формула Бине — Коши: для произведения матриц.
Для вычисления детерминант больших матриц применяют люковыe разложения (LU-разложение), методы на основе QR-разложения, а также алгоритмы с использованием модулярной арифметики.
¶Геометрический смысл
Детерминанта имеет наглядную геометрическую интерпретацию. Линейное преобразование, заданное матрицей A, изменяет объём фигур в n-мерном пространстве в |det(A)| раз. Знак детерминанты указывает на то, сохраняет ли преобразование ориентацию (положительный знак) или меняет её на противоположную (отрицательный знак). Например, в двумерном пространстве |det(A)| показывает, во сколько раз преобразование увеличивает площадь, а в трёхмерном — объём параллелепипеда, построенного на столбцах матрицы, равен |det(A)|.
¶Применение
¶Теория систем линейных уравнений
Система n линейных уравнений с n неизвестными AX = B имеет единственное решение тогда и только тогда, когда det(A) ≠ 0. Если det(A) = 0, система либо несовместна, либо имеет бесконечно много решений. Для вычисления конкретного решения применяется правило Крамера:
$$x_i = \frac{\det(A_i)}{\det(A)},$$
где $A_i$ — матрица, полученная заменой i-го столбца матрицы A столбцом свободных членов.
¶Критерий обратимости
Матрица A обратима тогда и только тогда, когда det(A) ≠ 0. Это один из фундаментальных критериев в линейной алгебре, связывающий алгебраическое свойство с линейно-алгебраическим.
¶Теория множеств и интегральное исчисление
При перемене переменных в многомерном интеграле Якобиан (матрица частных производных) входит в формулу подстановки через свой модуль:
$$\int f(x) \, dx = \int f(y) \, |\det J| \, dy.$$
¶Другие применения
Детерминанты используются в криптографии (детерминантные схемы), в теории графов (теорема Кирхгофа о числе остовных деревьев), в физике (вычисление векторного произведения, определители в квантовой механике — слагаемые определителя Вигнера), в химии (определение энантиомеров), в экономике (модели Леонтьева).
¶История
Понятие детерминанты возникло в связи с решением систем линейных уравнений. Японский математик Сэки Такакадзу (1642—1708) и немецкий математик Готфрид Лейбниц (1646—1716) независимо друг от друга исследовали свойства «результирующих» выражений, связанных с детерминантой. Термин «детерминанта» ввёл Карл Фридрих Гаусс (1777—1855) в «Исследованиях по арифметике» (1801). Абель в 1824 году доказал, что уравнение пятой степени в общем виде не решается радикалами, используя понятие, позже названное определителем. Систематическую теорию детерминант разработали в XIX веке математики Шлессели, Якоби, Крамер (формула для систем уравнений, 1750), Вронский и другие.
¶Источники
- Гантмахер Ф. Р. «Теория матриц». — М.: Наука, 1966.
- Курош А. Г. «Курс линейной алгебры». — М.: Наука, 1971.
- Фаддеев Д. К., Соминский И. С. «Задачи по алгебре». — М.: Наука, 1977.
- Прасолов В. В. «Задачи и теоремы линейной алгебры». — М.: Наука, 1996.