
Методичка ДЕРКАЧА
.pdf
2.3. ПРЕОБРАЗОВАНИЕ КЭЛИ |
|
|
|
|
|
|
|
|
31 |
|||||
|
|
|
|
|
|
|
E:14.5 |
|
|
E:7.3 |
|
|
E:14.4 |
|
|
|
|
|
|
|
|
|
|
||||||
|
Доказательство. Соотношения |
|
(1.6) очевидны. Согласно ( |
|
1.3) è |
|
(1.4) |
|
||||||
|
|
|
||||||||||||
|
|
|
kfk2 = k(A − |
|
)hk2 = k(A − x)hk2 + |y|2khk2; |
|
|
|
||||||
z |
|
|
|
|||||||||||
|
|
E:14.4 |
kV fk2 = k(A − z)hk2 = k(A − x)hk2 + |y|2khk2. |
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
||||||
Èç |
(1.4) теперь вытекает, что V изометрия. 2 |
|
|
|
|
|
|
|||||||
|
|
|
H, V åãî |
|||||||||||
A:14.7 |
Утверждение 2.3.2. Пусть A симметрический оператор в |
|
||||||||||||
|
преобразование Кэли. Тогда n+(A) = ne(V ), n−(A) = ni(V ). |
|
|
|
|
|
|
A:14.4
Доказательство. Пусть z C+. В силу утверждения 2.2.8 и определения дефектных чисел симметрического оператора имеем:
n+(A) = dim Nz = def ran (A − zI) = def dom V = ne(V ); n−(A) = dim Nz = def ran (A − zI) = def ran V = ni(V ).
2
Зададимся вопросом: каждый ли изометрический оператор является преобразованием Кэли некоторого симметрического оператора?
A:14.8 Утверждение 2.3.3. Åñëè V изометрия в H è ran (V − I) плотно в H, то оператор A, определяемый равенством
Ah = (zV − zI)(V − I)−1h,
является симметрическим. При этом его преобразование Кэли
AG
оператором V (cì. [1, Ãë. VIII, ï. 101]).
(3.4) E:14.7
Cz(A) совпадает с
T:14.9Ext |
Теорема, |
2.3.4. Пусть A, A симметрические операторы в H, z C+ è V = |
|
|
|||
|
Cz(A) V = Cz(A) èõ |
преобразования Кэли. Тогда |
|
|
e |
||
|
e |
e |
|
(1)Оператор Ae является симметрическим расширением оператора A тогда и только тогда, когда Ve является изометрическим расширением оператора V ;
(2)Оператор Ae является самосопряженным расширением оператора A тогда и только тогда, когда Ve является унитарным расширением оператора V .
Доказательство. (1) Преобразование Кэли Ve оператора Ae задается равенствами
|
|
|
((A |
− z)h = V f |
, f dom A. |
|
|
(3.5) E:14.4wt |
|||||||||
|
|
|
(A |
|
z |
)h = f |
|
|
|
|
|
|
|
|
|||
|
|
|
e |
− |
|
|
|
A:14.4 |
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|||||||||||
Поэтому, всякий вектор f èçedom V â |
ñèëó |
(2.2.8) представимe |
â âèäå |
|
|
|
|||||||||||
e |
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
f = (A − |
|
)h = (A − |
|
)h |
|
|
|
|
|||||
è â ñèëó (3.5) f dom V . |
z |
z |
|
|
|
|
|||||||||||
|
|
|
|
|
|
e |
|
|
|
|
|||||||
|
|
E:14.4wt |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(2) |
|
Утверждение e |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Аналогично доказывается, что включение V V влечет включение |
A:14A .7 A. |
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
e |
|
|
2e |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
пункта (2) следует из пункта (1) и Предложения |
2.3.2. |
|
|
32 ГЛАВА 2. ТЕОРИЯ РАСШИРЕНИЙ СИММЕТРИЧЕСКИХ ОПЕРАТОРОВ
|
|
T:14.9 |
Теорема 2.3.5. Пусть |
A |
симметрический оператор в |
|
H, тогда |
|
|
|||||||||||||||||||||||||||||||
|
|
|
подпространство H1 приводит A тогда и только тогда, когда оно приводит |
|
|
|||||||||||||||||||||||||||||||||||
|
|
|
его преобразование Кэли V = C(A). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
Доказательство. Легко видеть, что |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
V = C(A) = (A − z)(A − |
|
|
)−1 = I + ( |
|
− z)(A − |
|
|
)−1. |
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(3.6) |
E:14.8 |
|
|||||||||||||||||||||
|
|
|
|
|
|
z |
z |
z |
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
T:12.5 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
По теореме |
|
?? подпространство H1 приводит A в точности тогда, когда P1 |
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
|
|
|
коммутирует с A (P1 ортопроектор на H1), òî åñòü |
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
P1Af = AP1f, |
|
f dom A è |
|
P1dom A dom A. |
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
E:14.9 |
|
|
|
|
|
|
|
|
(3.7) |
E:14.9 |
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Èç |
|
(3.7) имеем P1(A − z)f = (A |
− z)P1f, f |
dom A. Отсюда |
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
(A − |
|
)−1P1g = P1(A − |
|
)−1g, |
g ran (A − |
|
). |
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
z |
z |
z |
|
|
(3.8) |
E:14.10 |
|||||||||||||||||||||||
|
|
|
|
|
E:14.8 |
|
|
E:14.10 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
Èç |
|
(1.9) è |
|
(3.8) получаем V P1 = P1V , значит H1 приводит V . |
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
|
|
Рассуждение обратимо. 2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
Óïð. 2.3.6. Пусть H = L2(R), A = −i |
d |
, dom A = W21(R). |
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
EX:14.* |
|
|
|
|
|
||||||||||||||||||||||||||||||||||
|
dx |
|
|
|
|
|
||||||||||||||||||||||||||||||||||
|
|
|
a) Доказать, что A = A ; |
b) Найти RA(λ), σ(A). |
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
|
|
Пример 2.3.7. Пусть A = A оператор из упражнения |
2EX:14.3.6,.*V = I |
− |
2i(A + iI)−1 |
|
|
||||||||||||||||||||||||||||||||
EXA:14.5 |
|
|
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
его преобразование Кэли. Тогда V унитарен и имеет вид: |
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(V f)(x) = f(x) − 2 Zx |
f(t) exp(x − t) dt. |
|
|
|
|
|
|||||||||||||||||||||
|
|
|
Пусть |
|
|
|
|
|
H± = L2(R±) = {f L2(R) : f(x) = 0, x ≥ 0}. |
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
Легко видеть, что подпространства |
|
H |
± |
Lat |
A не приводят оператор A. Â òî æå |
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
, ãäå χ− |
|
|
|||||
|
|
|
время H− Lat V , íî H+ / Lat V . Более того, e− V H−, ãäå e− = χ−(x)e |
|
|
|||||||||||||||||||||||||||||||||||
|
|
|
индикатор полуоси R−. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
Óïð. 2.3.8. Пусть A = A â H è |
H |
Cyc A, òî åñòü |
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
EX:14.6 |
|
|
|
|
|
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
H = span{(A − λ)−1H : λ C− C+}.
Верно ли, что подпространства H± = span{(A − λ)−1H : λ C±} инвариантны для A, òî åñòü H± Lat A. Верно ли, что они приводят A?

2.4. ЧИСЛОВАЯ ОБЛАСТЬ ОПЕРАТОРА |
33 |
2.4Числовая область оператора
D:8.1 Определение 2.4.1. Пусть T оператор в гильбертовом пространстве H. Числовой образ оператора T есть подмножество Θ(T )( C), определяемое равенством
Θ(T ) := {(T f, f) : f dom (T ), kfk = 1}.
Множество Θ(T ) не является вообще говоря ни открытым, ни замкнутым, даже если T [H].
Ka
T:8.2 Теорема 2.4.2 (Хаусдорфа). (См. [2, Теорема V.3.1]) Множество Θ(T ) выпукло.
EXE:8.1 Óïð. 2.4.3. Обозначим дополнение к = Θ(T ) â C через ΘC(T ). Показать, что ΘC(T )
является связным открытым множеством за исключением случая, когда Θ(T ) замкнутая полоса, быть может вырождающаяся в прямую. В этом случае
ΘC(T ) = ΘC1 (T ) ΘC2 (T ),
ãäå ΘC1 (T ) è ΘC2 (T ) полуплоскости.
Ka
EXE:8.2 Óïð. 2.4.4. (См. [2, Теорема V.3.2]) Если T C(H), òî
ΘC(T ) ρb(T ).
Äëÿ âñåõ ζ из каждой связной компоненты множества ΘC(T ) функция def (T − ζ) сохраняет постоянное значение. При этом, если def (T − ζ) = 0 äëÿ ζ , òî
k(T − ζ)k ≤ 1/dist(ζ, )
EXE:8.3_C Óïð. 2.4.5. Åñëè T B(H), òî
σ(T ) Θ(T ).
Ïðè ýòîì, σp(T ) Θ(T ) è σr(T ) Θ(T ).
D:8.2 Определение 2.4.6. (i) Оператор T называют аккретивным (диссипативным), если
Re(T f, f) ≥ 0 (Im(T f, f) ≥ 0), |
f dom (T ), |
||||
òî åñòü, åñëè Θ(T ) |
C |
r (Θ(T ) |
C |
+). |
|
(ii)Оператор T называют m-аккретивным (m-диссипативным), если он
аккретивен (диссипативен) и не имеет собственных аккретивных (диссипативных) расширений.
L:8.4a Лемма 2.4.7. Пусть T аккретивный (диссипативный) оператор в H. Тогда для всех u, v dom (T ) справедливо неравенство
|Re [(T u, v) + (T v, u)]|2 6 Re(T u, u) Re(T v, v). |
|
|
(4.1) |
E:8.4a |
34 ГЛАВА 2. ТЕОРИЯ РАСШИРЕНИЙ СИММЕТРИЧЕСКИХ ОПЕРАТОРОВ
Доказательство. Аналогично доказательству неравенства Коши Буняковского.
2
|
|
T:8.4 |
Теорема 2.4.8. Пусть T |
|
плотно определен. |
|
|
|
|
|
|
H è Θ(T ) 6= C. Тогда |
||||||||||||
|
|
|
|
|
|
плотно определенный оператор в |
|
|
|
|
|
|||||||||||||
|
|
|
T замыкаем и, значит, T |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
Доказательство. Òàê êàê Θ(T ) выпуклое множество и Θ(T ) 6= C, то числовой |
|||||||||||||||||||||
|
|
|
образ оператора T содержится в некоторой полуплоскости. Заменяя T íà αT + β ñ |
|||||||||||||||||||||
|
|
|
некоторыми α, β( C) можно считать, что Θ(T ) |
C |
r, ãäå Cr = {z C : Re z > 0} |
|||||||||||||||||||
|
|
|
правая полуплоскость, то есть |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
Re(T f, f) > 0, |
äëÿ âñåõ f dom (T ). |
|
L:8.4a |
|
|
|
||||||||||||||
|
|
|
Пусть fn dom (T ), fn |
→ 0 è T fn |
→ g. Тогда, по |
|
|
|
|
|
||||||||||||||
|
|
|
Лемме |
2.4.7 справедливо |
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
неравенство |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|Re [(T fn, v) + (T v, fn)]|2 6 Re(T fn, fn) · Re(T v, v), |
|
v dom (T ). |
|
|
||||||||||||||||
|
|
|
|
|
(4.2) |
E:8.4b |
||||||||||||||||||
|
|
|
|
|
E:8.4b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
Переходя в неравенстве ( |
4.2) к пределу при n → ∞, получим |
|
|
|
|
|
|||||||||||||||
|
|
|
|
| Re(g, v)|2 6 0, |
äëÿ âñåõ v dom (T ), |
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
òî åñòü (g, v) = 0, v dom (T ). Òàê êàê dom (T ) = H, òî g = 0. Значит, оператор T |
|||||||||||||||||||||
|
|
|
замыкаем. 2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Óïð. 2.4.9. Åñëè T диссипативен и замкнут, то |
|
|
|
|
|
|
||||||||||||||||
EXE:8.3A |
|
|
|
|
|
|
||||||||||||||||||
|
|
|
(a) |
C− ρˆ(T ); |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(b) |
dT (z) := def(ran (T − z)) ≡ const, |
z C−. |
|
|
|
|
|
|
|||||||||||||
|
|
|
Доказательство. Пусть z = x + iy C−, ò.å. y < 0. Тогда |
|
|
|
|
|
||||||||||||||||
|
|
|
|
kT f − zfk2 = k(T − x)fk2 − 2y Im(T f, f) + y2kfk2 > y2kfk2. |
|
|
||||||||||||||||||
|
|
|
Таким образом, C− ρˆ(T ) и в силу Упражнения |
|
EXE:8.2 |
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
2.4.4 функция dT (z) := def(ran (T − |
||||||||||||||||||||
|
|
|
|
|||||||||||||||||||||
|
|
|
z)) сохраняет постоянное значение в C−. 2 |
|
|
|
|
|
|
|||||||||||||||
|
|
Óïð. 2.4.10. Åñëè T аккретивен и замкнут, то |
|
|
|
|
|
|
||||||||||||||||
|
EXE:8.3 |
|
|
|
|
|
|
|||||||||||||||||
|
|
|
(a) |
Cl ρˆ(T ); |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(b) |
dT (z) := def(ran (T − z)) ≡ const, |
z Cl. |
|
|
|
|
|
|
|||||||||||||
|
|
Óïð. 2.4.11. Показать, что оператор T является m-диссипативным тогда и только |
||||||||||||||||||||||
|
EXE:8.5 |
|||||||||||||||||||||||
|
|
|
тогда, когда выполнены условия: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
a) C− ρ(T ); b) k(T − z)−1k ≤ |
1 |
, z C−. |
|
|
|
|
|
|
|||||||||||||
|
|
|
| Im z| |
|
|
|
|
|
|

|
|
|
2.4. ЧИСЛОВАЯ ОБЛАСТЬ ОПЕРАТОРА |
|
|
|
35 |
|
|||||||||
|
|
|
|
|
|
|
|
|
T является m-аккретивным тогда |
|
|
||||||
|
EXE:8.5 |
Óïð. 2.4.12. Показать, что оператор |
и только |
||||||||||||||
|
|
|
тогда, когда выполнены условия: |
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
a) ρ(T ) Cl; b) k(T + z)−1k ≤ |
1 |
, |
z Cr. |
|
|
|||||||||
|
|
|
Rez |
|
|
||||||||||||
|
|
|
|
|
|
|
EXE:8.3A |
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
В силу Упражнения |
2.4.9 для диссипативного оператора T корректно |
|||||||||||||
|
|
|
определено его преобразование Кэли |
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
V = Cz(T ) = (T − zI)(T − |
zI)−1 |
|
|
||||||||
|
|
|
E:14.4.13..3 Åñëè T диссипативный оператор в H, то его преобразование Кэли V |
||||||||||||||
A:14.6Dis |
Óïð. 2 |
||||||||||||||||
|
|
|
âèäà |
|
сжимающий оператор в H, для которого |
|
|
||||||||||
|
|
|
|
|
|
||||||||||||
|
|
|
(1.3) |
|
|
||||||||||||
|
|
|
|
|
|
dom V = M |
|
:= ran (T − |
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
(4.3) |
E:14.5Dis |
||||||
|
|
|
|
|
|
|
zI). |
||||||||||
|
|
|
|
|
|
z |
|||||||||||
|
|
|
и оператор T является m-диссипативным тогда и только тогда, когда dom V = H. |
||||||||||||||
|
|
|
Òàê |
e |
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
же, как и в пункте 2.3 доказывается следующее утверждение. |
|
|
||||||||||
|
|
|
Óïð. 2.4.14. Пусть T , Te диссипативные операторы в H, z C+ è V |
= Cz(T ), |
|||||||||||||
|
|
T:14.9 |
Ve = Cz(Te) их преобразования Кэли. Тогда оператор Te является диссипативным расширением оператора T тогда и только тогда, когда Ve является сжимающим расширением оператора V .
L:8.3 Предложение 2.4.15. Пусть A замкнутый симметрический оператор в H, A C(H), Nz(A) = Nz := ker(A − z), называют дефектными подпространствами оператора A, n+(A) > 0. Тогда:
(i) при каждом z C+ расширение
Az = A |
|
dom (Az), |
|
|
|
˙ |
N |
z, |
(4.4) |
E:8.93 |
|
dom (Az) = dom (A)+ |
|
|
|
||||||
является m диссипативным оператором; |
|
|
|
|
||||||
(ii) åñëè z = x ρˆ(A) ∩ R, то оператор Ax âèäà |
|
E:8.93 |
|
|
|
|
|
|||
|
|
|
|
|
||||||
|
(4.4) самосопряжен, Ax = (Ax) . |
|||||||||
|
Кроме того, если интервал (α, β) является лакуной оператора A è x (α, β), то интервалы (α, x) è (x, β) являются лакунами оператора Ax. В частности, σ(Ax) ∩ (α, β) = {x}.
Доказательство. (i) Åñëè f dom (A) ∩ Nz(A) è f 6= 0, òî
Af = A f = zf,
что противоречитE:8.88симметричности оператора A. Значит, dom (A) ∩ Nz = {0} и определение (4.15) корректно.
Покажем, что Az диссипативен. Легко видеть, что для всех векторов f âèäà
f = fA + fz, fA dom (A), fz Nz,

