WikiDer > Ограниченный оператор

Bounded operator

В функциональный анализ, а ограниченный линейный оператор это линейное преобразование L : ИксY между топологические векторные пространства (ТВС) Икс и Y что отображает ограниченный подмножества Икс к ограниченным подмножествам Y. Если Икс и Y находятся нормированные векторные пространства (особый тип ТВС), то L ограничен тогда и только тогда, когда существует M ≥ 0 такой, что для всех Икс в Икс,

||Lx||YM ||Икс||Икс.

Самый маленький такой M, обозначаемый ||L||, называется норма оператора из L.

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

В топологических векторных пространствах

Линейный оператор F : ИксY между двумя топологические векторные пространства (TVS) - это локально ограниченный или просто ограниченный если когда-нибудь BИкс является ограниченный в Икс тогда F(B) ограничен в Y. Подмножество TVS называется ограниченным (точнее, фон Нейман ограничен), если каждая окрестность начала координат поглощает Это. В нормированном пространстве (и даже в полунормированное пространство), подмножество ограничено по фон Нейману тогда и только тогда, когда оно ограничено по норме. Следовательно, для нормированных пространств понятие ограниченного множества фон Неймана идентично обычному понятию ограниченного по норме подмножества.

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

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

Если домен является борнологическое пространство (например, псевдометризуемый TVS, а Fréchet space, а нормированное пространство), то линейный оператор в любые другие локально выпуклые пространства ограничен тогда и только тогда, когда он непрерывен. За LF пространства, имеет место более слабое обратное; любое ограниченное линейное отображение из LF-пространства является последовательно непрерывный.

Борнологические пространства

Борнологические пространства - это в точности те локально выпуклые пространства, когда любой ограниченный линейный оператор в другое локально выпуклое пространство обязательно ограничен. То есть локально выпуклая ТВС Икс борнологическое пространство тогда и только тогда, когда для каждой локально выпуклой TVS Y, линейный оператор F : ИксY непрерывна тогда и только тогда, когда она ограничена.[2]

Каждое нормированное пространство борнологично.

Характеризации ограниченных линейных операторов

Позволять F : ИксY - линейный оператор между TVS (не обязательно по Хаусдорфу). Следующие варианты эквивалентны:

  1. F является (локально) ограниченным;[2]
  2. (Определение): F отображает ограниченные подмножества своей области на ограниченные подмножества своей области;[2]
  3. F отображает ограниченные подмножества своей области в ограниченные подмножества своей изображение Я F := F(Икс);[2]
  4. F отображает каждую нулевую последовательность в ограниченную последовательность;[2]
    • А нулевая последовательность по определению является последовательностью, сходящейся к началу координат.
    • Таким образом, любое линейное отображение, которое последовательно непрерывно в начале координат, обязательно является ограниченным линейным отображением.
  5. F отображает каждую сходящуюся нулевую последовательность Макки в ограниченное подмножество Y.[примечание 1]
    • Последовательность Икс = (Икся)
      я=1
      как говорят Макки сходится к происхождению в если существует расходящаяся последовательность р = (ря)
      я=1
      → ∞
      положительного действительного числа такое, что (ря Икся)
      я=1
      является ограниченным подмножеством

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

  1. F карты ограничены диски на ограниченные диски.[3]
  2. F−1 карты рожденоядный диски в Y в корноядные диски в Икс.[3]

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

  1. F последовательно непрерывно.[4]
  2. F последовательно непрерывна в нуле.

Ограниченные линейные операторы между нормированными пространствами

Ограниченный линейный оператор, как правило, не является ограниченная функция, так как обычно можно найти последовательность Икс = (Икся)
я=1
в Икс такой, что. Вместо этого все, что требуется для ограничения оператора, - это то, что

для всех Икс ≠ 0. Итак, оператор L может быть только ограниченной функцией, если она удовлетворяет L(Икс) = 0 для всех Икс, что легко понять, если учесть, что для линейного операторадля всех скаляров а. Скорее, ограниченный линейный оператор - это локально ограниченная функция.

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

Эквивалентность ограниченности и непрерывности

Как сказано во введении, линейный оператор L между нормированными пространствами Икс и Y ограничен тогда и только тогда, когда это непрерывный линейный оператор. Доказательство таково.

Предположим, что L ограничено. Тогда для всех векторов Икс, часИкс с час ненулевое, мы имеем

Сдача перейти к нулю показывает, что L непрерывно на Икс. Более того, поскольку постоянная M не зависит от Икс, это показывает, что на самом деле L является равномерно непрерывный, и даже Липшицева непрерывная.

Наоборот, из непрерывности в нулевом векторе следует, что существует такой, что для всех векторов часИкс с . Таким образом, для всех ненулевых ИксИкс, надо

Это доказывает, что L ограничено.

Другие свойства

