Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

книги из ГПНТБ / Иваненко В.В. Основы линейной алгебры учеб. пособие

.pdf
Скачиваний:
3
Добавлен:
23.10.2023
Размер:
7.62 Mб
Скачать

первыми тремя уравнениями, а последнее уравнение заданной системы можно отбросить.

Решая систему трех линейных уравнений с тремя неизвест­ ными

X1 *2 -{- 2 х3 = 1,

. хг — 2хг— *3 = 2,

3*і — *2+ 5*з — 3

по правилу Крамера, окончательно получим

10

1

2

•*1 ——у

, х т, — — у ,

 

Для проверки, подставив найденные значения неизвестных в каждое из уравнений заданной системы, видим, что система ре­ шена правильно.

Пример 3. Решить систему уравнений

*1

- * 8+

-*3—

Хі = b

Л'і

*2

ХЪ“b

Хі ~ О»

— *2 -

2л'з +

2 х4 = ---- Q- ■

Р е ш е н и е . Определим ранг матрицы системы и ранг рас­ ширенной матрицы. Для матрицы А имеем

 

1 — 1 1 - 1

0 — 1

1 0

А

1 -

1 - 1

1

0 -

1 - 1 0

 

1 -

1 - 2

2

0 -

1 - 2 0

следовательно, ранг матрицы А равен двум; ранг матрицы В также будет равен двум, так как

1

- 1

1

— 1

1

1

-

1

— 1

1

0

1

-

1

- 2

2

1

— рг-

 

 

 

 

 

2

Ï

о

— 1 - 1 1

3 - 1 — 2 У-

2

1

1

0 '

'

1

0 '

0

0

1

 

0

1

1

1

3

 

1

3

2

2

2

 

2

2

Таким образом, данная система является совместной. Но здесь имеем четыре неизвестных, т. е. г<п, поэтому заданная система имеет бесчисленное множество решении.

Определитель второго порядка

D — ~ 1

1 = 2

- 1

- 1

отличен от нуля и его элементы находятся в первых двух гори­ зонталях и во второй и третьей вертикали матриц А и В. Следо­ вательно, можно ограничиться первыми двумя уравнениями, а в качестве свободных неизвестных можно взять х4 и х4.

Перенося свободные неизвестные в правые части первых двух уравнений, получим систему двух линейных уравнений с двумя неизвестными:

,

J

х2 + х3 =■

1

+ *4>

 

{

ЛГд =

Х і

Х .{ .

Из последней системы, например, по правилу Крамера нахо­ дим

1■— %і А~ х4

1

 

 

 

 

X.

 

 

А'і

 

2

 

 

 

 

 

1

1 Хц -J- х4

 

 

 

 

— 1

- *1 +

Х 4

2х4-j- 1

+

 

 

X 3

D

 

х4

2

 

 

2

 

Для проверки, подставляя найденное решение в каждое из уравнений заданной системы, видим, что система решена пра­ вильно.

Свободным неизвестным х4 и х { можно давать произвольные значения. Напрцімер, полагая Х\ = \ и а4= 2, получим

* і = 1. Х%

5_

х 4 = 2.

 

2

 

Задачи

В задачах № ЮО—104 необходимо исследовать на совместность и решить системы линейных уравнений.

100. (2х4— х3

+ х4= — 1 ,

Отв. Xj Хд -А.,,

х4-{- За', — 7Хд

4х4 =

3,

Л'э — 2х3 — Хі + 1.

Зл42*2 -(- Xç

х4=

2.

 

1 0 І .

-V ) —

2 * 2

- ( -

3 * з

4 * 4

4 ,

 

Отв. Ху =

8 ,

 

 

 

* 2

------

* 3

4 "

* 4

=

3 ,

 

* 2 —

3

* 4 ,

 

* 1 - f - 3 * 2

 

 

 

— 3 * 4 —

1 ,

 

 

* 3 =

6 +

2 * 4

 

7 * 2 - f - 3 * 3 +

* 4 =

— 3 .

 

 

 

 

1 0 2 .

2 X i

 

 

* 2

 

* 3

 

* 4 =

— 3 ,

Ore.

Система

не-

 

xx

1 L * 3 +

 

Б д 'з +

9 * 4 =

2 ,

 

совместна.

 

 

 

 

 

 

 

3 * 1

 

1 3 * 2 — 7 * 3 ' — 1 1 * 4 — — 1 ■

 

 

 

 

1 0 3 .

* !

 

 

 

* з

=

1 ,

 

 

Отв. * х =

4 ,

 

 

2 * 1 - p

 

3 * 2 — 9 * 3 — 2 (

 

 

 

* 2 =

* 3 = 1 .

 

* i "T *

3 * 2 —

5 * 3 — 2 ,

 

 

 

 

 

 

 

■ * j —

1 3 * 2

 

5 * 8 * * * — 4 .

 

 

 

 

 

1 0 4 .

2 * ! —

 

x 3 +

 

3 * 3 —

7 * 4 =

5 ,

3 4 * ! —

1 7 * 3 — 2 9

 

 

 

 

 

 

 

 

 

 

 

 

Ore. * з =

5

 

 

 

6 * i —

3 * з

 

 

* з —

4 * 4 =

7 ,

 

 

 

 

 

 

 

 

 

 

 

4 * j —

2 * 3 +

 

1 4 * s — 3 1 * 4 =

1 8 .

1 6 * ! — 8 * 3 — 1 6

 

 

 

* 4 =

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

§13. Система линейных однородных уравнений

Выше (§ 10, п. 3) была рассмотрена система (16) п линейных однородных уравнений с п неизвестными и было показано, что помимо нулевого, или тривиального решения, эта система может иметь решения, отличные от нуля, только в том случае, когда оп­ ределитель системы (16) будет равен нулю.

Пусть задана система линейных однородных уравнений

Оц*! + а12х2+ .

• +

«іА

=

 

^21*^1 “Ь ^22^2 *

• +

«2А

=

( 20)

 

 

 

 

«„,1*1+ «„,2*2+ •

• + « и А =

 

где, подобно тому как и в системе

(17) линейных неоднородных

уравнений, число уравнений не равняется числу неизвестных.

Из теоремы Кронекера-Капелли вытекает, что система линей­ ных однородных уравнений всегда совместна, так как для этой системы ранг матрицы, составленной из коэффициентов при неиз­ вестных всегда равен рангу расширенной матрицы. Это видно и непосредственно, потому что система (20) всегда обладает ну­ левым решением.

Но кроме решения х\ — хг— . . . = х„ =0, называемого нуле­ вым или тривиальным, система (20) может иметь другие реше­ ния, в которых по крайней мере одно неизвестное имеет значе-

иие, отличное от нуля. Это будут так называемые ненулевые, или нетривиальные решения. Здесь имеет место следующее утверж­ дение.

Если ранг матрицы

%

a \ 1 •

• « I r

Ö i r + l ■ ■ « I n '

& 2 1

a w . .

• fl ar

fl2r + l •

• « * «

 

 

 

 

( 2 1 )

Я д

a r 2 -

a r r

f l r r + I • • ^ r n

a m l Я, „2 ■ • ® m r f l m r + l •

системы линейных однородных уравнений

(20) равен числу не­

известных (г = п), то система (20) имеет только нулевое решение. Если ранг матрицы А меньше числа неизвестных (г<л), то, помимо нулевого решения, система (20) имеет бесконечное мно­

жество других (ненулевых) решений.

Действительно, если ранг матрицы А равен п числу неизвест­ ных, то определитель п-то порядка det/1 =£0, а в этом случае, как известно (§ 10, п. 3), система линейных однородных уравнений имеет только нулевое решение.

Если г<п, то, так же как и для системы линейных неоднород­ ных уравнений, достаточно ограничиться первыми г уравнениями системы (20), если r<m, в которых п—г неизвестных хГ+ \,. .. , хп будут свободными неизвестными, тогда получим следующую сис­ тему:

a l l X l +

fll2^2 4" • • 4- alrxr =

ßjr-f 1-^/*+1

• *•

a l n x m

АзЛ 4“

&2ixi 4~ ■.. + a2rxr = — Q - 2 r + \ X r + ]

n X n>

a rXX l

 

.. + arrxr =

& r r + \ % r +

1

■— arnxn,

 

4- ar2x2+ • ■

 

 

равносильную системе (20). Придавая затем свободным неиз­ вестным хг+ \,...,х п произвольные числовые значения, из сис­ темы (22) получим, например, по правилу Крамера соответству­

ющие числовые значения для дгь х2, .

. -, хг. Следовательно, при

г<п система (20), помимо

нулевого,

будет иметь бесконечное

множество других решений.

 

t

Пусть Х \ а і ,

* 2 = 0 2 , • •

-, хп = ап есть одно из ненулевых ре­

шений системы

(20), тогда значения х

1 = саи х2=с а2, .... х п —сап

также удовлетворяют уравнениям (20). Действительно, подстав­

ляя эти числа в уравнения

(20) и вынося за скобку общий мно­

житель с, получим в скобках выражение равное нулю.

Вообще рассматривая решения системы

(20) как л-мерные

векторы

 

 

а = (<*!, а2, . . . , а„), b = (ßi,

........ß„), . . . ,

m =*((J.j., H-a» ■• • . nj.

можно непосредственно убедиться, что решением системы (20) будет и их линейная комбинация

hya -j- hob T- ...

hpïïi ^

 

—(&1а1 +

 

• • • ~Ь ApP-1, ^Ia2 +

+ ^2^2 + ••.■ +

kpPi’ • ■■J ^la/l ~Ь ^2ßfl + • • • + kpPn).

Заметим, что для системы линейных неоднородных уравне­ ний подобное утверждение не имеет места.

Введем теперь следующее определение: система решений

 

а, = (ад, а,-2, . . . . аіп) і = 1, 2, . . . , k

(23)

уравнений (20) называется фундаментальной, если она линейно независима и любое решение уравнений (20) является ее линей­ ной комбинацией.

Существование фундаментальной системы решений устанав­ ливается теоремой: если ранг г матрицы (21) меньше числа, п неизвестных, то уравнения (20) обладают фундаментальной сис­ темой решений.

Не приводя доказательства этой теоремы отметим, что если ранг матрицы А равен г, причем г</г, то, как уже было сказано, решение заданной системы (20) заменяем решением систе­ мы (22), которая ей равносильна. В системе (22) имеем п—г сво­ бодных неизвестных х ,+\, х г+2, . . ., х п, через которые по прави­ лу Крамера могут быть выражены остальные г неизвестных: xlt х3, . .. хг. Для того, чтобы полученная система решений была фундаментальной (основной), она должна быть линейно незави­ симой. Поэтому у —г свободных неизвестных выбираем как (пг) -мерные векторы, которые характеризуются единичной матрицей

(§ 4) и которые, как было показано (§ 11), являются линейно не­ зависимыми. Таким образом, получим систему решений (23), ко­ торую можно представить в данном случае так:

а 1

( а 11>

°Т2>

• • ■ > a lr>

1.

0 . . .

 

0 ) ,

« 2

( а 21>

а 22,

. . • , « 2 п

0 ,

1

. . .

• ,

0 ) ,

a k — ( а п >

а і 2 , . . ■ > Ч г *

°>

0

, . . . .

1)-

где k = n-^r.

Пример. Найти фундаментальные решения системы линейных однородных уравнений.

’ З.хгц +

х2 8 х3 +

2*4 +

х3 =

0,

2 *і —

2*о — 3*з —

7*4 +

2*5

= О,

*1 +

1 1*2 — 12*3 +

34*4 — 5*5 =

(24)

О,

*1

5*2 + 2 *3 — 16*4 + 3 *5 = 0 .

Р е ш е н и е . Прежде всего определим ранг матрицы системы

3

1

- 8

2

Г

2

- 2

-

3

— 7

2

1

11

-

12

34

- 5

1 - 5

 

2 — 16

3

Для этого удвоенную последнюю вертикаль сложим со вто­ рой и полученную сумму вычтем из первой вертикали, а затем сложим первую и последнюю вертикали и все элементы сокра­ тим на два, тогда

1

- 8

2

 

Г

1 — 7

2

1'

 

- 2 — 3 - 7

 

2

0 — 3 — 7 2

 

11 - 1 2

34

- 5

3 - 9

34 — 5

 

- 5

2 — 16

3

— 1

1 - 1 6

3

 

 

 

 

 

'1

- 7

2

Г

 

 

 

 

 

 

0

- 3 - 7

2

f 1 - 7

2 1

і

 

 

 

0 12

28 — 8

\0 - 3 -- 7 2

 

 

 

 

0

- 6

- 14

4

 

 

Следовательно, ранг матрицы А равен двум и определитель второго порядка, составленный из элементов, находящихся в первых двух горизонталях и первых двух вертикалях

D = 3

1

- 8,

2

— 2

 

отличен от нуля. Поэтому систему (24) можно заменить систе­ мой, ей равносильной, которая будет состоять из двух первых уравнений системы (24) и где *3, *4 и *5 будут свободными неиз­ вестными.

Таким образом получим систему двух линейных уравнений с двумя неизвестными Хі и х2:

Злх Т-

х 2

8д*з

2 х 4

х 31

2л'і

2 х 2 =

Зл'з +

7л',і — 2л' 5.

Отсюда по правилу Крамера находим

8 х$

2лу

х5

1

і

7X4

2X^

 

 

 

 

D

 

19

 

 

 

1

— ~сг_ -^з 4"

8

T * 5’

8

 

3 8д 3 — 2.V.J —

л-5

— 19-ѵ'з — 3x.j 4- 4л>, _ ITg

2

Здз -t- 7xk— 2X5

3 -+- 25*4 — 4-дгв

Хп ---

D

 

 

8

 

 

 

7

25

,

1

 

8

А® 8 *4 +

2

*5'

 

Это будет общее решение системы (24).

Для определения свободных неизвестных х3, х4, х0~ берем три базисных вектора в трехмерном пространстве

еа = (1, 0, 0), е2 (0, 1, 0), е3 = (0. 0, 1).

Подставляя координаты каждого из этих векторов в найден­ ное общее решение в качестве значений для свободных неизвест­ ных и вычисляя значения для Х\ и х2, получим следующую фун­ даментальную систему решений заданной системы (24):

19 .

7

 

1 ,

п

п.

Хі — о > -%2

— Q ) ^3 —1» ^4 —0» *^5 — 0>

8

8

 

 

 

 

3

25

, х3

—0)

х4 — 1,

х5 —0,

хі ----g- > х 2

 

* ів - -г Х п

х 3 = 0, х4 = 0,

т. е. имеем векторы:

Г9_

 

 

а-, =

8 ’ 1 ,

0 , 0 J ,

8

 

3_

_25

 

(Ха

8 ’

8 -,

0, 1, 0 ),

X,- = 1,

 

 

«з =

 

Y .

 

о,

о ,

1 J ,

 

 

 

так как для системы (24) /г= 5, г= 2

и число решений k -- пг-

= 3.

 

 

 

 

 

 

 

 

 

 

 

Общим решением системы (24) будет вектор

 

 

 

 

Cl — Cißi -f" C<22 -j- C3 CI3 ,

 

 

 

 

где с ь со,

с-і— произвольные постоянные, или

 

 

 

а = сЛ ^ Г ’ Т ' 1’ ° ’ ° W 2( T ’ " Т "1 ° * ° ) +

 

 

 

 

+ сз

 

Т

Т

’ 0> °'

1

 

 

19

, 3

1

7

 

25

с2

, 1

 

^2’

('3

 

g О

Ь g

2 с®’ 8 Cl

 

g

2 ^3>

Обозначая координаты общего решения, т. е. вектора а, через

ai, 0.2 аз, а,і as, получим

 

 

 

 

 

 

 

 

 

 

 

 

19

 

 

 

1

 

 

 

 

 

 

 

8“

fl + Т

С2~

Т

Сз’

 

 

 

 

 

 

7

28

 

,

1

 

 

 

 

 

 

а 2 -------g ~ С1 --------g -

С2

+ ~ 2

С3>

 

 

 

 

 

аз —

Оі

 

 

 

 

 

 

 

 

 

 

а4 =

Оі

 

 

 

 

 

 

 

 

 

 

«0 = <Ѵ

 

 

 

 

 

 

 

 

Здесь

для

того, чтобы

освободиться

от

дробей,

положим

Ci = 8 ki,

C2 8 I12, с3 =

2 ks,

тогда

ctt =

19/гі + 3/г2—&з,

а2 =

= 7k—25/е2+/е3, аз = 8&і, а4 = 8/г2, аб= 2&3.

 

 

 

 

 

Рассмотрим, наконец, связь, существующую между решения­ ми неоднородных и однородных систем. Пусть дама система ли­

нейных неоднородных уравнений:

 

 

 

апх г -1- «12*2 + .

+

а1пх п — Ь\,

^21*^1 "*І~*^22'^2 ~І~ *

• +

lhnxn =

bt,

аЫХ1&№Х2Ч~ •

+

 

(25)

a knx tl —

Ь/г>

. ат1х1 + а,„2Х2+ ■ • "f" атПхп~ b/n-

Система линейных однородных уравнений

А Л

+

а12л'2 +

... +

а1пхп = О,

А А

1а 22х 1 +

• ■■ +

а і пХ п =

a H Xl T

а к2Х2 +

• • • +

а кпХп = О,

ат А + ат А + • • • + äfflA = О,

полученная из системы (25) заменой свободных членов нулями, называется приведенной системой для системы (25). Между ре­ шениями систем (25) и (26) существует связь, как показывают следующие две теоремы.

Т е о р е м а I. Сумма любого решения системы (25) с любым решением приведенной системы (26) снова будет решением сис­ темы (25).

Действительно, пусть c[t съ ■■ сп будет решение системы (25) и du d2, . . -, dn — решение системы (26). Берем любое из уравнений системы (25), например /г-е, и подставляем в него вместо неизвестных х ь хъ . . хп числа

сі + dx, сг -f d2, . . . , сп+ dn.

Получим

акі (А + ^і) + аш( с 2 + d2) + . . . + a/tn (сп + dn) —

= iaklCl + ßA2C2+ • ■• 4-aknCn)Jr(aklC^lJr ak2^2-\- • • • + akndn)—

bk + 0 = bk.

Те о р е м а II. Разность любых двух решений системы (25) является решением для приведенной системы (26).

Доказательство этой теоремы аналогичное доказательству первой теоремы.

Из этих теорем вытекает, что найдя одно решение системы линейных неоднородных уравнений (25) и складывая его с каж­ дым из решений приведенной системы (26), получим все решения системы (25).

Задачи

В задачах № 105—108 найти фундаментальные решения систем линейных однородных уравнений.

2*х —- 4*0 + 5*3 + : 3*4 = 0,

3*4 6*2 4*3 2*4 = 0,

4*4 — 8*2 Ш 17*3 “I“ 1 1*4 == 0 .

ûo = (0, 1, 5, — 7).

1 0 6 .

10 7 .

1 0 8 .

З х 1 4 - 2 * а +

* з 4 - 3 * і 4 5 * 5 = 0,

 

6л'! +

4*2 - -Зл'з 4~ 5л., "Ь 7*5 =

0,

 

9.ѵ, +

6.ѵ2 Н15х3 -р 7-V.J +

9*5 =

О,

Зл', +

2*2 +

4*4 +

 

8*5 =

0.

 

 

 

5 х 1 +

6 * 2 —

2л'а +

7*4 +

4 * 6 —

О,

2лч +

3*2 -

л'з +

4л'4 + 2*5 =

О,

1 х 1 +

Эл'о —

3 * з

+

5 л'4 +

6 * 5

3>

■5 * і -f- 9л'з —

3 * з

+

 

-*і т

б'ѵ'б = б.

*! +24-

4*з—

3*4 = О,

 

 

3*і 4- 5*з +

6*з —

4*., =

О,

 

 

4*! 4" 5*2 —

2*з 4“

3*4 =

О,

 

 

3*і 4" 8*з4*24*з

 

19л = 0.

 

 

 

-

/

О, 0 ,

 

9

â

V

О тв. Оі =

I 1,

 

4

4

 

02 =

(о . 1. О,

 

 

_1

 

 

 

 

2

 

 

я*-

(О, О, 1, -

2, 1),

 

О тв.

Я і =

^Оі

"g" > I .

О,

0 j

,

 

 

а2= (О, —"g“ , 0,

0, .

О тв.

(>\ =

(8 ,

6 , 1,

0 ),

 

 

 

^ = ( - 7 , 5 , 0 . 1).

 

 

Соседние файлы в папке книги из ГПНТБ