Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

$(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?

share|cite|improve this question
up vote 1 down vote accepted

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$?

share|cite|improve this answer
The norm should be similiar to that one in Now to your equivalences: $||\sum x_k x_k||_{\ell^1}$ should be $\sum\sum|x_k y_k|$ but why did you write only one sum? – Montaigne Dec 12 '12 at 20:12
@Montaigne Why do you write two sums? In your definition in the question there is only one sum. – Rudy the Reindeer Dec 12 '12 at 20:55
Ok, the right hand side is now clear $\|\sum x_k y_k \|_{\ell^1} = \sum |x_k y_k|$ but what about $\|x\|_{c_0} = \|\sum x_k y_k \|_{\ell^1}$ ? I do not see the equivalence. – Montaigne Dec 12 '12 at 21:04
@Montaigne This equality is what you say you have to show. Assuming that your map is indeed an isometry this equality holds. – Rudy the Reindeer Dec 14 '12 at 15:57

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.