36 ГЛАВА 2. ТЕОРИЯ РАСШИРЕНИЙ СИММЕТРИЧЕСКИХ ОПЕРАТОРОВ
получим
(Az(fA + fz), fA + fz) = (AfA + zfz, fA + fz)
= (AfA, fA) + (AfA, fz) + z(fz, fA) + zkfzk2 = (AfA, fA) + z(fA, fz) + z(fA, fz) + zkfzk2.
Отсюда
|
|
Im(Azf, f) = Im(Az(fA + fz), fA + fz) = Im z · kfzk2 > 0. |
(4.5) |
E:8.89 |
|
Таким образом, Az диссипативное расширение оператора A. |
|
|
|||
Покажем замкнутость оператора Az. Пусть |
|
|
|||
|
|
|
fn = fnA + fnz dom (Az), fn −→ f, |
|
|
|
|
E:8.89 |
Azfn = AfnA + zfnz −→ g. |
|
|
Тогда в силу |
|
(4.16) |
|
|
|
|
|
|
|
||
|
|
Im(Az(fn − fm), fn − fm) = | Im z|kfnz − fmzk2 |
(4.6) |
|
|
|
|
E:8.90 |
и, следовательно, fnz является фундаментальной последовательностью в Nz. Òàê êàê подпространство Nz замкнуто, то существует вектор fz Nz, такой что fnz −→ fz ïðè n −→ ∞. Полагая fA := f − fz, получим
lim f |
|
= lim(f |
f |
|
) = f |
− |
f |
|
= f |
|
, è |
lim Af |
|
= g |
− |
zf |
. |
n↑∞ |
nA |
n↑∞ |
n − |
nz |
|
|
z |
|
A |
|
n↑∞ |
nA |
|
z |
|
||
Òàê êàê A замкнут, то fA dom (A) |
è |
AfA = g − zfz. Значит, |
|
|
|
|
|||||||||||
|
|
f = fA + fz dom (Az), |
Azf = AfA + zfz = g, |
|
|
|
т.е. оператор Az замкнут.
Покажем, что Az m диссипативен. Для этого достаточно показать, что ran (Az − z¯) = H ïðè z C+. Пусть g ran (Az − z¯). Тогда
g ran (A − z¯) è g Nz(A).
EXE:8.3
Òàê êàê z C+ ρˆ(A) (см. УпражнениеE:8.91a 2.4.10) è A замкнут, то линеал замкнут. Поэтому условия (4.7) принимают вид
(4.7) E:8.91a
ran (A −z¯)
g Nz ∩ ran (A − z),
òî åñòü
(A − z)g = 0 è g = (A − |
|
)f, f dom (A). |
(4.8) |
E:8.92a |
|||||
z |
|||||||||
Отсюда |
|
|
|
||||||
0 = ((A − z)(A − |
|
)f, f) = k(A − |
|
)fk2. |
|
|
|
||
|
|
(4.9) |
E:8.92 |
|
|||||
z |
z |

