Непрерывный линейный оператор - Continuous linear operator

В функциональный анализ и смежные области математика, а непрерывный линейный оператор или же непрерывное линейное отображение это непрерывный линейное преобразование между топологические векторные пространства.

Оператор между двумя нормированные пространства это ограниченный линейный оператор тогда и только тогда, когда это непрерывный линейный оператор.

Непрерывные линейные операторы

Характеристики непрерывности

Смотрите также: Ограниченный оператор

Предположим, что F : Икс → Y является линейным оператором между двумя топологические векторные пространства (ТВС). Следующие варианты эквивалентны:

1. F непрерывна в 0 в Икс.
2. F непрерывно в какой-то момент Икс₀ ∈ Икс.
3. F непрерывен всюду в Икс

и если Y является локально выпуклый тогда мы можем добавить к этому списку:

4. для каждого непрерывного полунорма q на Y, существует непрерывная полунорма п на Икс такой, что q ∘ F ≤ п.^[1]

и если Икс и Y оба являются хаусдорфовыми локально выпуклыми пространствами, то мы можем добавить к этому списку:

5. F является слабо непрерывный и это транспонировать ^тF : Y' → Икс' карты равностепенный подмножества Y' равностепенно непрерывным подмножествам Икс'.

и если Икс является псевдометризуемый (т.е. если он имеет счетное основа соседства в начале координат), то мы можем добавить к этому списку:

6. F это Ограниченный линейный оператор (т.е. отображает ограниченные подмножества Икс к ограниченным подмножествам Y).^[2]

и если Икс и Y являются полунормированными пространствами, то мы можем добавить к этому списку:

7. для каждого ε> 0 существует δ> 0 такой, что ||Икс - у|| <δ подразумевает ||Fx - Fy|| <ε;

и если Y является локально ограниченный тогда мы можем добавить к этому списку:

8. F отображает некоторую окрестность 0 в ограниченное подмножество Y.^[3]

и если Икс и Y хаусдорфовы локально выпуклые ТВП с Y конечномерными, то мы можем добавить к этому списку:

9. график F закрыт в Икс × Y.^[4]

Достаточные условия для преемственности

Предположим, что F : Икс → Y является линейным оператором между двумя ТВС.

• Если существует окрестность U из 0 в Икс такой, что F(U) является ограниченным подмножеством Y, тогда F непрерывно.^[2]
• Если Икс это псевдометризуемый TVS и F отображает ограниченные подмножества Икс к ограниченным подмножествам Y, тогда F непрерывно.^[2]

Свойства непрерывных линейных операторов

А локально выпуклый метризуемые ТВС является нормируемый тогда и только тогда, когда каждый линейный функционал на нем непрерывен.

Непрерывный линейный оператор отображает ограниченные множества на ограниченные множества.

Доказательство использует тот факт, что перевод открытого множества в линейное топологическое пространство снова является открытым множеством, и равенство

F ⁻¹(D) + Икс₀ = F ⁻¹(D + F(Икс₀))}}

для любого подмножества D из Y и любой Икс₀ ∈ Икс, что верно из-за аддитивности F.

Непрерывные линейные функционалы

Каждый линейный функционал на TVS является линейным оператором, поэтому к ним применимы все свойства, описанные выше для непрерывных линейных операторов. Однако из-за их специализированного характера мы можем сказать о непрерывных линейных функционалах даже больше, чем о более общих непрерывных линейных операторах.

Характеристика непрерывных линейных функционалов

Позволять Икс быть топологическое векторное пространство (TVS) (мы не предполагаем, что Икс Хаусдорф или локально выпуклый ) и разреши ж быть линейный функционал на Икс. Следующие варианты эквивалентны:^[1]

1. ж непрерывно.
2. ж непрерывна в начале координат.
3. ж непрерывна в некоторой точке Икс.
4. ж равномерно непрерывна на Икс.
5. Есть какой-то район U происхождения такой, что ж(U) ограничено.^[2]
6. Ядро ж закрыт в Икс.^[2]
7. Либо ж = 0 или же ядро ж является нет плотный в Икс.^[2]
8. Re ж непрерывна, где Re ж обозначает действительную часть ж.
9. Существует непрерывная полунорма п на Икс такой, что |ж| ≤ п.
10. График ж закрыто.^[5]

и если Икс является псевдометризуемый (т.е. если он имеет счетное основа соседства в начале координат), то мы можем добавить к этому списку:

11. ж является локально ограниченный (т.е. он отображает ограниченные подмножества в ограниченные подмножества).^[2]

а если вдобавок Икс векторное пространство над действительные числа (что, в частности, означает, что ж имеет действительное значение), то мы можем добавить к этому списку:

12. Существует непрерывная полунорма п на Икс такой, что ж ≤ п.^[1]
13. Для некоторых настоящих р, полупространство { Икс ∈ Икс : ж(Икс) ≤ р} закрыто.
14. Вышеупомянутое утверждение, но со словом «некоторые» заменены на «любые».^[6]

и если Икс это сложный топологическое векторное пространство (TVS), то мы можем добавить к этому списку:

15. Мнимая часть ж непрерывно.

Таким образом, если Икс является комплексом, то либо все три из ж, Re ж, и Я ж находятся непрерывный (соотв. ограниченный ), иначе все три являются разрывными (соответственно неограниченными).

