Show that a vector space is not complete (therefore not a Hilbert spac

Click For Summary
SUMMARY

The discussion focuses on demonstrating that the space of continuous functions on the interval [0,1], denoted as C([0,1]), is not complete and therefore not a Hilbert space. The scalar product defined as ##\langle f , g \rangle = \int _0 ^1 \overline{f(x)}g(x)dx## is used to analyze the completeness. A suggested approach involves finding a Cauchy sequence, such as ##f_n = x^n##, which converges to a discontinuous function, specifically highlighting that while the sequence converges to 0 for x in [0,1), it approaches 1 at x=1, thus confirming the lack of completeness.

PREREQUISITES
  • Understanding of Cauchy sequences in metric spaces
  • Familiarity with the concept of Hilbert spaces
  • Knowledge of scalar products and norms in functional analysis
  • Basic understanding of continuous and discontinuous functions
NEXT STEPS
  • Study the properties of Cauchy sequences in different function spaces
  • Explore the definition and properties of Hilbert spaces
  • Investigate the implications of completeness in functional analysis
  • Learn about Fourier series and their convergence properties
USEFUL FOR

Mathematicians, students of functional analysis, and anyone studying the properties of function spaces and Hilbert spaces will benefit from this discussion.

fluidistic
Gold Member
Messages
3,934
Reaction score
286

Homework Statement


Consider the space of continuous functions in [0,1] (that is C([0,1]) over the complex numbers with the following scalar product: ##\langle f , g \rangle = \int _0 ^1 \overline{f(x)}g(x)dx##.
Show that this space is not complete and therefore is not a Hilbert space.
Hint:Find a Cauchy sequence (with respect to the norm ##||f||=\sqrt {\langle f,f \rangle }## of functions in C([0,1])) such that the sequence converges to a non continuous function.

Homework Equations


Hmm.

The Attempt at a Solution



So I have in mind a sequence that reprent a truncated Fourier series that would represent a square wave if the series is never truncated. A kind of Heaviside function.
Or a sequence of Gaussians that would reprent the Dirac delta (but it's not a function).
In that case ##f_n=Ce^{-ax^2n^2}## would make it? I'm somehow confused when n tends to infinity to what happens at x=0.
 
Physics news on Phys.org
fluidistic said:

Homework Statement


Consider the space of continuous functions in [0,1] (that is C([0,1]) over the complex numbers with the following scalar product: ##\langle f , g \rangle = \int _0 ^1 \overline{f(x)}g(x)dx##.
Show that this space is not complete and therefore is not a Hilbert space.
Hint:Find a Cauchy sequence (with respect to the norm ##||f||=\sqrt {\langle f,f \rangle }## of functions in C([0,1])) such that the sequence converges to a non continuous function.


Homework Equations


Hmm.


The Attempt at a Solution



So I have in mind a sequence that reprent a truncated Fourier series that would represent a square wave if the series is never truncated. A kind of Heaviside function.
Or a sequence of Gaussians that would reprent the Dirac delta (but it's not a function).
In that case ##f_n=Ce^{-ax^2n^2}## would make it? I'm somehow confused when n tends to infinity to what happens at x=0.

Try something much simpler, like ##f_n=x^n##. What does that do?
 
Dick said:
Try something much simpler, like ##f_n=x^n##. What does that do?

Hmm since x is between 0 and 1, the sequence would converge to 0.
Edit: Ah yeah at x=1 it's worth 1, a discontinuous function. Wow.
 

Similar threads

  • · Replies 43 ·
2
Replies
43
Views
5K
Replies
1
Views
1K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 0 ·
Replies
0
Views
707
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 19 ·
Replies
19
Views
2K
Replies
9
Views
2K
Replies
9
Views
3K
  • · Replies 61 ·
3
Replies
61
Views
6K
  • · Replies 15 ·
Replies
15
Views
2K