2.4. ЧИСЛОВАЯ ОБЛАСТЬ ОПЕРАТОРА |
37 |
откуда следует, что f = g = 0. Значит, ran (Az − z¯) = H. Таким образом, оператор Az
m диссипативен.
(ii)Пусть x R ∩ ρb(A). Покажем замкнутость оператора Ax. Пусть
fn = fnA + fnx dom (Ax), fn → f,
Azfn = AfnA + xfnx → g.
Тогда в силу условия x ρb(A) получим
k(Ax − x)(fn − fm)k = k(A − x)(fnA − fmA)k ≥ c(x)kfnA − fmAk. |
(4.10) |
E:8.90 |
Таким образом, fnA, à ñ íåé è fnx, AfnA являются фундаментальными последовательностями в H, а это доказывает замкнутость оператора Ax.
Симметричность и максимальность оператора Ax доказывается так же, как и
âпункте (i).
(iii)Докажем утверждение (iii) в предположении, что оператор A имеет лакуну
(α, β). Рассмотрим случай интервала (x, β). Имеем для f = fA + fx, ãäå fA
dom A, fx Nx
Ax −
β+ x 2
f |
|
2 |
= A |
− |
β + x |
|
f |
A |
2 + |
|
|
β − x |
|
2 |
|
f |
2 |
|
|
|
|
|
|
||||||||||||||||
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
k |
xk |
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
β + x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
− |
(β |
− |
x) Re |
|
|
A |
|
|
|
|
|
|
|
fA, fx |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
− |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
> |
β − x |
|
2 |
f |
|
|
2 + |
|
β − x |
|
2 |
f |
|
|
|
2 + |
|
β − x |
|
2 Re(f |
|
, f |
) |
|||||||||||||
|
|
|
|
|
|
|
|
xk |
|
||||||||||||||||||||||||||||||
|
|
|
2 |
|
k |
Ak |
|
|
|
|
|
|
2 |
|
k |
|
|
2 |
|
A |
x |
|
|||||||||||||||||
|
|
|
|
|
2 |
k |
|
Ak |
|
|
|
|
k |
xk |
|
|
|
|
|
|
|
A |
x |
|
|
|
|
|
|
|
|||||||||
|
|
|
= |
β − x |
|
|
|
f |
|
|
|
2 + |
|
f |
|
|
2 + 2Re(f |
|
|
, f ) |
|
|
|
|
|
|
|||||||||||||
|
|
|
= |
|
β − x |
|
2 f |
|
|
+ f |
xk |
2. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
2 |
|
k |
A |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Таким образом, оператор Ax имеет лакуну (x, β). 2
R:8.100a Замечание 2.4.16. (i) Пусть A неотрицательный симметрический оператор в H,
E:8.88
A > 0, a < 0 è A(a) определен формулой (4.15), т.е. dom (A(a)) = dom (A) + Na è
A(a)f = A(a)(fA +fa) = AfA −afa, f = fA +fa, fA dom (A), fa Na. (4.11) E:100a
Тогда
(A(a)f, f) = (AfA, fA) + 2i Im(fA, fa) − akfk2, Re(A(a)f, f) ≥ 0.
P:8.5
Таким образом, в согласии с предложением 2.4.19, A(a) m аккретивен, хотя и не является симметрическим. Более того, A(a) несобственное расширение оператора A, A(a) 6 ExtA .