Условие для L быть ограниченным, а именно, что существует некоторая M такой, что для всех Икс

это в точности условие для L быть Липшицева непрерывная в 0 (а значит, везде, потому что L линейно).

Общая процедура для определения ограниченного линейного оператора между двумя заданными Банах пробелы выглядит следующим образом. Сначала определим линейный оператор на плотное подмножество области, такой что она локально ограничена. Затем продолжим оператор по непрерывности до непрерывного линейного оператора на весь домен.

Примеры

  • Любой линейный оператор между двумя конечномерными нормированными пространствами ограничен, и такой оператор можно рассматривать как умножение на некоторый фиксированный матрица.
  • Любой линейный оператор, определенный в конечномерном нормированном пространстве, ограничен.
  • На пространство последовательности c00 конечных нулевых последовательностей действительных чисел, рассматриваемых с ℓ1 norm, линейный оператор для действительных чисел, который возвращает сумму последовательности, ограничен, с операторной нормой 1. Если то же пространство рассматривается с норма, тот же оператор не ограничен.
  • Много интегральные преобразования - линейные ограниченные операторы. Например, если
    - непрерывная функция, то оператор L определены на пространстве C [а, б] непрерывных функций на [а, б] наделен единая норма и со значениями в пространстве C [c, d] с L задается формулой
    ограничено. Фактически этот оператор компактный. Компактные операторы составляют важный класс ограниченных операторов.
  • В Оператор Лапласа
    (это домен это Соболевское пространство и принимает значения в пространстве квадратично интегрируемые функции) ограничено.
  • В оператор смены на л2 Космос из всех последовательности (Икс0, Икс1, Икс2...) действительных чисел с
    ограничено. Его операторная норма, как легко видеть, равна 1.

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

Не всякий линейный оператор между нормированными пространствами ограничен. Позволять Икс быть пространством для всех тригонометрические полиномы определенная на [−π, π], с нормой

Определите оператора L : ИксИкс который действует, принимая производная, поэтому он отображает многочлен п к производной п′. Тогда для

с п=1, 2, ...., у нас есть пока в качестве п → ∞, поэтому этот оператор не ограничен.

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

То, что такой основной оператор, как производная (и другие) не ограничен, затрудняет изучение. Если, однако, тщательно определить область определения и диапазон производного оператора, можно показать, что это закрытый оператор. Замкнутые операторы более общие, чем ограниченные, но все же во многих отношениях «хорошо себя ведут».

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

  • Пространство всех линейных ограниченных операторов из Икс к Y обозначается B (Икс,Y) и является нормированным векторным пространством.
  • Если Y Банах, значит, тоже B (Икс,Y).
  • откуда следует, что двойные пространства Банаховы.
  • Для любого А ∈ B (Икс,Y), ядро А является замкнутым линейным подпространством в Икс.
  • Если B (Икс,Y) Банах и Икс нетривиально, то Y Банах.

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

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

  1. ^ Доказательство. Допустим, ради противоречия, что Икс = (Икся)
    я=1
    сходится к 0 но F(Икс) = (F(Икся))
    я=1
    не ограничен Y. Выберите открытое сбалансированный район V происхождения в Y такой, что V не впитывает последовательность F(Икс). Замена Икс с подпоследовательностью, если необходимо, без ограничения общности можно предположить, что F(Икся) ∉ я2 V для каждого положительного целого числа я. Последовательность z := (Икся / я)
    я=1
    сходится Макки к началу координат (так как (я zя)
    я=1
    = (Икся)
    я=1
    → 0
    ограничен в Икс) поэтому по предположению F(z) = (F(zя))
    я=1
    ограничен в Y. Так что выберите настоящий р > 1 такой, что F(zя) ∈ р V для каждого целого числа я. Если я > р является целым числом, так как V сбалансирован, F(Икся) ∈ р я Vя2 V, что противоречит. ∎ Это доказательство легко обобщается, чтобы дать еще более сильную характеризацию "F ограничено. "Например, слово" такое, что (ря Икся)
    я=1
    является ограниченным подмножеством "в определении" Макки сходится к исходной точке "можно заменить на" так, чтобы (ря Икся)
    я=1
    → 0
    в "

Библиография

  • «Ограниченный оператор», Энциклопедия математики, EMS Press, 2001 [1994]
  • Крейсциг, Эрвин: Вводный функциональный анализ с приложениями, Уайли, 1989
  • Наричи, Лоуренс; Бекенштейн, Эдвард (2011). Топологические векторные пространства. Чистая и прикладная математика (Второе изд.). Бока-Ратон, Флорида: CRC Press. ISBN 978-1584888666. OCLC 144216834.
  • Вилански, Альберт (2013). Современные методы в топологических векторных пространствах. Минеола, Нью-Йорк: Dover Publications, Inc. ISBN 978-0-486-49353-4. OCLC 849801114.