Пусть — матрица размера с .
Доказать, что можно представить в виде суммы матриц ранга , и что нельзя представить в виде суммы меньшего числа матриц ранга .
Разобьём утверждение на две независимые части. «Ровно слагаемых достаточно» — это утверждение о существовании, требующее явной конструкции; «меньше не получится» — утверждение о невозможности, требующее неравенства. Для каждой части используются разные методы, и ни одна из них не следует из другой.
Построим базис пространства столбцов. Так как , пространство столбцов матрицы имеет размерность , то есть существует линейно независимых столбцов , которые его порождают. Тогда любой столбец матрицы выражается как линейная комбинация:
Запишем комбинации в виде произведения матриц. Объединяя векторы в матрицу размера , а коэффициенты — в матрицу размера , получаем разложение по рангу:
Это и есть вся конструкция в сжатом виде — далее останется только правильно её прочитать.
Раскроем произведение как сумму внешних произведений. Обозначим — -ю строку матрицы . Тогда по правилу блочного умножения получаем:
Каждая матрица состоит из столбцов, являющихся скалярными кратными , то есть её пространство столбцов одномерно и . Это доказывает первую часть.
Используем субаддитивность ранга для второй части. Для любых матриц выполняется неравенство: , так как пространство столбцов суммы содержится в сумме пространств столбцов. Повторяя это неравенство для суммы нескольких матриц, получаем:
Получим противоречие. Предположим, что , причём для каждого . Тогда
то есть ; разложение на меньшее число слагаемых невозможно. В сочетании с конструкцией выше, минимальное число слагаемых ранга 1 — ровно .
Need to solve a different problem like this? Open the solver →