- Сопряжённое пространство
-
Сопряжённое пространство или двойственное пространство — пространство линейных функционалов на данном линейном пространстве.
Содержание
Линейно-сопряжённое пространство — определение
Пространство всех линейных функционалов, определённых на линейном пространстве , также образует линейное пространство. Это пространство называется сопряжённым к , оно обычно обозначается .
Свойства
- В конечномерном случае сопряжённое пространство имеет ту же размерность, что и пространство над полем :
- любому базису из можно поставить в соответствие т.н. двойственный базис из , где функционал — проектор на вектор :
- Если пространство евклидово, то есть на нём определено скалярное произведение, то существует канонический изоморфизм между и .
- Если пространство гильбертово, то по теореме Рисса существует изоморфизм между и .
- В конечномерном случае верно также, что пространство, сопряжённое к сопряжённому , совпадает с (точнее, существует канонический изоморфизм между и ).
Обозначения
В конечномерном случае обычно элементы пространства обозначают вектором-столбцом, а элементы — вектором-строкой тензорном исчислении применяется обозначение для элементов (верхний, или контравариантный индекс) и для элементов (нижний, или ковариантный индекс).
. ВВариации и обобщения
- В функциональном анализе, под сопряжённым пространством обычно понимают пространство непрерывных линейных функционалов.
- Термин сопряжённое пространство может иметь иное значение для линейных пространств над полем комплексных чисел: пространство , совпадающее с как вещественное линейное пространство, но с другой структурой умножения на комплексные числа:
- При наличии в пространстве эрмитовой метрики (например, в гильбертовом пространстве) линейно-сопряжённое и комплексно-сопряжённое пространства совпадают.
Ссылки
Категории:- Функциональный анализ
- Теории двойственности
- В конечномерном случае сопряжённое пространство имеет ту же размерность, что и пространство над полем :
Wikimedia Foundation. 2010.