Вопрос о перестановочном свойстве произведения матрицы A на матрицу Bимеет смысл ставить лишь для квадратных матриц A и Bодинакового порядка (ибо, как указывалось выше, только для таких матриц A и Bоба произведения ABи BA определены и являются матрицами одинаковых порядков). Элементарные примеры показывают, что произведение двух квадратных матриц одинакового порядка не обладает перестановочным свойством. В самом деле, если положить
Здесь видны важные частные случаи, в которых справедливо перестановочное свойство. Две матрицы, для произведения которых справедливо перестановочное свойство, называются коммутирующими.
Среди квадратных матриц выделим класс так называемых диагональных матриц, у каждой из которых элементы, расположенные вне главной диагонали, равны нулю. Каждая диагональная матрица порядка nимеет вид
где
т.е.
Среди всех диагональных матриц (1.5) с совпадающими элементами
В силу доказанного выше AE = EAи AO = OA. Более того, из формул (1.6) видно, что
AE = EA = A, AO = OA = O.(1.7)
Первая из формул (1.7) характеризует особую роль единичной матрицы E, аналогичную той роли, которую играет число 1 при перемножении вещественных чисел. Что же касается особой роли нулевой матрицы O, то ее выявляет не только вторая из формул (1.7), но и элементарно проверяемое равенство
A + O = O + A = A.
Нулевой матрицей называют любую матрицу, все элементы которой равны нулю.
Блочные матрицы. Пусть некоторая матрица
Например, матрицу
можно рассматривать как блочную матрицу
элементами которой служат следующие блоки:
Основные операции с блочными матрицами совершаются по тем же правилам, по которым они совершаются с обычными числовыми матрицами, только в роли элементов выступают блоки.
В самом деле, элементарно проверяется, что если матрица
Столь же элементарно проверяется, что если матрицы A и Bимеют одинаковые порядки и одинаковым образом разбиты на блоки, то сумме матриц A и Bотвечает блочная матрица с элементами
Пусть A и B– две блочные матрицы такие, что число столбцов каждого блока
Для доказательства этой формулы достаточно расписать левую и правую ее части в терминах обычных (числовых) элементов матриц A и B.
В качестве примера применения блочных матриц остановимся на понятии так называемой прямой суммы квадратных матриц.
Целью этого параграфа является построение теории определителей любого порядка п.
Рассмотрим произвольную квадратную матрицу любого порядка n:
С каждой такой матрицей связана определенная численная характеристика, называемая определителем, соответствующим этой матрице.
Если порядок nматрицы (1.8) равен единице, то эта матрица состоит из одного элемента a11и определителем первого порядка соответствующим такой матрице, называется величиной этого элемента.
Если далее порядок nматрицы (1.8) равен двум, т.е. если эта матрица имеет вид
то определителем второго порядка, соответствующим такой матрице, есть число, равное a11a22 – a12a21и обозначаемое одним из символов
Итак, по определению
Формула (1.10) представляет собой правило составления определителя второго порядка по элементам соответствующей ему матрицы. Словесная формулировка этого правила такова: определитель второго порядка, соответствующий матрице (1.9), равен разности произведения элементов, стоящих на главной диагонали этой матрицы, и произведения элементов, стоящих на побочной ее диагонали.