- •ВЫСШАЯ АЛГЕБРА
- •§1. Специальное представление линейных форм
- •§2. Специальное представление полуторалинейных форм
- •§1. Сопряженный оператор
- •Свойства сопряженных операторов.
- •§2. Эрмитовы (самосопряженные) операторы
- •§3. Норма оператора
- •§4. Еще о свойствах эрмитового оператора
- •§5. Спектральное разложение эрмитового оператора.
- •Теорема Гамильтона – Кэли
- •§6. Положительные операторы.
- •Эрмитовы Формы
- •§1. Полуторалинейные эрмитовы формы
- •§2. Квадратичные формы в унитарном пространстве
- •Унитарные и нормальные операторы
- •§1. Унитарные операторы
- •§2. Нормальные операторы
- •Канонический вид линейного оператора
- •§1. Нормальная жорданова форма
- •Линейные операторы в евклидовом пространстве
- •§1. Общие замечания и напоминания
- •§2. Ортогональные операторы
- •§3. Экстремальные свойства квадратичной формы
- •Элементы теории групп
- •§1. Понятие группы. Подгруппы
- •§2. Примеры групп
- •§3. Еще определения
- •§4. Некоторые свойства групп
- •§5. Изоморфизм групп
- •§6. Смежные классы. Нормальные делители
- •§8. Примеры построения смежных классов
- •§10. Две теоремы о гомоморфизмах
- •§11. Группы линейных преобразований
- •§12. Группа Лоренца
- •§15. Характеры
- •§16. Примеры представлений групп
- •Примеры.
- •Информация к размышлению:
- •Примеры:
- •§13.Тензорные поля
- •§15. Дифференциальные операции 1го порядка
- •§16. Дифференциальные операции 2го порядка
- •§17. Интегральные формулы тензорного анализа
- •§18. Тензоры (задачи)
|
Тº. (ГамильтонаКэли). Эрмитов оператор А является корнем своего |
|
|
характеристического полинома: если p(l) = det(A- lE) Þ p(A) = 0. |
|
|
p(A) = å p(lk )Pk = 0 |
|
|
k |
|
|
§6. ПОЛОЖИТЕЛЬНЫЕ ОПЕРАТОРЫ. |
|
|
КОРЕНЬ mй СТЕПЕНИ ИЗ ОПЕРАТОРА |
|
|
Def: Эрмитов оператор |
А называется положительным, если "хÎV, (Ax, x) ³ 0. |
Если, кроме того, из (Ax, x) = 0 Þ x = θ , то А называют положительно определенным оператором (Обозначается: A ³ 0, A > 0 соответственно).
Тº. Каждое собственное значение положительного (положительно определенного) оператора неотрицательно (положительно).
Если λ – собственное значение А, то $x такой, что ||x|| = 1, (Ax, x) = l (было доказано),
отсюда следует утверждение теоремы
Def: Корнем mй степени из оператора А называется такой оператор В, что Вm = A.
Тº. Если А – положительный эрмитов оператор (А ³ 0), то "mÎN существует положительный эрмитов оператор A1/m,m A,A1/m ³ 0.
Пусть lk - собственные значения А (k =1, 2, 3,…, n) и {ek} - ортонормированный
n
собственный базис, A = ålkPk (спектральное разложение) и при этом lk ³ 0. Рассмотрим
1
n
оператор B = ål1/mkPk . Изучим свойства оператора В. Оператор В:
1
а) эрмитов: (ål1k/mPkx, y) = ål1k/m(Pkx, y) = ål1k/m((x,ek )eky) = ål1k/m(x,ek )(ek,y) =
= ål1k/m(y,ek )(x,ek ) = å(x, l1k/m(y,ek )ek ) = (x, ål1k/m(y,ek )ek ) = (x, ål1k/mPky);
вещ
б) положителен: (Bx,x) = (ål1k/mPkx,x) |
= ål1k/m(Pkx,x) |
= ål1k/m(Pk(x,ek )ek,x) = |
||||||||||||||||||||
= ål1k/m(x,ek )( |
|
|
) = ål1k/m |
|
(x,ek ) |
|
2 ³ 0; |
|
|
|||||||||||||
x,ek |
|
|
||||||||||||||||||||
|
|
|
|
|||||||||||||||||||
в) Bm = (ål1k/mPk )m = å(l1k/m)mPk= ålkPk= A . |
Теорема доказана. |
|
||||||||||||||||||||
Примечание: В ортонормированном базисе {ek} из собственных векторов матрица |
||||||||||||||||||||||
|
|
|
|
|
|
|
æl1 |
0 |
0 ... 0 |
ö |
|
|
|
|||||||||
|
|
|
|
|
|
|
ç |
0 l2 |
0 ... 0 |
÷ |
|
|
|
|||||||||
оператора А и матрица А |
имеют вид: A = |
ç |
÷ |
|
|
|
||||||||||||||||
ç |
0 |
0 |
l3 ... 0 ÷ , |
|
|
|||||||||||||||||
1/m |
|
|
|
|
|
|
ç |
|
|
|
|
|
|
|
|
|
|
|
÷ |
|
|
|
|
|
|
|
|
|
|
ç ... .... ....... ...÷ |
|
|
|
||||||||||||
|
|
|
|
|
|
|
ç |
0 |
0 |
|
|
|
|
|
|
÷ |
|
|
|
|||
|
|
|
|
|
|
|
è |
0 ... ln ø |
|
|
||||||||||||
|
|
|
|
|
|
æ m |
|
|
|
0 |
0 |
|
|
|
... |
0 |
ö |
|
||||
|
|
|
|
|
|
l |
1 |
|
|
|
|
|
||||||||||
|
|
|
|
|
|
ç |
0 |
|
|
|
|
0 |
|
|
|
... |
0 |
÷ |
|
|||
|
|
|
|
|
|
ç |
|
m |
l2 |
|
|
|
÷ |
|
||||||||
|
m |
|
|
|
ç |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
÷ |
|
|
|
A = |
0 |
|
|
0 |
m l3 |
... |
0 |
|
|||||||||||||
|
|
|
ç |
|
|
÷ . |
|
|||||||||||||||
|
|
|
|
|
|
ç ... ... |
... |
|
|
|
... |
... |
÷ |
|
||||||||
|
|
|
|
|
|
ç |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
÷ |
|
|
|
|
|
|
|
|
0 |
|
|
0 |
0 |
|
|
|
... m |
|
ø |
|
||||
|
|
|
|
|
|
è |
|
|
|
|
|
ln |
|
9
ЭРМИТОВЫ ФОРМЫ
§1. ПОЛУТОРАЛИНЕЙНЫЕ ЭРМИТОВЫ ФОРМЫ
|
|
Def: Полуторалинейная форма |
В(х, у) называется эрмитовой, если "x, yÎV: |
|||||||
B(x,y) = |
|
|
. |
|
|
|
||||
B( y,x) |
|
|
|
|||||||
|
|
Мы уже отмечали: "В(х, у) – полуторалинейные формы $! А – линейный оператор |
||||||||
такой, что В(х, у) = (Ах, у). |
|
|
|
|||||||
|
|
Тº. |
Для того, чтобы полуторалинейная форма В(х, у) была эрмитовой необходимо и |
|||||||
|
|
|
достаточно, чтобы оператор А (В(х, у) = (Ах, у)) был эрмитовым. |
|||||||
Достаточность: Пусть А – эрмитов, |
т.е. А = А* ÞВ(х, у) = (Ах, у) = (х, Ау) = |
|
= |
|||||||
( Ay,x) |
||||||||||
= |
|
B y,x |
|
|
, т.е. форма В(х, у) – эрмитова. |
|
|
|
||
|
|
( ( |
|
)) |
|
|
|
Необходимость: Пусть форма эрмитова Þ(Ах, у) = В(х, у) = B( y,x) = ( Ay,x) = (х, Ау), т.е.
А – эрмитов |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Тº. |
Для того, чтобы форма В(х, у) была эрмитовой необходимо и достаточно, чтобы |
||||||||||||||||||||||||
|
В(х, х) была вещественной "хÎV. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
В(х, у) – |
эрмитова Û А – эрмитов. А – эрмитов Û А(х, у)ÎR |
||||||||||||||||||||||||
|
|
|
|
предыдущая |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
доказано ранее |
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
теорема |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
§2. КВАДРАТИЧНЫЕ ФОРМЫ В УНИТАРНОМ ПРОСТРАНСТВЕ |
||||||||||||||||||||||||
Def: Квадратичной формой называют В(х, х), |
соответствующую полуторалинейной |
||||||||||||||||||||||||
форме В(х, у). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Тº. |
Пусть В(х, у) – эрмитова форма в nмерном унитарном пространстве V. Тогда в V |
||||||||||||||||||||||||
|
существует ортонормированный базис {ek} и существуют вещественные числа λk, |
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
λ |
|
|
|
|
2 |
|
|
|
|
|
|
|
|
что для "хÎV в базисе {ek}: B(x,x) = ålk |
|
xk |
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
Þ В(х, у) |
|
|
|
|
k=1 |
|
где А – эрмитов оператор. А – эрмитов Þ |
|||||||||||
В(х, у) |
– эрмитова |
= (Aх, у), |
|
||||||||||||||||||||||
${ek} – собственный ортонормированный базис и λk – собственные числа оператора А |
|||||||||||||||||||||||||
|
|
|
|
|
|
x = åxkek ; |
Ax = åx j Aej |
=ål jx jej . |
|
||||||||||||||||
|
|
|
|
|
|
|
k |
|
|
|
|
|
j |
|
|
|
|
|
|
j |
|
||||
|
|
æ |
|
|
ö |
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|||||
|
|
|
|
ål jx j xkd jk = ålk |
xk |
|
|||||||||||||||||||
Тогда: (Ax,x) = çç |
ål jx jej , åzkek ÷÷ = |
|
|
||||||||||||||||||||||
|
|
è |
j |
k |
ø |
|
|
j,k |
|
|
|
|
|
|
|
k |
|
|
|
|
|||||
И еще одна теорема: о приведении пары квадратичных форм к каноническому виду: |
|||||||||||||||||||||||||
Тº. |
Пусть А(х, у) и В(х, у) – эрмитовы формы в линейном пространстве V и, кроме |
||||||||||||||||||||||||
|
того, "хÎV, х ¹ q, В(х, у) > 0. Тогда в V существует базис {ek}, в котором: |
||||||||||||||||||||||||
|
A(x,x) = ålk |
|
xk |
|
2, B(x,x) = å |
|
xk |
|
2 . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
k |
|
|
|
|
|
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
В(х, у) – |
эрмитова, |
В(х, у) > |
0, "хÎV, |
|
х ¹ q. Из этих условий: |
В линейном |
пространстве V можно ввести скалярное произведение векторов х и у по правилу: (х, у) =
В(х, у).
10
После введения скалярного произведения пространство V станет унитарным и в нем, согласно предыдущей теореме, существует ортонормированный базис {ek} и числа λk, что в
этом базисе A(x,x) = ålk |
|
xk |
|
|
2 . |
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 и |
|
С другой стороны, так как базис ортонормированный, то (x,x) = åxk |
|
= å |
|
xk |
|
||||||||||||||
|
xk |
|||||||||||||||||||
|
|
|
||||||||||||||||||
В(х, х) = (х, х), т.е. В(х, х) = å |
|
xk |
|
2 |
|
k |
k |
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
УНИТАРНЫЕ И НОРМАЛЬНЫЕ ОПЕРАТОРЫ |
|
|
|
|
|
|||||||||||||
|
|
|
|
§1. УНИТАРНЫЕ ОПЕРАТОРЫ |
|
|
|
|
|
|||||||||||
|
Def: Линейный оператор UÎL(V, V) называется унитарным, если |
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
"х, yÎV (Ux, Uy) = = (x, y) . |
|
|
|
|
|
||||
1° |
Из условия унитарности: ||Ux|| = ||x||, ||U|| = 1. |
|
|
|
|
|
|
|
|
|||||||||||
2° Если λ – собственное значение унитарного оператора, то | λ | =1. |
|
|
|
|
|
|||||||||||||||
|
Пусть е – собственный вектор с собственными значениями λ и ||x|| = 1. Тогда |
|
|
|||||||||||||||||
|
| λ | =| λ | || e|| = ||le|| = ||Ue|| = || e|| =1 |
|
|
|
|
|
|
|||||||||||||
|
Тº. Чтобы линейный оператор UÎL(V, V) был унитарным необходимо и достаточно, |
|
|
|||||||||||||||||
|
чтобы U* = U–1. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Необходимость: Пусть U – унитарный Þ(Ux, Uy) = (x, y) Þ(x, U*Uy) = (x, y) Þ |
||||||||||||||||||||
Þ (x, (U*U -Е)у) = 0 ÞU*Uy = Еу ÞU*U = Е ÞU* = U−1. |
|
|
|
|
|
|||||||||||||||
Достаточность: |
Пусть U* |
= U−1 |
Þ U*U = Е Þ (х, у) = (х, U*Uу) = (Ux, Uy), |
т.е. U – |
||||||||||||||||
унитарный |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
Примечание: U* = U−1 Û U*U = UU* = Е |
Û (Ux, Uy) = (x, y). |
|
|
|
|
|
В примечании приведено две эквивалентные формы записи условия унитарности оператора.
Нетрудно убедиться в том, что произведение унитарных операторов – унитарный оператор.
Def: Оператор l называется унитарно подобным оператору L, если существует унитарный оператор U такой, что l = U*LU,
Напомним, что [AB] = AB - BA – называется коммутатором операторов А и В.
При этом, если [AB] = 0, то А и В коммутирующие операторы.
Обозначим j = U*y.
Для унитарно подобных операторов выполняются следующие соотношения:
1) |
[L, M] = N Þ [l, m] = n; |
2) L = L* Þ l = l*; |
3) |
Ly = ly Þ lj = lj; |
4) (Ly1, y2) Þ (lj1, j2). |
§2. НОРМАЛЬНЫЕ ОПЕРАТОРЫ
Def: Линейный оператор А называется нормальным, если А*А = АА*.
11
1° Из определения: любой унитарный оператор является нормальным.
|
Тº. |
Пусть А – нормальный оператор. Тогда А и А* имеют общий собственный |
||||||||||
|
|
вектор е, такой, что ||e|| = 1, Ae = le, A*e = |
|
|
e. |
|
||||||
|
|
l |
|
|||||||||
|
|
|
Пусть λ – собств. ззначение оператора А. Обозначим Rλ – собственное |
|||||||||
подпространство оператора А, т.е. множество хÎV, Ах = lх. |
|
|||||||||||
|
Пусть хÎRλ, Ах = lх. Тогда А(A*х) = (АA*)х = (A*А)х = A*(Ах) = A*(lх) = l(A*х). |
|||||||||||
|
Получили А(A*х) = l(A*х), |
A*хÎRλ. Итак, хÎRλ ÞA*хÎRλ, т.е. оператор A* действуют |
||||||||||
из |
Rλ |
в |
Rλ. Следовательно $еÎRλ, ||e|| = 1, такой, что A*e = me (собственный вектор А*), |
|||||||||
но еÎRλ |
(собственный вектор А); |
Ах = le; A*e = me. При этом l = l(e, e) = (le, e) = (Ae, e) |
||||||||||
= (e, A*e) = (e, me) = μ (e, e) = μ |
|
|
||||||||||
|
Тº. |
Пусть А – нормальный оператор. Тогда существует ортонормированный базис |
||||||||||
|
|
{ek}, состоящий из собственных векторов А и А*. |
|
|||||||||
1) |
по предыдущей теореме |
$е1ÎV, ||e1|| = 1 и являющийся общим собственным |
||||||||||
вектором операторов А и А* с собственными значениями l1, |
|
1 соответственно. |
||||||||||
l |
||||||||||||
|
Пусть V1 = (e1) ÞV = (e1) ÅV1. Это значит, что если |
xÎV1 Þ x^e1. |
||||||||||
|
|
|
xÎV1 Þ (Ax, e1) = (x, A*e1) = (x, |
l |
1 e1) = l1(x, e1) = 0; |
|
||||||
|
|
|
(A*x, e1) = (x, Ae1) = (x, l1e1) = |
|
1 (x, e1) = 0, т.е. Ax, A*xÎV1. |
|||||||
|
|
|
l |
|||||||||
|
Следовательно операторы А и А* действуют в V1. |
|
||||||||||
2) |
Тогда |
А и А* имеют в V1 общий собственный вектор е2 |
(е2ÎV1, е2^е1, ||e2|| = 1) с |
собственными значениями l2, l2 соответственно. Пусть V2 = (e1, e2) ÞV = (e1, e2) ÅV2, Это значит, что если xÎV2, то х^е1, х^е2.
xÎV2 Þ (Ax, e1) = (x, A*e1) = (x, l1 e1) = l1(x, e1) = 0; (Ax, e2) = (x, A*e2) = (x, l2 e2) = l2(x, e2) = 0; (A*x, e1) = (x, Ae1) = (x, l1e1) = l1 (x, e1) = 0; (A*x, e2) = (x, Ae2) = (x, l2e2) = l2 (x, e2) = 0,
т.е. Ax, A*xÎV2.
Следовательно операторы А и А* действуют в V2.
3) ….
Продолжая приведенные рассуждения мы построим ортонормированный базис {ek} из собственных векторов общих для А и А*
Следствие 1: Для нормального оператора А существует базис в котором А имеет диагональную матрицу.
Следствие 2: Унитарный оператор имеет полную ортонормированную систему собственных векторов.
И, наконец:
Тº. Если оператор АÎL(V, V) имеет ортонормированный базис из собственных векторов, то этот оператор – нормальный. Доказать самостоятельно.
12