Файл: Козин, И. В. Элементы теории оптимального обнаружения и приема сигналов.pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 30.10.2024
Просмотров: 74
Скачиваний: 0
§ 2.4. Об унитарной эквивалентности двух операторов
В теоремах 1.3.2 и 1.3.6 условия ортогональности мер выра жены через операторы Q t и А\, обладающие одинаковыми свойства*™. Эти операторы не заданы непосредственно, а оп ределяются через операторы Q, К я А, В. По этой причине же лательно выявить более конструктивную связь Qi с оператора ми Q, К и А] с операторами А, В. Очевидно, при этом доста точно ограничиться тремя операторами А\, А и В, поскольку связь между операторами Q b Q и К такая же.
Будем считать, что оператор С удовлетворяет условиям с), если он линеен, определен на всюду плотном в Я линейном мно жестве М, переводит это множество на всюду плотное в Я множество L и для любых и, и £ М удовлетворяет равенству
(ВСи, Cv) — (u, v)
с ядерным положительным оператором В.
Операторы, удовлетворяющие условиям с), существуют. В качестве такого оператора может быть, например, взят опера
тор В-'/* (лемма 2.7.3). |
А и В — ядерные положитель |
Т е о р е м а 2.4.1. Пусть |
|
ные операторы. Оператор |
С удовлетворяет условиям с), |
оператор С*. является сопряженным с оператором С. Опе ратор А { ограничен относительно нормы ||v |в тогда и
только тогда, если, ограничен относительно нормы j| || опе ратор С*АС. Если один из этих операторов ограничен относительно соответствующей нормы, то оператор С*АС расширяется до унитарно эквивалентного оператору
Это расширение единственно. |
|
|
|
|||||
Д о к а з а т е л ь с т в о . |
Выполнение оператором С условий с) |
|||||||
позволяет применить к |
нему теорему 1.6.1. По этой теореме |
|||||||
оператор |
С |
может быть расширен до изометрического ото |
||||||
бражения С |
пространства Н на пространство Нв- |
и v Q M |
||||||
Пусть |
оператор Ах ограничен. Для любых и ^ Н |
|||||||
|
|
|
{А,Си, Cv)w=(ACu, Cv), |
(2.4.1) |
||||
так |
как |
при этом С и £ Н в и Cv — CvQH. Далее, в силу изо- |
||||||
метричностн |
отображения С |
|
|
|
||||
|
|
|
(А^Си, |
Ctj)b = |
(C_1.41Ch, v). |
(2.4.2) |
||
Сравнивая (2.4.1) и (2.4.2) и |
учитывая, |
что С- 1Л , Сн £ / / , |
||||||
если |
и £ Н , |
приходим |
к выводу, что элемент АСи принадле |
|||||
жит |
области |
определения |
оператора, сопряженного |
с С в Я. |
||||
Поэтому |
|
|
|
|
|
|
|
|
|
|
|
( С '^ С и , |
v) |
(С*АСи, |
%>) |
|
31
при любом uQM и любом v £ A I. Поскольку множество М всюду плотно в Н, отсюда вытекает, что
' С - 1А £ и = С*АСи.
Для любого « £ / / левая часть этого равенства принадлежит Н.
Следовательно, оператор С*АС определен |
на всем Н и ото |
|||
бражает его в Н. Областью определения |
Л, является Н в _ |
|||
При этом |
оператор С отображает Н на Нв . |
Таким |
образом, |
|
операторы |
Л, и С*АС унитарно эквивалентны. |
Оператор С*АС |
||
является |
расширением по непрерывности |
оператора |
С*АС, |
а поэтому определяется единственным образом.
Пусть теперь оператор С*АС ограничен. Тогда неравен
ство |
||^ < ||С Д 4 С |! |К ^ , |
|
||
|
|
|||
эквивалентное |
на L неравенству |
|
|
|
|
(А-о, v) < || С М С | (Bv, |
-о), |
||
может быть расширено |
вначале с L |
на Н, а затем с Н на Ив. |
||
При этом для любых и. |
н v из Нв |
|
|
|
l(«, |
U < 1 |
!U1 « 1д < |
« |
III« На II IU• |
Отсюда следует существование ограниченного оператора Л, такого, что
(“ , ®)д = И|И, v)B.
Для завершения доказательства теоремы остается восполь зоваться доказанной уже первой ее частью.
§ 2.5. Связь между пространствами Нв, Нв_ х и L2(B)
Для дальнейшего необходимо выяснить смысл элементов пространства Н в. Это будет сделано в данном параграфе.
Если В является ядерным положительным оператором, то область R B его значений на И является всюду плотным в Н
множеством и. на ней существует самосопряженный положи тельно определенный оператор В-1, обратный оператору В. Областью значений оператора В-1 является все Н. Действи
тельно, поскольку оператор положителен и ограничен, он бу дет самосопряженным и i = 0 не является его собственным значением. Благодаря этому (стр. 575 [26]) область RB будет
всюду плотной в Н. Из положительности оператора В выте кает и существование на RB обратного оператора В -1. В про
тивном случае нашелся бы ненулевой элемент а £ Н, для ко торого Ви = О и (Ви, и) = 0. Оператор, обратный самосопря женному, также является самосопряженным. Положительная определенность оператора В-1 является следствием свойств
спектров его и оператора В.
32
Замыкая |
множество |
элементов |
R B по |
скалярному про |
|
изведению |
|
|
|
|
|
|
( и , |
= |
v ) |
, |
|
получим гильбертово пространство / / |
г |
Из |
сепарабельности |
||
пространства |
Н вытекает |
сепарабельность пространства И t |
(стр. 82 [17]).
Оператору В соответствует единственный самосопряженный
|
1 |
|
|
|
1 1 |
|
и обратный |
ему |
положи |
|||||||
оператор В 2 такой, |
что В 2В 2 = В , |
|||||||||||||||
тельно определенный |
самосопряженный оператор |
В |
2 , |
удо- |
||||||||||||
влетворяющий равенству |
В |
_ 1 |
_ 1 |
|
В -1. |
При |
этом область |
|||||||||
2 В |
' |
|
||||||||||||||
определения оператора |
В |
|
2 совпадает со всем |
/ / |
|
р область |
||||||||||
значений |
на П _х есть |
все Н и |
|
|
, . |
|
|
|
|
|
|
|||||
|
(и, |
v )b_x = [ b ~ J u, B ~ Tv) |
|
|
|
|
(2.5.1) |
|||||||||
для любых и и v из Н |
|
{ |
(стр. 24 |
[18]). |
Следовательно, опе- |
|||||||||||
_ j_ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ратор В |
1 является |
изометрическим |
отображением простран |
|||||||||||||
ства Н |
, на Н (стр. |
121 |
[1]). |
Оператор |
В 2 |
в |
таком |
случае |
||||||||
является |
изометрическим |
|
отображением |
пространства |
Н |
на |
||||||||||
И в-1,. ■ |
все элементы |
пространства |
/ / |
j являются в то же |
||||||||||||
Если |
||||||||||||||||
время и |
элементами |
пространства Н (стр. 16 [18]), элементы |
||||||||||||||
пространства Н в |
не |
обязаны |
принадлежать |
Н |
и |
смысл |
их |
требует специального пояснения. Обозначим через Н* про
странство, сопряженное с Н, |
а |
через //*_ , —пространство, |
||
сопряженное |
с Н |
х. |
|
|
Т е о р е м а |
2.5.1 |
Оператор |
V, |
ставящий в соответствие |
каждому элементу v £ H элемент F' (и) = (и, |
v) из Н*, рас |
||||
ширяется |
до |
изометрического отображения |
V |
простран |
|
ства Ив |
на |
пространство H*B-i. |
При этом для |
любых F' |
|
и F" из Fi*B-\ |
|
|
|
|
|
Л |
|
{ y ~ lF ', V~lF")B = |
F' (вр"), |
|
(2.5.2) |
|
|
|
|
* |
г1е В — изометрическое отображение пространства /Ув_i на
3 З а к . 3S9 |
33 |
I |
y\ |
|
HB- 1, порождаемое оператором. В, определяемым на эле |
||
ментах F' £Н * равенством |
|
|
|
BF' — Bv. |
(2.5.3) |
Д о к а з а т е л ь с т в о . |
На элементах из Н* |
определим |
скалярное произведение |
|
|
(F:, |
F")* = F'(BF"). |
(2.5.4) |
Билинейная форма, стоящая справа в этом равенстве, оче видно, удовлетворяет всем аксиомам скалярного произведе
ния, |
поскольку |
|
|
|
(F', |
F')* = {Bv, |
v) > 0 |
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|||||||||
для |
любого F '£ H *, |
отличного от нулевого. |
Замкнув УУ* отно |
|||||||||||||||
сительно скалярного произведения (Д', F")*, получим гиль |
||||||||||||||||||
бертово пространство Н*. Для |
любых |
F' |
и F" из Н * |
|
||||||||||||||
|
|
|
(BF\ |
BF")b _ x— {Ви, |
v) = (F\ |
Д")». |
|
(2.5.5) |
||||||||||
Из |
равенства (2.5.3) вытекает-, что |
образом Н* при |
отобра- |
|||||||||||||||
женин |
А |
|
|
|
все RB. Но R B всюду плотно в Н |
a Н* |
||||||||||||
В является |
||||||||||||||||||
всюду |
плотно |
в |
УУ*. Благодаря |
этому |
формула (2.5.5) позво- |
|||||||||||||
ляет |
|
расширить |
оператор |
/\ |
до |
изометрического |
отображе- |
|||||||||||
/ч |
В |
|||||||||||||||||
|
|
|
|
|
|
;J; |
|
|
|
|
|
|
|
|
|
|
|
|
|
/Ч |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
из Н* при |
||
ния В |
пространства Hi на Нв -\- Функционал F' |
|||||||||||||||||
надлежит |
Н в- ь |
В |
самом деле, |
для |
и(*Нв-\ |
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
/ 1 |
|
|
|
1 |
\ |
|
|
|
|
|
|
F'(a)\ = |
\(u, |
v)\ = |
В |
2 я, |
В~ v |
|
■||и|1д-1 И ,щ- |
|||||||||
Поэтому, |
если |
последовательность |
элементов ип£ Н в - 1 схо |
|||||||||||||||
дится по норме ||«||д _1 |
к |
и £ Н в - 1, |
то, |
поскольку |
Д'(«) = |
|||||||||||||
= (», |
® )в-ь где w £ H B-i, |
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
lim |
F'(ua) = |
lim (ид, |
та) |
, = |
(и, та) |
|
|
||||||||
|
|
|
П - + о* |
|
|
|
|
П - * СО |
|
|
15 |
|
|
|
а |
|
|
|
Следовательно, для каждого Д'£/У * |
равенство (2.5.4) |
расши |
||||||||||||||||
ряется на любые Д" |
из /У), т. |
е принимает |
вид |
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
уЛ. |
|
|
|
|
|
|
|
|
|
|
|
|
|
(Д', |
Д")* = Д' (BF"). |
|
|
|
(2.5.6) |
||||||
Пусть |
теперь |
Д '— произвольный |
элемент |
из Hi. В И* най |
||||||||||||||
дется |
последовательность |
элементов |
Д„, сходящаяся сильно, |
|||||||||||||||
а потому и слабо, |
в /У* |
к Д . |
В таком случае, согласно (2.5.6), |
|||||||||||||||
|
|
|
|
|
|
|
| Дп (и) — Дт (и) | -> О |
|
|
|
|
|||||||
при |
любом u £ H B-i, |
что позволяет расширить равенство (2.5.6) |
||||||||||||||||
путем |
предельного |
перехода на |
все элементы Д '£ Н \. |
|
34
Докажем теперь, что пространства Jit |
и Н в*- 1 состоят из |
одних и тех же элементов. Если |
то, как только что |
видели, в Я* найдется фундаментальная последовательность
функционалов |
Frl(u), |
сходящаяся |
к |
функционалу F' (и) на |
|||||||||||||||
Ив - 1. Поскольку |
Я («) = |
|
(«, |
wn)B- U |
Fm{u) = {u, |
то |
|||||||||||||
отсюда вытекает, |
что последовательность элементов wn из Н в - \ |
||||||||||||||||||
фундаментальна |
в смысле |
слабой сходимости в Я г _1. В силу |
|||||||||||||||||
слабой |
полноты |
пространства |
Яв_ ь |
в |
нем существует эле |
||||||||||||||
мент w, являющийся слабым пределом. |
Теперь можем напи |
||||||||||||||||||
сать, |
что при любом |
и £ Н в-г |
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
F' (и) = lim Я (и) = |
(и, w)B- i , |
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
/I |
-*■ оо |
|
|
|
|
|
|
|
|
|
т. е. Я £ Я * _ ь |
Следовательно, |
Я * с Я ^ _ 1. Пусть теперь F ' £ |
|||||||||||||||||
£ Н в -\. |
|
Это |
означает, |
что |
найдется |
w £ H B-\, для |
которого |
||||||||||||
|
|
|
|
|
|
|
|
|
F' (и) = (я, ®)в_1 |
|
|
|
|||||||
при |
любом |
|
|
|
|
Множество R B — всюду |
плотно в FIB^\t |
||||||||||||
поэтому |
|
можно |
выбрать |
|
последовательность |
элементов |
|||||||||||||
£ R B, сходящуюся |
|
по норме \w \B-.\ |
к элементу w. При этом |
||||||||||||||||
для |
каждого |
ti £ H B-i |
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
lim (и, |
wn) — F' (и). |
|
|
||||||||
|
|
|
|
|
|
|
|
Л-► °о |
|
|
|
|
|
|
|
|
|
||
Но по формуле (2.5.1) |
|
|
|
|
|
|
|
|
|
|
|
||||||||
( u ,w n)3- i = ^ B |
2и, В |
|
2дал) = («, |
B~'wn) = F ' (и)£Н*, |
|||||||||||||||
так как B~lwn£Ff. |
|
Таким |
образом, |
последовательность эле |
|||||||||||||||
ментов F'n(и) из Я* сходится |
при каждом и £ Яв _i к пределу |
||||||||||||||||||
F' (и). По этой |
причине |
|
|
|
|
|
|
|
А |
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(Fm - |
Я , |
F"T ~ |
[Fm - |
F'n\ (BF") - |
0 |
|
|||||||||
при |
любом |
Я '£ Я |, |
|
т. |
|
e. |
|
последовательность |
элементов |
||||||||||
Я. 6 Я 1 |
слабо |
фундаментальна. В силу |
слабой полноты про |
||||||||||||||||
странства |
Н\ |
предел |
F' |
|
этой |
последовательности |
принадле |
||||||||||||
жит |
Я 1. |
Следовательно, |
|
Я д- iC |
Я*, чем и доказывается совпа |
||||||||||||||
дение множеств |
элементов Я *_х |
и И*. |
|
|
|
||||||||||||||
Формулами |
|
|
V,d = F', |
F>{ii) = |
{u, |
v) |
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|||||||||||
введем отображение |
V пространства Я на Я*. |
Это отображе |
|||||||||||||||||
ние, очевидно, является |
взаимно-однозначным. Для любых v' |
||||||||||||||||||
и v" |
из |
Я |
|
|
|
|
|
|
' |
|
|
|
|
|
|
|
|
|
|
|
|
« |
zr")B = |
(Bv', |
v") = |
(BF', |
v ") = F"(BF') = |
|
|||||||||||
|
|
|
|
|
|
= |
(F", |
F')* = (Vv‘, |
Vv"f- |
|
|
3* |
35 |