14.2.3

Самосопряженные (симметрические, эрмитовы) и кососимметрические (косоэрмитовы) операторы

[19/42%]
Показать
LaTeX
Задача 1641

Пусть оператор А в некотором базисе имеет матрицу AA, а скалярное произведение — матрицу GG. Найти условие на матрицу AA, необходимое и достаточное для того, чтобы оператор А являлся самосопряженным. Рассмотреть отдельно случаи ортонормированных базисов в евклидовом, эрмитовом, псевдоевклидовом и псевдоэрмитовом пространствах и случай гамильтонова базиса в симплектическом пространстве.

?
Задача 1642

Показать, что для любого отображения A:V→W\mathbf{A}: V \rightarrow W пространств со скалярными произведениями композиции AA∗\mathbf{A A}^{*} и A∗A\mathbf{A}^{*} \mathbf{A} (см. задачу 1426) являются самосопряженными операторами в WW и VV соответственно.

?
Задача 1643

Показать, что оператор, подобный самосопряженному, не обязательно самосопряжен.

?
Задача 1644

Показать, что если оператор U изометрический, а A-самосопряженный, то оператор U−1AU\mathrm{U}^{-1} \mathrm{AU} также является самосопряженным (т.е. оператор, изометрически подобный самосопряженному, самосопряжен).

?
Задача 1645

Показать, что для любого оператора А в евклидовом или эрмитовом пространстве самосопряженные операторы A∗A\mathbf{A}^{*} \mathbf{A} и AA∗\mathbf{A A}^{*} подобны. В произвольном пространстве со скалярным произведением операторы А* А и АА* подобны, если оператор А невырожден. Показать, что условие невырожденности в последнем утверждении существенно.

?
Задача 1646

Показать, что проектор π\pi на подпространство W1W_{1} параллельно подпространству W2W_{2} является самосопряженным тогда и только тогда, когда подпространства W1W_{1} и W2W_{2} ортогональны.

?
Задача 1647

Показать, что собственные значения самосопряженного оператора в псевдоэрмитовом пространстве, для которых соответствующие собственные векторы неизотропны, вещественны (ср. с задачей 1616). Для изотропных собственных векторов это может быть не выполнено (привести пример).

?
Задача 1648

Показать, что неизотропные собственные векторы самосопряженного оператора в псевдоэрмитовом пространстве, соответствующие различным собственным значениям, ортогональны. Для изотропных собственных векторов это может быть не выполнено (привести пример).

?
Задача 1649

Верно ли, что в псевдоэрмитовом пространстве самосопряженный оператор имеет ортонормированный базис из собственных векторов?

?
Задача 1650

Пусть А- самосопряженный оператор в произвольном пространстве со скалярным произведением, а VV — инвариантное подпространство относительно А. Доказать, что ортогональное дополнение V⊥V^{\perp } также инвариантно (ср. с задачей 1615).

?
Задача 1651

Показать, что для самосопряженного оператора А в произвольном пространстве со скалярным произведением выполнено Im⁡A=(Ker⁡A)⊥\operatorname {Im} \mathbf{A} = (\operatorname {Ker} \mathbf{A})^{\perp } и Ker⁡A=(Im⁡A)⊥\operatorname {Ker} \mathbf{A} = (\operatorname {Im} \mathbf{A})^{\perp }.

?
Задача 1652

Построить пример самосопряженного оператора в псевдоевклидовом пространстве, все корни характеристического многочлена которого вещественны, но который при этом не диагонализируем.

?
Задача 1653

Показать, что самосопряженный оператор, сохраняющий скалярное произведение, диагонализируем в некотором ортонормированном базисе с числами 1 и -1 на диагонали.

?
Задача 1654

Показать, что самосопряженный оператор А, для которого A2=E\mathrm{A}^{2} = \mathrm{E} — тождественный оператор, сохраняет скалярное произведение.

?
Задача 1655

Показать, что если оператор А, удовлетворяющий условию A2=E\mathrm{A}^{2} = \mathrm{E}, сохраняет скалярное произведение, то он самосопряжен.

?
Задача 1656

Показать, что определитель матрицы самосопряженного оператора в псевдоэрмитовом (в частности, эрмитовом) пространстве — вещественное число.

?
Задача 1657

Показать, что определитель матрицы косоэрмитова оператора, действующего в псевдоэрмитовом пространстве размерности nn, есть чисто мнимое число (или 0), если nn — нечетно, и действительное число, если nn — четно.

?
Задача 1658

Сопоставление оператору А функции φ(x,y)=(x\varphi (x, y) = (x, А y)y) устанавливает изоморфизм пространства операторов пространству билинейных (или полуторалинейных) функций. Показать, что при этом изоморфизме:

?
(1)

самосопряженным операторам в евклидовом (эрмитовом) пространстве соответствуют симметрические (эрмитовы) функции;

(2)

кососимметрическим (косоэрмитовым) операторам в евклидовом (эрмитовом) пространстве соответствуют кососимметрические (косоэрмитовы) функции;

(3)

самосопряженным (кососимметрическим) операторам в симплектическом пространстве соответствуют кососимметрические (симметрические) билинейные функции.

Задача 1659

Доказать, что оператор А в симплектическом пространстве является самосопряженным тогда и только тогда, когда для любого вектора xx векторы Ax\mathrm{A} x и xx ортогональны.

?