Showing that the range of a linear operator is not necessarily closed

  • Thread starter SP90
  • Start date
  • #1
23
0

Homework Statement



Let [itex]T: \ell^{2} \rightarrow \ell[/itex] be defined by

[itex]T(x)=x_{1},\frac{1}{2}x_{2},\frac{1}{3}x_{3},\frac{1}{4}x_{4},...}

Show that the range of T is not closed

The Attempt at a Solution



I figure that I need to find some sequence of [itex]x_{n} \rightarrow x[/itex] such that [itex]T(x_{n})[/itex] is in [itex]\ell^{2}[/itex] but [itex]T(x)[/itex] is not.

I figured that if [itex]x=(\sqrt{1}, \sqrt{2}, \sqrt{3},...)[/itex] then [itex]T(x)[/itex] is the harmonic series, which is not square summable. The problem is, I can't think of any square summable [itex]x_{n}[/itex] which converge to that [itex]x[/itex].

I have a feeling that I'm taking the wrong approach to this. The thing is, I think the operator [itex]T(x)[/itex] must be bounded since [itex]k_{i}^{2} \geq \frac{1}{i^{2}}k_{i}^2[/itex]. Maybe I should be looking for some [itex]x_{n} \rightarrow x[/itex] such that [itex]T(x_{n})[/itex] converges to something other than [itex]T(x)[/itex].
 

Answers and Replies

  • #2
23
0
I thought if I took [itex]x_{n}=(\frac{n}{1},\frac{n}{2^{2}},\frac{n}{3^{2}}...)[/itex], that would work, since [itex]x_{n} \rightarrow \frac{n\pi^{2}}{6}[/itex]. It's clear that [itex]T(x_{n})[/itex] exists for all n, but [itex]x_{n}[/itex] itself diverges. But then obviously the definition of the range being closed is that when [itex]T(x_{n})[/itex] has a limit, that limit is in the range. Obviously since [itex]T(x_{n})[/itex] diverges there's no criteria broken by this.
 
  • #3
23
0
I've solved this now, no need for a response, but if anyone ever comes across a similar problem here is the solution:

Take [itex]x_{n}=(1, \frac{1}{\sqrt{2}}, \frac{1}{\sqrt{3}}, ..., \frac{1}{\sqrt{n}}, 0, 0, 0 ,0,...)[/itex]

Obviously, as a series with a finite number of non-zero terms, it is square summable. Likewise [itex]T(x_{n})[/itex] also exists and is the sequence [itex]x_{n}=(1, \frac{1}{2\sqrt{2}}, \frac{1}{3\sqrt{3}}, ..., \frac{1}{n\sqrt{n}}, 0, 0, 0 ,0,...)[/itex]

Then [itex]T(x_{n}) \rightarrow y[/itex] where y is the infinite sequence of these. When each term is squared and the sum taken, we get the sum of reciprocal cubes. This is bounded by the sum of reciprocal squares, so it is square summable, so the sequence [itex]T(x_{n})[/itex] is convergent. But [itex]T^{-1}(y)[/itex] is the infinite sequence of reciprocal square roots. When each term is squared, the sum of these is the harmonic series, which is not convergent. So [itex]y[/itex] doesn't belong to the range of [itex]T[/itex] (since there is no [itex]x[/itex] in [itex] \ell^{2}[/itex] such that [itex]T(x)=y[/itex])
 

Related Threads on Showing that the range of a linear operator is not necessarily closed

Replies
3
Views
3K
Replies
1
Views
1K
Replies
5
Views
2K
  • Last Post
Replies
0
Views
1K
Replies
5
Views
2K
Replies
13
Views
1K
Replies
3
Views
3K
  • Last Post
2
Replies
31
Views
3K
Replies
2
Views
514
Top