Proving Completeness of a function space

  • Context: Graduate 
  • Thread starter Thread starter vineethbs
  • Start date Start date
  • Tags Tags
    Function Space
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
1 reply · 4K views
vineethbs
Messages
8
Reaction score
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 !
 
Physics news on Phys.org
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: