ВУЗ:
Составители:
Рубрика:
Пусть VEnd
k
∈
ϕ
,
U
- инвариантное относительно оператора
ϕ
подпространство в
V
. Определим фактороператор UVEnd
k
/∈
ϕ
по
формуле:
()
UvUv +=
+
ϕ
ϕ
или )()( vv
ϕϕ
= . Если
UvUv +=
+
′
, то
()
UvUv +
′
=+
′
ϕ
ϕ
. Но uvv
+
=
′
, значит uvv
ϕ
ϕ
ϕ
+
=
′
. Поэтому,
()
UvUuvUv +=++=+
′
ϕ
ϕ
ϕ
ϕ
. Это доказывает корректность опреде-
ления фактороператора.
Зафиксируем в подпространстве
U
некоторый базис
m
ee ,...,
1
и до-
полним его до базиса
nm
eee ,...,,...,
1
всего пространства. Тогда
WUV ⊕= , где
m
eeU ,...,
1
=
,
nm
eeW ,...,
1+
=
. Так как UVW /≅ , то
UeeUee
nnmm
+=+=
++
,...,
11
- базис факторпространства. Из определе-
ния фактороператора получаем:
∑∑
+==
===
n
mi
iij
n
i
iijjj
eaeaee
11
ϕϕ
.
Следовательно, матрица
ϕ
A
этого линейного оператора в базисе
n
ee ,...,
1
представляется в виде:
⎥
⎦
⎤
⎢
⎣
⎡
2
31
0 A
AA
, где
1
A
- матрица ограниче-
ния оператора
ϕ
на подпространство
U
,
2
A - матрица факторопера-
тора
ϕ
, действующего в факторпространстве ./UV Используя вид
матрицы
ϕ
A , имеем:
2211
EAEAEA
λλλ
ϕ
−−=− , где
i
E - единичные
матрицы размеров
mm × и
(
)
(
)
mnmn
−
×
−
. Таким образом, характе-
ристический многочлен оператора
ϕ
равен произведению характе-
ристического многочлена ограничения этого оператора на подпро-
странство
U
и характеристического многочлена фактороператора.
8. Корневое подпространство
Пусть ϕ ∈ End k V , U - инвариантное относительно оператора ϕ
подпространство в V . Определим фактороператор ϕ ∈ End k V / U по
формуле: ϕ (v + U ) = ϕv + U или ϕ (v ) = ϕ (v) . Если v ′ + U = v + U , то
ϕ (v ′ + U ) = ϕv ′ + U . Но v′ = v + u , значит ϕv ′ = ϕv + ϕu . Поэтому,
ϕ (v ′ + U ) = ϕv + ϕu + U = ϕv + U . Это доказывает корректность опреде-
ления фактороператора.
Зафиксируем в подпространстве U некоторый базис e1 ,..., em и до-
полним его до базиса e1 ,..., em ,..., en всего пространства. Тогда
V = U ⊕ W , где U = e1 ,..., em , W = em +1 ,..., en . Так как W ≅ V / U , то
em +1 = em +1 + U ,..., en = en + U - базис факторпространства. Из определе-
ния фактороператора получаем:
n n
ϕ e j = ϕ e j = ∑ aij ei = ∑a e ij i .
i =1 i = m +1
Следовательно, матрица Aϕ этого линейного оператора в базисе
⎡A A3 ⎤
e1 ,..., en представляется в виде: ⎢ 1 , где A1 - матрица ограниче-
⎣0 A2 ⎥⎦
ния оператора ϕ на подпространство U , A2 - матрица факторопера-
тора ϕ , действующего в факторпространстве V /U . Используя вид
матрицы Aϕ , имеем: Aϕ − λE = A1 − λE1 A2 − λE 2 , где Ei - единичные
матрицы размеров m × m и (n − m ) × (n − m ) . Таким образом, характе-
ристический многочлен оператора ϕ равен произведению характе-
ристического многочлена ограничения этого оператора на подпро-
странство U и характеристического многочлена фактороператора.
8. Корневое подпространство
Страницы
- « первая
- ‹ предыдущая
- …
- 41
- 42
- 43
- 44
- 45
- …
- следующая ›
- последняя »
