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

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

Определение

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

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

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

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

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

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

f^{*}(\varphi )=\varphi \circ f\,

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

Свойства

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

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

e_{i}(x)=e_{i}(\alpha _{1}e^{1}+\ldots +\alpha _{n}e^{n})=\alpha _{i},\quad \forall x\in E.

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

v\in E\mapsto f\in E^{*},\quad f(x)=\langle x,v\rangle ,\ \forall x\in E.

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

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

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

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

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

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

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

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

Термин сопряжённое пространство может иметь иное значение для векторных пространств над полем комплексных чисел: пространство ${\bar {E}}$ , совпадающее с $E$ как вещественное векторное пространство, но с другой структурой умножения на комплексные числа:
${\bar {c}}{\bar {x}}={\overline {cx}}$
При наличии в пространстве эрмитовой метрики (например, в гильбертовом пространстве) линейно-сопряжённое и комплексно-сопряжённое пространства совпадают.

См. также

Примечания

Колмогоров А. Н., Фомин С. В. Элементы теории функций и функционального анализа. — Любое издание.
Шафаревич И. Р., Ремизов А. О. Линейная алгебра и геометрия. — гл. III, § 7. — М.: Физматлит, 2009.
Люстерник Л. А., Соболев В. И. Элементы функционального анализа, 2-ое изд. М.: Наука, 1965, стр. 147.
Халмош П. Теория меры. М.: Издательство иностранной литературы, 1953.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[autogenerated1-1] Колмогоров А. Н., Фомин С. В. Элементы теории функций и функционального анализа. — Любое издание.

[2] Шафаревич И. Р., Ремизов А. О. Линейная алгебра и геометрия. — гл. III, § 7. — М.: Физматлит, 2009.

[3] Люстерник Л. А., Соболев В. И. Элементы функционального анализа, 2-ое изд. М.: Наука, 1965, стр. 147.

[4] Халмош П. Теория меры. М.: Издательство иностранной литературы, 1953.