Суммы (и разности) матриц
[33/100%]Пусть — матрица размера , — матрица размера , — матрица размера , а — матрица размера . Выведите (для частного случая, когда и невырождены) формулу
Сделайте это, дважды применив формулу
(где — матрица размера , а — матрица размера , и где предполагается, что невырождена) к разбитой на блоки матрице — один раз с , равным , и другой раз с , равным .
Пусть — матрица размера , — матрица размера , — матрица размера , а — матрица размера . Покажите, что если невырождена, то
Сделайте это, используя формулу
(где предполагается, что и невырождены), либо, в качестве альтернативы, формулу или формулу .
Пусть — симметрическая неотрицательно определённая матрица размера . Покажите, что если неотрицательно определена и , то .
Покажите, что для любой симметрической неотрицательно определённой матрицы размера и любой симметрической матрицы размера , такой что неотрицательно определена,
причём равенство имеет место тогда и только тогда, когда вырождена или .
Пусть — симметрическая неотрицательно определённая матрица, разбитая на блоки как
где имеет размеры , а — размеры (и где имеет размеры ). И определим (это дополнение Шура матрицы ).
Используя результат о том, что симметричность и неотрицательная определённость влекут неотрицательную определённость , и результат упражнения 14.33 (или иным способом), покажите, что
причём равенство имеет место тогда и только тогда, когда вырождена или .
Предположим, что и что невырождена. Покажите, что
причём равенство имеет место тогда и только тогда, когда вырождена или .
Предположим, что и что положительно определена. Покажите, что
Покажите, что для любой матрицы размера и любой симметрической положительно определённой матрицы
Начните с того, что покажите, что матрицы и симметрические и неотрицательно определённые.
Покажите, что для любой кососимметрической матрицы размера
причём равенство имеет место тогда и только тогда, когда .
Обобщите результат пункта (a), показав, что для любой симметрической положительно определённой матрицы размера и любой кососимметрической матрицы размера
причём равенство имеет место тогда и только тогда, когда .
Пусть — невырожденная матрица размера , а — матрица ранга один размера . Покажите, что невырождена тогда и только тогда, когда , и в этом случае
К чему упрощается результат пункта (a) в частном случае, когда ?
Пусть — матрица размера , — матрица размера , — матрица размера , а — матрица размера . Предположим, что невырождена. Покажите
что невырождена тогда и только тогда, когда невырождена, и в этом случае
и
что невырождена тогда и только тогда, когда невырождена, и в этом случае
Сделайте это, используя результат — применимый, когда (а также ) невырождена, — о том, что невырождена тогда и только тогда, когда невырождена, или, что равносильно, тогда и только тогда, когда невырождена, и в этом случае
Пусть — матрица размера , — матрица размера , — матрица размера , а — матрица размера . Расширьте результаты упражнения 9, показав, что если и , то матрица
и матрица
обе являются обобщёнными обратными для матрицы .
Пусть — матрица размера , — матрица размера , — матрица размера , а — матрица размера .
Пусть — обобщённая обратная разбитой на блоки матрицы , и разобьём как (где имеет размеры ). Покажите, что является обобщённой обратной для матрицы . Сделайте это, используя результат о том, что для любой разбитой на блоки матрицы , такой что и , и для любой обобщённой обратной матрицы (где имеет те же размеры, что и ), является обобщённой обратной для матрицы .
Пусть , , , , , , , и . Используя результат пункта (a) упражнения 10.10, покажите, что матрица
является обобщённой обратной для матрицы .
Покажите, что если и , то формулу
для обобщённой обратной матрицы можно получить как частный случай формулы (E.2).
Пусть — последовательность матриц размера , и пусть — другая матрица размера .
Используя результат упражнения 6.1 (то есть неравенство треугольника), покажите, что если , то .
Покажите, что если , то (где нормы — обычные нормы).
Пусть — матрица размера . Используя результаты упражнения 6.1 и пункта (b) упражнения 12, покажите, что если , то (для )
(где нормы — обычные нормы). (Замечание. Если , то невырождена.)
Пусть и — матрицы размера . Предположим, что невырождена, и определим . Используя результат упражнения 13, покажите, что если , то (для )
(где нормы — обычные нормы). (Замечание. Если , то невырождена.)
Пусть — симметрическая неотрицательно определённая матрица размера , а — матрица размера . Покажите, что если неотрицательно определена (в этом случае также неотрицательно определена), то и .
Пусть — симметрическая идемпотентная матрица размера , а — симметрическая неотрицательно определённая матрица размера . Покажите, что если неотрицательно определена, то .
Покажите, что , а затем рассмотрите следствия этого равенства.
Пусть — симметрические матрицы размера , и определим . Предположим, что идемпотентна. Предположим далее, что идемпотентны и что неотрицательно определена. Используя результат упражнения 16 (или иным способом), покажите, что (для ), что идемпотентна и что .
Пусть — симметрические матрицы размера , и определим . Предположим, что идемпотентна. Покажите, что если неотрицательно определены и если , то (для ) и идемпотентны.
Покажите, что , а затем используйте результат о том, что для любых двух симметрических неотрицательно определённых матриц и (одного порядка) , причём равенство имеет место тогда и только тогда, когда .
Пусть — симметрические матрицы размера , такие что . Покажите, что если , то для любых (строго) положительных скаляров матрица положительно определена.
Пусть — симметрические идемпотентные матрицы размера , такие что при . Покажите, что для любого (строго) положительного скаляра и любых неотрицательных скаляров матрица положительно определена (а значит, невырождена), и
где и (для ) .
Пусть — симметрические идемпотентные матрицы размера , такие что (для ) , и пусть — симметрическая идемпотентная матрица размера , такая что (для ) . Покажите, что если , то .
Пусть — матрица размера , а — матрица размера . Если является обобщённой обратной для , то . Покажите, что обратное также верно; то есть покажите, что если , то является обобщённой обратной для .
Пусть — матрица проектирования () на подпространство пространства вдоль подпространства пространства (где ), а — матрица проектирования () на подпространство пространства вдоль подпространства пространства (где ).
Покажите, что является матрицей проектирования на некоторое подпространство пространства вдоль некоторого подпространства пространства (где ) тогда и только тогда, когда , и в этом случае и .
Покажите, что является матрицей проектирования на некоторое подпространство пространства вдоль некоторого подпространства пространства (где ) тогда и только тогда, когда , и в этом случае и .
для пункта (b). Заметьте (в свете результата о том, что матрица является матрицей проектирования на одно подпространство вдоль другого тогда и только тогда, когда она идемпотентна, и результата о том, что матрица, скажем , идемпотентна тогда и только тогда, когда идемпотентна), что является матрицей проектирования на некоторое подпространство вдоль некоторого подпространства тогда и только тогда, когда является матрицей проектирования на некоторое подпространство вдоль некоторого подпространства , а затем используйте пункт (a) и результат о том, что матрица проектирования на подпространство вдоль подпространства (где ) равна , где — матрица проектирования на вдоль .
Пусть — симметрическая матрица размера , а — симметрическая неотрицательно определённая матрица размера . Покажите, что
Пусть — матрицы размера , пусть — симметрическая неотрицательно определённая матрица размера , и определим . Если для всех и если для всех и , то и . Обратно, если , то каждое из следующих трёх условий влечёт два других: (1) (для ) и (для ); (2) (для ); (3) . Укажите, как в частном случае, когда симметрические, условия и можно переформулировать, применив результаты пункта (a) (данного упражнения).
Пусть — матрица размера , — матрица размера , — матрица размера , а — матрица размера .
Покажите, что
Пусть , , , , , , и . Используя результат пункта (b) упражнения 10.10, покажите, что
Покажите, что для любых матриц и размера
Покажите, что для любых симметрических неотрицательно определённых матриц и размера
Пусть и — матрицы размера .
Покажите, что (1) тогда и только тогда, когда , и (2) тогда и только тогда, когда .
Покажите, что (1), если и существенно не пересекаются, то , и (2), если и существенно не пересекаются, то .
Пусть и — матрицы размера . Покажите, что каждое из следующих пяти условий необходимо и достаточно для ранго-аддитивности [то есть для ]:
;
;
;
и ;
и .
Пусть и — матрицы размера . И пусть
Покажите, что
Покажите, что и ранго-вычитаемы [в том смысле, что ] тогда и только тогда, когда и .
Покажите, что если , то (1) и являются обобщёнными обратными для и соответственно, и (2) для и , .
Покажите, что каждое из следующих трёх условий необходимо и достаточно для ранго-вычитаемости [то есть для ]:
-
и ;
-
, и ;
-
.
Используя результат упражнения 29 (или иным способом), покажите, что тогда и только тогда, когда .
Сделайте это, применив (с вместо ) формулу
где
Пусть — матрицы размера . Используя терминологию упражнения 17.6, применив пункт (a) этого упражнения, покажите, что если независимы и независимы, то .
Пусть — матрица размера , — матрица размера , — матрица размера , а — матрица размера , и определим . Далее, пусть , , и .
Покажите, что
Покажите, что
Покажите, что
где и .
Покажите, что
где и .
для пункта (b). Заметьте, что (поскольку ранг матрицы не меняется при перестановке строк или столбцов) , и используйте пункт (a).
для пункта (c). Используйте пункт (b) в сочетании с результатом о том, что для любой матрицы размера , матрицы размера и матрицы размера
для пункта (d). Используйте пункт (c) в сочетании с пунктом (a).
Пусть — матрица размера , — матрица размера , — матрица размера , а — матрица размера , и определим . Далее, пусть , , , , , . Используя результат пункта (d) упражнения 32 в сочетании с результатом пункта (a) упражнения 25, покажите, что