D:8.11
L:8.11
38 ГЛАВА 2. ТЕОРИЯ РАСШИРЕНИЙ СИММЕТРИЧЕСКИХ ОПЕРАТОРОВ
(ii) Åñëè A > 0 è a ρˆ(A) ∩ R+ 6= 0, то оператор
|
|
dom (Aa), |
˙ |
N |
|
(4.12) |
E:101a |
Aa = A |
|
dom (Aa) = dom (A)+ |
|
a |
|
|
необязательно неотрицателен. Возможно появление отрицательного спектра.
Определение 2.4.17. (i) Пусть A симметрический оператор в H. Расширение Ae оператора A называется собственным, если A Ae A .
(ii) Собственные расширения Sj( A), j {1, 2}, называют дизъюнктными, если dom (S1) ∩ dom (S2) = dom (A),
и трансверсальными, если они дизъюнктны и
dom (S1) + dom (S2) = dom (A ). |
(4.13) |
E:8.6 |
Пусть A замкнутый симметрический оператор в H, z ρb(A), Ae собственное расширение оператора A (A Ae A ). Тогда:
˜
(i)z / σρ(A) Ae è Az дизъюнктны;
(ii)z ρ(Ae) Ae è Az трансверсальны.
Доказательство. (i) |
Пусть |
|
z |
|
|
σρ(A). Тогда |
найдется |
вектор f |
|
dom (A) |
||||||||||||||||||||||||||||
такой, что Af |
|
zf и, значит, f |
|
|
N . Следовательно, |
f dom (Az) ∩ dom (Ae), |
||||||||||||||||||||||||||||||||
f 6dom (A) |
, ò.å.= |
|
|
|
|
|
|
|
|
|
|
|
|
|
z e |
|
. |
|
|
|
|
|
|
|||||||||||||||
|
|
dom (Az) ∩ dom (A) 6= dom (A) |
|
|
|
|
|
|
|
|
|
|
|
|
|
e |
||||||||||||||||||||||
Обратно, если |
|
|
|
|
|
è |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, òî |
|
|
|
|
|
|
|
|||||||||
|
|
|
e |
|
|
|
z σρ(A) |
|
|
f dom A ∩ dom Az |
|
|
f = fA + fz |
, ãäå |
fz |
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
Nz. Íî |
|||||||||||||||||||||||||
тогда f |
= f |
|
f |
|
|
dom (A). |
Следовательно, |
Af |
|
= A f = zf |
, что в силу условия |
|||||||||||||||||||||||||||
− |
|
|
|
|
|
|
e |
|
|
|
|
|
|
z |
||||||||||||||||||||||||
z |
|
|
|
A |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
z |
|
z |
|
|
|
|
|
||||
˜ |
|
влечет равенство e |
|
|
|
|
|
è, |
следовательно |
|
|
|
|
|
|
|
. |
|
|
|||||||||||||||||||
z / σρ(A) |
|
|
|
|
|
|
|
|
e |
f e |
|
|
f = fA dom A |
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
fz = 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
(ii) Пусть z |
|
ρ(A). |
Тогда для каждого |
dom (A ) можно определить вектор |
||||||||||||||||||||||||||||||||||
|
e |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
1 |
|
|
|
f |
|
|
|
A |
|
. Íî |
|
|
|
|
|
|
|
|
N |
, òàê êàê |
|
|
|
|
|
|||||||||
g := (A − z)− (A |
|
|
|
|
|
|
|
|
fz := f − g |
|
|
|
|
|
||||||||||||||||||||||||
− z)e dom ( |
|
) |
|
|
|
|
|
z |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
e |
|
(A |
− |
z)(f |
− |
g) = (Ae |
− |
z)f |
− |
(A |
|
− |
z)(A |
z)−1(A |
− |
z)f = 0. |
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
e − |
|
|
|
|
|
|
|
Таким образом, вектор f представим в виде
f = g + fz, g dom (Ae), fz dom (Az).
Обратно, если A è Az трансверсальны, то |
|
|
|
|
|
|
|||||||
|
|
e |
dom (A ) = dom (A) + dom (Az) = dom (A) u Nz. |
|
|
||||||||
|
(4.14) |
E:8.7 |
|||||||||||
|
|
E:8.7 |
|
( |
− e |
|
|
|
|
e |
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
||
Применим к |
(4.14) оператор A |
z). Получим |
|
|
|
|
|
||||||
|
H = (A − z)dom (A ) = (A − z)dom (A) + (A − z)Nz = ran (A − z). |
||||||||||||
Íî z / σρ(A) (согласно (i)), |
|
e |
z |
eρ(A) 2 |
e |
||||||||
|
e |
|
|
следовательно |
|
|
e |
. |
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
2.4. ЧИСЛОВАЯ ОБЛАСТЬ ОПЕРАТОРА |
|
|
|
|
|
|
|
|
|
|
|
|
39 |
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
P:8.5 |
Предложение 2.4.19. Пусть T аккретивный оператор в H, T C(H), è dT (z) > 0, |
|
|||||||||||||||||||||||||
|
z Cl. Тогда для каждого z Cl справедливо соотношение dom (T ) ∩ Nz(T ) = {0} è |
|
|||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||
оператор |
T (z) |
, |
|
|
|
|
˙ |
|
|
|
|
, |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
dom (T (z)) = dom (T )+Nz(T ) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
T (z)(fT + fz) = T fT − zfz, |
|
|
f dom (T ), fz Nz(T ), |
|
|
||||||||||||||||||||
|
|
|
|
(4.15) |
E:8.88 |
||||||||||||||||||||||
|
является m аккретивным. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
Доказательство. (i) Åñëè f dom (T ) ∩ Nz(T ) è f 6= 0, òî |
|
|
|
|
||||||||||||||||||||||
|
|
0 6 Re(T f, f) = Re(f, T f) = Re(f, zf) = Re |
|
|
· kfk2 < 0. |
|
|
||||||||||||||||||||
|
|
z |
|
|
|||||||||||||||||||||||
|
Значит, dom (T ) ∩ Nz = {0} и определение |
|
E:8.88 |
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
(4.15) корректно. |
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
||||||||||||||||||||||
|
(ii) Покажем, что T (z) аккретивен. Легко видеть, что |
|
|
|
|
||||||||||||||||||||||
|
|
(T (z)(fT + fz), fT + fz) = (T fT − zfz, fT + fz) |
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
= (T fT , fT ) + (T fT , fz) − z(fz, fT ) − zkfzk2 |
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
= (T fT , fT ) + |
|
|
(fT , fz) − z( |
fT , fz |
) − zkfzk2. |
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
z |
|
|
||||||||||||||||
|
Отсюда |
Re(T (z)(fT + fz), fT + fz) = Re(T fT , fT ) − Re z · kfzk2 > 0. |
|
|
|||||||||||||||||||||||
|
|
(4.16) |
E:8.89 |
||||||||||||||||||||||||
|
Таким образом, Tz |
аккретивное расширение оператора T . |
|
|
|
|
|||||||||||||||||||||
|
(iii) Покажем замкнутость оператора T (z). Пусть |
|
|
|
|
|
|
|
|
||||||||||||||||||
|
fn = fnT + fnz dom (T (z)), fn −→ f, T (z)fn = T fnT − zfnz −→ g. |
|
|
||||||||||||||||||||||||
|
|
|
|
E:8.89 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Тогда в силу |
|
(4.16) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
Re(T (z)(fn − fm), fn − fm) > | Re z|kfnz − fmzk2 |
(4.17) |
|
||||||||||||||||||||
|
|
|
|
|
E:8.90 |
||||||||||||||||||||||
|
è fnz − fmz −→ 0 ïðè n, m −→ ∞. Òàê êàê Nz(T ) замкнуто, то существует вектор |
|
|||||||||||||||||||||||||
|
fz Nz(T ), такой что fnz −→ fz ïðè n −→ ∞. Но тогда |
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
lim f |
= lim(f |
n − |
f ) = f |
− |
f =: f |
|
è |
lim T f |
|
= g + z |
|
|
|||||||||||||
|
|
n↑∞ |
nT |
|
n↑∞ |
nz |
z |
|
|
|
|
T |
|
n↑∞ |
nT |
|
|
||||||||||
Òàê êàê |
T замкнут, то fT dom (T ) è |
T fT = g + zfz. Значит, |
|
|
|||||||||||||||||||||||
|
|
|
|
|
f = fT + fz dom (T (z)) |
è T (z)f = T fT − zfz = g, |
|
|
|||||||||||||||||||
|
ò.å. T замкнут. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
(iv) Покажем, что T (z) m аккретивен. Для этого достаточно показать, что |
|
|||||||||||||||||||||||||
|
|
|
|
|
|
ran (T (z) − µ) = H ïðè µ = |
|
− ε Cl, ε > 0. |
|
|
|||||||||||||||||
|
|
|
|
|
|
z |
|
|
|||||||||||||||||||
|
Пусть g ran (T (z) − µ). Тогда |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
g ran (T − µ) |
|
|
g Nz(T ). |
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
è |
|
|
|
(4.18) |
E:8.91 |

