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

In summary, the conversation discusses the space of continuous functions in [0,1], and how it is not complete and therefore not a Hilbert space. The conversation also includes a hint to find a Cauchy sequence that converges to a non-continuous function. One suggestion is to use the sequence ##f_n=x^n##, which converges to a discontinuous function.
  • #1
fluidistic
Gold Member
3,923
261

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
  • #2
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?
 
  • #3
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.
 

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

1. What is a vector space?

A vector space is a mathematical structure that consists of a set of vectors and operations, such as addition and scalar multiplication, that satisfy certain axioms. These axioms include closure under addition and scalar multiplication, associativity and commutativity of addition, and the existence of a zero vector and additive inverse.

2. What does it mean for a vector space to be complete?

A complete vector space is one in which every Cauchy sequence of vectors converges to a unique limit in that space. In other words, there are no "gaps" or "holes" in the vector space.

3. How is completeness related to the concept of a Hilbert space?

A Hilbert space is a complete vector space equipped with an inner product, which is a mathematical operation that generalizes the dot product. Completeness is a necessary condition for a vector space to be a Hilbert space.

4. How can you show that a vector space is not complete?

One way to show that a vector space is not complete is to find a Cauchy sequence of vectors that does not converge to a vector in that space. This can be done by constructing a sequence that "escapes" the space, meaning that it approaches a vector that is not in the space.

5. Are there any well-known examples of vector spaces that are not complete?

Yes, one example is the set of all continuous functions on a closed interval. This space is not complete because there are Cauchy sequences of functions that do not converge to a continuous function. However, this space can be completed by adding the missing limit points, resulting in the space of all square-integrable functions on the interval, which is a Hilbert space.

Similar threads

Replies
1
Views
584
  • Calculus and Beyond Homework Help
2
Replies
43
Views
3K
Replies
11
Views
253
  • Quantum Physics
2
Replies
61
Views
1K
  • Calculus and Beyond Homework Help
Replies
15
Views
1K
  • Calculus and Beyond Homework Help
Replies
9
Views
1K
  • Calculus and Beyond Homework Help
Replies
19
Views
1K
  • Calculus and Beyond Homework Help
Replies
9
Views
2K
  • Calculus and Beyond Homework Help
Replies
4
Views
1K
  • Calculus and Beyond Homework Help
Replies
9
Views
3K
Back
Top