Е.Е. Тыртышников - Матричный анализ и линейная алгебра (1113045), страница 20
Текст из файла (страница 20)
, wk òàêîé, ÷òî W = L(w1 , . . . , wk ), k = dim W .ÏÐÈÌÅÐ.Ïóñòü ïîäïðîñòðàíñòâà W1 , W2 ⊂ R5 îïðåäåëÿþòñÿ ñëåäóþùèì îáðàçîì:• W1 ìíîæåñòâî âñåõ ðåøåíèé îäíîðîäíîé ñèñòåìûx1 + x2 + x3 + x4 + x5 = 0,x4 + x5 = 0;• W2 ìíîæåñòâî âñåõ ðåøåíèé îäíîðîäíîé ñèñòåìû x1 + x2 + x3 + x4 + x5 = 0,2x3 + x4 + 2x5 = 0,x5 = 0.Òðåáóåòñÿ âû÷èñëèòü ïîäïðîñòðàíñòâà W1 , W2 , W1 + W2 è W1Îáîçíà÷èì ìàòðèöû êîýôôèöèåíòîâ11 1 1 1 1A=,B= 00 0 0 1 10TW2 .äàííûõ ñèñòåì ÷åðåç A è B . Òîãäà1 1 1 10 2 1 2 ;W1 = kerA, W2 = kerB.0 0 0 1Ìàòðèöû A è B èìåþò âåðõíþþ ñòóïåí÷àòóþ ôîðìó ñ ÷èñëîì ñòóïåíåíåé 2 è 3, ñîîòâåòñòââåííî. ÏîýòîìórankA = 2,rankB = 3⇒dim W1 = 5 − 2 = 3,dim W2 = 5 − 3 = 2.(Ðàçìåðíîñòè îïðåäåëÿþòñÿ òåîðåìîé î ñòðîåíèè ìíîæåñòâà ðåøåíèé îäíîðîäíîé ñèñòåìû ëèíåéíûõ àëãåáðàè÷åñêèõ óðàâíåíèé.)Å.
Å. Òûðòûøíèêîâ85Äàëåå, â ìàòðèöå A áàçèñíûìè ÿâëÿþòñÿ, íàïðèìåð, ñòîëáöû ñ íîìåðàìè 1, 4. Ïîýòîìó â êà÷åñòâå áàçèñíûõ ìîæíî âûáðàòü íåèçâåñòíûå x1 , x4 ; îñòàëüíûå íåèçâåñòíûåx2 , x3 , x5 áóäóò ñâîáîäíûìè:x2 = 1, x3 = 0, x5 = 0x2 = 0, x3 = 1, x5 = 0x2 = 0, x3 = 0, x5 = 1⇒⇒⇒x1 = −1, x4 = 0;x1 = −1, x4 = 0;x1 = 0, x4 = −1.Òàêèì îáðàçîì,W1 = L(p1 , p2 , p3 ),ãäåp1 = −11000 , p2 = −10100 , p3 = 000−11. ìàòðèöå B áàçèñíûìè ÿâëÿþòñÿ, íàïðèìåð, ñòîëáöû ñ íîìåðàìè 1, 3, 5. Íåèçâåñòíûå x1 , x3 , x5 áàçèñíûå, à íåèçâåñòíûå x2 , x4 ñâîáîäíûå:x2 = 1, x4 = 0x2 = 0, x4 = 1⇒⇒x1 = −1, x3 = 0, x5 = 0;x1 = −1/2, x3 = −1/2, x5 = 0.Òàêèì îáðàçîì,W2 = L(q1 , q2 ),ãäåq1 = −11000 , q3 = −1/20−1/210.Äàëåå, W1 + W2 = L(p1 , p2 , p3 , q1 , q2 ) = im C , ãäå−1 −10 −1 −1/2 10010 .0100−1/2C = [p1 , p2 , p3 , q1 , q2 ] = 00 −101 00100Ïðîñòîå âû÷èñëåíèå ïîêàçûâàåò, ÷òî rank C = 4, à áàçèñíûìè ÿâëÿþòñÿ, íàïðèìåð,ñòîëáöû ñ íîìåðàìè 1, 2, 3, 5.
Ïîýòîìó âåêòîðû p1 , p2 , p3 , q2 ëèíåéíî íåçàâèñèìû èW1 + W2 = L(p1 , p2 , p3 , q2 ),dim(W1 + W2 ) = 4.TÍàêîíåö, â ñèëó òåîðåìû Ãðàññìàíà, dimTW1 W2 = 3 + 2 − 4 = 1.  äàííîì ñëó÷àåìîæíî çàìåòèòü, ÷òî p1 = q1 ⇒ p1 ∈ W1 W2 . Ñëåäîâàòåëüíî,\W1 W2 = L(p1 ).Êîíå÷íî, äëÿ ïîèñêàT ïåðåñå÷åíèÿ â äàííîì ñëó÷àå ìîæíî òàêæå çàìåòèòü, ÷òî âåêòîðx ïðèíàäëåæèò W1 W2 òîãäà è òîëüêî òîãäà, êîãäà Ax = 0 è Bx = 0. Òàêèì îáðàçîì, \\A0W1 W2 = ker A ker B = x :x=.B086Ëåêöèÿ 12 îáùåì ñëó÷àå âû÷èñëåíèå ïåðåñå÷åíèÿ ïîäïðîñòðàíñòâ\W = L(a1 , . .
. , ak ) L(b1 , . . . , bm )ñâîäèòñÿ ê ðåøåíèþ îäíîðîäíîé ñèñòåìû ëèíåéíûõ àëãåáðàè÷åñêèõ óðàâíåíèéx 1 a1 + . . . + x k ak + y 1 b 1 + . . . + y m b m = 0(∗)ñ íåèçâåñòíûìè x1 , . . . , xk , y1 , . . . , ym . Èç ðàâåíñòâà (∗) ÿñíî, ÷òîv = x1 a1 + . . . + xk ak = −(y1 b1 + . . . + ym bm ) ∈ W.Ïóñòü r = rank[a1 , . . . , ak , b1 , . . . , bm ]. Òîãäà ôóíäàìåíòàëüíàÿ ñèñòåìà âåêòîðîâ äëÿ (∗)ñîñòîèò èç k + m − r âåêòîðîâ âèäàs11s1 k+m−r ...
... sk 1 , . . . , sk k+m−r ,......ãäå êîìïîíåíòû s1j , . . . , skj ñîîòâåòñòâóþò íåèçâåñòíûì x1 , . . . , xk . Ïîñëå òîãî, êàê ôóíäàìåíòàëüíàÿ ñèñòåìà ïîñòðîåíà, ïîëó÷àåìW = L(v1 , . . . , vk+m−r ),vj = s1j a1 + . . .
+ skj ak ,j = 1, . . . , k + m − r.Ïðåäïîëîæèì, ÷òîdim L(a1 , . . . , ak ) = k,L(b1 , . . . , bm ) = m.Òîãäà â ñèëó òåîðåìû Ãðàññìàíà dim W = k + m − r, ïîýòîìó âåêòîðû v1 , . . . , vk+m−ráóäóò ëèíåéíî íåçàâèñèìû.Ëåêöèÿ 1313.1Ëèíåéíûå ìíîãîîáðàçèÿÏóñòü W ïîäïðîñòðàíñòâî â ëèíåéíîì ïðîñòðàíñòâå V è x íåêîòîðûé âåêòîð èçV . Ìíîæåñòâî âåêòîðîâ âèäàM = {v = x + w : w ∈ W }íàçûâàåòñÿ ëèíåéíûì ìíîãîáðàçèåì â V . Îáîçíà÷åíèå: M = x + W .Ïîäïðîñòðàíñòâî W íàçûâàåòñÿ íàïðàâëÿþùèì ïðîñòðàíñòâîì äëÿ M è îïðåäåëÿåòñÿ ïî ìíîæåñòâó M îäíîçíà÷íî.
 ñàìîì äåëå, ïóñòüM = x1 + W1 = x 2 + W2 .TÎòñþäà x1 − x2 ∈ W1 W2 . Ïóñòü y ∈ W1 . Òîãäà y + (x1 − x2 ) ∈ W2Àíàëîãè÷íî, åñëè y ∈ W2 , òî y + (x2 − x1 ) ∈ W1 ⇒ y ∈ W1 . 2⇒y ∈ W2 .Äëÿ M = x + W âåêòîð x íàçûâàåòñÿ âåêòîðîì ñäâèãà.  êà÷åñòâå âåêòîðà ñäâèãàìîæíî âçÿòü ëþáîé âåêòîð èç M :M =x+W =y+W∀ y ∈ M.Äåéñòâèòåëüíî, ïóñòü y = x + w0 äëÿ êàêîãî-òî w0 ∈ W . Òîãäà, åñëè z = x + w ïðèíåêîòîðîì w ∈ W , òî z = y + (x − y) + w = y + (−w0 + w). Çíà÷èò, x + W ⊂ y + W .Îáðàòíîå âêëþ÷åíèå äîêàçûâàåòñÿ àíàëîãè÷íî.
