Теорема Гаусса (основная теорема алгебры).
Определители
1.1 Свойства определителей
Определителем или детерминантом n-го порядка называется число, записываемое в виде
 [1] 
и вычисляемое по данным числам 
 (действительным или комплексным) – элементам определителя – по следующему закону:
 ,
распространенная на всевозможные различные перестановки 
 из чисел 
 . Число 
 равно числу транспозиций, которые нужно сделать, чтобы перейти от основной перестановки 
 к перестановке n-го порядка 
 . Произведение 
 называется членом определителя.
Определители n-го порядка удовлетворяют свойствам:
а) Величина определителя не меняется, если у него заменить строки соответствующими столбцами;
б) Величина определителя меняет знак, если у него переменить местами строки (столбцы);
в) Величина определителя умножается на число k (действительное или комплексное), если элементы какого-либо его столбца или строки умножить на k (т.е. множитель, присутствующий с строке или столбце, можно выносить за знак определителя);
г) Величина определителя равна 0, если элементы какого-либо его столбца или строки равны нулю;
д) Величина определителя равна 0, если элементы двух строк или столбцов соответственно равны;
е) Сумма произведений элементов 
 некоторой строки (столбца) определителя на алгебраические дополнения этих элементов равна величине определителя (см. п.1.2 Разложение определителя по строке и столбцу);
ж) Сумма произведений элементов 
 некоторой строки (столбца) определителя на соответствующие адъюнкты (алгебраические дополнения) элементов другой строки (столбца) равна нулю:
 , 
 ;
з) Пусть даны два определителя n-го порядка 
 и 
 , у которых все строки (столбцы) одинаковы, кроме определенной одной (одного). Сумма таких определителей равна определителю 
 n-го порядка, у которого указанная строка (столбец) состоит из суммы соответствующих элементов этой строки (столбца) определителей 
 и 
 ;
и) Величина определителя не изменится, если к элементам какой-либо его строки (столбца) прибавить соответствующие элементы другой строки (столбца), умноженные на число k;
к) Пусть 
 , 
 . Произведение двух определителей n-го порядка с элементами 
 и 
 есть в свою очередь определитель n-го порядка с элементами 
 , т.е.

1.2 Разложение определителя по строке и столбцу
Возьмем определитель n-го порядка:
 .
Вычеркнем из этого определителя i-ую строку и k-ый столбец. Оставшееся выражение порождает определитель (n-1)-го порядка 
 , называемый минором элемента 
 . Величина же 
 называется алгебраическим дополнением или адъюнктом элемента 
 .
 
 - разложение определителя по элементам i-ой строки,
 
 - разложение определителя по элементам k-го столбца;
Определитель
 ,
порожденный числами 
 называется степенным или определителем Вандермонда[2]. Определитель Вандермонда будет равен нулю, если среди чисел 
 есть одинаковые.
Правило Крамера[3]. Зададим систему или n линейных уравнений с n неизвестными
 .
Числа 
 (действительные или комплексные), называемые коэффициентами системы, заданы. Можно говорить, что система определяется матрицей

ее коэффициентов.
Если определитель данной системы не равен 0, т.е. 
 , то система имеет единственное решение для любого вектора y, вычисляемое по формуле Крамера 
 
 , где 
 - определитель, получаемый из определителя 
 , если в нем заменить числа j-го столба соответственно на числа 
 :
 .
Таким образом 
 
 , где 
 - адъюнкт элемента 
 в определителе 
 .
2. Комплексные числа
2.1 Понятие комплексного числа
Комплексными числами называются упорядоченные пары 
 действительных чисел. Выражения 
 – алгебраическая форма к.ч., где 
 - действительные числа, а 
 - специальный символ; при этом для комплексных чисел 
 , 
 введены понятия равенства и арифметические операции по следующим правилам:
1) 
 ;
2) 
 ;
3) 
 ;
4) 
 
 .
Из 1) и 3) следует, что 
 .
Таким образом, введенные операции сложения и умножения обладают свойствами:
1) коммутативности 
 ;
2) ассоциативности 
 ;
3) дистрибутивности 
 ;
4) 
 ;
5) 
 ;
6) 
 ;
7) 
 .
Если на плоскость введена декартовая прямоугольная система координат 
 , то всякому комплексному числу 
 может быть поставлена в соответствие некоторая точка 
 с абсциссой x и ординатой y. При этом говорят, что точка 
 изображает к.ч.  
 . Плоскость, на которой изображаются к.ч., называется комплексной плоскостью. Ось 
 – действительной осью, а ось 
 – мнимой осью.
