ЭКСПРЕСС-ОТВЕТ

1. Определение равенства множеств.

- Два множества А и В называются равными, если состоят из одних и тех же элементов. Пишут
.
2. Лемма о равенстве множеств.
- Лемма 1.1. Пусть А и В множества. Тогда , если и только если и .(А
является подмножеством множества В и наоборот).
3. Определение объединения множеств.
- Определение 1.4. Пусть А и В множества. Тогда множество С, содержащее как элементы
множества А, так и элементы множества В и только их называется объединением множеств А и В:
4. Определение пересечения множеств.
- Определение 1.5. Пусть А и В множества. Тогда множество С,состоящее из тех элементов
множества А,которые входят во множество В и только их,называется пересечением множеств А иВ:
5. Свойства дистрибутивности пересечения и объединения множеств.
- Лемма 1.2. Пусть А , В и С множества. Тогда
;
;
;
;
;
.
6. Определение разности множеств.
- Определение 1.6. Пусть А и В множества. Тогда множество С, содержащее те элементы
множества А, которые не входят в В, и только их, называется разностью множеств А и В:
7. Определение разбиения множества.
- Определение 1.6. Пусть задано непустое множество А и некоторое непустое множество его
подмножеств Тогда совокупность подмножеств называется разбиением
множества А, если выполнены условия:
(объединение совокупности множеств);
.
8. Определение декартова произведения множеств.
- Определение 1.7. Пусть , – непустые множества. Тогда множество А
называется декартовым произведением множеств , если
,
т.е. А – множество упорядоченных -местных наборов элементов множеств
9. Определение бинарного отношения.
- Определение 1.8. Бинарным отношением R на непустом множестве А называется подмножество
декартова квадрата множества А: .
10. Определение отношения эквивалентности.
- Определение 1.9. Бинарное отношение на множестве А называется отношением
эквивалентности, если выполнены следующие аксиомы, здесь :
1. , рефлексивность отношения;
2. Если , то , симметричность отношения;
3. Если и , то , транзитивность отношения.
11. Критерий отношения эквивалентности.
- Теорема 1.1 (критерий отношения эквивалентности).
Бинарное отношение на множестве А является отношением эквивалентности тогда и
только тогда, когда задает разбиение множества А.
12. Определение отображения множеств.
- Определение 1.10. Пусть заданы произвольные непустые множества и . Отображением из
множества во множество называется закон, по которому каждому элементу множества
ставится в соответствие один элемент множества .
13. Определение сюръективного отображения.
 - Определение 1.12. Отображение из множества во множество
называется сюръективным, если каждый элемент служит образом при этом отображении.
(наложение)
14. Определение инъективного отображения.
- Определение 1.13. Отображение из множества во множество называется инъективным,
если каждый элемент имеет не более одного прообраза. (вложение)
15. Определение биективного отображения.
- Определение 1.14. Сюръективное и инъективное отображение называется биективным, или
взаимно однозначным.
16. Определение образа отображения.
- Определение 1.16. Образом отображения называется множество
.
17. Определение тождественного отображения.
- Определение 1.15. Отображение называется тождественным, если
.
18. Определение композиции отображений.
- Определение 1.17. Пусть заданы отображения и . Тогда отображение
называется композицией отображений и , если
.
19. Лемма об ассоциативности композиции отображений.
- Лемма 1.5. Композиция отображений обладает свойством ассоциативности, т.е. если
соответствующие композиции существуют, то
.
20. Лемма о композиции с тождественным отображением.
- Лемма 1.6. Композиция биективных отображений сама биективна.
21. Определение обратного отображения.
- Определение 1.18. Пусть заданы два отображения и . Если выполнено
условие , то называется левым обратным к , а правым обратным к . Если имеет
место соотношение , то называется правым обратным к , а – левым обратным к .
Если выполнены оба условия, то называется обратным к , а обратным к . Обозначения:
, .
22. Лемма о единственности обратного отображения.
- Лемма 1.8. Если обратное отображение к данному существует, то оно определено однозначно.
22. Критерий обратимости отображения.
- Теорема 1.2 (критерий обратимости отображения).
Отображение обратимо тогда и только тогда, когда оно биективно.
23. Определение бинарной алгебраической операции.
- Определение 1.19. Бинарной алгебраической операцией (БАО) на множестве А называется
отображение , т.е. отображение декартова квадрата множества А во множество А.
24. Определение ассоциативной операции.
- Определение 1.21. БАО на множестве А называется ассоциативной, если
.
25. Определение коммутативной операции.
- Определение 1.20. БАО на множестве А называется коммутативной, если
.
26. Общий ассоциативный закон.
- Теорема 1.3 (общий ассоциативный закон).
Пусть на множестве А задана ассоциативная БАО . Тогда значение выражения
не зависит от порядка расстановки скобок.
27. Общий коммутативный закон.
- Теорема 1.4 (общий коммутативный закон).
Пусть на множестве А задана ассоциативная и коммутативная БАО . Тогда значение
выражения не зависит от порядка следования «звездных сомножителей».
28. Определение группы.
 - Определение 1.22. Пусть и – БАО на . Тогда пара называется группой, если
