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

книги / Линейная алгебра.-1

.pdf
Скачиваний:
1
Добавлен:
20.11.2023
Размер:
10.82 Mб
Скачать

 

3. ПОДПРОСТРАНСТВА ЛИНЕЙНЫХ ПРОСТРАНСТВ

 

61

говоря,

н ельзя

вы бирать

из числа элем ентов

e i,

в 2

, . . е п

(ибо в

общем

случае

ни один из

элементов

e i, е 2 , . . е п

м ож ет

не

при ­

н ад леж ать

L ).

О днако справедливо обратное утверж дение: если

эле ­

м ент ы

e i,

е 2,

. . е/,

сост авляю т базис к-м ерного

подпрост ранст ва

п -м ерного

линейного

прост ранст ва

R , то эт от

базис м ож но до­

п о лн и т ь элем ен т а м и е^ + i,

. .

е п прост ранст ва R

т ак, чт о

сово­

купност ь элем ент ов ei , .

.

е^,

e^ + i,

.

. е п будет сост авлят ь базис

всего прост ранст ва R .

 

 

 

 

 

 

 

 

 

 

Д окаж ем это утверж дение. Если к

<

п, то найдется элемент щ + 1

п ространства R такой, что элем енты e i,

в 2 , ... , е&,

+

1 линейно неза­

висимы (в противном случае пространство R оказалось бы /^-мерным).

Д алее,

если к

+ 1 <

п,

то

найдется

элемент

&и + 2 п ространства R

такой,

что

элем енты

e i,

в 2 , ... ,

е^, e^ + i, &и + 2

линейно независимы

(в противном случае пространство R

оказалось бы

+ 1 )-м ерны м ).

П родолж ая аналогичны е рассуж дения, мы докаж ем сф орм улирован ­

ное утверж дение.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В заклю чение докаж ем

важ ную

теорем у о разм ерности линейной

оболочки.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Т е о р е м а

2 .8 . Р азм ерност ь ли н ей н о й оболочки L (х, у,

... ,

z)

эле ­

м ент ов х,

у,

... ,

z равна м а кси м а льн о м у ч и слу ли н ей н о н езависим ы х

элем ент ов в сист ем е элем ент ов х,

у, ... ,

z.

В част ност и ,

если эле ­

м ент ы

х,

у,

... ,

z ли н ей н о

независим ы ,

то

разм ерност ь

 

ли н ей н о й

оболочки L (х, у,

. .. ,

z) равна ч и слу элем ент ов х, у,

... , z (а сами эт и

элем ент ы

образуют

базис ли н ей н о й оболочки

L (х, у, ... , z)).

 

 

Д о к а з а т е л ь с т в о . Д опустим,

что

среди элементов

х, у, ... , z

имеется

г

линейно

независим ы х

элементов

(обозначим

 

их

через

x i , Х2 , . .

х г), а

лю бы е (г

+

1 ) из элементов х, у, ... ,

z

линейно

зависим ы . Тогда

каж ды й

из

элементов

х, у, ... , z представляет

со­

бой некоторую линейную

комбинацию

элементов

x i, Х2 , . .. ,

х г

16) ,

и поскольку

по

определению

каж ды й

элемент

линейной

оболоч­

ки L (х, у, ... , z)

представляет собой некоторую линейную ком бина­

цию элементов х, у,

... , z,

то

каж ды й

элемент указанной

линейной

оболочки представляет собой некоторую линейную комбинацию од­

них только элементов

x i, Х2

, ... ,

х г . Но это

и означает, что

система

линейно

независим ы х

элементов

x i, Х2 , ... ,

х г образует базис линей­

ной оболочки L (х, у,

... , z)

и что разм ерность L (х, у, ... , z)

р авн а г.

Т еорема доказана.

 

 

 

 

 

2 . Н о в о е о п р е д е л е н и е

р а н г а м а т р и ц ы . В §3 гл. 1 мы

опреде­

16)

Это устанавливается с помощью тех же самых рассуждений, которые были