Число 
 называется модулем к.ч. 
 и обозначается символом 
 . Модуль числа z равен расстоянию от начала координат до точки M, изображающей это число.
Всякое решение 
 системы уравнений
 (*)
называется аргументом к.ч. 
 . Все аргументы числа z различаются на целые кратные 
 и обозначаются единым символом 
 .Каждое значение аргумента совпадает с величиной 
 некоторого угла, на который следует повернуть ось 
 до совпадения с радиус-вектором 
 точки M (при этом 
 , если поворот совершается против часовой стрелки, и 
 в противном случае). Значение 
 , удовлетворяющее условию 
 , называется главным значением аргумента и обозначается символом 
 . В некоторых случаях главным значением аргумента называется значение 
 , удовлетворяющее условию 
 .
 .
Из соотношений (*) следует, что для всякого к.ч. z справедливо равенство
 ,
называемое тригонометрической формой числа z.
Для к.ч. 
 и 
 в тригонометрической форме, где 
 и 
 , справедливы равенства:
 ,
 .
2.2 Комплексные числа в показательной форме
Пусть 
 - произвольное действительное число. Символом 
 обозначается комплексное число 
 . С помощью этого обозначения всякое к.ч. 
 может быть записано в показательной форме
 .
Формулы Эйлера:

Для к.ч. 
 и 
 в показательной форме, где 
 и 
 , справедливы равенства:
 ,
 ,
 ,
 
 .
Число 
 называется сопряженным к комплексному числу 
 . Очевидно, что 
 .
Операция построения сопряженного к.ч. обладает следующими простыми свойствами:
 , 
 , 
 .
Формула Муавра:
 .
2.3 Разложение многочленов на множители
Многочленом n-ой степени называется функция вида
 ,
где 
 – постоянные коэффициенты (действительные или комплексные), а 
 – комплексная переменная, которая может принимать любые комплексные значения 
 или, выражаясь геометрическим языком, 
 может быть любой точкой комплексной плоскости.
Если 
 при 
 , то число 
 называется корнем или нулем многочлена 
 .
Для многочленов определены следующие арифметические операции:

В результате операций 1) и 2) снова получится многочлен. Частное двух многочленов может не быть многочленом.
Деление многочленов с остатком.
 , 
 
 ,
где  
 – частное, а 
 – остаток.
Теорема Безу.
Для того, чтобы многочлен 
 имел (комплексный) корень 
 , необходимо и достаточно, чтобы он делился на 
 , т.е. чтобы его можно было представить в виде произведения 
 , где 
 – некоторый многочлен степени n-1.
Если при разложении 
 
 , то на основании теоремы Безу применимой к 
 , многочлен 
 не делится на 
 , а 
 хотя и делится на 
 , но не делится на 
 . В этом случае говорят, что 
 – простой корень (нуль) многочлена 
 .
Пусть теперь 
 . Тогда по теореме Безу, применимой к 
 , многочлен 
 делится на 
 , и мы получим 
 , где 
 – некоторый многочлен степени n-2. Если 
 , то 
 делится на 
 , но не делится на 
 , и тогда число 
 называется корнем (нулем) кратности 2.
В общем случае для некоторого натурального 
 имеет место
 ,
где 
 – многочлен степени n-s, и тогда говорят, что 
 – корень (нуль) многочлена  
 кратности s.
Теорема Гаусса (основная теорема алгебры).
Всякий многочлен n-ой степени (ненулевой, т.е. 
 ) имеет по крайней мере один комплексный корень (нуль).
Следствие из теоремы Гаусса.
Многочлен n-ой степени 
 со старшим не равным нулю коэффициентом 
 имеет n комплексных корней с учетом кратности, иначе говоря 
 представляется в виде произведения
 ,
где 
 – различные корни 
 кратностей, соответственно 
 .
Если у многочлена с вещественными коэффициентами есть комплексные корни, то они входят сопряженными парами, т.е. если 
 – корень многочлена 
 , то и корень 
 будет являться корнем многочлена 
 .
Раскладывая в разложении на квадратичные множители многочлена 
 комплексные корни 
 на сопряженные, т.е. 
 получим разложение многочлена 
 на линейные множители.
В результате получим разложение вида
 ,
где 
 отвечает вещественному корню b кратности l, а 
 – комплексным корням 
 и 
 кратности m.