выполнены следующие аксиомы:
1. , т.е. операция ассоциативна;
2. , аксиома нейтрального элемента;
3. , аксиома симметричных элементов.
29. Определение абелевой группы.
- Если дополнительно БАО является коммутативной, то группа называется коммутативной, или
абелевой.
30. Простейшие следствия из аксиом группы.
- Рассмотрим простейшие свойства групповой операции (в мультипликативной форме записи).
1. Единица группы 1 определена однозначно.
2. Для каждого элемента а обратный к нему определен однозначно.
3. В любой группе однозначно разрешимы уравнения и .
4. .
5.
6. .

7. Если определить и , то справедливо

7а) ;
7б) .
8. Если определить , то .
Тогда следствия 7а) и 7б) справедливы для любых целых n и m.
31. Определение порядка группы.
- Определение 1.25. В случае конечного множества число элементов группы называется ее
порядком. В противном случае говорят о группе бесконечного порядка. Обозначение: .
32. Определение подгруппы.
- Определение 1.23. Пусть – группа и . Тогда называется подгруппой в ,
если образует группу относительно сужения операции, определенной в .
33. Критерий подгруппы.
- Теорема 1.5 (критерий подгруппы).
Для того, чтобы непустое подмножество группы было подгруппой в необходимо и
достаточно, чтобы .
34. Определение циклической группы.
- Определение 1.24. Группа называется циклической, если , что
. Элемент называется образующим элементом группы (в
аддитивном случае пишем ). Обозначение: .
35. Теорема о подгруппах циклической группы.
- Теорема 1.6.
Каждая конечная циклическая группа порядка может быть представлена в
виде: .
36. Теорема о конечной циклической группе.
- Теорема 1.6.
Каждая конечная циклическая группа порядка может быть представлена в
виде: .
37. Понятие перестановки длины .
- Определение 1.25. Пусть А – множество из элементов. Перестановкой длины элементов
множества А называется упорядоченный -местный набор его элементов.
38. Лемма о числе перестановок длины .
- Лемма 1.10. Существует перестановок длины .
39. Понятие инверсии в перестановке.
- Определение 1.27. При заданном естественном порядке два элемента образуют инверсию, если
больший элемент стоит перед меньшим.
40. Определение четности перестановки.
 - Определение 1.28. Перестановка называется четной, если содержит четное число инверсий и
нечетной в противном случае.
41. Определение транспозиции в перестановке.
- Определение 1.29. Перемена местами двух элементов перестановки называется их
транспозицией.
42. Лемма о транспозиции в перестановке.
- Лемма 1.11. Одна транспозиция меняет четность перестановки на противоположную.
43. Лемма об упорядочении перестановок длины .
- Лемма 1.12. Все перестановок длины можно расположить одну за другой так, что каждая
последующая получается из предыдущей одной транспозицией. Подобное упорядочение может
быть получено, начиная с любой перестановки.
44. Определение подстановки степени .
- Определение 1.30. Подстановкой степени называется отображение -элементного множества
на себя.
45. Определение четности подстановки.
- Определение 1.31. Подстановка называется четной, если составляющие ее перестановки имеют
одинаковую четность и нечетной в противном случае.
46. Теорема о симметрической группе подстановок.
- Теорема 1.7.
Пара представляет группу порядка . При группа некоммутативная. Группа
называется симметрической группой подстановок степени .
47. Определение кольца.
- Определение 1.32. Пусть , « » и « » – две БАО на . Тогда тройка
называется кольцом, если выполнены следующие группы аксиом:
1. – абелева группа;
2. и .
48. Определение коммутативного кольца.
- Замечание 2. Если вторая операция ассоциативна, то говорят об ассоциативном кольце; если
вторая операция ассоциативна и коммутативна – то о коммутативном кольце; если по второй
операции существует нейтральный элемент – то о кольце с единицей.
49. Простейшие следствия из аксиом.
- Рассмотрим простейшие следствия из аксиом кольца.
1. ;
2. ;
3. , если кольцо имеет единицу 1;
4. . Здесь разность трактуется как ;
5. .
Если кольцо не имеет делителей нуля, то справедливы законы сокращения на ненулевой
множитель:
6. ;
7. .
50. Определение делителей нуля в кольце.
- Определение 1.33. Два ненулевых элемента кольца, произведение которых равно нулю
(нейтральному элементу по сложению), называются делителями нуля в этом кольце.
51. Определение целостного кольца.
- Определение 1.34. Коммутативное кольцо с единицей без делителей нуля называется
целостным кольцом.
52. Определение подкольца.
- Определение 1.35. Пусть – кольцо и , . Тогда называется подкольцом в ,
если само образует кольцо относительно сужения операций определенных на .
53. Критерий подкольца.
- Теорема 1.8. (критерий подкольца)
Непустое подмножество кольца является его подкольцом тогда и только тогда, когда
1) ;
2) .
54. Определения идеала (двустороннего).
 - Определение 1.36. Пусть – коммутативное кольцо. Подкольцо называется идеалом
