ОПРЕДЕЛИТЕЛЬ ПРОИЗВЕДЕНИЯ МАТРИЦ.

Date: 2015-10-07; view: 387.

Теорема. Пусть А и В — две квадратные матрицы порядка n. Тогда определитель их произведения равен произведению определителей, т.е.

| AB | = | A| | B |.

< Пусть A = (aij) (n x n), B = (bij) (n x n). Рассмотрим определитель (d) (2n) порядка 2n

A

||

(d) (2n) =

||

B

(d) (2n) = | A | | B | (-1)(^1+...+n+1+...+n) = | A | | B |.

Если мы покажем, что определитель (d) (2n) равен определителю матрицы С=АВ, то теорема будет доказана.

В (d) (2n) проделаем следующие преобразования: к 1 строке прибавим (n+1) строку, умноженную на а11; (n+2) строку, умноженную на а12 и т.д. (2n) строку, умноженную на (а) (1n) . В полученном определителе первые n элементов первой строки будут нулями, а n других элементов станут такими:

a11* b11 + a12 * b21 + ... + (а) (1n) * (d) (1n) = c11_;

a11* b12 + a12 * b21 + ... + (а) (1n) * (d) (2n) = c12_;

_...

a11* (d) (1n) + a12 * (d) (2n) + ... + (а) (1n) * (d) (nn) = (c) (1n)_.

Аналогично получаем нули во 2, …, n строках определителя (d) (2n) , причем последние n элементов в каждой из этих строк станут соответствующими элементами матрицы С. В результате, определитель (d) (2n) преобразуется в равный ему определитель:

(d) (2n) = | C | (-1) )(^1+...+n+...+2n) = |AB|. >

Следствие. Определитель произведения конечного числа квадратных матриц равен произведению их определителей.

< Доказательство проводится индукцией: | A1 ... (A) (j+1) | = | A1... Aj | | (A) (j+1) | = ... = | A₁| ... | A_i+1 | . Эта цепочка равенств верна по теореме.>