3. Алгебра матриц
3.1 Умножение матриц
Матрицей размера 
 или ( 
 )-матрицей называется прямоугольная таблица из чисел 
 , 
 , 
 ,
 ,
состоящая из 
 строк и 
 столбцов. При 
 матрица называется квадратной матрицей n-ого порядка.
Суммой 
 ( 
 )-матриц 
 и 
 называется матрица 
 того же порядка, каждый элемент которой равен сумме соответственных элементов матриц 
 и 
 :
 , 
 , 
 .
Легко видеть, что
 ,
 .
Замечание: складывать можно только матрицы одного размера.
Произведением 
 матрицы 
 на число 
 (действительное или комплексное) называется матрица 
 , получающаяся из матрицы 
 умножением всех ее элементов на 
 :
 , 
 , 
 .
Причем  
 .
Произведением 
 
 -матрицы  
 на  
 -матрицу  
 называется 
 -матрица 
 , элемент которой 
 , стоящий в i-ой строке и в j-ом столбце, равен сумме произведений соответствующих элементов i-ой строки матрицы 
 и j-ого столбца матрицы 
 :
 , 
 , 
 .
Легко видеть, что
 .
Матрицы 
 и 
 называются перестановочными (коммутирующими), если 
 .
Свойства умножения квадратных матриц.
1) При перемножении квадратных матриц, допустим 
 -матрицы 
 на 
 -матрицу 
 , получим 
 -матрицу 
 . Причем 
 .
2) 
 , 
 , т.е. матрица 
 коммутирует с 
 . Вообще 
 .
Матрица 
 называется транспонированной к матрице 
 , если выполняется условие

для всех 
 , где 
 и 
 – элементы матриц 
 и 
 соответственно. При транспонировании квадратной матрицы ее определитель не меняется.
Матрица транспонированного произведения есть произведение транспонированных матриц в обратном порядке, т.е.
 .
3.2 Обратная матрица
Квадратная матрица 
 называется вырожденной (особенной), если ее определитель равен 0, и невырожденной (неособенной) в противном случае. Если 
 – невырожденная матрица, то существует и притом единственная матрица 
 такая, что
 ,
где E – единичная матрица (т.е. такая, на главной диагонали которой стоят единицы, а все остальные элементы равны 0). Матрица 
 называется обратной к матрице 
 и ищется следующим образом:
 ,
где  
 – транспонированная к матрице, составленной из алгебраических дополнений соответствующих элементов матрицы 
 .
Решение матричных уравнений.
1) 
Домножив справа на 
 , получим
 .
2) 
Домножив слева на 
 , получим
 .
3) 
Домножив слева на 
 и справа на 
 , получим
 .
Решение систем линейных уравнений.
Дана система:
 .
Решение:
Данная система является частным случаем матричного уравнения 2), где
 , 
 , 
 .
При условии, что 
 система имеет единственное решение, а именно
 , где 
 .
Рассмотрим теперь на примере системы:
 .
Решение:
 (*)
Полученное матричное уравнение имеет вид 2), т.е. 
 . Находим матрицу 
 , обратную к матрице 
 :
 ; 

Преобразовав наше матричное уравнение (*) как описано выше в пункте 2), получим


4. Линейные пространства
4.1 Понятие линейного пространства
Множество L называется линейным (векторным) пространством, если выполнены следующие условия:
1) В L введена операция сложения элементов, т.е. 
 определено отображение  
 (обозначение: 
 ), обладающее следующими свойствами:
- 
 ;
- 
 ;
- 
 (элемент 0 называется нулевым);
- 
 (элемент –x называется противоположным элементу x);
2) В L введена операция умножения элементов на действительные (комплексные) числа, т.е. 
 определено отображение  
 (обозначение: 
 ), обладающее следующими свойствами:
- 
 ;
- 
 ;
3) Операция сложения элементов и умножения их на числа удовлетворяют законам дистрибутивности:
- 
 ;
- 
 ;
Элементы линейного пространства называются векторами. Пространство L называется действительным, если в L операция умножения векторов на число определена только для действительных чисел, и комплексным, если эта операция определена для комплексных чисел.
Примеры линейных пространств:
1) 
 – пространство геометрических векторов 
 . 
 :
- если 
 , то 
 ;
- если 
 , то 
 .

2) 
 – арифметическое пространство.
 – множество упорядоченных наборов из n вещественных чисел со следующими правилами:
 , 

 , 
3) 
 – пространство многочленов.
 , 
 , 


4) 
 – пространство ( 
 )-матриц.
 ( 
 ), 
 ( 
 )


