Плотно определенный оператор - Densely defined operator

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

Определение

А плотно определенный линейный оператор Т от одного топологическое векторное пространство, Икс, к другому, Y, - линейный оператор, определенный на плотный линейное подпространство dom (Т) из Икс и принимает значения в Y, написано Т : dom (Т) ⊆ Икс → Y. Иногда это сокращается как Т : Икс → Y когда из контекста ясно, что Икс может не быть теоретико-множественным домен из Т.

Примеры

• Рассмотрим пространство C⁰([0, 1]; р) из всех ценный, непрерывные функции определяется на единичном интервале; позволять C¹([0, 1]; р) обозначают подпространство, состоящее из всех непрерывно дифференцируемые функции. Оборудовать C⁰([0, 1]; р) с верхняя норма ||·||_∞; это делает C⁰([0, 1]; р) в настоящую Банахово пространство. В оператор дифференцирования D дано

${displaystyle (mathrm {D} u)(x)=u'(x),}$

- плотно определенный оператор из C⁰([0, 1]; р) к себе, определенному на плотном подпространстве C¹([0, 1]; р). Оператор D является примером неограниченный линейный оператор, поскольку

${displaystyle u_{n}(x)=e^{-nx},}$

имеет

${displaystyle {frac {|mathrm {D} u_{n}|_{infty }}{|u_{n}|_{infty }}}=n.}$

Эта неограниченность вызывает проблемы, если кто-то хочет каким-то образом непрерывно распространить оператор дифференцирования D на все C⁰([0, 1]; р).

• В Интеграл Пэли – Винера, с другой стороны, является примером непрерывного расширения плотно определенного оператора. В любом абстрактное винеровское пространство я : ЧАС → E с прилегающий j = я^∗ : E^∗ → ЧАС, есть естественный непрерывный линейный оператор (на самом деле это включение, и это изометрия ) из j(E^∗) к L²(E, γ; р), под которым j(ж) ∈ j(E^∗) ⊆ ЧАС идет в класс эквивалентности [ж] из ж в L²(E, γ; р). Нетрудно показать, что j(E^∗) плотно в ЧАС. Поскольку указанное включение непрерывно, существует единственное непрерывное линейное продолжение я : ЧАС → L²(E, γ; р) включения j(E^∗) → L²(E, γ; р) ко всему ЧАС. Это расширение является отображением Пэли – Винера.

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

• Ренарди, Майкл; Роджерс, Роберт С. (2004). Введение в уравнения в частных производных. Тексты по прикладной математике 13 (второе изд.). Нью-Йорк: Springer-Verlag. С. xiv + 434. ISBN  0-387-00444-0. МИСТЕР  2028503.