Diagonal operator on sequence space (source code)

= Diagonal operator on sequence space

A diagonal operator on $\ell^p$ acts coordinatewise as $(x_n)\mapsto(a_nx_n)$. It is bounded when $(a_n)$ is bounded, while its inverse on its image is bounded only when the nonzero $a_n$ are bounded away from zero.