40 ГЛАВА 2. ТЕОРИЯ РАСШИРЕНИЙ СИММЕТРИЧЕСКИХ ОПЕРАТОРОВ
EXE:8.3
Òàê êàê z Cl ρˆ(E:8T ).(ñì91 . Упражнение 2.4.10) и T замкнут, то ran (T −z) замкнут. Поэтому условия (4.18) принимают вид
|
|
|
|
|
|
g N |
|
(T ) ∩ ran (T − |
z |
), ò.å. |
g = (T − |
z |
)fT |
(4.19) |
E:8.92 |
|
|||||||||||
µ |
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
è (T − z + ε)g = 0, |
fT dom (T ). |
(4.20) |
|
|
||||||||||||||||
|
|
Отсюда |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
0 = ((T − z + ε)(T − |
|
)fT , fT ) = k(T − |
|
)fT k2 + ε((T − |
|
)fT , fT ). |
|
|
|||||||||||||||||
|
|
|
(4.21) |
E:8.92 |
|
||||||||||||||||||||||
z |
z |
z |
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
E:8.92 |
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
Òàê êàê Re((T − z)fT , fT ) > 0, то равенство |
|
(4.21) äàåò g = (T − z)fT = 0. Значит, |
|
|
|||||||||||||||||||||
|
|
|
|||||||||||||||||||||||||
|
|
ran (T (z) − µ) |
= H. Òàê êàê T (z) замкнут и аккретивен, то µ Cl |
ρˆ(Tz) è |
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
ran (T (z) − µ) = ran (T (z) − µ) = H. Таким образом, T (z) m аккретивен. 2 |
|
|
|||||||||||||||||||||||
|
|
|
|
||||||||||||||||||||||||
C:8.3a |
Следствие 2.4.20. Пусть K диссипативный оператор в H, K C(H), dK (z) > |
|
|
||||||||||||||||||||||||
|
|
0, z C−. Тогда оператор K(z), |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
K(z)(fK + fz) = KfK − zfz, |
fK dom (K), fz Nz(K), |
(4.22) |
E:8.92a |
является m диссипативным расширением оператора K.
Доказательство. ОператорP:8.5 T := −iK является аккретивным. Осталось
применить Предложение 2.4.19. 2
2.5Обобщенная формула Неймана
T:8.13 |
Теорема 2.5.1 (Обобщенная формула Неймана). Пусть |
|
|
|
A |
|
замкнутый |
|
|
|
|
||||||||||||||||||||||||||||||||||||||
|
симметрический оператор в гильбертовом пространстве H. Тогда: |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||
|
(i) для каждой пары чисел z1 C+ è z2 C− справедливо прямое разложение |
|
|
||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
dom (A ) = dom (A) u Nz1 u Nz2 ; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(5.1) |
|
|
E:8.10a |
|||||||||||||||||||||||||
|
(ii) |
|
ÅñëèE:8. z |
|
|
|
|
ρ A |
, то при каждом z |
|
C\R |
справедливо прямое разложение |
|
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||
|
|
|
(5.1).10a |
= z1 |
ˆ( ) |
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
(iii) Åñëè (α, β) лакуна для A, то для каждых x1, x2 (α, β) справедлив аналог |
|
|
||||||||||||||||||||||||||||||||||||||||||||||
формулы Неймана: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
dom (A ) = dom (A)+˙ Nx1 +˙ Nx2 . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(5.2) |
|
|
E:8.4v |
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
L:8.3 |
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
Доказательство. (i) Пусть n+(A) > 0. Тогда по Следствию |
|
2.4.15 оператор Az1 |
|
|
||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||
|
максимальный |
|
L:8диссипативный,.11 |
и, значит, C− ρ(Az1 ). Следовательно, z2 ρ(Az1 ) |
|
|
|||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||
|
и по Лемме |
|
|
|
|
|
расширения A |
|
|
A |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
2.4.18 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
E:8.10a z1 |
è |
|
z2 |
трансверсальны, |
òî |
åñòü |
справедливо |
|
|
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
E:8.7 |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
равенство |
|
(4.14), |
à ñ íèì è |
|
(5.1). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
L:8.3 |
|
|
|
|
= A |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
L:8.11 |
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
(ii) По Предложению |
2.4.15 A |
|
|
|
|
z |
|
ρ(A |
|
|
) и по Лемме |
|
2.4.18 |
|
|
|
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
расширения Az1 è Az2 трансверсальны |
|
|
z1 |
|
z1 и, значит, |
2 |
|
|
|
z1 |
|
|
|
|
|
E:8.10a |
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
L:8..3Значит, справедливо разложение ( |
|
5.1). |
|
L:8.11 |
|
|
|||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||
|
(iii) Согласно Предложению |
|
|
Ax1 |
= Ax |
1 è x2 |
|
|
ρ(Aλ1 ). По Лемме |
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
|
|
2.4.15 |
|
|
|
2.4.18 |
|
|
|
||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
E:8.4v |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Ax1 è Ax2 трансверсальны, т.е. справедливо равенство ( |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
|
5.2). 2 |
|
|
|
|
|
|
|
|
|
|
|
|
|