книги из ГПНТБ / Заманский, М. Введение в современную алгебру и анализ
.pdf90 ГЛ. III. ЛИНЕЙНАЯ АЛГЕБРА
следующее |
уточнение. |
Можно |
предположить, |
что |
базис |
||||||||
аи ..., ар пространства Е таков, |
что аь |
..., |
атесть базис про |
||||||||||
странства А размерности г. Тогда, если |
|
|
|
|
|||||||||
|
|
|
х = 2 |
£kak> х' ~ |
2 |
^kaki |
|
|
|
||||
то у с л о в и е х - |
л ' е / 1, р а в н о с и л ь н о т о м у , чт о с у м м а |
|
|
||||||||||
|
|
|
|
|
^ |
(%k |
I*) ак |
|
|
|
|
||
имеет вид |
|
|
|
|
|
|
|
|
|
|
|
|
|
а значит, |
равносильно тому, что |
— |
для k = |
r -1-1........р. |
|||||||||
Иными словами, все |
элементы х', связанные с х отношением 91, |
||||||||||||
|
|
І |
|
|
|
|
|
|
|
||||
получаются из равенства |
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
х ~ |
^ |
£kak "Ь |
£А |
|
|
|
|||
|
|
|
|
|
К = 1 |
|
Г + 1 |
|
|
|
|
|
|
(где t r+I, |
... , |
| р фиксированы |
и где |
|
|
меняются произ |
|||||||
вольным |
образом в К). |
Это |
означает, |
что |
класс |
элемента х |
|||||||
|
|
|
|
|
|
|
|
р |
|
и обратно, |
р |
||
определяется однозначно заданием 2 |
%k<*h |
%kak |
|||||||||||
|
|
|
|
|
|
|
|
Г + 1 |
|
|
Г + І |
||
определяет |
некоторый класс. |
Но |
Р |
%kak есть элемент |
допол- |
||||||||
2 |
|||||||||||||
|
|
|
|
|
|
|
|
г+ 1 |
|
|
|
|
|
нительного к А подпространства, и алгебраические законы на этом дополнительном подпространстве, которое является под пространством пространства Е, определяют законы на E/A и превращают его в векторное пространство. Мы сформулируем эти понятия и результаты следующим образом.
Если А есть подпространство пространства Е, то E/A назы вается факторпространством пространства Е по Л; E/A изо морфно подпространству, дополнительному к А или (эквива лентная формулировка)
dim E/A = dim Е — dim А.
Пример . Приведем геометрический пример, использующий элементарное понятие свободного вектора. Пусть OU, ОѴ и OW —три вектора, образующие невырожденный триэдр. И пусть
.А — пространство, состоящее из свободных векторов плоскости OUV. Дополнением является множество свободных векторов, несомых OW-, и если через Е обозначено все пространство, то E/A образовано элементами, один из которых представляет со-
2. ЛИНЕЙНЫЕ ОТОБРАЖЕНИЯ |
91 |
бой множество свободных векторов ОМ', обладающих тем свой ством, что если задан вектор ОМ, то свободный вектор М'М при
надлежит |
плоскости OUV или, |
выражаясь более элементарно |
(и менее точно), что прямая М'М параллельна плоскости OUV. |
||
Элемент |
из E/A определяется |
взаимно однозначно вектором |
Ор, определяемым пересечением носителя вектора OW с пло скостью, параллельной OUV. Пространство E/A изоморфно мно жеству векторов, несомых OW. Пространство Е имеет размер ность 3, А имеет размерность 2, а E/A — размерность 3 — 2 = 1,
§6. Ранг линейного отображения
Вэтом и в следующем параграфах мы изложим некоторые свойства ранга линейного отображения. Имеются в виду все еще конечномерные пространства. Ранг отображения / есть
размерность |
г подпространства ҢЕ) |
пространства |
F. |
Если |
||
р = dim Е, q — dim F, то, как мы видели |
(§ 3, теорема 3), |
г |
||||
^ р. Очевидно также, что г ^ q. |
|
над К и ф— изомор |
||||
Пусть G есть |
векторное пространство |
|||||
физм пространства F на G (взаимно однозначное линейное ото |
||||||
бражение) ; фо/ |
есть линейное отображение пространства Е |
|||||
в G и ф(f(E)) |
есть подпространство |
пространства |
G — образ |
|||
при отображении ф подпространства |
f(E)czF. По теореме 4, |
|||||
§ 3 ф(/(£)) имеет ту же размерность, что и /(£). Итак: |
|
|
||||
Если ф есть изоморфизм пространства F на другое простран |
||||||
ство, то ср of |
имеет тот же ранг, что и /. |
|
|
|
||
Точно так же, |
если ф есть изоморфизм пространства G на Е, |
то f о ф, линейное отображение G в F, имеет тот же ранг, что и /.
Эти результаты дополняют теорему 4 § 3.
Более того, если заметить, что р-мерное подпространство р-мерного пространства Е тождественно Е, то можно сформули
ровать следующий результат (ср. § |
4, теорема 2, замечание). |
|
Т е о р е м а 1. Если Е имеет конечную размерность р, |
то для |
|
того чтобы линейное отображение f пространства Е в Е |
(эндо |
|
морфизм) было взаимно однозначно, |
необходимо и достаточно, |
|
чтобы f было отображением Е на Е, |
или (эквивалентное усло |
|
вие) чтобы / имело ранг р. |
|
|
Отметим, с одной стороны, что в силу замечания к теореме 2, § 4, если ранг отображения / равен р, т. е. если размерность пространства f(E) равна размерности пространства Е, то / есть изоморфизм Е в F (или на F), и обратно; с другой стороны, если ранг отображения / равен размерности q пространства F, то / есть отображение Е на F, и обратно.
Рассмотрим теперь /-1 (0). Это есть множество тех х е Е, для которых f(x) = 0 e F . Оно составляет подпространство про странства Е. Пусть г — ранг отображения /, а р — размерность
92 |
ГЛ. III. ЛИНЕЙНАЯ АЛГЕБРА |
пространства Е. |
Покажем, что размерность подпространства |
/ - 1 (0) равна р — г, |
т. е. |
dim f“1(0) = dim Е — dim f (E).
Пусть (aft) — базис в Е,
р р
X == 2j £л^л> f (х) — 21 £л/ (^л)- |
|
1 |
1 |
Так как f(E) имеет размерность г и порождается элементами f(an), то максимальное число линейно независимых f{an) рав но г (раздел 1, § 2, теорема 2, замечание 1). Допустим, к при меру, что /(йі), •••, f{ar) линейно независимы. Тогда
|
|
Г |
|
|
|
|
|
|
|
|
/ |
( ö r + f t ) = |
2 і |
^r+h, nf ( Un) |
(h — |
1 , 2 , . • . , |
|
p — r). |
|
||
|
я=1 |
|
|
|
|
|
|
|
|
|
Имеем, следовательно, |
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
р - г |
|
Л |
|
|
f{x) = 2 |
l j K ) + 21 lr+hf («r+h)“ |
2 |
=л+ 2 1 1 |
|
К ап)- |
|||||
|
|
|||||||||
n = I |
|
r t= l |
|
rt=ss1 |
h = I |
'Г+Ал г + А, п |
||||
Стало быть, для того чтобы д: е /_1 (0), |
т. е. чтобы f (х) |
= |
0 e f , |
|||||||
необходимо и достаточно, |
чтобы |
|
|
|
|
|
|
|||
|
|
|
|
р-г |
|
|
|
|
|
|
Отсюда |
|
p - r |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
Х ~ |
21 Ір+А |
П—\ K+h. пап + А■ r+h |
|
|
|
||||
|
|
/2=1 |
|
|
|
|||||
Но р — г элементов |
2г1 |
|
|
|
|
|
|
|
||
|
br+h— Q-r+h |
^r+h,nati |
(h — I , . . |
. , p — |
Г) |
|
||||
|
|
|
л«=І |
|
|
|
|
|
|
|
из Е линейно независимы, ибо, предположив обратное, мы сразу же получили бы, что (ап) не будут линейно независимы. Тем самым доказан результат, который мы формулируем следую
щим образом. |
2. |
dimf"1(0) = |
dim£ — dimf(E). |
Т е о р е м а |
|||
Ңо факторпространство |
E/f-ҢО) имеет размерность p — |
||
— (p — r) = r |
(§ 5). Это составляет содержание следующей |
||
важной теоремы. |
£//"’(0) изоморфно / (Е). |
||
Т е о р ё м а |
3. |
2. ЛИНЕЙНЫЕ ОТОБРАЖЕНИЯ |
93 |
§ 7. Линейные формы. Сопряженные пространства |
|
Определение. Пусть Е — векторное пространство над |
по |
лем К; алгебраическим сопряженным, или просто сопряженным к Е, называется векторное пространство над К всех линейных форм на Е (ср. § 2, а)).
Сопряженное к Е обозначается Е*.
Мы приведем несколько свойств пространства Е*, которые относятся к Е, к линейным отображениям и к прямой сумме и которые приведут нас к важной теореме о транспонированиях линейных отображений. Мы предполагаем векторные простран
ства конечномерными. |
|
|
имею |
|
Т е о р е м а 1. Если Е — векторное пространство над К, |
||||
щее размерность р, то Е* тоже имеет размерность р. |
|
|||
В самом деле, пусть (ат ) — базис пространства Е\ если х е |
||||
е Е, то он единственным способом записывается в виде |
|
|||
|
р |
|
|
|
|
X = 2 |
|
|
|
|
т—1 |
|
|
|
Пусть фт — линейная форма на Е, |
определяемая как отображе |
|||
ние х -> \т. Это |
отображение срт |
есть линейная |
форма |
в силу |
того, что <рт (х + |
х') = Іт+ І'т= Фт (х) + фт (x'), |
фт (ах) = |
а |т = |
= “Фт (*)•
Если ф есть произвольная линейная форма на Е, т. е. яв ляется элементом из Е*, то
р
ф (х)= 2 im<p(öm); m=1
следовательно, ф определяется значениями ат = ф(ат), кото рые она принимает на базисе пространства Е. А поскольку К
есть поле, т. е. коммутативно, то |
ф( х ) = 2 атфт (*) для любого |
|
х е £ , и значит, |
р |
|
|
|
|
|
ф == 2 |
® тфт‘ |
|
1 |
|
Но в Е* формы фт линейно независимы, ибо если бы |
||
|
р |
|
|
2 ^тфт = 0 е Е *, |
|
|
I |
|
где не все Кт ^ К равны 0 е К, |
то мы имели бы для всех х е |
|
е Е |
р |
|
|
|
2^тфт (х) = 0 е к ,
т=1
94 ГЛ. Ш. ЛИНЕЙНАЯ АЛГЕБРА
т. е. |
2 Ä'mim = 0- Но это невозможно для любого х, |
в силу того, |
|
что, |
если, |
например, кр ф 0, то достаточно взять |
£і = £2 = .. • |
. . . = |
| р _ і = 0 e â : и Ь ^ 0 е і ( . |
|
|
|
|
р |
|
Итак, |
любая форма представима в виде <p = 2 |
ccmcpm, и cpm |
|
|
|
от=1 |
линейно независимы. Это означает, что (<рт ) есть базис про странства Е*, и стало быть Е* имеет размерность р.
Пусть теперь Е, и Е2— два взаимно дополнительных под пространства пространства Е, т. е. Е = Е1+ Е2. Всякая линей ная форма на Е{ может рассматриваться *) как линейная форма
на Е. Иными |
словами, Е*<^Е*. |
Точно так же ElczE", и |
||
можно Е\ и El |
рассматривать как |
подпространства |
простран |
|
ства Е*. Если dim Е\ ~ |
г, то dim Е2 = |
р — г, dim Е* = г, |
dim £ 2 = |
|
= р — г. Если <р, s Е\ |
и ф2е £ * рассматриваются как элементы |
из Е*, то равенство ф, = ф2 возможно лишь в случае Фі = ф2 = 0. Следовательно, Е\ и El взаимно дополнительны. Итак,
£* = £! + El.
Наконец, покажем, что если Е — Е\ -\-Е2, то множество всех тех ф е Р , для которых ф( хі ) = 0 при любом Х\ е Ей может быть отождествлено с £ * , сопряженным к дополнению подпро странства Е\. В самом деле, ф е £ * определяется как
р
X—>2 ^mim.
где £т — координаты элемента х в базисе (ат ) пространства £, причем аи ..., аг— базис пространства Еи а аТ+\...... р — базис
пространства Е2. По предположению, |
ф(хі) = 0 <= К при любом |
|||||||
Х\ е |
Е\. |
Следовательно, рассматривая |
|
Х\ как |
принадлежащий |
|||
Еі |
(т. е. координаты 1г+і, . |
£р равны нулю), |
мы должны по |
|||||
лучить |
|
Г |
|
|
|
|
|
|
|
|
|
“ 0, |
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
каковы |
бы ни были |
£т , что |
влечет km = 0 (/72 — 1, |
2, мі) Г), |
||||
Значит, |
ф определяется как |
|
|
|
|
|
||
|
|
|
X—► |
|
|
|
|
|
|
|
|
|
r+1 |
|
|
|
|
|
*) А именно, если f е |
£*, то можно определить линейную форму J на Е, |
||||||
полагая f{x) = f(^i) для |
любого |
х — Х\ + Х2, |
Х \ ^ Е \ %Хг s |
Отображе-^ |
||||
ние |
f-+J |
пространства |
Е{ в Е инъективно |
и |
позволяет отождествить |
с подпространством Е*'. Это определение зависит от выбора пространства E%t дополнительного к Ей
2. ЛИНЕЙНЫЕ ОТОБРАЖЕНИЯ |
95 |
Обратно, такая форма принимает значение 0 для х е Е Ѵ Таким образом, все ф получаются заданием %т всех возможных значе ний. Так как мы получаем все элементы из Е\, задавая рт
в выражении
р
% 2 >2Е' У-nÂin
г+1
все возможные значения, то отсюда заключаем, что это множе ство форм ф может быть отождествлено с E t
§ 8. Транспонирование линейного отображения
Чтобы сделать последующие определения более оправдан ными, мы предпошлем им рассмотрение некоторых деталей.
Пусть / —линейное отображение пространства Е в F. В при нятых ранее обозначениях, имеем
f {x) =Ht |
|
Ы(Як)- |
|
|
й=І |
|
|
|
|
Если bi (I = 1,2, ..., q) есть базис в F, |
а гц — координаты эле |
|||
мента f(x), то |
|
я |
|
|
|
|
|
|
|
f іак) — 2 щфі, |
|
|
||
откуда |
1 = 1 |
|
|
|
|
|
|
|
|
% — jZj aiklk |
( /= 1, 2, |
. . q). |
(1) |
|
fc=l |
|
|
|
|
Легко видеть, что прямоугольная таблица из ар*, представляющая собой матрицу из q строк и р столбцов, определяет посредством предыдущих формул отображение f; компоненты a Ift, а 2й, ...
а qh элемента f(ah) определяют k-іл вектор-столбец, а мак симальное число линейно независимых вектор-столбцов в точ ности равно рангу отображения f, т. е. размерности простран ства f(E). Из этой матрицы получаем транспонированную ма трицу заменой в предыдущей таблице aik строк на столбцы; это будет матрица из р строк и q столбцов, которая определяет ли нейное отображение ^-мерного пространства в р-мерное. Можно было бы, следовательно, пытаться рассматривать это последнее отображение как отображение пространства F в Е. Далее объ ясняется, почему его рассматривают как отображение простран ства F* в Е*. Мы определили композицию линейных отображе ний, частный случай которой представляет собой композиция линейного отображения / пространства Е в F на линейную фор му ф на F (т. е. линейное отображение пространства F в поле К). Исследуем этот частный случай.
96 |
|
|
ГЛ. |
III. |
ЛИНЕЙНАЯ АЛГЕБРА |
|
|
|
||||
Отображение x-+cp(f(x)) определяет линейную форму на Е, |
||||||||||||
если |
ф е Р , |
то |
cp of ^ E* . |
Но |
если |
обозначить через |
|
гр |
||||
( / = |
1, 2, |
(?) |
координаты |
элемента i / e f |
относительно |
ба |
||||||
зиса (Ьі) в F, а через |
| й ( k = \ , |
2, |
р)— координаты |
эле |
||||||||
мента г е £ относительно базиса |
(ah) в Е, то линейные формы |
|||||||||||
cpI на F, определяемые как у-+ци |
и линейные формы фй на Е, |
|||||||||||
определяемые |
как |
|
|
определяют базисы пространств |
F* |
|||||||
и Е*, и для любого ф e f * |
|
<7 |
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Ф = |
S Ф (&і) Фь |
|
|
|
|
||
|
|
|
|
|
|
|
1=1 |
|
|
|
|
|
а для любого i f e P |
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
2 ^ ( а*) |
|
|
|
|
||
т. е. |
|
|
|
|
|
ft=i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ф= |
2 |
яіфь |
'Ф= 2 |
м л - |
|
|
|
||
|
|
|
|
|
(=i |
|
|
ft—I |
|
|
|
|
Ho |
фof есть элемент |
из E*, |
определяемый |
как ас—>ф(f(я)), |
и |
|||||||
|
ф (/ (*))= |
2 b |
S |
а«Ф |
л |
2 а^ф(^і) Ій- |
|
|
||||
|
ft=i |
|
|
|||||||||
|
|
ft=1 |
L(=i |
|
(=i |
|
|
|
||||
Следовательно, |
|
|
|
|
|
|
|
|
|
|
||
|
|
ф 0 / = |
р |
( |
ч |
|
\ |
р |
|
|
|
|
|
|
2 |
2 ф(ь‘) |
И5*= |
2 иаФй, |
|
|
|||||
где |
|
|
|
ft=l \J=1 |
|
/ |
ft=l |
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
И* = |
2 |
|
|
|
|
(2) |
|
|
|
|
|
|
|
і=і |
|
|
|
|
|
Формулы (2) выводятся из (1), если рассмотреть именно транс понированную матрицу. Поэтому отображение ф—>-ф°/ про странства F* в Е* будет называться транспонированным к f.
Определение. Пусть Е и F — два векторных |
пространства |
над К, Е* и F* — их сопряженные и f — линейное |
отображение |
пространства Е в F. Транспонированным к f называется ото- бражение пространства F* в Е*, которое каждой линейной фор ме ф на F ставит в соответствие линейную форму ф° f на Е.
Транспонированное к f отобраокение обозначается *f.
Из этого определения вытекает, что {f определяется тожде ством ‘/(ф) = ф °f при любом ф е £ * . Но если обозначить че рез *f((p(x)) значение в К отображения lf, то из предыдущего тождества и из определения равенства двух линейных форм
|
|
2. л и н е й н ы е о т о б р а ж е н и я |
97 |
|
вытекает, |
что 7 |
определяется также |
посредством |
тождества |
7 (ф(*)) = |
ч>({{х) ) |
при любых ф б Р , |
а’е І Первое тождество |
записывается как равенство между элементами из Е*, а вто рое— как равенство между элементами из К.
Доказательство следующих свойств |
не представляет труда. |
||||
7 есть линейное отображение F* в Е*. |
|
||||
*(/ + |
<?) — 7 + 7?> каковы бы ни были |
линейные отображе |
|||
ния /и |
g пространства Е в F. |
|
/(. |
||
1 (а/) = а 7 |
для любого f и любого а е |
||||
|
= 7 °fg, где g — линейное отображение F в G. |
||||
Далее следует важный результат, |
относящийся к / и к 7- |
||||
Те о р е ма . |
Линейное |
отображение |
f пространства Е в F, |
||
где Е и F — конечномерны, и его транспонированное 7 имеют |
|||||
одинаковый ранг. |
|
7 и рассмотрим фактор- |
|||
Положим для удобства записи g = |
|||||
пространство |
F*/g~l (0) |
пространства |
К* |
по подпространству |
|
g-1(0). Согласно теореме 3, § 6 F*/g~l (0) |
изоморфно g(F*) — |
= lf(F*), или, иными словами, ранг отображения 7 является размерностью факторпространства F*/g~1(0). Но (§ 5)
dim F*!g~x (0) — dim F* — dim g-' (0) = q — dim |
(0) |
|
(§ 7, теорема 1). |
|
относитель |
С другой стороны, пусть 2Г— дополнение к f(E) |
||
но F : F — f(E) -f |
Имеем F* — (f (Е) )* -f- &"*. Предположим, |
что f имеет ранг г и рассмотрим g"’(0), которое представляет
собой |
множество тех |
ф е Д |
для |
|
которых ^(ф) = |
0, т. е. |
|||||||
7(ф) |
= |
0 |
(в Е*). |
Но множество |
тех |
ф е Р , |
для |
которых |
|||||
7 ( ф ) = 0 е £ * , |
определяется |
также |
равенством |
‘f((p(x))=0 |
|||||||||
( е /C) |
для |
любых |
X <= Е, согласно |
тождеству, |
выведенному |
||||||||
при определении |
7- |
Но так как 7(ф(*)) |
= ф (/(*))> |
т0 |
эти ф |
||||||||
таковы, |
что при |
любых х ^ Е |
имеем |
ср(7(лг)) = 0 . |
Когда |
х ме |
|||||||
няется |
в Е, y = |
f(x) |
меняется на |
f(E); |
поэтому |
для любого |
|||||||
y ^ f ( E ) |
имеем ф(у) |
= |
0. Из § 7 вытекает, что множество всех |
||||||||||
этих ф е Р |
является сопряженным |
к дополнению |
|
простран |
ства f(E), т. е. изоморфно @~*. Но F* имеет размерность q, (f(E))* имеет размерность г, и в силу равенства F* = (f(Е))* + + ЗГ* имеем
dim = q — г — dim ^ -1 (0).
Так как
dim F*/g~l (0) = q — dim g “1(0) = q — (q — r) = r,
TO
dim f (F:) = r.
З а м е ч а н и е . Отметим, что доказательство этого резуль тата не требовало обращения к теории матриц и определителей.
4 М. Замаиский
98 |
ГЛ. Ш. ЛИНЕЙНАЯ АЛГЕБРА |
§9. Линейные уравнения
Вэлементарных курсах изучают так называемые линейные уравнения. Когда говорят, например: «рассмотрим линейное
уравнение ах = Ь» или «систему линейных уравнений ах + by = = с, а'х + Ь'у = с'» или, еще, «линейное дифференциальное уравнение ay' + by == f (х)», то эти фразы и эта запись озна чают, что хотят, насколько это возможно, реализовать равен ство, рассматривая как известные некоторые величины и как неизвестные остальные. Знак = имеет совершенно не тот смысл, который ему придавался до сих пор; его смысл является услов ным, а его использование объясняется невозможностью беско нечно увеличивать количество символов.
С другой стороны, нетрудно заметить сходство между основ ными свойствами уравнений, приведенных в качестве примеров.
Так, |
х —*ах определяет линейное отображение R в R; если паре |
|||
(х, у) |
е R2 ставится |
в соответствие |
пара (x', y') |
е R2, опреде |
ляемая равенствами |
х' = ах + by, у |
' = а'х + Ь'у, |
то тем самым |
определяется линейное отображение f плоскости R2 в R2, и си стема линейных уравнений ах + by — с, а'х + Ь'у = с' записы вается в виде одного уравнения f ( X ) — C, где Х — (х,у) и С = {с, с'). Напомним еще одно свойство, которое часто форму лируется следующим образом: если известно некоторое решение у0 уравнения ay' + by = f (х), то все решения получаются при бавлением к уо решений однородного уравнения ay' -{-by = 0; этот результат формулируется также и для первых двух
примеров.
Цель настоящего параграфа — привести в общем виде основ ные свойства уравнений, называемых линейными, и указать теоремы существования, не связанные с «эффективным вычис
лением» решений.
1) Пусть Е и F —два векторных пространства над одним и тем же полем К, f — линейное отображение Е в F, рассматри ваемое как заданное, и уо —элемент из F, рассматриваемый как заданный. Уравнение
|
|
f(x) = y0 |
|
|
называется |
линейным |
уравнением, |
х называется |
неизвестным, |
Ң х ) — левой |
частью |
уравнения, а |
у0— правой |
частью. Если |
yo_ O e F, уравнение f(x ) = 0 называется однородным уравне нием (соответствующим уравнению f{x) — уо)- Если существует такое г е £ , что выполняется f(x) = у0, то х называется реше нием. Если уравнение не имеет решения, то говорят, что уравне
ние несовместно.
Когда F = К, т. е. когда у0 есть скаляр, линейное уравнение - называется скалярным; это слово часто опускается.
2. ЛИНЕЙНЫЕ ОТОБРАЖЕНИЯ |
99 |
||
Мы будем рассматривать также системы линейных скаляр |
|||
ных уравнений (в конечном |
числе), т. е. |
множество уравнений |
|
fi(x) = ai |
(1= 1,2, . . . . |
q), |
|
где fi — линейные формы на Е и щ е К. |
Предыдущие |
понятия |
распространяются сами собой на системы.
Два уравнения или две системы или одно уравнение и одна система называются эквивалентными (равносильными), если они имеют одинаковые решения (очевидно, пространство Е должно быть тем же самым для рассматриваемых систем или
уравнений).
Всякая система линейных скалярных уравнений эквивалент на одному линейному уравнению.
В самом деле, рассмотрим |
систему fi{x) — сц ( / = 1, 2, ... |
.... q) и отображение x-*f(x) |
пространства Е в Kq: |
x-*{fi(x), h(x), ... , fq(x)).
Легко видеть, что в силу определения внутреннего и внешнего законов на К4 (см. гл. II, раздел 4, § 3) и линейного характера форм fm отображение f есть линейное отображение Е в К4. Положим
Уо = («1, а2, .... aq)<=K4, f(x) = (fl (x), . .. , fq(x)).
Тогда, по определению равенства двух элементов из Kq, система эквивалентна уравнению f(x) — у0.
2) Рассмотрим однородное уравнение f(x) = 0 . Теоретически его решение просто: множество его решений есть множество тех
н е Я , образом которых в F при отображении f |
является 0 g F. |
Это множество было обозначено через f_1(0); |
оно составляет |
векторное подпространство пространства Е\ |
элемент 0 е £ |
всегда есть решение; это решение называется тривиальным.
П р е д л о ж е н и е I. Однородное линейное уравнение f(x) = = 0 имеет в качестве решений элементы подпространства f~l (0), которое всегда непусто.
Если |
Е имеет размерность р, а / имеет ранг г |
(^ .р и |
^ q ) , |
||||||||
то f~l (0) |
имеет размерность р — г |
(§7, теорема 2). Можно, сле |
|||||||||
довательно, |
сказать, |
что линейное уравнение |
f(x) = 0 |
имеет |
|||||||
в качестве решения элементы пространства размерности |
р — г. |
||||||||||
Допустим теперь, что известно решение х0 уравнения f(x) |
= |
у0. |
|||||||||
Значит, |
f(x0) = уо, и |
уравнение |
записывается |
в |
виде f(x) |
— |
|||||
= f(x0). |
Если X— решение, то |
f(x — x0) — 0, |
поскольку |
f |
ли |
||||||
нейно. |
Следовательно, |
х — х0е / _1(0), |
что |
означает, |
|
что |
|||||
X = хо + |
Ху для любого Хі е /_1 |
(0). Отсюда: |
|
решение |
х0 |
||||||
П р е д л о ж е н и е |
2. |
Если |
известно |
некоторое |
|||||||
линейного |
уравнения |
f{x)=yo, |
то все |
решения |
получаются |
4*