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 $B(V,W)$ be the space of bounded linear maps from $V$ to $W$. Then it is complete with respect to the operator norm. Can you tell me if my proof is correct? Thanks.

It's easy to verify that the operator defines a norm. Let $T_n$ be Cauchy in $B(V,W)$ with respect to $\|\cdot\|$. Let $\varepsilon > 0$. We want to show that $T_n \to T$ for some $T \in B(V,W)$.

We have that $T_n v$ is a Cauchy sequence in $W$ since $\|T_nv - T_mv\|_W \leq \|T_n-T_m\| \|v\|_V < \varepsilon$ for $n,m$ large enough since $T_n$ is Cauchy with respect to $\|\cdot\|$ by assumption. Since $W$ is complete, the pointwise limit $Tv$ of $T_nv$ is in $W$ for all $v$. Now we need to show that $T$ is linear, bounded and $T_n \to T$ in the operator norm.

(i) $T(\alpha v + \beta w) = \lim_{n \to \infty} T_n(\alpha v + \beta w) = \alpha \lim_{n \to \infty} T_nv + \beta \lim_{n \to \infty} T_n w = \alpha T v + \beta T w $

(ii) $\|Tv\| = \sup_{\|v\| \leq 1} \|Tv + T_n v - T_n v\| \leq \sup_{\|v\| \leq 1} \|Tv - T_n v\| + \| T_n v\|$

(iii) $\|(T-T_n)v \|_W < \varepsilon $ for all $v$ if $n$ large enough, hence for $n$ large enough, $\|T-T_n\| < \varepsilon $

share|improve this question
    
I'm quite sure it's correct but I need to have you check it anyway since I might be missing something. –  Matt N. Jul 14 '12 at 17:23
    
What do you mean w.r.t? –  user29999 Jul 14 '12 at 18:04
1  
A converse: math.stackexchange.com/q/1674 –  Jonas Meyer Jul 14 '12 at 19:21
    
@user29999 w.r.t. = with respect to –  Matt N. Jul 14 '12 at 20:21
    
@JonasMeyer That's great, thank you very much for the link! –  Matt N. Jul 14 '12 at 20:40

3 Answers 3

up vote 2 down vote accepted

In your $(ii)$ the first term should be $$||T||:=\sup_{||v||\leq 1}||Tv||$$ instead of $||Tv||$.
And your $(iii)$ should be $||(T_m-T_n)v||\leq \varepsilon ||v||$ for all $v\in V$ and for $m,n\geq \nu_{\varepsilon},$ therefore $$||(T-T_n)v||\leq \varepsilon||v||, \forall v\in V,\forall n\geq\nu_{\varepsilon}$$

share|improve this answer
    
Right! (ii) was actually just a typo : ) (not a proper mistake). Thank you! –  Matt N. Jul 15 '12 at 9:00
    
And from $$||(T-T_n)v||\leq \varepsilon||v||, \forall v\in V,\forall n\geq\nu_{\varepsilon}$$ we get $$||(T-T_n)|| = \sup_{\|v\| \leq 1}||(T-T_n)v|| \leq \varepsilon $$ –  Matt N. Jul 15 '12 at 9:05
    
@MattN. It was my pleasure to be useful to you. Bye. –  Giuseppe Tortorella Jul 15 '12 at 9:20

I'm not convinced from your last point (the third). You can prove the convergence simply basing on the fact that $T_n$ is a Cauchy sequence in the operator norm, helping you with the pointwise convergence result that you just obtained. You can in fact fix $m$ (in the Cauchy sequence definition) and let $n$ tend to infinity, using the continuity of the norm and the linearity of the limit. The rest is ok, but you can note that a nice proof of the boundedness of the limit can be obtained as a Banach-Steinhaus theorem consequence. But I just noted that you supposed only the completeness of the codomain, so Banach-Steinhaus is not applicable.

share|improve this answer

Correct in (iii)

(iii) $\|(T -T_n)v\|_{W} < \varepsilon \forall v; \|v\|_V \le 1$ for $n>>1$.

in (ii) Giuseppe said above.

share|improve this answer

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.