Строго сингулярный оператор - Википедия - Strictly singular operator
В функциональный анализ, филиал математика, а строго сингулярный оператор это ограниченный линейный оператор между нормированными пространствами, который не ограничен снизу ни на каком бесконечномерном подпространстве.
Определения.
Позволять Икс и Y быть нормированные линейные пространства, и обозначим через B (X, Y) пространство ограниченные операторы формы . Позволять быть любым подмножеством. Мы говорим что Т является ограниченный снизу на всякий раз, когда есть постоянная такой, что для всех , неравенство держит. Если А = Хмы просто говорим, что Т является ограниченный снизу.
Теперь предположим Икс и Y являются банаховыми пространствами, и пусть и обозначают соответствующие тождественные операторы. Оператор называется несущественный в любое время это Фредгольмов оператор для каждого . Эквивалентно, Т несущественно тогда и только тогда, когда Фредгольм для каждого . Обозначим через набор всех несущественных операторов в .
Оператор называется строго единичный когда он не может быть ограничен снизу ни на каком бесконечномерном подпространстве Икс. Обозначим через множество всех строго сингулярных операторов в . Мы говорим что является конечно строго особый всякий раз для каждого Существует такое, что для каждого подпространства E из Икс удовлетворение , есть такой, что . Обозначим через множество всех конечно строго сингулярных операторов в .
Позволять обозначим замкнутый единичный шар в Икс. Оператор является компактный в любое время является относительно компактным по норме подмножеством Y, и обозначим через множество всех таких компактных операторов.
Характеристики.
Строго сингулярные операторы можно рассматривать как обобщение компактные операторы, так как всякий компактный оператор строго сингулярен. У этих двух классов есть общие важные свойства. Например, если Икс это Банахово пространство и Т - строго сингулярный оператор в В (Х) тогда это спектр удовлетворяет следующим свойствам: (i) мощность из не более чем счетно; (ii) (кроме, возможно, тривиального случая, когда Икс конечномерно); (iii) ноль - единственно возможный предельная точка из ; и (iv) любое ненулевое - собственное значение. Эта же «спектральная теорема», состоящая из (i) - (iv), выполняется для несущественных операторов в В (Х).
Классы , , , и все формы закрыты по нормам операторские идеалы. Это означает, что когда Икс и Y являются банаховыми пространствами, компонентные пространства , , , и каждое замкнутое подпространство (в операторной норме) B (X, Y), такие, что классы инвариантны относительно композиции с произвольными ограниченными линейными операторами.
В общем, у нас есть , и каждое из включений может быть или не быть строгим, в зависимости от выбора Икс и Y.
Примеры.
Всякая ограниченная линейная карта , за , , строго сингулярно. Здесь, и находятся пробелы последовательности. Аналогично, всякая ограниченная линейная карта и , за , строго сингулярно. Здесь - банахово пространство последовательностей, сходящихся к нулю. Это следствие теоремы Питта, которая утверждает, что такие Т, за q < п, компактны.
Если тогда оператор формального тождества конечно строго сингулярно, но не компактно. Если то существуют «операторы Пельчинского» в которые равномерно ограничены снизу на экземплярах , , а значит, строго особые, но не конечно строго особые. В этом случае мы имеем . Однако каждый несущественный оператор с codomain строго сингулярно, так что . С другой стороны, если Икс - любое сепарабельное банахово пространство, то существует ограниченный снизу оператор любой из которых является несущественным, но не строго единичным. Так, в частности, для всех .
Двойственность.
Компактные операторы образуют симметричный идеал, что значит если и только если . Однако это не относится к классам. , , или же . Чтобы установить отношения двойственности, мы введем дополнительные классы.
Если Z замкнутое подпространство банахова пространства Y тогда существует "канонический" сюрприз определяется через естественное отображение . Оператор называется строго собственный всякий раз, когда дано бесконечномерное замкнутое подпространство Z из Y, карта не может быть сюръективным. Обозначим через подпространство строго сингулярных операторов в B (X, Y).
Теорема 1. Позволять Икс и Y - банаховы пространства, и пусть . Если Т * строго сингулярно (соответственно, строго сингулярно), то Т строго сингулярно (соответственно, строго сингулярно).
Отметим, что существуют примеры строго сингулярных операторов, сопряженные к которым не являются ни строго сингулярными, ни строго копособенными (см. Пличко, 2004). Точно так же существуют строго сингулярные операторы, сопряженные к которым не являются строго сингулярными, например карта включения . Так не в полной двойственности с .
Теорема 2. Позволять Икс и Y - банаховы пространства, и пусть . Если Т * несущественно, то так Т.
Рекомендации
Айена, Пьетро, Фредгольм и локальная спектральная теория с приложениями к множителям (2004), ISBN 1-4020-1830-4.
Пличко, Анатолий, "Сверхстрого сингулярные и сверхстрого косингулярные операторы". Математические исследования Северной Голландии 197 (2004), стр. 239-255.
Этот математический анализ –Связанная статья является заглушка. Вы можете помочь Википедии расширяя это. |