проведены при доказательстве теоремы 2.5.

 

 

62

 

ГЛ. 2. ЛИНЕЙНЫЕ ПРОСТРАНСТВА

 

лили

ранг произвольной м атрицы А как порядок ее

базисного м и н о ­

ра., т. е. как

число г, удовлетворяю щ ее требованию

сущ ествования у

м атрицы А

отличного от нуля м инора порядка г и отсутствия у этой

м атрицы отличны х от нуля миноров порядка, больш его г.

 

В

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

м ат рицы А

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

(и ли ст олб­

цов) эт ой м ат рицы .

О тсю да будет следовать новое определение ранга м атрицы как м ак ­

сим ального числа линейно независим ы х строк (или столбцов) этой

м атрицы 17) .

П роведем все

рассуж ден и я д л я строк (для столбцов они

ан алоги ч ­

ны) . Рассм отрим

в линейном пространстве А п (введенном в

примере 3

и. 1 § 1

) линейную оболочку базисны х

строк произвольной, содерж а­

щ ей т

строк и п столбцов м атрицы А

и предполож им , что число ба­

зисны х строк равно г. И з теорем ы 1.6 о базисном миноре вы текает, что лю бая строка м атрицы А явл яется элементом указанной линейной обо­ лочки, а из линейной независим ости г базисны х строк и из теорем ы 2 . 8

вы текает, что разм ерность указанной линейной оболочки равн а г. С та­

ло бы ть, лю бы е (г

+

1 ) элементов

указанной линейной

оболочки (и,

в частности, лю бы е

+

1 ) строк

м атрицы А )

линейно

зависим ы . А

это и означает, что

число

г представляет собой

м аксим альное число

линейно независим ы х строк.

 

 

 

3. С у м м а и п е р е с е ч е н и е п о д п р о с т р а н с т в . П усть L \ и L ^ — д в а произвольны х подпространства одного и того ж е линейного простран ­

ства R .

 

 

 

 

 

 

С овокупность

всех элементов

х п ространства Л, принадлеж ащ их

одновременно L \

и L 2 , образует подпространство п ространства R

18) ,

назы ваем ое пересечением подпространств L \

и Ь^.

 

С овокупность

всех элементов

п ространства

R вида у + z,

где

у — элемент подпространства 1 д,

a z — элемент

подпространства

L 2 ,

образует подпространство п ространства R

19) ,

назы ваем ое сум м ой

подпространств L \

и Ь^.

 

 

 

 

П р и м е р . П усть

R — линейное

пространство

всех свободных

век­

торов (в трехмерном пространстве), L \ — подпространство всех

сво­

17)В частности, отсюда будет следовать весьма нетривиальная теорема о том, что у любой матрицы максимальное число линейно независимых строк совпадает

смаксимальным числом линейно независимых столбцов.

18)Ибо элементы этой совокупности удовлетворяю т требованиям 1°) и 2°), сформулированным в начале и. 1.

19)См. предыдущую сноску.

3. ПОДПРОСТРАНСТВА ЛИНЕЙНЫХ ПРОСТРАНСТВ

63

бодных векторов, п араллельн ы х плоскости О х у , L 2 — подпространство всех свободных векторов, п араллельн ы х плоскости O x z . Тогда суммой

подпространств L \

и L 2

будет яв л яться все пространство R

20) , а пе­

ресечением подпространств

Ь \ и

L 2 будет яв л яться множ ество всех

свободных векторов, п араллельн ы х оси О х.

 

 

 

 

 

С праведливо следую щ ее утверж дение.

 

 

 

 

 

Т е о р е м а

2 .9 .

С ум м а

разм ерност ей

произвольны х

подпро­

ст ранст в L \

и Z/2

конечномерного линейного

прост ранст ва R

равна

сум м е разм ерност и пересечения

эт и х

подпрост ранст в

и разм ерно ­

ст и сум м ы эт и х подпрост ранст в.

 

 

 

 

 

 

