[НЕТ ЗАГОЛОВКА]
[24/42%](Теорема Фредгольма). Неоднородная система линейных уравнений
совместна тогда и только тогда, когда вектор-столбец ортогонален всем решениям однородной системы с транспонированной матрицей .
При помощи теоремы Фредгольма исследовать совместность следующих систем линейных неоднородных уравнений:
(Альтернатива Фредгольма). Доказать, что либо неоднородная система линейных уравнений совместна при любой правой части , либо однородная система имеет ненулевые решения.
При помощи теоремы Фредгольма исследовать совместность следующих систем линейных неоднородных уравнений при различных значениях :
Обсуждая в гл. 13 метод наименьших квадратов, мы накладывали некоторое ограничение на ранг матрицы несовместной системы линейных уравнений , а именно: система столбцов матрицы должна была быть линейно независимой. В общем же случае предлагалось выделить базис системы столбцов и применить к нему метод наименьших квадратов. При этом у исходной системы возникало целое семейство псевдорешений. Уточним теперь некоторые детали.
Доказать, что множество псевдорешений системы образует аффинное подпространство (линейное многообразие)
в ( — некоторое псевдорешение).
Пусть — аффинное подпространство псевдорешений системы , а — некоторое псевдорешение. Доказать, что следующие утверждения эквивалентны:
;
;
.
Доказать, что существует единственный вектор , определенный условиями 1-3. Он называется нормальным псевдорешением.
Псевдорешения системы можно находить при помощи сингулярных базисов оператора А (см. задачу 1460).
Рассмотрим систему , где -матрица оператора . Пространства и снабжены стандартными скалярными произведениями. Пусть — канонический базис неотрицательного самосопряженного оператора , а — его положительные (т. о. ненулевые) собственные значения, отвечающие собственным векторам соответственно. Доказать, что общее псевдорешение системы имеет вид
причем нормальное псевдорешение
Если мы имеем несовместную систему линейных неоднородных уравнений, то с точки зрения теории линейных операторов речь идет о ситуации, когда оператор необратим, а вектор не лежит в его образе Im A. С помощью скалярного произведения удается определить так называемый псевдообратный оператор , который будет «наилучшим образом заменять» несуществующий обратный оператор .
Дан произвольный оператор , где и — евклидовы пространства размерностей и . Выберем в них ортогональные дополнения к ядру Ker A и образу Im A оператора A соответственно:
Определим оператор
Доказать, что — обратимый оператор. Заметим, что есть оператор не только с иной областью определения, но и с другой областью значений, чем у исходного оператора А.
Пусть матрица системы уравнений определяет некоторое линейное отображение . Пространства и можно считать евклидовыми, снабдив их соответствующими (например стандартными) скалярными произведениями. Определим псевдообратный оператор следующим образом:
где — оператор, построенный в предыдущей задаче. Доказать, что:
если оператор А является обратимым, то ;
вектор представляет собой нормальное псевдорешение системы .
Доказать, что ядро и образ псевдообратного оператора совпадают соответственно с ядром и образом сопряженного оператора.
Пусть и — сингулярные базисы (см. задачу 1460) оператора . Найти матрицу псевдообратного оператора относительно этих двух базисов.
Пусть — линейное отображение евклидовых пространств, заданное матрицей . Определим отображение следующим образом: пусть , тогда значение В определим как (единственное) нормальное псевдорешение системы . Доказать, что:
В-линейный оператор;
В совпадает с псевдообратным оператором .
Найти псевдообратный оператор для оператора , заданного матрицей
Доказать следующие свойства псевдообратных операторов:
;
;
,
, .
Пусть столбцы матрицы оператора линейно независимы. Доказать, что матрица псевдообратного оператора может быть найдена следующим образом: -й столбец , матрицы есть псевдорешение системы линейных уравнений
(здесь -й вектор стандартного базиса ), найденное методом наименьших квадратов.
Найти псевдообратный оператор для оператора , заданного матрицей
Доказать, что матрица псевдообратного оператора (определенного относительно стандартного скалярного произведения) равна нормальному псевдорешению матричного уравнения (рассмотренного как неоднородная система линейных уравнений с неизвестными).
Пусть ранг матрицы оператора равен . Доказать, что матрица псевдообратного оператора (определенного относительно стандартного скалярного произведения) может быть вычислена по следующей формуле:
Ряд алгоритмов, созданных для решения систем линейных уравнений, основан на следующих задачах о некоторых элементарных ортогональных (унитарных) преобразованиях.
Пусть — ортонормированный базис евклидова пространства . Назовем элементарным вращением поворот на угол в двумерном подпространстве с базисом .
Найти матрицу оператора в базисе . Доказать, что для любого вектора существует набор из - 1 элементарных вращений таких, что их композиция А переводит вектор в вектор .
Доказать, что любая ортогональная матрица может быть представлена в виде произведения матриц ..., элементарных вращений и диагональной матрицы , у которой на диагонали стоят :
Рассмотрим подпространство евклидова (эрмитова) пространства размерности , заданное уравнением , где — некоторый вектор , причем . Пусть — оператор ортогонального отражения относительно . Доказать, что матрица оператора А имеет вид
где — столбец координат вектора , рассмотренный как матрица размера . Операторы такого вида будем называть операторами элементарного отражения.
Пусть — произвольный вектор единичной длины пространства . Найти такой оператор отражения относительно гиперплоскости (см. предыдущую задачу), т. е. найти такой вектор , что
Где геометрически расположено соответствующее подпространство ?
Доказать, что любая унитарная (ортогональная) матрица может быть представлена в виде произведения матриц элементарных отражений и диагональной унитарной (ортогональной) матрицы.
Придумать алгоритмы для представления произвольной вещественной квадратной матрицы в виде произведения ортогональной матрицы на верхнетреугольную матрицу с помощью:
элементарных вращений ;
элементарных отражений .
Как с помощью такого представления решать системы неоднородных линейных уравнений?