Определители

Каждой квадратной матрице можно поставить в соответствие единственное число, называемое определителем или детерминантом матрицы, которое обознается символом (1):

. (1)

В этом случае перечисляются все элементы матрицы А, для которой он определяется. Элементы матрицы, строки и столбцы в этом случае называются элементами, строками, столбцами определителя.

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

Общая формула для расчета определителей матриц порядка n опирается на следующие понятия: перестановки и транспозиции элементов множества. Поэтому сначала введем их.

Пусть X – некоторое множество из n элементов.

Определение 1. Множество из n элементов называется упорядоченным, если каждому элементу этого множества поставлено в соответствие некоторое число от 1 до n, номер элемента.

Определение 2. Различные упорядоченные множества одного и того же множества из n элементов называются перестановками этого множества.

Теорема 1. Число перестановок множества из n различных элементов равно

Доказательство. Воспользуемся методом математической индукции.

1 шаг. Докажем справедливость утверждения при n = 2.

В этом случае множество состоит из двух элементов, которые условно можно обозначить: a и b. Очевидно, что их можно перенумеровать (расставить) двумя способами: или . Так как , утверждение – верно.

2 шаг. Предположим, что утверждение верно при , т.е. множество из к различных элементов можно перенумеровать (расставить) способами.

3 шаг. Опираясь на предположение, выдвинутое на 2 шаге, докажем справедливость утверждения при .

Первый номер можно поставить в соответствие любому из элементов данного множества, т.е. имеется способ. Для каждого из возможных вариантов выбора остается перенумеровать k оставшихся элементов, а это, согласно выдвинутому на втором шаге предположению, возможно осуществить способами. Таким образом, число различных перестановок множества из различных элементов будет равно: . Формула остается верной.

Утверждение доказано.

Пусть множество Х состоит из элементов .

Обозначим символом произвольную перестановку элементов данного множества, здесь , принимает только одно из значений . Перестановку вида , где элементы множества Х расположены в порядке возрастания, будем называть основной.

Определение 2. Операция, при которой два элемента перестановки (не обязательно стоящие рядом) меняются местами, называется транспозицией.

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

Определение 3. Определителем или детерминантом матрицы называется число, определяемое по правилу (2):

. (2)

Это сумма по всем перестановкам множества из элементов , которая содержит слагаемых, каждое из которых представляет собой произведение сомножителей, содержащих ровно по одному элементу из каждой строки и каждого столбца матрицы, взятых со знаком плюс или минус в зависимости от четности числа транспозиций, необходимых для получения соответствующей перестановки из основной.

Из формулы (2) легко получаются формулы для расчета определителей первого, второго и третьего порядков. Представим их в виде, наиболее удобном для практического применения.

, (3)

т.е. величина определителя первого порядка равна элементу, из которого он состоит. Например, .

. (4)

Определитель второго порядка равен разности значений произведений элементов главной и побочной диагоналей.

Пример 1. Вычислите определитель второго порядка .

Решение. Согласно формуле (4),

.

Формула для вычисления определителя третьего порядка (5) уже содержит 6 слагаемых (3! =1× 2× 3=6):

(5)

Нетрудно заметить, что в формуле (5) первые три слагаемых, сохраняющих свой знак) – произведения элементов главной диагонали и двух треугольников, которые около неё можно образовать (смотрите рисунок 1), а слагаемые, входящие с формулу с противоположным знаком, - произведения элементов побочной диагонали и двух треугольников, которые около неё можно образовать (смотрите рисунок 2).

Рисунок 1 – Алгоритм, получения слагаемых, входящих в формулу (5) с сохранением знака

Рисунок 2 – Алгоритм, получения слагаемых, входящих в формулу (5) с противоположным знаком

Пример 2. Вычислите определитель третьего порядка:

Решение. Согласно формуле (5), поучаем, что

Замечание. Формула для определителей четвертого порядка содержит уже 24 слагаемых () и на практике, как правило, не используется. Вычисление определителей порядка осуществляется другими методами, которые следуют из свойств определителей.

Теорема 2. При транспонировании величина определителя не изменяется, т.е. .

Доказательство. Проведите самостоятельно, опираясь на формулу (2).

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

Теорема 3. Если одна из строк определителя состоит из нулей, то определитель равен нулю.