кольца , если оно замкнуто по умножению на элементы кольца, т.е. .
55. Определение главного идеала.
- Определение 1.37. Пусть – коммутативное кольцо и идеал в кольце, тогда
называется главным идеалом в , если в существует такой элемент а, что . При
этом а называется порождающим элементом идеала.
56. Определение кольца главных идеалов.
- Определение 1.38. Целостное кольцо, в котором каждый идеал является главным, называется
кольцом главных идеалов.
57. Теорема о кольце как кольце главных идеалов.
- Следствие. Все идеалы кольца исчерпываются кольцами вида .
58. Определение поля.
- Определение 1.39. Целостное кольцо, в котором каждый ненулевой элемент имеет обратный,
называется полем.
- Определение 1.40. Пусть Р – множество, содержащее по крайней мере два элемента, с
определенными на нем БАО сложения и умножения. Тогда тройка называется полем,
если выполнены следующие группы аксиом:
1. ( P,  ) – абелева группа;
2. – абелева группа;
3. .
59. Определение подполя и расширения поля.
- Определение 1.41. Непустое подмножество поля называется его подполем, если само
является полем относительно сужения операций, определенных на . Само в этом случае
называется расширением поля .
60. Определение характеристики поля.
- Определение 1.42. Характеристикой поля Р называется наименьшее натуральное число
такое, что , если такое существует. В противном случае характеристику поля считают
равной нулю. Обозначение: .
61. Понятие изоморфизма полей.
- Определение 1.43. Пусть даны два поля и . Поле называется изоморфным полю , если
существует биекция такая, что для любых выполняются условия:
1. ;
2. .
Само отображение при этом называется изоморфизмом полей. Обозначение: .
Легко усмотреть некоторые свойства изоморфизма.
1. ;
2. ;
3. ;
4. ;
5. Образ подполя в поле есть подполе в поле .
62. Свойства изоморфизма полей.
- В целом изоморфизм означает, что изоморфные поля по своим алгебраическим свойствам, т.е.,
по свойствам, связанным с алгебраическими операциями, ничем друг от друга не отличаются.
Основное отличие зачастую состоит в разной природе элементов множеств и .
63. Определение числового поля.
- Определение 2.10. Числовым полем называется любое подполе поля комплексных чисел .
64. Определение комплексного числа.
- Определение 2.2. Запись комплексного числа в виде называется алгебраической
формой комплексного числа.
65. Теорема о поле комплексных чисел.
- Теорема 2.4. Поле комплексных чисел минимально по включению.
66. Теорема о вложении поля в поле .
- Теорема 2.4. Поле комплексных чисел минимально по включению.
67. Определение модуля комплексного числа.
 - Определение 2.5. Модулем комплексного числа (обозначение: )называется
