ВУЗ:
Составители:
Рубрика:
e
K
e
K
−1
s
,
k
e
K
−1
s
k 6 kK
−1
s
k(1 − t
s
)
−1
(s = l r). (2.21)
K
K
−1
t = (η
1
+ η
2
)kK
−1
k < 1, (2.22)
e
K
e
K
−1
k
e
K
−1
k 6 kK
−1
k(1 − t)
−1
. (2.23)
ex ∈
e
X
kKex −
e
Kexk 6 kKex − U exk + kU ex −
e
Kexk 6 (η
1
+ η
2
)kexk,
s = l
s (s = l r).
K
−1
l
K
−1
r
. U
U = [E
y
− (K − U)K
−1
l
]K, U = K[E
x
− K
−1
r
(K − U)], (2.24)
E
y
E
x
Y X
t
1
= η
1
kK
−1
s
k 6 t < 1,
U
U
−1
s
: Y → X, kU
−1
s
k 6 kK
−1
s
k(1 − t
1
)
−1
. (2.25)
U
−1
s
:
e
Y →
e
X, kU
−1
s
k
e
Y →
e
X
6 kU
−1
s
k
Y →X
6 kK
−1
s
k(1 − t
1
)
−1
. (2.26)
t
2
= η
2
kU
−1
s
k
e
Y →
e
X
6 η
2
kK
−1
s
k(1 − t
1
)
−1
< 1.
e
K = [
e
E
y
− (U −
e
K) U
−1
l
]U,
e
K = U[
e
E
x
− U
−1
r
(U −
e
K)], (2.27)
ïðèáëèæåííûé îïåðàòîð K e èìååò òàêæå îäíîñòîðîííèé ëèíåéíûé
e s−1 , ïðè÷åì
îáðàòíûé K
e s−1 k 6 kKs−1 k(1 − ts )−1
kK (s = l èëè r). (2.21)
Ñëåäñòâèå. Åñëè îïåðàòîð K èìååò äâóñòîðîííèé ëèíåéíûé
îáðàòíûé K −1 è
t = (η1 + η2 )kK −1 k < 1, (2.22)
e èìååò òàêæå äâóñòîðîííèé ëèíåéíûé îáðàòíûé K
òî îïåðàòîð K e −1 è
e −1 k 6 kK −1 k(1 − t)−1 .
kK (2.23)
e
Äîêàçàòåëüñòâî. Òàê êàê äëÿ ëþáîãî xe ∈ X
kKe ex
x−K ek 6 kKe
x − Ux
ek + kU x ex
e−K ek 6 (η1 + η2 )ke
xk,
òî ïðè s = l äîêàçàòåëüñòâî òåîðåìû íåìåäëåííî ñëåäóåò èç äîêàçàòåëü-
ñòâà òåîðåìû 2.1. Îäíàêî çäåñü ïðèâåäåì äîêàçàòåëüñòâî ñðàçó äëÿ ëþ-
áîãî s (s = l èëè r).
Èòàê, ïóñòü ñóùåñòâóåò Kl−1 èëè Kr−1 . Òîãäà îïåðàòîð U ìîæíî
ïðåäñòàâèòü â âèäå ñîîòâåòñòâåííî
U = [Ey − (K − U )Kl−1 ]K, U = K[Ex − Kr−1 (K − U )], (2.24)
ãäå Ey è Ex åäèíè÷íûå îïåðàòîðû â Y è X ñîîòâåòñòâåííî.
Ïîñêîëüêó t1 = η1 kKs−1 k 6 t < 1, òî èç ñîîòíîøåíèé (2.24) íåòðóäíî
âèäåòü, ÷òî îïåðàòîð U èìååò îáðàòíûé
Us−1 : Y → X, kUs−1 k 6 kKs−1 k(1 − t1 )−1 . (2.25)
Î÷åâèäíî, ÷òî â ñèëó (2.19) ñóùåñòâóåò òàêæå
Us−1 : Ye → X,
e kUs−1 kYe →Xe 6 kUs−1 kY →X 6 kKs−1 k(1 − t1 )−1 . (2.26)
Áëàãîäàðÿ (2.20) è (2.26) èìååì
t2 = η2 kUs−1 kYe →Xe 6 η2 kKs−1 k(1 − t1 )−1 < 1.
Ïîýòîìó ñ ïîìîùüþ ñîîòíîøåíèé
e = [E
K ey − (U − K)
e U −1 ]U, e = U [E
K ex − U −1 (U − K)],
e (2.27)
l r
Страницы
- « первая
- ‹ предыдущая
- …
- 16
- 17
- 18
- 19
- 20
- …
- следующая ›
- последняя »