Доказательство. Пусть некоторая -я строка определителя состоит из нулей, т.е. , тогда в формуле (2) в каждом слагаемом множитель, соответствующий данной строке: , , и, следовательно, каждое слагаемое в формуле (2) равно нулю и определитель равен нулю.

Следствие 1. Если один из столбцов определителя состоит из нулей, то определитель равен нулю.

Доказательство. Проведите самостоятельно.

Теорема 4. При перестановке двух строк определитель меняет свой знак.

Доказательство. Проведите самостоятельно.

Следствие 2. При перестановке двух столбцов определитель меняет свой знак.

Доказательство. Проведите самостоятельно.

Теорема 5. Определитель, содержащий две одинаковые строки равен нулю.

Доказательство. Пусть у матрицы А строки с номерами i и к состоят из одинаковых элементов. Пусть - матрица, получающаяся из матрицы А перестановкой этих двух строк.

Тогда, с одной стороны, из свойств определителей, смотрите теорему 4, следует, что

, (6)

с другой стороны, так как , строки состояли из одинаковых элементов,

. (7)

Из равенства (7) следует, что

.

Теорема доказана.

Следствие 3. Определитель, содержащий два одинаковых столбца, равен нулю.

Доказательство. Проведите самостоятельно.

Теорема 6. Если все элементы некоторой строки определителя умножить на некоторое число , то сам определитель умножится на число .

Доказательство. Умножая все элементы k -ой строки матрицы на число , получаем новую матрицу , у которой

.

Теорема доказана.

Следствие 4. Если все элементы некоторого столбца определителя умножить на некоторое число , то сам определитель умножится на число .

Доказательство. Проведите самостоятельно.

Замечание. Из теоремы 5 и следствия 4 вытекает следующее правило: общий множитель элементов некоторой строки (столбца) определителя можно выносить за знак определителя.

Теорема 7. Определитель, содержащий две пропорциональные строки, равен нулю.

Доказательство. Пусть у матрицы , , где - некоторое постоянное число, т.е. элементы k -ой и m -ой строк пропорциональны. Вынося общий множитель элементов k -ой строки за знак определителя, мы получим, что

,

где , , , т.е. у матрицы две одинаковые строки и, следовательно, на основании теоремы 5, , а значит, . Теорема доказана.

Следствие 5. Определитель, содержащий два пропорциональных столбца, равен нулю.

Доказательство. Проведите самостоятельно.

Теорема 8. Если все элементы некоторой i -ой строки определителя n- го порядка представлены в виде суммы двух слагаемых:

, ; (8)

то данный определитель равен сумме двух определителей, у которых все строки, кроме i -ой строки, такие же, как и в заданном определителе, а i -ая строка в одном определителе состоит из элементов , а в другом – из элементов , :

.

Доказательство. Из (8) следует, что в формуле (2) множители, соответствующие элементам данной i -ой строки, имеют вид: . И следовательно,

.

Теорема доказана.

Следствие 6. Если все элементы некоторого j -го столбца определителя n- го порядка представлены в виде суммы двух слагаемых:

, ; (9)

то данный определитель равен сумме двух определителей, у которых все столбцы, кроме j -го столбца, такие же, как и в заданном определителе, а j -ый столбец в одном определителе состоит из элементов , а в другом – из элементов , :

.

Доказательство. Проведите самостоятельно.

Теорема 9. Определитель не изменяется, если к элементам одной из его строк прибавить соответствующие элементы другой строки, умноженные на одно и то же число.

Доказательство. Пусть к элементам m - ой строки матрицы прибавляются элементы k -ой строки этой матрицы (), умноженные на коэффициент . Получим новую матрицу , у которой ; .

Из теоремы 8 в этом случае следует, что , где первый определитель совпадает с исходным, а второй содержит две пропорциональные строки, и, следовательно, равен нулю (теорема 7). Таким образом, .

Теорема доказана.

Следствие 7. Определитель не изменяется, если к элементам одного из его столбцов прибавить соответствующие элементы другого столбца, умноженные на одно и то же число.

Доказательство. Проведите самостоятельно.

Замечание. Очевидно, что можно не только складывать элементы, но и вычитать, так как вычитание – прибавление элементов умноженных на (-1).

Рассмотренные выше свойства определителей позволяют упростить расчеты.

Пример 3. Вычислите определитель .