Линейные, билинейные и квадратичные формы
[51/100%]Покажите, что симметрическую билинейную форму (от -мерных векторов и ) можно выразить через соответствующую квадратичную форму, то есть квадратичную форму, матрицей которой является . Сделайте это, проверив, что
Покажите, что для любой квадратичной формы (от -мерного вектора ) существует единственная верхняя треугольная матрица , такая что и тождественно равны, и выразите элементы через элементы .
Покажите на примере, что сумма двух положительно полуопределённых матриц может быть положительно определённой.
Покажите на примере, что существуют (несимметрические) невырожденные положительно полуопределённые матрицы.
Покажите на примере, что существуют положительно полуопределённая матрица порядка и матрица размера (где ), такие что положительно определена.
Для матрицы порядка и матрицы размера имеет место следующее: (1) если неотрицательно определена, то неотрицательно определена; (2) если неотрицательно определена и , то положительно полуопределена; и (3) если положительно определена и , то положительно определена. Переформулируйте эти результаты, относящиеся к неотрицательно определённым (положительно определённым или положительно полуопределённым) матрицам, в эквивалентные результаты для неположительно определённых матриц.
Пусть — набор матриц из линейного пространства . И пусть — матрица порядка , -й элемент которой равен -- эта матрица называется матрицей Грама (или грамианом) набора , а её определитель называется грамианом (или определителем Грама) набора .
Покажите, что симметрична и неотрицательно определена.
Покажите, что линейно независимы тогда и только тогда, когда невырождена.
Пусть — симметрическая положительно определённая матрица порядка , и пусть . Покажите, что для
причём равенство имеет место тогда и только тогда, когда для всех выполняется .
Пусть — матрица размера , а — диагональная матрица, такие что для некоторой матрицы полного столбцового ранга и некоторой матрицы полного строчного ранга. Покажите, что равен числу ненулевых диагональных элементов .
Пусть — симметрическая идемпотентная матрица порядка , а — симметрическая положительно определённая матрица порядка . Покажите, что .
Покажите, что если матрица порядка такова, что для всякого ненулевого вектора размера , то либо положительно определена, либо отрицательно определена.
Пусть — симметрическая матрица ранга порядка . Возьмём невырожденную матрицу порядка и диагональную матрицу порядка , такие что -- существование таких матриц гарантировано. Число, скажем , положительных диагональных элементов называется индексом инерции матрицы (или квадратичной формы , матрицей которой является ). Покажите, что индекс инерции определён корректно в том смысле, что не зависит от выбора или . То есть покажите, что если и — невырожденные матрицы, а и — диагональные матрицы, такие что , то содержит столько же положительных диагональных элементов, сколько и . Покажите также, что число отрицательных диагональных элементов равно .
Пусть — симметрическая матрица порядка . Покажите, что для некоторой невырожденной матрицы порядка и некоторых неотрицательных целых чисел и . Покажите далее, что равно индексу инерции матрицы , а .
Симметричная матрица порядка называется конгруэнтной симметрической матрице порядка , если существует невырожденная матрица порядка , такая что . (Если конгруэнтна , то, очевидно, конгруэнтна .) Покажите, что конгруэнтна тогда и только тогда, когда имеет тот же ранг и тот же индекс инерции, что и . Этот результат называется законом инерции Сильвестра, в честь Джеймса Джозефа Сильвестра (1814--1897).
Пусть — симметрическая матрица ранга и с индексом инерции порядка . Покажите, что неотрицательно определена тогда и только тогда, когда , и положительно определена тогда и только тогда, когда .
Пусть — симметрическая неотрицательно определённая матрица ранга порядка . Тогда существует матрица размера (ранга ), такая что . Пусть — произвольная матрица размера (где ), такая что .
Покажите, что .
Покажите, что для некоторой ортогональной матрицы .
Покажите, что если симметрическая матрица имеет неотрицательно определённую обобщённую обратную, то неотрицательно определена.
Предположим, что матрица порядка имеет LDU-разложение, скажем , и пусть — диагональные элементы диагональной матрицы . Покажите, что
Предположим, что матрица порядка (где ) имеет единственное LDU-разложение, скажем , и пусть — первый, второй, , -й диагональные элементы . Покажите, что и что тогда и только тогда, когда невырождена.
Предположим, что (симметрическая) матрица порядка (где ) имеет единственное разложение , скажем , и пусть — первый, второй, , -й диагональные элементы . Покажите, что и что тогда и только тогда, когда невырождена.
Предположим, что (симметрическая) матрица порядка имеет единственное разложение , скажем . Используя результат части (b) упражнения 14.16, покажите, что не имеет LDU-разложений, отличных от .
Покажите, что если невырожденная матрица имеет LDU-разложение, то это разложение единственно.
Пусть — матрица порядка (где ). Используя, например, результаты упражнений 14.16, 14.17 и 14.18, покажите, что если имеет единственное LDU-разложение либо (в частном случае, когда симметрична) единственное разложение , то главные угловые подматрицы (матрицы ) порядков невырождены и имеют единственные LDU-разложения.
Пусть — ненулевая матрица ранга размера . Покажите, что существуют матрица перестановки порядка и матрица перестановки порядка , такие что
где -- невырожденная матрица порядка , главные угловые подматрицы которой (порядков ) невырождены.
Пусть -- произвольная ненулевая матрица ранга размера , такая что -- невырожденная матрица порядка , главные угловые подматрицы которой (порядков ) невырождены. Покажите, что существует единственное разложение вида
где -- унитреугольная нижняя матрица порядка , -- унитреугольная верхняя матрица порядка , а -- диагональная матрица порядка . Покажите далее, что это разложение таково, что -- единственное LDU-разложение , невырождена, , а .
Покажите на примере, что существуют (несимметрические) положительно полуопределённые матрицы порядка , не имеющие LDU-разложений.
Пусть — неотрицательно определённая (возможно, несимметрическая) матрица порядка , имеющая LDU-разложение, скажем . Покажите, что диагональные элементы диагональной матрицы неотрицательны.
Пусть — матрица полного столбцового ранга размера . И пусть -- QR-разложение ; то есть пусть -- единственная матрица размера , столбцы которой ортонормированы относительно обычного скалярного произведения, а -- единственная верхняя треугольная матрица порядка с положительными диагональными элементами, такие что . Покажите, что (так что -- разложение Холецкого матрицы ).
Пусть — матрица ранга размера (где , возможно, меньше ). Рассмотрим разложение , где -- матрица размера с ортонормированными столбцами, а -- подматрица размера , строками которой служат ненулевых строк верхней треугольной матрицы порядка , имеющей положительных диагональных элементов и нулевых строк. (Такое разложение можно получить, используя результаты упражнения 6.4 -- см. упражнение 6.5.) Обобщите результат упражнения 14.23, показав, что если скалярное произведение, относительно которого столбцы ортонормированы, -- это обычное скалярное произведение, то (так что -- разложение Холецкого матрицы ).
Пусть — матрица порядка , имеющая LDU-разложение, скажем . И определим (которая является обобщённой обратной матрицы ).
Покажите, что
Для пусть -- -й диагональный элемент диагональной матрицы ; и для пусть и -- -е элементы и соответственно. Положим , где , если , и -- произвольный скаляр, если . Покажите, что
и что
g_{ij} = \begin{cases} -\sum _{k=j+1}^{n} g_{ik}\ell _{kj}, & \text{при } j < i , \tag {E.2a} \\ -\sum _{k=i+1}^{n} u_{ik}g_{kj}, & \text{при } j > i \tag {E.2b} \end{cases}(где вырожденные суммы и следует понимать как ).
Разработайте рекурсивную процедуру, использующую формулы из части (b) для построения обобщённой обратной матрицы .
Проверьте, что главная подматрица кососимметрической матрицы кососимметрична.
Покажите, что сумма кососимметрических матриц кососимметрична.
Покажите, что сумма неотрицательно определённых матриц порядка кососимметрична тогда и только тогда, когда кососимметричны.
Покажите, что сумма симметрических неотрицательно определённых матриц порядка является нулевой матрицей тогда и только тогда, когда — нулевые матрицы.
Пусть — неотрицательно определённые матрицы порядка . Покажите, что , причём равенство имеет место тогда и только тогда, когда кососимметрична, или, что эквивалентно, тогда и только тогда, когда кососимметричны.
Пусть — симметрические неотрицательно определённые матрицы порядка . Покажите, что , причём равенство имеет место тогда и только тогда, когда , или, что эквивалентно, тогда и только тогда, когда -- нулевые матрицы.
То, что кососимметричность равносильна кососимметричности , -- это результат части (b) упражнения 14.27.
Покажите на примере, что (при ) существуют (несимметрические) положительно определённые матрицы и порядка , такие что .
Покажите на примере, что (при ) существуют симметрические положительно определённые матрицы и порядка , такие что произведение имеет один или несколько отрицательных диагональных элементов (а значит, не является неотрицательно определённой).
Покажите, однако, что произведение двух симметрических положительно определённых матриц порядка не может быть неположительно определённым.
Пусть и — матрицы порядка , и пусть — матрица порядка , -й элемент которой является произведением -х элементов и -- называется произведением Адамара матриц и . Покажите, что если неотрицательно определена, а симметрична и неотрицательно определена, то неотрицательно определена. Покажите далее, что если положительно определена, а симметрична и положительно определена, то положительно определена.
Взяв -- произвольный вектор размера -- и -- матрицу, такую что , начните с того, чтобы показать, что , где при .
Пусть и — симметрические неотрицательно определённые матрицы порядка . Покажите, что , причём равенство имеет место тогда и только тогда, когда для выполняется , тем самым обобщив результаты части (b) упражнения 14.28.
Пусть — симметрическая неотрицательно определённая матрица, разбитая на блоки как
где (а значит, и ) квадратная. Покажите, что и симметричны и неотрицательно определены.
Покажите на примере, что существует (несимметрическая) положительно полуопределённая матрица порядка вида , где имеет размер , -- размер , -- размер , а -- размер , для которой и/или , выражение не обязательно равно , а формула
где , не обязательно даёт обобщённую обратную .
Покажите на примере, что существует симметрическая блочная матрица порядка вида , где имеет размер , -- размер , а -- размер , такая что неотрицательно определена и (в зависимости от выбора ) дополнение Шура матрицы относительно неотрицательно определено, но не является неотрицательно определённой.
Матрица порядка называется матрицей с диагональным преобладанием, если для выполняется . (В вырожденном частном случае матрица называется матрицей с диагональным преобладанием, если она ненулевая.)
Покажите, что главная подматрица матрицы с диагональным преобладанием сама обладает диагональным преобладанием.
Пусть — матрица порядка с диагональным преобладанием, разобьём на блоки как [так что имеет размер ], и пусть -- дополнение Шура элемента . Покажите, что обладает диагональным преобладанием.
Покажите, что матрица с диагональным преобладанием невырождена.
Покажите, что матрица с диагональным преобладанием имеет единственное LDU-разложение.
Пусть — симметрическая матрица порядка . Покажите, что если обладает диагональным преобладанием и если диагональные элементы матрицы все положительны, то положительно определена.
Пусть — симметрическая положительно определённая матрица порядка . Покажите, что , причём равенство имеет место тогда и только тогда, когда диагональна.
Пусть , где и — скаляры.
Покажите, что положительно определена тогда и только тогда, когда , и .
Покажите, что в частном случае, когда симметрична (то есть ), положительно определена тогда и только тогда, когда , и .
Используя, например, результат упражнения 14.38, покажите, что если матрица порядка симметрична и положительно определена, то для
Покажите на примере, что определители обеих главных угловых подматриц симметрической матрицы могут быть неотрицательны без того, чтобы сама матрица была неотрицательно определена, и что при определители всех главных угловых подматриц симметрической матрицы порядка могут быть неотрицательны, а сама матрица -- невырожденной, без того, чтобы матрица была неотрицательно определена.
Пусть — подпространство размерности (где ). Возьмём -- произвольную матрицу размера , столбцы которой образуют базис , и пусть -- произвольная левая обратная . Пусть -- функция, сопоставляющая значение произвольной паре векторов и из .
Пусть — произвольное скалярное произведение на , и обозначим через значение, сопоставляемое произвольной паре -мерных векторов и . Покажите, что является скалярным произведением (на ) тогда и только тогда, когда существует такое , что (для всех и из )
Покажите, что является скалярным произведением (на ) тогда и только тогда, когда существует симметрическая положительно определённая матрица порядка , такая что (для всех и из )
Покажите, что является скалярным произведением (на ) тогда и только тогда, когда существует симметрическая положительно определённая матрица порядка , такая что (для всех и из )
Пусть — линейное пространство матриц размера , и пусть -- значение, сопоставляемое квазискалярным произведением произвольной паре матриц и (из ). Покажите, что множество
состоящее из всех матриц в с нулевой квазинормой, является линейным пространством.
Пусть — симметрическая положительно определённая матрица порядка , а -- симметрическая положительно определённая матрица порядка .
Покажите, что функция, сопоставляющая значение произвольной паре матриц и размера , является скалярным произведением для линейного пространства .
Покажите, что функция, сопоставляющая значение произвольной паре матриц и размера , является скалярным произведением на .
Покажите, что функция, сопоставляющая значение произвольной паре матриц и размера , является скалярным произведением на .
Пусть — матрица размера , -- матрица размера , а -- матрица размера . Покажите, что
тогда и только тогда, когда , и
тогда и только тогда, когда .
Пусть — подпространство , пусть -- матрица размера , столбцы которой порождают , и пусть и -- симметрические положительно определённые матрицы порядка . Покажите, что каждое из следующих двух условий необходимо и достаточно для того, чтобы проекция вектора на относительно совпадала (для всякого из ) с проекцией вектора на относительно :
;
существуют скаляр , матрица порядка и матрица порядка , такие что
Пусть — -мерный вектор-столбец, пусть -- подпространство , и пусть -- матрица размера , столбцы которой порождают . ``Напомним'', что для любой матрицы размера , для любого подпространства пространства и для
где (и где -- произвольный вектор размера ), и
где -- произвольная матрица размера , столбцы которой порождают . Используя результаты (*) и (**), покажите, что для любой симметрической неотрицательно определённой матрицы порядка тогда и только тогда, когда .
Пусть — симметрическая неотрицательно определённая матрица порядка .
Покажите, что для любой матрицы размера и любой матрицы размера , такой что ,
-
, и ;
-
, и .
Покажите, что для любой матрицы размера и любой матрицы размера , такой что ,
Пусть — подпространство , пусть -- матрица порядка , а -- симметрическая неотрицательно определённая матрица порядка , и пусть -- произвольная матрица размера , столбцы которой порождают .
Покажите, что является матрицей проектирования для относительно тогда и только тогда, когда
для некоторой матрицы размера .
Покажите, что если является матрицей проектирования для относительно , то .
Пусть — матрица порядка , а -- симметрическая неотрицательно определённая матрица порядка .
Покажите (например, используя результаты упражнения 14.48), что если [или, что эквивалентно, если ], то является матрицей проектирования относительно , и в частности является матрицей проектирования для относительно , и, обратно, покажите, что если является матрицей проектирования относительно , то .
Покажите, что если является матрицей проектирования относительно , то, в частности, является матрицей проектирования для относительно .
Покажите, что является матрицей проектирования относительно тогда и только тогда, когда симметрична и .
Пусть — подпространство , пусть -- матрица размера , столбцы которой порождают , и пусть и -- симметрические неотрицательно определённые матрицы порядка . Покажите (например, используя результат упражнения 14.46), что каждое из следующих двух условий необходимо и достаточно для того, чтобы всякая проекция на относительно была проекцией (для всякого из ) на относительно :
, или, что эквивалентно, ;
существует матрица порядка , такая что , или, что эквивалентно, .
Пусть — матрица размера , а -- симметрическая неотрицательно определённая матрица порядка . Как и в частном случае, когда положительно определена, положим
Используя, например, результат упражнения 14.46, покажите, что
Покажите, что
Используя, например, результат упражнения 14.46, покажите, что для любого решения линейной системы (относительно ) вектор является проекцией на относительно .