Д о к а з а т е л ь с т в о .

О бозначим через L Q пересечение

Д

и

L 2 , а

через L — сумму L \

и L 2

. С читая L Q ^-м ерны м, выберем

в

нем

базис

 

 

 

 

е ъ е 2, . . е к .

 

 

 

 

(2 .1 1 )

И спользуя утверж дение, доказанное в п. 1, дополним

базис

(2.11)

до базиса

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e i,

е*,

g i,

g/

 

 

 

 

(2 .1 2 )

в подпространстве Ь\ и до базиса

 

 

 

 

 

 

 

 

 

 

e i,

е*,

fi,

fm

 

 

 

 

(2.13)

вподпространстве L 2 .

Достаточно доказать, что элем енты

g i, ...

, g/, е ь ... , е*, fb ... ,

£т

(2.14)

являю тся базисом суммы

L подпространств Ь \

и L 2

21) . Д л я этого, в

свою очередь, достаточно доказать, что элем енты (2.14) линейно неза­ висимы и что лю бой элемент х сумм ы L представляет собой некоторую

линейную комбинацию элементов (2.14).

С н ачала докаж ем , что элем енты (2.14) линейно независимы .

20) В самом деле, любой вектор х пространства R представляет собой линейную

комбинацию х = ш + /3j

+ 7 k базисных векторов i, j , к, параллельны х осям О х ,

О у и O z соответственно,

причем вектор ш

+

(3j

принадлеж ит L 1 , а вектор д к

принадлеж ит L 2.

 

 

 

 

 

21) Ибо при этом размерность L, равная

I +

к

+ т ,

в сумме с размерностью

Lo, равной /с, будет равна сумме размерностей к +

I и к

+ т подпространств Ь \

и L 2.

 

 

 

 

 

64

 

 

 

ГЛ. 2. ЛИНЕЙНЫЕ ПРОСТРАНСТВА

 

 

 

 

П редполож им , что

некоторая

линейная

ком бинация

элементов

(2.14)

представляет

собой

нулевой

элемент,

т. е. справедливо

равен ­

ство

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a i g l

+

• • •

+

a lgl

+

P le l

+

• • •

+

Рке к

+ 7l?L +

' ' '

+

7mfm

— 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(2.15)

ИЛИ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a i g i

+

•••

+

a ig i

+

 

+

. ..

+

f3ke k

=

~ 7 i fi

- . ..

-

7m fm-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(2.16)

Т ак как

левая

часть

(2.16)

явл яется

элементом

L i,

а

п равая

часть

(2.16) явл яется элементом L 2

, то как левая, так и п р ав ая часть

(2.16) п ри н адлеж и т пересечению

L Q подпространств L \

 

и L 2 . О тсю да

следует, в частности, что п р ав ая часть (2.16) представляет собой неко­ торую линейную комбинацию элементов (2 .1 1 ), т. е. найдутся такие

числа Ai, ... , Хк , что

 

 

7i^i

• • • 7 т^т — A iei Н- . .. Т Хке к .

(2.17)

В силу линейной независимости базисны х элементов (2.13) равенство

(2.17)

возм ож но лиш ь

в случае, когда все коэф ф и ц и ен ты 7 1 , ... , дт ,

Ai,

... , Хк равны нулю . Но при этом из (2.15) мы получим, что

 

 

 

 

OL\g i

+ . ..

+ a ig i

+

 

+

. .. +

f3kek =

0 .

(2.18)

В

силу линейной

независим ости

 

базисны х

векторов

(2.12)

равен ­

ство

(2.18) возм ож но

лиш ь

в

случае,

когда

все

коэф ф ициенты

ад,

... , сц,

/?i, ... ,

/Зк равны нулю .

Тем

самы м

мы установили, что

равенство

(2.15) возм ож но лиш ь

в

случае, когда все

коэф ф ициенты

ад,

... , сц,

 

 

7 i, ... , 7

т равны нулю,

а

это и доказы вает ли ­

нейную независимость элементов

