Топологии операторов - Operator topologies

в математический поле функциональный анализ есть несколько стандартных топологии которые заданы алгебре B (Икс) из ограниченные линейные операторы на Банахово пространство Икс.

Вступление

Позволять - последовательность линейных операторов в банаховом пространстве Икс. Рассмотрим утверждение, что сходится к некоторому оператору Т на Икс. Это могло иметь несколько разных значений:

  • Если , это норма оператора из (супремум , куда Икс колеблется в единичный мяч в Икс ) сходится к 0, мы говорим, что в унифицированная операторная топология.
  • Если для всех , тогда мы говорим в сильная операторная топология.
  • Наконец, предположим, что для всех ИксИкс у нас есть в слабая топология из Икс. Это означает, что для всех линейные функционалы F на Икс. В этом случае мы говорим, что в слабая операторная топология.

Список топологий на B (ЧАС)

Схема взаимосвязи топологий на пространстве B (Икс) ограниченных операторов

Есть много топологий, которые можно определить на B (Икс) помимо использованных выше; большинство из них сначала определяются только тогда, когда Икс = ЧАС является гильбертовым пространством, хотя во многих случаях имеются подходящие обобщения. Все перечисленные ниже топологии являются локально выпуклыми, что означает, что они определяются семейством полунормы.

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

Если ЧАС гильбертово пространство, Гильбертово пространство B (Икс) имеет (уникальный) преддуальный , состоящий из операторов класса следа, двойственный B (Икс). Полунорма пш(Икс) за ш положительный в преддуале определяется какB (ш, Икс*Икс)1/2.

Если B - векторное пространство линейных отображений в векторном пространстве А, тогда σ (А, B) определяется как самая слабая топология на А так что все элементы B непрерывны.

  • В топология нормы или же однородная топология или же унифицированная операторная топология определяется обычной нормой ||Икс|| на B (ЧАС). Это сильнее, чем все другие топологии, представленные ниже.
  • В слабая (банахово пространство) топология является σ (B (ЧАС), B (ЧАС)*), другими словами, самая слабая топология такая, что все элементы двойственной B (ЧАС)* непрерывны. Это слабая топология на банаховом пространстве B (ЧАС). Он сильнее, чем сверхслабая и слабая операторная топологии. (Предупреждение: слабую топологию банахова пространства, слабую операторную топологию и сверхслабую топологию иногда называют слабой топологией, но они разные.)
  • В Топология Макки или же Топология Аренса-Макки является сильнейшей локально выпуклой топологией на B (ЧАС) такой, что двойник B (ЧАС)*, а также топология равномерной сходимости на Bσ (B (ЧАС)*, B (ЧАС)-компактные выпуклые подмножества B (ЧАС)*. Это сильнее, чем все топологии ниже.
  • В σ-сильный* топология или же сверхсильный* топология является самой слабой топологией, более сильной, чем сверхсильная топология, при которой сопряженное отображение непрерывно. Он определяется семейством полунорм пш(Икс) и пш(Икс*) для положительных элементов ш из B (ЧАС)*. Это сильнее, чем все топологии ниже.
  • В σ-сильная топология или же сверхсильная топология или же сильнейшая топология или же топология сильнейшего оператора определяется семейством полунорм пш(Икс) для положительных элементов ш из B (ЧАС)*. Он сильнее всех топологий ниже, кроме сильной* топология. Предупреждение: несмотря на название «сильнейшая топология», она слабее, чем топология нормы.)
  • В σ-слабая топология или же сверхслабая топология или же слабый* топология оператора или же слабая * топология или же слабая топология или же σ (B (ЧАС), B (ЧАС)*) топология определяется семейством полунорм | (ш, Икс) | для элементов ш из B (ЧАС)*. Это сильнее слабой операторной топологии. (Предупреждение: слабую топологию банахова пространства, слабую операторную топологию и сверхслабую топологию иногда называют слабой топологией, но они разные.)
  • В сильный* топология оператора или же сильный* топология определяется полунормами ||Икс(час) || и ||Икс*(час) || за часЧАС. Это сильнее, чем сильная и слабая операторные топологии.
  • В сильная операторная топология (SOT) или сильная топология определяется полунормами ||Икс(час) || за часЧАС. Это сильнее слабой операторной топологии.
  • В слабая операторная топология (WOT) или слабая топология определяется полунормами | (Икс(час1), час2) | за час1, час2ЧАС. (Предупреждение: слабую топологию банахова пространства, слабую операторную топологию и сверхслабую топологию иногда называют слабой топологией, но они разные.)

Отношения между топологиями

Непрерывные линейные функционалы на B (ЧАС) для слабых, сильных и сильных* (операторные) топологии одинаковы и представляют собой конечные линейные комбинации линейных функционалов (xчас1, час2) за час1, час2ЧАС. Непрерывные линейные функционалы на B (ЧАС) для сверхслабых, сверхсильных, сверхсильных* и топологии Аренса-Макки одинаковы и являются элементами преддуального B (ЧАС)*.

По определению, непрерывные линейные функционалы в топологии нормы такие же, как и в топологии слабого банахова пространства. Этот дуал - довольно большое пространство с множеством патологических элементов.

На ограниченных по норме множествах B (ЧАС), слабая (операторная) и сверхслабая топологии совпадают. Это можно увидеть, например, через Теорема Банаха – Алаоглу. По сути, по той же причине ультрасильная топология такая же, как и сильная топология на любом (по норме) ограниченном подмножестве B (ЧАС). То же верно и для топологии Аренса-Макки, сверхсильной*, и сильные* топология.

В локально выпуклых пространствах замыкание выпуклых множеств можно характеризовать непрерывными линейными функционалами. Следовательно, для выпуклый подмножество K из B (ЧАС), условия, которые K быть закрытым в сверхсильном*, сверхсильная и сверхслабая топологии эквивалентны, а также эквивалентны условиям, которые для всех р > 0, K имеет замкнутое пересечение с замкнутым шаром радиуса р в сильном*, сильная или слабая (операторная) топологии.

Топология нормы метризуема, а остальные - нет; на самом деле они не могут быть исчисляемый первым. Однако когда ЧАС сепарабелен, все вышеперечисленные топологии метризуемы при ограничении на единичный шар (или на любое ограниченное по норме подмножество).

Какую топологию мне использовать?

Наиболее часто используемые топологии - это топологии норм, сильных и слабых операторов. Слабая операторная топология полезна для аргументов компактности, потому что единичный шар компактен по Теорема Банаха – Алаоглу. Топология нормы является фундаментальной, потому что она делает B (ЧАС) в банахово пространство, но оно слишком сильно для многих целей; Например, B (ЧАС) неотделима в этой топологии. Чаще всего может использоваться сильная операторная топология.

Сверхслабая и сверхсильная топологии ведут себя лучше, чем топологии слабых и сильных операторов, но их определения более сложны, поэтому они обычно не используются, если действительно не требуются их лучшие свойства. Например, двойственное пространство B (ЧАС) в слабой или сильной топологии операторов слишком мала, чтобы иметь много аналитического содержания.

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

Топология Аренса – Макки и топология слабого банахова пространства используются относительно редко.

Подводя итог, три основных топологии на B (ЧАС) - нормальная, сверхсильная и сверхслабая топологии. Слабые и сильные операторные топологии широко используются как удобные аппроксимации сверхслабых и сверхсильных топологий. Остальные топологии относительно неясны.

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

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

  • Функциональный анализ, Рид и Саймон, ISBN  0-12-585050-6
  • Теория операторных алгебр IМ. Такесаки (особенно глава II.2) ISBN  3-540-42248-X