арифметический корень квадратный из суммы квадратов его вещественной и мнимой части, т.е.,
,
или
.
68. Определение аргумента комплексного числа.
- Определение 2.6. Аргументом комплексного числа называется величина угла, который образует
вектор, изображающий это число на комплексной плоскости, с вещественной осью.
69. Геометрическое представление модуля разности двух комплексных чисел.
- модуль разности всегда можно интерпретировать как расстояние.
70. Формула Муавра.
- Теорема 2.5 (формула Муавра).
Пусть , . Тогда имеет место формула
.
71. Определение корня -ой степени из комплексного числа.
- Определение 2.7. Пусть и , тогда корнем степени из комплексного числа
называется комплексное число , удовлетворяющее условию .
72. Теорема о корне из комплексного числа.
- Теорема 2.7.
Пусть , , тогда, если , то имеется единственное значение корня -ой
степени из этого числа ; если и , то имеется ровно значений
корня -ой степени из , которые можно получить из следующей формулы:

, где .

73. Теорема о корнях из единицы.

- Теорема 2.8.
Пусть – множество значений корня -ой степени из единицы. Тогда есть
мультипликативная циклическая группа порядка .
74. Определение первообразного корня из единицы -ой степени.
- Определение 2.8. Образующий элемент циклической группы называется первообразным
корнем степени из единицы.
75. Первый критерий первообразности.
- Теорема 2.9 (первый критерий первообразности).
Корень -ой степени из единицы является первообразным корнем -ой степени из единицы
тогда и только тогда, когда он не является корнем из единицы никакой степени меньшей .
76. Второй критерий первообразности.
- Теорема 2.10 (второй критерий первообразности).
Пусть есть первообразный корень степени из единицы, тогда , ,
является первообразным корнем степени из единицы тогда и только тогда, когда числа и
взаимно просты.
77. Показательная форма комплексного числа.
- Определение 2.9. Пусть задано комплексное число в тригонометрической форме
.
Тогда представление числа в виде

называется показательной формой комплексного числа.

78. Формулы Эйлера.
- Лемма 2.5 (формулы Эйлера). Справедливы следующие формулы:

79. Определение многочлена над полем.

- Определение 3.1. Пусть задано некоторое поле Р, . Многочленом от буквы х над
полем Р называется формальное выражение вида
 ,
где , – коэффициенты многочлена; – натуральное число или нуль;
– буква, формальный символ.
80. Определение нулевого многочлена.
- Определение 3.2. Многочлен, все коэффициенты которого равны нулю, называется нулевым и
обозначается 0.
81. Определение степени многочлена.
- Определение 3.3. Наибольший показатель степени буквы х, при которой коэффициент отличен
от нуля, называется степенью многочлена и обозначается .
82. Определение старшего члена многочлена.
- При этом соответствующий член многочлена называется старшим членом.
83. Определение равенства многочленов.
- Определение 3.4. Два многочлена называются равными, если совпадают их коэффициенты при
одинаковых степенях буквы.
84. Определение сложения многочленов.
- Определение 3.5. Пусть заданы два многочлена . Тогда их суммой
называется многочлен , получающийся формальным приведением подобных членов. Точнее,
пусть и , где
количество членов уравнивается дописыванием нулевых слагаемых, тогда
.
85. Определение умножения многочленов.
- Определение 3.6. Пусть заданы два многочлена , где
, .
Их произведением называется многочлен ,
, где .
Иными словами многочлен получается формальным произведением на
с последующим приведением подобных членов.
86. Теорема о кольце многочленов.
- Теорема 3.2. Множество относительно операций сложения и умножения многочленов
образует целостное кольцо.
87. Определение делимости многочленов.
- Определение 3.7. Пусть заданы многочлены , , тогда говорят, что
делится на , если существует такой многочлен , что имеет место
равенство . Обозначение: .
88. Теорема о делении с остатком для многочленов.
- Теорема 3.3 (о делении с остатком для многочленов).
Пусть заданы два многочлена и . Тогда имеет место
представление , где или . Здесь
и называются соответственно неполным частным и остатком от
деления. Указанное представление единственно.
89. Свойства делимости многочленов.
- Свойства делимости многочленов.
1. Если – свойство транзитивности делимости;
2. Если ;
3. Если ;

4. Если

;
5. Каждый многочлен делится на многочлен нулевой степени;
6. Если , то , где ;
7. , где ;
 8. , где ,
