(ft + \ei + ••• + 4-iek-i, et-i) — 0
(fk, ei) + A(ei, ei) = 0;
(fk , e2 ) + A (e2, e2 ) = 0;
(fk, ek-l ) + Лт-l (ek-l, ek-l) = 0
Bulardan,
A _ (fk, ei) A _ (fk, e2) A _ (fk, ek-l)
A , A ,..., A_i ,
(el, ei) (e2, e2) (ek -1, ek-l) qiymatlar kelib chiqadi.
Demak, juft-jufti bilan ortogonal bo‘lgan e, e2, -., e vektorlarni hosil qilamiz. Endi e vektorni noldan farqli ekaniligini ko‘rsatamiz. Hosil qilingan et vektor e, e,-., %_i, / vektorlarning chiziqli kombinatsiyasidan iborat. O‘z navbatida etl vektor e, e2, -., e*_2 va /_j vektorlarning chiziqli kombinatsiyasidan va hokazo, e2 vektor e va / vektorlarning chiziqli kombinatsiyasidan iborat. Bundan esa e quyidagi ko‘rinishda yozilishi mumkinligi kelib chiqadi:
ek = fk +ak-ifk-i +... + aifi.
f2,..., fk vektorlarning chiziqli erkli ekanligidan esa, e ^ 0
ekanligi kelib chiqadi.
Biz e, e, . ., e*4 hamda fk vektorlardan e vektorni qurdik. Xuddi shunday qilib, e, e2,..., e hamda f+1 larga ko‘ra et+1 ni quramiz. Bu jarayonni berilgan f, f2,..., f vektorlargacha davom ettiramiz. Natijada noldan faqli va o‘zaro ortogonal bo‘lgan n ta
e,. ., e vektorlarni, ya’ni ortogonal bazisni hosil qilamiz.
Ortogonal bazislar topishning yuqoridagi teorema isbotida keltirilgan jarayon ortogonallashtirish jarayoni deb ataladi. Bu jarayon ixtiyoriy f, f,..., fn bazis bo‘yicha e, e, . ., e ortogonal bazis yasash usulini beradi.
157
e
Agar e* vektorlarni e'k — —^- vektorlar bilan almashtirsak, u
1 et1
holda uzunligi 1 ga teng bo‘lgan o‘zaro ortogonal vektorlar hosil bo‘lishini ko‘rish qiyin emas. Bu amal bilan ortonormal bazis hosil qilamiz.
1
Misol 24.2. P(x) fazoda (f(x), s(x)) = jf (x)s(x)dx kabi
0
aniqlangan skalyar ko‘paytmaga nisbatan ortogonal bazis quramiz. Ma’lumki, P2(x) fazoda f = 1, f = x, f = x2 bazis tashkil qiladi. Bu bazisdan ortogonallashtirish jarayoni yordamida e, e, e ortogonal bazis hosil qilamiz:
(f, e )
e = f = 1 deb olib e2 = f2 eT ekanligidan e2 vektorni
(e-, e\)
aniqlaymiz.
ill 1
(f, e) = I xdx = —, (e, e) = I dx = l ekanligidan e2 = x — hosil
^ 2 ^ 2 0 2 0 2
bo‘ladi.
Endi e3 = f - (f3, e2) e2 - (f3, "y) e , hamda (e2, e2) (el, ei)
1,1 1
e2) = j x (x - -)dx = — ,
J 2 12
212
12
(e2,e2) = j(x - -)2dx = I1
0 2
(f3, e-) = j x2dx =1
3
1
ekanligidan e3 = x - x hosil bo‘ladi. Demak, P2 (x) fazoda
6
ortogonal bazis e = -, ^ = x -1, e3 = x2 - x +1 ko‘phadlardan
6
iborat.
Yevklid fazosida e, e2,..., e ortonormal bazis berilgan bo‘lsin. Shu bazisdagi koordinatalari bilan berilgan x, y gV vektorlarning skalyar ko‘paytmasi qanday ifodalanishini topaylik.
Aytaylik,
x = Oiei + 4e2 + ... + &n, y = Viei + ^2e2 + ... + Ken bo‘lsin, ya’ni x vektorning koordinatalari E, ,..., £n, hamda y vektorning koordinatalari esa v, v2,..., vn bo‘lsin, u holda
(X, y ) = E1V1 + E2V2 + ... + EnVn
bo‘ladi.
Demak, ortonormal bazisda ikki vektorning skalyar ko‘paytmasi ularning mos koordinatalari ko‘paytmalarining yig‘indisiga teng.
Endi x vektorning ortonormal e, e,..., e bazisdagi koordinatalarini bazis vektorlar bilan qanday bog‘lanishga ega ekanligini ko‘rsatamiz.
x = Ee + Ee +... + E e
~1 1 ~2 2 ^n n
tenglikning ikkala tomonini e ga skalyar ko‘paytirib,
(X, ei) = E1(el, ei) + E2 (e2, ei) + ... + En (en, ei) = E1
ekanini va xuddi shunday,
E2 = (Xe2), E3 = (X, e3^ ..., 4„ = (X,e„) ekanligini topamiz.
Shunday qilib, berilgan vektorning ortonormal bazisdagi koordinatalari shu vektor bilan mos bazis vektorlarining skalyar ko‘paytmalaridan iboratligini hosil qildik.
Ortogonal proyeksiya va ortogonal to‘ldiruvchi. Endi berilgan vektorning qandaydir qism fazoga ortogonal proyeksiyasi va ortogonal to‘ldiruvchisi tushunchalarini kiritamiz.
ta’rif. Bizga V fazoning qandaydir V' qism fazosi berilgan bo‘lsin. Agar x gV vektor V' qism fazoning ixtiyoriy vektoriga ortogonal bo‘lsa, u holda x vektor V' qism fazoga ortogonal deyiladi.
Ravshanki, agar x vektor e, e2,..., e vektorlarga ortogonal bo‘lsa, u holda x bu vektorlarning istalgan chiziqli kombinatsiyasiga
159
ham ortogonal bo‘ladi. Haqiqatdan ham, (x,e) = 0, 1 < i < n ekanligidan (x,^e + 42e2 + ••• + Anen) = 0 bo‘lishi osongina kelib chiqadi. Shuning uchun berilgan x vektor V' qism fazoga ortogonal bo‘lishi uchun uning bazis vektorlarga ortogonal bo‘lishi zarur va yetarli.
Aytaylik, ixtiyoriy z e V vektor berilgan bo‘lib, bu vektor uchun shunday у eV' vektor topilsinki, natijada z - у vektor V' qism fazoga ortogonal bo‘lsin. Ya’ni zeV vektorni z = x + у, xeV, у eV' ko‘rinishida yozilsin, bu yerda x vektor V' qism fazoga ortogonal vektor.
ta’rif. Agar z = x + у, x eV, у eV' ko‘rinishida ifodalangan bo‘lib, x vektor V' qism fazoga ortogonal bo‘lsa, у vektor z vektorning ortogonal proyeksiyasi x esa ortogonal to‘ldiruvchisi deyiladi.
Quyidagi tasdiqda ortogonal proyeksiya va ortogonal to‘ldiruvchi har doim mavjud va yagona ekanligini ko‘rsatamiz. Umuman olganda berilgan vektorning ortogonal proyeksiyasi mavjudligidan ortogonal to‘ldiruvchining mavjudligi ham o‘z-o‘zidan kelib chiqadi.
tasdiq. zeV vektorning chekli o‘lchamli V' qism fazoga ortogonal proyeksiyasi mavjud va yagona.
Isbot. Aytaylik, dimV' = n bo‘lib, V' qism fazonig bazisi e, e2,•••, e bo‘lsin. Ortogonal proyeksiyani у = \eT + X2e2 + ••• + \en ko‘rinishida izlaymiz.
z - у vektor V' qism fazoga ortogonal bo‘lishi uchun, uning bazis vektorlarga ortogonal bo‘lishi zarur va yetarli ekanligidan (z - У, e() = 0, 1 < i < n tenglikka ega bo‘lamiz, ya’ni
(z,e) = (\ex + \e2 + ••• + Xnen,e.), 1 < i < n.
Bu tenglikdan ko‘rinadiki, ortogonal proyeksiyani topish masalasi, biror bazisda A, A,. ., A noma’lumlarga nisdatan quyidagi chiziqli tenglamalar sistemasini yechish masalasiga keltirildi:
Do'stlaringiz bilan baham: |