Ma’ruza. Ortogonal to‘ldiruvchi va ortogonal proeksiyalar


Download 218.09 Kb.
bet6/8
Sana14.04.2023
Hajmi218.09 Kb.
#1357571
1   2   3   4   5   6   7   8
Bog'liq
23 mavzu

Teorema. Agar V fazo ℱ maydon ustidagi vektor fazo bo’lsa, u holda End V algebra ℱ maydon ustida chiziqli algebra tashkil qiladi.
Isboti. EndV algebra chiziqli algebra shartlarini to’liq bajaradi.
Haqiqatan,

  1. ω λ λ F,  > algebra ℱ maydon ustida vektor fazo tashkil qiladi;

  2. (ϕ ψ )λ ϕλ ψλ;

  1. χ (ϕ ψ )  χϕ χψ ;

  2. λ(ϕψ )  (λϕ )ψ ϕ (λψ ), ϕ,ψ , χ

Hom (V,V), va




λ F .

Ta’rif. U va
U' algebralar ℱ maydon ustidagi chiziqli algebralar va

φ:U U'
1.
2.
3.
akslantirish biektiv akslantirish bo’lib, quyidagi shartlar bajarilsa:


ϕ (a b )  ϕ (a )  ϕ (b );
ϕ (λa )  λϕ(a );


ϕ (a b )  ϕ (a ) ϕ (b ), a , b V  λ F

u holda φ akslantirishga izomorfizm U va U' chiziqli algebralarga esa izomorf

chiziqli algebralar deyiladi va u U  U'
ko’rinishda belgilanadi.

Misol. S = < C, +,
{ωλ
λ R},  > - chiziqli algebra,

a b

G b a a, b R ;
G  G, ,{ωλ
λ R},  
- chiziqli algebra bilan izomorf,


a b



ya’ni S  G bo’ladi (bunda
ϕ : a bi
b
 ).
a

Agar ℱ maydon ustidagi matritsalar algebrasini
М (n, F )  F nxn , ,{ω λ λ F},   ko’rinishda belgilasak, u holda quyidagi teorema o’rinli bo’ladi:

Teorema. V fazo ℱ maydon ustidagi vektor fazo bo’lib,
е1, е2 ,..., еn

uning bazisi, M(φ) matritsa V vektor fazoda aniqlangan φ chiziqli operatorning

е1, е2 ,..., еn
bazisga nisbatan matritsasi va
ϕ М (ϕ )
akslantirish mavjud bo’lsa,

u holda End V  M(n, ℱ) munosabat o’rinli bo’ladi.
Isboti. Bizga ma’lumki, End V  M(n, F) akslantirish biektiv akslantirish
bo’ladi.
1. M (ϕ ψ )  M (ϕ )  M (ψ ).

Isboti.
x V
ϕ (x)  α1e1 ...  αn en ,
ψ (x)  β1e1 ... βnen

(ϕ ψ )(x)  ϕ (x) ψ ( x)  (α1 β1 )e1 ... (αn βn )en





α1 β1

α



1
 
β

1
 





α