2Åñëè W êîíå÷íîìåðíîå ïðîñòðàíñòâî, òî åãî ðàçìåðíîñòü íàçûâàåòñÿ òàêæå ðàçìåðíîñòüþ ëèíåéíîãî ìíîãîîáðàçèÿ M = x + W .ÏÐÈÌÅÐ 1. Ìíîæåñòâî ðåøåíèé ñèñòåìû Ax = b ñ m × n-ìàòðèöåé ðàíãà r ïðåäñòàâëÿåò ñîáîé ëèíåéíîå ìíîãîáðàçèå v + W , ãäå v ÷àñòíîå ðåøåíèå äàííîé ñèñòåìûè W = kerA.Ïðÿìàÿ íà ïëîñêîñòè èëè â òðåõìåðíîì ïðîñòðàíñòâå ýòî ëèíåéíîåìíîãîîáðàçèå ðàçìåðíîñòè 1. Ïëîñêîñòü â òðåõìåðíîì ïðîñòðàíñòâå ýòî ëèíåéíîåìíîãîîáðàçèå ðàçìåðíîñòè 2.ÏÐÈÌÅÐ 2.Ïðè èçó÷åíèè ëèíåéíûõ ìíîãîîáðàçèé ýëåìåíòû âåêòîðíîãî ïðîñòðàíñòâà îáû÷íîíàçûâàþò òî÷êàìè.
Ïî àíàëîãèè ñ ãåîìåòðè÷åñêèì ïðîñòðàíñòâîì, ìîæíî äóìàòü îâåêòîðàõ êàê î ðàäèóñ-âåêòîðàõ, îòëîæåííûõ îò îáùåé íà÷àëüíîé òî÷êè, îòîæäåñòâëÿåìîé ñ íóëåâûì âåêòîðîì.Çàäà÷à.Äîêàæèòå, ÷òî äâà ëèíåéíûõ ìíîãîîáðàçèÿïðîñòðàíñòâàìèL1èL2a1 + L1ïåðåñåêàþòñÿ òîãäà è òîëüêî òîãäà, êîãäà87a2 + L2 ñ íàïðàâëÿþùèìèa1 − a2 ∈ L1 + L2 .èïîä-8813.2Ëåêöèÿ 13Àôôèííûå ìíîæåñòâàÏóñòü x 6= y äâå òî÷êè â ëèíåéíîì ïðîñòðàíñòâå V . Ìíîæåñòâî òî÷åê âèäàl = {z = x + t(y − x), t ∈ R}íàçûâàåòñÿ ïðÿìîé, ïðîõîäÿùåé ÷åðåç òî÷êè x è y . Ìíîæåñòâî M ⊂ V íàçûâàåòñÿàôôèííûì ìíîæåñòâîì, åñëè âìåñòå ñ ëþáûìè äâóìÿ òî÷êàìè x 6= y îíî ñîäåðæèò âñåòî÷êè ïðîõîäÿùåé ÷åðåç íèõ ïðÿìîé.Óòâåðæäåíèå.
Ëèíåéíûå ìíîãîîáðàçèÿ è òîëüêî îíè ÿâëÿþòñÿ àôôèííûìè ìíîæåñòâàìè.Äîêàçàòåëüñòâî. Ïóñòü M = x0 + L ëèíåéíîå ìíîãîîáðàçèå ñ íàïðàâëÿþùèìïðîñòðàíñòâîì L è âåêòîðîì ñäâèãà x0 . Ïóñòü x = x0 + u, u ∈ L è y = x0 + v, v ∈ L.Òîãäà v − u ∈ L è ïîýòîìó x + t(y − x) = x0 + t(v − u) ∈ L äëÿ ëþáûõ t.Òåïåðü ïðåäïîëîæèì, ÷òî M àôôèííîå ìíîæåñòâî. Çàôèêñèðóåì òî÷êó x0 ∈ Mè ðàññìîòðèì ìíîæåñòâîL = {z ∈ V : z = x − x0 , x ∈ M }.Äîêàæåì, ÷òî L ëèíåéíîå ïîäïðîñòðàíñòâî.
Âî-ïåðâûõ, åñëè z ∈ L, òîαz = (x0 + α(x − x0 )) − x0 ∈ L.Âî-âòîðûõ, åñëè z1 = x1 − x0 ∈ L è z2 = x2 − x0 ∈ L, òî z1 + z2 = 2z , ãäå z =Îñòàåòñÿ çàìåòèòü, ÷òîx2 − x1x1 + x2= x1 +∈M22x1 + x2− x0 .2⇒ z ∈ L ⇒ 2z ∈ L ⇒ z1 + z2 ∈ L. 2Ëþáîå ìíîæåñòâî òî÷åê S ñîäåðæèòñÿ, êîíå÷íî, â íåêîòîðîì àôôèííîì ìíîæåñòâå(íàïðèìåð, â V ). Ïóñòü M ïåðåñå÷åíèå âñåõ òàêèõ àôôèííûõ ìíîæåñòâ. ßñíî, ÷òîM áóäåò òîæå àôôèííûì ìíîæåñòâîì, ïðè÷åì íàèìåíüøèì àôôèííûì ìíîæåñòâîì,ñîäåðæàùèì S . Îíî íàçûâàåòñÿ àôôèííîé îáîëî÷êîé ìíîæåñòâà S .13.3ÃèïåðïëîñêîñòèÏóñòü V âåùåñòâåííîå ëèíåéíîå ïðîñòðàíñòâî ðàçìåðíîñòè n.
Ëþáîå ëèíåéíîå ìíîãîîáðàçèå M = v0 + L ⊂ V ðàçìåðíîñòè n − 1 íàçûâàåòñÿ ãèïåðïëîñêîñòüþ.Ïîñêîëüêó V èçîìîðôíî Rn , äàâàéòå ñ÷èòàòü, ÷òî V = Rn , è ðàññìîòðèì óðàâíåíèåîòíîñèòåëüíî âåùåñòâåííûõ íåèçâåñòíûõ x1 , . . . , xnc1 x1 + . . . + cn xn = b.(∗)ãäå õîòÿ áû îäíî èç ÷èñåë ci îòëè÷íî îò íóëÿ.Óòâåðæäåíèå 1. Ìíîæåñòâî âñåõ âåêòîðîâ èç Rn ñ êîîðäèíàòàìè x1 , . . . , xn , óäîâëåòâîðÿþùèìè óðàâíåíèþ (∗), åñòü ãèïåðïëîñêîñòü. Êðîìå òîãî, ëþáàÿ ãèïåðïëîñêîñòü ìîæåò áûòü çàäàíà êàê ìíîæåñòâî ðåøåíèé íåêîòîðîãî óðàâíåíèÿ âèäà (∗).Äîêàçàòåëüñòâî.
Óðàâíåíèå (∗) ýòî ÷àñòíûé ñëó÷àé ñèñòåìû ëèíåéíûõ àëãåáðàè÷åñêèõ óðàâíåíèé, ñîñòîÿùåé èõ îäíîãî óðàâíåíèÿ. Ìàòðèöà êîýôôèöèåíòîâ èìååòÅ. Å. Òûðòûøíèêîâ89ðàçìåðû 1 × n, è, ïîñêîëüêó íå âñå ci ðàâíû íóëþ, åå ðàíã ðàâåí 1. Î÷åâèäíî, ñèñòåìàñîâìåñòíà. Îáîçíà÷èì ÷åðåç v1 , . . . , vn−1 âåêòîðû ôóíäàìåíòàëüíîé ñèñòåìû ðåøåíèé,è ïóñòü v0 ïðîèçâîëüíîå ÷àñòíîå ðåøåíèå. Òîãäà ìíîæåñòâî ðåøåíèé ñèñòåìû (∗)èìååò âèä v0 + L(v1 , .
. . , vn−1 ) è ïîýòîìó ÿâëÿåòñÿ ãèïåðïëîñêîñòüþ.Ïóñòü M = v0 +L(v1 , . . . , vn−1 ) ïðîèçâîëüíàÿ ãèïåðïëîñêîñòü. Îáðàçóåì n×(n−1)ìàòðèöó B = [v1 , . . . , vn−1 ] è ðàññìîòðèì óðàâíåíèå c1B > . . . = 0.cnÐàíã ìàòðèöû êîýôôèöèåíòîâ ðàâåí n − 1 ⇒ ñèñòåìà èìååò íåòðèâèàëüíîå ðåøåíèåc = [c1 , . . . , cn ]> . Î÷åâèäíî,M = {x = v0 + Bz,z ∈ Rn−1 }.Óìíîæèâ îáå ÷àñòè ðàâåíñòâà x = v0 + Bz ñëåâà íà ìàòðèöó-ñòðîêó c> , íàõîäèìc> x = c> v0 + (c> B)z = c> v0⇒c1 x1 + . . . + cn xn = b, b = c> v0 .Îñòàåòñÿ çàìåòèòü, ÷òî v0 åñòü ÷àñòíîå ðåøåíèå ïîëó÷åííîé ñèñòåìû, à ñòîëáöû ìàòðèöû B îáðàçóþò ôóíäàìåíòàëüíóþ ñèñòåìó ðåøåíèé äëÿ ñîîòâåòñòâóþùåé îäíîðîäíîéñèñòåìû.
2Óòâåðæäåíèå 2. Ëþáîå ëèíåéíîå ìíîãîîáðàçèå ðàçìåðíîñòè k ÿâëÿåòñÿ ïåðåñå÷åíèåì n − k ãèïåðïëîñêîñòåé.Äîêàçàòåëüñòâî. Ïóñòü äàííîå ìíîãîîáðàçèå èìååò âèä M = v0 + L(v1 , . . . , vk ). Òîãäàx ∈ M åñòü âåêòîð âèäà x = v0 + Bz , ãäå B = [v1 , . . . , vk ], z ∈ Rk . Ðàññìîòðèì óðàâíåíèåB > y = 0.Ïîñêîëüêó rankB = k , ôóíäàìåíòàëüíàÿ ñèñòåìà ðåøåíèé ñîäåðæèò n − k âåêòîðîâ.Îáîçíà÷èì èõ ÷åðåç a1 , .
. . , an−1 . Äàëåå,>>>a>i x = ai v0 + (ai B)z = ai v0 .Ñëåäîâàòåëüíî, x ïðèíàäëåæèò ïåðåñå÷åíèþ ãèïåðïëîñêîñòåéa>i x = bi ,bi = a>i v0 ,1 ≤ i ≤ n − k. òî æå âðåìÿ, ïåðåñå÷åíèå ýòèõ ãèïåðïëîñêîñòåé åñòü ëèíåéíîå ìíîãîîáðàçèå òîé æåðàçìåðíîñòè. 2Çàìåòèì, ÷òî ñèñòåìû ãèïåðïëîñêîñòåé, äàþùèå â ïåðåñå÷åíèè M , ìîæíî âûáðàòüìíîãèìè ñïîñîáàìè. Èç äîêàçàòåëüñòâà âèäíî, ÷òî èõ ñòîëüêî, ñêîëüêî èìååòñÿ ôóíäàìåíòàëüíûõ ñèñòåì ðåøåíèé óðàâíåíèÿ B > y = 0.13.4ÏîëóïðîñòðàíñòâàËþáàÿ ãèïåðïëîñêîñòü π : c1 x1 + . . . + cn xn = b (c> x = b) âûäåëÿåò â Rn äâà ïîäìíîæåñòâà:π− = {x : c> x ≤ b}, π+ = {x : c> x ≥ b},π− ∩ π+ = π.90Ëåêöèÿ 13Ýòè ïîäìíîæåñòâà íàçûâàþòñÿ (îòðèöàòåëüíûì è ïîëîæèòåëüíûì) ïîëóïðîñòðàíñòâàìè.  ñëó÷àå ïëîñêîñòè â òðåõìåðíîì ïðîñòðàíñòâå îíè óæå èçó÷àëèñü âðàçäåëå 7.12.Óòâåðæäåíèå. Òî÷êè x, y ∈/ π ïðèíàäëåæàò ðàçíûì ïîëóïðîñòðàíñòâàì òîãäà èòîëüêî òîãäà, êîãäà x + t(y − x) ∈ π ïðè íåêîòîðîì 0 < t < 1.Äîêàçàòåëüñòâî.