Самосопряженные (симметрические, эрмитовы) и кососимметрические (косоэрмитовы) операторы
[19/42%]Пусть оператор А в некотором базисе имеет матрицу , а скалярное произведение — матрицу . Найти условие на матрицу , необходимое и достаточное для того, чтобы оператор А являлся самосопряженным. Рассмотреть отдельно случаи ортонормированных базисов в евклидовом, эрмитовом, псевдоевклидовом и псевдоэрмитовом пространствах и случай гамильтонова базиса в симплектическом пространстве.
Показать, что для любого отображения пространств со скалярными произведениями композиции и (см. задачу 1426) являются самосопряженными операторами в и соответственно.
Показать, что оператор, подобный самосопряженному, не обязательно самосопряжен.
Показать, что если оператор U изометрический, а A-самосопряженный, то оператор также является самосопряженным (т.е. оператор, изометрически подобный самосопряженному, самосопряжен).
Показать, что для любого оператора А в евклидовом или эрмитовом пространстве самосопряженные операторы и подобны. В произвольном пространстве со скалярным произведением операторы А* А и АА* подобны, если оператор А невырожден. Показать, что условие невырожденности в последнем утверждении существенно.
Показать, что проектор на подпространство параллельно подпространству является самосопряженным тогда и только тогда, когда подпространства и ортогональны.
Показать, что собственные значения самосопряженного оператора в псевдоэрмитовом пространстве, для которых соответствующие собственные векторы неизотропны, вещественны (ср. с задачей 1616). Для изотропных собственных векторов это может быть не выполнено (привести пример).
Показать, что неизотропные собственные векторы самосопряженного оператора в псевдоэрмитовом пространстве, соответствующие различным собственным значениям, ортогональны. Для изотропных собственных векторов это может быть не выполнено (привести пример).
Верно ли, что в псевдоэрмитовом пространстве самосопряженный оператор имеет ортонормированный базис из собственных векторов?
Пусть А- самосопряженный оператор в произвольном пространстве со скалярным произведением, а — инвариантное подпространство относительно А. Доказать, что ортогональное дополнение также инвариантно (ср. с задачей 1615).
Показать, что для самосопряженного оператора А в произвольном пространстве со скалярным произведением выполнено и .
Построить пример самосопряженного оператора в псевдоевклидовом пространстве, все корни характеристического многочлена которого вещественны, но который при этом не диагонализируем.
Показать, что самосопряженный оператор, сохраняющий скалярное произведение, диагонализируем в некотором ортонормированном базисе с числами 1 и -1 на диагонали.
Показать, что самосопряженный оператор А, для которого — тождественный оператор, сохраняет скалярное произведение.
Показать, что если оператор А, удовлетворяющий условию , сохраняет скалярное произведение, то он самосопряжен.
Показать, что определитель матрицы самосопряженного оператора в псевдоэрмитовом (в частности, эрмитовом) пространстве — вещественное число.
Показать, что определитель матрицы косоэрмитова оператора, действующего в псевдоэрмитовом пространстве размерности , есть чисто мнимое число (или 0), если — нечетно, и действительное число, если — четно.
Сопоставление оператору А функции , А устанавливает изоморфизм пространства операторов пространству билинейных (или полуторалинейных) функций. Показать, что при этом изоморфизме:
самосопряженным операторам в евклидовом (эрмитовом) пространстве соответствуют симметрические (эрмитовы) функции;
кососимметрическим (косоэрмитовым) операторам в евклидовом (эрмитовом) пространстве соответствуют кососимметрические (косоэрмитовы) функции;
самосопряженным (кососимметрическим) операторам в симплектическом пространстве соответствуют кососимметрические (симметрические) билинейные функции.
Доказать, что оператор А в симплектическом пространстве является самосопряженным тогда и только тогда, когда для любого вектора векторы и ортогональны.