Линейная алгебра


Лине́йная а́лгебра — раздел алгебры, изучающий математические объекты линейной природы: векторные (или линейные) пространства, линейные отображения[⇨], системы линейных уравнений[⇨]. Среди основных инструментов, используемых в линейной алгебре — определители, матрицы[⇨], сопряжение. Теория инвариантов и тензорное исчисление обычно (в целом или частично) также считаются составными частями линейной алгебры[1]. Такие объекты как квадратичные и билинейные формы[⇨], тензоры[⇨] и операции как тензорное произведение непосредственно вытекают из изучения линейных пространств, но как таковые относятся к полилинейной алгебре.

Линейная алгебра обобщена средствами общей алгебры, в частности, современное определение линейного (векторного) пространства[⇨] опирается исключительно на абстрактные структуры, а многие результаты линейной алгебры обобщены на произвольные модули над кольцом. Более того, методы линейной алгебры широко используются и в других разделах общей алгебры, в частности, нередко применяется такой приём, как сведение абстрактных структур к линейным и изучение их относительно простыми и хорошо проработанными средствами линейной алгебры, так, например, реализуется в теории представлений групп[⇨]. Функциональный анализ возник как применение методов математического анализа и линейной алгебры к бесконечномерным линейным пространствам, и во многом базируется на методах линейной алгебры и в дальнейших своих обобщениях. Также линейная алгебра нашла широкое применение в многочисленных приложениях (в том числе, в линейном программировании[⇨], в эконометрике[⇨]) и естественных науках (например, в квантовой механике[⇨]).

Первые элементы линейной алгебры следовали из практических вычислительных задач вокруг решения линейных уравнений, в частности, такие арифметические приёмы как тройное правило и правило ложного положения были сформулированы ещё в древности. В «Началах» Евклида фигурируют две теории «линейного» характера: теория величины и теория целых чисел. Близкие к современным матричным методам подходы к решению систем линейных уравнений обнаруживаются у вавилонян (системы из двух уравнений с двумя переменными) и древних китайцев (в «Математике в девяти книгах», до трёх уравнений с тремя переменными)[2]. Однако после достижения определённости с основными вопросами нахождения решений систем линейных уравнений развитие раздела практически не происходило, и даже в конце XVIII — начале XIX века считалось, что проблем относительно уравнений первой степени больше не существует, притом системы линейных уравнений с числом переменных, отличающихся от количества уравнений или с линейно-зависимыми коэффициентами в левой части попросту считались некорректными[3].