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

Ве́кторное простра́нство — математическая структура, представляющая собой набор элементов, называемых векторами, для которых определены операции сложения друг с другом и умножения на число — скаляр. Эти операции подчинены восьми аксиомам. Скаляры могут быть элементами вещественного, комплексного или любого другого поля чисел. Частным случаем подобного пространства является обычное трёхмерное евклидово пространство, векторы которого используются, к примеру, для представления физических сил. При этом вектор как элемент векторного пространства не обязательно должен быть задан в виде направленного отрезка. Обобщение понятия «вектор» до элемента векторного пространства любой природы не только не вызывает смешения терминов, но и позволяет уяснить или даже предвидеть ряд результатов, справедливых для пространств произвольной природы.
Ги́льбертово простра́нство — обобщение евклидова пространства, допускающее бесконечную размерность и полное по метрике, порождённой скалярным произведением. Названо в честь Давида Гильберта.
Ба́нахово пространство — нормированное векторное пространство, полное по метрике, порождённой нормой. Основной объект изучения функционального анализа.
Нормированное пространство — векторное пространство с заданной на нём нормой; один из основных объектов изучения функционального анализа.
Топологи́ческое ве́кторное простра́нство, или топологи́ческое лине́йное простра́нство, — векторное пространство, наделённое топологией, относительно которой операции сложения и умножения на число непрерывны. Термин используется в основном в функциональном анализе.

Изоморфи́зм — соотношение между математическими объектами, выражающее общность их строения; используется в разных разделах математики и в каждом из них определяется в зависимости от структурных свойств изучаемых объектов. Обычно изоморфизм определяется для множеств, наделённых некоторой структурой, например, для групп, колец, линейных пространств; в этом случае он определяется как обратимое отображение (биекция) между двумя множествами со структурой, сохраняющее эту структуру, то есть показывающее, что объекты «одинаково устроены» в смысле этой структуры. Если между объектами существует изоморфизм, то они называются изоморфными. Изоморфизм всегда задаёт отношение эквивалентности на классе таких структур.
Теория операторов — раздел функционального анализа, который изучает свойства непрерывных линейных отображений между нормированными пространствами. Вообще говоря, оператор — это аналог самой обычной функции или матрицы в конечномерном пространстве. Но оператор может действовать и в бесконечномерных пространствах.

Выпуклое множество в аффинном или векторном пространстве — множество, в котором все точки отрезка, образуемого любыми двумя точками данного множества, также принадлежат данному множеству.
Компа́ктный опера́тор — понятие функционального анализа. Компактные операторы естественно возникают при изучении интегральных уравнений, а их свойства схожи со свойствами операторов в конечномерных пространствах. Компактные операторы также часто называют вполне непрерывными.
Решётка — частично упорядоченное множество, в котором каждое двухэлементное подмножество имеет как точную верхнюю (sup), так и точную нижнюю (inf) грани. Отсюда вытекает существование этих граней для любых непустых конечных подмножеств.
Банахова решётка — векторная решётка, являющаяся банаховым пространством с монотонной нормой, то есть в которой для любой пары векторов
выполнено
.

Со́бственный ве́ктор — понятие в линейной алгебре, определяемое для произвольного линейного оператора как ненулевой вектор, применение к которому оператора даёт коллинеарный вектор — тот же вектор, умноженный на некоторое скалярное значение. Скаляр, на который умножается собственный вектор под действием оператора, называется собственным числом линейного оператора, соответствующим данному собственному вектору. Одним из представлений линейного оператора является квадратная матрица, поэтому собственные векторы и собственные значения часто определяются в контексте использования таких матриц.
Произво́дная Фреше́ — обобщение понятия производной на бесконечномерные банаховы пространства. Название дано в честь французского математика Мориса Фреше.
Альтернати́ва Фредго́льма — совокупность теорем Фредгольма о разрешимости интегрального уравнения Фредгольма второго рода.
Спектральная теорема — класс теорем о матрицах линейных операторов, дающих условия, при которых такие матрицы могут быть диагонализированы, то есть представлены в виде диагональной матрицы в некотором базисе. Эти теоремы позволяют свести вычисления, включающие диагонализируемые матрицы к гораздо более простым вычислениям, использующим соответствующие диагональные матрицы.
Ба́наховой алгеброй над комплексным или действительным полем называется ассоциативная алгебра, являющаяся при этом банаховым пространством. При этом умножение в ней должно быть согласовано с нормой:
.
Полугруппа операторов — однопараметрическое семейство линейных ограниченных операторов в банаховом пространстве. Теория полугрупп операторов возникла в середине XX века в работах таких известных математиков, как Хилле, Филлипса, Иосиды, Феллера. Основные применения этой теории: абстрактные задачи Коши, параболические уравнения, случайные процессы.

Выпуклый анализ — это ветвь математики, посвящённая изучению свойств выпуклых функций и выпуклых множеств, часто имеющая приложения в выпуклом программировании, подобласти теории оптимизации.