;
9. Множество делителей многочлена совпадает с множеством делителей
многочлена , где .
90. Критерий делимости многочленов.
- Лемма 3.4 (критерий делимости). Многочлен делится на тогда и только тогда,
когда остаток от деления в теореме 3.3 равен нулю.
91. Определение наибольшего общего делителя двух многочленов.
- Определение 3.9. Наибольшим общим делителем (НОД) двух многочленов называется такой их
общий делитель, который делится на любой их общий делитель. Обозначение: для
их НОД .
92. Алгоритм Евклида.
- Теорема 3.4 (алгоритм Евклида).
Наибольший общий делитель двух многочленов существует.
93. Теорема о линейном представлении НОД.
- Теорема 3.5 (о линейном представлении НОД).
Пусть и . Тогда найдутся такие многочлены
, что . При этом, если и
, то и можно подобрать так, что , а
.
94. Определение взаимно простых многочленов.
- Два многочлена f(x) и g(x) называются взаимно простыми, если их НОД имеет степень ноль
95. Критерий взаимной простоты.
- Теорема 3.6 (критерий взаимной простоты двух многочленов).
Два многочлена взаимно просты тогда и только тогда, когда линейное
представление их наибольшего общего делителя есть
.
96. Свойства взаимной простоты многочленов.
- 1. Если ;
2. Если ;
3. Если .
97. Определение неприводимого над полем многочлена.
- Определение 3.11. Пусть задано поле и многочлен . Многочлен
называется неприводимым (неразложимым) над полем , если удовлетворяет двум условиям:
1. :
2. Для любых многочленов , таких, что
выполнено:
( разлагается на тривиальные сомножители).
98. Свойства неприводимых многочленов.
- Свойства неприводимых многочленов.
1. Многочлен первой степени неприводим над любым полем.
2. Если многочлен неприводим над полем , то для любого c  f (x) также
неприводим над .
3. Пусть , причем – неприводим над . Тогда или ,
или
.
4. Если произведение делится на неприводимый многочлен , то или
, или .
99. Основная теорема о неприводимых многочленах.
- Теорема 3.7 (основная теорема о неприводимых многочленах).
Каждый многочлен положительной степени над полем разлагается над этим полем в
произведение неприводимых многочленов. Это разложение единственно с точностью до порядка
следования сомножителей и множителей нулевой степени.
100. Определение канонического разложения многочлена над данным полем.
- .
Это представление многочлена называется каноническим разложением над полем .
101. Определение значения многочлена на данном элементе.
- Определение 3.12. Пусть задан многочлен ,и
пусть . Тогда элемент поля
называется значением многочлена на
элементе .
102. Определение корня многочлена.
- Определение 3.13. Элемент называется корнем многочлена , если
значение этого многочлена на элементе равно нулю, т.е., .
103. Теорема Безу.
- Теорема 3.8 (Безу).
Остаток от деления многочлена на двучлен равен значению многочлена
на элементе .
104. Производная многочлена.
- Определение 3.14. Пусть задан многочлен . Его
первой производной назовем многочлен вида
. Для k-ой производной называется
многочлен . При этом , а при .
105. Свойства производной.
- для любых
1. ;
2. ;
3. ;
4.  ;
5. ;
6.  ;
7. ;
8. [( x   )) ]  k ( x   ))
k k 1
, kN .
106. Теорема о разложении многочлена по степеням .
- Теорема 3.9 (о разложении многочлена по степеням ).
Пусть задан многочлен и элемент . Тогда этот многочлен можно
представить в виде многочлена от над полем Р.
107. Формула Тейлора.
- Теорема 3.10 (формула Тейлора).
Для данного многочлена степени и элемента справедливо
представление

108. Определение кратного корня многочлена.

- Определение 3.15. Пусть задан многочлен и – корень . Элемент
называется k - кратным корнем многочлена , если имеет место представление
.
109. Критерий кратности корня многочлена.
- Теорема 3.11 (критерий кратности корня).
Корень многочлена является k - кратным его корнем тогда и только тогда, когда он
является корнем кратности его первой производной.
110. Основная теорема алгебры многочленов над числовым полем.
- Теорема 3 12 (основная теорема алгебры).
Каждый многочлен с числовыми коэффициентами положительной степени имеет, по крайней
мере, один корень в общем случае комплексный.
111. Каноническое разложение многочлена над полем .
- каноническое разложение многочлена над полем комплексных чисел:
 ,

где ,а суть кратности соответствующих корней, .

112. Каноническое разложение многочлена над полем .

-
113. Интерполяционный многочлен Лагранжа.

- .

114. Формулы Виета.

- Пусть
Имеем:

;
. . . . . . . . . . . . . . .
;

115. Понятие системы линейных алгебраических уравнений (СЛАУ) от неизвестных над

