Линейное пространство M_m,n (K) прямоугольных матриц размера mxn
Теорема 8.5.3 (об определителе произведения матриц). Для любых квадратных матриц имеем |AB|=|A|,|B|.
Доказательство. Пусть C=AB. Рассмотрим определитель размера
С другой стороны, прибавляя к каждому столбцу, проходящему через матрицу B, соответствующую линейную комбинацию столбцов, проходящих через матрицу A, т. е.
получаем, что
Следствие 8.5.4.
- Если , то |AB|=|A|,|B|=|BA| (т. е. хотя матрицы AB и BA могут быть различны, их определители равны).
- |Ak|=|A|k для .
Упражнение 8.5.5. Покажите, что любые две матрицы в M2( Z), коммутирующие с
коммутируют между собой.Упражнение 8.5.6. Если
то для , где (числа Фибоначчи). Если где то и поэтому откуда посколькуУпражнение 8.5.7. Пусть . Покажите, что
подалгебра в алгебре матриц Mn(K).Упражнение 8.5.8. Если , при , и DA=AD, то A - также диагональная матрица.
Упражнение 8.5.9 (внешнее произведение векторов). Если , , то
Упражнение 8.5.10. (скалярное произведение векторов) Если , , то
Упражнение 8.5.11. Пусть , , H*H=nE,(=HH*) (такая матрица называется матрицей Адамара). Например,
Докажите, что для n, отличных от 1, 2 и 4k, где , не существует матриц Адамара.Упражнение 8.5.12. Пусть - матрица Маркова (это означает, что для каждого j, , , т. е. сумма элементов по каждому столбцу равна 1 ). Докажите, что если - матрицы Маркова, то
- AB и Ak, , - матрицы Маркова;
- если и для всех i, j, то для всех i, j для матрицы (cij}=C=AB.