Двойственное пространство

Двойственное пространство (также дуальное пространство, иногда сопряжённое пространство) — пространство линейных функционалов на заданном векторном пространстве.

Определение

Множество всех непрерывных линейных функционалов, определённых на топологическом векторном пространстве $E$, также образует векторное пространство. Это пространство называется сопряжённым к $E$, оно обычно обозначается $E^{*}$. Множество всех линейных функционалов на $E$, не обязательно непрерывных, называется алгебраически сопряжённым к $E$, оно обычно обозначается $E^{\mathrm{\#}}$ .

В случае (рассматриваемом обычно в линейной алгебре), когда векторное пространство $E$ конечномерное, все линейные функционалы автоматически являются непрерывными, и сопряжённое пространство $E^{*}=E^{\mathrm{\#}}$ состоит просто из всех линейных функционалов (функций) на $E$. В случае (рассматриваемом обычно в функциональном анализе), когда $E$ бесконечномерное, вообще говоря, $E^{*}\ne E^{\mathrm{\#}}$.

В тензорном исчислении применяется обозначение $x^k$ для элементов $E$ (верхний, или контравариантный, индекс) и $x_k$ для элементов $E^{*}$ (нижний, или ковариантный, индекс).

Двойственные отображения

Двойственное отображение — линейное отображение между векторными пространствами, двойственными к данным, индуцированное отображением между самими пространствами.

Пусть $V,W$ — векторные пространства, а $V^{*},W^{*}$ — двойственные векторные пространства. Для любого линейного отображения $f:V\to W$ двойственное отображение $f^{*}:W^{*}\to V^{*}$ (в обратном порядке) определяется как

$f^{*}(\phi )=\phi \circ f$

для любого $\phi \in W^{*}$.

Свойства

Конечномерные пространства

• Сопряжённое пространство $E^{*}$ имеет ту же размерность, что и пространство $E$ над полем $F$. Следовательно, пространства $E$ и $E^{*}$ изоморфны.
• Каждому базису $e^1,\dots ,e^n$ пространства $E$ можно поставить в соответствие так называемый двойственный (или взаимный) базис $e_1,\dots ,e_n$ пространства $E^{*}$, где функционал $e_i$ — проектор на вектор $e^i$:

  $e_i(x)=e_i({\alpha }_1{e}^1+\dots +{\alpha }_n{e}^n)={\alpha }_i,\mathrm{\forall }x\in E.$

• Если пространство $E$ евклидово, то есть на нём определено скалярное произведение, то между $E$ и $E^{*}$ существует так называемый канонический изоморфизм (то есть изоморфизм, не зависящий от выбранных базисов), определённый соотношением

  $v\in E\mapsto f\in E^{*},f(x)=⟨x,v⟩,\mathrm{\forall }x\in E.$

• Второе сопряжённое пространство $E^{**}$ изоморфно $E$. Более того, существует канонический изоморфизм между $E$ и $E^{**}$ (при этом не предполагается, что пространство $E$ евклидово), определённый соотношением

  $x\in E\mapsto z\in E^{**},z(f)=f(x),\mathrm{\forall }f\in E^{*}.$

• Определенный выше канонический изоморфизм $E\to E^{**}$ показывает, что пространства $E$ и $E^{*}$ играют симметричную роль: каждое из них является сопряженным к другому. Для того, чтобы выделить эту симметрию, для $x\in E,f\in E^{*}$ часто пишут $f(x)=(x,f)$ подобно записи скалярного произведения.

Бесконечномерные пространства

• Если векторное пространство $E$ нормированное, то сопряжённое пространство $E^{*}$ имеет естественную норму — это операторная норма непрерывных функционалов. Пространство $E^{*}$ — банахово.

• Если пространство $E$ гильбертово, то по теореме Рисса существует изоморфизм между $E$ и $E^{*}$, причём, аналогично конечномерному случаю, каждый линейный ограниченный функционал может быть представлен через скалярное произведение с помощью некоторого элемента пространства $E$.

• Сопряжённым к пространству $L^p$, $1<p<\mathrm{\infty }$, является пространство $L^q$, где $1/p+1/q=1$. Аналогично, сопряжённым к $l^p$, $1<p<\mathrm{\infty }$, является $l^q$ с тем же соотношением между p и q.

Вариации и обобщения

• Термин сопряжённое пространство может иметь иное значение для векторных пространств над полем комплексных чисел: пространство $\overline{E}$, совпадающее с $E$ как вещественное векторное пространство, но с другой структурой умножения на комплексные числа:

  $\overline{c}\overline{x}=\overline{cx}$

• При наличии в пространстве эрмитовой метрики (например, в гильбертовом пространстве) линейно-сопряжённое и комплексно-сопряжённое пространства совпадают.

См. также

• Ковариантность и контравариантность
• Рефлексивное пространство