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

книги из ГПНТБ / Заманский, М. Введение в современную алгебру и анализ

.pdf
Скачиваний:
12
Добавлен:
22.10.2023
Размер:
17.66 Mб
Скачать

80

ГЛ. III. ЛИНЕЙНАЯ АЛГЕБРА

 

Таким образом,

как только известны

может быть най­

дено произведение ху двух заданных элементов х, у в <%. Но не произвольны, ибо в силу ассоциативности умножения в с? бу­ дет выполняться равенство

(ala,)ak =

ai {ajak),

которое влечет

 

2

2 = =

Теперь можно показать, что

если & — векторное простран­

ство, (а,) — его базис и ( |іді)— элементы из К, удовлетворяю­

щие последнему соотношению, то & становится алгеброй в том случае, если для

X =

СЕ(Й(,

у =

ßyßy

положить

х у = 2 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, которые являются классами эквивалентности по Я элементов і е £ и х' е Е, ставится в со­ ответствие класс элемента (лг + х'), и т. д. Это допускает

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