|
O`zbekiston respublikasi oliy va o‘rta maxsus ta’lim vazirligi
|
| bet | 6/11 | | Sana | 03.06.2022 | | Hajmi | 0.86 Mb. | | #22857 |
Bog'liq Unitar va Yevklid fazolarda chiziqli operatorlar 3.02 чизиқли алгебра ва аналатик геометрия, SO\'ROVNOMA, tadbir-informatikadan-2, Avtotransport korxonalarida moddiy texnik ta\'minoti, Bozor iqtisodiyotiga o’tish davri va uning O’zbеkistondagi xusus, mater, Oraliq nazorat savollari, Big Data Analytics - Unit 1 (1), sd54, 1 ТОПШИРИҚ, Bosim Amaliy M.Xusanov, ASLBEK KIBER, 113-119, 4-O\'lchash ko\'priklari va kompensatorlar НУА ва А1-t e o r e m a. CHekli o`lchamli unitar L fazoda chiziqli f operatortng o`z-o`ziga qo`shma bo`lishi uchun uning normal va barcha xos sonlari xaqiqiy bo`lishi zarur va kifoya.
I s b o t. CHiziqli f operator o`z-o`ziga qo`shma bo`lsin. U xolda ya`ni u normal. Normalligi sababli L da uning xos vektorlaridan iborat ortonormal bazis bor. Bu bazisda f va operatorlarning matritsalari
ko`rinishga ega. Ushbu munosabatdan , ya`ni tenglik kelib chiqadi. Demak lar xaqiqiy. Aksincha, f ning normalligi va barcha larning xaqiqiyligidan va demak kelib chiqadi.
2-t e o r e m a. Unitar L fazoda xar qanday chiziqli f operator ko`rinshida ifodalanishi mumkin, bu erda o`z-o`ziga qo`shma operatorlar.
Is b ot. Ushbu belgilashlar kiritib, munosabatlarni olamiz.
CHiziqli f operatorning o`z-o`ziga qo`shmaligi bichiziqli formaning ermitligiga teng kuchli: agar bo`lsa, u xolda aksincha, dan ya`ni kelib chiqadi.
Agar chiziqli f operator uchun uning xos vektorlaridan iborat bazis bo`lsa, u xodda
SHunday qilib, bu bazis uchun kanonik. Ikkinchi tomondan chekli o`lchamli unitar L fazodagi xar qanday bichiziqli forma ko`rinishda ifodalanishi mumkin, bu erda chiziqli f operatorning matritsasi formaning matritsasiga transportirlangan. Bu muloxazalar bilan quyidagi tasdiq isbotlaydi.
3-teorema. CHekli o`lchamli unitar L fazoda xar qanday ermit bichiziqli forma uchun ortonormal kanonik bazis mavjud.
Natija. Agar chekli o`lchamli kompleks L fazoda ikkita ermit va formalar berilgan va ularning biri musbat bo`lsa, u xolda ular L da umumiy kanonik bazisga ega.
I s b o t. Aniqlik uchun musbat bo`lsin. Bu xolda L da tenglik yordamida skalyar ko`paytma kiritamiz. 3-teoremaga asosan L da uchun ortonormal kanonik bazis mavjud. Bu bazis uchun xam kanonik, chunki
Agar chekli o`lchamli unitar L fazodagi chiziqli f operator uchun tenglikni qanoatlantiruvchi maxsusmas chiziqli g operator mavjud bo`lsa, f musbat deb ataladi. Ravshanki, f xam maxsusmas va xar qanday uchun
|
| |
