Matematika-informatika fakulteti

Evklid fazosidagi o`z-o`ziga qo`shma chiziqli operatorlar.

1-ta`rif. L(V,V ) dagi A* operator A chiziqli operatorga qo`shma deyiladi, agarda V dagi ixtiyoriy x va y lar uchun (1) munosabat bajarilsa. Ko`rish qiyin emaski, А chiziqli operatorga qo`shma operator ham chiziqli operator bo`ladi.

1- teorema. Har qanday А chiziqli operator yagona qo`shma operatorga ega. Qo`shma operatorlar quyidagi xossalarga ega:

1. 
   
   
2. 
   
   
3. 
   
   
4. 
   
   
5. 
   
   

2-ta’rif. L(V,V ) dagi A chiziqli operator o`z- o`ziga qo`shma operator deyiladi, agarda A*= A bo`lsa.

Teorema. A -V evklid fazosidagi chiziqli operator bo`lsin, u holda ifodalanish o`rinli, bunda va lar o`z-o`ziga qo`shma bo`lgan operatorlar, ular mos ravishda A operatorning haqiqiy va mavhum qismi deyiladi. A va B operatorlar kommutasiyalanadigan operatorlar deyiladi, agarda AB= BA bo`lsa.

Teorema. A va B o`z-o`ziga qo`shma bo`lgan operatorlarning AB ko`paytmasi o`z-o`ziga qo`shma operator bo`lishi uchun A va B operatorlar kommutasiyalanadigan bo`lishi zarur va etarli.

Teorema. Agar А o`z-o`ziga qo`shma operator bo`lsa, u holda ixtiyoriy uchun (Ax, x)- skalyar ko`paytma haqiqiy son bo`ladi.

Teorema. O`z-o`ziga qo`shma operatorning xos qiymatlari haqiqiy sonlar bo`ladi.

Teorema. Agar А-operator o`z-o`ziga qo`shma operator bo`lsa, u holda har xil xos qiymatlariga mos xos vektorlari o`zari ortogonal bo`ladi.

Teorema.Chekli o’lchamli unitar L fazoda chiziqli f peratorning o’z-o’ziga qo’shma bo’lishi uchun uning normal va barcha xos sonlari haqiqiy bo’lishi zarur va yetarli.

Isboti. Chiziqli f operator o’z-o’ziga qo’shma bo’lsin. U holda , ya’ni normal. Normalligi sababli L da uning xos vektorlaridan iborat ortonormal bazisi bor. Bu bazisda va operatorlarning matrisalari

Ko’rinishga ega. Ushbu munosabatni ya’ni , tenglik kelib chiqadi. Demak lar haqiqiy. Aksincha, ning normalligi va barcha larning haqiqiyligidan va demak kelib chiqadi.

Teorema. Unitar L fazoda har qanday chiziqli operator ko’rinishda ifodalanishi mumkin, bu yerda g, h o’-o’ziga qo’shma opeatorlar.

Isbot. Ushbu , belgilashlar kiritib, , , munosabatlarni olamiz.

Chiziqli operatorning o’z-o’ziga qo’shmaligi bichiziqli formaning ermitligiga teng kuchli: agar bo’lsa, u holda , aksincha, dan ya’ni kelib chiqadi.

Agar chiziqli operator uchun - uning xos vektorlaridan iborat basis bo’lsa, u holda

Shunday qilib, bu bazis uchun kanonik. Ikkinchi tomondan chekli o’lchamli unitar L fazosidagi har qanday bichiziqli forma ko’rinishida ifodalanishi mumkin, bu yerda chiziqli operatorning matrisasi formaning matrisasiga transportirlangan. Bu mulohozalar bilan quyidagi tasdiq isbotlandi.

Teorema. Chekli o’lchamli unitar L fazoda har qanday ermit bichiziqli forma uchun ortonormal kanonik basis mavjud.

Natija. Agar chekli o’lchamli kompleks L fazoda ikkita ermit va formalar berilgan va ularning biri musbat bo’lsa, u holda ular L da umumiy kanonik bazisga ega.

Isbot. Aniqlik uchun musbat bo’lsin. Bu holda L da tenglik yordamida skalyar ko’paytma kiritamiz. Yuqoridagi teoremaga ko’ra L da uchun ortonormal kanonik basis mavjud. Bu basis uchun ham kanonik, chunki