|
Примеры.Date: 2015-10-07; view: 396. ИНВАРИАНТНЫЕ ПОДПРОСТРАНСТВА Лекция 27. Теорема 6. Для линейного оператора j :Ln ® Ln эквивалентны следующие 10 условий:
Доказательство. Очевидно, 1Û2 и 3Û4Û6 из определения, 2Û3 из тео- ремы 5, 1Û5 из теоремы 3, 5&6Û7 из определения. Так как rgj = rg [j], а detj = det [j], то из теории определителей 3Û10, а из теории матриц 10Û9. Эквивалентность 9Û8 следует из того, что [j]-1= [j -1]. Либо можно доказать эквивалентность 7Û8 следующим образом: 8Þ7 – из определения, а если имеет место 7, то, очевидно, отображение j -1$, и нам требуется лишь доказать его линейность. Пусть j -1х = u, j -1y = v Þ j u = х, j v = y Þ j(a u+b v) =a х +b yÞ j -1(a х +b y) = a u+b v = aj -1х + bj -1y Þ j -1 – линейно. ÿ Определение. Линейный оператор j называется невырожденным, если выполняется любое из десяти эквивалентных условий из Теоремы 6. В противном случае оператор называется вырожденным.
Определение. Для линейного оператора j :L ® L подпространство V Í L называется инвариантным относительно j (или j-инвариантным), если jV Í V ("хÎV j хÎV). 1. {0} и L – инвариантные подпространства для любого линейного оператора j :L ® L. Эти подпространства называются тривиальными. 2. Пусть pr<i,j>: Е3® Е3- ортогональное проектирование на плоскость < i , j >. По определению pr<i,j>(xi+ yj+ zk)= xi+ yj. Тогда V1 = < i, j > и V2 = < k > - инвариантные подпространства, и Е3= V1 Å V2. 3. Пусть j : Е3® Е3 – поворот относительно оси < k >. Тогда V1 = < i , j > и V2 = < k > - инвариантные подпространства, и Е3= V1 Å V2. 4. Рассмотрим Pk[x] – инвариантные подпространства, но Pn[x] нельзя разложить в прямую сумму инвариантных подпространств. Определение. Пусть j : L ® L линейный оператор в линейном пространстве L над полем Р, f(t)= akt k+ ak-1t k-1+…+ +a1t +a0 Î P[t]. Тогда по определению f(j)= akj k+…+a1j+ + a0 id. 16.1. Свойства инвариантных подпространств. Утверждения. 1. Сумма j-инвариантных подпространств j-инвариантна. 2. Пересечение j-инвариантных подпространств j-инва- риантно.
f(t)Î P[t]. Тогда V – инвариантно относительно линейного оператора f(j ).
|