Линейное пространство M_m,n (K) прямоугольных матриц размера mxn
Итоговая теорема об алгебре матриц
Теорема 8.5.1.
I. Совокупность Mm,n(K) прямоугольных матриц размера над K (в частности, квадратные матрицы Mn(K) ) относительно операции сложения образуют абелеву коммутативную группу, т. е.
I.1) операция сложения ассоциативна;
I.1') операция сложения коммутативна (т. е. A+B=B+A для всех );
I.2) существует нейтральный элемент 0 (нулевая матрица), 0+A=A+0=A для всех ;
I.3) для каждой матрицы существует противоположный элемент -A,(=(-1)A),=(-aij), A+(-A)=0.
II. Операции умножения матрицы A на элемент , , в Mm,n(K) удовлетворяют условиям:
II.1) ;
II.2) (c1c2)A=c1(c2A).
III. Операции сложения и умножения на элементы в Mm,n(K) удовлетворяют условиям
III.1) c(A+B)=cA+cB ;
III.2) (c1+c2)A=c1A+c2A.
Таким образом, I, II, III означают, что Mm,n(K) - линейное пространство над полем K.
IV. С операциями сложения A+B и умножения матриц AB совокупность квадратных матриц Mn(K) является кольцом, т. е.
IV.1) по сложению Mn(K) - абелева группа;
IV.2) с умножением матриц Mn(K) - моноид, т. е.
2.а) умножение матриц ассоциативно, (AB)C=A(BC) для любых ;
2.б) единичная матрица E является нейтральным элементом для операции умножения, AE=A=EA для всех ;
IV.3 операции сложения и умножения матриц удовлетворяют законам дистрибутивности
3.а) (A+B)C=AC+BC ;
3.б) C(A+B)=CA+CB.
V. С операциями сложения A+B и умножения AB матриц и операциями умножения cA матрицы A на элемент квадратные матрицы Mn(K) являются алгеброй , т. е.
V.1) кольцом (относительно сложения и умножения матриц);
V.2) линейным пространством (относительно сложения матриц и умножений матрицы на элемент K )
и дополнительно
V.3) (cA)B=c(AB)=A(cB) для , .
Доказательство свойства V.3. Для любого места (i,j) имеем
Теорема 8.5.2 (о транспонировании произведения матриц). Пусть
тогда (AB)*=B*A*.Доказательство. Ясно, что и . Так как и , то произведение U=B*A* существует и лежит в Mr,m(K), как и .
Для любого места (i,j) имеем для U=B*A*=DC, где B*=D, A*=C,
Итак, B*A*=U=H=(AB)*.