174
правки
Изменения
Нет описания правки
{{Определение
|definition=
Пусть <tex>{\{e_i\}}^k_{i=1}</tex> {{- --}} ОРТН-система векторов.
Тогда числа <tex>\varphi_i = \left\langle x, e_i\right\rangle</tex> называются коэффициентами Фурье вектора <tex>x</tex> относительно системы <tex>{\{e_i\}}^k_{i=1}</tex>
Для того, чтобы ОРТН-система векторов <tex>{\{e_i\}}^k_{i=1}</tex> могла бы быть полной в евклидовом пространстве <tex>E</tex>, необходимо и достаточно, чтобы выполнялось равенство Парсеваля: <tex>\Vert x\Vert^2 =\sum\limits_{i=1}^{k} {|\varphi_i|}^2</tex>, где <tex>n=\dim E</tex>
|proof=
Достаточность: пусть <tex>n\ne\dim E</tex>, тогда т.к. <tex>{\{e_i\}}^k_{i=1}</tex> {{--- }} ОРТН-система, то набор <tex>{\{e_i\}}^k_{i=1}</tex> {{--- }} ЛНЗ(по определению ортонормированности), а значит он может быть полным, только если <tex>n=\dim L</tex>
Необходимость: полностью следует из равенства Парсеваля.
}}
[[Категория: Алгебра и геометрия 1 курс]]
