Двойственное пространство: различия между версиями
Перейти к навигации
Перейти к поиску
[отпатрулированная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
Строка 14: | Строка 14: | ||
* Если пространство <math>E</math> [[Гильбертово пространство|гильбертово]], то по [[Теорема представлений Рисса|теореме Рисса]] существует изоморфизм между <math>E</math> и <math>E^*</math>. |
* Если пространство <math>E</math> [[Гильбертово пространство|гильбертово]], то по [[Теорема представлений Рисса|теореме Рисса]] существует изоморфизм между <math>E</math> и <math>E^*</math>. |
||
* В конечномерном случае |
* В конечномерном случае второе сопряжённое пространство <math>E^{**}</math> изоморфно <math>E</math>. Более того, существует ''канонический изоморфизм'' между <math>E</math> и <math>E^{**}</math> (при этом не предполагается, что пространство <math>E</math> евклидово). |
||
== Обозначения == |
== Обозначения == |
Версия от 17:14, 12 мая 2016
Сопряжённое пространство или двойственное пространство — пространство линейных функционалов на данном линейном пространстве.
Определение
Пространство всех линейных функционалов, определённых на линейном пространстве , также образует линейное пространство. Это пространство называется сопряжённым к , оно обычно обозначается .
Свойства
- В конечномерном случае сопряжённое пространство имеет ту же размерность, что и пространство над полем :
- любому базису из можно поставить в соответствие так называемый двойственный (или взаимный) базис из , где функционал — проектор на вектор :
- Если пространство евклидово, то есть оно конечномерно и на нём определено скалярное произведение, то между и существует так называемый канонический изоморфизм, определённый соотношением
- Если пространство гильбертово, то по теореме Рисса существует изоморфизм между и .
- В конечномерном случае второе сопряжённое пространство изоморфно . Более того, существует канонический изоморфизм между и (при этом не предполагается, что пространство евклидово).
Обозначения
В конечномерном случае обычно элементы пространства обозначают вектором-столбцом, а элементы — вектором-строкой [источник не указан 4750 дней]. В тензорном исчислении применяется обозначение для элементов (верхний, или контравариантный индекс) и для элементов (нижний, или ковариантный индекс).
Вариации и обобщения
- В функциональном анализе, под сопряжённым пространством обычно понимают пространство непрерывных линейных функционалов.
- Термин сопряжённое пространство может иметь иное значение для линейных пространств над полем комплексных чисел: пространство , совпадающее с как вещественное линейное пространство, но с другой структурой умножения на комплексные числа:
- При наличии в пространстве эрмитовой метрики (например, в гильбертовом пространстве) линейно-сопряжённое и комплексно-сопряжённое пространства совпадают.
Это заготовка статьи по математике. Помогите Википедии, дополнив её. |
Для улучшения этой статьи желательно:
|