Линейным многообразием в линейном пространстве
называется подмножество этого пространства вида

для каких-то фиксированных подпространства
и вектора
, то есть подмножество, полученное сдвигом каждого элемента из
на вектор
. Обозначение:

Если
и
, то
тогда и только тогда, когда и
.
В частности,
является линейным подпространством тогда и только тогда, когда
(т.е.
содержит нулевой элемент). В этом случае
.
Если
— гильбертово пространство, а
— его замкнутое подпространство, то можно выбрать вектор
в определении
(
) ортогональным подпространству
. Такое представление
,
единственно.
Пересечение линейных многообразий всегда является линейным многообразием.
Размерность линейного многообразия
— это размерность линейного подпространства
:
Для линейных многообразий
в
-мерном векторном пространстве или
, или 