Re: Compactness in Hilbert spaces



In article
<27211130.1138663449498.JavaMail.jakarta@xxxxxxxxxxxxxxxxxxxxxx>,
brittanyUK <johanassenbrittany33@xxxxxxxxx> wrote:

> >> Hello
> >>
> >> I am just beginning to learn Hilbert space theory, and have come across
> >> this
> >> problem that has been troubling me for days:
> >>
> >> Let {f_n} be an orthonormal system in H, a Hilbert space, and {a_n} a
> >> sequence in l^2. Then one of the following is compact and one is not.
> >>
> >>
> >> First Set={Sum(b_n)(f_n) where Sum|b_n|^2 =< Sum|a_n|^2 }
....
> >The first is a closed ball, so yes, it's closed and >bounded. The
> >center is the origin, the radius is sqrt(\sum |b_n|^2).
....
>
> Also, how is the first set a closed ball if a_n can be any l^2 sequence?

{a_n} is fixed at the start of the definition of the set. Put

r = sqrt(\sum_n |a_n|^2).

Then you're looking at the set of x = \sum_n b_n f_n whose norms satisfy

|x| = sqrt(\sum_n |b_n|^2) <= r.

(Since the {f_n} are orthonormal.)

--Ron Bruck
.



Relevant Pages

  • Re: Compactness in Hilbert spaces
    ... Then one of the following is compact and one is not. ... >The first is a closed ball, so yes, it's closed and>bounded. ... how is the first set a closed ball if a_n can be any l^2 sequence? ...
    (sci.math)
  • Re: query unique count for field
    ... Michel, ... I am trying to apply this new grouped sequence to ... >> first set of records. ... > and the last query would produce: ...
    (microsoft.public.access.queries)
  • Re: compacteness in infinite dimensional spaces
    ... Let X be a normed vector topological space, of infinite dimension, ... I tried showing some sequence in a closed ball B contains no convergent ... whenever m is not equal to n, so no subsequence is Cauchy. ...
    (sci.math)
  • Re: Grammar First Set
    ... Using the following grammar I have to compute the First. ... your grammar, must begin with *, since that is a terminal symbol. ... On the other hand, if your sequence is FM, then since F is not nullable, ... your first set would be ID and "(". ...
    (comp.theory)
  • Re: query unique count for field
    ... From your valuable help, I now ... I am trying to apply this new grouped sequence to ... > first set of records. ... and the last query would produce: ...
    (microsoft.public.access.queries)