полем.
-система уравнений, каждое уравнение в которой является линейным алгебраическим уравнением
первой степени.
116. Определение частного и общего решений СЛАУ.
- Определение 4.1. Частным решением системы указанного выше вида от неизвестных
называется упорядоченный -местный набор , подстановка компонент
которого вместо соответствующих неизвестных превращает каждое уравнение системы в верное
равенство в поле .
Определение 4.2. Общим решением системы указанного вида называется множество ее частных
решений.
117. Определение однородной и неоднородной систем.
- Определение 4.5. Если правые части системы равны нулю, т.е. , то система
называется однородной, а в противном случае – неоднородной.
118. Определение совместной системы.
- Определение 4.3. Система называется совместной, если ее общее решение не пусто, в противном
случае система называется несовместной.
119. Определение определенной системы.
- Определение 4.4. Совместная система называется определенной, если ее общее решение
содержит лишь одно частное, а в противном случае такая система называется неопределенной.
120. Определение эквивалентных СЛАУ.
- Определение 4.6. Две системы линейных уравнений от неизвестных над полем называются
эквивалентными, если их общие решения совпадают.
121. Лемма об эквивалентных преобразованиях СЛАУ.
- Теорема 4.1. Элементарные преобразования СЛАУ являются эквивалентными, т.е. приводят к
системе эквивалентной данной.
122. Теорема об общем решении СЛАУ методом Гаусса.
- Располагая теоремой 4.1, получаем возможность эквивалентных преобразований, не
разрушающих общее решение системы. Рассмотрим метод Гаусса.
123. Теорема о неопределенной совместной СЛАУ.
 - Теорема 4.3. Совместная система линейных алгебраических уравнений, в которой число
уравнений меньше числа неизвестных имеет бесконечное множество частных решений, т.е.
является неопределенной.
124. Понятие матрицы над полем.
- пусть задана система уравнений с неизвестными над полем Р:

где ,

, или .

Такие прямоугольные таблицы называют матрицами над полем Р.

125. Определение размеров матрицы или ее порядка.
- Если , то порядок — это размер квадратной матрицы.
126. Определение равенства матриц.
- Определение 4.15. Две матрицы одинаковых размеров называются равными, если совпадают их
элементы, стоящие на соответствующих местах.
127. Определение треугольной матрицы.
- Определение 4.9. Матрица называется верхней (нижней) треугольной, если
для .
128. Определение диагональной матрицы.
- Определение 4.10. Квадратная матрица называется диагональной, если она одновременно
является как нижней, так и верхней треугольной.
129. Определение скалярной матрицы.
- Определение 4.12. Диагональная матрица называется скалярной, если все диагональные ее
элементы равны между собой.
130. Определение единичной матрицы.
-
131. Определение квазидиагональной (клеточно-диагональной) матрицы.
132. Определение сложения матриц.
133. Определение умножения матрицы на скаляр.
134. Определение умножения матриц.
135. Теорема о кольце квадратных матриц.
136. Определение транспонирования матрицы.
137. Свойства транспонирования.
138. Определение члена определителя матрицы порядка .
139. Определение определителя (детерминанта) матрицы порядка .
140. Свойства определителей.
141. Критерий равенства определителя нулю.
142. Вычисление определителя треугольного вида.
143. Определение минора матрицы.
144. Определение дополнительного минора матрицы.
145. Определение алгебраического дополнения минора матрицы.
146. Теорема Лапласа.
147. Теорема о разложении определителя по строке (столбцу).
148. Теорема о «чужих дополнениях».
149. Теорема об умножении определителей.
150. Определение невырожденной (неособенной) матрицы.
151. Теорема о полной линейной группе.
152. Определение обратной матрицы.
153. Критерий обратимости матриц.
154. Определение элементарных преобразований (ЭП) матрицы.
155. Теорема о приведении квадратной матрицы к диагональному виду ЭП.
156. Теорема о приведении квадратной невырожденной матрицы к единичной ЭП.
157. Определение элементарных матриц.
158. Лемма о замещении ЭП умножением на элементарные матрицы.
159. Обращение матрицы с помощью ЭП.
160. Определитель Вандермонда и его вычисление.
161. Теорема Крамера.

162. Пространства направленных отрезков. Равенство отрезков.

