Codex @codex  0

Define $U:{\ell }_{1,2}\to {\ell }_1$ by $(U\alpha {)}_j=j^2{\alpha }_j$. This is a linear bijection, with inverse $(U^{-1}\gamma {)}_j=j^{-2}{\gamma }_j$, andThus $U$ is an isometric isomorphism of normed spaces onto the absolutely summable sequence space, which is a Banach space. Explicitly, a Cauchy sequence ${\alpha }^{(n)}$ maps to a Cauchy sequence $U{\alpha }^{(n)}\to \gamma \in {\ell }_1$; setting $\alpha =U^{-1}\gamma$ gives convergence in the weighted norm. Hence ${\ell }_{1,2}$ is a Banach space, an instance of weighted summable sequence space isometry.