(2.14).

 

 

 

 

 

 

О стается доказать, что лю бой элемент х сум м ы L представляет со­

бой некоторую линейную комбинацию элем ентов (2.14), но это сразу

следует

из

того,

что этот элем ент х представляет

собой (по опреде­

лению

L)

 

сумму

некоторого элемента x i подпространства L i, я в л я ­

ю щ егося

линейной комбинацией элементов (2

.1 2 ),

и некоторого эле­

мента Х2

подпространства L 2 , являю щ егося

линейной комбинацией

элементов

(2.13). Т еорема доказана.

 

 

В озвращ аясь к примеру, рассм отренном у перед ф орм улировкой те­ орем ы 2.9, зам етим , что в этом прим ере разм ерность каж дого из под­ пространств L \ и Z/2 равн а двум, разм ерность их суммы р авн а трем, а разм ерность их пересечения р авн а единице.

3. ПОДПРОСТРАНСТВА ЛИНЕЙНЫХ ПРОСТРАНСТВ

65

4 . Р азл ож ен и е линейного пространства в прям ую

сум м у

подпространств . П усть R \ и Л 2 — д в а подпространства линейного n -мерного п ространства R .

О п р едел ен и е. Будем говорить, что пространство R представляет собой прям ую сум м у подпространств R \ и Л 2, если каж ды й элемент х

п ространства R м ож ет

бы ть

единственны м

способом представлен в

виде суммы

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X =

XI

+ х 2

 

 

 

 

 

 

(2.19)

элемента x i подпространства R \

и

элемента

х 2

подпространства Л 2.

Тот ф акт, что

R представляет

собой прям ую

сумму R \

и Л 2 сим­

волически записы ваю т так: R

 

0 Й 2.

 

 

 

 

 

 

 

 

П оследнее равенство обы чно

назы ваю т

разлож ением

прост ран­

ст ва R

в прям ую

сум м у подпрост ранст в R \

и Л 2 .

 

 

 

 

Т ак

пространство R

всех свободных векторов

(в трехм ерном про­

странстве)

мож но

р азло ж и ть

в

прям ую

сумму

подпространства

R \

всех векторов, п араллельн ы х

плоскости

О ху

 

и

подпространства

Л 2

всех векторов, п араллельн ы х оси O z.

 

 

 

 

 

 

 

 

 

Т еорем а 2 .10. Д л я

того

чтобы п -м ерное

 

прост ранст во R пред­

ст авляло

собой прям ую

сум м у

подпрост ранст в R \

и Л 2, дост ат оч­

но, чтобы

пересечение R \

и Л 2

содерж ало т олько

нулевой элем ен т

и чтобы

разм ерност ь

R

была

равна сум м е

 

разм ерност ей

подпро­

ст ранст в R i и R 2 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Д о к а з а т е л ь с т в о .

В ы берем

некоторы й

базис

e i , . .. ,

e k

в под­

пространстве R \ и некоторы й

базис g i,

... , g / в подпространстве

Л 2.

Д окаж ем , что объединение этих базисов

 

 

 

 

 

 

 

 

 

 

 

 

 

е ъ

 

e k , g b

gi

 

 

 

 

 

 

(2 .2 0 )

представляет собой базис всего п ространства R .

Т ак как по условию

теорем ы разм ерность п всего п ространства R

р авн а сумме к + I разм ер ­

ностей R i

и й 2, то достаточно (в силу теорем ы 2.5) доказать линейную

независимость элементов

(2 .2 0 ).

 

 

 

 

 

 

 

 

 

 

 

 

П редполож им ,

что

некоторая

 

линейная

 

ком бинация

элементов

(2 .2 0 ) представляет собой

нулевой

элемент,

т. е. справедливо

равен ­

ство

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

оде 1

+ . ..

+

otke k

+

P i9i +

• • •

+

Pigi

0 ,

 

(2

.2 1 )

или

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

оде!

+ . . .

+

а ке к =

- /? ig i

-

...

-

/З/g/.

 

