0
$\begingroup$

$(x,Ay):=\sum_{k=1}^{\infty}x_k y_k$ and $A:\ell^1 \to c_0^*$ and $x_k\in c_0, y_k\in\ell^1$

I would like to show A is surjective and isometric.

I am not sure about the deifnition of an isometriy, does it mean I have to show that $(x,y)=(Ax,Ay)$ ?

Since $y\in\ell^1$ I know that $\sum_{k=0}^{\infty}|y_k|<\infty$ and because of $x\in x_0$ I know $\lim x_n=0$ This could help me for an infinite sum.

How can I write $(x,y)$ and $(Ax,Ay)$ now?

1 Answers 1

1

Well, the definition says that a linear map $T: (X, \|\cdot\|) \to (Y,\|\cdot\|')$ is an isometry if and only if $\|x\|=\|Tx\|'$ for all $x \in X$.

So you need to show that for $x \in c_0$ and $y \in \ell^1$ it holds that $\|x\|_{c_0} = \|\sum x_k y_k \|_{\ell^1} = \sum |x_k y_k|$. What is your norm on $c_0$?

  • 0
    @Montaigne This equality is what you say you have to show. Assuming that your map is indeed an isometry this equality holds.2012-12-14