Лине́йная а́лгебра — раздел алгебры, изучающий математические объекты линейной природы: векторные пространства, линейные отображения, системы линейных уравнений. Среди основных инструментов, используемых в линейной алгебре — определители, матрицы, сопряжение. Теория инвариантов и тензорное исчисление обычно также считаются составными частями линейной алгебры. Такие объекты как квадратичные и билинейные формы, тензоры и операции как тензорное произведение непосредственно вытекают из изучения линейных пространств, но как таковые относятся к полилинейной алгебре.
Евкли́дово простра́нство в изначальном смысле — это пространство, свойства которого описываются аксиомами евклидовой геометрии. В этом случае предполагается, что пространство имеет размерность, равную 3, то есть является трёхмерным.
Ги́льбертово простра́нство — обобщение евклидова пространства, допускающее бесконечную размерность и полное по метрике, порождённой скалярным произведением. Названо в честь Давида Гильберта.
Лине́йное отображе́ние — обобщение линейной числовой функции на случай более общего множества аргументов и значений. Линейные отображения, в отличие от нелинейных, достаточно хорошо исследованы, что позволяет успешно применять результаты общей теории, так как их свойства не зависят от природы величин.
Сопряжённый оператор — обобщение понятия эрмитово-сопряжённой матрицы для бесконечномерных пространств.
Со́бственный ве́ктор — понятие в линейной алгебре, определяемое для произвольного линейного оператора как ненулевой вектор, применение к которому оператора даёт коллинеарный вектор — тот же вектор, умноженный на некоторое скалярное значение. Скаляр, на который умножается собственный вектор под действием оператора, называется собственным числом линейного оператора, соответствующим данному собственному вектору. Одним из представлений линейного оператора является квадратная матрица, поэтому собственные векторы и собственные значения часто определяются в контексте использования таких матриц.
Унита́рная ма́трица — квадратная матрица с комплексными элементами, результат умножения которой на эрмитово сопряжённую равен единичной матрице: . Другими словами, матрица унитарна тогда и только тогда, когда существует обратная к ней матрица, удовлетворяющая условию .
Нормальная матрица — комплексная квадратная матрица , коммутирующая со своей эрмитово-сопряжённой матрицей:
- .
Представле́ние гру́ппы — вообще говоря, любое действие группы. Однако чаще всего под представлением группы понимается линейное представление группы, то есть действие группы на векторном пространстве. Иными словами, представление группы — это гомоморфизм заданной группы в группу невырожденных линейных преобразований векторного пространства.
Коне́чноме́рное простра́нство — это векторное пространство, в котором имеется конечный базис — порождающая (полная) линейно независимая система векторов. Другими словами, в таком пространстве существует конечная линейно независимая система векторов, линейной комбинацией которых можно представить любой вектор данного пространства.
Теоре́ма Ги́льберта-Шми́дта распространяет на вполне непрерывные симметричные операторы в гильбертовом пространстве известный факт о приведении матрицы самосопряженного оператора в конечномерном евклидовом пространстве к диагональной форме в некотором ортонормированном базисе.
Бра и кет — алгебраический формализм, предназначенный для описания квантовых состояний. Называется также обозначениями Дирака. В матричной механике данная система обозначений является общепринятой. Данная система обозначений представляет собой не более чем иные текстуальные обозначения для векторов, ковекторов, билинейных форм и скалярных произведений, и потому применима в линейной алгебре вообще. В тех случаях, когда данная система обозначений используется в линейной алгебре, обычно речь идет о бесконечно-мерных пространствах и/или о линейной алгебре над комплексными числами.
Спектральная теорема — класс теорем о матрицах линейных операторов, дающих условия, при которых такие матрицы могут быть диагонализированы, то есть представлены в виде диагональной матрицы в некотором базисе. Эти теоремы позволяют свести вычисления, включающие диагонализируемые матрицы к гораздо более простым вычислениям, использующим соответствующие диагональные матрицы.
*-алгебра — ассоциативная алгебра с инволюцией, которая имеет свойства подобные комплексному сопряжению.
Симметрия встречается не только в геометрии, но и в других областях математики. Симметрия является видом инвариантности, свойством неизменности при некоторых преобразованиях.