(2.22)

5 В .А . И л ьи н , Э .Г. П о зн я к

66

ГЛ. 2. ЛИНЕЙНЫЕ ПРОСТРАНСТВА

Т ак

как л евая часть (2.22)

явл яется элементом if t, а п р ав ая —

элементом R 2, а пересечение R \

и R 2 содерж ит лиш ь нулевой элемент,

то как левая, так и п р ав ая часть (2.25) представляет собой нулевой эле­ мент, а это (на основании линейной независим ости элем ентов каж дого

из базисов e i,

... ,

и

gi,

... ,

g/) возм ож но лиш ь при условии

 

 

а1 =

. . .

=

а к

=

0,

& = . . . =

& = ( ) .

(2.23)

Тем самы м

мы

установили,

что

равенство

(2.21) возм ож но

лиш ь

при условии (2.23),

а это

и доказы вает линейную независимость эле­

м ентов (2 .2 0 )

и тот

ф акт,

что

элем енты (2 .2 0 )

образую т базис

всего

пространства R .

Пусть теперь х — лю бой элемент R . Р азл о ж и в его по базису (2.20),

будем им еть х

=

A iei

+

. ..

+

А^е*

+ ц ig i +

. . . +

jikg k или х =

х х +

+

х 2, где x i

=

A iei

+

. ..

+

А/, е /,— элем ент R 1,

а х 2

=

/iig i

+ . ..

. . .

+ /i/gz — элемент i?2.

 

 

 

 

 

 

 

 

 

 

 

 

О стается доказать,

что

представление (2.19) явл яется

единствен­

ным. П редполож им , что, кроме

(2.19), справедливо и еще одно пред­

ставление

 

 

 

 

х

=

x i

+ Х2 ,

 

 

 

 

 

(2.24)

 

 

 

 

 

 

 

 

 

 

 

 

где х ^ — элемент

if t, а

