152
правки
Изменения
Нет описания правки
<tex>\Rightarrow</tex> Пусть ОНС {{---}} полная
<tex>x \in \mathcal{H}</tex>, <tex>\forall j: \langle x, e_j\rangle = 0</tex>. В силу полноты системы, <tex>\forall \varepsilon > 0 : \exists n \exists \sum\limits_{k=1}^n \alpha_k e_k : \|x - \sum\limits_{k=1}^n \alpha_k e_k\| < \varepsilon</tex>
Но частичная сумма ряда Фурье обладает экстремальным свойством:
