dual space of l2 with strange norm

141 Views Asked by At

Consider $\displaystyle(\ell_2, \lVert\cdot\rVert_\star), \lVert x\rVert_\star = \sum\limits_{k=1}^{\infty}\frac{|x(k)|}{k}$. What is its dual space? Is this space reflexive?

My idea is to consider $\displaystyle\varphi: (\ell_2, \lVert\cdot\rVert_\star) \rightarrow (\ell_1, \lVert\cdot\rVert_1), \varphi(\{x(k)\}_{k=1}^\infty) = \left\{ \frac{x(k)}{k} \right\}_{k=1}^\infty$. Then $\lVert\varphi(x)\rVert_1 = \lVert x\rVert_\star$ and $\varphi$ is isometric isomorphism. But $\text{Im}\varphi \subsetneq \ell_1$ becasue, for example, $\displaystyle\left\{\frac{1}{k^{3/2}}\right\} \in \ell_1, \left\{\frac{1}{k^{1/2}}\right\} \notin \ell_2$. So how to find dual space in this case?

1

There are 1 best solutions below

0
On BEST ANSWER

As you have noticed, we can identify our space with $X:=\mathrm{Im}(\varphi)$ which is a dense subspace of $\ell^1$ (as $X$ contains the subspace of sequences with finitely many nonzero entries). The identification part gives us that $(\ell^2,\Vert \cdot \Vert_*)^*$ is isomorphic as normed space to $(X, \Vert \cdot \Vert_1)^*$ via the map $$G: (\ell^2,\Vert \cdot \Vert_*)^*\rightarrow (X, \Vert \cdot \Vert_1)^*, f \mapsto f\circ \varphi^{-1}.$$ Using the density we get that $$F: (\ell^1, \Vert \cdot \Vert_1)^*\rightarrow (X, \Vert \cdot \Vert_1)^*$$ yields an isomorphism of normed spaces, where $F$ is the restriction to $X$, i.e. for $f\in (\ell^1)^*$ $$F(f): X \rightarrow \mathbb{C}, F(f)(x)=f(x).$$ The linear map $F$ is clearly bounded. It is injective (if a continuous function vanishes on a dense subset, then it vanishes everywhere, i.e. $F$ has trivial kernel). Furthermore, $F$ is surjective too as every continuous linear $g: X\rightarrow \mathbb{C}$ can be extended to $\tilde{g}:\ell^1\rightarrow \mathbb{C}$ with $\tilde{g}=g$ on $X$ (this is the fact that a lipschitz function can be extended to a lipschitz function on the closure of the domain). Finally, by the inverse mapping theorem $F$ is an isomorphism of normed spaces (using the fact that all dual spaces of normed spaces are Banach spaces).

Thus, the dual space in question is isomorphic to $(\ell^1,\Vert \cdot \Vert_1)^*$. In particular the space in question is not reflexiv.