ПО АЛ ГЕБРЕ
Под редакцией А.И. К о с т р и к и н а
ИЗДАНИЕ ТРЕТЬЕ,
ИСПРАВЛЕННОЕ И ДОПОЛНЕННОЕ
М ОСКВА
Ф И ЗИ КО -М А ТЕМ А ТИ Ч ЕС К А Я
Л И Т Е РА Т У РА
2001
УДК 512 (075.8)
ББК 22.143
3-15
СО С ТА В И ТЕЛ И :
В.А. А ртамонов, Ю .А. Б ахтурин, Э.Б. Винберг, Е.С. Еолод,
В.А. Исковских, А.И. К острикин , В.И. Латыш ев, А.В. Михалев,
А.И. Мишина, А.Ю . Ольшанский, А.А. Панчиш кин, И.В. П роскуряков
А.И. Рудаков, Л.А. Скорняков , А.Л. Ш мелькин,
П РЕ Д И С Л О В И Е К Т Р Е Т Ь Е М У И ЗД А Н И Ю .......................................... 7
И З П РЕ Д И С Л О В И Я К О В Т О РО М У И ЗД А Н И Ю ................................. 7
И З П РЕ Д И С Л О В И Я К П Е РВ О М У И З Д А Н И Ю ....................................... 8
ЧАСТЬ I
ОСНОВЫ А ЛГЕБРЫ
Г л а в а 1. М н о ж е с т в а и о т о б р а ж е н и я ...................................................... 11
§ 1. О перации над подмножествами. П одсчет числа элементов . . . 11
§ 2. Число отображ ений и подмножеств, биномиальные коэффи
циенты ............................................................................................................ 12
§ 3. П е р е с т а н о в к и ............................................................................................... 14
§ 4. Р екуррентны е соотношения. М атем атическая индукция ........ 19
§ 5. Суммирование ............................................................................................. 21
Г л а в а II. А р и ф м е т р и ч е с к и е п р о с т р а н с т в а и л и н е й н ы е у р а в
н е н и я ...................................................................................................................... 23
§ 6. А рифметические п ространства .......................................................... 23
§ 7. Р ан г м атрицы ............................................................................................. 27
§ 8. Системы линейных у р а в н е н и й .............................................................. 30
Г л а в а 3. О п р е д е л и т е л и ................................................................................... 39
§ 9. Определители второго и тр етьего порядков ................................. 39
§ 10. Выражение определителя. И ндуктивное определение ............. 40
§ 11. Основные свойства определителя .................................................... 41
§ 12. Разложение определителя по строке и столбцу ......................... 43
§ 13. Определители и элементарные преобразования ......................... 45
§ 14. Вычисление определителей специального в и д а ........................... 48
4 Оглавление
Г л а в а IV. М а т р и ц ы ........................................................................................... 56
§ 17. Д ействия над м а т р и ц а м и ...................................................................... 56
§ 18. М атричны е уравнения. О братная м атрица ................................. 60
§ 19. М атрицы специального вида .............................................................. 65
Г л а в а V. К о м п л ек сн ы е ч и с л а ...................................................................... 68
§ 20. Комплексные числа в алгебраической форме ............................. 68
§ 21. Комплексные числа в тригоном етрической форме ................... 70
§ 22. К орни из комплексных чисел и многочлены деления к р у га .. 72
§ 23. Вычисления с помощью комплексных ч и с е л ................................. 75
§ 24. Связь комплексных чисел с геом етрией на плоскости ............ 77
Г л а в а VI. М н о го ч л ен ы ................................................................................... 82
§ 25. Деление с остатком и алгоритм Евклида ..................................... 82
§ 26. П росты е и кратны е корни над полями нулевой хар актер и с
тики .............................................................................................................. 83
§ 27. Разложение на неприводимые множители над R и С .............. 86
§ 28. Многочлены над полем рациональных чисел и над конечны
ми полями .................................................................................................. 87
§ 29. Рациональные дроби ............................................................................. 91
§ 30. И нтерполяция ........................................................................................... 92
§ 31. Сим м етрические многочлены и формулы В и е т а ....................... 93
§ 32. Р езул ьтан т и дискрим инант .............................................................. 99
§ 33. Распределение корней ........................................................................... 101
Ч А С Т Ь II
ЛИ НЕЙНАЯ АЛГЕБРА И ГЕОМ ЕТРИЯ
Г л а в а X. М е т р и ч е с к и е в е к т о р н ы е п р о с т р а н с т в а ......................... 156
§ 43. Геометрия м етрических пространств ............................................ 156
§ 44. Сопряжённые и нормальные операторы ........................................ 164
§ 45. Самосопряжённые операторы. Приведение к вадрати чн ы х
функций к главным осям ...................................................................... 169
§ 46. О ртогональны е и унитарны е операторы. Полярное разло
жение ............................................................................................................ 172
Г л а в а XII. А ф ф и н н а я , е в к л и д о в а и п р о е к т и в н а я г е о м е т р и я . 184
§ 49. Аффинные п ространства ..................................................................... 184
§ 50. Выпуклые м н о ж е с т в а ............................................................................. 191
§ 51. Евклидовы п р о с т р а н с т в а ...................................................................... 196
§ 52. Гиперповерхности второго порядка ................................................ 201
§ 53. П роективны е п ространства ................................................................ 208
Ч А С Т Ь III
ОСНОВНЫ Е А ЛГЕБРА И ЧЕСКИ Е СТРУ К ТУ РЫ
О Т В Е Т Ы И У К А З А Н И Я ....................................................................................... 329
П р и л о ж е н и е . Т е о р е т и ч е с к и е с в е д е н и я .............................................. 443
§ I. А ффинная и евклидова геом етрия ...................................................... 443
§ II. Гипреповерхности второго порядка ................................................ 446
§ III. П роективны е п ространства ................................................................ 448
§ IV. Тензоры ...................................................................................................... 449
§ V. Элементы теории представлений ...................................................... 450
§ VI. Список определений ............................................................................... 453
§ VII. Список обозначений ............................................................................. 460
П РЕДИ СЛ О ВИ Е К ТРЕТЬ ЕМ У ИЗДАНИЮ *)
Вышедшее в 1995 году достаточно большим тиражём второе
издание задачника [16] стало уже библиографической редкостью.
В 1996 году был опубликован его английский перевод [17].
К сожалению, в [16] содержится достаточно много опечаток. На
деюсь, что все они устранены в предлагаемом читателю третьем из
дании, и, разумеется, в нём не возникли новые неточности. В насто
ящем издании сохранена структура, созданная в [16], устранён ряд
опечаток и добавлены новые задачи, в основном в главы 13 и 14.
Третье издание подготовлено В.А. Артамоновым с участием ав
торского коллектива, сотрудников кафедры высшей алгебры Москов
ского государственного университета, а также Е.В. Панкратьева.
Публикация настоящего издания приурочена к выходу учебного
пособия А. И. Кострикина “Введение в алгебру” в трех частях [3-5].
А.И. Кострикин
С П И СО К Л И Т Е Р А Т У Р Ы
ОСНОВЫ АЛГЕБРЫ
Глава I
§ 1. О п ер ац и и н а д п о д м н о ж е с т в а м и .
П о д с ч е т ч и сл а эл ем ен т о в
" Y И * п а ,| + ...
2=1 2=1 1^2<j^22
••• + (“ !)* 1 1^-н n • • • n A ik I + ...
1^21 <...<2fc ^72
... + ( - i ) " - 1|A1 n . . . n A n |.
(д(п) = n ( 1 — 1- 1-
Pi Р2 Рг
где pi,P 2 , • • • ,Рг — все различные простые делители числа п, р(п) —
функция Эйлера.
1.5. Какое максимальное число подмножеств можно образовать
из данных п подмножеств фиксированного множества с помощью
операций пересечения, объединения и дополнения?
1.6. Пусть А, В, С — подмножества в некотором множестве.
Доказать, что А П В С С тогда и только тогда, когда А С В U С.
§ 2. Ч и сл о о т о б р а ж е н и й и п о д м н о ж е с т в ,
би н ом и ал ь н ы е к о э ф ф и ц и е н т ы
n Е N.
mi + ...+mfc=n, mi ^0
б)
(rai,...,ro*)
mi + ...+mfc=n, mi ^0
2.11. Доказать равенства:
14 Гл. I. Множества и отображения
в )i=о
В - 1)гт = 0^ -)Е М"
2=1
= " 2П_1;
д) ^ ( - 1 ) * г ( . 1 = 0 , n > 1;
2=1
p+q
2=0
г / Vт —г т
«и-1м ; ЬСТ12'
Г+ 1
Е
2=1
(1г + 2г + ... + пг) = (га + l ) r+ - (га + 1);
ч /АЛ (к + 1\ ( п + к\ (п + к + 1
и) ( , ) + ( , ) + . . . +
к) \ к ) V к ) \ к +1
р(р + 1 ) ... (р + г —1) _ (р + 1 ) ... (р + п)
*>Е п\
2=0
П—I
г\ п —г п+ 1
л)Е к V I Jb + / + 1
п ^ к + I ^ 0.
§ 3. П е р е с т а н о в к и
1—1
to
6 4
в)
1 7 6 5 3) '
5 4 8 3 6 1\
I—1
г)
to
О
8 7
3 ......................... 72 —1
д) 6 1 3 5 .................
3 ......................... 72—1
5 2 4 6 .................
1 2 3 ... 72 —1 72\
ж
I—1
to
to
1
п п - 1 72
1 2 3 4 ... п —1
з) п 1 п —1 2 .................
3.7. Определить четность перестановок:
а) (1 2 3 .. .к);
б) (i i i 2 .. Л к )]
в) (1 4 7 3 )(6 7 2 4 8)(32);
г) (н ^2) (^3 Ч)(Ч ч ) • • • fe/e-l
д) (ii ... ip)(ji ... jq){k 1 • • • fcr )(Zi • • - Is)-
3.8. Число инверсий в нижней строке перестановки
1 2 72
ОД <22 <2п
2 72
&п—1 <2i
1 2 72
<2i <22 <2П
степени п.
а) В какой строке (сд,. . . , ап) число инверсий наибольшее?
б) Сколько инверсий образует число 1, стоящее в нижней строке
на к-м месте?
в) Сколько инверсий образует число 72, стоящее в нижней строке
на к-м месте?
§ 3. Перестановки 17
1 2
cii а2
* * *
2 А.И. Кострикин
18 Гл. I. Множества и отображения
1 2 п
к к in
Найти:
а) sgn£, если заданы sgn сг и sgnr;
б) длины независимых циклов в разложении перестановки £, если
известны длины к\ , . . . , к8 и к, • • •, h независимых циклов в разложе
ниях перестановок сг и г (с учетом циклов длины 1). Получить отсюда
ещё одно решение задачи а).
3.22. Пусть d = d(a) — декремент перестановки сг. Доказать, что:
а) sgn а = ( ~ l ) d;
б) перестановку сг можно представить в виде произведения d
транспозиций;
в) перестановку сг нельзя представить в виде произведения менее,
чем d транспозиций.
3.23. Пусть сг Е Sn. Доказать, что сг = аД, где а,Д Е Sn и а 2 =
= Д2 = г.
§ 4 • Рекуррентные соотношения 19
§ 4. Р е к у р р е н т н ы е с о о т н о ш е н и я .
М атем ати ч еск ая индукция
Доказать, что:
а) функция 72(72) = а п является решением данного уравнения, если
а — корень /(ж);
б) функция 72(72) = тшп является решением данного уравнения,
если а — двойной корень /(ж);
в) если /(ж) имеет различные ненулевые корни ад и « 2 , то всякое
решение данного уравнения имеет вид
n an+1 - (п + 1)ап + 1
1 И- 2(2 -|- 3(2^ -|- ... И- по!1
2*
20 Гл. I. Множества и отображения
§ 5. С у м м и р о в а н и е
X (N(a)Y = l(s)nl 1^ S ^ п.
(TESn
Доказать, что у(1) = 1, j ( s ) не зависит от п и
7( 5 + 1) = т 0 ) + у 7 (в -1 ) + . . . + Ц )7 (в -Л ) + . . . + ( » - i 7< 1)+1-
22 Гл. I. Множества и отображения
1 при п = 1,
Е^
d\n
О при п > 1,
б )» м = п / м , /(« )
d\n d\n
Е V(d)
d
<р(п)
п
Глава II
А РИ Ф М Е Т РИ Ч Е С К И Е П РО С Т РА Н С Т В А
И ЛИНЕЙНЫ Е У РА ВН ЕН И Я
§ 6. А р и ф м е т и ч е с к и е п р о с т р а н с т в а
Доказать, что:
а) укороченная система любой линейно зависимой системы векто
ров линейно зависима;
б) удлинённая система любой линейно независимой системы век
торов линейно независима.
6.5. Доказать, что если векторы сд, а 2 , аз линейно зависимы и
вектор аз не выражается линейно через векторы а± и а 2 , то а± и а 2
различаются между собой лишь числовым множителем.
6.6. Доказать, что если векторы ai, a 2 , . . . , а/, линейно независи
мы, а векторы ai, a 2 , . . . , a&, b линейно зависимы, то вектор b линейно
выражается через а±, а 2 , . . . , а/,.
6.7. Пусть задана линейно независимая система векторов a i , ...
...,a ^ . Выяснить, являются ли линейно зависимыми системы век
торов:
а) Ъ\ = 3ai + 2 a 2 + аз И- а 4 , &2 = 2ai + 5а2 + Заз + 2 а 4 ,
&з —3ai + 4а2 + 2аз + За4;
б) Ъ\ —3ai -|- 4а2 —баз —2 а 4 И- 4а5, 62 —8 ai Н- 7а2 —2 аз И- 5а4 —10 а 5 ,
линейно независимы?
§ 6. Арифметические пространства 25
т-4
т-4
,17);
<3
II
1
1
к) аг = (2, -1 ,3 ,4 , -1 ), а2 = (1,2, -3 ,1 ,2 ),
а3 = (5, -5,12,11, -5 ), а4 = (1, -3 ,6 ,3 , -3 );
л) 01 = (4,3, - 1 ,1 ,- 1 ) , а2 = (2,1, -3 ,2 , -5 ),
а3 = ( 1 ,- 3 ,0 ,1 ,- 2 ) , а4 = (1 ,5 ,2 ,-2 ,6 ).
6.13. Пусть векторы ai, <22, . . . , а/, линейно независимы. Найти все
базисы системы векторов
Ia33 I ^ 53 I I
i= l
гфз
для всякого j = 1, . . . , s, то данная система векторов линейно незави
сима.
6.15. Доказать, что если целочисленные векторы ai, a 2 , . . . , a/, Е
G Z n линейно зависимы над полем Q, то найдутся такие целые числа
Ai, А2 , . . . , А/., взаимно простые в совокупности, что
Aiai + \ 2Ci2 + ... + A/.a/, = 0.
§ 7. Р а н г м а т р и ц ы
/1-Л О О о \
О 1-Л о о
О О 2-Л 3 ’
\ О о о 3-Л/
4 2 2 \
( 3 1 л -1 2 \
3 17 7 1
2 --1 Л 5 ;
1 10 4 Л 5 г)
1 10 - 6 1 )
1 4 1 1 3 /
/1 1 2
3 ^ / --л 1 2
3 1
1 2 - Л2 2 3 „л 1 -Л 3 2 1
2 3 1 5 е) 2 3 -А 1 1
\2 3 1 9 - Л2У V 3 2 1 --Л 1)
/Л 1 2 ... п — 1 1\ Л л2 Л” \
1 Л 2 ... п —1 1 Л
2 1 л Хп-1
1 2 Л ... п —1 1 Хп-2
з) 2 2 1
1 2 3 ... л 1
2 3 ... п I2 2 2 1 /
\1 У
7.3. Доказать, что если ранг матрицы А не изменяется при до
бавлении к ней любого столбца матрицы В с тем же числом строк,
то он не меняется при добавлении к А всех столбцов матрицы В.
7.4. Доказать, что ранг произведения матриц не превосходит
ранга каждой матрицы-сомножителя.
7.5. Доказать, что ранг матрицы (А\В), полученной приписыва
нием к матрице А матрицы В , не превосходит суммы рангов матриц
Аж В.
7.6. Доказать, что ранг суммы матриц не превосходит суммы
рангов этих матриц.
7.7. Доказать, что всякую матрицу ранга г можно представить в
виде суммы г матриц ранга 1, но нельзя представить в виде суммы
меньшего числа таких матриц.
7.8. Доказать, что если ранг матрицы равен г, то минор, стоя
щий на пересечении любых г линейно независимых строк и линейно
независимых столбцов, отличен от 0.
7.9. Пусть А — квадратная матрица порядка п > 1 и г — её ранг.
Найти ранг присоединённой матрицы А = (Д^-), где Ац — алгебра
ическое дополнение элемента aji матрицы А.
§ 7. Ранг матрицы 29
А В
= г (А) + г (В).
2А -5 В
г (в в А+Вв ^ ) = г{А)+г{в)-
А В
(Еп А - 1В ) .
С D С
/1 0 .... 0 °\
0 1 .... 0 0
0 0 .,.. 1 0
\0 0 .,.. 0 d)
(Ег (Л
оД
где Е г — единичная матрица порядка г.
7.18. Пусть А и В — матрицы размеров т х n, п х t и рангов
г(Д), г (В) соответственно. Доказать, что ранг матрицы А В не мень
ше, чем г{А) + г (В) —п.
7.19. Доказать, что всякую матрицу элементарными преобразо
ваниями над строками можно привести к виду
/0 .... 0 1 * * 0 * * 0 * * 0 * ... *\
0 .... 0 0 0 ... 0 1 * * 0 * * 0 * *
0 .... 0 0 0 ... 0 0 0 . .. 0 1 * * 0 * *
. . . . * 0 * ... *
0 .... 0 0 0 ... 0 0 0 . .. 0 0 0 ... 0 1 * *
0 .... 0 0 0 ... 0 0 0 . .. 0 0 0 ... 0 0 0 ... 0
§ 8. С и ст ем ы л и н ей н ы х ур а в н ен и й
2xi 4~ Зх 2 + х 3 + 2ж4 = 3,
Axi 4~ ж2 4~ Ж3 — 1,
4xi 4- бх 2 4~ Зхз 4~ 4 x 4 = 3,
д) < е) < xi + Аж2 + х 3 = 1,
6 xi + 9ж2 + 5хз + 6 x 4 = 7,
X i + ж2 + Ах3 = 1;
8 x1 + 12ж2 + 7х3 + Лх4 = 9;
Axi + ж2 + х3 + ж4 = 1,
(1 4~ A)xi 4~ ж2 4~ Ж3 = 1 ,
Xi 4~ Аж2 4~ Жз 4~ Ж4 = 1,
о < xi + х 2 + Ах3 + х 4 = 1, О Л Xi 4~ (1 4~ А)х 2 4~ Жз = А,
Xi 4~ х 2 4~ (1 4~ А)жз = А2;
Xi 4~ х 2 4~ Хз 4~ Ах4 = 1;
(1 4~ A)xi 4~ ж2 4~ Ж3 = А2 4~ ЗА,
и) < Xi 4~ (1 4~ А)х2 4~ Жз = А3 4~ ЗА2,
Xi 4~ х 2 4~ (1 4~ А)хз = А4 4~ ЗА3.
3 -6 -2 -4 -5 -3
в) А =
3 -6 -4 -8 -1 3 , ь= -9
\2 -4 -1 -1 -2 / \- у
( 1 9 4 -5 \ / А
3 2 2 5 3
г) А = 2 3 2 2 , ь= 2
1 7 6 -1 7
\ 2 2 3 4 ) W
/1 1 3 2 з\ /Л
2 2 4 1 3 2
д) А =
3 3 5 2 3 5 0—
1 5
\2 2 8 3 9/ \2/
/з - 6 -1 4^ 1 -7
е) А = 1 -2 -3 7 Ь= -5
\2 - 4 -14 зр1 10
/2 1 3 2 А / 4\
6 3 5 4 3 5
А =
2 1 7 4 1 , ь=
11
\4 2 2 3 3/ \з/
/8 6 5 2\ / 21\
3 3 2 1 10
з) А = 4 2 3 1 ч 6= 8
3 5 1 1 15
\7 4 5 У W
Х\ Хз — О,
Х\ + Х2 ~ 2хз + 2х4 = О, х2 - Х4 = О,
3xi + 5^2 + бжз —4x4 = О, -Ж1 + ж3 - ж5 = О,
а) < б) <
4xi + 5^2 —2жз + Зж4 = О, -ж 2 + ж4 - ж6 = О,
к 3xi + 8ж2 + 24ж3 —19x4 = 0; -Хз + ж5 = О,
, -Ж4 + Ж6 = 0;
3 А.И. Кострикин
34 Г л. II. Арифметрические пространства и линейные уравнения
Ж1 + х 2 = О,
XI - х 3 + ж5 = О,
Ж1 + х 2 + ж3 = О,
Х2 ~ Ж4 + Xq = О,
Х2 + ж3 + х 4 = О,
О { Ж1 - х 2 + Ж5 - х 6 = О, г) <
- Х3 + Ж6 = О,
Хп —2 Н- Хп—\ + — О,
х\ —ж*4 + .т,5 = О;
Жп-1 + Жп = О.
8.5. Найти какой-нибудь базис ядра линейного отображения, за
данного матрицей:
/3 5 3 2 1\
3 5 -4 2 \ к ^
О 7(О 4/| оо
а) 2 4 -6 б)
з Ь 7 9 9 6 5
11 17 - 8 4 / \4 8 3 2 0/
6 9 2 \ ( 5 7 6 -2 2 \
-4 1 1 8 9 9 - 3 4
5 7 4 J Г) 7 1 6 - 2 6
V 2 5 3 / ^ 4 —1 3 —1 4 /
/5 -2 4\ 3 4 3 \
2 -1 2 7 4
д) 7 -3 6 е) 5 5
V5 -3 6/ 10 5У
8.6. С помощью правила Крамера решить систему уравнений:
2ж1 - х 2 = 1, 2xi + 5ж2 = 1,
а) б)
Ж1 + 16ж2 = 17; 3ж1 + 7ж2 = 2;
2ж1 + х 2 + ж3 = 3,
xi cos а + ж2 sin а = cos /?,
г) < Ж1 + 2ж2 + х 3 = О,
—xi sin + ж2 cos = sin /?;
k xi + х 2 + 2ж3 = 0;
* * *
3*
36 Гл.П. Арифметрические пространства и линейные уравнения
Ж1 + ж2 + х 3 = 1,
х\ + 2x2 + 2ж3 = 2,
Ж1 + х 2 + ж4 = 1,
а) < 2xi + х 2 - 2ж3 = 1, б) <
X l + ж3 + ж4 = 1,
2х± - 2 2 + х 3 = 1;
х
^2 “Ь ^3 + ^4 =
Х \ + Ж2 + ж3 + Ж4 — 1 ,
Ж1 + ж2 - Ж3 - Ж4 = 1,
в) 4 Ж1 + ж 2 + Х з - х4 = 1 ,
X I — Х 2 — х 3 + Х ‘4 = 0.
( т \ (x i\
= и
\Уп/ пJ
y^ a ij X j = b i, г = 1,2,
з=1
А
с целыми коэффициентами. Построим матрицу размера
\-L^n
(п + т) х (n + 1). Затем, используя лишь целочисленные элементарные
преобразования первых т строк и п столбцов, приведем эту матрицу
fD С'
к виду где
и О
fdi 0 . .. 0 0 .... o \
0 d2 . .. 0 0 .... 0
/с Л
С= ; 5 | det U\ = 1, D = 0 0 . .. dr 0 .... 0
\ р т /
0 0 . .. 0 0 .... 0
\° 0 . .. 0 0 .... 0/
d± ф 0, . . . , dr ф 0.
Тогда система совместна, если
di\ci при г = 1, . . . , г,
Ck = 0 при к > г,
а общее решение дается формулой
( ХЛ
Cf j d>p
= U
Уг+ 1
\ х п/
V Уп )
Г Д е Уг+ ll У г+ 2 5 •• уп — любые целые числа.
38 Г л. II. Арифметрические пространства и линейные уравнения
ОПРЕДЕЛИТЕЛИ
§ 9. О п р е д е л и т е л и в т о р о г о и т р е т ь е г о п ор я дк ов
1 2 3 a b c
<3
r) 4 5 6 ; д) b c a ; e) b e d
7 8 9 c a b 0 e 0
sin а cos а 1 1 0 1+ i
ж) sin /3 cos /3 1 ; з) 0 1 i
sin 7 cos 7 1 1 —i —i 1
£ £
1 л/3
и) £ 1 £
£ - “ 2 +г^ “
£ £2 1
1 1
к) 1 £ £2 £ = COS -7Г + i sin —7Г
1 £2 £
40 Гл.Ш . Определители
§ 10. В ы р а ж е н и е о п р е д е л и т е л я .
И н дук ти в н ое оп ределени е
Ж 1 2 3
X X 1 2
1 2 X 3
X 1 2 2х
0 . 0 0 ОI n 1 0 2 О
0 . 0 0 2 ,п -1 02 п 2 0 Ъ 0
; г ) 3 с 4 5
Onl О п , п —2 O n , n —1 Опп d 0 0 0
041 042 0 0 0
051 052 0 0 0
§11. Основные свойства определителя 41
0 0 0 ... - t 0
0 0 0 . . . ап —t
10.6. Вычислить определитель, у которого все элементы главной
диагонали равны 1, а элементы столбца с номером j равны сд, а2, ...
. . . , ctj- 1 , aj+1 , . . . , ап, а остальные элементы равны 0.
10.7. Пусть
§ 11. О сн овн ы е с в о й с т в а о п р е д е л и т е л я
а\ + х а2 (Хп
<2i а2 + х <2П
б)
<2! а2 ... ап + х
1 + xi^/i 1 + х гу2 1+ХхУп
1 + Ж2^/1 1 + Х2У2 1 + Х 2у п
в)
не выше п — 2 (г = 1, 2, . . . , п);
1 + <2i + 61 <2l + Ь\ <2l + Ьп
а2 + bi 1 + а2 + b2 <22 +
§ 12. Р а з л о ж е н и е о п р е д е л и т е л я по с т р о к е и с т о л б ц у
2 - 3 4 1
4 - 2 3 2
a b e d '
3 - 1 4 3
5 a 2 -1
4 6 4 —3
2 с 3 -2 '
4 с? 5 —4
44 Гл.Ш . Определители
а0 -1 0 0 ... 0 0
а\ X -1 0 ... 0 0
CL2 0 X -1 ... 0 0
в) 5
&п—1 0 0 0 ... X -1
ап 0 0 0 ... 0 X
0 0 0 X
1 2 3 72 —1 72
-1 X 0 0 0
0 -1 X 0 0
д) 5
0 0 0 X 0
0 0 0 -1 X
72 -1 0 0 .. . 0 0
72—1 X -1 0 .. . 0 0
72 —2 0 X -1 .. . 0 0
е) ч
2 0 0 о .. . X -1
1 0 0 0 .. . 0 X
1 0 0 0 ... 0 1
1 а\ 0 0 ... 0 0
1 :L .а-> 0 ... 0 0
ж)
1 0 1 «3 ... 0 0 5
1 0 0 0 ... 1 <2П
§13. Определители и элементарные преобразования 45
а-1 0 0 h а0 1 1 1 .... 1
0 <22 ъ2 0 1 <2i 0 0 ..,. 0
; и) 1 0 а2 0 ..,. 0
0 &2n-l 0 2 п -1 0
^2п 0 0 п 1 0 0 0 .. <2П
1 0 0 . . 0 0
1
I— 1
1 0 I— 1 . . 0 0
-1 1 1
°
0 . . 0
:о
0 0 0 . . . -1 1
порядка п.
§ 13. О п р е д е л и т е л и и э л ем ен т а р н ы е п р е о б р а з о в а н и я
1 -1 -2 4 5
1 7 6 6 5 7
-7 0 -9 2 --2
2 1 1 2 2 1
5 -7 -2 2 -2 16
1 5 3 5 -4
0 0 4 0 -5 0
3 1 2 9 8
2 0 -2 0 2 0
-1 7 -3 8 -9 5
1S 4 6 -1 15 --5
3 4 2 4 7 15 - 4 10 1 14 6
1 8 3 3 5
3 0 -2 0 3 0
1001 1002 1003 1004 27 44 40 55
1002 1003 1001 1002 20 64 21 40
1001 1001 1001 999 ; з) 13 -2 0 -1 3 24
1001 1000 998 999 46 45 -5 5 84
46 Гл.Ш . Определители
- 1 - 2 -3 ... 0 72 72 72 ... 72
1 1 1 1
ОД <2i Oi - bi <2i
в ) <22 <22 — ^2 <22 <22 5
Ж1 ^2
1 2 3 п —2 гг 1 гг
2 3 4 п —1 гг п
д) 3 4 5 п гг п
п п п п гг п
1 X х2 х3 хп
«п 1 X х2 ж"-1
е) «21 «22 1 X ж"-2
1 «1 «2 «П + brt
cl а h cl Н- 2h а + (п — 2) ft- а + (n —l)ft
а + (n —l)ft а а + 1ft а + (n —3)ft а + (n —2)ft
14. В ы ч и сл ен и е о п р е д е л и т е л е й сп ец и а л ь н о г о в и д а
со
0 ... 0 0 ... 0
to
to
со
1 1 ... 0 1 2 ... 0
°
°
а) 1 2 ... ; б) 1 3 ...
°
°
:
; со
0 0 ... 2 0 0 ...
°
5 6 0 0 0 0 0
4 5 2 0 0 0 0
0 1 3 2 0 0 0
в) 0 0 1 3 2 0 0
0 0 0 0 0 3 2
0 0 0 0 0 1 3
1 2 0 0 0 0 0
3 4 3 0 0 0 0
0 2 5 3 0 0 0
Г) 0 0 2 5 3 0 0
0 0 0 0 0 5 3
0 0 0 0 0 2 5
3 2 0 0 . . 0 0 0
1 3 1 0 . . 0 0 0
0 2 3 2 . . 0 0 0
д) 0 0 1 3 . . 0 0 0
0 0 0 0 . . 1 3 1
0 0 0 0 . . 0 2 3
а+р а/3 0 0
1 а + /? а/3 0
е) 0 1 OL-\~(3 а/3
О О О О ... OL-\- /3
§ 14• Вычисление определителей специального вида 49
1 1 1 1
1 2 22 2п
6 Зп
ж ) 1 3 з 2 5
1 п+ 1 (n + I)2 . . . (п + 1)п
з)
а а —1 а --п
1 1 1
1 1
Х\ + 1 ... + 1
и) ж 2 + Ж1 ж2 + ж „ 5
т.П - 1 . „ п - - 2
ж Г 1 + А “ 2 ••• п '
1 Xi ж? . . .
ж 1_ 1 ж 1+ 1 X?
S-1 S+1
1 х 2 ж| ■■■ Ж2 Х 2 х2
„ П
л)
1 жп ж2 ... ry.S-1
Jun
„8+1
<1' n
„п
1 + Х\ 1 + ж? . . . 1 + X™
1 + ж2 1 + ж| . . . 1 + ж£
м) 5
1 + Х п 1 + ж2 ... 1 + ж”
0 1 1 ... 1 1
а X х .... ж
1 0 ж ... ж ж
2/ а ж .... ж
1 ж 0 ... ж ж
2/ У а . .. ж
1 ж ж ... 0 ж
У У У • .. а
1 ж ж ... ж 0
4 А.И. Кострикин
50 Гл.Ш . Определители
15. О п р е д е л и т е л ь п р о и зв е д е н и я м а т р и ц
1 - a ffl 11 - dnun
nnbn
1 dnbi 1 dnbn
(do + bo)n (ao + bn)n
B)
S n —1 Sn Sn+1 •• S2 n _ 2
a2 CL3 a4 di
§ 16. Д о п о л н и т е л ь н ы е за д а ч и
Доказать, что
det (7 = ^2 ,
4*
52 Гл.Ш . Определители
О, если т > п.
ац а \п XI
п
= Dz — AijXiXj.
&п1 - - 0"пп Хп
i,j= 1
XI . . . Хп Z
* * *
16.11. Пусть
<2l 1 0 0 .. 0 0
-1 <22 1 0 .. 0 0
0 -1 <23 1 .. 0 0
0 0 0 0 .. . -1 <2n
(aia2 ...а„) 1
ОД Н----------------------
(а2а3 . . . а п)
<22 Н---------------
1
<23 + . . . +
1
1
<2n-l Н-----
<2п
А В
= \ A - fD - В - гС\.
С D
сЕ А
16.15. Вычислить определитель , где
А сЕ
а 1 0 0 .. 0
1 а 1 0 .. 0
А = 0 1 а 1 .. 0
0 0 0 0 .... а
3- 1 г = l , . . . , n + 1; j = 1 , . . . , п + 2,
(a i j ) —
i — 1
П+ 1
равен
ife-1,
16.17. Доказать, что
1 1 1 1
2! 3! 4! "" (2к + 2)
1 1
1
2! 3! "" (2 к + 1)
1 1 = 0, к е N.
0 1
2! "" (2к)1
1
0 0 0 ..
2!
Х \ Х 2 Хз Х 4 \ / 2/1 У2 Уз 2 /4 \
Х 2 - X I — .ж 4 Хз 2 /2 - У 1 “ 2 /4 2 /з
5
Хз Х 4 - x i - Х 2 2 /з 2 /4 -2 /1 “ 2 /2
Х 4 - Х з Х 2 - X I ) \ 2 /4 ~ У з 2 /2 -2 /1 /
доказать, что
A ( x i , . . . , x n) A ( y i , . . . , y n) = det ( - — ---- ) ТТ (1 - X iy j ).
VI
\
—XjVj J■■ Л
г УЗ / г л = 1 , . . . , п
11
ij= l
Глава IV
М АТРИЦ Ы
§ 17. Д е й с т в и я н а д м а т р и ц а м и
/1 2 0 (Г 1 1 0
0 А
2 1 0 0 1 1 0 0
ж)
0 0 1 3 0 0 1 - 1
\о 0 3 У 0 0 1 1 /
п 1 0 0\ п 1 0 °\
1 2 0 0 1 3 0 0
з)
0 0 3 1 0 0 1 2
0 1 Д 0 - 3 V
V
17.2. Выполнить действия:
§17. Действия над матрицами 57
1 -2
/3 0 2 0 2 ^ / -2 0 -3
2 -1 1 о
а) 1 2 1 6 —О
0 -1 1 -2 ч
\2 3 0 0 V 5 —о
Z 8
2 2 - 1 /
0 2\ / °
-4 6 1 \
(Ъ 1 2 -1 2 \
0 1 3 2 2 -5 -2
б) —о
Z —I I 2
2 2 0 о 1 1 0 2 -2 6 4
Z 1 1 2
2 )
\о 1 0/ ^ 1 3 0 1 /
17.3. Вычислить:
/О 1 О 0\
0 0 1 0
б)
0 0 0 1
\о о о о/
1 1 \ /О 1 о 0\
1 -1 -1 0 0 2 0
1 1 -1 г) 0 0 0 3
1 -1 1 / \о о о о)
17.4. Вычислить:
cos a sin а \ ' Л 1
а) б)
sin a cos а J О Л
2 1 1 О 3 -1
о 5 3 1 1 -5 2
17.5. Вычислить значение многочлена f(x) от матрицы А:
/2 1 0\
а) f(x ) = х 3 — 2х2 + 1, А = I 0 2 ОI;
U 1 1/
/6
б) f{x) = х 3 — Зх + 2,
(A + B ) n = Y , А гВ п~ \
2=0
/О 1 о ... 0\
О 0 1 ... о
я =
0 0 0 1
\о о о °У
(X 1 0 ... 0 °\
0 Л 1 ... 0 0
J=
0 0 0 ... Л 1
\о 0 0 ... 0 V
0 0 0
/'(А)
•• /(А) 1!
V 0 0 0 0 /(А) /
* * *
/0 1 0 ... 0\
0 0 1 ... 0
0 0 0 ... 1
\0 0 0 ... 0/
§ 18. М а т р и ч н ы е у р а в н ен и я . О б р а тн а я м а т р и ц а
X 2 - ( t r X ) X + d etX = 0.
14 1 2 ) ^ = (2 6
.. I) \0 О О
1 -1 \ / 1 - 1 3
1 0 = 43 2
-1 1 / V 1 —2 5
'2 1 0 \ /0 0 1
1 2 0 X 0 1 0
iO 0 1 / V1 О О
to
1 3\
to
4
6 5
со
6 У
0 0 Л
1 0
0 >
0 1 У
5 -1 2
-6 4 6
-2 0 7
18.4. Пусть А, В — матрицы размеров т х п и то х к соответ
ственно. Доказать, что матричное уравнение А Х = В, где X — мат
рица размера п х к, имеет решение тогда и только тогда, когда ранг
матрицы А совпадает с рангом расширенной матрицы (А \ В ).
62 Гл. IV. Матрицы
Y , a ijX j = B i, i = 1,2,
з=1
где X j и В{ — матрицы порядка р х q, имеет единственное решение
тогда и только тогда, когда det(a ij) ф о.
18.8. С помощью присоединенной матрицы найти обратную к
матрице:
1 3
а)
0 1
г)
/6 0 0
ж) 0 1 2
\о 3 5
/2 0 0^ cos а —sm а
к) 3 1 1
sin a cos а
\о 0 2/
18.9. Найти с помощью элементарных преобразований обратную
к матрице:
/1 о о 0\ /0 0 1 0\
0 0 1 0 1 0 0 0
а) б)
0 0 0 1 0 0 0 1
\0 1 о о) \0 1 о о)
0 0 0 1 тЛ 0 0 2 0
0 2 0 0 » г) 1 0 0 0
0 1 0/ 1 0 3 0 ч
§18. Матричные уравнения. Обратная матрица 63
/10 0 о о\
/1 1 1\ 1 1 0 о о
О 1 1
д) е) 0 1 1 о о
уо о V V
о
о
о
/ 3 - 4
з) 2 -3
V 3 —5
to
to
1
to to
1 -2
-2 1
* * *
§ 19. М а т р и ц ы сп ец и а л ь н о г о в и д а
а) 0 »> 61(; i
19.3. Используя свойства элементарных матриц, перемножить
матрицы:
/1 2 3 А /1 0 0 А
1 3 5 7 0 2 0 0
а)
1 2 4 8 0 0 3 0 5
V
1 1 У v> 0 0 4 /
/1 0 0 ° \ /1 2 3 4 \
0 2 0 0 1 3 5 7
б)
0 0 3 0 1 2 4 8 5
V> 0 0 V V 1 1 У
/1 2 3 А / 1 0 0 0 А
1 3 5 7 0 1 0 0
в)
1 2 4 8 2 0 1 0
V 1 1 У V-3 0 0 1 /
( 1 0 0 2 3
0 ^ /1 А
1 1 0 0 1 3 5 7
г) 2 0 1 0 1 2 4 8
V- 3 0 0 1 / V 1 1 У
19.4. Доказать следующие свойства операции транспонирования:
а) 1(А + В) = 1А + 1В\ б) *(АА) = А1А\
в) г(АВ) = 1В •*Д; г) (^Д)-1 = г(А~1); д) t {tA) = А.
19.5. Доказать, что всякая матрица может быть единственным
образом представлена в виде суммы симметрической и кососиммет
рической матриц.
19.6. Доказать, что:
а) если матрицы А и В ортогональны, то матрицы Д-1 и А В
также ортогональны;
б) если комплексные матрицы Аж В унитарны, то матрицы Д-1
и А В также унитарны.
5 А.И. Кострикин
66 Гл. IV. Матрицы
5*
Глава V
§ 20. К о м п л ек сн ы е ч и сл а в а л г е б р а и ч е с к о й ф о р м е
(1 + г)5 / 1 + y/ з :
л) — + ----г
(1-г)3 2 2 ,
ж + гг/ —2 z = 10,
2 zi - (2 + i)z 2 = -г,
г) д) < ж —у + = 20,
(4 —2г)^1 —5^2 = —1 —2г;
гж + Згх/ —(1 + i)z = 30.
20.5. Найти вещественные числа ж и у , удовлетворяющие уравне
нию:
а) (2 + г)ж + (1 + 2г)у = 1 —4г; б) (3 + 2г)ж + (1 + Зг)?/ = 4 —9г.
20.6. Доказать, что:
а) комплексное число г является вещественным тогда и только
тогда, когда ~z — z\
б) комплексное число z является чисто мнимым тогда и только
тогда, когда ~z — —z.
20.7. Доказать, что:
а) произведение двух комплексных чисел является вещественным
тогда и только тогда, когда одно из них отличается от сопряжённого
к другому вещественным множителем;
б) сумма и произведение двух комплексных чисел являются ве
щественными тогда и только тогда, когда данные числа или сопря
жены, или оба вещественны.
20.8. Найти все комплексные числа, сопряжённые:
а) своему квадрату; б) своему кубу.
20.9. Доказать, что если из данных комплексных чисел z \ , z 2, ...
. . . , zn при применении конечного числа операций сложения, вычита
ния, умножения и деления получается число z, то из чисел zi, Z 2 , ...
. . . , z n при применении тех же операций получается число z.
20.10. Доказать, что определитель
Z1 Zi a
Z2 Z2 b
Z3 z 3 c
21. К о м п л ек сн ы е ч и сл а в т р и г о н о м е т р и ч е с к о й ф о р м е
+ z2 Zl + 2:2
\zi \ + \z2\ — ~ л/ Z1z2 + + y/Z\Z2
для целых n ф 0.
21.9. При n G Z вычислить выражения:
1 -г л /З \
a) (1 + i)n; 6)
1 —i tg<aN
B) г) (1 + cos ip + i sin ip)r
1 + i tg a
в) sin2m х
(-1 Г
2
sin(2m + 1 —2 k)x.
§ 22. К о р н и и з к ом п л ек сн ы х ч и сел
и м н о го ч л ен ы дел ен и я к р у г а
5г 1 + 2i —2 + ^ у/З + i
5 —---- г + 2; у)
1+ г 2 -г 2 + гл/5 2л/5 + 5г‘
22.8. Найти двумя способами корни степени 5 из единицы и вы
разить в радикалах:
ч 2тт . . 2тг 4тг ч . 47г
a) cos— ; б) si n— ; в) cos — ; r) sin — .
5 5 5 5
22.9. Решить уравнения:
a) (z + l ) n + ( z - 1)п = 0; б) (z + l ) n - (z - 1)п = 0;
в) (z + i)n + (z —i)n = 0.
22.10. Выразить в радикалах вещественные и мнимые части кор
ней из единицы степеней 2, 3, 4, б, 8, 12.
22.11. Найти произведение всех корней степени п из единицы.
_ 27тк . . 27тк ,
22.12. Пусть Ek = cos------ Ьг s in ----- (0 ^ к < п). Доказать, что:
п п
а) л/Т = {во,Ei,. . . , £n_i};
б) ек = е\ (0 ^ к < п);
Ek+u если к + I < п,
з) ek£i = (0 ^ к < п, 0 ^ I < п);
Ek+i-пч если к + I ^ п
г) множество U n корней степени п из единицы является цикли
ческой группой порядка п относительно умножения;
д) всякая циклическая группа порядка п изоморфна группе U n.
22.13. Доказать, что:
а) если числа г n s взаимно просты и a r = a s = 1, то а = 1;
б) если d — наибольший общий делитель чисел г и s, то U r DU S =
= U d;
в) если числа г и s взаимно просты, то всякий корень из едини
цы степени rs однозначно представляется в виде произведения корня
степени г на корень степени s.
22.14. Доказать, что следующие утверждения равносильны:
а) г является первообразным корнем из единицы степени п;
б) порядок г в группе U n равен щ
в) г является порождающим элементом группы U n.
22.15. Доказать, что если г является первообразным корнем
степени п из единицы, то е также является первообразным корнем
степени п из единицы.
74 Г л. V. Комплексные числа
1 + z + ... + zn_1
* * *
ницы?
22.23. Найти многочлены деления круга (круговые многочлены)
Фп(ж) для п, равного:
а) 1; б) 2; в) 3; г) 4; д) 6; е) 12;
ж) р, где р — простое число;
з) рк, где р — простое число, к > 1.
22.24. Доказать следующие свойства круговых многочленов:
а) П * - ( * ) =
d\n
ФДаО = Ф*(*"/*);
д) если п делится на простое число р и не делится на р2, то
§ 23. В ы ч и сл ен и я с п ом ощ ь ю к ом п л ек сн ы х ч и сел
д) ~
ПKz (' x + £кУ)П = x n + y n (£o, £l, . . . , £n- l — корни степени n
k= о
из единицы);
n
7xk
e) x 2 n + l 1 = (ж - !) П {■x — 2x cos ■
k= 1
2n + i + 1) ;
n —1
7тк ф 2п + 1
з)ч гг1 sm
. —
^ = ^ и) J J sm ■
2п 2™"1’ 2п -Ь 1
к= 1 к= 1
* * *
... + ( I cos((p + па )х п = 0.
тп _2 m(m —3)
?) 2 cos m x —(2 cos x)m — —(2 cos x) J+ (2 cos ж) m—4 + . . .
1- 2
i(m —k —1). . . (m —2 k + 1)
(2 cos ж) m —2k + .
k\
§ 24. С вя зь к ом п л ек сн ы х ч и сел
с г е о м е т р и е й н а п л о ск о ст и
\z + ге|2 + \ z - w \2 = 2 \z \2 + 2|гс|2
CLZ + Ъ
W= а, Ь, с, d G С, ad — Ъсф 0,
cz + dP
80 Г л. V. Комплексные числа
az + Ъ
ad —be = 1,
cz Н- d 5
переходит вещественную прямую в себя тогда и только тогда, когда
(а Ъ\
матрица ( ^1 пропорциональна вещественной матрице.
* * *
z-b
w= а \а\ = 1, Im b > 0.
z-V
§ 24. Связь комплексных чисел с геометрией на плоскости 81
6 А.И. Кострикин
Г л а в а VI
М НОГОЧЛЕНЫ
§ 25. Д ел ен и е с о с т а т к о м и а л г о р и т м Е в к л и д а
d e g i^ ) < d e g g ^ ) —d e g d ^ ),
§ 26. Простые и кратные корни 83
х ти(х) + (1 —x)nv(x) = 1.
§ 26. П р о с т ы е и к р а т н ы е к орн и
н а д полям и н ул евой х а р а к т е р и с т и к и
„ ж ж^ ж 11
1 + 77 + ^2 ! + --- + —Г
1! п\
не имеет кратных корней.
§ 26. Простые и кратные корни 85
* * *
26.10. Определить кратность корня а многочлена
2=1
§ 27. Р а з л о ж е н и е н а н е п р и в о д и м ы е м н о ж и т е л и
над К и С
* * *
d\m
§ 29. Рациональные дроби 91
§ 29. Р а ц и о н а л ь н ы е д р о б и
а) б)
ж4 - 16’ ж4 + 4 ’ (ж + 1)(ж2 + I)2 :
г) д)
cos(n агссояж) ’
Л»
венных корней;
1 2х — 1
ж з) х 6 + 27 и)
Г ж(ж + I)2(ж2 + ж + I)2 ’
‘2т
к) л) т < п.
(ж4 - I)2 ’ Ж2п + 1 ’
1
29.3. Разложить на простейшие дроби над Zp.
хр — X
29.4. Доказать, что для любых ненулевых многочленов / , g
(.f a У Г , я'
fg f g'
f = 1
+ ...+
/ х - ах ж —а*!
92 Г л. VI. Многочлены
§ 30. И н т ер п о л я ц и я
X -1 0 1 2 3 X 1 2 3 4 6
f(x) 6 5 0 3 2 f(x) 5 6 1 -4 10
(ж - x i)9'{xiY
к / '(* < )
б) Вычислить сумму
v ,n — 1
Е f'(Xi)'
§ 31. Симметрические многочлены и формулы Виста 93
(ж-жД*
г=0 &=0 /=0 едж )
§ 31. С и м м е т р и ч е с к и е м н о го ч л ен ы и ф о р м у л ы В и е т а
Si 1 0 .. 0 0
S2 Si 2 .. 0 0
1
Л!
Sk- 1 Sk- 2 Sk- 3 • . . Si k -
Sk Sk- 1 Sk- 2 • .. s 2 Sl
/ ( Ж 1 , . . . , ж п ) = Д ( ж ь . . . , ж п ) # ( ж ь . . . , ж п ) ,
П ( l - n - 1 = Y , p ( n ) t n.
га^О n^O
7 А.И. Кострикин
98 Г л. VI. Многочлены
Доказать, что:
а) аа (х 1 , . . . , х п) = det
ад = Ai + n — i
S\(Xl, Хп) =
as
Доказать, что:
а) S \ ( x 1 , . . . , х п) — целочисленный симметрический многочлен;
б) 5 л(ж1 , . . . , х п) при всех А = (Ai,. . . , Ап) образуют базис линей
ного пространства симметрических многочленов от яд, . . . , х п;
в) если А = ( 1 , . . . , 1 ), то S \ ( x i , ... , х п) = сгп;
г) если А = (п, 0 . . . , 0), то 5л(ад, . . . , х п) = hn (см. 31.28).
resn
§ 32. Р е з у л ь т а н т и д и с к р и м и н а н т
Г ?/2 + ж2 - у - Зх = 0,
| У2 — бжр — ж2 + 112/ + 7х — 12 = 0;
7*
100 Г л. VI. Многочлены
* * *
„ ж ж2 хп
1+ И + ¥ + ---+ ы-
D ( f g )= D (f )D (g ) [ R ( f, g ) } 2.
R{x> - а\ х к - Ьк) = ( - 1
§ 33. Р а с п р е д е л е н и е к ор н ей
f ( x ) = a ( x - a 1)k l . . . { x - a m)km, а ф 0,
ЛИНЕЙНАЯ АЛГЕБРА
И ГЕОМЕТРИЯ
Г л а в а VII
\Хп) Vn)
§ 34. П о н я т и е в е к т о р н о г о п р о с т р а н с т в а . Б а зи с ы
любого х G А;
г) коммутативную группу А можно превратить в векторное
пространство над полем Q тогда и только тогда, когда в ней нет эле
ментов конечного порядка (кроме нуля) и для любого натурального
числа п и любого а Е А уравнение пх = а имеет решение в группе А.
34.8. Пусть F — поле, Е — его подполе.
а) Доказать, что F является векторным пространством над по
лем Е.
б) Если F конечно, то \F\ = |Е |П, где п — размерность F как
векторного пространства над Е.
в) Если F конечно, то \F\ = pm, где р — характеристика F.
г) Найти базис и размерность поля С над полем Е.
д) Пусть m i , . . . , mi — различные натуральные числа, каждое из
которых не делится на квадрат простого числа. Доказать, что числа
1, y /m i , . . . , yjmn линейно независимы в пространстве Е над Q.
е) Пусть г\ , . . . , гп — различные рациональные числа из интервала
(0,1). Доказать, что в пространстве Е над полем Q числа 2Г1, . . . , 2Гп
независимы.
з) Пусть а — комплексный корень многочлена р Е Q[x], неприводи
мого над Q. Найти размерность над Q пространства Q[a], состоящего
из чисел вида /( a ) , / G Q[x].
34.9. Пусть М — множество, состоящее из п элементов. На мно
жестве его подмножеств 2 м определим операции сложения и умно
жения на элементы поля Z 2 по правилу, как в задаче 1 .2 :
I X = Х, ОХ = 0 .
а) Доказать, что относительно этих операций множество 2м яв
ляется векторным пространством над полем Z 2 , и найти его базис и
размерность.
б) Пусть Х х , . . . , Х^ — подмножества в М, причём ни одно из них
не содержится в объединении остальных. Доказать, что Х х , . . . , X &—
линейно независимая система.
34.10. Пусть векторы e i , . . . , еп и х заданы своими координатами
в некотором базисе:
а) б! = (1,1,1), е2 = (1,1,2), е 3 = (1,2,3), ж = (6 ,9 ,1 4 );
б ) е 1 = (2 ,1 ,-3 ), е 2 = (3 ,2 ,-5 ), е 3 = (1 ,-1 ,1 ), *=(6,2,-7);
§ 35. Подпространства 107
в) е\ = (1 , 2 , —1 , —2 ), е2 = (2 ,3 ,0 ,-1 ), е3 = (1,2,1,4),
е4 = (1 ,3 ,-1 ,0 ), ж = (7 ,1 4 ,-1 ,2 ).
Доказать, что ( ei , . . . , еп) — также базис пространства, и найти
координаты вектора х в этом базисе.
34.11. Доказать, что каждая из двух заданных систем векторов
S и S' является базисом. Найти матрицу перехода от S к S':
а) 5 =(( 1, 2, 1) , (2,3,3), (3,8,2)),
5 '= ((3,5,8), (5,14,13), (1,9,2));
б) 5 = ((1,1,1,1), (1,2,1,1), (1,1,2,1,), (1,3,2,3)),
5 '= ((1,0,3,3), ( - 2 , - 3 , - 5 , - 4 ) , (2,2,5,4), ( - 2 , - 3 , - 4 , - 4 ) ) .
34.12. Доказать, что в пространстве М[ж]п многочленов степени
^ п с вещественными коэффициентами системы
{1,ж, . . . , жп} и {1, х — а, (х — а)2, . . . , (х — а)п}, а Е Е,
являются базисами, и найти координаты многочлена f(x) = ао +
+а\х + . . . + апжп в этих базисах и матрицу перехода от первого базиса
ко второму.
34.13. Как изменится матрица перехода от одного базиса к дру
гому, если:
а) поменять местами два вектора первого базиса;
б) поменять местами два вектора второго базиса;
в) записать векторы обоих базисов в обратном порядке?
34.14. Доказать, что системы векторов линейно независимы, и
дополнить их до базиса пространства строк:
а) ^ = (2 , 2 , 7, -1 ), а 2 = (3, - 1 , 2 ,4), а 3 = (1,1, 3,1);
б) ^ = ( 2 ,3 ,- 4 ,- 1 ) , а 2 = (1 ,-2 ,1 ,3 );
в) а\ = (4, 3, -1 ,1 ,1 ), а 2 = (2,1, -3 , 2, -5 ),
а 3 = (1 ,-3 , 0, 1, - 2) , «4 = (1,5,2, -2 ,6 );
г) ^ = (2,3, 5 ,-4 ,1 ), а 2 = (1 ,-1 ,2 ,3 ,5 ).
§ 35. П о д п р о с т р а н с т в а
г) Доказать, что
д) Доказать, что
(U П V) + (V П W) + (W П U) C (U + V) П (V + W) П (W + U)
СО
a 2 = ( - 1 , 1 , 1 , 1 ), b2
1
II
^4
л) a i = (1 , 2 , - 1 , - 2 ), b1 = ( 2 , 5 , - 6 , - 5) ,
a 2 = (3,1,1,1), b2 = ( - 1 ,2 ,- 7 ,- 3 ) .
= ( - 1, 0, 1, - ! ) ,
35 .16 . Найти систему линейных уравнений, задающую систему
векторов:
а) (( 1 , - 1 , 1 , 0 ), (1 , 1 , 0 , 1 ), (2 , 0 , 1 , 1 ));
б) ( ( 1 ,- 1 ,1 ,- 1 ,1 ) , (1,1,0,0,3), (3 ,1 ,1 ,-1 ,7 )).
35.17. Пусть — подпространства векторного прост
ранства. Доказать, что:
а) сумма этих подпространств является прямой тогда и только
тогда, когда хотя бы один ее вектор однозначно представляется в
виде
х\ + ... + Xk, Xi G Li] i = 1, . . . , k]
б) условие Li П Lj = 0 для любых различных i и j от 1 до к не явля
ется достаточным для того, чтобы сумма этих подпространств была
прямой.
35.18. Пусть подпространства [/, У С Еп заданы уравнениями
XI + Х2 + . . . + хп = 0, XI = х2 = . . . = хп.
Доказать, что En = U 0 V , и найти проекции единичных векторов на
U параллельно У и на У параллельно U.
35.19. Пусть в пространстве Е4
/1 1 ..
• л
0 1 .... 1
\о 0 .. l)
8 А.И. Кострикин
114 Гл. VII. Векторные пространства
§ 36. Л и н ей н ы е ф у н к ц и и и о т о б р а ж е н и я
Доказать, что:
а) У 0 — подпространство в У*, и если U — подпространство, то
dim U + dim U° = dim У ;
б) если Ui жU2 — подпространства в У , то U® = U® тогда и только
тогда, когда U\ — U2 ;
в) для любого подпространства U пространства У
БИЛИНЕЙНЫ Е И К В А Д РА Т И Ч Н Ы Е
Ф УН КЦ И И
37. О бщ и е би л и н ей н ы е и п о л у т о р а л и н ей н ы е ф у н к ц и и
В этом параграфе предполагается, что характеристика основного
поля отлична от двух.
37.1. Какие из следующих функций двух аргументов являются
билинейными функциями в соответствующих пространствах:
а) f(x, у) = гх ■у (х, у £ F n — столбцы, F — поле);
б) f (A , В) = tr(AB) (А, В £ М „(F ), F — поле);
в) f ( A , B ) = tv{AB - BA);
г) f ( A , B ) = det(AB);
д) f ( A , B ) = t v ( A + B);
е) f ( A , B ) =И(А -*В);
ж) Л А , В ) = И ( < А - В ) ;
з) f ( A , B ) — коэффициент на месте (г, j) матрицы АВ\
и) f(u, v) = Re(uv) (и, v E С, С — векторное пространство над Е);
к) f(u,v ) = Re(mJ);
л) f(u ,v ) = |uu|;
м) f(u,v ) =
н) f(u,v ) = Г uv dt (u,v — непрерывные функции аргумента t
Jb
на отрезке [a, b]);
fa
o ) f ( u , v ) = / uv 1 dt (u,v дифференцируемые функции на от-
Jb
резке [a, b\, причём и (a) = u(b) v(a) = v{b) = 0 );
ra
П) f(u ,v ) = J (u + v f d t ;
118 Г л. VIII. Билинейные и квадратичные функции
с) f(u ,v ) = -I(uv)(a);
т) f(u,v ) = \и + v \2 —\и\2 —\v\2 (u,v G E3);
у) f(u,v ) = е{и х v) (х — векторное умножение, е{х) — сумма
координат вектора х в заданном базисе).
37.2. В конечномерных пространствах из задачи 37.1 выбрать ба
зис и найти матрицы соответствующих билинейных функций.
37.3. Пусть F — поле и F(x) — поле рациональных функций от
переменной х. Доказать, что отображения х н->> ехТ задают автомор
физмы второго порядка в F(x), где г, г = =Ы и (г, г) ф (1,1).
37.4. Пусть р, q — различные простые числа. Доказать, что ве
щественные числа вида а + Ъу/р + Cyfq + dy/pq, где a, 6, с, d G Q, обра
зуют подполе Q(y/p, y/q) в Е. Проверить, что отображение
/ 0 2 1 е[ = ei + 2 е2 - е3,
б) -2 2 0 е2 = е2 —е3,
\ -1 0 3 е3 = —ei + е2 - Зе3.
37.7. Пусть полуторалинейнал функция / в двумерном комплекс
ном пространстве с базисом (ei, е2) задана матрицей В. Найти мат
рицу В 1 функции / в базисе (е^е^), где:
г+ 1 - А е[ = ei + ге2,
а) В =
0 -& — + iei + е2;
2 -1 + А = 2 ei - ге2
б) В =
—г о у е2 = гв! + е2.
37.8. Пусть билинейная функция / задана в некотором базисе
матрицей F. Найти f (x, y), если:
/' 1 -1 1 > х = (1,0,3),
a )F = -2 -1 3
у = ( - 1 , 2 , -4 );
\ч 0 4 5 )
/^ г 1+ г
ж = (1 + г, 1 —г, 1 ),
6) F = -1 + г 0
2/ = ( - 2 + г, —г, 3 + 2г).
\, 2 + г 3 - г
37.9. Найти значение f ( x , y ) полуторалинейной функции, задан-
ной в некотором базисе комплексного пространства матрицей В , ес
ли:
5 X = (г, - 2 ),
а) В
г/ = (1 —г, 3 + г);
—г 1 — 2г х = (2 , г + 3),
б) В
-4 2 + Зг г/ = (-г, 6 - 2г)
37.10. Пусть g — билинейная функция с матрицей G в некотором
базисе пространства У, Л — линейный оператор в У с матрицей
А. Найти в этом базисе матрицу билинейной функции f(u,v ) = д(и,
Д(г)), если:
/0 1 2\ / 1 —4 3 \
б) G = 40 3 , А = [ 4 - 1 - 2
\ 5 б 0/ \ -3 2 1 у
37.11. Пусть g — полуторалинейная функция с матрицей G в не
котором базисе линейного пространства V, А — линейный оператор
120 Г л. VIII. Билинейные и квадратичные функции
1 \
СО
-6
1 1
2
to
to
а) А = -5 б) А = 3
1
1—1
-4
со
0
1
\5
37.15. Пусть F, ж из 37.13. Найти левое и правое ядра полутора
линейной функции f (x , y ) = g(x, А(у)), где А — линейный оператор
с матрицей A, g — полуторалинейная функция в двумерном прост
ранстве, имеющая в базисе (ei,e 2) единичную матрицу:
1 + л/З 1\ 0 0\
а) А б) А
0 0) ’ 2л/3 о) ’
37.16. Пусть / — билинейная функция с матрицей F на вектор
ном пространстве V , U — подпространство в V. Найти левое и правое
ортогональные дополнения к U относительно / (т.е. максимальные
подпространства U\ и £/2 такие, что f(Ui,U) = /(£/,£/ 2) = 0), если:
А 1 3'
a) F = 3 3 6 и = ((1,- 1 , 0 ), ( - 2 , 3 , 1 ));
2 5 9
§ S1. Общие билинейные и полуторалинейные функции 121
б) F
(
37.17. При F , х из 37.13, и / — полуторалинейная функция с
матрицей G на векторном пространстве V, U — подпространство
в V . Найти левое и правое ортогональные дополнения к U относитель
но / , если:
a) G =
/1 —л/3 2
б) GG== 22 0 1
\1 1 — л / 3 VI
с С е GL„(E),
\Х п/ \У п /
замена переменных, то
d2f
т = £ h
i —1 ' dyidyj ’
где (bij) = С А 1С;
б) существует такая невырожденная линейная замена перемен
ных в Щх 1 , . . . , жп], что относительно новых переменных y i , ... ,Ук
оу дУ дУ эу
1^ д у 1 + ' " + ду\ ду2к+1 ду2 ’
где 0 ^ к ^ s ^ п.
§ 38. С и м м е т р и ч е с к и е би л и н ей н ы е, э р м и т о в ы
и квадратичны е ф ункции
В этом параграфе эрмитовы функции рассматриваются в комп
лексных пространствах.
38.1. Какие из билинейных функций задачи 37.1 являются сим
метрическими?
38.2. а) Какие из полуторалинейных функций задачи 37.5 явля
ются эрмитовыми?
б) Является ли функция f (x , y ) из 37.18, б) эрмитовой?
в) Является ли функция f(u,v ) из 37.20, б) эрмитовой?
38.3. Не производя вычислений, выяснить, эквивалентны ли би
линейные функции
§ 38. Симметрические функции 127
( 1
1
Ьн
т—1
л = (1,2,3), / 2 = (4,5,6);
II
1
I—1 to
со
1
2 5 '
1
б ) \х \ — 2 х\ — З х § + 2 x i X 2 — 2 x 1 X 3 + 2 x 2 X 3 ;
ж) CLidjXiXj , г д е не в с е ч и с л а с д , . . . , ап р а в н ы 0;
i ,j = 1
п
z ) J 2 x 2i + Л XiXi ;
2=1
и)
п —1
к)
2=1
П I I
\ W \2 Ж1 + . . . + Жп
л) /А я * - « ) , « = -----------------
п ;
2=19
9 А.И. Кострикин
130 Г л. VIII. Билинейные и квадратичные функции
м) X] \i~j \xi Xj .
V = U (В U', q(U,) = 0;
ПОЛОЖ ИВ
2, если i = j,
aij — \ —1, если vi и Vj соединены ребром,
0, если Vi и Vj не соединены ребром,
132 Г л. VIII. Билинейные и квадратичные функции
и рассмотрим графы
Ап
Dn Dn
Еп (п = 6 ,7 ,8 ),
ЛИНЕЙНЫ Е О П ЕРАТО РЫ
§ 39. О п р е д е л е н и е л и н ей н о г о о п е р а т о р а .
О б р а з, я д р о , м а т р и ц а л и н ей н о г о о п е р а т о р а
§ 40. С о б с т в е н н ы е в е к т о р ы , и н в а р и а н т н ы е
п о д п р о с т р а н с т в а , к ор н ев ы е п о д п р о с т р а н с т в а
г
е) оператора / —>• / f(t)dtв влинейной
линейнойоболочке
J —X
(cos ж, sin ж,. . . , cos шж, sin шж).
138 Гл. IX. Линейные операторы
& п —1 0 0 .... 1
dn 0 0 ..
0 /
i) A {f ) = x§f-, б) A ( f ) = - [ f ( t ) dt.
dx x Jq
40.32. В линейной оболочке функций
(cos ж, sin ж,. . . , cos пж, sin пх)
142 Гл. IX. Линейные операторы
а> G-7 3 ;
-9 4/
б) 4 - 7 ! \ 1;
6 -7 У
со
/ 0 - -2 2 \
2 6 —15'
I—1
to I—1
1
1 -1
в) 1 -5 г) 0 0 0
2 -6
^ 1 - -1 0 1J
40.36. Доказать, что линейный оператор в комплексном вектор
ном пространстве имеет в некотором базисе диагональную матри
цу тогда и только тогда, когда все его корневые векторы являются
собственными.
40.37. Доказать, если что линейный оператор в комплексном век
торном пространстве имеет в некотором базисе диагональную
матрицу, то его ограничение на любое инвариантное подпрост
ранство L также имеет диагональную матрицу в некотором базисе
подпространства L.
40.38. Доказать, что всякое корневое подпространство линейно
го оператора А инвариантно относительно любого линейного опера
тора В , перестановочного с А.
40.39. Доказать, что если матрица линейного оператора приво
дится к жордановой форме, то всякое инвариантное подпространст
во является прямой суммой своих пересечений с его корневыми под
пространствами.
* * *
§ 41- Жорданова форма 143
Ai
V о Ап /
§ 41. Ж о р д а н о в а ф о р м а и её п р и л ож ен и я .
М и н и м ал ь н ы й м н о го ч л ен
1 -3 0 3 \
( -2 8 6\ -2 -6 0 13
л) -4 10
6 ; 0 -3 1 3
1 4 -8 - 4 / - 1 -4 0 8 )
3 -1 1 7\
9-3 - 7 1
ж)
0 0 4 S
0 0 2 -<Ч
( 1 --1 1 0 . 0
0 ^
0 1 -1 0 . 0 0
0 0 1 -1 . 0 0
з)
0 0 0 0 . 1 -1
V0 0 0 0 . 0 1 )
(1 1 1 ... 1\ (п п -1 п —2 1\
0 1 1 ... 1 0 п п —1 2
и) 0 0 1 ... 1 ч 0 0 п 3
у) 0 0 ... 1) 1о 0 0 п
/0 1 0 0 ... °\
(1 0 0 ...
0 0 1 о ... 0
1 2 0 ... 0
0 0 0 1 ... 0
л) 1 2 3 ... 0 ч ч
0 0 0 0 ... 1
б 2 3 ... п)
V1 0 0 0 ... V
(а <212 <213 . . <2in ^
0 а <223 • • <22п
н) 0 0 а • • *23п где a i 2 , а23, • • •,<2n-i,n Ф 0.
\0 0 о . a J
41.2. Доказать, что жорданова форма матрицы А + а Е равна
Aj + а Е , где Aj — жорданова форма матрицы А.
/а 0 1 0 .... 0 °\
0 а 0 1 .... 0 0
0 0 а 0 .... 0 0
0 0 0 а .... 0 0
0 0 0 0 .... а 0
\0 0 0 0 .... 0 aJ
( 0 1 -1 1 \ /б - 9 5 А
2 -1 1
-1 тА 7 -1 3 8 7
-1
1 1 0 5 г) 8 -1 7 11 8
l -1 1 0 ч б -2 1 У
41.11. Найти жорданову форму матрицы линейного оператора в
комплексном векторном пространстве, имеющем только одну инва
риантную прямую.
10 А.И. Кострикин
146 Гл. IX. Линейные операторы
ю:
148 Гл. IX. Линейные операторы
Доказать, что:
а) для любого натурального числа к
t v A k = A f + ... + Л*;
* * *
41.46. Пусть
/° 0 ... 0 1\
0 0 ... 1 0
В = е м„(С)
0 1 ... 0 0
\1 0 ... 0 •V
^ п1—1^
SJ(n, X)S 1 = Ai? + —^^[ДД,/г+1 + Ek+i,k + i ( ^ n_ fe+ l,fe+ l -E'n—
§ 42. Н о р м и р о в а н н ы е п р о с т р а н с т в а .
Н еотри ц ательн ы е м атрицы
а) \\А \\ = т а ^ ( X Ы ) ; б ) I I -А \\ = m a x ( X М ) -
«=1 ^ 3=1
а) ц а ||1 = х к -i; б) р ц 2 = х м 2;
Ь3 = 1 \ hj=l
* * *
п ki к
dlu
l (A) = J 2 Gi ( A ) J 2 J 2 n dxl {Xi)- ^ G i [ x r l l = x S A ~ ^ E )h
2=0 к = 0 /=0
где Gi(t) = ~ xi ) ki ■
42.19. Вычислить:
4 2 -5
в) exp 6 4 -9
5 3 7
/4 -1 5 б'
г) In I 1 —4 2
7Г
VI -5 3
ж (2)
\ x n {t)
— непрерывно дифференцируемая вектор-функция. Доказать, что
решением системы дифференциальных уравнений с постоянными ко
эффициентами
= Ax{t)
/з 2 3 1\
0 2 0 5
5 7 1 6
\° 1 0 V
Глава X
М ЕТРИ Ч ЕС К И Е ВЕКТО РН Ы Е
П РО С ТРА Н С ТВА
§ 43. Г е о м е т р и я м е т р и ч е с к и х п р о с т р а н с т в
' \ \ 2 ’ 2 ’ 2 ’ 2 / ’ \ 2 ’ 2 ’ 2 ’ 2Д
д) ((1,1 —г,2),(—2, —1 + Зг,3 —г));
е) ((—*, 2, —4 + г), (4 —г, —1,г)).
43.8. Найти ортогональную проекцию вектора х евклидова
(эрмитова) пространства на линейную оболочку ортонормированной
системы векторов ( ei , . . . , еД.
43.9. Доказать, что в любых двух подпространствах евклидова
(эрмитова) пространства можно выбрать ортонормированные базисы
(еь . . . , еД и (Д, . . . , Д) таким образом, чтобы (е*, /Д = 0 при j и
( e i j i ) ^ 0.
43.10. Пусть ( ei , . . . , еД и ( Д , . . . , //) — ортонормированные ба
зисы подпространств L и М евклидова (эрмитова) пространства,
А = ((е^,/Д) — матрица порядка к х I. Доказать, что все характе
ристические числа матрицы 1А • А принадлежат отрезку [0,1] и не
зависят от выбора базисов в подпространствах L и М .
43.11. Доказать, что всякая вещественная симметрическая
матрица ранга ^ п с неотрицательными (соответственно положи
тельными) главными минорами является матрицей Грама некоторой
системы (соответственно линейно независимой системы) векторов
n-мерного евклидова пространства.
Доказать аналогичное утверждение для эрмитовой матрицы и
эрмитова пространства.
43.12. Доказать, что сумма квадратов длин проекций векторов
любого ортонормированного базиса евклидова (эрмитова) прост
ранства на ^-мерное подпространство равна к.
43.13. Пусть G — матрица скалярного произведения в базисе
( ei , . . . , еп) евклидова пространства V. Найти матрицу перехода к со
пряжённому базису ( Д , . . . , / п) и матрицу скалярного произведения
158 Гл.Х. Метрические векторные пространства
в этом базисе.
43.14. Пусть S — матрица перехода от базиса е к базису е'. Най
ти матрицу перехода от базиса е', сопряжённого к е, к базису f',
сопряжённому к f:
а) в евклидовом пространстве;
б) в эрмитовом пространстве.
43.15. С помощью процесса ортогонализации построить ортого
нальный базис линейной оболочки системы векторов евклидова (эр
митова) пространства:
а) ((1 ,2 ,2 ,-1 ), (1 ,1 ,-5 ,3 ), (3 ,2 ,8 ,-7 ));
б) ( ( 1 ,1 ,- 1 ,- 2 ) , ( 5 , 8 , - 2 , - 3 ) , (3,9,3,8));
в) ((2,1,3, -1 ), (7,4,3, -3 ), (1,1, -6 ,0 ), (5,7,7,8));
г) ((2,1,-г), ( 1 - г,2,0), ( - г , 0 , 1 - г) ) ;
д) ((0,1 —г, 2), (—г, 2 + Зг, г), (0,0, 2г)).
43.16. Найти базис ортогонального дополнения линейной оболоч
ки системы векторов евклидова (эрмитова) пространства:
а) ((1,0,2,1), (2,1,2,3), (0 ,1 ,-2 ,1 ));
б) ((1,1,1,1), ( - 1 , 1 , - 1 , 1 ) , (2,0,2,0));
в) ((0,1 + 2г, —г), (1, —1,2 —г)).
43.17. Доказать, что системы линейных уравнений, задающих ли
нейное подпространство в Жп и его ортогональное дополнение, связа
ны следующим образом: коэффициенты линейно независимой систе
мы, задающей одно из этих подпространств, являются координатами
векторов базиса другого подпространства.
43.18. Найти уравнения, задающие ортогональное дополнение к
подпространству, заданному системой уравнений:
2xi Х2 Зжз —Х4 = 0 ,
а) < 3xi + 2х2 — 2х4 = 0,
3xi + х 2 + 4хз —Х4 = 0 ;
2xi —Зх2 + 4х3 —3x4 = 0,
б) ^ 3xi —х 2 + 1 1 х 3 —13X4 = 0 ,
4xi + х 2 + 18х3 —23x4 = 0 ;
xi + (1 - i)x2 - ix з = 0,
в )
—ix 1 + 4х 2 = 0.
§ 43. Геометрия метрических пространств 159
2xi + х 2 + х 3 + Зж4 = 0,
< 3xi + 2ж2 + 2х3 + ж4 = 0,
^ Х \ -\- 2 x 2 И- 2ж з — 4 ж 4 = 0;
а) ж = ( 2, 4, 0, -1),
6) х = ( 3 , 3 , — 4 , 2),
i—1
160 Гл.Х. Метрические векторные пространства
С = ( Х+ 4 ^ ’ 2 + 3 + 1^ ’ 2+ 1+ •
11 А.И. Кострикин
162 Г л.Х . Метрические векторные пространства
в) ( 1 ,1 ,1 ,2 ,1 ) , (1 ,0 ,0 ,1 ,-2 ), (2 ,1 ,-1 ,0 ,2 ),
(0,7 ,3 ,- 4 ,- 2 ) , (3 9 ,-3 7 ,5 1 ,-2 9 ,5 );
г) (1 , 0 , 0 , 2 ,5), (0 , 1 , 0 ,3,4), (0 , 0 ,1,4,7),
(2 ,-3 ,4 ,1 1 ,1 2 ), (0 ,0 ,0,0,1).
43.37. Доказать, что для объёма параллелепипеда выполняется
неравенство
(( 1 , 0 , 0 , 0 ), (0 , 1 , 0 , 0 ,)), (( 1 , 1 , 1 , 1 ), ( 1 , - 1 , 1 , - 1 )).
43.44. Многочлены
1 Нк
Р0 (х) = 1, В Д = ^ ^ [ ( ^ - 1 ) 1] (Л = 1 ,2 ,...,п )
(2n + 1 ) (2” ) 2
при
2п
f (x) = -р у р»(ж)-
/: f(x)g(x) dx
найти:
а) объём параллелепипеда Р ( 1 , ж,. . . , жп);
б) расстояние от вектора х п до подпространства Е[ж]п_ 1 .
43.46. В пространстве L непрерывных функций на отрезке
[—7г, 7г] со скалярным произведением
(.f,g) = - [ f(t)g(t)dt
К J-1г
найти проекцию функции tm на подпространство
1Г
164 Г л.Х . Метрические векторные пространства
§ 44. С о п р я ж ё н н ы е и н ор м ал ь н ы е о п е р а т о р ы
Л ( Л = sin2 Ц -x V 2 ( f ) + у sin ^ x V ( f ) ,
является самосопряжённым.
44.10. Пусть V — пространство вещественных бесконечно диф
ференцируемых функций на отрезке [а, Ь] со скалярным произведени-
ем /гь f(x)g{x) dx. Доказать, что:
а
а) если функции щ , ... ,и п Е V удовлетворяют условиям
Пг(ии{а) = V l (uj)(b) = 0 (j = i = 0 , 1 , . . . , / - 1 ),
то отображения Л и В, определённые правилами
п п
ли) = $ > w ) ’ а д =
166 Г л.Х . Метрические векторные пространства
самосопряжен.
44.11. Доказать, что если линейные операторы А и В в прост-
ранстве Щх\ со скалярным произведением / f ( x )g(x ) dx определены
J а
правилами
f ( x ) = X aix1 е т
г= 0
П О ЛОЖ ИМ
п
7(ж) = X I *•
г= 0
(М о\
\0 А п)
45. С а м о со п р я ж ё н н ы е о п е р а т о р ы . П р и в е д е н и е
к в а д р а т и ч н ы х ф у н к ц и й к главны м ося м
I—1 1—1
17 -8 4 5
1
1 1
1 I—1
-8 17 -4 5
1 1
г)
1—
1—1
4 -4 11 5
1
/0 0
0 0 0 Л
0 0 1 О
д) 0 1 0
0 1 О 0 ’
1 0 0
V 0 О О/
1 1 1 1 \
1 1 -1 -1
ж)
1 -1 1 -1
1 -1 -1 1 /
170 Г л.Х . Метрические векторные пространства
А — А \ + iA^-,
где А \ и А 2 — эрмитовы операторы.
172 Г л.Х . Метрические векторные пространства
0 0 0 • •• Р п - 1
0 0 Qln /
причём Pi • ... • Pn-i ф 0. Доказать, что А не имеет кратных собст
венных значений.
45.19. Найти ортогональное преобразование, приводящее квад
ратичную функцию к главным осям:
а) бх\ + Ъх\ + 7ж2 —4 x i ^2 + 4х\Хз\
б) 11 ж2 + Зх\ + 2ж2 + 1 бж1Ж2 + 4х\Хз —20 ж2ж3;
в) х\ + х\ + 5ж2 —6x ix 2 —2х\Хз + 2ж2ж3;
г) х\ + х\ + х\ + 4xix 2 + 4xix 3 + 4ж2ж3;
д) х\ — Ъх\ + х\ + 4xix 2 + 2х\Хз + 4ж2ж3;
е) 2х\Х 2 —6x ix 3 —6ж2Ж4 + 2ж3Ж4 ;
ж) 3x1 + 8xix 2 —Зх\ + 4ж2 —4 ж3Ж4 + ж2;
з) х\ + 2xix 2 + х\ —2х\ —4 ж3 Ж4 —2ж2;
и) 9x1 + Ъх\ + 5ж2 + 8ж2 + 8ж2ж3 —4 ж2Ж4 + 4 ж3Ж4 ;
к) 4x1 ~ 4х\ —8 x 2X3 + 2ж2 —Ъх\ + 6x 4X5 + Зж2.
^
Е Т ^ Xixf, то
m a x ( | A i | , . . . , | A r |) = т а х | / ( ж ) | .
1®1=1
45.21. Привести эрмитову квадратичную функцию к главным
осям:
a) 5 |x i |2 + i \ f 3 x\X 2 — гл/Зх\Х2 + 6 |ж2|2;
б) 2 1^ 112 + |ж2|2 + 2ix{x 2 — 2ix\X 2 + 21x 2X3 —2гж2ж3;
в) |x i |2 + 2 |ж2|2 + З|ж3 |2 - 2xix 2 + 2ix{x 2 + 21x 2X3 - 2гж2ж3.
§ 46. О р т о г о н а л ь н ы е и у н и т а р н ы е о п е р а т о р ы .
П о л я р н о е р а зл о ж е н и е
3 1 -л /6 \
г) 1 1 3 ч/б .
4 ( л/ 6 -ч /б 2 )
1 - V2 1 1 1 1 \
1 ч/2 1 1 1 —1 —1
2 1 - 1 1 - 1 ’
О
V 1 -1 -1 1 /
1 1 1 1 \
1 1 1 - 1 - 1
2 - 1 1 - 1 1
“I 1 1 “I /
174 Г л.Х . Метрические векторные пространства
/ 1 -8 \ / з - -2 6 \
4 \
и) - 4 6 3 -2 ;
4 7 ;
V -8 1 4 / -2 6 3 )
ч
/ 3 1 л /б \
/2_ 0
л/ 2 V2 4 4 + 4
1 1 1 3 л/ 6
л) ; м)
3\/2 3\/2
СО
4 4 4
2 1 л/ 6 2 1
л/ 6
^ 3 "3 +3 '
V 4 4 2 /
46.7. Найти собственный ортонормированный базис и матрицу в
этом базисе унитарного оператора, заданного в некотором ортонор
мированием базисе матрицей:
/ cos а —sin а
(а ф for);
ysin a cos а 1 —г
, /4 + Зг 4г - 6 - 2г
. 1 / 2 + 3% -л /З \
В) - —4г 4 —Зг —2 —6 г
Г) Д \/3 2 - 3 ij ’
9 \б + 2г —2 —6г
ч 1 ( г 1 \
Л) V2 ( “ I ' )
46.8. Доказать, что унитарная матрица порядка 2 с определите
лем, равным 1 , подобна вещественной ортогональной матрице.
46.9. Доказать, что если А — унитарный оператор в эрмитовом
пространстве и оператор A —S обратим, то оператор i ( A —£)~1(А+£)
эрмитов.
46.10. Пусть А — эрмитов оператор. Доказать, что:
а) оператор А — iS обратим;
б) оператор В = (A — i£)~1(A + i£) унитарен;
в) оператор В — £ обратим;
г) A = i ( B - £ ) ~ 1(B + £).
46.11. Доказать, что для всякого эрмитова оператора А опера
тор егА унитарен и, обратно, всякий унитарный оператор предста
вим в виде егА, где А — эрмитов оператор.
46.12. Пусть V — евклидово пространство с базисом (ei, в2 , ез) и
А — ортогональный оператор в V с определителем 1 . Доказать, что
А = А(рВ$Аф ^
§ J±6. Ортогональные и унитарные операторы 175
11*0 - * 1 II
^ ц л | | . р - 1| | - М
11*о||
*) d e t M - M K £ | о н |2 ... Ё 1
/О 0 ... О 1\
О 0 ... 1 О
О 1 ... О О
\1 о ... о о/
12 А.И. Кострикин
Г л а в а XI
ТЕН ЗО РЫ
§ 47. О сн овн ы е п о н я ти я
12:
180 Гл. XL Тензоры
§ 48. С и м м е т р и ч е с к и е и к о с о с и м м е т р и ч е с к и е т е н з о р ы
(9 = 4);
182 Гл. XL Тензоры
/1 0 1
А
0 2 1 0
в) (g = 2,3).
1 0 1 0
V» 0 1 3/
£ _ e i А е 2 + е 3 А е 4 + . . . + e&_i А е&
V\ A t\ + ... + Vk A tk —0
РФ = {ж Е П| £ Л ж = 0}.
Доказать, что:
а) dim РФ ^ р;
б) dim РФ = р тогда и только тогда, когда £ разложим;
в) наименьшее подпространство, в р-й степени которого лежит
р-вектор £, есть U = {£(ж,... ,vp-i)\ Vi Е V *}.
г) dim U ^ р, причём dim U = р тогда и только тогда, когда £
разложим.
48.17. Доказать, что внутреннее умножение г(ж*), где ж* Е У*,
является дифференцированием алгебры S(V).
48.18. Доказать, что операторы внутреннего умножения г(ж*) и
г(ж|), ж*,ж| Е У*, коммутируют в алгебре S(V) и антикоммутируют
в алгебре Л(Ф).
Г л а в а XII
А Ф Ф И Н Н А Я , ЕВК Л И ДО В А И П РО ЕК ТИ ВН А Я
ГЕОМ ЕТРИЯ
§ 49. А ф ф и н н ы е п р о с т р а н с т в а
Е к
Xi = 1 , то для любых точек а\ , . . .
2=1
2=1
^ ^ГЬ
. . . , а/, аффинного пространства точка а + ^ А^аа^ (обозначаемая
Е гь
АщД не зависит от точки а.
2=1
49.4. Пусть (Р, U) — аффинное подпространство (плоскость)
аффинного пространства. Доказать, что:
а) U = {Щ\ p , q £ Р};
б) Р = р + U для любой точки р G Р.
49.5. Доказать, что пересечение любого семейства плоскостей
аффинного пространства либо пусто, либо является плоскостью.
49.6. Пусть S — непустое подмножество аффинного пространст
ва А. Доказать, что:
а) подмножество (S ) = а + (ах \ х Е S'), где а Е S, не зависит от а
и является наименьшей плоскостью, содержащей S;
§ J±9. Аффинные пространства 185
в) если Pi П Р 2 = 0 , то
Р2 Ж2 = 1 + 2р + ^2,
ж3 = 1 - 2ti + 212,
k ж4 = 1 + t\ + £2 5
3xi — 1 -|- 2t i , .xi = — 6 + 4 t,
x 2 = 3 + 2£2, x 2 = 2 + 3 t,
в) Pi < ж3 = 5 + 4t 2 P 2 : < Ж3 = 2 + 7t,
Ж4 = 4 + 3p + 2^2 Ж4 = —2 H- 5t,
Ж5 = 2 + t± + 2^2, ж5 = —3 + 3 £.
в) 5 = ( 6 ,- 1 ,- 5 ,1 ) ,
xi = 3 + 2p
I x2 = 5 - p j - 6x 1 + 2 x 2 - 5x 3 + 4x 4 = 1,
Pi : P2 : \
X3 = 3 —t, I 9xi —X2 + 6 x 3 —6 x 4 = 5.
k X4 = 6 + p
49.21. Пусть ao, a i , . . . , an — аффинно независимые точки n-мер-
ного аффинного пространства А. Доказать, что всякая точка а Е А
Е п Aidi, где
Е п А; = 1.
г=0 г
49.22. Пусть (ao, e i , . . . , еп) — аффинная система координат в аф
финном пространстве (Д, У), а^ = ао + е* (г = 1 ,... ,п). Найти бари
центрические координаты точки х = ( x i,... ,х п) относительно сис
темы точек ao, a i , . . . , ап.
49.23. Пусть (Д, У) — аффинное пространство над полем К ,
\К\ ^ 3, Р — непустое подмножество в А. Доказать, что Р явля
ется плоскостью тогда и только тогда, когда вместе с любыми двумя
различными точками a, b Е Р в Р содержится прямая (а, 5). Верно ли
это утверждение, если К — поле из двух элементов?
188 Гл.ХП . Аффинная, евклидова и проективная геометрия
D(fg) = D f • Dg,
а) если
б) если
ip(x + y) = ip(x)+<p(y),
ip(ax) = a(a)if(x),
где ж, у G У, a G К.
Полуаффинным преобразованием аффинного пространства (Д, У)
называется пара (/, Df ) , где / : А —>A, D f : У —>• У, удовлетворяю
щая условиям:
D f — биективное полулинейное отображение относительно неко
торого автоморфизма поля К ;
f ( a + v) = f(a) + Df ( v) для любых а Е Д, ж Е У.
Доказать, что:
а) полу аффинное преобразование является коллинеацией;
б) если (Д, У) — аффинное пространство над полем К и |7У| ^ 3,
то всякая коллинеация / : А —у А является полуаффинным преобра
зованием.
49.38. Пусть (В , U) — плоскость аффинного пространства (Д, У)
и РУ — подпространство пространства У, дополнительное к U. Дока
зать, что всякая точка а Е Д единственным образом представляется
в виде а = b + w, где b Е В, w Е УУ и что отображение а н-» b (проек
тирование на В параллельно УУ) является аффинным отображением
пространства (Д, У) в пространство (B,U).
§ 50. Выпуклые множества 191
§ 50. В ы п у к л ы е м н о ж е с т в а
conv{a0 , a i , . • • ,ап} = (Д H f .
i= 0
£ S, Хг ^ 0 (i = l,...,k), У Xi = 1.
2=1
conv(M U а) = ab.
ьем
50.15. Пусть S — подмножество n-мерного аффинного прост
ранства А. Доказать, что если (S ) = Д, то convS есть объединение
n-мерных симплексов с вершинами в точках множества S.
50.16. Доказать, что выпуклая оболочка компактного множества
компактна.
50.17. Пусть М — выпуклое подмножество двумерного аффин
ного пространства и а (£ М° (см. 50.10). Доказать, что через точку
а можно провести прямую так, что множество М будет лежать по
одну сторону от неё.
§ 50. Выпуклые множества 193
Доказать, что:
а) М* — компактное выпуклое множество в пространстве У*,
содержащее окрестность нуля;
б) М** = М при каноническом отождествлении пространства У**
с У.
50.24. Доказать, что всякое компактное выпуклое множество
совпадает с выпуклой оболочкой множества своих крайних точек.
50.25. Доказать, что максимум аффинной линейной функции на
компактном выпуклом множестве достигается в некоторой крайней
точке (но, может быть, достигается и в других точках).
50.26. Доказать, что крайние точки выпуклого многогранника —
это его вершины.
50.27. Доказать, что всякий ограниченный выпуклый многогран
ник совпадает с выпуклой оболочкой множества своих вершин.
13 А.И. Кострикин
194 Гл.ХП . Аффинная, евклидова и проективная геометрия
13 :
196 Гл.ХП . Аффинная, евклидова и проективная геометрия
§ 51. Е в к л и дов ы п р о с т р а н с т в а
/ 0 1 2 2 2 л /2 \
1 0 л/5 л/5 3
а) А = 2 л/5 0 2 /2 2
2 л/5 2 /2 0 2 /3
\2 л /2 3 2 2 \/3 0 У
3 л/5 л/5 2 л /2 \
0
3 0 /П л/14 /1 7
б) А = л/5 л/14 0 л/2 /1 7
л/5 л/14 л/2 0 3
\2 л /2 л/17 /1 7 3 0 У
/° 1 2 /5 1 \
1 0 /5 2 /2
в) А = 2 л/5 0 /1 7 1
/5 2 /Т 7 0 /Т о
VI л/2 1 /Т о о У
§ 51. Евклидовы пространства 197
обе плоскости.
г) Показать, что все прямые, описанные в в), параллельны между
собой и что их объединение представляет собой плоскость размер
ности dim(Li П L 2) + 1.
51.14. В евклидовом пространстве найти расстояние между плос
костями Р\ и Р2, если:
Х\ + 3^2 + Ж3 + Ж4 = 3 ,
а) Pi :
Х\ + ЗЖ2 — Хз + 2 ж4 = б,
Р 2 = (о, 2 , 6 , -5 ) + ( ( - 7 , 1 , 1 , 1 ), ( - 10 , 1 , 2 , 3)>;
~Х\ + Х2 + х% + Ж4 = 3 ,
б) Pi
-Зж 2 + 2 ж3 - 4 ж4 = 4 ,
Р 2 = ( 1 ,3 ,- 3 ,- 1 ) + ((1,0,1,1));
ад + хз + ж4 - 2ж5 = 2 ,
ад + х3 - х4 - ад = 3 ,
Х\ - х 2 + 2 ж3 - ад = 3 ,
Р 2 = ( 1 , — 2 , 5 ,8 , 2 ) + (( 0 , 1 , 2 , 1 , 2 ), ( 2 , 1 , 2 , — 1 , 1 ));
Х\ - 2х 2 + Хз - ад + Зад = б,
г) Pi :
Ж1 — Ж3 — Ж4 + Зад = 0 ,
Р 2 = (-4 ,3 , - 3 , 2 ,4) + ((2 , 0 ,1,1,1), (-5 ,1 ,0 ,1 ,1 )).
51.15. Точки a o , a i , . . . , a n в евклидовом пространстве располо
жены на одинаковом расстоянии d друг от друга. Найти расстояние
между плоскостями (ао, од,. . . , а к) и (a^+i ,. . . , ап).
51.16. Доказать, что конфигурации из двух плоскостей
6 ) ° f = T2 f i P ) = (1 , 1 );
в>D f = - , f ( 0 ) = (1 , 0 , - 1 );
г) D f = / (О ) = ( - 1 ,- 7 ,2 ) ;
д) D f = / (О ) = ( - 2 ,4 ,1 ) .
4 1
1
1
в) И / = 7 4 4 ПО) = (1,1, -2);
9
OO
V4 1
1
to to i—1
to to I—1 I—1 to to
to I—1 to
г)^ =i
1
/ ( О ) = ( 4 ,0 ,2 ) ;
1
to
I—1 to to
1 1
1 1
д) D f = \ 1 / ( О ) = ( 2 ,0 ,0 ) ;
to CO
to
1
6
CO
to
1
е) Df = j 6 , / (О ) = ( - 3 ,1 ,2 ) .
CO
to
1
§ 52. Г и п ер п о в е р х н о с т и в т о р о г о п о р я д к а
Обозначения и понятия, используемые в задачах этого параграфа,
содержатся в приложении.
52.1. Доказать, что для любых х ,у Е V выполняется равенство
м \ ЛЛ
= т +
\ Хп / v«7
матрицы квадратичных форм Q и q в новой системе координат свя
заны с их матрицами в старой системе формулами
A'Q = lT A QT , 4 = lT A qT ,
где
/ h \
т= г
tfl
(о ... 0 1 /
x k =x°k + rkt (k = l , . . . , n )
At 2 + 2Bt + C = 0,
где
п я п п
В = ^ ( ж1 ,---,Х°п)Гг = ' К (aijX°j + Ь г ) п .
2=1 1 i,j=1
22—1
в) ^ ^ XiXi+i + Xi + х п + 1 = 0 ;
2=1
п
г) ^ + 2 ^ XiXj+ Xi = 0 .
2=1 1 ^ 2 < j ^ 2 2
и параллельные прямой
Х\ 1 Х2 + 3
— = — = “ ж з-
а) X / + X/ XiXi + + x n+i = 0 ;
2=1 1
б) ^ XiXj + Xi + Х2 + . . . + х п = 0.
г) х \ — Ъх\ + 4ж1Ж2 ;
д) х \ — х \ + 2Ж1Ж2 + ж| + 1;
е) х \ + 4^2 + 5 ж§ + 4 x i x 2 + 4 ж3 = 0 ;
ж ) х \ + 2 х\ + Зж2 + 4 ж3 + 5 = 0 ;
з) ж3 = ж^ + 2 x i x 2 + а?2 + 1;
и) ж^ — 2 жз + ж§ + 4 ж1Ж2 — 8 ж1Ж3 — 4 ж2ж3 — 14 ж1 — 14 ж2 + 14 ж3 + 1 8 = 0 ;
к) 5 ж^ + 8жз + 5 ж| — 4 ж1Ж2 + 8ж1Ж3 + 4 ж2ж3 — 6ж1 + 6ж2 + 6ж3 + 10 = 0 ;
л) 2 ж1Ж2 + 2ж1Ж3 + 2 ж2 ж3 + 2ж1 + 2ж2 + 2ж3 + 1 = 0;
м) Зж^ + Ъх\ + Зжд — 2 ж1Ж2 — 2ж1Ж3 — 2ж2ж3 — 2ж1 — 2ж2 — 2ж3 — 1 = 0;
н) 2ж^ + § х\ + 2ж| + 8ж1Ж3 — 4ж1 — 8ж2 + 3 = 0;
о) 4 ж^ +ж^ + 4 ж| — 4 ж1 Ж2 — 8 ж1 Ж3 + 4 ж2 ж3 — 28ж1+ 2 ж2 + 16 ж3 + 4 5 = 0 ;
п) 2ж^ + 5 жз + 2ж| — 2 ж1Ж2 — 4ж1Ж3 + 2ж2ж3 + 2ж1 — 10ж2 — 2ж3 — 1 = 0;
р) 7ж^+7ж2 + 16 жз — 10ж1Ж2 — 8ж1Ж3 — 8ж2ж3 — 16 ж1 — 16 ж2 — 8 ж3+ 7 2 = 0 ;
с) 4 ж^ + 4 ж2 — 8жд — 10ж1ж2 + 4 ж 1ж 3 + 4 ж 2ж3 — 16ж1 — 16 ж2 + 10ж3 — 2 = 0;
т ) 2ж^ — 7 жз — 4 ж| + 4 ж1Ж2 — 16ж1Ж3 + 20ж2ж3 +
+ 60 ж1 — 12 ж2 + 12 ж3 — 90 = 0 ;
у ) 2 ж1Ж2 + 2ж1Ж3 - 2 ж1Ж4 - 2ж2ж3 + 2ж2ж4 +
+ 2 ж3ж4 — 2 ж2 — 4 ж3 — 6ж4 + 5 = 0 ;
ф ) Зж^ + Ъх\ + Зжд + Ъх\ — 2 ж1Ж2 — 2ж1Ж3 — 2ж1Ж4 —
—2ж2 ж3 —2ж2 ж4 —2ж3 ж4 = 3 6 .
52.23. П ри к а к и х значениях п а р а м етр а а квадрика
я в л я е т с я э л л и п со и д о м ?
52.24. П р и к а к о м н е о б х о д и м о м и д о с т а т о ч н о м у сл о в и и д в а г и п е р
бол ои да и м ею т общ ий а си м п то ти ч е ск и й кон ус?
п п+1
« Е ^ + 26 Е XiXj + 2с Х{ = 0,
2=1 1^2<J+n 2=1
в з а в и с и м о с т и о т зн а ч е н и й п а р а м е т р о в а , bи с.
* * *
е (0) = 1 ,
(Q(v l,Vi) ... Q(v ! , V p)
(vi A ... A vp) = det I ...........................................
\Q (« p , v i ) ... Q(vp,vp)
§ 53. П р о е к т и в н ы е п р о с т р а н с т в а
б) х\ + . . . + х \ - х \ +1 - . . . - х 2п = х п.
53.6. Доказать, что над полем комплексных чисел любое проек
тивное преобразование имеет по крайней мере одну неподвижную
точку.
53.7. Доказать, что в вещественном проективном пространстве
чётной размерности любое проективное преобразование имеет не
подвижную точку.
53.8. Доказать, что если проективное преобразование п-мерного
проективного пространства над бесконечным полем имеет конечное
число неподвижных точек, то это число не превосходит п + 1 .
53.9. Доказать, что для всякого конечного множества точек А
в проективном пространстве над бесконечным полем существует со
держащая его аффинная карта А.
53.10. Доказать, что любое (к —1)-мерное подпространство в Рп
можно покрыть к аффинными картами и нельзя покрыть меньшим
числом аффинных карт.
53.11. Найти число точек n-мерного проективного пространства
над полем из q элементов.
53.12. Найти число ^-мерных подпространств n-мерного проек
тивного пространства над полем из q элементов.
53.13. Найти число проективных преобразований n-мерного про
ективного пространства над полем из q элементов.
53.14. Пусть Mi и М 2 — непересекающиеся плоскости в Pn, L\
и L 2 — непересекающиеся плоскости, имеющие те же размерности.
Доказать, что существует проективное преобразование, которое пе
реводит Mi в Li и М 2 в Z/2 .
53.15. Доказать, что если проективное преобразование перево
дит некоторую аффинную карту в себя, то оно индуцирует аффинное
преобразование на этой карте.
53.16. Доказать, что всякое биективное преобразование двумер
ной проективной плоскости, переводящее прямые в прямые и сохраня
ющее двойное отношение точек на каждой прямой, является
проективным.
53.17. Доказать, что с помощью подходящего проективного пре
образования любые четыре прямые на проективной плоскости, из ко
торых никакие три не пересекаются в одной точке, можно перевести
14 А.И. Кострикин
210 Гл.ХП . Аффинная, евклидова и проективная геометрия
14 *
212 Гл.ХП . Аффинная, евклидова и проективная геометрия
ОСНОВНЫЕ
АЛГЕБРАИЧЕСКИЕ
СТРУКТУРЫ
Г л а в а XIII
ГРУППЫ
§ 54. А л г е б р а и ч е с к и е о п ер а ц и и . П о л у г р у п п ы
§ 55. П о н я т и е гр у п п ы . И з о м о р ф и зм г р у п п
д) ( { - М } , 0 ;
е) множество степеней данного вещественного числа а / 0 с це
лыми показателями относительно умножения;
ж) множество всех комплексных корней фиксированной степени
п из 1 относительно умножения;
з) множество комплексных корней всех степеней из 1 относитель
но умножения;
и) множество комплексных чисел с фиксированным модулем г от
носительно умножения;
к) множество ненулевых комплексных чисел с модулем, не превос
ходящим фиксированное число г, относительно умножения;
л) множество ненулевых комплексных чисел, расположенных на
лучах, выходящих из начала координат и образующих с лучом Ох
углы (fi, ip2 , . . . , ^Рп5 относительно умножения;
м) множество всех непрерывных отображений ср : [0 , 1 ] —у [0 , 1 ],
для которых <р(0 ) = 0 ,(^(1 ) = 1 , и х < у => (р(х) < ip(у), относительно
суперпозиции?
55.2. Доказать, что полуинтервал [0,1) с операцией 0 , где
а 0 Д — дробная часть числа а 0 Д, является группой. Какой из
групп из задачи 55.1 изоморфна эта группа? Доказать, что всякая её
конечная подгруппа является циклической.
55.3. Доказать, что 2м — группа относительно операции сим
метрической разности А (см. 1.4).
55.4. Пусть G — группа относительно умножения. Зафиксируем
в G элемент а и зададим в G операцию х о у = х •a -у. Доказать, что G
относительно новой операции о является группой, изоморфной (G, •).
55.5. Какие из указанных ниже совокупностей отображений мно
жества М = {1, 2, . . . , гг} в себя образуют группу относительно умно
жения:
а) множество всех отображений;
б) множество всех инъективных отображений;
в) множество всех сюръективных отображений;
г) множество всех биективных отображений;
д) множество всех чётных перестановок;
е) множество всех нечётных перестановок;
ж) множество всех транспозиций;
216 Гл. XIII. Группы
относительно умножения?
55.7. Показать, что множество O n(Z) всех целочисленных орто
гональных матриц размера п образует группу относительно умноже
ния. Найти порядок этой группы.
55.8. Доказать, что множество верхних нильтреугольных матриц
порядка 3 является группой относительно операции
X o Y = X + Y + \[ X ,Y ] .
[ х , у \ = х у х гу 1
а) [х,у}~1 = [у,х\;
б) [xy,z] = х[у, z]x~x[x, z];
в) [z,xy\ = [;z,x]x[z,y]x~
55.12. Пусть задано разложение подстановки а в произведение
независимых циклов
® — (Н 5' ' ' 5ik)(jl 5' ' ' 5j m ) • • •
Найти разложение подстановки сг-1 в произведение независимых цик
лов.
55.13. Какие из следующих равенств тождественно выполняются
в группе S 3 :
а) х 6 = 1 ;
б) [[x,y\,z] = 1 ;
в) [х2,у 2] = 1 ?
55.14. Доказать, что в группе верхних унитреугольных матриц
порядка 3 выполняется тождество
а Ъ'
55.19. Сопоставим каждой матрице G GL(2,C) функцию
с d
ах + Ъ
У= — (см. задачу 55.10). Будет ли это отображение гомомор-
сх +ГП
d
физмом?
55.20. Разбить на классы попарно изоморфных групп следующий
набор групп:
Z, nZ, Q, Е, Q*, Е*, С*, U T 2 (Д),
где А — одно из колец Z, Q, Е, С.
55.21. Найти все изоморфизмы между группами (Z 4 , +) и (Z 5 , •).
55.22. Доказать, что группа порядка б либо коммутативна, либо
изоморфна группе S 3 .
55.23. Доказать, что если рациональное число а не равно нулю,
то отображение ср : х >ах является автоморфизмом группы Q. Найти
все автоморфизмы группы Q.
55.24. Пусть G — ненулевая аддитивная группа, состоящая из
вещественных чисел, такая, что в каждом ограниченном промежутке
содержится лишь конечное число её элементов. Доказать, что G ~ Z.
55.25. Привести примеры плоских геометрических фигур, груп
пы движения которых изоморфны:
a) Z2; б) Z3; в) S3; г) V 4.
55.26. Какие из следующих групп изоморфны между собой:
группа D 4 движений квадрата;
группа кватернионов Q s;
группа из задачи 55.5, л);
группа из задачи 55.5, т)?
55.27. Доказать, что группы собственных движений тетраэдра,
куба и октаэдра изоморфны соответственно группам А 4 , S 4 , S 4 .
55.28. Пусть G — множество всех пар элементов (а, 5), а / 0,
из поля к относительно операции (а, с) о (с, d) = (ас, ad + b). Доказать,
что G является группой, изоморфной группе всех линейных функций
х \ а х + Ъ относительно суперпозиции.
55.29. Пусть G — множество всех вещественных чисел, отличных
от —1 . Доказать, что G является группой относительно умножения
х • у = х + у + ху.
220 Гл. XIII. Группы
56. П о д г р у п п ы , п о р я д о к эл е м е н т а г р у п п ы .
С м еж н ы е классы
ж) € GL2(C); е g l 2(C);
О
/Ai * •• Л
0 а2
и) е GLn(C),
\о ••• О \ п )
где A i , • • • J ^ п различные корни к-й степени из 1 .
56.4. Пусть р — простое нечётное число, X — целочисленная
квадратная матрица размера п, причём матрица Е + р Х лежит в
SLn(Z) и имеет конечный порядок. Доказать, что X = 0.
56.5. Доказать, что:
3 4
а) элемент — |— i группы С* имеет бесконечный порядок;
5 5
б) число —arctg 4- иррационально.
1
7Г 3
222 Гл. XIII. Группы
е) G = С* , д — cos — + i sin — ;
5 5
ж) G = Z, д — 3?
56.28. Доказать, что во всякой группе чётного порядка имеется
элемент порядка 2 .
§ 56. Подгруппы, порядок элемента группы 225
б ) G = SL 2 (E), fj;
15 А.И. Кострикин
226 Гл. XIII. Группы
§ 57. Д е й с т в и е г р у п п ы н а м н о ж е с т в е .
О тнош ение соп р я ж ён н ости
15 :
228 Гл. XIII. Группы
57.29. Доказать, что в группе С>2 (М) любые две симметрии со
пряжены.
57.30. Найти классы сопряжённых элементов групп:
a) S3; б) А 4; в) D 4.
57.31. Найти все конечные группы, число классов сопряжённости
которых равно: а) 1 ; б) 2 ; в) 3.
57.32. В группе S4 найти класс сопряжённости:
а) перестановки (12) (3 4); б) перестановки (12 4).
в) G = S4, н = ((1234)).
57.39. Найти группу автоморфизмов:
а) группы Z 5 ; б) группы Z q.
57.40. Доказать, что:
а) Aut S 3 ~ S 3 , причём все автоморфизмы группы S 3 внутренние;
б) Aut V 4 ~ S 3 , причём внутренним для V 4 является лишь тож
дественный автоморфизм.
57.41. Является ли циклической группа автоморфизмов:
а) группы Zg; б) группы Zg?
57.42. Найти порядок группы Aut Aut Aut Zg.
57.43. В группе S 6 построить внешний автоморфизм.
§ 58. Гомоморфизмы и факторгруппы 233
§ 58. Г о м о м о р ф и зм ы и н ор м ал ь н ы е п о д г р у п п ы .
Ф ак тор гр уп п ы , цен тр
а2 — Ь2 — (аЪ)А = 1 .
Доказать, что:
a) G / P ~ Е*; б) Я /Q ~ С*; в) G / ( N П G) ~ Z2;
г) Я /Я ~ U; д) G/ А ~ 1+; е) Н / В ~ 1+.
58.33. Пусть G — группа аффинных преобразований п-мерного
пространства, Я — подгруппа параллельных переносов, К — под
группа преобразований, оставляющих неподвижной данную точку О.
Доказать, что:
§ 58. Гомоморфизмы и факторгруппы 237
где д £ G L „(F).
§ 60. П р я м ы е п р о и зв е д е н и я и п р я м ы е су м м ы .
А б ел ев ы гр у п п ы
16 А.И. Кострикин
242 Гл. XIII. Группы
16 :
244 Гл. XIII. Группы
б) ( а)р 0 {Ъ)р]
в) (а)2 0 (Ъ)4.
60.45. Сколько элементов:
а) порядка 2, 4 и 6 в группе Z 2 0 Z 4 0 Z 3 ;
б) порядка 2, 4 и 5 в группе Z 2 0 Z 4 0 Z 4 0 Z5?
60.46. Пользуясь основной теоремой о конечных абелевых груп
пах, доказать, что конечная подгруппа мультипликативной группы
поля является циклической.
60.47. Пусть F — поле, у которого мультипликативная груп
па 01* конечно порождена. Доказать, что поле F конечно.
60.48. Доказать, что конечно порожденная подгруппа мульти
пликативной группы комплексных чисел разлагается в прямое про
изведение свободной абелевой группы и конечной циклической.
60.49. Пусть А — свободная абелева группа с базисом e i , . . . , еп и
х = miei + ... + т пеп Е А \ 0, где Е Z. Доказать, что циклическая
группа (х ) является прямым слагаемым в А тогда и только тогда,
когда наибольший общий делитель чисел т 1 , . . . , т п равен 1 .
60.50. Пусть А — свободная абелева группа с базисом х±,. . . , х п.
Доказать, что элементы
п
Vj — ^ ^ j — 1 , . . . , 77/, CLij Е Z ,
2=1
1l j — У^ j = 1 , . . . , 77/, CLij £^ •
2=1
* * *
хА
С = 0.
\Х п /
§ 61. П о р о ж д а ю щ и е эл ем ен т ы и о п р ед ел я ю щ и е
соотнош ения
* * *
а 5 = Ь3 = 1 , b хаЪ — а2,
то а = 1 .
61.27. Показать, что группа, порожденная элементами а, b с со
отношениями а 2 = Ь7 = 1 , а~1Ъа = 5- 1 , конечна.
61.28. Доказать, что группа, заданная порождающими элемента
ми xi, Х2 с соотношениями:
а) х \ — х\ — (Х\Х2) 2 = 1 ;
б) ж2 = х 2 = 1 , х ^ х ^ х х — х2;
изоморфна S 3 .
61.29. Доказать, что группа, заданная порождающими элемента
ми xi, Х2 и определяющими соотношениями
X2 = Х2 = 1, Х: : X2Xi = Х2 1 ,
Х^ = 1, X2 = Х2 , Х2 1XiX2 = х \ ,
Доказать, что:
а) каждый элемент группы G представляется в виде
гт 12 т 12 , . XI n
" b L n r r i ii '2 . 6 гу. чь2п гр п — х ’п
112 х 13 х 23 ‘ ‘ ‘ х 2п ‘ ‘ ‘ х п —1,п
где rriij G Z;
б) G ~ U T n (Z).
61.35. Доказать, что если G/ Н = (gi?) — бесконечная цикличес
кая группа, то G = (д)Н, (д) П Н = {е}.
61.36. Описать в терминах порождающих элементов и опреде
ляющих соотношений группы, у которых имеется бесконечная цик
лическая нормальная подгруппа с бесконечной циклической фактор
группой.
61.37. Пусть группа G задана порождающими элементами яд, х 2
и определяющим соотношением адядж^ 1 = х\. Найти наименьшую
подгруппу, порождённую в G элементом Ж2 . Является ли эта под
группа нормальной?
62. Р а з р е ш и м ы е гр у п п ы
G = Н0 D Я , Э ... D Н к = {е}
[tik(a),tkj(P)\ = ti:j(af3)
при различных г, j, к.
62.20. Пусть F — поле и п ) 3 . Доказать, что:
а) SL'„(F) = GL'„(F) = SL„(F);
б) группы SLn (F) и G L n(F) не являются разрешимыми.
62.21. Пусть F — поле, содержащее не менее четырех элементов.
Доказать, что:
а) S L '(F ) = G L '(F ) = SL 2 (F);
б) группы SL 2 (F) и G L 2 (F) не являются разрешимыми.
* * *
КО Л ЬЦ А
§ 63. К о л ь ц а и а л г е б р ы
17 А.И. Кострикин
258 Гл. XIV. Кольца
(.
Является ли это множество кольцом относительно заданного умно
жения и обычного сложения?
63.5. Образует ли кольцо множество всех подмножеств некоторо
го множества относительно симметрической разности и пересечения,
рассматриваемых как сложение и умножение соответственно?
63.6. Доказать изоморфизм колец из задач:
а) 63.1, о) и 63.2, ж);
б) 63.2, з) и 63.2, и).
63.7. Какие из колец, указанных в задачах 63.1-63.5, содержат
делители нуля?
§ 63. Кольца и алгебры 259
17 :
260 Гл. XIV. Кольца
б) не обязательно с единицей.
63.23. Пусть Ш — тело кватернионов.
а) Является ли Шалгеброй над полем С, если умножение на скаляр
a G С понимать как левое умножение на а Е Ш?
б) Доказать, что отображения
1 О О О 1 i
1 г и-» 3
О 1 —г -1 О
тг(г) =фт*(П
к=О
где Т 0 (У) = К , Tk(V) = У 0 ... 0 Р при к > 0, с умножением
^ v ^
к раз
Доказать, что:
а) Т(У) — ассоциативная алгебра с единицей над полем К ;
б) в Т(У) нет делителей нуля.
S(V) = Q s k(V),
к=о
где 5 ° (У) = к, с умножением
f - g = Sym(f®g), где / С S k(V), д е S m(V)
для любых к ,т > 0 .
Доказать, что:
а) S(V) является ассоциативной, коммутативной алгеброй над К ;
б) если Ж1 , . . . , ж п — базис пространства У, то S(V) изоморфно
алгебре многочленов от яд, . . . , х п.
63.27. Пусть А и В — алгебры над полем К. Тензорное произве
дение алгебр С — А В определяется как тензорное произведение
векторных пространств А и В над К с умножением
(а'®Ъ')-(а"®Ъ")=а'а"®Ъ'Ъ".
Доказать изоморфизм алгебр над полем К:
а ) С % С - С 0 С (Й = Е);
б) М п ( К ) ® к М т ( К) ~ м т п (К) ;
в) М П(АГ) А ~ М П(А), где А — произвольная ассоциативная
алгебра над К ;
г) К [ Х Ъ . . . , Х п]®к В Д , • • • ,Ym] ~ К [ Х Ъ ... , Х п,Уи ... ,Ут ];
д) Н ® м С ~ М 2 (С);
е) S(y) А(У) ~ Т(У) при dim У = 2 ;
ж ) Q(у/р) Q(y/q) - Q(у/ p + y/q), где p и q — различные прос
тые числа.
63.28. Пусть К — поле характеристики нуль, R = К[х\ , . . . , х п\ —
кольцо многочленов и Pi,qi — линейные операторы на R как вектор
ном пространстве над К , причём для / Е Й
Pi(f)=Xif, qiU) = -^rf-
§ 64. Идеалы, гомоморфизмы, факторколъца 263
§ 64. И д еа л ы , г о м о м о р ф и зм ы , ф а к т о р к о л ъ ц а
to
0 0 0 2п
0
0 0 0 / \0 0 0
с целыми коэффициентами д, /г, к , ... Доказать, что / является иде
алом в кольце R верхних треугольных матриц над Z, J есть идеал
кольца /, но J не является идеалом кольца R.
64.7. Найти все левые идеалы алгебры M 2 (Z 2).
64.8. Найти все идеалы двумерной алгебры L над полем Е с ба
зисом ( 1 ,е), где 1 — единица в L, и:
а) е2 = 0 ; б) е2 = 1 .
64.9. Доказать, что если идеал кольца содержит обратимый эле
мент, то он совпадает со всем кольцом.
64.10. Образуют ли идеал необратимые элементы колец:
a) Z; б) С[ж]; в) Е[ж]; г) Zn.
64.11. Доказать, что кольцо целых чисел не содержит минималь
ных идеалов.
64.12. Найти максимальные идеалы в кольцах:
a) Z; б) С[ж]; в) Е[ж]; г) Zn.
64.13. Доказать, что множество Is непрерывных функций, обра
щающихся в 0 на фиксированном подмножестве S С [а, Ь], является
идеалом в кольце функций, непрерывных на [а, Ь].
Верно ли, что всякий идеал этого кольца имеет вид 1§ для неко
торого S С [а, b]?
64.14. Пусть R — кольцо непрерывных функций на отрезке [0,1],
1С = {/(ж) G R | /(с) = 0} (0 ^ с ^ 1). Доказать, что:
а) / с — максимальный идеал R ;
б) всякий максимальный идеал R совпадает с / с для некоторого с.
64.15. Доказать, что коммутативное кольцо с единицей (отлич
ной от нуля), не имеющее идеалов, отличных от нуля и всего кольца,
является полем. Существенно ли для этого утверждения наличие еди
ницы?
§ 64. Идеалы, гомоморфизмы, факторколъца 265
( в1
0 . .. 0 0 .... 0\
0 е2 . .. 0 0 .... 0
0 . .. 0 0 .... о)
где ег\е2\ ... \er, et ф 0 (г = 1 ,2 . . . , г).
64.23. Доказать, что в задаче 64.22 для г = 1, . . . , г произведение
е\ ... ei совпадает с наибольшим общим делителем всех миноров раз
мера i исходной матрицы.
266 Гл.Х1У. Кольца
не равен нулю;
в) если h = h{x 2 , . . . , жп), то отображение Ф, при котором
Ф(#(ж 1 , . . . , ж п)) = д(х\ + / 1,ж2 , . . . , ж п),
§ 64. Идеалы, гомоморфизмы, факторколъца 267
<p(g(xi,...,xn)) =
является эндоморфизмом i f [[ад,. . . , х п]\;
б) отображение р является автоморфизмом тогда и только тогда,
когда якобиан
г д е 1 ^ г, j ^ n , 1 ^ r, s ^ m и
® E r s ) — -Ё 'г+ п (г —l ) , j + n ( s —1) 5
268 Гл.Х1У. Кольца
изоморфны.
64.47. Какие из следующих алгебр изоморфны над С:
/(^ + P| = (а + / 1 , . . . , а + /Д ,
k= 1
является изоморфизмом алгебр.
64.61. Установить изоморфизм Q M /(a ;2 —1 ) ~ Q © Q .
§ 64. Идеалы, гомоморфизмы, факторколъца 271
<ОД/(ж2 - 2 ) ~ <Щл/2].
S( V) ~ Т (V)/ I,
ж ® у — у 0 ж, где ж, у G У.
Л(Г) ~ т (V)/ I ,
где / — идеал в Т(У), порождённый всеми элементами
х 0 у + у 0 ж, где x,yeV .
5 ) Ч ( : о)
18 А.И. Кострикин
274 Гл. XIV. Кольца
h(x) о / = h(xr)f,
* * *
§ 65. Специальные классы алгебр 275
§ 65. С п ец и ал ь н ы е к лассы а л г е б р
1-1 = 1, 1 -г = г • 1 = г
l - j =j - l =j , l - k = k- l = k,
г2 = - a , j 2 = -/3, ij = - j i = к.
Доказать, что:
а) Д(а,Д) — (ассоциативная) центральная простая алгебра над
полем F;
б) отображение
ж = жо + Ж1г + Ж2j + х%к н-» жо —жД —Ж2j —ж3/с = ж
является инволюцией (т.е. для любых ж, г/ Е Д(а,Д) выполняются
равенства х у = х -\-у, жу = у х , ж = ж);
18 :
276 Гл. XIV. Кольца
х 2 —(trx)x + N(x) = О,
Доказать, что:
а) факторалгебра C[x\/(f(x)} полупроста тогда и только тогда,
когда многочлен f(x) не имеет кратных корней;
б) алгебра, порождённая полем С и матрицей А в алгебре М П(С),
полупроста тогда и только тогда, когда минимальный многочлен
матрицы А не имеет кратных корней;
в) конечномерная алгебра над полем полупроста тогда и только
тогда, когда она вполне приводима слева;
г) коммутативная полупростая алгебра с единицей изоморфна
прямой сумму полей;
д) если все идемпотенты полупростой алгебры лежат в центре, то
алгебра является прямой суммой нескольких тел.
(1 ^ ^ ^ 4 ^ ^)*
формы Q.
278 Гл. XIV. Кольца
N(x) = хх
на пространстве чистых кватернионов эквивалентна форме
ЛQ (A G F*).
[х,у\ = ху - ( - 1 У3ух,
где х £ Ai, у £ Aj.
а) Доказать, что для любых однородных элементов х £ Ai, у £ Aj,
z G А имеем
[х,у] = ( - 1 У3[у,х],
[х, [у, Z]] + [у, [Z, ж]] + ( - 1 Г + 1 [z, [х, у]] = 0 .
y>i(w) = w Л е^,
j ( ~ l ) p~keil A . . . A e ik A . . . A e i , если ik = i,
Фг(ен Л. . . Ле * ) = < . А
I 0 , если ik ф1 г для всех к — 1 , . . . ,р.
ж о х = О,
(ж о у) о г + (у о z) о х + (z о х) о у = 0 (тождество Якоби).
Доказать, что:
а) в кольце Ли выполняется тождество х о у = —у о ж;
б) векторы трехмерного пространства образуют кольцо Ли отно
сительно сложения и векторного умножения;
в) всякое кольцо R является кольцом Ли относительно сложения
и операции ж о у = ху — ух;
г) множество всех дифференцирований кольца R является коль
цом Ли относительно сложения и операции D\ о D 2 = D 1D 2 — D 2D 1 .
65.12. Пусть К — поле и D — дифференцирование Х-алгебры
матриц М п(К). Доказать, что существует такая матрица А Е
в М п(К), что D(X) = А Х - Х А для всех X.
280 Гл. XIV. Кольца
( X а^ г) ( X ь,р' ) = X
г^О г^О г^О
X aipl + X
2=0 2=0
= XCipl’
2=0
22—1 22—1 22—1
Доказать, что:
а) Ър — кольцо без делителей нуля, содержащее Z;
б) элемент &Фг обратим в Ър тогда и только тогда, когда
а0 = 1,2 ,... ,р - i f
в) естественный гомоморфизм групп обратимых элементов
Z* —>Z*п сюръективен при любом п;
г) каждый идеал в Ър главный и имеет вид (рп), п ^ 0 ;
д) найти все простые элементы в Ър.
65.16. а) Доказать, что поле р-адических чисел Qp , т.е. поле част
ных Zp, состоит из элементов вида pm/i, где т Е Z, h Е Ър.
б) Показать, что Q содержится в Qp в качестве подполя.
в) Доказать, что элемент рт (Хг>(
} из Qp, где 0 ^ а, ^ р - 1 ,
лежит в Q тогда и только тогда, когда, начиная с некоторого IV,
элементы а^, i ^ IV, образуют периодическую последовательность.
г) Найти в Q5 образы элементов 2/7 и 1/3.
§66. Поля 281
66. П оля
а) справедливо тождество
(ж + у)р = хр + ур (т — натуральное число);
а) в поле Z 3 ; б) в поле Z 5 .
66.20. Решить систему уравнений
Зж + у + 2z = 1, ж 2у 3z — 1, 4ж + Зу + 2z — 1
в поле вычетов по модулю 5 и по модулю 7.
66.21. Найти такой многочлен /(ж) степени не выше 3 с коэффи
циентами из Z 5 , что
ДО) = 3, /(1 ) = 3, /(2) = 5, /(4) = 4.
§66. Поля 283
г) если к G Z, то
О, если т не делит к ,
с*+•••+С ш, если т делит /с.
* * *
а) e<=s ^
б ) l n ( l + * ) = £ i ( - i r t ”;
п> 1
в) Е ж” ?
п^О
66.41. Пусть a e Q p и х п — аР . Существует ли Нгг^^оо жп?
66.42. Пусть f(x ) G Z p[x\, а0 G Z p, причём ||/(а о )//'(а о )2||р < 1-
Положим
_ „ /(««)
d^n+1 — О,/ \ •
/ 'Ю
Доказать, что существует а = lim ап, причём /(а ) = 0 и \\а —ао\\р < 1.
66.43. Доказать, что любой автоморфизм в Qp тождествен.
66.44. Пусть f(x) G %р[х\ имеет степень п и старший коэффици
ент /(ж) равен 1. Пусть образ /(ж) многочлена /(ж) в Ъ/рЪ[х\ разло
жим, /(ж) = g(x)h(x), где д(ж), h(ж) взаимно просты, имеют старший
286 Гл.Х1У. Кольца
коэффициент 1 , причём
/(а ) = 0 , /'(а ) ф 0 .
К[а] ~ К[х]/{ца(х)),
где (ж) — некоторый однозначно определенный унитарный много
член (минимальный многочлен элемента а) над К ;
§ 67. Расширения полей. Теория Галуа 287
К = К 0 С К г С К 2 С ... С K s = L
* * *
19 А.И. Кострикин
290 Гл.Х1У. Кольца
Доказать, что:
а) (1 0 e i , . . . , 1 0 еп) — базис A l над L;
б) при естественном вложении А в A l образ А является i f -под
алгеброй в A l .
67.22. Пусть А — конечномерная i f -алгебра, L — расширение
поля if. Доказать, что:
а) если В — подалгебра в Д, то B l — подалгебра в A l ]
б) если / — идеал алгебры А и I I — соответствующий идеал
в А ь , то (А/1)ь ~ A l / I l ;
S S
в) если А = J J Ai, то A L ~
2=1 2=1
г) если i f 1 , . . . , i f s — множество компонент алгебры Д, то мно
жество компонент алгебр A l совпадает с объединением множеств
компонент алгебр (ifi)^ , • • •, [K s ) l ]
д) если F — расширение поля L, то (A l ) f — Ар-
67.23. Пусть Д — конечномерная i f -алгебра, L — расширение
поля К , В — некоторая L-алгебра. Доказать, что:
а) каждый i f -гомоморфизм Д —>■В однозначно продолжается до
L-гомоморфизма A l —>B l ]
б) множество i f -гомоморфизмов Д —>L находится в биективном
соответствии со множеством компонент алгебры Д^, изоморфных L;
в) число различных i f -гомоморфизмов Д —у L не превосходит
(Д : if) (ср. с задачей 67.20, б)).
67.24. Пусть F и L — расширения поля i f и F конечное. Дока
зать, что существует расширение L / if , для которого имеются вло
жения F в Е и L в Е, оставляющие на месте все элементы из if.
67.25. Пусть Д — конечномерная i f -алгебра и Д = К [сд,. . . , а8].
Доказать, что следующие свойства расширения L / if равносильны:
а) все компоненты A l изоморфны L;
б) L — поле расщепления для минимального многочлена любого
элемента а Е Д (расщепляющее поле i f -алгебры Д).
67.26. Доказать, что если L — расщепляющее поле i f -алгебры Д
и В — подалгебра в Д, то любой i f -гомоморфизм В —у L продолжа
ется до i f -гомоморфизма Д —у L.
67.27. Расщепляющее поле L для конечномерной i f -алгебры Д
называется полем разложения для Д, если никакое его собственное
§ 67. Расширения полей. Теория Галуа 291
19 :
292 Гл.Х1У. Кольца
t r А/ к( а ) = N a / k (ci) = ~[[ipi(a),
i —1 i=l
п
ХА /к( а, х ) = Д (< М а) ~ х ) .
а) trL/K(a) = (L : K ) i ^
3= 1
б ) N L/ K (a) = ( U ^ j( a)) 5
j= 1
/ TT \(L:K)i
в) Хь/к(а, х) = ДОдДа) - x)J
j= 1
67.54. Нормальное конечное сепарабельное расширение по
лей L//T называется расширением Галуа, а группа ^-автоморфизмов
такого расширения называется его группой Галуа и обозначается че
рез G(L/K).
Доказать, что:
а) G ( L / K ) транзитивно действует на множестве корней из по
ля L минимального многочлена любого элемента поля L;
б) порядок группы G ( L / K ) равен степени расширения L / K .
67.55. Найти группу Галуа расширения:
а) С/М; б) Q(V2)/Q;
в) L / K l где (L : К) = 2;
г) Q(x/2 + -x/3)/Q.
67.56. Группой Галуа над полем К сепарабельного многочлена
f(x) G К[х\ называется группа Галуа поля разложения этого мно
гочлена над К (как некоторая группа перестановок на множестве
296 Гл.Х1У. Кольца
L = tf(0!,... А ) ,
где
в? = с ц е к (i = l,...,s)
(т.е. L является полем разложения над К многочлена Yli=i(x ? ~ ai)s)•
67.76. Пусть поле К содержит все корни степени п из 1 и L =
= К { в где
#" = а, € К* (i = l , . . . , s ) .
Доказать, что
G ( L I K ) ~ ( ( l C ) n, au . . . , a t ) l ( l C ) n.
67.77. Пусть поле К содержит все корни степени п из 1. Устано
вить биективное соответствие между множеством всех (с точностью
до iT-изоморфизма) расширений Галуа с абелевой группой Галуа пе
риода п и множеством всех конечных подгрупп группы
К */( К *) п.
67.78. Доказать, что всякое расширение Галуа L /К степени р по
ля К характеристики р > 0 имеет вид L = К (в), где в — корень
многочлена хр — х — а (а Е К ), и, обратно, всякое такое расширение
является расширением Галуа степени 1 или р.
67.79. Пусть К — поле характеристики р > 0. Доказать, что ко
нечное расширение L/ К является расширением Галуа периода р тогда
и только тогда, когда L = K ( 6 i , ... , 6 8), где — корень многочлена
хр — х — cti (di G К; i = 1, . . . , s).
67.80. Пусть К — поле характеристики р > 0 и L = К{0\ , . . . , в8),
где Oi — корень многочлена хр — х — а{ (a* G К, i = 1, . . . , s). Дока
зать, что
G ( L / K ) ~ ( p ( K ) , a u . . . , a a) / K,
где р : К —>• К — аддитивный гомоморфизм х ь-у хр — х.
67.81. Пусть К — поле характеристики р > 0. Установить биек
тивное соответствие между множеством всех (с точностью до
iT-изоморфизма) расширений Галуа L / К с абелевой группой Галуа
периода р и множеством всех конечных подгрупп группы К/р( К).
§ 68. Конечные поля 299
§ 68. К о н е ч н ы е поля
* * *
300 Гл.Х1У. Кольца
6 8 .8 .
Пусть G — аддитивно записанная конечная абелева груп
па нечётного порядка, сг — автоморфизм группы G, ( ^ j — sgn сг,
где сг рассматривается как перестановка на множестве G. Дока
зать, что если G представляется в виде объединения {0} U S U { —5}
непересекающихся подмножеств, то
_i\W(S)n(-s)\
(§ )= < -»
68.9. Пусть сг — автоморфизм группы G нечётного порядка,
G 1 — подгруппа в G, инвариантная относительно сг, G 2 = G/G\ и
§ 68. Конечные поля 301
U ’ -1 х\qn~1 ХдП~7
§ 69. П р е д с т а в л е н и я г р у п п . О сн овн ы е п о н я ти я
г) (L( t) f )( x ) = е*/(ж);
д ) (L (t)f)(x) = f ( x ) + t ;
е) (L(t)f)(x) = е1/ ( х + г)?
69.5. Какие из подпространств в С (Ж) инвариантны относитель
но линейного представления L из задачи 69.4, а):
а) подпространство бесконечно дифференцируемых функций;
б) подпространство многочленов;
в) подпространство многочленов степени ^ п;
г) подпространство чётных функций;
д) подпространство нечётных функций;
е) линейная оболочка функций sin ж и cos ж;
ж) подпространство многочленов от cos ж и sin ж;
з) линейная оболочка функций cos ж, cos 2ж,. . . , cos пх;
и) линейная оболочка функций eClt, ec<lt, . . . , eCnt, где ci, С2 , ...
. . . , сп — различные фиксированные вещественные числа?
69.6. Найти подпространства пространства многочленов, инва
риантные относительно представления L из задачи 69.4а.
69.7. Записать матрицами (в каком-либо базисе) ограничение ли
нейного представления L из задачи 69.5 на подпространство много
членов степени ^ 2 .
69.8. Записать матрицами (в каком-либо базисе) ограничение ли
нейного представления L из задачи 69.5 на линейную оболочку функ
ций sin ж и cos ж.
69.9. Доказать, что каждая из следующих формул определяет ли
нейное представление группы G L n(F) в пространстве M n(F):
а) Л(Д) • X = АХ;
б) Ad (А) - X = А Х А - 1;
в) Ф(А) X = А Х Ы .
69.10. Доказать, что линейное представление Л (см. зада
чу 69.9, а)) вполне приводимо и его инвариантные подпространст
ва совпадают с левыми идеалами алгебры М п(К).
69.11. Доказать, что если charF не делит п, то линейное пред
ставление Ad (см. задачу 69.9, б)) вполне приводимо и его нетри
виальные инвариантные подпространства — пространство матриц с
нулевым следом и пространство скалярных матриц.
304 Гл.ХУ . Элементы теории представлений
( О л / ) ( ^ 1 5 • • • 5Х п ) — / I ^ ^ X iC L n, . . . , ^ ^ XiQ>in
\ i=1 i= 1
V®m V 0 ... 0 V
т ^ v s
20 А.И. Кострикин
306 Гл.ХУ . Элементы теории представлений
20:
308 Гл.ХУ . Элементы теории представлений
§ 70. П р е д с т а в л е н и я к о н еч н ы х г р у п п
п = 4, п = б,
ние р неприводимо.
70.48. Доказать, что всякое неприводимое неодномерное комп
лексное представление группы порядка р 3 является точным.
70.49. Найти число неприводимых комплексных представлений
некоммутативной группы порядка р 3 и их размерности.
70.50. Вещественное представление Ф циклической группы (а)
порядка 4, при котором
71. Г р уп п ов ы е а л г е б р ы и м о д у л и н а д ни м и
71.3. Найти базис ядра гомоморфизма ср: С((а)п) —>С, при кото
ром р(а) = г, где г — корень степени п из 1 .
71.4. Пусть группа Н изоморфна факторгруппе группы G. До
казать, что F[H] изоморфна факторалгебре алгебры F[G\.
71.5. Пусть G = G 1 х (?2. Доказать, что в
F[G] ~ F[Gi] ® F[G2\-
(afi + /Ш Ы = « Л Ы + /Ч 2 Ы ,
( / 1 / 2 X5 ) = M h) f 2 (h~1g).
h£G
g£G
u=J29eF[G}.
geG
Доказать, что F[G]u — подмодуль левого регулярного модуля, не
выделяющийся прямым слагаемым.
§ 71. Групповые алгебры и модули над ними 317
п = щ + п 2 + ... + п к,
где п\ ^ п 2 ^ ^ пи > 0 .
§ 12. Характеры представлений 319
72. Х а р а к т е р ы п р е д с т а в л ен и й
{а. е А\ х(а) = 1 }
есть (п — 1 )-мерное подпространство в V.
н = {д е G I х( д) = т } , К = {д е G I Ix(fl0l = т}
— нормальные подгруппы в G.
21 А.И. Кострикин
322 Гл.ХУ . Элементы теории представлений
в) Построить изоморфизм А и А.
а) Доказать, что
/ = X ] /(х ) ■х-
хел
б) Доказать, что
fg(x) = X j f(v)9(<p 1 - х ) -
0, если а — О,
/(« ) = < 1, если а — х 1 для некоторого х Е F*,
- 1- в остальных случаях
Доказать, что если х — неприводимый комплексный характер
группы А, то |( / ,х Ы = р ~ 1/2.
72.35. Пусть G — конечная группа, Н — её подгруппа. Доказать,
что центральная функция на 77, получающаяся ограничением на Н
характера группы G, является характером группы Н .
Ф ,М ) =
Выразить хф через хф -
21
324 Гл.ХУ . Элементы теории представлений
Выразить хф через хф -
* * *
72.42. Пусть х — характер группы G, / — центральная функция
на G,
/ Ы = ^ ( х Ы 2 - х ( д 2))-
Доказать, что / — характер группы G.
d im Г ( Ф , Ф ) = ( х ф , Х ф ) с -
§ 73. П ер в он ач ал ь н ы е св ед ен и я
о п р е д с т а в л ен и я х н е п р е р ы в н ы х г р у п п
* * *
и / G R n положим
Хп = t X n - l - d X n - 2 .
Р(А): Х ^ А Х А - 1
У ( X е, 1 п х р п . . . п х ‘ п ),
( е 1 ,. . . , е п )Ее
п + к —1
2 .1 3 . . У становить биекцию между множеством указан
ие —1
ных разбиений и множеством подмножеств из &— 1 элементов во множестве
из п + к — 1 элементов. И спользовать задачу 1.3.
со
4 2 3 4 5^ и I 1
to
4 5\
3.1 .
,2 1 3 4 5; и \1 2 5 4 У
"н7
со
to
3 45 6 4 5 6
б) 3 2 1 4^ ll 3 5 6 4 2
3 4 5\ /1 2 3 4 5 6>
3 12/ И U 1 6 5 3 2;
3 .2 . а) (153)(247). б) (1362)(47). в) (1362745). г) (1472365).
д) (12)(34) . . . (2п — 1, 2п). е) (1 гг - 1 ) ( 2 п + 2) . . . (гг 2 гг).
5 6
3.3 . а) б)
5 1
, /1 2 3 4 ... 2 гг —1 Ъ
В) (з 4 5 6 ... 1 2
3 .4 . а) (1642573). б) (26537).
п(п — 1 ) гг(гг + 1)
3 .5 . а) 5. б) 8. в) 13. 14. л) е)
2 '
(к — 1)(к — 2 )
ж) (п — к + 1)(к — 1 ). з) (к — 1 ) (гг — к) +
3.6 . а) Н ечётная. б) Чётная. в) Чётная. г ) Н ечётная,
д) ( - 1 )[(п+ 2)/2/ е) ( - 1 )[(п+1) /4]. ж) ( - 1 ) [п/2].
З) ( _ 1 )У/ 2][(п+1)/2]>
3.7 . а), б) Ч ётная при к нечётном. в) Чётная.
г ) Ч ётная при к чётном. д) Ч ётная при р + q + г + s чётном.
3.8. — к.
Ч 2
3.9 . а) б) к —1. в) п — к.
\п гг — 1
3 .1 0 . Если пара чисел отлична от пар (g, q + 1 ) и (g + 1 ,д), то она
образует инверсию в обоих последовательностях одновременно.
3 .1 1 . Воспользоваться задачей 3.10.
3 .1 2 . П оказать, что если а = (гй,. . . , й ) , то
i)
3 .2 0 . . Воспользоваться задачей 3.8.
2 V2
3 .2 1 . a) sgn^ = (sgn сг)п (sgn т) Л ексикографически упорядочить
X х Y и подсчитать число инверсий.
б) Длины циклов равны Н О К (fc ,/j), каж ды й входит Н О Д (fc ,/j) раз
(г = 1 , . . . , s; j = 1 , . . . Д); рассм отреть сначала случай, когда сами сг, т
являю тся циклами. Зам ети ть, что в этом случае чётность ^ совпадает с
чётностью |Х | + \Y\.
3 .2 2 . в) Воспользоваться задачей 3.12.
3 .2 3 . Р азлож ить сг в произведение независимых циклов. И н терп рети
руя каж ды й цикл длины не меньше трех как поворот правильного
гг-угольника, представить поворот как произведение двух симметрий.
4 .2 . а) и(п) = 3 • 2п — 5. б) и(п) = (—1)п (2п — 1).
4 .3 . И ндукция по п.
лп + 1
4 .4 . —п —1 . ) - п 2 + 1. в) 2 п+ 2 ( п - 2) + 6.
п
4 .5 . и( п
1 ( l + V$ 1 /i - V E \ n
М 2 М 2 ) '
4 .6 —4 .1 0 . И ндукция по п.
4 .1 1 . а)-д ) И ндукция по п. е) В ы текает из д).
ж) В ы текает из д), е) и алгоритм а Евклида.
4 .1 2 . И ндукция по п.
4 .1 3 . Если ш — такое целое число, что гш G Z, то [/m ( 2 c o s r 7r) = О
по 4.12, б). По 4.12, б) и 28.1 число 2 c o s r 7r целое. Так как |c o s r 7r| ^ 1, то
2 cos Г7Г = 0 , ± 1 , ± 2 .
гс(гс + 1) + г
4 .1 4 . Добавление гг-й прямой увеличивает число облас
тей на гг.
332 Ответы и указания
б) п2(п + 1) 2 /4.
5 . 2 . См. указание к 5.1.
5 . 3 . П усть Т — множество, состоящее из пар (сг, г), где a G S сг(г) = г;
то гд а
Y , N { ay + i= y , ^ и 5= Е Е № ' + !)'•
(<т,г)ЕТ i=lcr/GSn_i
5.4 . И спользовать задачу 2.7 и 2.12, а).
5 . 5 . И спользовать задачу 5.4, предварительно представив в виде сум
мы выражение одной функции через другую.
5 . 6 . И спользовать задачу 5.5.
6 . 1 . ( 1 ,4 ,- 7 , 7).
..
6 2 а) ( 0 , 1 , 2 , - 2 ). б) ( 1 , 2 , 3,4).
6 . 3 . а) Да. б) Н ет. в) Да. г) Н ет. д) Н ет. е) Да.
6 . 7 . а) Н ет. б) Н ет. в) Н ет. г) Н ет. д) Д а при ч ётн ом к.
е) Да.
6 .8 . Н ет.
6 . 9 . а) Л = 15. б) Л — любое число. в) Л — любое число.
г) Л ф 12 . д) Такого Л не сущ ествует.
6 .10 . a) ( a i , a 2), (a 2, аз). б) ( a i , a 3), (а 2 , а 4), ( a i , a 4), (« 2 , аз).
в) Любые два вектора образую т базис. г) ( a i , a 2 , a 4), (а 2 , а з , а 4).
д) (ai,a 2,a4), (ai,a 2,a 5), (а2,аз,а4), (а2,аз,аб).
6 . 1 1 . Если система линейно независима или получается из линейно
независимой добавлением нулевых векторов.
6 .1 2 . а) (ai, <3 2 , a 4, as), аз = a i —ач.
б) (а 1 , а 2 ,а з), а 4 = 17ai + 1 2 — 26аз-
в) (a i, аг, аз), а 4 = 5ai + 2<22 — 2аз, а$ = —a i + а 2 + аз-
г) (a i, аг), аз = a i + 3аг, а 4 = 2a i —аг.
д) ( a i , a 2 , a 3).
е) (ai, аг), аз = 2ai —аг.
ж) (ai, аг), аз = —a i + аг, а 4 = —5ai + 4а 2.
б) хз = -у Ж 4 , XI = |ж 2 + 2 ^ 4 - I; ( - 1, о, О, о ) .
в) Система несовместна.
г) Хз = 1 —4 Ж1 — ЗЖ2 , Ж4 = 1, (1, —1, 0,1).
д) хз = 6 + Юж1 — 15^2; Х4 = —7 — 12xi + 18^2, (1 ,1 ,1 , —1).
е) x i = 3, х 2 = 0, хз = —5, Х4 = 11.
ж) XI = 3, х 2 = 2, хз = 1.
х \ = —i ( 7 + 19хз + 7 x 4 ), Х 2 = —^ (3 + 13xi + 6 x 4 ).
4 3 -8 Л 9 5 хз 5
Ж1 = ^ Т 8А - 8 Жз’ Ж2 = 4 Т 1 л + Т ’ Ж4=Л Т Т
г) П ри Л = 8 Х ‘2 = 4 + 2 x i —2 x 4 , хз = 3 —2 x 4 ; при А / 8 решение Х 2 = 4 —2 x 4 ,
хз = 3 — 2X4-
3
д) При Л = 8 хз = —1, х'4 = 2 —x i —- Х2 ; при Л / 8 Х2 = 4 —2 /3 x i, хз = —1,
Х4 = 0.
е) При Л ф 1, —2 x i = Х2 = хз = 1/ (Л + 2); при Л = 1 х \ = 1 — Х2 — хз;
при Л = — 2 система несовместна.
ж) П ри А ф 1 , —3 x i = х 2 = хз = х'4 = 1 /(А + 3); при Л = 1 хд = 1 —Х2 —
—хз — Х4 ; при Л = —3 система несовместна.
з) При А ф 0, —3
2 - А2 2Л - 1 _ Л3 + ЗА2 - Л - 1
Х1 ~ А(А + 3) ’ “ А(А + 3) ’ Хз ~ А(А + 3) ;
10 .6 . 1.
ч ( 1 1 1 \
V cli cl2 an J
1 2 .4 . Д оказать, что D n = D n- 1 + D n- 2.
1 3 .1 . a) 301. 6) -1 5 3 . в) 1932. r) -3 3 6 .
д) —7497; получить угол из нулей. е) 10. ж) —18016.
28
з) 1. и) —2639. к) — . л) 1. м )—21. н) 60.
81
о) 78. п) -9 2 4 . р) 800. с) 301.
1 3 .2 . а) п\. б) (—1)п_172!; последнюю строчку (или последний столбец)
вы честь из всех остальных.
в) (_l)»C»-l)/2blbjs . . .
22 А.И. Кострикин
338 Ответы и указания
чу 15.3.
б) (1 —a n )n_1; см. задачу 15.3 и равенство (1 —ае)(1 —аег) • • • (1 —а е п) =
= 1 - а та.
1 6 .1 . а) 2; показать, что все три члена определителя, входящие в р а
звернутое выражение со знаком плюс, не м огут равняться 1, и рассм отреть
определитель с нулем на главной диагонали и остальными единицами.
б) 4; в развернутом выраж ении определителя рассм отреть произведе
ние членов со знаком плюс и членов со знаком минус и вычислить опреде
литель с элементами главной диагонали —1 и остальными единицами.
1 6 .2 . Воспользоваться развернуты м выражением.
1 6 .4 . П рименить теорем у об умножении определителей к произведе
нию А А.
1 6 .5 . Разлож ить det С в сумму п т определителей, пользуясь столб
цами. В каж дом слагаемом из j- го столбца вы нести bjkj . П оказать, что
det С = Т2г,...,кт=1Ь^ • • • ЪткгпА к 1...кгп • Зам ети ть, что при т > п среди
чисел k i , . . . , k m всегда есть равные и А к 1...кгп = 0- Второй способ: при
т > п м атрицы Аж В дополнить до квад ратн ы х при помощи т — п столб
цов, состоящ их из 0, и прим енить теорем у об умножении определителей.
1 6 .6 . 16.7. И спользовать задачу 16.5.
1 6 .8 . Разлож ить по последней строке.
1 6 .9 . С начала доказать, что
an + х .. a in + х an CLln
+ x ^ A ih
ап 1 + х ..■• Ann + X dni •• Q-nn i,3
22 :
340 Ответы и указания
(A B\ (
рассм отреть произведение 1 ^ где
d) ' (
Vii! ... c \
— м
M атрица, обратная к
d'l n ... d nji /
А В D 0
ветственно
С D V—С D
1 6 .1 5.
/
(с — а)п — (с —а)\п —2 +. (с - а)'1 " +
77—1 77 —2
х (с + а)п - (с + а) (с + а)п