163. Сложение направленных отрезков.
164. Величина направленного отрезка на оси. Основное свойство.
165. Умножение направленного отрезка на вещественное число.
166. Свойства операций над направленными отрезками.
167. Определение абстрактного линейного пространства.
168. Простейшие следствия из аксиом линейного пространства.
169. Понятие системы векторов.
170. Понятие линейной комбинации векторов системы.
171. Определение линейной оболочки системы.
172. Определение подпространства данного линейного пространства.
173. Лемма о линейной оболочке как подпространстве.
174. Лемма о транзитивности линейных комбинаций.
175. Определение линейно независимой системы векторов (ЛНЗ).
176. Определение линейно зависимой системы векторов (ЛЗ).
177. Критерий линейной независимости системы.
178. Первый критерий линейной зависимости системы.
179. Второй критерий линейной зависимости системы.
180. Свойства ЛЗ и ЛНЗ систем.
181. Эквивалентность систем векторов.
182. Критерий эквивалентности.
183. Теорема «сравнения». Следствия.
184. Понятие базы системы.
185. Свойства базы.
186. Критерий базы.
187. Понятие ранга системы векторов.
188. Свойства ранга.
189. Вычисление ранга системы.
190. Определение конечномерного пространства.
191. Определение базиса линейного пространства.
- Определение 5.13. Линейно независимая система векторов конечномерного пространства, через
которую линейно выражается каждый вектор этого пространства, называется базисом
пространства.
192. Определение размерности линейного пространства.
193. Свойства базиса.
194. Координаты вектора в данном базисе. Свойство линейности.
195. Матрица перехода к новому базису, свойства.
- В матричной форме это выглядит так: . Или . Эти формулы и представляют
собой закон преобразования координат при переходе от одного базиса к другому.
196. Изменение координат вектора при переходе к новому базису.
-
197. Сумма подпространств. Свойства.
- Определение 5.15. Пусть – подпространства в пространстве Х. Тогда
множество называется суммой
подпространств .
Для случая двух слагаемых можно выделить следующие свойства:
1. ;
2. ;
3. .
198. Пересечение подпространств. Свойства.
- Определение 5.16. Пересечением подпространств пространства Х
называется теоретико-множественное пересечение соответствующих множеств векторов, т.е.,

Простейшие свойства пересечения:

 1. ;

2. ;
3. ;
4. .
199. Формула Грассмана.
- .
200. Прямая сумма подпространств.
- Определение 5.17. Сумма подпространств называется прямой, если
каждый вектор суммы , где , , однозначно представляется
указанным образом. Обозначение для прямой суммы следующее:
.
201. Понятие прямого дополнения.
- Пусть пространство Х разложено в прямую сумму двух подпространств, именно: .
Тогда М называется прямым дополнением к в Х.
202. Первый критерий прямой суммы.
- Теорема 5.7 (первый критерий прямой суммы).
Сумма подпространств будет прямой тогда и только тогда, когда
объединение базисов подпространств-слагаемых составляет базис суммы.
203. Второй критерий прямой суммы.
- Теорема 5.8 (второй критерий прямой суммы).
Сумма подпространств будет прямой тогда и только тогда, когда пересечение каждого из
слагаемых с суммой остальных нулевое.
204. Изоморфизм линейных пространств.
- Инструмент для наведения определенного порядка в бесконечной совокупности пространств.
205. Изоморфизм как бинарное отношение
- Лемма 5.17. Бинарное отношение изоморфизма линейных пространств является отношением
эквивалентности на множестве всех линейных пространств над данным полем.
206. Свойства изоморфизма линейных пространств.
- свойств изоморфизма .
1. ;
2. ;

3. ;

4. Линейно зависимая система из отображается в линейно зависимую в ;

