Доказать, что если произведение $%AB$% матриц определено, то $%{\rm rank}(AB)\leq \min \big\{{\rm rank}\ A, {\rm rank}\ B\big\} $%

задан 2 Окт '14 0:43

изменен 2 Окт '14 15:17

%D0%92%D0%B8%D1%82%D0%B0%D0%BB%D0%B8%D0%BD%D0%B0's gravatar image


9917

10|600 символов нужно символов осталось
0

Рассмотрим такой полезный вспомогательный факт. Умножим матрицу $%A$% размером $%m\times n$% на $%j$%-й единичный столбец $%e_j$%, то есть на столбец, в котором на $%j$%-месте находится единица, а все остальные числа равны нулю. Легко пронаблюдать в соответствии с определением матричного произведения, что получится $%j$%-й столбец матрицы $%A$%.

Теперь рассмотрим произвольный вектор-столбец. Он является линейной комбинацией единичных столбцов с некоторыми коэффициентами: $%k_1e_1+\cdots+k_ne_n$%. Поэтому в результате умножения матрицы $%A$% на этот столбец получится линейная комбинация столбцов матрицы $%A$% (какая именно -- можно не уточнять).

Следующий шаг: умножаем матрицу $%A$% на матрицу $%B$% размером $%n\times k$%. Если выполнить умножение $%A$% на каждый столбец матрицы $%B$% по отдельности, то получится $%k$% столбцов, которые вместе образуют в точности матрицу $%AB$%.

Вывод: столбцы матрицы $%AB$% суть линейные комбинации столбцов матрицы $%A$%. Следовательно, пространство столбцов матрицы $%AB$% является подпространством пространства столбцов матрицы $%A$%, поэтому его размерность не превосходит размерности всего пространства. Это доказывает, что $%{\rm rank}(AB)\le{\rm rank\,}A$%.

Аналогичные утверждения можно доказать для строк матрицы, но можно воспользоваться тем фактом, что при транспонировании ранг матрицы не меняется, поэтому $%{\rm rank}(AB)={\rm rank}(AB)^t={\rm rank}(B^tA^t)\le{\rm rank}(A^t)={\rm rank\,}A$%. Таким образом, $%{\rm rank}(AB)\le\min({\rm rank\,}A,{\rm rank\,}B)$%.

ссылка

отвечен 2 Окт '14 1:07

@falcao, thanx)

(2 Окт '14 2:09) Saidasafi
10|600 символов нужно символов осталось
Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

отмечен:

×1,324
×416
×120

задан
2 Окт '14 0:43

показан
2283 раза

обновлен
2 Окт '14 2:09

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru