Qo‘shma operatorlar

15.2-lemma. Agar bo‘lsa, u holda
1)
2)
3) tengliklar o‘rinli.
Isbot. Birinchi tenglikni isbotlaymiz.


Bundan tenglik kelib chiqadi.
2) ni isbotlaymiz:

Bundan tenglik kelib chiqadi.
3) ning isboti bevosita qo‘shma operator ta’rifidan kelib chiqadi.
Endi operatorlarning Banax va Hilbert qo‘shmalarini topishga doir misollar qaraymiz.
15.1-misol. va o‘ngga siljitish operatori bo‘lsin (14.1-misolga qarang), ya’ni

bo‘lsin. ga qo‘shma operatorni toping.
Yechish. va lar Banax fazolari bo‘lganligi uchun operatorning Banax qo‘shmasini topamiz. Ma’lumki, operatorning Banax qo‘shmasi barcha va lar uchun
(15.6)
tenglikni qanoatlantiruvchi va fazoni fazoga akslantiruvchi operatordan iborat. Bizga ma’lumki, boshqacha aytganda har qanday uchun shunday yagona mavjudki,
(15.7)
tenglik barcha lar uchun o‘rinli bo‘ladi. Xuddi shuningdek, shunday mavjudki,
(15.8)
tenglik barcha lar uchun bajariladi. (15.7) va (15.8) tengliklarni hisobga olsak, berilgan operator uchun (15.6) shart quyidagi ko‘rinishga keladi:
. (15.9)
Bu tenglik barcha lar uchun bajariladi. Xususiy holda, elementlar uchun (15.9) tenglik

tengliklarga aylanadi. Shunday qilib, operator

formula bilan aniqlanar ekan.
15.1-teoremaga ko‘ra, ekanligidan ekanligi kelib chiqadi va tenglik bajariladi. Qaralayotgan misolda 15.1-teoremaning o‘rinli ekanligini tekshirib ko‘ramiz. operatorning chiziqli ekanligi uning aniqlanishidan ko‘rinib turibdi. tenglik bajarilishini ko‘rsatamiz. Haqiqatan ham,

15.2. fazoda ko‘paytirish operatorini, ya’ni (11.9-misolga qarang)
(15.10)
operatorni qaraymiz. Unga qo‘shma operatorni toping.