Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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

How do I find the norm of the following operator i.e. how to find $\lVert T_z\rVert$ and $\lVert l\rVert$?

1) Let $z\in \ell^\infty$ and $T_z\colon \ell^p\to\ell^p$ with $$(T_zx)(n)=z(n)\cdot x(n).$$ What my thoughts were to use Banach-Steinhaus theorem but it seems straight forward and I don't know if I am right.

$\lVert T_z\rVert _p \leqslant\lVert z\lVert \cdot n\cdot\lVert x\rVert_p n=n^2\lVert x\rVert _p$ so if I choose $x=1$ then I get $\lVert T_z\rVert =n^2$.

2) Let $0\leqslant t_1\leqslant\cdots\leqslant t_n=1$ and $\alpha_1,\dots,\alpha_n \in K$ , $l\colon C([0,1])\to K$ with $l(x)=\sum_{i=1}^n \alpha_i x(t_i)$.

How to I find operator norm in this case as well? I am quite sure I am not right. I would be glad if I could get some help. Definitely some hints would be great! Thanks in advance.

share|cite|improve this question
I'm sorry, could you elaborate where you applied Banach-Steinhaus? And also how you get the other direction, $\|T_z\| \geq n^2$? – Rudy the Reindeer Nov 12 '12 at 22:19
@MattN. : But that means the operator is not bounded isn't it ? I am not exactly getting what i should be looking for in this case . – Theorem Nov 12 '12 at 22:20
@MattN. : That was just a thought but i don't know if i should be thinking in that direction . – Theorem Nov 12 '12 at 22:23
Well, "finding the operator norm" mean you have to show $\|T\|=K$ for some $K$, so you have to show $\geq$ and $\leq$. – Rudy the Reindeer Nov 13 '12 at 6:35
up vote 4 down vote accepted
  1. As for each $n$, $|z(n)x(n)|^p\leqslant \lVert a\rVert_{\infty}|x(n)|^p$, then we certainly have $\lVert T_z\rVert\geqslant \lVert a\rVert_{\infty}$. To get the other inequality, fix $\delta$ and pick $k$ such that $|a(k)|\geqslant \lVert a\rVert_{\infty}-\delta$ (the case $a=0$ is obvious).

  2. We assume $t_j$ distinct. Let $f_j$ a continuous map such that $f_j(t_j)=e^{i\theta_j}$, where $e^{i\theta_j}\alpha_j=|\alpha_j|$ and $f_j(t_k)=0$ if $k\neq j$. We can choose the $f_j$'s such that $\lVert \sum_{j=1}^nf_j\rVert=1$.

share|cite|improve this answer
Davide I am confused with the fact that when i see it , it looks to me that the operator acts on $x$ and $n$ so ie there are lots of variables involved and applying direct definition seems quite confusing . Can you give me some insight ? – Theorem Nov 12 '12 at 23:02
The operator $T_z$ acts on sequence: it transforms a sequence into a sequence. To define it, we have to say how each term of the sequence is transforms. In the OP, your bounds are too large to conclude. – Davide Giraudo Nov 12 '12 at 23:03
that means $z(n)$ and $x(n)$ are actually sequences right ? ie in this case $T_z$ is simply taking $x(n)\to z(n)x(n)$ where $z(n)$ is some sequence of functions. is my understanding correct about the map ? – Theorem Nov 12 '12 at 23:45
$z(n)$ is a real number, $\{z(n)\}_{n=1}^{+\infty}$ is a sequence. – Davide Giraudo Nov 13 '12 at 10:11
I have tried to understand but i didn't get your proof :( . Can you make it a bit more elaborate . Thank you . – Theorem Nov 13 '12 at 13:28

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.