Академический Документы
Профессиональный Документы
Культура Документы
ПО АЛ ГЕБРЕ
Под редакцией А.И. К о с т р и к и н а
ИЗДАНИЕ ТРЕТЬЕ,
ИСПРАВЛЕННОЕ И ДОПОЛНЕННОЕ
М ОСКВА
Ф И ЗИ КО -М А ТЕМ А ТИ Ч ЕС К А Я
Л И Т Е РА Т У РА
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
х (с + а)п - (с + а) (с + а)п
показать, что 6 = 1.
17.1.
1 п + т cos(a + /3) —sin (а + /3)
а) б)
О 1 sin (a + /3) cos(a + /3)
8 6\ 5 0
6 14 -2 ( 7
л) 19 8 е) -7 -5 0
10 - -19 17
8 6/ V 14 10 0
/3 3 О 0 \ 2
4 0
0 ^
3 3 о О 3 7 0 0
з)
о о -2 2 0 0 0 7
Vо о 2 -2 ) 0 0 --2 з )
/ 7 4 5
-4 -1 11 ^
( - 1 6 4 -1 6
1 7 .2 . а) 9 -7 б)
2 0 0 6 12
V 13 -9 15
2 1
^ - 1 з J
/О 0 1 0\
/9 0 °\ 0 0 0 1
1 7 .3 . а) 0 9 ° .
0 0 0 0
\0 0 9/
\о о о о/
342 Ответы и указания
0 4 0 0 тЛ 0 0 0 6
0 0 4 0 г; 0 0 0 0
\о 0 0 Ч V> 0 0 0/
cos па sm па
1 7.4. прим енить м етод м атем атической
к— sin па cos па
индукции.
пХ71- 1
б)
О Ап
^Згг + 1 —п
; зам етить, что первая и тр е ть я м атрицы взаимно
9п —3п + 1
обратные, и записать степени в виде п сомножителей.
4 (18 18 18'
1 7 .5 . а) 0 1
°\ б) 18 18 18
0 •
1 4 0/ \ 18 18 18
ли к ^ п — 1, и = 0 при к ^ п.
1 7 .8 . П редставить f ( x ) в виде
” f (k)
н * ) = Т .’— (А) (х - Х)к
0 0
1 7 .1 1. а)
- Л
1 -1 /2 1/3 -1 /4 .. . (-1 )» /(п -1 )\
(°
0 0 1 -1 /2 1/3 .. . (—1)п / ( п — 2)
0 0 0 1 -1 /2 .. • (-1 )» /(п -3 )
б)
0 0 0 0 0 1
^0 0 0 0 0 о У
1 7 .1 4 . y jk а 1кЕ гк.
1 7 .1 5 . ^ CLkjEkj.
1 7 .1 6 , 17.1 7 . Воспользоваться задачам и 17.14 и 17.15.
1 7 .1 8 . П оказать, что перестановочность м атрицы А с Е + г / j,
эквивалентна перестановочности И с Е ц . Воспользоваться задачей 17.16.
1 7 .1 9 . И = 0; после умножения А на м атричную единицу Eji получится
м атрица, у которой на главной диагонали стоит элемент a ij, а остальные
Ответы и указания 343
элементы — нули.
1 7 .2 1. И спользовать задачу 17.20.
1 7 .2 2. При Л = 0; использовать задачу 17.20.
1 7 .2 4. ti[A , В] = 0 . В ы числить к вад р ат м атрицы с нулевым следом.
'A A i+ B C i ABi + B D i'
17 .2 5.
KC A i + DC\ C B i+ D D i,
0 0 0 0\
(°
hi 0 0 0 0
0 hi + h 2 0 0 0
В = 0 0 hi + h 2 + h3 ... 0 0
0 0 0 0 0
sr^n —1
0 0 2^k=l /и 0/
0 1 o'
1
/0
0 -1 м) 1 0 2 0
2 •
CO
0 0 0 / \0 0
344 Ответы и указания
1 7 1 1 -2 -5 \ /'
7 -5 4 -2 4
H)J8 1 ' 0) 1 2
-5
7 / \. - 6 3
1 8 .4 . Воспользоваться теоремой К ронекера-К апелли.
1 8 .5 . Элементарными преобразованиям и строк расш иренной м атр и
цы (А\ В) привести А к ступенчатом у виду.
1 8 .6 . У казать м атрицу 5 , считая А ступенчатой.
-3 1 о -5 2
1 8 .8 . а) б) в)
1 -3 /2 1/2 3 -1
1/5 0 ( 1 0 0
0 \
л) 0 1/3 0 . е) 0 1 0
0 0 -1/2 / V -з 0 1
1/6 0
0 \
ж) 0 -5 2 . з
0 3 -1 )
1/2 0
° \ cos a sin а
к) -3 /2 1 -1 /2 . л)
— sin a cos а
0 0 1/2 )
/1 о о 0\ /0 1 о 0\ / 1/2 О 0 0\
0 0 0 1 0 0 0 1 0 0 1/2 0
1 8 .9 . б)
0 1 0 0 1 0 0 0 о 1
\0 0 1 о/ \0 0 1 о/ о/
-L
1
С
и-*■ к
0 1 о \
1
0 0
о
0 0 1/3
1/2 О О л)
; о
0 0 . . 1 - 1
0 0 0 /
0 0 0 . . 0 1
1—1‘ 1-
с
1
1 0 0 0 0
о
I—1
1
1 1 0 .. 0 0 0
I—1
1—1‘
°
1
1 1 .. 0 0
; о
1 0
1—1‘ I—1
1—1‘
1
0
1
1 1
-7 /3 2 -1 /3
5/3 -1 -1 /3
-2 1 1
Ответы и указания 345
( 22 -6 26 17 \
-1 7 5 20 -1 3
-1 О 2 -1
V 4 -1 -5 3
1-1 U А-1 -А ^ В С -1
1 8 .1 0 . a) ( б)
, - c - BA- 1 c~ ')■ О с-1
f -3
2 0 0 ( -1 з 3 \
2 -1 0 0 1 -2 -1
1 8 .1 1 . a) б)
8 -9 /2 1 -3 /2 О -1
l -1 1/2 0 1/2 V О -1 J
1 8 .1 3 . a), 16) ± 1.
1 8 .1 4 . ±1.
1 8 .1 5. И спользовать присоединенную м атрицу А.
/ —1 + t 0 1 -t
t - 1 -t
6) 21 2 -2 1
-1 - t 2 1 -t 0 -2 1
\ —1 + t 1+ 1
-5 2 3 1 2 3
4 А
4 ^
-1 0 3 5 7 2 5 8 11
-1 5 2 84 Г7 3 6 10 16
о 1 1 1 7 -2 - 5 -8 п 7
1 9 .6 . Воспользоваться задачей 19.4.
1 9 .8 . Если м атрицы перестановочны.
1 9 .9 . Для построения м атрицы Y использовать м атрицы £7, V такие,
что UX V = Е \ \ + . . . + Е гг.
1 9 .1 2 . Верно при п ^ 3.
1 9 .1 4 . { a £ i ,n_ i | а Е К}.
1 9 .1 5 . Воспользоваться формулой бинома из задачи17.6; неверно.
1 9 .1 7 . Если А п = 0, то det А = 0; далее использовать задачу 18.2.
1 9 .1 9 . Воспользоваться формулой суммы бесконечной геом етричес
кой прогрессии.
1 9 .2 0 . И спользовать задачу 19.19.
1 9 .2 2 . См. задачи 19.17 и 19.19.
1 9 .2 3 . Неверно.
1 9 .2 7 . И спользовать вычисление обратной м атрицы с помощью эле
м ентарны х преобразований.
1 9 .2 8. Если det ( CD) / 0, то
(А В D О AD ВС
det det = det
{С D О с CD DC
i JAD BC\ , V AD-В С BC\ ,
= det l C D C D j = det ( Q C D ) = d e t (A D ~ B C ) det (CD).
В связи с этой задачей см.: Т.Н. Lehagan / / Com mun. Algebra. — 1981. —
V. 9, № 3. — Р. 267-269.
2 0 .1 . а) 1 4~ 18г. б) 4г. в) 7 + 17г. г ) 10 — 11г. д) 14 — 5г.
\ 13 1. ,1 1 27.
е) 5 + г. ж) -
“ Г' з ) у - у г-
и) 4. к) 52г. л) 2. м) 1. н) —1.
2 0 .2 . in = 1 при п = 4/с, in = i при п = 4k + 1, in = —1 при п = 4к + 2,
in = —г при п = 4к + 3, где к — целое число; г77 = г; г98 = —1, г-57 = —г.
2 0 .4 . a) 21 = г, 22 = 1 4- г. б) 21 = 2, 22 = 1 — г. в) 0 .
2тг 2тг\
и) 2 ^cos I + * sin ( ) )• к) 2 (cos ( - 0 +isin ( - | ) ) -
т Т )
ч л / 7Г . . 7Г \ 4 / 5 tt . . 5тг\
л) 2 cos — + 1 sin — . м) 2 cos —- + 1 sin — .
V 6 6/ \ 6 6 /
а + \Ja2 — Ъ а — л /а 2 — 6
2 ”2
л) |4 г л /3 , ± - ^ - ( л /3 + г), ± - ^ ( л / 3 — г)}
о ) { 1 ^ 4 ( * - 1 ) , ^ ( l - V 3 - i ( V 3 + l) ), - ^ - ( 1 + л/З — г(л/3 — 1 ) ) |.
Р ){± ( | + 4 ) , ± ( | _ 3 , ) } .
т ) { + 2 i, —• / $ — i, • / $ — *}.
Г) # 2 ( c o s + i s t a I ± f * l ) , * = 0,1,2,3.
Ответы и указания 349
2 2 .8 . a) i ( \ / 5 — 1). б) ^ y / l O + 2s/E.
|± i, ± г , ± - ^ - ( 1 + *)> ± - ^ ( 1 - * ) | ;
2 2 .2 5 . а) Фю(ж) = Фб(—x ) = x 4 — x 3 + x 2 — x + 1.
б) Фы(х) = x 6 — х ъ+ x 4 — x 3 + x 2 — X + 1.
4 ч Фз(ж5) Ж10 + X 5 + 1 8 7 5 4 3
в ) Ф 1б ( ж ) = / = — - ------------- — = х 8 - х 7 + х 5- х 4 + х 3 - X + 1.
Ф 3 (ж ) ж2 + ж + 1
г) Фзо(ж) = Ф1 б( —х) = ж8 + ж7 — х ъ — х 4 — х 3 — X + 1.
д) Фзе(ж) = Фб(ж6) = х 12 - X6 + 1 .
е) Фюо(ж) = Фю(ж10) = X 4 0 _ ж 3 0 + ж2 0 _ ж 10 + 1>
ж) Ф21б(ж) = Фб(х36 х 72 - х 36 + 1 .
з) Ф288(ж) = Ф6 (ж48) = X96 - X4 8 + 1 .
и) Ф1000(ж) = Ф ю (* 100) = X400 - х 300 + х 200 - х 100 + 1.
2 2 .2 6 . а), б) Следует из задачи 22.24, в); в Фп (0) есть произведение
всех первообразных корней степени п на —1.
2 2 .2 7 . Ф1 (1) = 0 , Фрк (1) = р, р — простое число, Фп (1) = 1 для осталь
ных гг; по задаче 22.24, г),д)
Ф
ф» Д1)
р1
, (1 ) = Фр Д1)
ф» , ( 1)
ч П п(п + 1 )
д) —------ при е т 1; ----- 2 ----- ПРИ £ = И ри £ f 1 ум нож ить данную
сумму на 1 — е.
2 3 .2 . Левая и правая части равенств а) и б) равны вещественной и
zn - 1
мнимой частям суммы z + . . . + zn = z ----- —, где z = cos x + i sin x.
z —1
в), г) Аналогично а) и 6).
е) разлож ить левую часть в произведение (х —£ \ ) . . . (х —£ 2 п) и объеди
нить множители х — £i ж х — еп-% — х —
з) Равенства в задачах е), ж) сократи ть соответственно на х2 — 1 и на
х — 1 и в полученных равенствах положить х = 1.
(2 к
+ 1)7г — 2 р (2 к + 1)7г — 2(р — 2 п а
2 3 .3 . хк = - S1H _ S1H _ , к = О,
2п 2п
1 , . . . , гг — 1. Если г = cos ср + г sin ip, t = cos а + г sin а , то 2 cos 9? = z + 2
2 cos(<^ + /га) = z t k + и поэтому t( 1 + + £- 1 (1 + £- 1 ж)п = 0.
2 3 .4 . г) И спользовать задачу 4.12.
2 3 .5 . а) 2п cosn ^ cos х.
J 2 2
-.4 оП п Х • п
б) cos - sin —— - х .
2
' 2 2
ч гг sin Апх
2 4 sin 2ж
(гг + 1) sin п х — п cos (гг + 1)ж — 1
4 sin 2 (x/2)
(гг + 1) sin п х — п sin(m + 1)х
л) 4 sin 2 (x/2)
т —1
2 3 .7 . К ак в задачах 4.12 и 23.4, г) многочлен степени
smx
от sin 2 х со старш им коэффициентом (— —znO
4) - 1)/2, корнями которого явля-
т —1
ю тся sin 2 (27r j/m ) , где j = 1, 2 , . . .
2 4 .2 . а) ± 1 ± \ г .
1 1 , .V3
— 1, т ± г—— .
’ 2 2 ’ 2 2
в) 4 4- гл/з, 3 -Ь 2zд /з, 1 -Ь 2zд/З, гл/3? 1, 3.
2 4 .3 . Расстояние между точками, соответствую щ ее данным числам.
2 4 .4 . а) Вершины правильного треугольника с центром 0.
б) Вершины ромба с центром 0.
2 4 .6 . а) О круж ность радиуса 1 с центром в начале координат.
б) Луч, выходящий из начала координат и образующ ий угол 7г/ 3 с по
ложительной вещественной полуосью.
в) К руг радиуса 2 с центром в начале координат, вклю чая границу.
г) В нутренность к р у га радиуса 1 с центром в точке 1 + г.
352 Ответы и указания
п) П арабола у 2 = 8х.
p) В нутренность угла с вершиной z о, стороны которого образую т с
положительным направлением вещ ественной оси углы а и /3.
2 4 .7 . Сумма к вад ратов диагоналей параллелограмма равна сумме
к вад ратов его сторон. Положить z\ = х \ + щг, £2 = Х 2 + 2/ 2 ^* или истолко
вать к вад р ат модуля комплексного числа как скалярный к вад р ат вектора,
соответствую щ его этом у числу.
2 4 .8 . £4 = zi —Z2 + 23 .
z + W , .Z — W
2 4 .9 . — — ± г — — .
2 2
/ 27ri^ \
2 4 .1 0 . = с + (го —с) ( c o s ------- Ь г s i n ----- ] (А; = 0,1, 2 , . . . , п — 1), где
\ п п J
с= + 2 i) =Ь —z ctg — (21 — 20 ) — центр многоугольника.
2 4 .1 1 . О круж ность радиуса 1 с центром в начале координат, исклю чая
точку z = —1; положить t = tg(<^/2), —7Г < ср < тг.
2 4 .1 2 . а) При доказательстве необходимости убедиться, что векторы
Zs — z vl Z3 — Z2 коллинеарны; для доказательства достаточн ости из дан
ного равенства вы честь равенство (Ai + А2 + Аз)^1 = 0. б) И спользовать
предыдущ ую задачу.
Zi + А^2
2 4 .1 3 . П ри А ф 1 — окруж ность с концами диам етра в точках
1+ А
Zl - Xz2 л -t
и —------— ; при А = 1 — прямая, проходящая через середину о тр езка с
1 —А
Ответы и указания 353
23 А.И. Кострикин
354 Ответы и указания
Ъп = гг = 0,..., к - 1.
г= 1
б) ( х 2 + 2х + 1 + л/2 + 2(х + X
х f x 2 + 2х + 1 + л/2 — 2{х + 1 ) / ^ / +— ) •
23 :
356 Ответы и указания
2 8 .2 2 . а) ж, ж + 1, ж2 + ж + 1, ж3 + ж 2 + 1, ж3 + ж + 1, ж4 + ж 3 + 1, ж4 + ж + 1,
ж4 + х3 + ж2 + ж + 1.
б) ж2 + 1, ж2 + х + 2, ж2 + 2х + 2. Многочлен степени 4 неприводим то гд а
и только тогда, когда он не им еет корней в данном поле и не является
произведением двух неприводимых многочленов второй степени.
в) 6. г) 8 и 18.
q ( q - 1) тт q ( q - i ) ( g - 2)
2 8 .2 3 . ----------- и ---------------------
q 3
2 8 .2 4 . Группа Z* является циклической порядка р — 1. Поэтому в Z*
им еется подгруппа порядка d. Все образующие этой группы являю тся кор
нями ф ^О ).
2 8 .2 5 . П усть / О ) = f ( x + к) для некоторого 1 ^ k ^ р — 1. Тогда
/(ж ) = f ( x + £;/) для всех / Е Z. Но элементы £;/ пробегаю т все поле Zp.
2 8 .2 6 . П усть Н ( х ) = х р — х — а = f ( x ) g ( x ), где /(ж ) Е Zp [x] неприво
дим. Зам етим , что Н ( х ) = Н ( х + к) для всех к Е Zp . Поэтому f ( x ) g ( x ) =
= f ( x + k ) g ( x + k ) . Воспользоваться задачей 28.25 и ф акториальностью коль
ца Z p [x].
2 8 .2 7 . См.: Ленг С. Алгебра. — М.: Мир, 1965. — С. 245.
2 8 .2 8 . х = b(a — I ) - 1 .
2 8 .2 9 , 2 8 .3 0 . См.: Лидл Р., Нидеррайтер Г. Конечные поля. Т. 1. —
М.: Мир, 1988. — Гл. 3, § 5.
2 8 .3 1 . а = 0 и 36. Р азлож ить по степеням х — а.
2 8 .3 2 —2 8 .3 4 . См.: Берлекэмп Э. А лгебраическая теория кодирова
ния. — М.: Мир, 1971. — Гл. 3, п. 3.
1 4 9
2 9 .1 . а) +
1 2 (ж -1 ) 3 0 + 2) 4 0 + 3 )'
—1 + г —1 + г
б)
16 \ ж — 1 —г х —1Т г ж + 1 —г ж+ 1 + г
1 1
4 0 —I)2 4 0 + I)2
3 4 1 1 1
+
(ж — I ) 3 (ж — I ) 2 х —1 (ж + I ) 2 ж+ 1 х — 2'
1 1 1 1
^ 6 0 —1) 2 0 —2) 2 0 —3) 6 0 —4)'
ч 2 ^ —2 + г 2+ г
(х — 1) 2 0 —г) 2 0 + г)
1
ж) - ТТ +
4 0 —1) 4 0 + 1) 4 0 —г) 4 0 + г)
1 / 1 е е 1 гл/3
з) - ( - - -----7Т + ------ +
3 V (ж — 1) ' ж —г ' х — s 2 У ’ S 2 2
358 Ответы и указания
п ( 1 \ п —к ( п \
V L) \к)
х —к
к = —п
1 1 1
+ Т7------ТТТ + '
4(х + 1 ) 4(х — 1 ) 4(х — I )2 4(х + I )2
ч 1 £к 2тгк . . 2тгк
л)
nn—u‘ уn^ Xnr--------
—P
~ £ki_
, £к = c o s --------h г s m ----- .
n n
k = 0
1 1
2 9 .2 . a) -
8 0 -2 ) 8 0 + 2) 2 0 2 + 4 )'
1 x + 2 ж— 2 \
6)
8 у x 2 + 2ж + 2 x 2 — 2 x -\ - 2 ) '
1 ж —1 ж+ 1
+ ,/ о . -ч + ■
4 0 + 1) 4(ж2 + 1) 2(ж2 + I)2
1
г+ :
' 16(ж — I ) 2 1 6 0 — 1) 160 + I)2 1 6 0 + 1) 4(ж2 + 1) 4(ж2 + I ) 2
. 2/с —1
s m -------- 7Г
_____ 2 n z
Л О В - ! ) * " 1- 2к - 1 '
Ж — COS — -------- 7Г
2п
1 ж+ 2
ж)
3 0 —1) 3(ж2 + ж + 1)'
1 / 1 1
з) 1 8 \ ж 2 + 3ж + 3 + ■
ж2 - 3 ж + 3 ж2 + 3 /
v 1 7 3 6ж + 2 Зж + 2
И Ж~^Ж + 1~^(ж + 1)2 Ж2 + Ж+ 1 0 2 + Ж+ 1)2'
^ 1 3 , 3 , 1 . 1
к) — ------— ------ТГ + ТТ^ Г-ГТ + -
160- I ) 2 160-1) 1 6 0 + 1) 4 0 2 + i) 4 0 2 + i ) 2 160 + i)2’
(2 к — 1)т7г (2 к — 1)(2 m + 1)
_L ________ гг___________________ 2 гг_________
77. ^
Ж2 — 2 ж COS ^---- — 7Г + 1
2 гг
р-1
2 9 .3 . - V ------- .
^ ' г —а
2 9 .5 . И спользовать задачу 29.4.
3 0 .1 . а) — х 4 + 4 х 3 ■7 х + 5. б) ж3 — 9ж2 + 21ж
д) СПСГ2 - СГЗ + CTl + СГ2 + 2(Tl + 1. е) сг| + СГ1 СГ3 - 2сг2сгз + сг| —2cricr3 + СГ3.
ж) Зсг? — 9<Т1672 + 27сгз. з) (J\(J2 (J?> — (у1(У4 — сг|.
и) сг?сг! — 2crf(J3 — 3cricr| + 6 СГ1 СГ2 СГ3 + Зсг1сг3 —7 (7 1 (7 3 .
к) (Ji —4 (71(72 + 8 (7 3 . л) (7 i — 2 (7 2 .
м) (71 — 3 (71(72 + 3 (7 з . н) (71(73 —4 (7 4 -
о) сг| — 2 (71(73 + 2 (7 4 . п) (71(73 — 2 (72(73— (71(74 + 5 (7 5 -
че 31.14
(1 + ( 7 р + . . . + (7n t )(^ 1 — s 2 t + . . . ) — (71 + 2(7 2^ + . . . + 77(7nt
Щ Ф „ , х т - 1 ) = р ,р(п)/,р(П1\
3 2 .6 . R ( Фт ,Ф п) = 0 при т = п; R ( Фт ,Ф п) = р при т = п р х и
Л(Ф т , Фп) = 1 в остальны х случаях, если т ^ гг.
3 2 .7 . а) Ъ2 - 4ас. б) - 2 7 д 2 - 4р3.
в) —27 а | + 18aia2tt3 — 4а^аз —4а3 + afa^.
г ) 2777. д) 725.
3 2 .8 . а) ±2. б) { з , 3 =Ь |.
в) Ai = О, Л2 = - 3 , Аз = 125.
г ) Ai = -1 , Аз = А3,4 = - ± -г^З .
3 2 .9 . Воспользоваться разложением / = ао(х —х \ ) ... (х —хп).
3 2 .1 0 . ( - 1 ) ( п_1)(п_2)/2.
3 2 .1 1 . (_ 1 )Ф{п)/2п Ф{п) [П Р|п р ^ (п)/(1- ??)].
п (п — 1)
3 2 .1 2 . (-1 ) 2 (п!)~п .
3 2 .1 3 . Воспользоваться задачей 32.9.
3 2 .1 4 . Воспользоваться задачам и 32.1, 32.4 и 31.23.
3 2 .1 5 . См.: Берлекэмп Э. А лгебраическая теория кодирования. — М.:
Мир, 1971. — С. 143.
3 2 .1 6 . ( —l ) n(n_1)/2n na n_1.
3 2 .1 7 . а) 1 • 22 • З3 • . . . • (n - l ) n_1n n .
б) 1 • 23 • З5 • • п2п~1.
в) 2п~ 1п п .
3 3 .1 . а) Три вещ ественных корня в интервалах ( - 2 , - 1 ) , (—1,0), (1,2).
б) Три вещ ественных корня в интервалах (—2, —1), (—1,0), (1,2).
в) Три вещ ественных корня в интервалах (—4, —3), (1 ,3 /2 ), (3/2, 2).
г) Один вещ ественный корень в интервале (—2, —1).
д) Один вещ ественный корень в интервале (1,2).
е) Ч еты ре вещ ественных корня в интервалах (—3, —2), (—2, —1), (—1,0),
(4, 5).
ж) Д ва вещ ественных корня в интервалах (—1,0), (1, 2).
з) Ч еты ре вещ ественных корня в интервалах (—1,0), (0,1), (1,2), (2, 3).
и) Д ва вещ ественных корня в интервалах (—1,0), (0,1).
к) Вещ ественных корней нет.
3 3 .2 . Если а 5 —Ъ2 > 0, то все корни вещественны. Если а 5 —Ъ2 < 0, то
полином им еет один вещ ественный корень.
3 3 .3 . Если п нечётно и d > 0, то имею тся три вещ ественных корня.
Если п нечётно и d < 0, то один вещ ественный корень. Если п чётно и d > 0,
362 Ответы и указания
то два вещ ественных корня. Если п чётно и d < 0, то вещ ественных корней
нет.
3 3 .4 . Если п чётно, то Еп{х) не им еет вещ ественных корней. Если п
нечётно, то Е п им еет один вещ ественный корень.
3 3 .5 . П роверить, что производная не может им еть корней в и н терва
ле (0,1).
3 3 .6 . а) Числа ai , ..., аш являю тся корнями f { x ) к ратн остей k\ —1,...
. . . , к т — 1. Кром е того, в каж дом интервале ( a j,a j+ i) производная f ' ( x )
им еет корень.
б) В ы текает из а).
в) Если Ск = Ck+1 , то х = 0 является кратны м корнем к-й производ
ной f ^ k\ x ) , т.е. по б) х = 0 является корнем к ратн ости не меньше к + 1
многочлена f ( x ) .
3 3 .7 . В ы текает из задачи 33.6, в).
3 3 .8 . Д омножить на х — 1 и воспользоваться задачей 33.7.
3 3 .9 . Умножить на х~п .
3 3 .1 0 . Д оказать, что f(x) > 0 при х ^ 1/п\.
3 3 .1 2 . По одному корню в первом и четвёртом квадранте. По два
корня во втором и третьем квадрантах.
1 —ах
3 3 .1 4 . П оказать, что корень z удовлетворяет условию z n = ----------.
а —х
П роверить, что для вещ ественного числа а |1 —ах\ = \а —х\.
Поэтому / '( а — Ы
) ф 0.
3 3 .1 7 . Любая выпуклая область является пересечением полуплоскос
тей. Воспользоваться задачей 33.16.
3 3 .1 8 . Воспользоваться теоремой Ш турм а (Ленг С. Алгебра. — М.:
Мир, 1965. — Ел. IX, § 2).
3 3 .1 9 . Воспользоваться задачей 33.18.
3 3 .2 0 . х 3 + х 2 —х — 1, х 2 ± х — 1, х ± 1.
3 4 .2 . а) Л = ±1. б) Л ф ( - 1 ) п .
3 4 .3 . В случаях в), г), д) продиф ф еренцировать два раза и применить
индукцию. В случаях е), ж) использовать определитель Вандермонда.
3 4 .4 . а), б) И спользовать определитель Вандермонда.
Ответы и указания 363
/ 1 —а а2 -а 3 . (—1)па п \
0 1 - 2а За2 . .. (—1)п -1 тшп-1
0 0 0 1 )
3 5 .1 7 . б) Р ассм отреть (ж), (г/), (г), где векторы попарно линейно не
зависимы.
3 5 .1 8 . П роекция вектора е% на Ь\ параллельно Е 2 им еет г-ю координа-
п- i / 1\ Г Г
т у ------- , а остальные равны I ----- I ; проекция на Е 2 параллельно L \ им еет
п \ пJ
1
все координаты , равные —.
п
3 5 .1 9 . ( - 1 , - 3 , 1 , 3 ) .
3 5 .2 1 . А-. 1(Л + М) + 1(А -*Л ).
3 5 .2 2 . б) 0 и Eij при г ^ j; Eij —Eji и Eji при г > j.
3 5 .2 3 . б) 0 и если г < j\ Е ц и 0, если г = j; Eij + Eji и —E ji, если
г > j.
3 5 .2 4 . (gn - gm)(gn - gm+1) ... (qn - gn_1)/(gm - 1)... (gm - g777” 1).
3 6 .1 . П рименить индукцию no m.
3 6 .2 . a) qnk. б) (qk — l)(qk — q) . . . (qk —gn_1), причём n ^ k.
-3 -6 -9
3 6 .3 .
3 7 12
/1 a\
0 5
3 6 .4 .
0 c
Vi dj
3 6 .5 . В ы брать в V такой базис e i , . . . , еп , что A ( e i ) , . . . , A(ek) — ба
зис Im А и efc+i, . . . , en G Ker А. З а д а ть действие С и D на e ^ + i, . . . , еп и
А ( е i ) , . . . , H (efc).
3 6 .6 . В ы брать базис e i , . . . , e n как и в задаче 36.5. З а д а ть С на
H ( e i) ,. . . , H (efc).
3 6 .7 . И спользовать задачу 36.5.
3 6 .8 . В ы брать базис e i , . . . , еп как и в задаче 36.5.
366 Ответы и указания
в) /г(*) = ~т (г = 0 , 1 , . . . , гг).
г!
3 6 .1 1 . Н айти базис (ei, е г ,. . . , е^), для которого / ( е i) = 1, /( е г ) = . . .
. . . = /(е п ) = 0.
3 6 .1 2 . И спользовать системы линейных уравнений.
f (х')
3 6 .1 3 . Д оказать, что у = х ---- G U.
/О)
3 6 .1 4 . И спользовать задачу 36.13, б).
3 6 .1 5 . В некотором базисе за д а ть пересечение ядер (однородной сис
темой линейных уравнений задачи 36.12).
3 6 .1 6 . Если система e i , . . . , линейно независима, то дополнить её до
базиса и рассм отреть сопряженный базис в И*.
3 6 .1 7 . а) Б азис ( e i, . . . , ) подпространства U дополнить до базиса
( e i , . . . , еп ) п ространства V. Если (е1, . . . , еп ) — сопряжённый базис, то
доказать, что U± = (efc+1, . . . , en ).
б) И спользовать а).
в) И спользовать б).
3 6 .1 8 . Д оказать, что Q>[x] — счётное множество, и у к азать в Q[x]*
несчётное множество различны х линейных функций. Например, для к аж
дого подмножества I натуральны х чисел определить функцию / / формулой
f i { u ) = Ysiei Ui’ г де и = E j из х3 ■
3 6 .1 9 . И спользовать задачу 35.26, где U = K e r/i, W = К е г / 2 .
3 6 .2 0 . И спользовать задачу 35.25.
3 6 .2 1 . См.: Ленг С. Алгебра. — М.: Мир, 1965. — Ел. V III, § 4-6.
3 7 .1 . а), б), в), е), ж), з), и), к), м), н), о), р), с), т), у).
3 7 .2 . а) Е в стандартном базисе.
в) В базисе из м атричны х единиц Е ц м атричны е элементы aij^i ф унк
ции / имеют вид ai j j i = 1, а в остальных случаях 0.
г) 0.
ж) aij^j = 1, в остальны х случаях 0 (см. в)).
Ответы и указания 367
1 О
з) В базисе (1, г) м атрица
О -1
и) Е (см. ж)).
О 1
-1 О
м), н), п) П ространство бесконечномерно,
с) 2Е в стандартном базисе.
1—1‘
1
0 1
1—1‘
1
1 0
3 7 .5 .
0 -6 "9 \ 8 15'
11
3 7 .6 . а) -2 20 30 . б) 6 5 12
-3 30 45 1 \ц 10 29
4 — 2г —2 —г
1+ г —г
5 -1 \ / -2 3
3 7 .1 0 6 8 б) -5 -1 0
-2 3 -4 ) V 29 -2 6
2г \ . А З -г 7 — 5г
3 7.11
—1 + 4г у б) ( 4 3 -г
3 7 .1 2 . а) ( ( - 1 , - 1 , 1)>, ((Ю ,7,1)). б) ( ( - 1 , - 5 ,3 ) ) , <(1, —2 ,1 » .
3 7 .1 4 . а) ( ( - 1 ,1 ,1 ) ) , ((- 1 7 , - 1 3 , 7)). б) ((2, - 3 ,1 ) ) , ( ( - 4 , - 5 ,1 ) ) .
3 7 .1 6 . а) ( ( 1 ,- 2 ,1 ) ) , ( ( - 1 , - 5 , 3 ) ) . б) ( ( - 1 ,1 ,1 ) ) , ( ( 4 ,0 ,- 9 ) ) .
3 7 .1 8 . в) Воспользоваться задачей 36.21 и показать, что левое и правое
ядро являю тся идеалами в К .
г ) (а —aq\ а Е К ) .
Г1 0^
3 7 .1 9 . в) г) Следует из в). д) Fy/2.
.0 2;
3 7 .2 1 . а) при Л = =Ы. в).
3 7 .2 2 . F ^ A G B .
3 7 .2 3 . Если ф ункция / симметрическая, то к виду аЕ±±, если не явля
ется симметрической, то к виду Е\ч-
3 7 .2 4 . F' = F = FC = tC~ 1F' .
3 7 .2 6 . Пример несовпадения: ф ункция на IR2 с м атрицей О/ В
некотором базисе.
368 Ответы и указания
1 О
3 7 .2 8 . б) Пример: ф ункция на R2 с матрицей в некотором
О -1
базисе.
3 7 .2 9 . г) В случае е = 1 м атрицы для / i и /2 в подходящих базисах
О А\ /О В>
имею т вид где А, В — невырожденные матрицы .
ЬА Оу/’ уВ 0у
О стается непосредственно подобрать м атрицу перехода.
3 7 .3 0 . И спользовать задачу 37.29.
3 7 .3 1 . б) Аналогично теореме о приведении симметрической билиней
ной формы к нормальному виду; можно использовать и приём, аналогич
ный алгоритм у Л агран ж а и сгруппировать сначала члены с множителя
ми у\ и x i, а затем прим енить предположение индукции.
3 7 .3 2 . а) Нет. б) Нет.
3 7 .3 3 . а) Х 1 У2 - х'ъу'и где х[ = х\ - 2х3, х'2 = х2 - х3, х'3 = х3.
3
б) x[yf2 - xf2y[, где х[ = x i - - х 3, х'2 = 2х2 + х3, х3 = х3.
в) ^ 12/2 - х2у[ + х3у4 - х'4уз, где х[ = XI - 2х3, х'2 = х2 - х4, х3 = х3,
х 4 = х 4.
г) Х1У2 - х'2у'и г Де Х\ = XI + х3, х'2 = х2 + х3 + х4, х3 = х3, Х 4 = Ж4 .
3 7 .3 5 . 602(1 - 2), 22(1 - 2), 2(1 - 2)(22 - 2 - 1).
3 7 .3 6 . И спользовать задачу 37.31, б).
3 7 .3 7 . Определитель кососимметрической м атрицы нечётного поряд
ка равен нулю.
3 7 .4 5 . а) 1, 2.
3 8 .1 . а), б), г), е), ж), к), н), р), с), т).
3 8 .3 . Нет.
3 8 .4 . Д л я / ь
3 8 .6 . а) ((2,1, 0)>. б) ((-2 1 ,1 3 , 0)>, ( (-7 9 , 0,13)}.
5 5
38.16. a) 2xiyi - xiy2 - x2yi - 2х3ух - 2хху3 - ~х2уз ~ ~х3У2 + х3у3.
3 3 1 1
б) - 2х 2у 2 + ^ Х 2Уз + ^ х з У 2 - ~ j X \ y 3 - - Х 3У1 + 2 х 3у 3 .
38.17. а) Нет. б) Да.
38.18. a) у\ + у \ - yt .
б) Ух + 2/2 - 2/3- в) 2/! - |/2. г) Ух — у 2 — у3 — У4•
38.19. а) Нет. б) Да.
38.22. тг(тг + 1)/2, п ( п — 1)/2.
38.23. В случае U = ( e i,e 2 ) и / ( е 1 ,в 2 ) = / ( в 2 ,е 2 ) вы брать в [7х век
тор ез такой, что / ( е 2 ,ез) ф 0.
38.26. П ривести к нормальному виду, прим енить рассуждение, анало
гичное доказательству закона инерции.
38.27. гг, гг.
3 8 .2 9 . Р ассм отреть соответствую щ ую квадратичную функцию.
п (п + 1)
3 8 .3 1 .
2 '
3 8 .3 2 . Р ассм отреть значения в точ ках вида Хх + г/, где Л Е F.
3 9 .1 . а) При а = 0. б) При а = 0.
в) , г): д) Прн а = 0. е), ж), з), л).
3 9 .5 . а) {0}, V. б) V, {0}. в) V, {0} при а ф 0; V при а = 0.
г) (Ъ), (а) ± при а, Ъ ф 0; {0}, V при а = 0 или 6 = 0.
д) V, {0}. е) Щх]п , {0}.
ж) М[ж]п- 1 , К. з) R[x]n_fc, R[x]fc_i. л) R, {0}.
3 9 .7 . Дополнить базис ( e i , . . . , е/Д подпространства до базиса ( e i , . . .
. . . , е п) п ространства и рассм отреть проектирования на ( e i,...,e f c ) и
(е/,+ 1 , . . . , еп), (см. задачу 39.17).
3 9 .9 . Дополнить базис подпространства до базиса пространства.
3 9 .1 2 . С начала доказать, что rk Л = ткБЛ + d im (Im Л П Кег Б).
3 9 .1 4 . п (п — г), где г = rk Л.
1 0 o'
to
3 9 .1 5 . а) 1 0
со
0 1
( COS Oi — siH Oi \
б) [ ), если положительное направление о тсчета углов
у s in a cos a J
совпадает с направлением кратчайш его поворота, переводящ его первый
базисный угол во второй.
/0 0 1\ /0 1 0\ /О 0 0\ / 1 О —2 \
в) I1 0 0 ] и I0 0 1 . г) 0 1 0 . д) 0 0 0 .
\0 1 0 / \1 О О/ \0 О О/ \ “2 0 4/
24 А.И. Кострикин
370 Ответы и указания
(а 0 b 0\ a c 0 °\ A 0 0 °\
0 а 0 b b d 0 0 0 0 1 0
Ж) 3)
с 0 d 0 0 0 a c 0 1 0 0
\0 0 dj
с 0 b dj 0 0 V
faibi aib3 a2bi «2^3 \
а\Ъ2 ai^4 a2b2 a2b± ( ai a 2\ (bi b
и) где л В
a3bi азЪз aV )i а^Ъз \а з (1 4 ) ' = [p3 b
\аз&2 «3^4 «4^2 а4&4/
( а\ + Ъ\ Ъз а2 0 \
b2 ai + 64 0 a2
аз 0 a4 + bi Ьз
0 аз 62 <24 H“ b4J
/0 1 0 0 ... (0 0 0 . 0
°\
0 0 2 0 ... 0 n 0 0 . 0 0
0 0 0 3 ... 0 0 n —1 0 . 0 0
m)
0 0 n —2 . 0 0
0 0 0 0 ... n
\o 0 0 0 ... (V \o 0 0 . 1 0/
(0 1 0 0 ... °\
0 0 1 0 ... 0
0 0 0 1 ... 0
0 0 0... 1
0
\o 0 0... 0/
0
3 9 .1 7 . Первые к элементов главной диагонали матрицы оператора
равны 1, а все остальные элементы матрицы — нули.
3 9 .1 8 . Первые к столбцов матриц состоят из коэффициентов выраже
ний векторов b i,..., Ьк через a i ,..., an, остальные столбцы произвольны.
/4 5 0 -1 \ ( “ 5 -8 -6 - 2 \
1 0 2 3 2 4 4 0
3 9 .1 9 . а) 6)
2 3 0 3 - 3 -2 - 1 - 5
1 6 -1 7 / l 6 7 6 13 /
-1 /3 2/3 2/3 \
3 9 .2 0 . 2/3 2/3 -1 /3 •
2/3 --1/3 2/3 J
1 2 2
3 9 .2 1 . 3 -1 -2 .
V 2 -3 1)
а) Первые к столбцов матрицы нулевые, остальные к линейно
3 9 .2 3 .
независимые.
3 9 .2 4 . Рассмотреть подпространства Vi ((г = 1,2), состоящие из всех
векторов ж, для которых (fi(A))(x) = 0.
Ответы и указания 371
( - ап —1 ап — 2 ... —ai - а 0\
1 0 0 0
А = 0 1 0 0
\ 0 0 1 0 /
а{ + . + °П) а 2 = . . • = А„ = 0.
4 0 .1 5 . a) Ai = Аз = Аз = - 1 , с (1 ,1, - 1 ) (с ф 0).
б) Ai = А2 = A3 = 2; c i( l, 2 , 0) + 02 ( 0 , 0,1) (ci и С2 не равны нулю одно
временно).
в) Ai = 1, А2 = A3 = 0; для Ai = 1 имеют вид с ( 1 ,1,1), для Аг,з = О
с( 1 >2 , 3) (с ф 0 ).
г) Ai = А2 = 1; для Ai ,2 = 1 c i ( 2 ,1, 0) + 02 ( 1 , 0, —1) (ci и С2 не равны
нулю одновременно), для Аз = —1 с(3, 5, 6 ) (с ф 0).
д) Ai = 1, А2 = 2 + Зг, Аз = 2 — Зг (над С); для Ai = 1 с(1, 2 , 1 ), для
А2 = 2 + Зг с(3 —Зг, 5 —Зг, 4), для Аз = 2 —Зг с(3 + Зг, 5 + Зг, 4), где везде с / 0.
е) А = 2; а (1,1, 0,1) +С2(0, 0 ,1 ,1 ) (ci и С2 не равны нулю одновременно).
0 o'
to
4 0 .1 6 . а) ((1 ,1 ,1 ), (1 ,1 ,0 ), (1,0, - 3 ) ) , 0 0
to
0 0
0
0 \
2 + Зг"
0 •
0 2 — З г/
с.
/ 2 0 0
0
0 2 0 0
г) (( 1 , 1 , 0 , 0 ), ( 1 , 0 , 1 , 0 ), ( 1 , 0 , 0 , 1 ), ( 1 , - 1 , - 1 , - 1 )),
0 0 2 0
V 0 0 0 -2 )
24 *
372 Ответы и указания
V о 0 0 }{а) /
б) П ри а ф 0 ж орданова клетка с числом а 2 на диагонали; при а = О
две жордановы клетки с нулём на диагонали, имеющие порядок п / 2 при
чётном п и порядки (п — 1)/2 и (гг + 1)/2 при нечётном п.
4 1 .4 . Две клетки с числом а на диагонали порядка п / 2 при чётном п
и порядков (п — 1)/2 и (гг + 1)/2 при нечётном гг; использовать задачи 41.2
и 41.3.
4 1 .5 . а) В каж дой клетке жордановой форм ы м атрицы А заменяем Л
(Л ф 0) на Л2; если в клетке порядка к на главной диагонали стои т 0, то
при к = 21 заменяем её двумя клеткам и порядка /, а при к = 21 + 1 двумя
клеткам и порядков / + 1 и /.
б) В жордановой форме м атрицы А заменяем диагональные элементы
на обратные.
374 Ответы и указания
б) ( ( 1 , - 3 , - 2 ) , (1 ,0 ,0 ), (1 ,0 ,1 )).
1 о 0\
1 0 о
((1,1,1,1), (-1,0,0,0), (1,1, 0,0), (0,0,-1,0)).
0 1 1
о о V
1 0 0\
2 0 0
( ( - 1 , - 1 , - 1 , 0 ) , (2 ,1 ,0 ,0 ), ( 1 ,0 , 0 ,- ! ) ) , ( 3 ,6 ,7 ,! )) .
0 2 о
0 0 1/
4 1 .1 1 . О дна ж орданова клетка.
4 1 .1 2 . И спользовать жорданову форму м атрицы оператора.
4 1 .1 3 . И спользовать жорданову форму м атриц операторов.
4 1 .1 4 . И спользовать жорданову форму м атрицы В.
4 1 .1 6 . Собственное значение 1, клетки разм ера 1, 3, 5.
4 1 .1 7 . Собственное значение 0. П орядки клеток п + 1, гг,. . . , 2,1.
4 1 .1 8 . И спользовать приведение к жордановой форме.
4 1 .2 0 . И спользовать вид жордановой формы к-й степени жордановой
клетки (см. задачу 41.3.)
' 7 1 1 12 2
4 1 .2 1 . а) ± -
ч - 1 9 =5 3 13
- 2 4 25' -7
4 1 .2 2 . а) 250 б)
- 2 5 26 -1 4
4 1 .2 3 . ( * - A i ) . . . ( * - A n ).
4 1 .2 4 . (t - a )n .
4 1 .2 6 . a) t - 1. б) t. в) t 2 — t. г ) t 2 - 1.
И
д) t k. е) п). ж) (t - 1)(* - i ) . . . ( l - ^ ) .
Ответы и указания 375
4 2 .2 0 . det еА = et rA.
4 2 .2 2 , 4 2 .3 3 . См.: Хорн Р., Джонсон Ч. М атричны й анализ. — М.:
Мир, 1989. — Гл. 8, § 81-84.
4 2 .3 4 . а) ж = (1,1), р(А) = 3. б) ж = (1,1), р(А) = 7.
в) X = (5 ,3 ,1 ), р(А) = 5. г) X = (1 ,0 ,1 ,0 ), р(А) = 6.
4 3 .4 . а) Скалярны е матрицы .
б) Кососим метрические матрицы .
в) Сим м етрические матрицы .
г) Нижние нильтреугольные матрицы .
4 3 .1 3 . Обе м атрицы равны G ~ x.
4 3 .1 4 . a) t S ~ 1. б) (5 - 1 .
4 3 .1 5 . а) ((1, 2, 2, - 1 ) , (2, 3, - 3 , 2), (2, - 1 , - 1 , - 2 ) ) .
б) ( ( 1 , 1 , - 1 , - 2 ) , (2, 5 ,1 ,3 )).
в) ((2,1, 3 ,- 1 ) , ( 3 , 2 , - 3 , - 1 ) , (1 ,5 ,1 ,1 0 )).
4 3 .1 6 . Например: а) ((2, - 2 , - 1 , 0), ( 1 , 1, 0, - 1 ) ) ;
б) ((0,1, 0 ,- 1 ) , ( 1 ,0 ,- 1 ,0 ) ) .
Xi + Х2 + Хз + Х4 = 0,
4 3 .1 8 . а) Х2 + Х4 = 0. б)
— 18Ж1 + Х2 + 18жз + 11X4 = 0.
4 3 .3 3 . аДп\ arccos —= .
Дп
4 3 .3 4 . R = а л ; R < а при п < 4, R = а при п = 4 и R > а при п > 4.
4 3 .3 6 . а) 8. б) 4. в) 12714. г) 0.
4 3 .3 8 . а) 60°. б) 30°. в) 0°.
4 3 .4 1 . arccos y / k / n .
2 ___
4 3 .4 2 . arccos —; пусть ai = A qA i (i = 1, 2, 3, 4); показать, что к вад р ат
косинуса угла между векторам и а Д i + а 2^2 и asts + 04 О равен
1
77+ 1
1 ( 1 ! 2 ! . . . 7 7 !)3
Д = 77 + 2 (77 + 1) ! (7 7 + 2 ) ! . . . (2 77 + 1)!
1
77+ 1 77 + 2 277 + 1
1
6)
© д а '
-Ру- It
4 4 .2 . G AG.
3 6
4 4 .3 .
-1 -3
4 4 .4 . П роектирование параллельно оси координат на биссектрису вто
рой и четвёртой четверти.
4 4 .9 . a) D* = —D. б) И н тегрировать по частям.
4 4 .1 0 . См. указание к задаче 44.9.
4 4 .1 3 . Воспользоваться задачей 44.12 и связью между эрм итовы м и и
квадратичны м и функциями.
4 4 .1 4 . Условие задачи эквивалентно равенству (ЛЛ*ж,ж) = (Л*Лж,ж)
для всех х G V. Воспользоваться задачам и 44.1, д) и 44.13.
4 4 .1 5 . Если А = Б —А£, то Л* = Б —А£; воспользоваться задачей 44.14,
где х — собственный вектор оператора Б с собственным значением Л.
4 4 .1 6 . Воспользоваться задачей 44.15.
4 4 .1 7 . а) Воспользоваться задачам и 44.15, 44.6 и 44.1, а).
б) Воспользоваться а) и задачей 44.2.
378 Ответы и указания
a ( x ) f i ( x ) + c ( x ) f 2(x) = 1;
отсю да вывести
Кег / (А) = Ker /i (А) 0 Кег / 2(А );
если х G Keih(A), у £ К е г /( Л ) , то по задачам 44.23 и 44.24, а), б) имеем
Ker f ( A ) ± = I m J ( A * ) С К е г 7 ( Л Т _1 = К е г / ( Л ) п_1,
4 5 .4 .
'9
в) О i (1, ! , 0 ) , - А = ( 1 , - 1 , - 4 ) , 1 ( 2 , - М ) ) .
О
Ответы и указания 379
i ( l , —2 Д ) ^ ( - 1 , 0 , 1 ) ^ < 1 , 1 , 1 )
( ^ ( « д м о д . о . - Ь а . о , - 1)).
А В = A i l A i B i ^ A i B ^ A i 1-
,
а) 3у \ + 6г/| + 9«/I
б) 9 y i + I 82/2 -92/3, т
г) 52/i - г/2 - Уз
д ) 3 2 /? ' 62/1,
( 1 1 1 1 \
-1 1 1 -1
е ) 2//? + 4//| - 2//з - 4 у | ,
-1 -1 1 1
V 1 -1 1 -1 /
: 1 0 0\
1 -2 0 0
<) 5 у ? - 5?/| + 52/1,
л 10 2 1
| 0 — 12/
1 0 1 0 \
1_ 1 о
з ) 2 2 /? - 4 2 / 1 , - т =
Л О 1
О 1 о -1 у
/3 0 0 0 \
О 1 2 2
*) 9//? + 9//! + 9//!,
О 2 1 -2
О 2 2 1/
( л/ТО 0 0 0
0 ^
0 л/2 0 2л/2 0
1_
к ) 4 / / ? + 4 / / 2 + 4 2 / з - б / / ! -6 2 /5 , —= 0 —2л/2 0 л/2 0
■s/To 0 0 1 0 3
V 0 0 3 0 - 1 )
4 6 .4 . И спользовать задачу 46.3 и процесс ортогонализации.
4 6 .5 . б) Положить w = х — -т~кУ-
11^11
Ы\
Ответы и указания 381
/ 1 0 о\
4 6 .6 . а) О 1 О ,
V О О -1
/ 1 0 0
б) О 0 1 2= (1,1 ,0 ),(0 ,0 ,1 ),2 = (1 ,-1 ,0 )).
V о -1 о
/ 1 о О\
1 л/3
2 2
( %/3 (1,1,1)’ л/ 6 (2, Х’ 1): л/2(0,1, Х)
л/3 1
2 2
0
° \
1 л/3
2 2 -^=(1,1,0), 2 = (1 ,-1,0), (0,0,1)).
л/3 1
V0 2 2 /
0 ___ \
f1
2л/2 -- 1
о
л) 4 4
л/7 + 4%/2 2л/2 - 1
V0
(—2,1, —л/2 — 1) .
\/10 - 4л/2
/1 0 0 о\
0 1 0 о
0 0 1 о
Vо о о -1 /
1
2 (1.1.1- -1)- ^(1.1. -1-1)- ^(1. -1.1.1)- ^(-1.1.1.1-1)
1 0 0
0^
0 -1 0 0
ж) 1
0 0 0 1
0 0 -1 0 )
2 ( 1, 1, 0 , 0 ), ^ = ( 0 , 0 , 1,
(т ! V2( V2(
0
1 0\
1 л/з
О
2 2
п л/З 1
° ~~2 2 /
382
*1
to
to
00
I <4
to
to
+ +
to -a
00 -al 1
I
COI I
Ответы и указания
I I
CO
tol ^ JO
<ц to
to
Jill'
+ + COI b-
00 I -a
GOI ^1 to
^1 00
<4 £ %h
I
to I—1 C0I I
I I
I—1
о
to
I
to
+ 03
to
00 сл
I
00
Ответы и указания 383
О
е—ia
4 6 .8 . Т акая м атрица подобна диагональной которая в
О
cos а —sm а
свою очередь подобна м атрице по задаче 46.7, а).
sin a cos а
4 6 .1 1 . б) И спользовать диагональны й вид м атриц унитарного и эрми
това оператора.
4 6 .1 2 . Любой ортонорм ированны й базис в V, одинаково ориен
тированны й с (е 1 ,в 2 ,ез), можно оператором вида А ^ В в А ф перенести
в (ei, в 2 , ез).
4 6 .1 3 . а) Если е 1 ,в 2 ,ез — базис из V, то операторы поворота в плос
костях ( e i,e 2 ) и (в 2 ,ез) имеют требуемое представление; воспользоваться
задачей 46.7, а).
4 6 .1 4 . П оворот в двумерной плоскости является произведением двух
отраж ений; для доказательства второго утверж дения зам ети ть, что если
А = A i . . . А т , ТО К ег(Л - 8 ) Э П™ , K e r(A - S).
4 6 .1 5 . И спользовать собственный ортонорм ированны й базис.
4 6 .1 6 . ч JL (Ъ Л J_ ( 1 -1
а) у/2 ( l з) ' У2 ( 1 1
.±( 1
у/2 V 1
14 2 ' 2 -1 2
~4 \
2 17 2 2 -1
2
-4 2 14 / 4 -1 2 2
4 6 .1 7 . Д оказать, что Б 2 = ДА*.
4 6 .1 8 . П усть ега1, . . . , егап — все различные собственные значения опе
р ато р а Л, найти такой многочлен f ( t ) степени гг, чтобы f ( e t a j ) = etaj^k при
всех 1 ^ j ^ п. П роверить, что f ( A ) k = А.
4 6 .1 9 . И спользовать диагонализируем ость оператора.
4 6 .2 0 . П редставить Л в виде к вад р ат а положительного самосопря
жённого оператора С. П оказать, что оператор С ~ хА В С самосопряжён.
4 6 .2 1 . И спользовать задачу 46.20 и представить Л и Б в виде к вад р а
тов положительных (неотрицательны х) самосопряжённых операторов.
4 6 .2 3 . И спользовать задачу 46.22.
4 6 .2 8 . И спользовать полярное разложение Л.
4 6 .2 9 . а) И спользовать задачи 46.24-46.26.
б) В ы текает из а).
в) И спользовать определитель Вандермонда VE(1, е, s 2, . . . , s n_1), где
27г . . 2тг
е = c o s ------h г sm — .
п п
4 6 .3 0 . И спользовать задачи 46.4, 46.5.
4 6 .3 1 . И спользовать задачу 46.30.
384 Ответы и указания
4 7 .1 . а), г).
4 7 .2 . 21.
(0 0 0 0\
1 0 0 0
Л= = (1 т Д ) Х = (ех );
0 1 0 0
\0 0 1 о)
4 7 .1 0 . р 2 (4р — 3).
4 7 .1 1 . а) 2. б) 1. в) 2.
4 7 .1 3 . а) 5. б) 1. в) 3.
4 7 .1 4 . а) е3. б) 5е 3 + 5е4.
4 7 .1 5 . а) (2 е* - e 3 )(8 > (2 e i+ 2 e 2). б) 2ех <g> е3.
4 7 .1 6 . a) (ei — е2) (8) е 3 — (ei —2е2) ® е4, е 1 (8 (е 3 + е4) + е 3 ® (е 3 + 2е4).
б) е 2 (g) (е 3 + 64 ) - (ei - е 2 + 2 е 3 - е4) (8 >е3,
(е 1 + е2) (8) ( 2 е 3 + Зе4) — (е 1 + е3) (8) (е 3 + е4).
в) ei (8) (е 2 + е3) + J T ej (8 >( - е 3 + е4),
+ е2) ® с* -|- (Зе"*" 4- 2е 2 4~ 2е 3 4~ Зе4) (8 е4.
г) ei (8 ) (ei - е2) + 2е 2 ® ( - e i + 2е2) + Зе 3 ® (2е 3 - е4) + 4е 4 (8 >( - е 3 + е4),
(2ех + е2) (8 ) е 1 + 2(е1 + е2) ® е 2 + З(е 3 + е4) ® е 3 + 4(е 3 + 2е4) ® е4.
4 7 .1 7 . Р ассм отреть базис из собственных векторов.
4 7 .1 8 . б) (tr Л )*. в) d2n.
4 7 .1 9 . а) Три клетки разм ера 2 с 1,2,3 по главной диагонали.
б) О дна клетка разм ера 1 и одна клетка разм ера 3 с 2 по главной диа
гонали.
в) Две клетки разм ера 3 с 0 по главной диагонали.
4 8 .2 . 2 п (п + 1)(гг — 1)/3, где п = d i m V .
4 8 .5 . П одсчитать размерности.
Ответы и указания 385
4 9 .1 0 . а) 2 ж1 + 7^2 + Зжз + Ж4 = 6,
XI = *i + 3*2,
Х2 = “ *1 - К 2,
хз = 2 + 2ti — 3^21
Х 4 = —t 1 — 4*2-
Ж1 = *1 + 2 *2 ,
Ж2 = *1 + 3*2,
ж3 = 6 — 5*1,
Ж4 = —7 + 6 *1 .
4 9 .1 6 . a) dim (P i U P 2 ) = 3, dim P i П P 2 = 1.
б) dim (P i U P 2 ) = 4, P i П P 2 = 0 степень параллельности равна 1.
в) dim (P i U P 2) = 4 , плоскости P i и P 2 скрещ иваю тся.
4 9 .1 8 . Гиперплоскость, параллельная P i и Р 2 и проходящая через одну
из точек указанного вида.
4 9 .2 0 . а) Ж1 = 3*, Ж2 = —1 + 3*, жз = 3 —*, Ж4 = 1 —*.
б) Ж1 = 1 + 2*, ж2 = —3 + 6 *, жз = —2 + 2*, Ж4 = 2 + 4*, Ж5 = 5*.
в) Не сущ ествует.
4 9 .2 2 . 1 —Ж1 — . . . —жп, Ж1 , . . . , жп .
25 А.И. Кострикин
386 Ответы и указания
4 9.23. При \К\ ^ 3 прямая содерж ит не менее трех точек; при \К\ = 2
утверж дение неверно.
4 9.24. Для любой точки а сущ ествует такой вектор г, что f ( a - \ - v ) =
= а + v.
4 9.28. Если char К \ гг, то неподвижной будет то ч ка
~ ( а + f { ° ) + f 2{°) + • • • + f n 1 (а ) ) 5
25 :
388 Ответы и указания
m ax m in F i x , у) ^ m in т а -к F i x , у).
xEMyEN y£N х£М
X = \х\,. 1),
то Q(ao + х) = lX A QX и X = ТХ'.
5 2 .5 . Воспользоваться разложением Тейлора многочлена Q ( x i , . . . , х п )
в точке (X i ,. . . , х ^ ):
, 1 ( 0 0\г 0\г 0\
+ 2 2^ d x i d x P X u ' " ' X n ^ X i ~ X i ^ X j ~ X i >-
i,j = 1
б) Гиперплоскость х \ + . . . + х п + 1 = 0.
в) Если п чётно, то центр есть то ч к а ( х ? ,. . . , х ° ), где
-Ч тт Xi Х2 Хз -
б) Линия центров — = — = — -— , эллиптический цилиндр.
2
г) , 3, —^ , однополостной гиперболоид.
16
К руговой цилиндр (xi - 1 )2 + U 2 +
9 '
кону“ ( т ! ’ 7 г 0
б) Гиперболический параболоид у\ — у\ = 2уз; верш ина (0,0,0), направ
ляющие векторы канонической системы координат: е[ = f 0 ), е 2 =
\л / 2 л/ 2 )
“ T f ’T f ’0) '
е) К руговой цилиндр у\ + уз = 4 /2 5 ; ось цилиндра проходит через точку
(О, 0, —215) и им еет направляющ ий вектор ( — —^=, 0 ).
V л/5 л/5 /
ж) П араболический цилиндр yf = Ьу2] верш ина параболы O' = 1,
12 16
направляющие векторы канонической системы координат:
о.
25 ’ _ 25
/ 3 4\
e'i = f 0 , ——, ——J (направляющ ий вектор оси параболы в сторону вогну-
/ , ( 4 3\
тости ), е2 = ( 1 , 0 , 0 ), е'з = ( 0 , - , —— I (направляющ ий вектор образующ их
цилиндра).
з) П араболический цилиндр уз = 2у\] верш ина параболы О' = (0 ,0 ,1 ),
направляющ ий вектор оси параболы в сторону вогнутости ( 0 ,0 , 1 ), направ
ляющий вектор образующ их цилиндра ( — 0 ].
V Л/2 Л/2 /
И п ^ „/ = ( А ___ 1_____I____ 1 \ , = ( \ _1 _1 Л
у/6’ у/6’ ) ’ 3 \2л/3' 2л/з’ 2л/з’ 2л/3/ U ’ 2 ’ 2 ’ 2) '
1 1 1
2’ 2’ _ 2
1\ , = ( I _1 _1 IV j = A 1 1 Л
2/ 3 V 2 ’ 2 ’ 2 ’ 2у 5 4 \ 2 ’ 2’ 2’ 2 / ’
A k V ® A n~ kV ->• A n V “ К,
Ответы и указания 395
(i(v*)U) Л U = i i{v*){U Л U)
z у 1
в) У , у , z)
' XXX,
5 3 .5 . a) min(A; — 1, гг — /г). б) min(£;, гг — к — 1).
5 3 .1 0 . Р ассм отреть дополнения к аффинным к артам .
5 3 .1 1 . gn + g n+1 + + 1.
5 3 .1 2 . {qn + 1 - m n+1 ~ q ) - - - { 4 n+1 - Ч к)
(gfc+i _ l)(qffe+i — q) . . . (qk+1 - Г )
(qn+1 - l)(qn+1 - q ) . . . ( q n+1 - ( f )
5 3 .1 3 .
q~ 1
5 3 .1 7 . Р ассм отреть вместе с Р (И ) ещё P (V*) .
5 3 .2 0 . И спользовать предыдущ ую задачу.
(ai + а 2 ) а 2 a i( / - a i)
5 3 .2 2 . а) аз = б) а 2 =
3ai —а 2 7 / -Ь a i
5 3 .2 5 . В ы брать аффинную к арту, в которой прямая будет бесконечно
удаленной.
5 3 .2 6 . В ы брать аффинную к арту, в которой две пары противополож
ных сторон ш естиугольника будут парами параллельных прямых.
5 3 .3 4 . Э та прямая получается применением корреляции, соответству
ющей данной окруж ности, к заданной точке.
396 Ответы и указания
56-25 - U (h y
nEN
2ктг . . 2ктт
56.26. c o s ------- 1- г s m ----- щ.
п п
56.27. а) = б). в) = е). г) д) =* ж).
56.28. Если в группе G нет элементов порядка 2, то
G = { ( х , х ~ 1)(х ф е)} U {е}
и \G\ нечётен.
56.29. Э т а группа не является циклической, та к как она им еет поря
док 8 , но порядок каж дого элемент не превосходит 4.
Ga = Gc =
Gb = Gd =
26 А.И. Кострикин
402 Ответы и указания
26 :
404 Ответы и указания
в) z —Ь Щ; г) z —Ь z n ; д) z —Ь z n .
элементов в G.
в) О дна из максимальных подгрупп неком мутативна, иначе, как видно
из пп. а), б), в группе G был бы нетривиальны й центр вопреки её простоте.
58.45. См.: Gorenstein D. F inite groups. — Нагрег and Row, 1968. —
Гл. 2, § 8 .
58.46. П усть G — конечная подгруппа в SL 2(Q). Ввести в п ростран
стве IR2 новое скалярное произведение
(х,у)а = ^2(дх,ду),
д е в
где (ж, у) = х±у± + Х 2 У2 для строк х = (xi, ж2) и у = (щ , г/2). П оказать, что о т
носительно этого скалярного произведения каж ды й оператор д становится
ортогональным. Поэтому G состоит из поворотов и отраж ений. Вывести,
что G С D n для некоторого п. Так как ti д £ Q, то, используя задачу 4.13,
показать, что п равно 3, 4 или 6 .
58.47, 58.51. См.: Супруненко Д . А . Группы м атриц. — М.: Н аука,
1972. — Гл. III.
58.52. См.: И зоморфизмы классических групп над целостными коль
цами. — М.: Мир, 1980. — С. 252-258.
59.1. а) (qn — 1)(qn —q). .. (qn — gn_1). При подсчете числа невырож
денных м атриц зам етить, что если уже выбраны г первых строк, то для
выбора (г + 1 )-й строки им еется qn —ql возможностей: действительно, всего
сущ ествует qn различны х строк длины п над полем из q элементов, но в
качестве (г + 1 )-й подходят лишь те из них, которы е не являю тся линей
ными комбинациями г строк, выбранных раньше. Число таки х линейных
комбинаций — это число упорядоченных наборов, составленных из г коэф
фициентов, т.е. ql.
59.12 и 58.6.
5 9 .2 1 . П ять силовских 2-подгрупп и одна силовская 5-подгруппа (см.
указание к задаче 59.20).
5 9 .2 2 . а) К силовской 3-подгруппе Н прим енить задачу 58.35.
б) Если силовская 5-подгруппа не является нормальной, то, как сле
дует из теорем ы из числе силовских подгрупп, в группе должно бы ть 16
различны х 5-подгрупп. Поскольку их попарные пересечения тривиальны , в
группе не больше, чем 80 —16-4 = 16 элементов, порядки которы х суть сте
пени двойки, они м огут образовы вать лишь одну силовскую 2 -подгруппу,
которая, следовательно, нормальна.
в) Решение аналогично б).
5 9 .2 3 . а) См. указание к задаче 59.20.
к
60.63. Делимость группы Q очевидна. Если ер = 1, то сущ ествует
S такое, что 5Р = г. Если q ф р — простое число, то (q,pk) = 1, и можно
воспользоваться задачам и 60.60 и 60.61.
60.65. То, что сумма подгрупп А п В прямая, следует из условия; надо
показать, что она равна G. П усть сущ ествует элемент д ^ А ® В . П одгруп
па (д) им еет ненулевое пересечение с А 0 В — иначе сумма а е в е (д)
прямая и вместо В можно было бы взять В 0 (д), что невозможно в силу
максимальности В. П усть пд Е А ® В. Можно сч и тать п просты м числом
71
(если бы было не так, вместо д мы взяли бы —д при некотором р\п). И так,
пд = а + 5, а Е А, Ъ Е В . Ввиду делимости А в ней есть элемент а\ такой, что
па\ = а. Получаем, что пд\ = 5, где д\ = д —а такж е не леж ит в А ® В. По вы
бору подгруппы В будет А П (щ , В ) ф 0. Значит, некоторы й элемент а Е А
можно вы разить в виде а! = кд\ + £/, Ъ' Е И, 0 < к < п. Так как (к, п) = 1,
сущ ествую т гг, v такие, что ки + nv = 1, значит, д\ = kugi + nvg\. Так как
пд\ Е А 0 И, кд\ = а — Ъ' Е А 0 И, то д\ Е А 0 В. Получили противоречие.
60.66. П усть D — сумма всех делимых подгрупп. Н етрудно прове
рить, что D делима. П усть а Е И, тогд а а = а\ + . . . + а^, где ai принад
леж ит Ai (г = 1 , . . . , к) — делимому слагаемому группы D. Если па[ = а^,
i = 1 , . . . , &, то гг = я. Согласно предыдущ ей задаче вся группа
р азлагается в прямую сумму D(BB. Если бы в В нашлась делимая подгруп
па, то она содерж алась бы в D, что невозможно. И так, в В нет делимых
подгрупп. Ф ак торгруп п а всей группы по D изом орфна В.
60.67. И спользовать задачу 60.16.
60.68. И спользовать задачу 60.67.
60.69. Воспользоваться задачей 60.67.
61.1. а) Р ассм отреть элементы, сопряжённые с транспозицией (12)
при помощи степеней данного цикла.
б) Элементы из А п — произведения чётного числа транспозиций, и
( i j ) (j k) = (ijk), (i j ) ( k l ) = (i k j ) ( i k l ). (См. задачи 3.15 и 3.16).
61.2. И спользовать приведение м атриц элементарными преобразова
ниями строк к ступенчатом у виду.
61.3. Н евырожденная м атрица приводится к диагональному виду эле
м ентарны м и преобразованиям и над строкам и, т.е. умножением слева на
соответствую щ ую элементарную м атрицу.
61.5. См.: Gorenstein D. F inite groups. — Нагрег and Row, 1968. —
P. 44.
61.7. a) {1, a}, {5, a}, {2, 3}, {4, 3}, где a — любой элемент из Z q.
б) Две различные транспозиции или транспозиция и тройной цикл.
в) Любые два не взаимно обратны е элементы порядка 4.
г) П оворот а к вад р ат а на угол ± 7г/ 2 и любая осевая сим м етрия г, а
такж е г и та.
414 Ответы и указания
27 А.И. Кострикин
418 Ответы и указания
при I > г,
y kx l~r+s
к I г s
у х •у X = y kx s при I = г,
yk+r~lxs при I < г.
27 :
420 Ответы и указания
6 4 .2 9 . а) Нет. б) Да.
6 4 .3 1 . а) И спользовать задачу 63.11, в).
6 4 .3 7 . а) п —у 0. б) п —у п\ п —у 0. в) п —у 0.
г) Любой гомоморфизм им еет вид п —у n e i , где е* — идем потент кольца
м атриц; всего восемь гомоморфизмов, соответствую щ их идем потентам О,
£7, £7ц, £/22 5 Е ц + £/12, £/21 + £/22, £/Ц + £/21, £/12 + £/22-
6 4 .3 8 . а) п —у п а , где а — произвольный фиксированный элемент из Q.
б) гг — 0 , гг — гг.
6 4 .3 9 . Д оказать, что ядро гомоморфизма или равно нулю или совпа
дает с полем.
6 4 .4 1 . Р ассм отреть гомоморфизмы:
6 4 .5 7 . Р ассм отреть отображ ение аохк + . . . + а& —»• аохк + . . . + а^, где
ai = ai + {п ) (г = 0 , . . . ,
6 4 .5 8 . р п.
6 4 .5 9 . а) Ввести стр у кту р у кольца на прямой сумме S' = R 0 Z .
б) Если R — алгебра над полем К , то преврати ть в алгебру над К
прямую сумму S = R 0 К .
в) С опоставить каж дом у элементу а в данной алгебры А линейный
оператор сра на векторном пространстве А над К , при котором (ра (х) = ах.
г) И спользовать б).
6 4 .6 0 . Д оказать, что Ik + П{фк!% = А для всякого к = 1 , . . . , s; вы вести
отсю да сю ръективность отображ ения / .
6 4 .6 1 . И спользовать гомоморфизм f ( x ) —> ( / ( 1 ) , / ( —1)).
6 4 .6 3 . П оказать, что 7 D Z ф 0 и I содерж ит нетривиальны й по модулю
I П Z многочлен.
6 4 .6 4 —6 4 .6 6 . Воспользоваться теоремой о гомоморфизмах.
6 4 .6 7 . в) Условие d e t(aij) ф 0 вы тек ает из сю ръективности компози
ции A ( V ) Л (Е ) — >A ( V ) / l 2 , где /2 — идеал, порождённый Л 2 (У). Для
доказательства того, что ср — автоморфизм, необходимо показать, что
р>(е{) Л tp(ej) + tp(ej) Л p>(ei) = 0 для всех г, j, а такж е сю ръективность 9?.
Последнее достаточно показать для отображ ения ip с единичной матрицей
(aij). Д оказательство проводится убывающей индукцией по £;, начиная с
вклю чения A n V С Im<^.
6 4 .6 8 . б) А ннулятор порож дается идем потентом 1 —е, где е — порож
дающий элемент данного идеала.
6 4 .6 9 . Если идеалы 7 i , . . . , / n порож даю тся попарно ортогональны
ми идем потентам и e i , . . . , еп, то 1\ + . . . + 1п порож дается идем потентом
d + . . . + еп.
элементы поля.
6 4 .7 3 . М 2(77) = 7 0 7.
6 4 .7 5 . Р ассм отреть ядро гомоморфизма Ъшп — Z m 0 Z n , при котором
I + m n Z —»•(/ + m Z , / + raZ).
6 4 .7 6 . При гг, не делящихся на к вад р ат простого числа; использовать
задачу 64.75.
6 4 .7 7 . Д оказать, что идеал, состоящ ий из всех м атриц вида а Е \ п ,
леж ит в ненулевом идеале этой алгебры.
6 4 .7 8 . Если .R = 7 i 0 . . . 0 7 n — разложение кольца R в прямую сумму
просты х колец и е — идем потент в Я, то е = е \ + . . . + еп , где a G Ii —
424 Ответы и указания
О у О О /3
1
; О —у -1 о
U + X1 1 + ■ж2 1 - ■ж3 1 +
4аяД 4аяД Аах\
мы сводим случай 3 к случаю 2. Если х \ = 0 , то им еет место случай 1.
е) В м атричном представлении д) чисты е кватернионы выделяю тся
условием t r P = 0. Таким образом, все нильпотентны е м атрицы (и толь
ко они) представляю т чисто мнимые делители нуля в А.
ж) Воспользоваться г), е).
з) Умножением на ненулевой элемент Л Е F можно добиться того, что
определитель м атрицы Q станет к вадратом поля F ; то гд а Q в некоторой
системе координат им еет вид а х \ + /Зх\ + а/3х\. Следует обрати ть вни
мание на то, что векторное произведение зависит от выбора ориентации.
П роверить, что замена ориентации W приводит к замене алгебры А на
двойственную алгебру А°, умножение * в которой связано с умножением •
в А по правилу а -b = Ь*а (как векторны е п ространства А и А' совпадаю т).
Далее, если А — алгебра кватернионов, то А — А ° .
6 5 .4 . в) Р ассм отреть F -линейное отображ ение х —ь ах.
д) Свести утверж дение к случаю простой алгебры с единицей. Мини
мальные идеалы имеют вид Ае, где е 2 = е.
6 5 .5 . в) П одпространство А о чисты х кватернионов алгебры А =
= Cq (F) выделяется условием х = —х, где ч ер та обозначает естествен
ную инволюцию алгебры К лифф орда: 1 = 1, = ei, ej ej = CjCi. В к ач ест
ве базиса Ао можно вы брать элементы e ie 2 — —Q ( e i , e 2 ), в 2 вз — —ф (в 2 ,ез),
e i e 3 - ^ Q ( e i , e 3).
426 Ответы и указания
(ж,аж- 1 ) t r ь / к {а) / О
для всякого х ф 0 из L.
430 Ответы и указания
Используя биекцию
28 А.И. Кострикин
434 Ответы и указания
'0 1 \
1
- ( °
1
4 i
1—1‘ I—1
(
1
0
\ _ |
1—1‘
1
2 2 (sgn<T)cr-
28 :
436 Ответы и указания
7 1 .9 . а) П усть
Е 0 Е (sgn<T)<T-
o-£S3 o-es3
ei = (Е + F ) ( F + / + J + К), е2 = (Е + F ) ( F + J - J - К),
ез = (Е + ~Е)(Е — I — J — К), в4 = (Е + ~Е)(Е + / — J + К).
ei = Yq Е е2 = ^ Е (det
a g e >5 лее >5
Ж= а Е д-> а е F-
деа
r\ = i ( e + еа + е2а 2) G С[(а)3],
и
г 2 = i ( e + е2а + еа2) G С[(а)3].
и
М[(а)з] = То 0 Т \, где поле То = Кго - М и
Тогда
27гк
х{Ък 2 cos х (аЪк) = 0.
е (12) (123)
<£о 1 1 1
7 2 .2 8 . а) . И спользовать задачи 72.26 и 70.19.
1 -1 1
<
ро 2 0 -1
е (12) (123) (12)(34) (1234)
<£о 1 1 1 1 1
-1 1 1 1 -1
б) И спользовать зад а
<£2 3 1 0 -1 -1
Р>з 3 -1 0 -1 1
2 0 -1 2 0
чи 72.26, 72.23, 72.24, 72.20.
1 -1 г 3 к
<£о 1 1 1 1 1
Pi 1 1 1 -1 -1
И спользовать задачи 72.26
<£2 1 1 -1 1 -1
<£з 1 1 -1 -1 1
<£4 2 -2 0 0 0
и 72.20.
е 6 У а аЪ
<£о 1 1 1 1 1
Pi 1 -1 1 -1 1
И спользовать задачи 72.26
<£2 1 -1 1 1 -1
<£з 1 1 1 -1 -1
<£4 2 0 -2 0 0
и 72.22.
е Ъ У а
<£о 1 1 1 1
4тг
л) Pi 2 2о cos —
27Г 2 cos — 0 И спользовать задачи 72.26
5 5
4тт
<£2 2 2 cos — 2о cos —
27Г 0
5 5
и 72.22.
е (12)(34) (123) (132)
р>о 1 1 1 1
<Pi 1 1 £ где е — корень тр етьей сте
Р>2 1 1 £ £
р>з 3 -1 0 0
пени из 1 в С. И спользовать задачу 72.26.
7 2 .2 9 . Н ет, та к как скалярный к вад р ат указанной функции не явля
ется целым числом.
7 2 .3 0 . В обозначениях к задаче 72.28, a) F = 2<^4 + 0, 5<^i + 0, 5<^з-
440 Ответы и указания
7 2 .3 1 .
В обозначениях отв ета к задаче 72.28, а) запишем Д = —сро +
(f2 . О тсю да следует, что Д не является характером
+ 3<£>i + 2 (^ 2 , /2 = 4(^1 +
представления. Д — х арак тер прямой суммы неприводимого двумерного
представления группы S 3 и четы рёх экземпляров нетривиального одномер
ного представления этой группы.
7 2 .3 2 . а) Д оказать, что отображ ение А в С, переводящее у в у (а), при
некотором а Е А есть х арак тер группы А и доказать, что возникающее
таки м образом отображ ение А А есть изоморфизм.
7 2 .3 3 . в) Вы вести с помощью а) равенство
7 3 .3 . б) и г). в) и е).
Ответы и указания 441
Д а .в (0 = ( 0 (Sgnt)einm-Bj. А е м р (с ): B e M jc).
/ z kl 0 \
z k2
2 к\ ,..., кп £ Ж.
О 2*”/
( zkl 0 \
z k2
z к \ , . . . , кп £ Ж.
\ 0 z knJ
§ I. А ф ф и н н а я и ев к л и д о в а г е о м е т р и я
Аффинным пространством над полем К назы вается п ара (А , V), состо
ящая из векторного п ространства V над полем К и м нож ества А, элементы
которого назы ваю тся точками. П редполагается, что п ара (И, V) снабжена
операцией сложения точек и векторов
(ci, г) —Уft -Ь v £ V,
удовлетворяющей следующим условиям:
1) (а + v\) + V2 = ft + (v\ + V2) для любого ft G И, щ, Г2 £ И;
2) а + 0 = ft для любого а Е И;
3) для любых двух точек а, 6 £ И сущ ествует единственный вектор г Е Н
такой, что а + v = Ъ (этот вектор обозначается через аб).
Термин “аффинное пространство” часто используется применительно
только к первому члену пары (И, V); в этом случае V назы вается вектор
ным пространством , ассоциированным с данным аффинным п ро стр ан ст
вом.
Размерностью аффинного п ространства (И, V) назы вается разм ер
ность векторного п ространства V.
Всякое векторное пространство V можно рассм атри вать как аф фин
ное пространство, если положить А = V и определить сложение точек и
векторов как сложение в пространстве V
Аффинным подпространством, или плоскостью, в аффинном
п ространстве ( A , V ) назы вается пара (Р, £7), где £7 — подпространство в
V, а Р — такое непустое подмножество м нож ества А, что:
1) р + и G Р для любых р G Р, и G £7;
2) pq £ U для любых р, q Е Р .
П ара (Р, £7) в этом случае сама является аффинным пространством .
Термин “аффинное подпространство” , или “плоскость” , часто приме
няется по отношению только к первому члену пары (Р, £7). В этом случае
444 Теоретические сведения
§ II. Г и п р е п о в е р х н о с т и в т о р о г о п о р я д к а
П усть ( A , V ) — аффинное пространство над полем К . Квадратичной
функцией Q : А — К на А назы вается ф ункция вида
Q ( a 0 + х) = q{x) + 1(х) + е,
ЬЛ
Xq =
Ьп
V bi ... ьп С )
i,j =1
назы вается касательной гиперплоскостью к X q в точке а = (ж?, . . . , )Е
Е X q , если X q = i a i j x j + bi ф 0 для некоторого г. Если это условие не вы
полнено, то то ч ка ао назы вается особой.
В ектор г = ( п , . . . , г п) назы вается вектором асимптотического на
правления, если q(r) = 0.
Точка а Е Q назы вается центральной точкой квадрати чн ой функции Q
(или к вад рати ки X q ) , если линейная часть Q относительно ао равна нулю.
При этом Q(ao + х) = Q(ao — х) для всех х Е L. Центром функции Q (или
квадри ки X q ) назы вается множество ее центральны х точек.
Конус {а Е А \ q(a —ао) = 0}, где ао — центральная точка, не зависит
от выбора этой точки и назы вается асимптотическим конусом к вадри
ки X q .
Для любой квадратичной функции Q сущ ествует такая аф финная сис
тем а координат в А, в которой Q принимает один из следующих видов:
а) если q невырожденная, то
п
Q (xi,..., хп) = \ х \ + с, Ai , c e K , Xi ф 0;
г=1
б) если q вырож денная ран га г и центр Q непуст, то
г
Q( x 1 , . . . , х п ) — ^ ^ AiXi -\- с, Аг, с Е К, ^ О5
г=1
в) если q вырож денная ран га г и центр Q пуст,
§ III. П р о е к т и в н ы е п р о с т р а н с т в а
П р о е к т и в н ы м п р о с т р а н с т в о м , ассоциированным с векторны м п рост
ранством V над полем К , назы вается множество P ( V ) одномерных под
пространств в V . Элементы P ( V ) назы ваю тся т о ч к а м и проективного
пространства. П роективное пространство обладает следующими ст р у к т у
рами.
A) В P ( V ) выделены подмножества, называемые п р о е к т и в н ы м и п о д
п р о с т р а н с т в а м и или п л о с к о с т я м и . П одмножество назы вается п р о е к т и в
ным п о д п р о с т р а н с т в о м , если оно есть подмножество всех одномерных
подпространств некоторого подпространства в V .
Б) Задано семейство инъективны х отображ ений аффинных п рост
ранств в Р (К ), называемых аф финны м и к а р т а м и . А ффинная к ар
т а (р: А P ( V ) строится из аффинной гиперплоскости А в V (рассм атри
ваемой как аффинное пространство и не содержащ ей нуля). К аж дой точке
в А сопоставляется единственное одномерное подпространство в V , ее со
держащее.
B) Выделено семейство биективных отображ ений простран ств P ( V ) в
себя, называемых п р о е к т и в н ы м и п р е о б р а зо в а н и я м и . П роективное преоб
разование а — это отображ ение a : P ( V ) —»■ Р (К ), которое строи тся по
невырожденному линейному оператору А : V —>■ V таки м образом, что об
раз элемента из P ( V ) при отображ ении а есть образ при отображ ении А
одномерного подпространства, представляю щ его это т элемент.
П роективное преобразование переводит подпространства в подпрост
ран ства и в композиции с аффинной к артой дает снова аффинную к арту.
Р а з м е р н о с т ь ю п ространства P ( V ) назы вается число dim К — 1. П роекти в
ное пространство разм ерности п часто обозначаю т через Р п. П ри рассм от
рении аффинных к а р т часто отож дествляю т аффинное пространство А и
его образ в P ( V ) . К оординаты , заданны е в некоторой аффинной кар те, на
зы ваю тся н е о д н о р о д н ы м и к о о р д и н а т а м и в проективном п ространстве (они
определены не на всем пространстве).
Если в пространстве V задана система координат (выбран базис), то,
имея точку в Р (К ), мы можем рассм отреть координаты любого вектора
из соответствую щ его ей одномерного подпространства. Э ти координаты
определены с точностью до пропорциональности и назы ваю тся о д н о р о д н ы
§ IV. Тензоры 449
§ IV . Т е н зо р ы
Тензором т ипа (р , q) или р раз ковариантным и q раз контравариант-
ным тензором на векторном пространстве V назы вается ф ункция на
V х . . . x V x V * х . . . х V%
4 V ^ 4 V ^
рраз qраз
линейная по каж дом у из р + q аргум ентов. Тензоры ти п а (р, q) образую т
29 А.И. Кострикин
450 Теоретические сведения
(Sym , f g) =
q' <resq
§ V . Э л е м е н т ы т е о р и и п р е д с т а в л ен и й
Для изложения основных определений и первоначальных результатов в
теории представлений групп традиционно используется несколько разны х
способов. П ри дальнейшем развитии теории выясняю тся связи между р аз
личными вариантам и определений и вы рабаты ваю тся способы “перевода с
одного язы ка на другой” . Мы не имеем в виду определенного способа пер
воначального изложения, считая целесообразным ознаком ить изучаю щ их с
основными способами, приняты м и в литературе, и дать возможность пре
подавателю найти задачи, использующие удобные ему вари ан ты изложе
ния.
Напомним в основных чертах эти основные подходы к построению те
ории представлений или варианты терминологии.
А . Т е р м и н о л о г и я л и н е й н ы х п р е д с т а в л е н и й . Линейным пред
ставлением группы G на пространстве V назы вается гомоморфизм Ф: G —»■
GL(V) группы G в группу невырожденных линейных операторов на V.
§ V. Элементы теории представлений 451
29:
452 Теоретические сведения
(g,v) -¥ Ф(g)v
§ V I. С п и со к о п р е д е л е н и й
Приведем список основных понятий, использованных в задачнике.
Алгебра банахова — полная нормированная алгебра.
Алгебра Грассмана векторного пространства — внешняя алгебра про
странства.
Алгебра групповая (группы G над полем F) — множество конечных
формальных линейных комбинаций вида ^2 адд (д Е 6 г, ад Е F) с естествен
ным сложением и умножением на элементы поля F и операцией умножения
б ) ||ж + 2/|| «S 1 М 1 + 1 Ы 1;
в) ||Аж|| = |А| • ||ж||, где А £ F , ж £ Н;
г ) I N I I ^ Ikll • IM I-
Алгебра полупростая — алгебра, не имеющая ненулевых двусторонних
идеалов, состоящ их из нильпотентны х элементов; в комм утативном случае
алгебра без нильпотентны х элементов, отличных от 0 .
Алгебра простая — алгебра, не имеющая двусторонних идеалов, о т
личных от 0 и всей алгебры.
Алгебра формальных степенных рядов (от переменного х над по
лем К) — множество формальных выраж ений вида 'Y^k>
= ea kxk (a k Е К )
454 Теоретические сведения
<р(п)
П (ж -еО ,
k= 1
1 при п = 1,
{
О
(—1)г , если п — произведение г различны х просты х чисел,
в остальны х случаях.
§ V II. С п и со к о б о зн а ч е н и й
*А — транспонированная м атрица для м атрицы А.
А — присоединённая м атрица для м атрицы А.
А* — сопряжённый оператор для линейного оператора А.
А п — знакопеременная группа степени п (группа четны х перестановок
на множестве { 1 , 2 , . . . , гг}).
\А\ — число элементов м нож ества А.
[.А, В] — ком м утатор АВ —В А м атриц А и В.
A ut G — группа автоморфизмов группы G.
Alt — оператор альтернирования в пространстве Тд(У).
(а) — идеал кольца, порождённый элементом а.
(а) — подгруппа (подкольцо, подалгебра, подпространство), порождён
ная элементом а.
(а)п — циклическая группа порядка п с образующ им элементом а.
a i g z — аргум ент комплексного числа z\ считается, что 0 ^ axgz < 27г.
С — множество (поле, аддитивная группа) комплексных чисел.
Dn — группа диэдра (группа движений правильного гг-угольника).
Dn(A) — множество диагональны х м атриц порядка п над кольцом А.
Т> — оператор диф ференцирования в функциональны х пространствах.
di ag( Ai , . . . , Ап) — диагональная м атрица с элементами A i , . . . , Ап на
главной диагонали.
E nd А — кольцо эндоморфизмов абелевой группы А (кольца А).
еА — сумма ряда Тейлора функции ех при х = А (А — м атрица).
Eij (матричная единица) — м атрица, у которой элемент на пересече
нии г-й строки с j -м столбцом равен 1, а остальные элементы равны 0.
Fq — поле из q элементов.
Ga — стационарная подгруппа элемента а Е М при действии гр у п
пы G на множестве М.
G' — ком м утант группы G.
G L (E ) — группа невырожденных линейных операторов в векторном
п ространстве V.
G L n(E) — группа невырожденных линейных операторов в гг-мерном
векторном пространстве над полем F, группа невырожденных м атриц по
р яд ка п над полем F.
§ VII. Список обозначений 461
А Р Т А М О Н О В Вячеслав Александрович,
Б А Х Т У Р И Н Юрий Александрович,
В И Н Б Е Р Г Эрнест Борисович,
Г О Л О Д Евгений Соломонович,
И С К О В С К И Х Василий А лексеевич,
К О С Т Р И К И Н А лексей Иванович,
Л А Т Ы Ш Е В Викт ор Н иколаевич,
М И Х А Л Е В Александр Васильевич,
МИШИНА А нна Петровна,
О Л В Ш А Н С К И Й Александр Ю рьевич,
П А Н Ч И Ш КИ Н А лексей Алексеевич,
П Р О С К У Р Я К О В Игорь Владимирович,
Р У Д А К О В А лексей Н иколаевич,
С К О Р Н Я К О В Лев А нат ольевич,
Ш М Е Л В К И Н Альфред Львович
С Б О Р Н И К З А Д А Ч ПО А Л Г Е Б Р Е
ISBN 5 - 9 2 2 1 - 0 0 2 0 - 3