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