ВУЗ:
Составители:
Рубрика:
x ∈ X
x = y
1
+ z
1
, y
1
∈ V, z
1
∈ W.
(y − y
1
) + (z − z
1
) = θ y − y
1
= z
1
− z.
y −y
1
∈ V z
1
−z ∈ W V ∩W =
{θ} y = y
1
z = z
1
2
X X = V u W
V ∩ W = {θ}
dim X = dim V + dim W.
V V
1
, . . . , V
n
X x ∈ V
x = x
1
+ ··· + x
n
, x
1
∈ V
1
, . . . , x
n
∈ V
n
,
V V
1
, . . . , V
n
V = V
1
u ··· u V
n
. (2)
V = X R
n
n n
R
n
V
1
, . . . , V
n
θ z ∈ V
k
∩ V
j
z = z + θ, z ∈ V
k
, θ ∈ V
j
,
z = θ + z, θ ∈ V
k
, z ∈ V
j
,
z
z = z
1
+ ··· + z
n
, z
1
∈ V
1
, . . . , z
n
∈ V
n
,
z = θ
V
0
V
1
H V
0
⊂ V
1
W
0
= {z ∈ V
1
|(y, z) = 0 y ∈ V
0
}
V
0
V
1
Äîêàçàòåëüñòâî. Ïðåäïîëîæèì, ÷òî äëÿ íåêîòîðîãî ýëåìåíòà x ∈ X êðîìå (1) èìååòñÿ åùå îäíî ðàçëîæåíèå x = y1 + z1 , y1 ∈ V, z1 ∈ W. Òîãäà (y − y1 ) + (z − z1 ) = θ èëè y − y1 = z1 − z. Îòñþäà, çàìå÷àÿ, ÷òî y − y1 ∈ V , z1 − z ∈ W è ïîëüçóÿñü óñëîâèåì V ∩ W = {θ}, ïîëó÷àåì y = y1 è z = z1 . 2 Çàìå÷àíèå 3.  êóðñå ëèíåéíîé àëãåáðû äëÿ ñëó÷àÿ, êîãäà ïðîñòðàíñòâî X êîíå÷íîìåðíî, äîêàçûâàåòñÿ, ÷òî ðàçëîæåíèå X = V u W èìååò ìåñòî, åñëè êðîìå óñëîâèÿ V ∩ W = {θ} âûïîëíåíî ðàâåíñòâî dim X = dim V + dim W. Ïóñòü V , V1 , . . . , Vn íåíóëåâûå ïîäïðîñòðàíñòâà ëèíåéíîãî ïðîñòðàíñòâà X . Åñëè êàæäûé ýëåìåíò x ∈ V îäíîçíà÷íî ïðåäñòàâèì â âèäå x = x1 + · · · + xn , x1 ∈ V1 , . . . , xn ∈ Vn , òî ãîâîðÿò, ÷òî V ÿâëÿåòñÿ ïðÿìîé ñóììîé ïîäïðîñòðàíñòâ V1 , . . . , Vn è ïè- øóò V = V1 u · · · u Vn . (2)  ÷àñòíîñòè, çäåñü ìîæåò áûòü V = X . Íàïðèìåð, ïðîñòðàíñòâî Rn åñòü ïðÿ- ìàÿ ñóììà n îäíîìåðíûõ ïîäïðîñòðàíñòâ, îïðåäåëåííûõ ëþáûìè n ëèíåéíî íåçàâèñèìûìè âåêòîðàìè. Êðîìå òîãî, ïðîñòðàíñòâî Rn ìîæíî ïðåäñòàâèòü ðàçíûìè ñïîñîáàìè â ôîðìå ïðÿìîé ñóììû è íåîäíîìåðíûõ ïîäïðîñòðàíñòâ. Îòìåòèì, ÷òî â ðàçëîæåíèè (2) âñÿêèå äâà èç ïîäïðîñòðàíñòâ V1 , . . . , Vn èìåþò îáùèì îäèí ëèøü ýëåìåíò θ. Äåéñòâèòåëüíî, åñëè z ∈ Vk ∩ Vj , òî èç ðàçëîæåíèé z = z + θ, z ∈ Vk , θ ∈ Vj , z = θ + z, θ ∈ Vk , z ∈ Vj , â ñèëó åäèíñòâåííîñòè ïðåäñòàâëåíèÿ z â âèäå ñóììû z = z1 + · · · + zn , z1 ∈ V1 , . . . , zn ∈ Vn , ïîëó÷àåì z = θ. Ïóñòü V0 è V1 äâà ðàçëè÷íûõ ïîäïðîñòðàíñòâà ãèëüáåðòîâà ïðîñòðàíñòâà H , ïðè÷åì V0 ⊂ V1 . Òîãäà ìíîæåñòâî W0 = {z ∈ V1 | (y, z) = 0 äëÿ âñåõ y ∈ V0 } íàçûâàåòñÿ îðòîãîíàëüíûì äîïîëíåíèåì ïîäïðîñòðàíñòâà V0 â V1 . 18
Страницы
- « первая
- ‹ предыдущая
- …
- 16
- 17
- 18
- 19
- 20
- …
- следующая ›
- последняя »