х(>— элем ент

Л 2. В ы читая

(2.24)

из (2.19), по­

лучим , что 0 =

x i — х^

+

Х2

— Хз, или x i — х^

=

Х2

— Хз- Т ак как

в левой части последнего равенства стоит элем ент

f t ,

а

в правой —

элемент R 2 и поскольку пересечение R \ и R 2

содерж ит лиш ь нулевой

элемент, то из этого равенства следует, что x i

— х^

= 0

, х(> — х 2

= 0 ,

т. е. х^

= x i , х 2

= Хз- Т еорема доказана.

 

 

 

 

 

 

 

З а м е ч а н и е . В случае, когда пространство R представляет собой

не прямую , а обы чную сумму подпространств

 

n f t ,

представление

(2.19)

лю бого

элемента

х п ространства R такж е

справедливо,

но не

яв л я е т с я , вообще говоря, единст венны м .

Пусть, наприм ер, R представляет собой трехмерное пространство всех свободных векторов, R \ — подпространство всех векторов, п ар ал ­ лельны х плоскости О х у , a R 2 — подпространство всех векторов, п ар ал ­ лельны х плоскости O x z . В преды дущ ем пункте мы вы яснили, что R

представляет собой сумму (но, конечно, не прям ую сумму) подпро­ странств R i и f t . О бозначим через i, j и к базисны е векторы , п ар ал ­

лельны е осям Ож, О у и O z соответственно, и разлож и м произвольны й

элемент х п ространства R

по

базису i, j,

к.

Н айдутся

вещ ественны е

числа а ,

/3 и 7

такие,

что

х

=

ш

+ /?j +

7 k,

так

что,

с одной сторо­

ны, х

=

x i +

х 2, где

x i

=

ш

+

/^j — элемент f t ,

а х 2 = д к — эле­

мент Л 2, с другой стороны ,

х

=

х^ + Хз, где х^

=

/^j — элемент ift,

а х'2 =

ш

+ д к — элемент Л 2

 

 

 

 

 

 

 

 

§ 4. ПРЕОБРАЗОВАНИЕ КООРДИНАТ

67

§ 4 . П р еобр азов ани е координат при п реобразован и и бази са n -м ер ного линейного пространства

1.

П р я м о е

и

о б р а т н о е

п р е о б р а з о в а н и е

б а з и с о в .

П усть

e i, е 2, . .. ,

е п

и е[,

е 2, ... , е ^ — д в а

произвольны х

базиса

п -мерного

линейного п ространства R .

 

К а к

всякий

элемент

п ространства R ,

каж ды й

элемент

 

, е 2, . .. ,

е^

м ож ет

бы ть

разлож ен

по

базису

e i, е 2, . .

е п . П редполож им ,

что

элем енты е^, е 2, .

.

в ыр а жа ют ­

ся через e i, е 2, . . е п с помощ ью

ф орм ул

 

 

 

 

 

 

 

 

 

 

е 1

^ 1 1 е 1

 

+

&1 2 е 2

+

. . . +

CLlne m

 

 

 

 

 

 

 

е 2

=

&2 ie i

 

+

а22е 2

+ . . .

+

а2пе п ,

 

(2.25)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е п

 

 

Н-

&п2^2

Н“

• • •

Н" &ппе п-

 

 

Это означает, что переход от первого базиса ei,

е2, ..., е п ко второму

базису е^, е^,

... ,

е^

задается матрицей

 

 

 

 

 

 

 

 

 

 

 

 

 

а ц

< 2 1 2

 

 

< 2 i n

 

 

 

 

 

 

 

 

 

А

&21

^ 2 2

&2п

 

 

 

(2.26)

 

 

 

 

 

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Q"nl

&п2

^ n n

 

 

 

 

П одчеркнем ,

что

определитель

Д

м атрицы

(2.26) заведомо

отличен

от нуля 22) , ибо в противном случае в силу

теорем ы 1.7 строки этой

м атрицы

(а стало бы ть, и базисны е элем енты е^,

е 2,

... , е^) оказались

бы линейно зависим ы м и.

 

 

 

 

 

 

 

 

 

 

 

 

У бедимся

в

том,

что

обратный

переход

от

вт орого

базиса

е 2, . .. ,

 

к первом у базису

ei, е 2, ... ,

еп осущ ест вляет ся с по­

м ощ ью м ат рицы В , обратной к м ат рице А .

 

 

 

 

 

Н апомним, что м атри ц а

В , обратн ая к

м атрице

А , введена в п. 7

§ 2 гл. 1

и имеет вид

 

А

 

ц

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3 - 2 1

 

 

3

- n l

 

 

 

 

 

 

 

 

 

 

Д

 

 

Д

"

"

д "

 

 

 

 

 

 

 

 

 

 

A l 2

3 - 2 2

 

 

3 - n 2

 

 

 

(2.27)

 

 

 

 

 

 

д

 

 

Д

' ■

 

Д

 

 

 

 

 

 

 

 

 

A i n

A

‘2 m

 

 

A n n

 

 

 

 

 

 

 

 

 

 

 

 

 

д

 

'

"

 

Д

 

 

 

 

где через Д обозначен определитель м атрицы А , а через Aik ~

алгебраическое дополнение элем ента ац~ этого определителя. У мно­

22) Такую матрицу в п. 7 § 2 гл. 1 мы договорились назы вать невырожденной.

5:

68

ГЛ. 2. ЛИНЕЙНЫЕ ПРОСТРАНСТВА

ж и м

уравнения (2.25) соответственно на алгебраические дополнения

A i j ,

A<ij, ... , A nj элементов j -го столбца определителя Д и после это­

го слож им эти уравнения. В результате получим (для лю бого ном ера j ,

равного

1 , 2 , ... ,

п )

e i ^ i j +

е 2 ^ 2 j +

. . . + e 'n A n j =

 

 

п

 

 

— ^ ^ e ^ a u A i j + c t 2 i A 2 j + ... + a n i A n j ) .

i1

Учи ты вая, что сум м а произведений элементов г-го столбца на соот­

