Изменения

Рассмотренная последовательность сходится в себе, следовательно, сходится. Пусть эта последовательность сходится к <tex>z^n</tex>, докажем, что <tex>z</tex> является пределом последовательности <tex>y_i</tex>. Для начала нужно доказать, что <tex>z \in F</tex>, то есть, что <tex>\sup\limits_n \left \| \sum\limits_{i = 1}^n z^i e_i \right \| < +\infty</tex>. В неравенстве <tex>\left \| \sum\limits_{i = 1}^n (y_m^i - y_k^i) e_i \right \| < \varepsilon</tex> можно перейти к пределу <tex>k \rightarrow \infty</tex>, получая <tex>\left \| \sum\limits_{i = 1}^n (y_m^i - z^i) e_i \right \| \le \varepsilon</tex>. Далее, рассмотрим следующую сумму: <tex>\left \| \sum\limits_{i = n}^{n + p} z^i e_i \right \|</tex>. Используя равенство <tex>z^i e_i = (z^i - y_m^i) e_i + y_m^i e_i</tex>, получаем следующее неравенство: <tex>\left \| \sum\limits_{i = n}^{n + p} z^i e_i \right \| \le \left \| \sum\limits_{i = 1}^{n - 1} (z^i - y_m^i) e_i \right \| + \left \| \sum\limits_{i = 1}^{n + p} (z^i - y_m^i) e_i \right \| + \left \| \sum\limits_{i = n}^{n + p} y_m^i e_i \right \|</tex> <tex>\le \left \| \sum\limits_{i = n}^{n + p} y_m^i e_i \right \| + 2\varepsilon</tex> {{TODO|t=Coming soon...Work in progress}}