Непрерывные линейные операторы на гильбертовых пространствах
[66/0%]Пусть — замкнутый ограниченный интервал вещественных чисел. Покажите, что скалярное произведение также является скалярным произведением на . Является ли , рассматриваемое как пространство со скалярным произведением , гильбертовым пространством?
Покажите, что максимум-норма на не индуцируется скалярным произведением, как и обычная норма на .
Пусть и — гильбертовы пространства. Покажите, что декартово произведение также является гильбертовым пространством со скалярным произведением, относительно которого .
Покажите, что если — подмножество пространства со скалярным произведением, то — замкнутое подпространство .
Пусть — подмножество . Покажите, что тогда и только тогда, когда — замкнутое подпространство .
Покажите, что для любых двух векторов
Пусть — линейное пространство с нормой . Используя тождество поляризации, покажите, что норма индуцируется скалярным произведением тогда и только тогда, когда выполняется тождество параллелограмма.
Пусть — замкнутое подпространство , а — проекция на . Покажите, что является ортогональной проекцией на тогда и только тогда, когда выполняется (4).
Пусть принадлежит . Покажите, что является изометрией тогда и только тогда, когда
Пусть — конечномерное подпространство , а — базис , состоящий из единичных векторов, каждая пара которых ортогональна. Покажите, что ортогональная проекция пространства на задается формулой
Для вектора в покажите, что функция принадлежит .
Для любого вектора покажите, что существует ограниченный линейный функционал , для которого
Пусть — замкнутое подпространство , а — ортогональная проекция на . Для любого нормированного линейного пространства и покажите, что принадлежит и является продолжением , для которого .
Докажите теорему об отделимости гиперплоскостью для , рассматриваемого как локально выпуклое топологическое векторное пространство относительно сильной топологии, непосредственно используя Предложение 1.
Предложение 1: Пусть — непустое замкнутое выпуклое подмножество гильбертова пространства , а — вектор в , лежащий вне . Тогда существует ровно один вектор , ближайший к , в том смысле, что .
Используя Предложение 1, докажите лемму Крейна-Мильмана в гильбертовом пространстве.
Предложение 1: Пусть — непустое замкнутое выпуклое подмножество гильбертова пространства , а — вектор в , лежащий вне . Тогда существует ровно один вектор , ближайший к , в том смысле, что .
Покажите, что ортонормированное подмножество сепарабельного гильбертова пространства должно быть счетным.
Пусть — ортонормированная последовательность в гильбертовом пространстве . Покажите, что слабо сходится к 0 в .
Пусть — ортонормированный базис сепарабельного гильбертова пространства . Покажите, что слабо тогда и только тогда, когда ограничена и для каждого выполняется .
Покажите, что любые два бесконечномерных сепарабельных гильбертовых пространства изометрически изоморфны и что любой такой изоморфизм сохраняет скалярное произведение.
Пусть — замкнутое сепарабельное подпространство , для которого является ортонормированным базисом. Покажите, что ортогональная проекция на , задается формулой
Пусть — ортонормированный базис гильбертова пространства . Проверьте, что
Также проверьте, что
где при каждом натуральном имеем и .
Проверьте утверждения в примере ортонормированного базиса для .
Используя Предложение 5 и теорему Стоуна-Вейерштрасса, покажите, что для каждой
где сходимость понимается в и каждое
Предложение 5: Ортонормированная последовательность в гильбертовом пространстве полна тогда и только тогда, когда она является ортонормированным базисом.
Покажите, что ни , ни не являются гильбертизуемыми.
Пусть — пространство со скалярным произведением. Покажите, что поскольку является плотным подмножеством банахова пространства , норма которого сужается до нормы, индуцированной скалярным произведением на , скалярное произведение на продолжается до и индуцирует норму на . Следовательно, пространства со скалярным произведением имеют гильбертовы пополнения.
Доказательство основано на теореме представления Рисса-Фреше. Пусть () — конечное пространство с мерой, а — конечная мера, абсолютно непрерывная относительно . Заполните следующий план доказательства того, что существует неотрицательная измеримая функция , для которой для всех .
Определите меру на -алгебре и функционал на формулой
Покажите, что, поскольку , — ограниченный линейный функционал на .
По теореме представления Рисса-Фреше для гильбертова пространства существует функция такая, что
и, следовательно,
Заключите, что, поскольку ,
Следовательно, , и, используя абсолютную непрерывность относительно , мы также получаем . Следовательно, можно считать, что на .
Для натурального числа и подставьте в (*) и, используя теорему о монотонной сходимости, перейдите к пределу при , чтобы заключить, что
и неотрицательна и измерима.
Покажите, что, взяв счетное измеримое разбиение такое, что и конечны на каждом множестве разбиения, приведенный выше частный случай теоремы Радона-Никодима распространяется на случай, когда меры и -конечны.
Проверьте (14).
Пусть симметричны. Покажите, что тогда и только тогда, когда .
Покажите, что ограниченные симметричные операторы образуют замкнутое подпространство . Также покажите, что если и симметричны, то композиция симметрична тогда и только тогда, когда коммутирует с относительно композиции, то есть .
Пусть — гильбертово пространство, а линейный оператор обладает тем свойством, что для всех . Покажите, что принадлежит , то есть ограничен.
Приведите оператор , для которого .
Пусть симметричны. Предположим, что и . Докажите, что .
Пусть — замкнутое нетривиальное подпространство гильбертова пространства , а — ортогональная проекция на . Покажите, что и .
Пусть — проекция. Покажите, что является ортогональной проекцией на тогда и только тогда, когда .
Пусть — ортонормированный базис гильбертова пространства , и для каждого натурального числа определите как ортогональную проекцию на линейную оболочку . Покажите, что симметричен и
Покажите, что сходится поточечно на к Id, но не сходится равномерно на единичном шаре.
Покажите, что если обратим, то также обратим, а значит, обратим и .
Пусть симметричен и неотрицателен. Покажите, что для всех
Используя предыдущую задачу, покажите, что если симметричны и , то для каждого и тем самым заключите, что
Последовательность симметричных операторов в называется монотонно возрастающей, если для каждого , и называется ограниченной сверху, если существует симметричный оператор в такой, что для всех .
Используя предыдущую задачу, покажите, что монотонно возрастающая последовательность симметричных операторов в сходится поточечно к симметричному оператору в тогда и только тогда, когда она ограничена сверху.
Покажите, что монотонно возрастающая последовательность симметричных операторов в ограничена сверху тогда и только тогда, когда она поточечно ограничена, то есть для каждого последовательность ограничена.
Пусть — симметричный оператор, для которого . Определите последовательность в , полагая , и если — натуральное число, для которого уже определен, определяя .
Покажите, что для каждого натурального числа операторы и являются многочленами от Id с неотрицательными коэффициентами.
Покажите, что — монотонно возрастающая последовательность симметричных операторов, ограниченная сверху оператором Id.
Используя предыдущую задачу, покажите, что сходится поточечно к симметричному оператору , для которого и .
Определите . Покажите, что .
Пусть — неотрицательный симметричный оператор. Неотрицательный симметричный оператор называется квадратным корнем из , если . Используя индуктивное построение из предыдущей задачи, покажите, что имеет квадратный корень , который коммутирует с каждым оператором в , коммутирующим с . Покажите, что квадратный корень единствен: он обозначается . Наконец, покажите, что обратим тогда и только тогда, когда обратим.
Обратимый оператор называется ортогональным, если . Покажите, что обратимый оператор ортогонален тогда и только тогда, когда он является изометрией.
Пусть обратим. Покажите, что существуют ортогональный обратимый оператор и неотрицательный симметричный обратимый оператор такие, что .
Покажите, что если бесконечномерно, а обратим, то не компактен.
Докажите Предложение 17.
Предложение 17: Для следующие три свойства эквивалентны: (i) компактен; (ii) вполне ограничено, где — замкнутый единичный шар в ; (iii) если — ограниченная последовательность в , то имеет сильно сходящуюся подпоследовательность.
Пусть обозначает множество компактных операторов в . Покажите, что — линейное подпространство . Более того, покажите, что для и оба оператора и принадлежат .
Покажите, что линейный оператор непрерывен тогда и только тогда, когда он переводит слабо сходящиеся последовательности в слабо сходящиеся последовательности.
Покажите, что компактен тогда и только тогда, когда всякий раз, когда слабо и слабо, выполняется .
Пусть — последовательность ортогональных проекций в , обладающая тем свойством, что для натуральных чисел и , и — ортогональные конечномерные подпространства . Пусть — ограниченная последовательность вещественных чисел. Покажите, что
является корректно определенным симметричным оператором в , который компактен тогда и только тогда, когда сходится к 0.
Для банахова пространства назовем оператор компактным, если имеет компактное замыкание. Покажите, что Предложение 17 выполняется для общего банахова пространства, а Предложение 18 выполняется для рефлексивного банахова пространства.
Предложение 17: Для следующие три свойства эквивалентны: (i) компактен; (ii) вполне ограничено, где — замкнутый единичный шар в ; (iii) если — ограниченная последовательность в , то имеет сильно сходящуюся подпоследовательность. Предложение 18: Оператор в компактен тогда и только тогда, когда он переводит слабо сходящиеся последовательности в сильно сходящиеся последовательности, то есть если слабо, то сильно.
Пусть компактен и симметричен. Определите
Покажите, что если , то является собственным значением , а если , то является собственным значением . Приведите пример, где , и тем не менее не является собственным значением , то есть инъективен.
Пусть компактен и симметричен. Предположим, что
Пусть — последовательность единичных векторов, для которой . Покажите, что некоторая подпоследовательность сильно сходится к собственному вектору с соответствующим собственным значением .
Пусть компактен. Покажите, что компактен и симметричен. Затем, используя теорему Гильберта-Шмидта, покажите, что существует ортонормированная последовательность в такая, что для всех и , если ортогонален . Заключите, что если ортогонален , то
Определите как замкнутую линейную оболочку . Покажите, что замкнуто и сепарабельно, и на .
Пусть обозначает множество компактных операторов в . Покажите, что — замкнутое подпространство , для которого множество операторов конечного ранга является плотным подпространством. Является ли открытым подмножеством ?
Покажите, что композиция в любом порядке фредгольмова оператора индекса 0 с обратимым оператором также является фредгольмовой индекса 0.
Покажите, что композиция двух фредгольмовых операторов индекса 0 также является фредгольмовой индекса 0.
Покажите, что оператор является фредгольмовым индекса 0 тогда и только тогда, когда он является возмущением обратимого оператора оператором конечного ранга.
Проведите следующее рассуждение, чтобы показать, что совокупность обратимых операторов в является открытым подмножеством .
Для с , используя полноту , покажите, что так называемый ряд Неймана сходится к оператору в , являющемуся обратным к .
Для обратимого оператора покажите, что для любого выполняется .
Используя (i) и (ii), покажите, что если обратим, то обратим и любой , для которого .
Покажите, что множество операторов в , являющихся фредгольмовыми индекса 0, является открытым подмножеством .
Следуя методу ортогональной аппроксимирующей последовательности, использованному в доказательстве Предложения 22, приведите другое доказательство Леммы 14 в случае, когда сепарабельно.
Для предположим, что для всех . Предположим, что компактен и инъективен. Покажите, что сюръективен.
Пусть компактен, а таково, что . Покажите, что обратим.
Пусть таково, что , компактен и . Покажите, что Id инъективен.
Пусть обозначает множество обратимых операторов в .
Покажите, что относительно операции композиции операторов является группой: она называется общей линейной группой пространства .
Оператор в называется ортогональным, если . Покажите, что множество ортогональных операторов является подгруппой : она называется ортогональной группой.
Пусть — фредгольмов оператор индекса нуль, а компактен. Покажите, что — фредгольмов оператор индекса нуль.
Пусть — подпространство конечной коразмерности линейного пространства . Покажите, что все конечномерные линейные дополнения к в имеют одинаковую размерность.