ветствую щ ие алгебраические дополнения элементов j- ro

столбца р ав ­

на нулю при i Ф j и равн а определителю Д при i — j 23)

, получим из

последнего равенства

 

e l ^ - l j + е 2 ^ - 2 j + • • • + e n ^ - n j — e j А ,

 

откуда ej

+

- д ^е2 +

••• +

- ф

подробнее

З .Ц

,

71-21

,

 

e i

+ ....

=

 

 

+

д

2

 

= “Т Т ® 1

 

 

е 2

3-12

,

71-22

,

+ ....

=

 

 

+

д

2

 

= “Т Т ® 1

 

 

е п

3-1 п

!

А 2 п

,

+ . ..

=

/ \ е1

+

д

во

 

~ ~

 

д

2

 

е'п

U

= Г 2,

п ) и л и

+

Tl-nl

,

 

------ е

п ’

 

 

Д

 

+

А п 2

,

 

------ е

п ’

(2.28)

 

Д

 

А

 

 

+

Л ГШ е

/

 

 

Д

п '

 

Ф орм улы

(2.28)

и

устанавливаю т, что

обратны й переход

от бази ­

са е^, ef),

... ,

к

базису

e i, в 2 , ... ,

е п

осущ ествляется

с

помощ ью

м атрицы

(2.27),

обратной

к

м атрице

А .

Э ту обратную

к

А

м атрицу

мы кратко будем обозначать символом А ~ 1.

 

 

 

2 .

С вязь

м е ж д у

п реобразован и ем базисов

 

и п р еобр азо ­

ванием

соответствую щ их

координат. П усть, как

и

выш е, ба­

зис e i, в 2

, . .. , еп преобразуется в базис е^, е^, ... , е^ с помощ ью невы ­

рож денной м атрицы (2.26), так что обратное преобразование базисов задается м атрицей (2.27). П усть далее х — произвольны й элемент рас­

см атриваем ого линейного п ространства R , (ад, ад, ... , х п ) — его коор­

ди н аты относительно первого

базиса e i, в 2

, ... , е п,

(х[,

х '2, ... , х'п ) —

его координаты

относительно

второго

базиса

е^, е^, ... ,

е^, так что

х — xiei +

х2е2 + •••+

«

=

x±ei

+

ж2е2

+ ...

+ хпеп.

23) См . свойство 4 °) из п. 4 § 2 гл.,1.

 

 

 

 

 

§ 4. ПРЕОБРАЗОВАНИЕ КООРДИНАТ

 

 

69

П одставив в это равенство вместо элем ентов e i,

в 2

, . . е п их вы р аж е­

ния, определяем ы е ф орм улам и

(2.28), получим

 

 

 

 

 

х =

аде

 

+ ж2е 2

+ • • • +

х'п е'п

 

 

 

 

 

 

 

 

 

 

 

 

i c i

 

 

 

 

 

 

 

 

 

 

=

x i

 

 

+

 

2 +

 

 

+

А п 1

 

 

+

 

 

 

 

 

 

А

Д

 

 

