Proving Completeness of a function space

  • Thread starter vineethbs
  • Start date
  • #1
8
0
Let [tex]F = \left\{f : [0, \infty) \rightarrow R, norm(f) = \sup_{x \in [0,\infty)} \frac{|f(x)|}{x^{2} + 1} < \infty\right\}[/tex]

Is F complete , under the given norm ?

My approach was to look at the pointwise limit of an arbitrary Cauchy sequence, but I am not able to prove that it converges in the metric induced by the norm.

Thank you and Merry Christmas !
 

Answers and Replies

  • #2
8
0
Hi , is the following correct ?
(an outline of the proof )
Given an arbitrary Cauchy sequence (f_{n})
we have that
[tex] \forall \epsilon > 0, \exists n_{\epsilon} \leq m < n \, s.t \sup_{0 \leq x < \infty} \frac{|f_{n}(x) - f_{m}(x)|}{x^{2} + 1} < \epsilon [/tex]

[tex] g_{n}(x) = f_{n}(x)/(x^{2} + 1) [/tex]

this means that [tex] \sup_{ 0 \leq x \infy} |g_{n}(x) - g_{m}(x)| < \epsilon [/tex] for m, n as above

so that [tex] g_{n}(x) \rightarrow g(x) , \forall x, uniformly [/tex]
which means that [tex] \sup_{0 \leq x < \infty} |g_{n}(x) - g(x)| \rightarrow 0 [/tex]

with [tex] f(x) = g(x)(x^{2} + 1) [/tex]

[tex] \sup_{0 \leq x < \infty} |\frac{f_{n}(x) - f(x)}{x^{2} + 1}| \rightarrow 0 [/tex]
[tex] \forall x, \frac{|f(x)|}{x^{2} + 1} \leq \frac{|f_{n}(x) - f(x)|}{x^{2} + 1} + \frac{|f_{n}(x)|}{x^{2} + 1} [/tex] which should give that f \in F ?
Thank you for your time !
 
Last edited:

Related Threads on Proving Completeness of a function space

Replies
4
Views
5K
  • Last Post
Replies
7
Views
14K
Replies
2
Views
6K
  • Last Post
Replies
11
Views
4K
  • Last Post
Replies
15
Views
7K
  • Last Post
Replies
1
Views
4K
  • Last Post
Replies
1
Views
3K
Replies
4
Views
12K
Replies
11
Views
3K
Replies
1
Views
11K
Top