Homeomorfismo en el espacio periódico de Sobolev

Question

¿Cómo puedo demostrar que entre $H^{s}(T)$ y $l_{s}^{2}(\mathbb{Z})$ (el conjunto de secuencias $\mathbb{Z}\rightarrow \mathbb{C}$ $\mathbb{Z}\rightarrow \mathbb{C}$ tal que $\sum_{k\in \mathbb{Z}}(1+\left | k \right |^{2})^{s}\left | \alpha (k) \right |^{2}< \infty $ ) existe un homeomorfismo lineal isométrico?

Answer 1

Definir $U : H^s(\mathbb{T})\rightarrow\ell^2_s(\mathbb{Z})$ por $$ Uf = \left\{ \frac{1}{2\pi}\int_{-\pi}^{\pi}f(x)e^{-ikx}dx\cdot(1+ik)^{s} \right\}_{k=-\infty}^{\infty}. $$