ЛИНЕ́ЙНАЯ А́ЛГЕБРА
-
Рубрика: Математика
-
-
Скопировать библиографическую ссылку:
ЛИНЕ́ЙНАЯ А́ЛГЕБРА, раздел алгебры, изучающий векторные (линейные) пространства и их подпространства, линейные отображения (операторы), линейные, билинейные и квадратичные функции (функционалы или формы) на векторных пространствах.
Исторически первым разделом Л. а. была теория систем линейных уравнений. В связи с изучением этих систем появились понятия матрицы и определителя. В 1750 получены формулы Крамера для решения систем линейных уравнений, в которых число уравнений равно числу неизвестных и определитель из коэффициентов при неизвестных отличен от нуля. В 1849 предложен метод Гаусса, который используется с разл. изменениями для практич. нахождения решений систем линейных уравнений. Понятие ранга матрицы, предложенное Ф. Г. Фробениусом в 1877, позволило явно выразить условия совместности и определённости системы линейных уравнений в терминах коэффициентов этой системы. Тем самым в кон. 19 в. было завершено построение общей теории систем линейных уравнений.
Если в 18 и 19 вв. осн. содержание Л. а. составляли системы линейных уравнений и теория определителей, то в 20 в. центр. положение в Л. а. заняли понятие векторного пространства $V$ над полем $K$ и связанные с ним понятия линейного отображения, линейной, билинейной и полилинейной функций на векторном пространстве. Одним из важнейших понятий теории векторных пространств является понятие линейного отображения (линейного оператора), т. е. гомоморфизма векторных пространств над одним и тем же полем. Частным случаем линейного отображения является линейное преобразование, или линейное отображение пространства в себя. Если рассматривать линейные отображения $n$-мерного векторного пространства в $s$-мерное, то, фиксируя в этих пространствах базисы, можно сопоставить каждому линейному отображению матрицу с $s$ строками и $n$ столбцами (матрицу линейного отображения; для линейных преобразований эта матрица является квадратной). Это позволяет формулировать теоремы о линейных отображениях на матричном языке и при их доказательстве использовать язык теории матриц. Одной из важнейших задач в теории линейных преобразований является задача о выборе базиса, в котором матрица преобразования принимает в каком-то смысле простейший вид. В случае поля комплексных чисел таким видом является, напр., жорданова нормальная форма матрицы.
Ещё одним частным случаем линейного отображения является линейная функция (линейный функционал) – линейное отображение $V$ в $K$ (поле $K$ рассматривается как одномерное пространство). Все линейные функции на $V$ образуют векторное пространство $V^*$, называемое пространством, сопряжённым с пространством $V$. Векторы пространства $V$ можно в свою очередь рассматривать как линейные функции на сопряжённом пространстве $V^*$, полагая $x(f)=f(x)$ для всех $x∈V$, $f∈V^*$. Если $V$ конечномерно, то так устанавливается естественный изоморфизм между $V$ и $(V^*)^*$. В конечномерном случае пространства $V$ и $V^*$ имеют одинаковые размерности и также изоморфны.
Обобщением понятия линейной функции является понятие полилинейной функции, т. е. функции со значениями в $K$, зависящей от нескольких аргументов (из которых одни принадлежат векторному пространству $V$, а другие – сопряжённому пространству $V^*$) и линейной по каждому аргументу. Эти функции называются также тензорами.
Теория векторных пространств имеет тесные связи с теорией групп (всякое векторное пространство – группа по сложению). Все автоморфизмы (см. Изоморфизм) $n$-мерного векторного пространства $V$ над полем $K$ образуют относительно умножения группу преобразований, изоморфную группе невырожденных квадратных матриц порядка $n$ с элементами из $K$. Гомоморфное отображение некоторой группы $G$ в эту группу автоморфизмов называется линейным представлением группы $G$ в пространстве $V$. Изучение свойств представлений составляет предмет теории линейных представлений групп (см. Представлений групп теория). Разл. вопросы аналитической геометрии с помощью метода координат сводятся к задачам линейной алгебры. Естественным обобщением понятия векторного пространства над полем $K$ является понятие модуля. Многие осн. теоремы Л. а. не справедливы для модулей, однако теорию модулей также иногда включают в линейную алгебру.