Помогите пожалуйста решить задачу!
Привести пример множества в
![$l_1 \cap l_2$ $l_1 \cap l_2$](https://dxdy-04.korotkov.co.uk/f/f/2/4/f24db912789bf27920fb97cd7e324c5282.png)
, которое предкомпактно в
![$l_1$ $l_1$](https://dxdy-01.korotkov.co.uk/f/4/6/9/469f525d671e1e96713a0a17a13f246882.png)
, но не предкомпактно в
![$l_2$ $l_2$](https://dxdy-04.korotkov.co.uk/f/7/2/5/7252ad06a4944da2b6628a58281cb88782.png)
.
Множество называется компактным, если из любого покрытия его открытыми множествами можно выделить конечное подпокрытие. Еще есть эквивалентное определение - множество называется компактным, если оно ограничено и замкнуто.
Множество называется предкомпактным, если его пополнение - компакт.
Пересечение
![$l_1 \cap l_2$ $l_1 \cap l_2$](https://dxdy-04.korotkov.co.uk/f/f/2/4/f24db912789bf27920fb97cd7e324c5282.png)
- такие последовательности, удовлетворяющие
![$\sum\limits_{k=1}^{\infty}\lvert x_k \rvert < \infty$ $\sum\limits_{k=1}^{\infty}\lvert x_k \rvert < \infty$](https://dxdy-02.korotkov.co.uk/f/9/1/3/9132348a5f242080ca23e0f1f00fdd8a82.png)
т.е. такие что ряд из их модулей сходится, и
![$\sum\limits_{k=1}^{\infty}{\lvert x_k \rvert}^2 < \infty$ $\sum\limits_{k=1}^{\infty}{\lvert x_k \rvert}^2 < \infty$](https://dxdy-01.korotkov.co.uk/f/0/9/2/0923ad519966bc930e49712ab5acc83382.png)
и ряд из квадратов их модулей тоже сходится.
Множество предкомпактно в
![$l_1$ $l_1$](https://dxdy-01.korotkov.co.uk/f/4/6/9/469f525d671e1e96713a0a17a13f246882.png)
, если все элементы множества ограничены :
![$\sum\limits_{k=1}^{\infty}\lvert x_k \rvert < C$ $\sum\limits_{k=1}^{\infty}\lvert x_k \rvert < C$](https://dxdy-04.korotkov.co.uk/f/b/e/5/be589f0eefaa9d60af44092bbd9b68ec82.png)
и "хвосты" равностепенно непрерывны, то есть
![$$\forall \varepsilon >0 \exists N : \forall x \sum\limits_{k=N}^{\infty}\lvert x_k \rvert < \varepsilon$$ $$\forall \varepsilon >0 \exists N : \forall x \sum\limits_{k=N}^{\infty}\lvert x_k \rvert < \varepsilon$$](https://dxdy-04.korotkov.co.uk/f/7/b/3/7b3b91703604c7d92992ec3be992fa0682.png)
(в случае
![$l_1$ $l_1$](https://dxdy-01.korotkov.co.uk/f/4/6/9/469f525d671e1e96713a0a17a13f246882.png)
) и
![$$\forall \varepsilon >0 \exists N :\forall x \sum\limits_{k=N}^{\infty}{\lvert x_k \rvert}^2 < \varepsilon$$ $$\forall \varepsilon >0 \exists N :\forall x \sum\limits_{k=N}^{\infty}{\lvert x_k \rvert}^2 < \varepsilon$$](https://dxdy-02.korotkov.co.uk/f/9/d/2/9d2e83d0d6c0450731ae27c7f7e67e5782.png)
(в случае
![$l_2$ $l_2$](https://dxdy-04.korotkov.co.uk/f/7/2/5/7252ad06a4944da2b6628a58281cb88782.png)
). То есть надо придумать так, чтобы было равностепенно непрерывно в
![$l_1$ $l_1$](https://dxdy-01.korotkov.co.uk/f/4/6/9/469f525d671e1e96713a0a17a13f246882.png)
, но не равностепенно непрерывно в
![$l_2$ $l_2$](https://dxdy-04.korotkov.co.uk/f/7/2/5/7252ad06a4944da2b6628a58281cb88782.png)
. Пытался придумать, ничего не вышло.