Банаховы алгебры и спектры; компактные операторы
[18/83%]Предположим, что — нормированное линейное пространство и .
Докажите, что
Докажите, что .
Предположим, что и — нормированные линейные пространства. Пусть — компактный оператор из . Используя теорему 2.4, докажите, что имеет компактное замыкание для каждого замкнутого шара в .
Теорема 2.4: Подмножество метрического пространства компактно тогда и только тогда, когда оно секвенциально компактно.
Рассмотрим нормированные линейные пространства и . Линейный оператор называется компактным, если для любой ограниченной последовательности в последовательность в имеет сходящуюся подпоследовательность в .
Ситуация, обнаруженная в упражнении 5.1.3, отчасти поправима. Пусть — банахово пространство и . Предположим, что существуют , удовлетворяющие
Докажите, что . Другими словами, если обратим и слева, и справа, то его левый и правый обратные должны совпадать.
В нормированной алгебре с единицей докажите, что .
В нормированной алгебре докажите, что для каждого элемента алгебры и каждого положительного целого .
Докажите, что с супремум-нормой является банаховой алгеброй с единицей.
Предположим, что — банахово пространство. В теореме 5.6 мы видели, что любой оператор , достаточно близкий к обратимому оператору , также обратим. Зная, что , докажите, что удовлетворяет
Предположим, что — банахово пространство. Предположим, что и .
Проверьте, что
где
Выведите, что .
Используя сдвиги и , определённые в примере 2 раздела 1, покажите, что равенство не обязано выполняться.
Рассмотрим оператор на , определённый формулой
Докажите, что является обратимым оператором.
Пусть обозначает совокупность всех (двусторонних) последовательностей комплексных чисел, таких что . Это пространство очень похоже на . С нормой , заданной формулой
становится банаховым пространством. Цель этого упражнения — увидеть, что можно определить умножение, превращающее в банахову алгебру. Для и из определим произведение формулой
Это умножение называется свёрткой. Покажите, что является банаховой алгеброй.
Докажите, что всякий компактный оператор является ограниченным оператором.
Рассмотрим оператор Вольтерры, определённый на формулой
где для некоторой константы и всех и из .
Докажите, что , если .
Докажите, что . То есть докажите, что ограничен.
Докажите, что квазинильпотентен. (Как выясняется, квазинильпотентен, даже если отказаться от предположения . Однако доказательство существенно сложнее. См. доказательство на страницах 98-99 источника [58].)
Теперь пусть для всех и . Покажите, что компактен.
В этом упражнении вам предлагается восполнить детали примера 4.
Покажите, что и что .
Покажите, что если , то (как вам предлагается показать в том же упражнении) оператор умножения является ограниченным оператором и обратен к .
Теперь мы установили, что . Иногда это множество содержит собственные значения, иногда нет. Приведите примеры, показывающие это. То есть постройте функции и , такие что содержит хотя бы одно собственное значение, а не содержит собственных значений вовсе.
Пусть — взвешенный сдвиг из примера 6.
Покажите, что не имеет собственных значений.
Используя индукцию, покажите, что .
Пусть — бесконечномерное банахово пространство. (Пункты (a) и (b) связаны лишь тем, что оба посвящены компактным операторам.)
Приведите пример компактного оператора , такого что .
Докажите, что если существует положительное целое , такое что , то не может быть компактным.
Предположим, что — банахово пространство. Докажите, что совокупность всех компактных операторов образует замкнутый двусторонний идеал в банаховой алгебре . Замечание: вам может быть известно, что такое «идеал», из курса абстрактной алгебры; если нет, определение приводится в следующей главе.
Изучите теорию функций комплексного переменного в объёме, достаточном для доказательства результатов этого раздела.
Найдите хороший источник (например, [21] или [124]) и разберите доказательство теоремы 5.11, описывающей спектр компактного оператора.
Теорема 5.11: Пусть — бесконечномерное банахово пространство и — компактный оператор. Тогда спектр либо конечен, либо является последовательностью, сходящейся к . Точка принадлежит спектру, и каждое ненулевое значение спектра является собственным значением. Более того, при собственное подпространство конечномерно.