Рассмотрим набор натуральных чисел от до : . Перестановкой этих чисел называется их запись в некотором порядке без повторений. Например, последовательность является перестановкой множества .
Обозначим перестановки этих чисел как . Из комбинаторики известно, что число всех таких различных перестановок равно .
Определение. Говорят, что числа и перестановки образуют инверсию (или беспорядок), если при верно неравенство . Число всех инверсий в перестановке обозначим .
Например, , так как перед числом стоит число , а перед числом стоят числа , большие единицы.
Пусть дана квадратная матрица
Определение. Определителем (или детерминантом) квадратной матрицы размера называется число
где сумма берётся по всевозможным перестановкам номеров столбцов матрицы .
Определитель матрицы принято обозначать следующим образом:
Свойства определителей
- Определитель единичной матрицы равен единице:
- При транспонировании матрицы её определитель не изменяется:
- При перестановке двух столбцов или строк матрицы знак её определителя меняется на противоположный.
- Определитель матрицы, содержащей два одинаковых столбца (строки), равен нулю.
- При вычислении определителя матрицы из столбца (строки) можно выносить общий множитель.
- При добавлении к некоторому столбцу (строке) матрицы линейной комбинации остальных столбцов определитель матрицы не изменяется.
Линейной комбинацией столбцов называется сумма этих столбцов, умноженных на некоторые коэффициенты.
- Определитель обратной матрицы (в случае, если она существует) равен
- Определитель произведения матриц размера равен произведению их определителей: