Ортогональные дополнения и задачи минимизации
[23/0%]Пусть . Докажите, что
Пусть — подпространство с базисом и
— базис . Докажите, что если процесс Грама-Шмидта применить к указанному выше базису , получив набор , то — ортонормированный базис , а — ортонормированный базис .
Пусть — подпространство , определённое как
Найдите ортонормированный базис и ортонормированный базис .
Пусть — набор векторов в с для каждого и
для всех . Докажите, что — ортонормированный базис . Эта задача даёт утверждение, обратное к .
Пусть конечномерно и — подпространство . Покажите, что , где — тождественный оператор на .
Пусть конечномерно и . Покажите, что
Пусть и — конечномерные подпространства . Докажите, что тогда и только тогда, когда для всех и всех .
Пусть — конечномерное подпространство и . Определим линейный функционал формулой
для всех . По теореме Рисса о представлении (6.42), применённой к пространству со скалярным произведением , существует единственный вектор , такой что
для всех . Покажите, что .
Пусть конечномерно. Пусть таков, что и каждый вектор из ортогонален каждому вектору из range . Докажите, что существует подпространство пространства , такое что .
Пусть конечномерно и таков, что и
для каждого . Докажите, что существует подпространство пространства , такое что .
Пусть и — конечномерное подпространство . Докажите, что
Пусть конечномерно, , и — подпространство . Докажите, что
Пусть и конечномерно. Для каждого пусть обозначает линейный функционал на , определённый как
для всех .
Покажите, что — инъективное линейное отображение из в .
Используя (a) и подсчёт размерностей, покажите, что — изоморфизм из на .
Цель этой задачи — дать альтернативное доказательство теоремы Рисса о представлении (6.42 и 6.58) при . Таким образом, вам не следует использовать теорему Рисса о представлении в качестве инструмента при решении.
Пусть — ортонормированный базис . Объясните, почему двойственный базис (см. 3.112) к есть при отождествлении с , задаваемом теоремой Рисса о представлении (6.58).
В пусть
Найдите , такой что минимально.
Пусть — векторное пространство непрерывных вещественнозначных функций на отрезке со скалярным произведением
для всех . Пусть — подпространство , определённое как
Покажите, что .
Покажите, что 6.49 и 6.52 не выполняются без предположения конечномерности.
Найдите , такой что , , и минимален.
Найдите , минимизирующий . Многочлен 6.65 является отличным приближением к ответу этой задачи, но здесь требуется найти точное решение, которое включает степени . Компьютер, способный выполнять символьное интегрирование, должен помочь.
Пусть конечномерно и — ортогональная проекция на некоторое подпространство . Докажите, что .
Пусть конечномерно и . Покажите, что
Пусть определён как
Для найдите формулу для .
Убедитесь, что равенство из 6.69(b) выполняется с формулой для , полученной в пункте (a).
Убедитесь, что равенство из 6.69(c) выполняется с формулой для , полученной в пункте (a).
Пусть конечномерно и . Докажите, что
Обе формулы выше, очевидно, выполняются, если обратим, поскольку в этом случае мы можем заменить на .
Пусть и конечномерны и . Докажите, что
Указанное выше равенство аналогично равенству , которое выполняется, если обратим.