![](/user_photo/_userpic.png)
книги из ГПНТБ / Заманский, М. Введение в современную алгебру и анализ
.pdf80 |
ГЛ. III. ЛИНЕЙНАЯ АЛГЕБРА |
|
Таким образом, |
как только известны |
может быть най |
дено произведение ху двух заданных элементов х, у в <%. Но не произвольны, ибо в силу ассоциативности умножения в с? бу дет выполняться равенство
(ala,)ak = |
ai {ajak), |
которое влечет |
|
2 |
2 = = |
Теперь можно показать, что |
если & — векторное простран |
ство, (а,) — его базис и ( |іді)— элементы из К, удовлетворяю |
щие последнему соотношению, то & становится алгеброй в том случае, если для
X = |
СЕ(Й(, |
у = |
ßyßy |
положить |
х у = 2 1аißjhikük. |
||
|
|||
Формулы |
Hk |
|
|
|
|
|
|
|
— 2 і |
%Hka k |
|
|
k |
|
|
составляют то, что называется таблицей умножения. |
|||
Пр и м е р. Среди многочисленных |
примеров (поля, алгебры |
квадратных матриц порядка п, алгебры числовых функций, определенных на множестве, алгебры непрерывных функций на топологическом пространстве,...) выберем пример многочленов (ср. гл. II, раздел 4, в конце).
Мы вкратце опишем умножение, которое в соединении с за конами векторного пространства превращает & в алгебру, при чем кольцо Ф будет к тому же коммутативным и унитарным.
Каждой паре (А, В) из двух многочленов мы поставим в со
ответствие многочлен С = |
(с0, сь ..., ск, ...) |
вида |
|
ck — akbo+ |
ak-\bi + |
• • • |
a+ 0bk. |
Будем называть его произведением многочленов А и В и запи
сывать |
С = AB. |
Определенное |
так умножение |
ассоциативно и |
коммутативно. |
Многочлен / = |
(1,0,0,...), все |
коэффициенты |
|
которого равны нулю, кроме первого, равного 1, |
есть нейтраль |
|||
ный элемент относительно этого закона: І А — AI = А при лю |
||||
бом |
Это умножение вдвойне дистрибутивно относитель |
|||
но сложения: |
|
|
|
А {В + С) = AB + АС = (В + С) А
для любых А, В, С. Кроме того,
а (AB) = (ссЛ) В== А (аВ)
- для любых А, В, а.
|
|
1. |
ВЕКТОРНЫЕ ПРОСТРАНСТВА |
81 |
|
Найдем произведение еРед двух многочленов базиса. Пусть |
|||||
ер = |
(oto, аь •••, а р, |
ар+і ...), |
где ак = 0 при k ф р, |
а а р= 1 ; и |
|
пусть |
= |
(ßo, ßi,...), |
где ßft = |
0 при k ф q, a ßg = |
1. Коэффи |
циент при |
(к + 1)-м члене в произведении еред равен a*ßo + • • • |
||||
... -f- ccoßft; |
он может быть отличен от нуля лишь в случае, если |
эта сумма содержит a Pß?. Но каждый член суммы ccftßo + ...
... -f- aoßft представляет собой произведение элементов из К с
суммой индексов, равной k; значит, |
a pß, может находиться толь |
ко в ( p ф q ф \ ) - ш коэффициенте; |
отсюда следует, что отлич |
ным от нуля может быть только коэффициент произведения еред
при (р + |
q + 1) -м члене. Этот коэффициент равен |
|
|||||
|
^p+^ßo “I- • • • “Ь ®pß<7 |
• • • |
~Ь ®oßp+A |
^p ß p == !■ |
|||
Следовательно, |
|
|
|
|
|
||
|
|
epeq ~ |
e qep = |
ep+q‘ |
|
|
|
Из этого равенства, справедливого |
при любых р, q, вытекает |
||||||
ехе\ = |
е2, |
е\в\в\ = е3...; |
вообще, |
если положить |
и = е\, то |
||
вп = |
и”, |
где ип означает |
n-ю степень элемента |
и, т. |
е. произве |
дение п элементов, равных и\ тогда всякий многочлен записы вается в виде А — öo + ахи + ... + апип, при условии, что во отождествляется с 1. Это и есть обычное (элементарное) обо значение, с точностью до того различия, что под и здесь пони
мается не переменное, а специальный многочлен, |
степени кото- |
|||||
• рого порождают |
|
|
что если для А имеем ар Ф 0 и |
|||
Отсюда |
можно заключить, |
|||||
op = 0 при k > |
р, а для В имеем Ьд Ф 0 и Ьк — 0 при k > q, то |
|||||
в произведении |
С — AB |
имеем |
коэффициент |
ср+д — арЬд и |
||
Си = 0 при |
k > |
р + q, так |
как |
коэффициент |
ск с номером |
|
k 7^ р -f q + |
1 может быть лишь коэффициентом при ек в разло |
|||||
жении С по базису с |
pA-q-\-\, причем eh = eoek= e\eu-i= ... |
|||||
А это требует, чтобы ск = |
0 ( к ^ |
р ф q ф \). |
|
Покажем теперь, что любой многочлен, отличный от Ѳ, регу лярен относительно умножения, т. е. равенство AB — АС влечет
В = С, если А ф Ѳ. Достаточно показать, что если AB = Ѳ, то один из многочленов А или В есть Ѳ. Допустим обратное. Тогда
при ар Ф 0 |
и flft = 0 |
(k > р), Ьд Ф 0 и bk — 0 (k > q) |
коэффи |
||
циент при |
(/?-f *7 + |
1)-м члене в произведении AB |
равен |
||
арЬд ф 0. |
Наконец, как мы знаем, ОД = Ѳ. Кроме того, |
1-А=А, |
|||
/■А — А, |
ѲА = АѲ = |
Ѳ. Заменим также Ѳ на 0, а е0 = |
/ |
на 1. |
Исследуем вопрос о том, имеет ли многочлен А симметричный многочлен В относительно умножения. Пусть аѵ, bg— ненулевые коэффициенты наибольшего индекса соответственно в А и в В. Равенство AB = е0 требует, чтобы арЬдер+д = 0, т. е. р = q = 0.
Итак, А = а0ео, В = Ьйе0.
82 |
ГЛ. III. ЛИНЕЙНАЯ АЛГЕБРА |
Постоянным многочленом, или постоянной, или константой,
называется многочлен, все коэффициенты которого, кроме, быть может, первого, равны нулю. Таким образом, только ненуле вые константы обладают симметричными.
Р А З Д Е Л 2
ЛИНЕЙНЫЕ ОТОБРАЖЕНИЯ. ЛИНЕЙНЫЕ ФОРМЫ
§ 1. Определения
Пусть Е и F — два векторных пространства над одним и тем же полем К. Линейным отображением пространства Е в F назы вается отображение f пространства Е в пространство F, удовле творяющее условиям
f(xl + x2)= f(xl) + f(x2), f (ах) — af (х)
при любых X, х\, х2 e f u a e К.
Если F = К, то линейное отображение пространства Е в К называется линейной формой на Е.
Если F — Е, то линейное отображение пространства Е в F, называется эндоморфизмом.
Заметим, что внутренние и внешние законы обозначаются для Е и F одними и теми же символами.
Понятие линейного отображения есть не что иное, как обоб щение элементарной функции, обозначаемой обычно как у — ах. Интуитивно можно утверждать, что линейное отображение про странства Е в пространство F переводит Е в F, устанавливая соответствие между их внутренними и внешними законами.
Отметим, что это определение не предполагает, что Е и F
имеют конечную размерность. |
|
действительных чисел, |
|||
Пр и ме р . |
Пусть |
R — множество |
|||
(х,у) — элемент |
из R2, |
(X, Y, |
Z) — элемент |
из R3, причем R2 и |
|
R3— векторные |
пространства, |
построенные |
как в главе II, раз |
||
дел 4, § 3. Если обозначить буквами а, Ь, ... |
заданные элементы |
||||
из R, то отображение R2 в R3, имеющее вид |
|
||||
X = ах + by, |
У= а'х + b'y, |
Z = а"х + Ь"у, |
является линейным отображением.
§ 2. Операции над линейными отображениями
а) Рассмотрим множество всех линейных отображений про странства Е в F. Если f, g — два линейных отображения, то бу дем через f + g обозначать отображение, определяемое как
2. ЛИНЕЙНЫЕ ОТОБРАЖЕНИЯ |
83 |
x-+f(x) 4-g(*)- Отображение f -f- g снова линейно и
= 8 |
f, g, h —три |
линейных отображения |
пространства Е |
Если |
|||
в F, то |
отображение |
(/ + g) + А = f + (g + h) |
тоже линейно. |
Будем через 0 обозначать линейное отображение, определяемое как х->0 e f , а через —f будем обозначать линейное отображе ние вида x - * —f(x). Наконец, через af будем обозначать линей ное отображение x —*af(x) ( а — произвольный элемент из К). Тогда имеет место
П р е д л о ж е н и е 1. Множество линейных отображений про странства Е в пространство F образует векторное пространство
над К.
б) Пусть Е, F, G — три векторных пространства над одним и тем же полем К. И пусть / — линейное отображение Е в F, а g — линейное отображение F в G. Тогда g ° f есть линейное отобра жение F в G. Это кратко формулируется следующим образом:
П р е д л о ж е н и е 2. Композиция линейных отображений есть линейное отображение.
Эта композиция дистрибутивна относительно операций над линейными операциями. В самом деле, пусть х —>/у(х), х —>
—*-/2(х)—Два линейных отображения Е в F. Линейное отобра жение /і+ /2 определяется как х-»(/і (х) + /2(х)), а go (Б +М — как x-*g(fi(x) + f2(x)). Но
g(fi(x) + f2 (x)) = g(h(x)) + g(h(x)).
Следовательно, g ° (/i + |
f2) = g ° fi + |
g °f2. |
Точно |
так же |
||
(gi + |
g2 ) °f |
определяется |
как x- *gi(f (x) ) + |
g2(f (x) ), |
а gi°f + |
|
+ 8 2 |
° f — как x-+gi(f(x))-\-g2 (f(x)). |
Наконец, g° af |
опреде |
|||
ляется как |
x^yg(ccf(x)), |
а поскольку g(a(f(x))) = ag(f(x)), |
||||
то go (af) = |
a(g°f). 3 |
|
|
|
|
3.Свойства линейных отображений
Пр е д л о ж е н и е 1. Если f есть линейное отображение про странства Е в пространство F, то элемент 0 из Е имеет своим образом элемент 0 из F.
Всамом деле, согласно определениям, f(0)=f(0x)=0f(x) =
=0 ( e f ) .
Нейтральные элементы относительно сложения как в Е, так |
|
и в F и К изображаются через 0. Всякий раз, как нам понадо |
|
бится уточнить, какому пространству принадлежит этот ней |
|
тральный элемент, мы будем писать 0 ( е £ ), 0 (еЕ ) |
или 0 (<^К). |
В предыдущих равенствах первый 0 принадлежит Е, |
второй при |
надлежит К, третий — тоже К, |
а четвертый — F. |
П р е д л о ж е н и е 2. / (Е) |
есть векторное подпространство |
пространства F. |
|
84 |
гл. іи . л и н е й н а я Ал ге б ра |
Напомним, что f(E) означает множество всех элементов f(x) из F, когда X пробегает Е (гл. I, § 2, 2)). Речь идет о том, чтобы показать, что элементы из f(E) удовлетворяют восьми равен ствам определения (гл. II, раздел 4, § 2, в конце).
Элемент 0 e F принадлежит f(E) в силу а) из предыдущего параграфа. Если f(x:) и f(x2 )—два элемента из f{E), то /(хі) +
.+ /(*г) тоже принадлежит f(E), поскольку
|
f (хі) + f (х2 ) ~ f (х 1+ х2 )\ |
элемент |
—f(x і) также принадлежит f(E), так как, обозначив |
через 1 |
нейтральный элемент относительно умножения в К (вме |
сто е), получаем —f(xj) = f( —x i). Тогда выполняются равенства |
|
1, 2, 3, |
4 из определения. Наконец, af(xj) принадлежит f(E) |
в силу того, что af(xl) = f(ax\). Отсюда следует, что последние |
четыре равенства тоже выполняются (там же).
З а м е ч а н и я . 1) Если f(E) имеет конечную размерность, то эта размерность называется рангом отображения f.
2) f(E) может не быть тождественно F. Так, линейное ото бражение
X — ах, Y = а'х
R в R2 есть отображение в, но не на (в элементарном выраже нии, f(E) есть прямая в R2). С другой стороны, если f(E) тож дественно F, то f есть отображение на, но не обязательно вза имно однозначное. Таков случай отображения
X = ах + by
пространства R2 в R.
Изоморфизм. Каким образом можно охарактеризовать вза имно однозначное линейное отображение f пространства Е на пространство F? Необходимо, чтобы f было отображением на. Пусть теперь f-1(0) есть прообраз элемента O e F , т. е. множе ство элементов из Е, образом которых в F при отображении f является элемент 0 из F. Множество f~l (0) есть векторное под
пространство пространства Е, ибо если х е / -1(0), |
то f(x) = 0 е |
|||||||||
e F , f(ax) |
— af(x) |
= 0 e F |
при |
любом а е і ( , |
и значит, |
а х е |
||||
6е /-'(0); если і ё |
(-‘(0) и |
г/е=/-‘(0), то f(x) |
= |
f(y) |
= |
0 е F, |
||||
а стало быть, f(x) + f(y) = |
0 e F |
и f(x + y) = |
0 e F ; |
следова |
||||||
тельно, |
X + |
у е f_1 (0). Остальные свойства очевидны. |
|
|
||||||
Но если f есть взаимно однозначное линейное отображение |
||||||||||
Е на F, |
то необходимо, чтобы множество f_1 (0) |
содержало лишь |
||||||||
0 е £ , |
Обратно, если /_1( 0 ) = 0 е Е |
при условии, что f —ли |
||||||||
нейное отображение Е на F, то различным элементам х \^ .Е и |
||||||||||
х2<=Е в F соответствуют f(x j) и f(x2) |
и f(xi) =/=/(х2); |
в самом |
||||||||
деле, в силу линейности f, |
условие f(xi) = f ( x 2) |
влечет f(x^) — |
||||||||
— f(x2 ) = 0 |
e F , а вместе с тем и f(x \ — х2) = 0 |
e F , |
а значит, |
|||||||
хх — х2 |
е f- |
1 (0) и Хх — х2 = |
0 е Е, откуда Хх = х2. |
|
|
|
2. ЛИНЕЙНЫЕ ОТОБРАЖЕНИЯ |
85 |
Следовательно, для того, чтобы линейное отображение f про странства Е на F было взаимно однозначным, необходимо и до
статочно, чтобы |
(0) = |
0. |
|
Теперь сформулируем следующее определение. |
|
||
Определение. |
Если Е и F — два векторных пространства над |
||
одним и тем же полем, |
а f — линейное отображение простран |
||
ства Е в пространство |
F, то подпространство /_1 (0) простран |
||
ства Е называется ядром. |
|
||
Отсюда получаем теорему. |
про |
||
Т е о р е м а 1. |
Для того чтобы линейное отображение |
||
странства Е на |
F было |
взаимно однозначно, необходимо |
и до |
статочно, чтобы ядро сводилось к элементу 0 пространства Е.
Если это выполняется, то обратное отображение /-1 тоже
является |
линейным |
отображением F на Е, так |
как, |
очевидно, |
Г ' (У\ + |
У2 ) = Г ‘ (/ (*1) + f (*2)) — Г* (/ (*i + *2)) = |
*i + |
x2 = |
|
= Г 'ІУі) + Г 1Ы ; |
Г 1(ау)= Г 1(а/(*))= Г ‘ (/ (ах)) = ах= а /-1 (у). |
Это служит основанием к тому, что взаимно однозначное ли нейное отображение Е на F называется изоморфизмом Е на F.
В случае, если такое отображение существует, Е и F называются
изоморфными.
Предположим, наконец, что f —линейное отображение Е в F
и что f_1(0) сводится к 0 е £ . |
Так как f есть отображение Е на |
||
f(E) |
(подпространство |
в F), |
то f есть взаимно однозначное |
отображение Е на f(E). |
Итак, |
можем сформулировать теорему. |
|
Т е о р е м а 2. Если f —линейное отображение Е в F, то усло |
|||
вие |
(0) = 0 необходимо и достаточно для того, чтобы f было |
изоморфизмом Е на подпространство f(E) пространства F.
В этом случае говорят, что f есть изоморфизм Е в F. Рассмотрим теперь п элементов х\, хч, ..., хп из Е. Если f
есть линейное отображение Е в F (векторное пространство над тем же полем К), то
/0*і*і+ |
+ апхп) = аф (хі) + |
... |
+ a nf(xn). |
|
||
Естественно возникает |
вопрос — будут |
ли |
образы |
f(x\), ... |
||
• ••, !(хп) линейно |
независимых элементов |
хи |
х„ |
из Е ли |
||
нейно независимы в F (и тот же вопрос для случая линейной |
||||||
зависимости). |
|
Е линейно независимы, то их образы |
||||
Если п элементов из |
в F при отображении f могут таковыми не быть. В самом деле,
достаточно рассмотреть |
пространство |
Е |
размерности |
р ^ |
п и |
|
пространство |
F размерности q < п ^ |
р |
(раздел 1, |
§ 2, |
тео |
|
рема 1). Возьмем |
|
|
|
|
|
|
Е = К 3, |
F = K2, |
* = (аі, а2, а3) е £ , |
у = (ßb ß2) е= F. |
86 |
ГЛ. |
ІИ. |
ЛИНЕЙНАЯ АЛГЕБРА |
|
Соотношения |
|
|
|
|
ßi = |
act, + ba2 |
+ |
ca3, ß2 = a'a, -f b'a2 + |
c'a3, |
где a, b, c, a', |
b', c' — заданные элементы из К, |
определяют ли |
нейное отображение пространства К3 в пространство К2. В К2 не могут существовать три линейно независимых элемента, и стало быть, образы трех линейно независимых элементов из /<3 не будут таковыми в К2. Однако имеет место следующий ре зультат.
Т е о р е м а |
3. |
Если в |
F образы f(x і), |
f(xn) |
элементов |
|
Х \ , ..., хп из |
Е |
линейно |
независимы, то |
элементы |
х\, |
хп |
линейно независимы в Е.
Эквивалентная формулировка:
Если хи ..., хп не являются линейно независимыми в Е, то их образы в F посредством линейного отображения тоже не бу дут таковыми.
Действительно, предположим, что аі*і |
апхп = |
0 е Е, |
|
где не все ат е |
К равны О е і(. Тогда |
|
|
f(a !*!+ ... |
+ а л ) = аJ (хг) + ... + а„/ (хп) = |
/ (0) = |
0 ез F, |
что доказывает теорему. Эта теорема имеет два следствия, важ ные для дальнейшего.
Т е о р е м а |
4. |
Пусть Е — векторное пространство |
конечной |
|||
размерности р, |
F — векторное пространство над |
тем же полем, |
||||
и f —линейное отображение Е в F. Подпространство f(E) |
про |
|||||
странства F имеет размерность ^ |
р. |
из |
/(£ ). |
Ка |
||
Действительно, |
пусть уи ..., |
уп — элементы |
ждый из этих элементов есть образ какого-то элемента
при отображении f; следовательно, в Е найдутся п таких эле
ментов Х \ , |
..., хп, что ym = |
f(xm) (m== |
1, 2........п). Если бы |
f(E) имело |
размерность |
(конечную |
или бесконечную), то |
можно было бы выбрать п~> р так, чтобы ут были линейно независимыми. По предыдущей теореме хт были бы тоже ли нейно независимы, что невозможно, так как Е имеет размер ность р < п .
Можно также сказать, что ранг отображения f не превосхо дит размерности пространства Е.
Т е о р е м а 5. Пусть |
Е и |
F — два векторных пространства |
над одним и тем же полем К, |
а ср — взаимно однозначное линей |
|
ное отображение Е на F |
(изоморфизм). Если Е' —подпростран |
ство пространства Е, имеющее конечную размерность р', то ц>(Е') есть подпространство пространства F, имеющее ту же размерность р'.
Действительно, по предыдущей теореме, для отображения ср '(рассматриваемого определенным только на Е', которое яв ляется векторным пространством) пространства Е’ в F про-
2. ЛИНЕЙНЫЕ ОТОБРАЖЕНИЯ |
87 |
странство ф(£'/) имеет размерность ^ p '. Та |
же теорема, при |
мененная к ф-1, показывает, что ф-1(ф (£'))> которое есть Е', имеет размерность р', не превосходящую размерности простран ства ф (Е' )^. р' . Следовательно, ф (E') имеет размерность р'.
Можно, в интуитивном выражении, сказать, что изоморфизм сохраняет размерность и интерпретировать эти результаты на глядно. Так, для теоремы 4 скажем, что линейное отображение плоскости в трехмерное пространство преобразует плоскость «не более» чем в плоскость. Для теоремы 5 скажем: взаимно однозначное линейное отображение трехмерного пространства в трехмерное пространство переводит прямую в прямую, пло скость в плоскость и пространство во все пространство.
§ 4. Случай конечномерных векторных пространств
Т е о р е м а 1. Пусть Е и F — два векторных пространства нао одним и тем же полем К, имеющие одинаковую конечную раз мерность п. Если линейное отображение / пространства Е в F переводит базис пространства Е в базис пространства F, то f
есть изоморфизм. |
Е (т = 1, |
2, |
..., п)\ тогда, по пред |
||||
Пусть (ат) — базис в |
|||||||
положению, |
bm = f(am) |
составляют |
базис |
пространства F; |
|||
элемент |
у е |
F |
записывается единственным |
образом в виде |
|||
П |
|
|
|
|
|
|
|
ѵ/ = 2 |
г)mf(am). |
Так как |
f линейно, |
то |
|
||
|
|
|
п |
|
п |
/ |
|
|
|
|
у = 2 / (у^т&гп) == f ( |
1 |
Цт&т |
|
|
|
|
|
т—\ |
\ |
|
|
следовательно, любой элемент у есть образ при отображении f |
|||||
|
п |
|
|
|
|
элемента |
х = 2 |
т\тат е Е. |
Таким образом, f есть отображе |
||
ние Е на |
F. С другой стороны, |
/->(0) содержит только |
0 е £ , |
||
|
|
П |
|
|
|
ибо если бы X = |
2 \т<*т е |
Г" |
(0) и если бы X ф 0 <= Е, |
то мы |
|
|
|
т—\ |
|
|
|
имели бы f ( x ) = |
2 |
а поскольку f(am) составляют базис, |
|||
и не все |
равны нулю, то при х ф 0 элемент f(x) не может |
||||
быть элементом 0 g F; значит, по теореме 1 предыдущего пара |
|||||
графа, / есть изоморфизм Е на F. |
|
||||
Т е о р е м а 2. |
Если существует изоморфизм f пространства Е |
на F, где Е и F — конечномерные векторные пространства над одним и тем же полем К, то Е и F имеют одинаковую размер ность.
Действительно, f~l тоже является линейным отображением F в Е. Если (bm) (m = 1, 2, .... q) — базис в F, то элементы
88 |
ГЛ, III. ЛИНЕЙНАЯ АЛГЕБРА |
(ат ), |
удовлетворяющие условию bm — f(am), линейно незави |
симы по теореме 2 предыдущего параграфа. Значит, Е имеет размерность р ^ ц. Поменяв местами Е и F, получаем q ^ р и, следовательно, р = q.
З а м е ч а н и е . Если предположить, что Е и F имеют одина ковую размерность и что f есть линейное отображение Е на F, то теорема 1 показывает, что f есть изоморфизм Е на F.
Т е о р е м а 3. Два векторных пространства Е и F над одним и тем же полем К, имеющие одинаковую размерность п, изо морфны между собой и изоморфны Кп.
Покажем, что можно определить линейное отображение f
пространства |
Е в F, переводящее базис (ат ) пространства |
Е |
|
в базис (6т ) |
пространства |
F. Пусть <р — отображение (ат ) |
на |
(Ьт ), определяемое следующим образом: |
|
||
|
ат- + Ь т |
{т = 1, 2, . . , , п). |
|
Будем записывать &т = |
ф(ат ) |
и будем «продолжать» ср. Пусть |
||
|
П |
|
|
|
X = |
2 %mflm |
и пусть отображение f имеет вид |
||
|
т=І |
п |
|
п |
|
|
|
||
|
X |
S |
\пФт=== |
(ö/n) == f (я). |
Э то |
определение законно, так |
как ср (ат) являются элементами |
из F. Очевидно, что f есть линейное отображение Е в F, перево дящее базис (ат ) в базис (Ьт). Если теперь взять F = Кп, то получится вторая часть теоремы.
Отметим, что можно было бы провести доказательство для Е
и Кп и заметить, что если / — изоморфизм Е на |
F, а g — изо |
|
морфизм F на G, то g ° f есть изоморфизм Е на G. |
что для того |
|
З а к л ю ч е н и е . |
Теоремы 2 и 3 показывают, |
|
чтобы Е и F имели одинаковую размерность, необходимо и до |
||
статочно, чтобы они |
были изоморфны. Или, еще: |
если т ф п, |
то Кт и Кп не изоморфны.
З а м е ч а н и е . Если Е одномерно, то его эндоморфизм имеет вид х —*ах (гомотетия), так как х — \а, f(x) = If (а) и так как f(a) е Е, f(a) = Ха; отсюда f(x) = Х\а — Хх.
§ 5. Прямая сумма. Факторпространство
Прямая сумма. Пусть Е — векторное пространство размерно сти р над полем К, (cth) — базис в Е. Для любого * е £ пишем
гР
X = 2 lk<*k + |
2 і hak- |
k=\ |
k=r+l |
Элементы au .... ar образуют базис подпространства Ei про странства E, а элементы ar+i........ар — базис подпространства
|
2. ЛИНЕЙНЫЕ ОТОБРАЖЕНИЯ |
89 |
||
Е2 и з |
Е. Пространство Ех имеет размерность г, Е2 |
имеет раз |
||
мерность р — г. Выражение |
элемента х |
показывает, что любой |
||
Х(=£ |
записывается в виде |
х — хх-\-х2, |
где ххе £ ь |
х2 ^ Е 2 и |
очевидно, что эта запись единственна. На этом основании гово рят, что Е — прямая сумма Ех и Е2 и пишут Е = Ех Е2. Гово рят также, что Е2 дополнительно к Ех (подразумевается: отно
сительно Е ), |
что Ех дополнительно |
к Е2, |
что Ех и Е2 |
дополни |
||||
тельны. |
Объединение Ех и Е2 порождает |
Е, а пересечение Ех |
||||||
и Е2 состоит из единственного элемента 0. |
|
простран |
||||||
Обратно, |
пусть |
Ех— г-мерное |
подпространство |
|||||
ства Е. |
И пусть ах, |
..., |
аг— базис в Е\. По теореме о неполном |
|||||
базисе |
можно добавить |
к нему р — г таких элементов аг+1, ... |
||||||
..., ар из Е, |
что (ат) |
(пг = 1, 2........ р) образуют базис |
про |
|||||
странства Е. |
|
|
|
|
|
в Е |
тем, |
|
С одной стороны, любое ххе Ех характеризуется |
||||||||
что его |
координаты |
£г+і........ІР равны нулю, а с другой |
сто |
роны, линейные комбинации векторов аг+х........ар не принад лежат Е1, поскольку любая часть множества ах, . .., ар обра зована линейно независимыми элементами.
Следовательно, подпространство Е2 , порожденное элемен тами аг+ь ..., ар, которые образуют его базис, дополнительно к Еі.
Наконец, покажем, что, обратно, если два подпространства Ех р Е2 пространства Е таковы, что их объединение порождает Е, а их пересечение сводится к нулю, то любой элемент і е £ мо жет быть записан в виде х = х х+ х2 , х\ е Ех, х2 е Е2 единствен ным способом. В самом деле, если дополнить базис ах........ат пространства Ех элементами аг+і........ар так, чтобы ат+\, ...
..., ар образовывали базис пространства Е2, то ах, .... ар бу дут составлять базис пространства Е, поскольку Ех и Е2 имеют только один нулевой общий элемент. Рассматривая хх как эле мент, принадлежащий Е (т. е. последние р — г координат равны нулю), и х2 — как элемент, принадлежащий Е, получаем х = == Х\ -f- х2.
Факторпространство. Пусть теперь А — подпространство про странства Е. Между двумя элементами х, х' из Е установим следующее отношение Я:
х Я х '^ х — / ё А
Это отношение рефлексивно, симметрично и транзитивно, а ста ло быть, является отношением эквивалентности. Вместо обозна чения Е/Я для фактормножества принято обозначение E/A. Можно установить на E/A структуру векторного пространства над К. Так, двум элементам из E/A, которые являются классами эквивалентности по Я элементов і е £ и х' е Е, ставится в со ответствие класс элемента (лг + х'), и т. д. Это допускает