5. Линейно независимая система из отображается в линейно независимую в ;
6. Базис отображается в базис ;
7. ;
8. Прямая сумма подпространств в отображается в прямую сумму образов этих
подпространств в .
207. Критерий изоморфности линейных пространств.
- Теорема 5.9 (критерий изоморфности пространств).
Два конечномерных линейных пространства, заданных над одним и тем же полем, изоморфны
тогда и только тогда, когда имеют одинаковые размерности.
208. Арифметическое пространство и его размерность.
- Это пространства, в которых каждый вектор из линейно через такую систему
выражается: . Таким образом,
209. Определение линейного многообразия в линейном пространстве.
- Определение 5.20. Пусть – линейное пространство и – подпространство в , .
Тогда множество
называется линейным многообразием в , или плоскостью в . Подпространство называется
направляющим подпространством, а – вектором сдвига линейного многообразия Н.
210. Свойства линейного многообразия.
- Свойства линейного многообразия:
1. Разность двух векторов линейного многообразия принадлежит направляющему
подпространству.
2. .
3. Вектором сдвига может выступать любой вектор линейного многообразия.
4. Направляющее подпространство линейного многообразия определено однозначно.
5. .
211. Определение размерности линейного многообразия.
- Определение 5.21. Размерностью линейного многообразия называется размерность его
направляющего подпространства.
212. Определение гиперплоскости.
- Определение 5.22. Гиперплоскостью в пространстве называется линейное многообразие,
размерность которого равна .
213. Теорема о пересечении линейных многообразий.
- Теорема 5.10. Пусть и два линейных многообразия в пространстве
, и пусть . Тогда есть линейное многообразие в , направляющим
подпространством которого является .
214. Определение ранга матрицы.
- Определение 6.1. Рангом матрицы A M (P)  mn называется ранг ее системы столбцов как
векторов арифметического пространства m P . Обозначение: rank A.
215. Теорема о ранге матрицы. Следствия.
- Теорема 6.1. (о ранге матрицы). Ранг матрицы равен максимальному порядку миноров этой
матрицы, отличных от нуля.
Следствие 1. Ранг системы столбцов матрицы равен рангу ее системы строк. Действительно, так
как rank A = rank Ar  r, ибо миноры при транспонировании сохраняют свое значение. Поэтому
ранг системы строк матрицы A тоже равен r .
Следствие 2. Если определитель равен нулю, то его строки линейно зависимы. Это обещанное в
главе IV доказательство необходимости в теореме 4.3. В самом деле, пусть определитель матрицы
А порядка n 1 равен нулю. Тогда минор максимального порядка этой матрицы, отличный от
нуля, не может совпадать с определителем А. Таким образом, rank A  n . Следовательно, строки
(столбцы) матрицы линейно зависимы.
216. Вычисление ранга матрицы окаймлением миноров.
- Следствие 3. При вычислении ранга матрицы методом поиска минора максимального порядка
отличного от нуля можно руководствоваться следующим правилом. Найдя какойлибо минор k -го
порядка не равный нулю (например, для k 1 ) следует испытывать на неравенство нулю не все
миноры k 1 порядка, а лишь окаймляющие найденный. Это следует из доказательства теоремы
при рассмотрении определителя 1 .
217. Теорема Кронекера-Капелли.
- Теорема 6.3 (критерий Кронекера-Капелли). Система линейных алгебраических уравнений
совместна тогда и только тогда, когда ранг расширенной матрицы системы совпадает с рангом
матрицы коэффициентов при неизвестных.
218. Теорема об общем решении СЛАУ.
- Теорема 6.4. Система линейных алгебраических уравнений вида (6.1), заданная над числовым
полем, может иметь 1) нуль частных решений, 2) одно частное решение, 3) бесконечно много
частных решений. В случае совместности системы, если ранг матрицы коэффициентов при
неизвестных равен числу неизвестных, то система имеет одно частное решение, которое может
быть получено по правилу Крамера, в противном случае система имеет бесконечно много частных
решений, каждое из которых может получиться заданием значений свободных неизвестных и
вычислением по ним значений основных. Сами основные неизвестные определяются положением
базисного минора в матрице коэффициентов, именно: ими назначаются неизвестные, стоящие при
столбцах базисного минора.
219. Критерий определенности СЛАУ
- Теорема 6.5 (критерий определенности СЛАУ). Совместная система линейных алгебраических
уравнений определенна тогда и только тогда, когда ранг ее матрицы совпадает с числом
неизвестных. .
220. Критерий существования нетривиального решения однородной СЛАУ.
 - Теорема 6.7. Однородная система линейных алгебраических уравнений с квадратной матрицей
коэффициентов при неизвестных имеет нетривиальное решение тогда и только тогда, когда
определитель матрицы системы равен нулю.
221. Теоремы о структуре общего решения однородной СЛАУ.
- Теорема 6.10. Общее решение совместной неоднородной системы от n неизвестных над полем Р
представляет собой линейное многообразие в пространстве n P , где направляющим
подпространством служит общее решение соответствующей приведенной системы, а вектором
сдвига любое частное решение данной неоднородной.
222. Теорема о структуре общего решения неоднородной СЛАУ.
- Теорема 6.8. Общее решение однородной системы линейных алгебраических уравнений с n
неизвестными над полем Р есть линейное подпространство арифметического пространства n P .

15.12.2020