ВУЗ:
Составители:
Рубрика:
дение.
Теорема 3.1.5. Пусть даны подпространства W
1
, . . . , W
m
некото-
рого векторного пространства, и для каждого i, 1 ≤ i ≤ m, дан
базис {w
i,1
, . . . , w
i,k
i
} подпространства W
i
. Тогда, если сумма W =
W
1
+ · · · + W
m
является прямой суммой, то множество {w
i,j
|1 ≤ i ≤
m, 1 ≤ j ≤ k
i
} является базисом пространства W.
Обратно, пусть дан базис некоторого векторного пространства
W , представленный в виде {w
i,j
|1 ≤ i ≤ m, 1 ≤ j ≤ k
i
}. Для каждого
i, 1 ≤ i ≤ m, определим подпространство W
i
= ⟨w
i,1
, . . . , w
i,k
i
⟩. Тогда
W = W
1
⊕ · · · ⊕ W
m
.
Доказательство. Проверим свойства базиса для {w
i,j
|1 ≤ i ≤
m, 1 ≤ j ≤ k
i
}. Каждый вектор w ∈ W
1
⊕ · · · ⊕ W
m
можно предста-
вить в виде w = w
1
+ · · · + w
m
, где w
i
∈ W
i
для всех i. Так как даны
базисы пространств W
i
, то каждый такой w
i
можно записать в виде
w
i
=
k
i
j=1
α
i,j
w
i,j
, где α
i,j
∈ K. Тогда для w получаем запись:
w =
m
i=1
k
i
j=1
α
i,j
w
i,j
,
и это означает, что выполнено первое свойство базиса: каждый вектор
можно представить в виде линейной кобинации его элементов. Теперь
покажем линейную независимость элементов предполагаемого базиса.
Пусть
m
i=1
k
i
j=1
α
i,j
w
i,j
= 0.
Вспомним, что векторы
k
i
j=1
α
i,j
w
i,j
принадлежат пространствам W
i
(как
линейные комбинации базисных элементов этих подпространств). Тогда
по определению прямой суммы подпространств каждая такой вектор
56
дение. Теорема 3.1.5. Пусть даны подпространства W1 , . . . , Wm некото- рого векторного пространства, и для каждого i, 1 ≤ i ≤ m, дан базис {wi,1 , . . . , wi,ki } подпространства Wi . Тогда, если сумма W = W1 + · · · + Wm является прямой суммой, то множество {wi,j |1 ≤ i ≤ m, 1 ≤ j ≤ ki } является базисом пространства W . Обратно, пусть дан базис некоторого векторного пространства W , представленный в виде {wi,j |1 ≤ i ≤ m, 1 ≤ j ≤ ki }. Для каждого i, 1 ≤ i ≤ m, определим подпространство Wi = ⟨wi,1 , . . . , wi,ki ⟩. Тогда W = W1 ⊕ · · · ⊕ Wm . Доказательство. Проверим свойства базиса для {wi,j |1 ≤ i ≤ m, 1 ≤ j ≤ ki }. Каждый вектор w ∈ W1 ⊕ · · · ⊕ Wm можно предста- вить в виде w = w1 + · · · + wm , где wi ∈ Wi для всех i. Так как даны базисы пространств Wi , то каждый такой wi можно записать в виде ∑ ki wi = αi,j wi,j , где αi,j ∈ K. Тогда для w получаем запись: j=1 ∑ m ∑ ki w= αi,j wi,j , i=1 j=1 и это означает, что выполнено первое свойство базиса: каждый вектор можно представить в виде линейной кобинации его элементов. Теперь покажем линейную независимость элементов предполагаемого базиса. Пусть ∑ m ∑ ki αi,j wi,j = 0. i=1 j=1 ∑ ki Вспомним, что векторы αi,j wi,j принадлежат пространствам Wi (как j=1 линейные комбинации базисных элементов этих подпространств). Тогда по определению прямой суммы подпространств каждая такой вектор 56
Страницы
- « первая
- ‹ предыдущая
- …
- 54
- 55
- 56
- 57
- 58
- …
- следующая ›
- последняя »