689
правок
Изменения
bugfix
Пусть для произвольного <tex>y \in X</tex>, <tex>y_m \in Y, y_m \to y, Y = \mathcal L(e_1, \ldots, e_n), \|\cdot\|</tex> --- исходная норма.
Пусть <tex>y = \sum\limits_{k=1}^{n} \alpha_k e_k</tex>, пусть <tex>|\|ycdot\|_2 = \max\{|\alpha_1|, \ldots, |\alpha_n|\}</tex>.
По теореме Рисса, нормы <tex>\|\cdot\|</tex> и <tex>\|\cdot\|_2</tex> в <tex>Y</tex> эквивалентны; в <tex>\|\cdot\|_2</tex>, очевидно, есть покоординатная сходимость.
По полноте вещественной оси, все <tex>n</tex> последовательностей сходятся: <tex>\forall k = 1, \ldots, n: \alpha_k^{(p)} \to \alpha_k^*</tex>.
Пример: <tex> X = C[0; 1]</tex>, <tex>Y</tex> — пространство всех полиномов степени не выше <tex> n </tex>. Очевидно, <tex> Y </tex> конечномерно, и, по только что доказанной теореме, замкнуто. Значит, если рассмотреть произвольную сходящуюся последовательность полиномов из <tex> Y </tex>, то ее пределом будет также полином из <tex> Y </tex>. Этот факт, тривиальный с точки зрения функционального анализа, классическими методами математического анализа получается очень непросто. Однако, если степень полиномов в <tex>Y</tex> не ограничивать, то замыканием <tex>Y</tex> будет все пространство <tex>X</tex>, по [[Приближение_непрерывной_функции_полиномами_на_отрезке | теореме Вейерштрасса]], любую непрерывную на отрезке функцию можно приблизить полиномами.
