справедливо лишь в тех случаях, когда выполняется условие согласо вания матриц для умножения. Допустим, что матрицы Л и В невырож дены; тогда приведенное соотношение позволяет заключить, что
(А ф В)*1 — А~ |
| В |
Прямая сумма Л ©В |
представляет |
собой квадратную матрицу, |
когда либо обе матрицы А |
и В квадратны, либо общая сумма строк двух |
матриц равна сумме их столбцов. В том случае, когда А я В — квадрат ные матрицы, определитель А ©В равен | А | ] В |, в остальных случаях определитель А ф В равен нулю (можно убедиться в этом, подверг нув определитель | А ® В \ разложению Лапласа). Если А я В квад ратные матрицы, характеристическими корнями их прямой суммы бу дут характеристические корни матриц Л и В, в этом можно убедиться, выписав характеристическое уравнение матрицы Л ©В. Допустим, что и и v соответственно обозначают характеристические векторы матриц А я В, тогда характеристические векторы матрицы Л © В имеют сле
дующий вид: q и yj. Однако если матрицы Л и В не квадратны, а
матрица Л ф В квадратна, заранее можно утверждать лишь то, что по крайней мере d характеристических корней Л © В будут равны нулю, где d — разность между числом строк и столбцов матрицы Л (или матрицы В). Характеристические векторы прямой суммы матриц рассчитываются тем же способом, что и для любой матрицы.
9. ПРЯМОЕ ПРОИЗВЕДЕНИЕ МАТРИЦ
Прямое произведение матриц ApXq я ВтХп определяется следующим образом:
ап В ... alqB
Лп X Q*BtnХП -- |
(10) |
api В ... |
apq В |
Из этого определения следует, что прямое произведение можно рас членить на подматрицы соответственно числу элементов, содержащих ся в матрице Л, причем каждая из этих подматриц будет произведени ем матрицы В на соответствующий элемент Л. Элементы прямого произведения состоят из произведений всех возможных пар такого ви да: элементы матрицы Л умножаются на матрицу В, а размеры пря мого произведения равны pm X qn. Например,
[1 2 3]* '6 г ‘6 7 12 14 18 21" 8 9 8 9 16 18 24 27
Транспонированная матрица прямого произведения совпадает с пря мым произведением транспонированных матриц-множителей; в спра ведливости этого вывода можно убедиться, транспонировав матрицы, приведенные в определении (10). Заметим, однако, что (Л * В )'= А' *В’