Изменения
Нет описания правки
# <tex>\|A_2\| < \varepsilon</tex>
|proof=
В полученном выше соотношении <tex>\|\alpha\| \le C \|x\|</tex>, раскроем нормы: <tex>\sup\limits_n\left\| \sum\limits_{i=1}^n \alpha_n e_n \right\| \le C \left\| \sum\limits_{n=1}^\infty \alpha_n e_n \right\|</tex>, а значит, <tex> \forall n: \left\|\sum\limits_{i=1}^n \alpha_n e_n alpha_i e_i \right\| \le C \left\| \sum\limits_{n=1}^\infty \alpha_n e_n alpha_i e_i \right\|</tex>
Для каждого <tex>n</tex>, определим на элементах <tex>X</tex> два оператора: <tex>S_n(x) = \sum\limits_{i=1}^n \alpha_i e_i</tex> и <tex>R_n(x) = \sum\limits_{i=n+1}^\infty \alpha_i e_i</tex>.
<tex>\|R_n y\| = \|R_n y - R_n z_j + R_n z_j\| \le \|R_n\| \|y - z_j\| + \|R_n z_j\| \le (1 + C) \varepsilon + \|R_n z_j\|</tex>
<tex> \forall j = 1\ldots p, R_n z_j \xrightarrow[n \to \infty]{} 0 </tex>, поэтому <tex> \exists N_j: \forall n > N_j : \|R_n z_j\| < \varepsilon </tex>.
Возьмем <tex> N = \max\limits_{j = 1\ldots p} N_j </tex>, тогда <tex> \forall n > N\ \forall j = 1\ldots p:\ \|R_n z_j \| < \varepsilon </tex>.
