Спряжений простір

Спря́жений простір — простір лінійних функціоналів на даному лінійному просторі.

Лінійно-спяжений простір - означення

Простір всіх лінійних функціоналів на $E$ утворює лінійний простір. Це простір називається спряженим до $E$, він зазвичай позначається $E^{*}$.

Властивості

• У скінченновимірному випадку спряжений простір $E^{*}$ має ту ж розмірність, що і простір $E$.
• Якщо простір $E$ евклідів, тобто на ньому визначено скалярний добуток, то існує канонічний ізоморфізм між $E$ і $E^{*}$.
• Якщо простір $E$ гільбертів, то згідно з теоремою Ріса існує ізоморфізм між $E$ і $E^{*}$.
• У скінченновимірному випадку правильно також, що простір, спряжений до спряженого $E^{**}$, збігається з $E$ (точніше, існує канонічний ізоморфізм між $E$ і $E^{**}$).

Позначення

У скінченновимірному випадку звичайно елементи простору $E$ позначають вектором-стовпцем, а елементи $E^{*}$ — вектором-рядком. У тензорному численні застосовується позначення $x^k$ для елементів $E$ (верхній, або контраваріантний індекс) і $x_k$ для елементів $E^{*}$ (нижній, або коваріантний індекс).

Варіації і узагальнення

• У функціональному аналізі, під спряженим простором зазвичай розуміють простір неперервних лінійних функціоналів.
• Термін спряжений простір може мати інше значення для лінійних просторів над полем комплексних чисел: простір $\overline{E}$, що збігається з $E$ як дійсний лінійний простір, але з іншою структурою множення на комплексні числа:

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

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

Джерела

• Шаблон:Гельфанд.Линейная алгебра
• Шаблон:Банах. КФА Лінійні операції
• Шаблон:Колмогоров.Фомин