Take the 2-minute tour ×
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.

LEt $H_1,H_2$ are two Hilbert spaces. $\{e_1,\ldots,e_n\}\subseteq H_1$ and $\{f_1,\ldots,f_n\}\subseteq H_2$ two orthonormal systems. $\lambda_1,\ldots,\lambda_n\in\mathbb K$. Let $$ U:H_1\to H_2:x\mapsto\sum_{i=1}^n \lambda_i f_i(x,e_i) $$ Now I would like to know how the norm $\Vert U\Vert$ can be calculated. I know that if $U$ is bounded linear functional, then $\Vert U\Vert=\sup\{\Vert U(x)\Vert: \Vert x\Vert=1\}$ but I do not know how to use this here.

share|improve this question
add comment

1 Answer 1

up vote 1 down vote accepted

Since $\{f_i:i\in\{1,\ldots,n\}\}\subset H$ is an orthonormal system, then $$ \left\Vert \sum\limits_{i=1}^n\alpha_i f_i\right\Vert^2=\sum\limits_{i=1}^n|\alpha_i|^2 $$ for all $\{\alpha_i:i\in\{1,\ldots,n\}\}\subset \mathbb{C}$, so you can show that $$ \Vert U(x)\Vert^2 =\left\Vert\sum\limits_{i=1}^n\lambda_i\langle x, e_i\rangle f_i\right\Vert^2 =\sum\limits_{i=1}^n|\lambda_i\langle x, e_i\rangle|^2 =\sum\limits_{i=1}^n|\lambda_i|^2|\langle x, e_i\rangle|^2 \leq\max\limits_{i=1,\ldots,n}|\lambda_i|^2\sum\limits_{i=1}^n|\langle x, e_i\rangle|^2 $$ By Bessel's inequality we have $$ \Vert U(x)\Vert^2 \leq\max\limits_{i=1,\ldots,n}|\lambda_i|^2\sum\limits_{i=1}^n|\langle x, e_i\rangle|^2 \leq(\max\limits_{i=1,\ldots,n}|\lambda_i|)^2\Vert x\Vert^2 $$ This gives $\Vert U\Vert\leq \max\limits_{i=1,\ldots,n}|\lambda_i|$. Let $\max\limits_{i=1,\ldots,n}|\lambda_i|=|\lambda_j|$ for some $j$, then $$ \Vert U(e_j)\Vert =\left\Vert\sum\limits_{i=1}^n\lambda_i\langle e_j, e_i\rangle f_i\right\Vert =\left\Vert\sum\limits_{i=1}^n\lambda_i\delta_{ij} f_i\right\Vert =\left\Vert\lambda_j f_j\right\Vert =|\lambda_j| =\max\limits_{i=1,\ldots,n}|\lambda_i|\Vert e_j\Vert $$ So we get $\Vert U\Vert\geq \max\limits_{i=1,\ldots,n}|\lambda_i|$. This two inequalities gives us $$ \Vert U\Vert=\max\limits_{i=1,\ldots,n}|\lambda_i| $$

share|improve this answer
    
Thank you for your answer, but it is not quite clear to me how you received $||U(x)||\le max|\lambda_i|||x||$. My idea was: $||U(x)||\le\sum |\lambda_i| ||f_i (x,e_i)||\le C||x||$ but I do not see how to get the $max|\lambda_i|$ –  Alexander Nov 18 '12 at 0:58
add comment

Your Answer

 
discard

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.