------(

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

д

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+

Х2

Л-12

 

+

^22

 

+ . .

+

А п2

 

+ . .

 

 

 

 

 

 

 

е

" д " (

 

~ А {

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+

х г

 

 

 

 

^ 2

п

 

 

А п

 

 

 

 

 

 

 

 

 

 

~д~'

 

 

+

{

 

 

А

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

А

 

 

 

И з

последнего

равенства

силу

единственности

разлож ен и я

по

базису

е[,

е 2, ... ,

е'п ) сразу

ж е

вы текаю т

ф орм улы перехода от

ко­

ординат

(ад, ад, • •

х п )

относительно

первого

базиса

к координатам

(х[, х 2,

. . х'п )

относительно второго базиса:

 

 

 

 

 

 

 

 

 

 

 

=

А и

Xi

+

А\2

 

+

 

 

A i n

 

 

 

 

 

 

 

 

 

Д

 

 

 

.. . +

д - * » ’

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

х'2 =

А 21

+

А 22

+

 

 

А 2П

 

 

 

 

 

 

 

 

 

Xi

д - ж2

 

.. . +

 

 

 

(2.29)

 

 

 

 

 

 

~д~

 

 

 

 

 

■ д " Хп’

 

 

 

 

 

 

/

 

A n i

 

 

А П2

 

 

 

 

А ПП

 

 

 

 

 

 

 

 

Хп

=~ ~а

ад

+

Ж2 +

 

. .. +

А

Хп•

 

 

 

Ф орм улы

(2.29)

показы ваю т,

что

переход

от

координат

(ад, ад,

• •

х п )

к

координатам

(х[,

х 2, ... , х'п )

осущ ествляется

с

помощ ью м атрицы

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

А

п

 

А 12

 

 

 

A i n

 

 

 

 

 

 

 

 

 

 

 

 

 

Д

21

 

А

"

"

 

" д "

 

 

 

 

 

 

 

 

 

 

 

 

 

А

 

А

22

 

 

 

А 2п

 

 

 

 

 

 

 

 

 

 

 

 

д

 

 

Д

 

"

"

 

д

 

 

 

 

 

 

 

 

 

 

 

 

 

A n i

 

 

 

 

 

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

хА-пП

 

 

 

 

 

 

 

 

 

 

 

 

~ А

 

Д

 

"

 

д

 

 

 

 

 

транспонированной к обратной м атрице

 

(2.27).

 

 

 

 

 

М ы приходим к следую щ ему выводу: если переход от

первого

ба­

зиса

ко

вт ором у

осущ ест вляет ся

с пом ощ ью

невы рож денной м а т ­

рицы

А , то переход от

координат произвольного элем ент а от носи­

т ельно первого базиса к координат ам эт ого элем ент а от носит ельно вт орого базиса осущ ест вляет ся с пом ощ ью м ат рицы (И - 1 )', т ранс­ понированной к обратной м ат рице А ~ 1.

Г Л А В А 3

С И С Т Е М Ы Л И Н Е Й Н Ы Х У Р А В Н Е Н И Й

И з элементарного курса и из курса

аналитической

геом етрии чи ­

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

линейны х уравнений

с двум я неиз­

вестны ми и с системами двух

и трех

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

неизвестны м и 1) . Ц елью настоящ ей главы явл яется изучение системы произвольного числа т линейны х уравнений с произвольны м числом п неизвестны х.

М ы сн ачала установим необходимое и достаточное условие сущ е­ ствования хотя бы одного реш ения (или, как говорят, совм ест ност и)

такой системы, а затем займ ем ся оты сканием всей совокупности ее ре­

шений.

 

 

 

 

 

В

§ 4 гл. 4

будет рассм отрен важ н ы й д л я

прилож ений

случай

приближ енного

задан и я

всех

коэф ф ициентов

системы и ее

свобод­

ны х

членов. Д л я этого

случая

будет излож ен

м ет од р егуляр и за ц и и

А .Н . Т ихонова , позволяю щ ий найти так назы ваем ое норм альное (т. е.

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

В гл. 6 будет дано представление о численны х (итерационны х) ме­

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

§ 1. У словие совм естности линейной систем ы

1. П онятие систем ы

линейны х

уравнений и

ее реш ен ия .

В общем случае система т

линейны х

уравнений с п

неизвестны м и

(или, кратко, ли н ей н а я

сист ем а)

имеет следую щ ий вид:

a n x i +

ai2^2

+

.. . +

CLinXn — Ьъ

 

0*21%1 4~ &22^2

+

• • . 4“

OJ2п%п — ^2 5

(3.1)

 

 

 

 

 

 

^ral^l 4“ &т2%2 4“ • .. Н- атпх п Ьт .

П ри этом через ад, Ж2 , ... , х п обозначены неизвестны е, подлеж ащ ие

х) См. выпуск «Аналитическая геометрия», дополнение к гл. 1.