Геометрические соображения
[5/100%]Используя неравенство Шварца, покажите, что для любых двух матриц и линейного пространства
причём равенство выполняется тогда и только тогда, когда или для некоторого неотрицательного скаляра . (Это неравенство известно как неравенство треугольника.)
Пусть , и — произвольные матрицы линейного пространства ; покажите, что
, то есть расстояние между и такое же, как между и ;
то есть расстояние между любыми двумя матрицами больше нуля, если только эти две матрицы не совпадают, в каковом случае расстояние между ними равно нулю;
, то есть расстояние между и не превосходит суммы расстояний между и и между и ;
, то есть расстояние не меняется при переносе <<осей>>.
Для части (c) используйте результат упражнения 6.1, то есть неравенство треугольника.
Пусть , и — три линейно независимых 4-мерных вектора-строки , и соответственно в линейном пространстве , и примем обычное определение скалярного произведения.
Используя ортогонализацию Грама--Шмидта, найдите ортонормированный базис линейного пространства .
Найдите ортонормированный базис , включающий три ортонормированных вектора из части (a). Сделайте это, распространив результаты ортогонализации Грама--Шмидта [из части (a)] на четвёртый линейно независимый вектор-строку, такой как .
Пусть — непустое (возможно, линейно зависимое) множество матриц линейного пространства .
Обобщите результаты, лежащие в основе ортогонализации Грама--Шмидта (которые относятся к частному случаю, когда множество линейно независимо), показав (1) что существуют скаляры () такие, что множество, состоящее из матриц
ортогонально; (2) что при и для тех , для которых ненулевая, однозначно задаётся формулой
и (3) что число ненулевых матриц среди равно .
Опишите процедуру построения ортонормированного базиса .
Пусть — матрица размера ранга (где , возможно, меньше ). Обобщите так называемое QR-разложение , которое относится к частному случаю и получается применением ортогонализации Грама--Шмидта к столбцам . Сделайте это, используя результаты упражнения 6.4, чтобы получить разложение вида , где — матрица размера с ортонормированными столбцами, а — подматрица размера , строки которой являются ненулевыми строками верхнетреугольной матрицы размера , имеющей положительных диагональных элементов и нулевых строк.