Достаточные условия для непрерывных линейных функционалов

• Любая линейная функция на конечномерном хаусдорфовом топологическом векторном пространстве непрерывна.
• Если Икс является ТВП, то любой линейный ограниченный функционал на Икс непрерывно тогда и только тогда, когда каждое ограниченный подмножество Икс содержится в конечномерном векторном подпространстве.^[7]

Свойства непрерывных линейных функционалов

Если Икс это сложный нормированное пространство и ж является линейным функционалом на Икс, тогда ||ж|| = ||Re ж||^[8] (где, в частности, одна сторона бесконечна тогда и только тогда, когда другая сторона бесконечна).

Каждый нетривиальный непрерывный линейный функционал на ТВП Икс является открытая карта.^[1] Обратите внимание, что если Икс реальное векторное пространство, ж является линейным функционалом на Икс, и п это полунорма на Икс, тогда |ж| ≤ п если и только если ж ≤ п.^[1]

Смотрите также

• Ограниченный линейный оператор
• Разрывная линейная карта
• Линейные функционалы
• Локально выпуклое топологическое векторное пространство - Векторное пространство с топологией, определяемой выпуклыми открытыми множествами
• Положительный линейный функционал
• Топологии на пространствах линейных отображений
• Топологическое векторное пространство - Векторное пространство с понятием близости
• Неограниченный оператор

Рекомендации

1. Наричи и Бекенштейн 2011, стр. 126-128.
2. Наричи и Бекенштейн 2011 С. 156-175.
3. Виланский 2013, п. 54.
4. Наричи и Бекенштейн 2011, п. 476.
5. Виланский 2013, п. 63.
6. Наричи и Бекенштейн 2011, pp. 225-273.
7. Виланский 2013, п. 50.
8. Наричи и Бекенштейн 2011, п. 128.

• Адаш, Норберт; Эрнст, Бруно; Кейм, Дитер (1978). Топологические векторные пространства: теория без условий выпуклости. Конспект лекций по математике. 639. Берлин Нью-Йорк: Springer-Verlag. ISBN  978-3-540-08662-8. OCLC  297140003.
• Бербериан, Стерлинг К. (1974). Лекции по функциональному анализу и теории операторов. Тексты для выпускников по математике. 15. Нью-Йорк: Спрингер. ISBN  978-0-387-90081-0. OCLC  878109401.
• Бурбаки, Николас (1987) [1981]. Топологические векторные пространства: главы 1–5 [Sur определенных пространств векторной топологии]. Annales de l'Institut Fourier. Éléments de mathématique. 2. Перевод Eggleston, H.G .; Мадан, С. Берлин Нью-Йорк: Springer-Verlag. ISBN  978-3-540-42338-6. OCLC  17499190.
• Конвей, Джон (1990). Курс функционального анализа. Тексты для выпускников по математике. 96 (2-е изд.). Нью-Йорк: Springer-Verlag. ISBN  978-0-387-97245-9. OCLC  21195908.
• Данфорд, Нельсон (1988). Линейные операторы (на румынском языке). Нью-Йорк: Interscience Publishers. ISBN  0-471-60848-3. OCLC  18412261.
• Эдвардс, Роберт Э. (1995). Функциональный анализ: теория и приложения. Нью-Йорк: Dover Publications. ISBN  978-0-486-68143-6. OCLC  30593138.
• Гротендик, Александр (1973). Топологические векторные пространства. Перевод Чалджуба, Орландо. Нью-Йорк: издательство Gordon and Breach Science. ISBN  978-0-677-30020-7. OCLC  886098.
• Ярхов, Ганс (1981). Локально выпуклые пространства. Штутгарт: B.G. Teubner. ISBN  978-3-519-02224-4. OCLC  8210342.
• Кете, Готфрид (1969). Топологические векторные пространства I. Grundlehren der Mathematischen Wissenschaften. 159. Перевод Гарлинга, Д.Дж.Х. Нью-Йорк: Springer Science & Business Media. ISBN  978-3-642-64988-2. МИСТЕР  0248498. OCLC  840293704.
• Наричи, Лоуренс; Бекенштейн, Эдвард (2011). Топологические векторные пространства. Чистая и прикладная математика (Второе изд.). Бока-Ратон, Флорида: CRC Press. ISBN  978-1584888666. OCLC  144216834.
• Рудин, Вальтер (Январь 1991 г.). Функциональный анализ. McGraw-Hill Наука / Инженерия / Математика. ISBN  978-0-07-054236-5.
• Шефер, Гельмут Х.; Вольф, Манфред П. (1999). Топологические векторные пространства. GTM. 8 (Второе изд.). Нью-Йорк, штат Нью-Йорк: Springer New York Выходные данные Springer. ISBN  978-1-4612-7155-0. OCLC  840278135.
• Шварц, Чарльз (1992). Введение в функциональный анализ. Нью-Йорк: М. Деккер. ISBN  978-0-8247-8643-4. OCLC  24909067.
• Трев, Франсуа (2006) [1967]. Топологические векторные пространства, распределения и ядра. Минеола, Нью-Йорк: Dover Publications. ISBN  978-0-486-45352-1. OCLC  853623322.
• Вилански, Альберт (2013). Современные методы в топологических векторных пространствах. Минеола, Нью-Йорк: Dover Publications, Inc. ISBN  978-0-486-49353-4. OCLC  849801114.