5) 
 – пространство функций, непрерывных на 
 .
 , 

 , 
 , 
Подпространством линейного пространства L называется такое подмножество 
 , которое обладает свойствами:
1) 
 ;
2) 
 .
Выводы:
1) всякое подпространство содержит 
 ;
2) каждый вектор в подпространство входит с противоположным.
Теорема 1.
Подпространство линейного пространства само является линейным пространством относительно операций сложения и умножения векторов на число.
 является линейной комбинацией векторов системы S, если 
 , где 
 .
Совокупность линейных комбинаций векторов системы S из линейного пространства L называется линейной оболочкой, т.е.

Теорема 2.
Линейная оболочка 
 системы S в линейном пространстве L образует подпространство в L.
Линейная оболочка системы – наименьшее подпространство, содержащее все векторы системы.
4.2 Линейная зависимость и независимость системы векторов
Система векторов 
 называется линейно зависимой, если найдутся числа 
 , не равные одновременно нулю и такие, что 
 ; в противном случае эта система называется линейно независимой.
Свойства:
1) 
 – линейно зависима, если 
 ;
2) 
 – линейно зависима, если 
 ;
3) Если система содержит зависимую подсистему, то вся система зависима.
Следствия:
1) Всякая часть линейно независимой системы линейно независима;
2) Система, содержащая 
 – линейно зависима;
3) Система, содержащая два равных или пропорциональных вектора, линейно зависима.
Критерий линейной зависимости.
Для того, чтобы система векторов была линейно зависима необходимо и достаточно, чтобы хотя бы один из ее векторов линейно выражался через другие.
Геометрический смысл линейной зависимости.
1) Система из 2-х векторов линейно зависима тогда и только тогда, когда они коллинеарны, т.е.
 – линейно зависима, когда 
 .
Замечание: 
 коллинеарен любому (каждому) вектору.
2) Система из 3-х векторов линейно зависима тогда и только тогда, когда они компланарны.
3) Любая система из 4-х и более векторов – линейно зависима.
4.3 Ранг системы векторов
Рангом системы векторов называется размерность ее линейной оболочки, т.е.
 .
Подсистема 
 системы 
 называется базой в 
 , если
1) 
 – линейно независима;
2) Любой вектор из 
 линейно выражается через векторы 
 .
4.4 Сохранение ранга системы векторов при элементарных преобразованиях.
Пусть 
 , а 
 . Если все векторы 
 линейно выражаются через векторы 
 , то

Доказательство:
Т.к. 
 и 
 , то вышесказанное будет доказано, если докажем, что 
 . Для любого 
 имеет разложение 
 , но каждый вектор 
 линейно выражается через 
 , 
 , (*)
где 
 и т.д.
Из (*) 
 
 , 
 , т.е. есть включение 
 .
Элементарные преобразования системы векторов:
1) перестановка 2-х векторов;
2) умножение вектора на число, не равное 0;
3) добавление к одному вектору другого, умноженного на коэффициент.
Теорема.
При элементарных преобразованиях ранг сохраняется:
 .
4.5 Базис и размерность линейного пространства.
Число n называется размерностью линейного пространства L, если:
1) в L существует система из n линейных векторов;
2) любая система из n+1 векторов в L – линейно зависима.

Замечание: В n-мерном пространстве L линейно зависима любая система из 
 вектора.
Базисом n-мерного линейного пространства L называется всякая линейно независимая система в L, состоящая из n-векторов.
Базисы в линейных пространствах.
1) 
 , 
 .
Базис в L – любая тройка некомпланарных векторов. Канонический базис:
 .
2) 
 , 
 .
Базис в L образует, например, 
 . Канонический базис:
 .
3) 
 , 
 .
4) 
 , 
 .
Канонический базис:
 .
Библиографический список:
1. Бугров Я.С., Никольский С.М. Элементы линейной алгебры и аналитической геометрии. – М.: Наука, 1984.
2. Бугров Я.С., Никольский С.М. Дифференциальное и интегральное исчисление. – М.: Наука, 1984.
3. Под редакцией Ефимова А.В., Демидовича Б.П. Сборник задач по математике для втузов. Ч.1. Линейная алгебра и математический анализ. – М.: Наука, 1986.
Последняя редакция:
 12.2002 г.
[1] Существует также и другое обозначение определителя, которое может встретится далее: .
[2] А.Т. Вандермонд (1735 – 1796 гг.) – французский математик.
[3] Г. Крамер (1704 – 1752 гг.) – швейцарский математик.