β
M ((ϕ ψ )(x)           M (ϕ (x))  M (ψ (x))  M ((ϕ ψ )(x))  M (ϕ(x ))  M (ψ (x))


α

  • β
 
n n
 
n
 
n

M (ϕ ψ )M (x)  [M (ϕ )  M (ψ )] M (x). M (ϕ ψ )  M (ϕ )  M (ψ ).

2. M (λϕ)  λM (ϕ ).


Isboti. ( (λϕ)(x)  λα1e1 ... λαnen ,


1
λα
 

α



1
 




α
M ((λϕ )(x))     λ  λM (ϕ (x)) ,




n


λα
 
n

M (λϕ)M (x)  (λM (ϕ )) M (x). M (λϕ )  λM (ϕ ) .


3. M()  M()M() (,   Hom(V, V),   F

Isboti.
M ((ϕψ )(x))  M (ϕ (ψ (x)))  M (ϕ )
M (ψ (x))  M (ϕ ) M (ψ )
M (x).`

M (ϕψ ) M (x)  [M (ϕ )M (ψ )] M (x)  M (ϕψ )  M (ϕ )M (ψ )
Demak, ta’rifga asosan End V  M(n, F) bo’ladi.


Takrorlash uchun savollar:





  1. Chiziqli operatorlar algebrasi deb nimaga aytiladi?

  2. Matritsalar algebrasi deb nimaga aytiladi?

  3. Algebralar izomorfizmi haqida teoramani bayon qiling.

15-ma’ruza. Xos vektorlar va xos qiymatlar. Xarakteristik tenglama.




Reja:

  1. Xos qiymatlar.

  2. Xos vektorlar.

  3. Xarakteristik tenglama.

  4. Xarakteristik ko’phad.

  5. Xarakteristik ko’phadning yagonaligi.

Adabiyotlar:


  1. Nazarov R.N., Toshpo’latov B.T., Do’sumbetov A.D. Algebra va sonlar nazariyasi. I qism. T.: O’qituvchi. 1993 y. (263-266 betlar).

  2. Kulikov L.Ya. Algebra i teoriya chisel. M.: Vissh. shk. 1979 g. (str. 307- 309).

Kompleks sonlar maydoni ustida qurilgan Vn vektor fazo va φ:Vn


 Vn chiziqli operator berilgan bo’lsin.
Ta’rif. Ushbu

ϕ (х)  λх(x Vn ,
x  0, λ F )
(1)

tenglikni qanoatlantiruvchi α songa φ chiziqli operatorning xos qiymati, х
vektor esa λ xos qiymatga mos keluvchi xos vektori deyiladi.
Teorema. Kompleks sonlar maydoni ustida qurilgan Vn vektor fazoning har bir φ chiziqli operatori kamida bitta xos vektorga ega.
Isboti. Vn vektor fazoning

е1 , е2 , ..., еn
(2)

bazisi berilgan bo’lib,
х Vn
vektorning bu bazisdagi koordinatasi
α1 ,α 2 ,...α n

bo’lsin, ya’ni
x α1e1 ,... αnen
tenglik o’rinli bo’lsin.
ϕ (e1 ),ϕ (e2 ),...,ϕ (en )

vektorlar (2) bazis orqali chiziqli ifodalanadi, ya’ni
ϕ (e1 ) a11e1 a21e2 ... an1en ,






2
ϕ (e )  a e a e ... a e ,
12 1 22 2 n2 n

(3)


bo’ladi.
                 
ϕ (en )  a1n e1 a2ne2 ... annen



a11
a12 ... a1n



A a21
a22 ... a2n ,

      


an1
an 2

... a



nn

matritsa φ chiziqli operatorning (2) bazisdagi matritsasi. Endi φ( х ) vektorning

  1. bazisdagi koordinatalarini aniqlaymiz.

ϕ (х)  α1ϕ (е1 )  α 2ϕ (е2 ) ... αnϕ (еn )  α1 (a11e1 ... an1en )  ...  αn (a1ne1 ... annen ) 

 (1a11  ...  n a1n )e1  ...  (1an1  ...  n ann )en .

    1. va (4) ga asosan

(4)

λх  (λα1 )е1  ...  (λαn )en  (α1a11  ...  αn a1n )e1  ...  (α1an1  ...  αn ann )en ,



a111  ...  a1n n  1,


a
211
 ...  a2 n n
  ,






2
             

a




n1 1
 ...  a




nn n
  ,


n


(a11 λ )α1 ... a1nαn 0,


a
21α1
 (a22

  • λ)α 2

 ...  a
2nα n
 0,
(5)



                   
an1α1 an2α 2  ...  (ann λ)αn  0
kelib chiqadi.

(5) sistema
α1 ,α 2 ,...α n
noma’lumli bir jinsli chiziqli tenglamalar

sistemasi. Bu sistema nolmas echimga ega bo’lishi uchun sistema determinanti nolga teng bo’lishi kerak, ya’ni

(a11 λ)
a12
...
a1n
a11
a12
...
a1n
1 0 ... 0

a21
(a22 λ)
...
a2n
 0,
a21
a22
...
a2n
λ 0 1 ... 0 0

         
       
    

an1
an2
... (ann λ)
an1
an2
...
ann
0 0 ... 1



A λE  0 (6)
hosil bo’ladi. (6) ga φ chiziqli operatorning xarakteristik tenglamasi deb yuritiladi. (6) ning chap qismidagi determinant λ ga nisbatan n-darajali ko’phadni bildiradi. Bu ko’phadga φ chiziqli operatorning xarakteristik ko’phadi deb yuritiladi. Bizga ma’lumki, n-darajali ko’phad kompleks sonlar

maydoni ustida n ta ildizga ega bo’ladi. Bu ildizlar
λ1 , λ2 ,
...λn
bo’lib, ular φ

chiziqli operatorning xos qiymatlari bo’ladi. □ar bir xos sonlarni (5) sistemaga qo’yib, uning nolmas echimlaridan tuzilgan vektorlar xos sonlarga mos xos vektorlar bo’ladi.

Agar
( А λi E)
matritsaning rangi
ri bo’lsa, φ chiziqli operatorning har

biri
λi xos songa mos keluvchi xos vektorlar soni (n- ri ) ga teng bo’ladi.
Teorema. φ chiziqli operatorning turli bazislaridagi xarakteristik

ko’phadlari teng bo’ladi.

Download 218.09 Kb.

Do'stlaringiz bilan baham:
1   2   3   4   5   6   7   8




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2024
ma'muriyatiga murojaat qiling