Лине́йная а́лгебра — раздел алгебры, изучающий математические объекты линейной природы: векторные пространства, линейные отображения, системы линейных уравнений. Среди основных инструментов, используемых в линейной алгебре — определители, матрицы, сопряжение. Теория инвариантов и тензорное исчисление обычно также считаются составными частями линейной алгебры. Такие объекты как квадратичные и билинейные формы, тензоры и операции как тензорное произведение непосредственно вытекают из изучения линейных пространств, но как таковые относятся к полилинейной алгебре.
Ве́кторное простра́нство — математическая структура, представляющая собой набор элементов, называемых векторами, для которых определены операции сложения друг с другом и умножения на число — скаляр. Эти операции подчинены восьми аксиомам. Скаляры могут быть элементами вещественного, комплексного или любого другого поля чисел. Частным случаем подобного пространства является обычное трёхмерное евклидово пространство, векторы которого используются, к примеру, для представления физических сил. При этом вектор как элемент векторного пространства не обязательно должен быть задан в виде направленного отрезка. Обобщение понятия «вектор» до элемента векторного пространства любой природы не только не вызывает смешения терминов, но и позволяет уяснить или даже предвидеть ряд результатов, справедливых для пространств произвольной природы.
Ги́льбертово простра́нство — обобщение евклидова пространства, допускающее бесконечную размерность и полное по метрике, порождённой скалярным произведением. Названо в честь Давида Гильберта.
Ба́нахово пространство — нормированное векторное пространство, полное по метрике, порождённой нормой. Основной объект изучения функционального анализа.
Нормированное пространство — векторное пространство с заданной на нём нормой; один из основных объектов изучения функционального анализа.
Лине́йное отображе́ние — обобщение линейной числовой функции на случай более общего множества аргументов и значений. Линейные отображения, в отличие от нелинейных, достаточно хорошо исследованы, что позволяет успешно применять результаты общей теории, так как их свойства не зависят от природы величин.
Ма́трица — математический объект, записываемый в виде прямоугольной таблицы элементов кольца или поля, который представляет собой совокупность строк и столбцов, на пересечении которых находятся его элементы. Количество строк и столбцов задаёт размер матрицы. Матрицу можно также представить в виде функции двух дискретных аргументов. Хотя исторически рассматривались, например, треугольные матрицы, в настоящее время говорят исключительно о матрицах прямоугольной формы, так как они являются наиболее удобными и общими.
Выпуклое множество в аффинном или векторном пространстве — множество, в котором все точки отрезка, образуемого любыми двумя точками данного множества, также принадлежат данному множеству.
Компа́ктный опера́тор — понятие функционального анализа. Компактные операторы естественно возникают при изучении интегральных уравнений, а их свойства схожи со свойствами операторов в конечномерных пространствах. Компактные операторы также часто называют вполне непрерывными.
Ба́зис — упорядоченный набор векторов в векторном пространстве или модуле, такой, что любой вектор этого пространства может быть единственным образом представлен в виде линейной комбинации векторов из этого набора. Векторы базиса называются базисными векторами.
Со́бственный ве́ктор — понятие в линейной алгебре, определяемое для произвольного линейного оператора как ненулевой вектор, применение к которому оператора даёт коллинеарный вектор — тот же вектор, умноженный на некоторое скалярное значение. Скаляр, на который умножается собственный вектор под действием оператора, называется собственным числом линейного оператора, соответствующим данному собственному вектору. Одним из представлений линейного оператора является квадратная матрица, поэтому собственные векторы и собственные значения часто определяются в контексте использования таких матриц.
Задача Шту́рма — Лиуви́лля, названная в честь Жака Шарля Франсуа Штурма и Жозефа Лиувилля, состоит в отыскании нетривиальных решений на промежутке уравнения Штурма — Лиувилля
Спектральная теорема — класс теорем о матрицах линейных операторов, дающих условия, при которых такие матрицы могут быть диагонализированы, то есть представлены в виде диагональной матрицы в некотором базисе. Эти теоремы позволяют свести вычисления, включающие диагонализируемые матрицы к гораздо более простым вычислениям, использующим соответствующие диагональные матрицы.
Теория Фредгольма — раздел теории интегральных уравнений; в узком смысле — изучающий интегральные уравнения Фредгольма, в широкой трактовке — представляющий совокупность методов и результатов в спектральной теории операторов Фредгольма и использующих понятие ядер Фредгольма в гильбертовом пространстве.
Ба́наховой алгеброй над комплексным или действительным полем называется ассоциативная алгебра, являющаяся при этом банаховым пространством. При этом умножение в ней должно быть согласовано с нормой:
- .
Полугруппа операторов — однопараметрическое семейство линейных ограниченных операторов в банаховом пространстве. Теория полугрупп операторов возникла в середине XX века в работах таких известных математиков, как Хилле, Филлипса, Иосиды, Феллера. Основные применения этой теории: абстрактные задачи Коши, параболические уравнения, случайные процессы.
Разложение Шура — разложение матрицы на унитарную, верхнюю треугольную и обратную унитарную матрицы, названное именем Исая Шура.
Координатное пространство — это плоское пространство, которое устанавливает позицию двухмерных объектов при использовании двух опорных осей, которые являются перпендикулярными друг к другу.