Exploring Hilbert Spaces: Questions & Answers

In summary: The norm of a Hilbert space is defined by the inner product. A norm is a function that satisfies some properties, such as positive definiteness, homogeneity and the triangle inequality. In a Hilbert space, the norm is defined by the inner product as you stated. But not all norms in a Hilbert space are necessarily defined by an inner product. Yes, that's a suitable assumption. In fact, a Hilbert space is defined as a complete inner product space. A Banach space is a complete normed space (normed space meaning it has a norm). So a Hilbert space is a special case of a Banach space, where the norm is defined by an inner product.
  • #1
Oxymoron
870
0
A Hilbert Space is a complete inner product space.

My first question: From the definition above, is it safe to say that every sequence in a Hilbert Space converges? And so can we say that Hilbert Spaces only contain Cauchy sequences?

Second question: These 'sequences' that we talk about in Hilbert spaces, can they be sequences of anything? Like sequences of functions, sequences of elements (like complex numbers), sequences of inner products?

Third question: Why is [itex]l_2[/itex], the set of all square-summable sequences, the only [itex]l_p[/itex] space that is a Hilbert space?

Fourth question: The Cauchy-Schwartz Inequality

[tex]|\langle x,y \rangle \leq \|x\|\|y\|[/tex]

This always holds in a Hilbert space right? In which instances does it not hold?

Fifth question: What are the differences between Hilbert Spaces and Banach Spaces? The only thing I know is that Hilbert spaces are 'nicer' than Banach spaces because of something to do with the parallelogram law - which in turn makes Fourier analysis work better or something...I don't really know.

That will do for now.
 
Last edited:
Physics news on Phys.org
  • #2
Consider two spaces:

1. [tex] X_1 = C[a,b] [/tex]

2. [tex] X_2 = L_2 [a,b] [/tex]

Now consider the inner product defined as

[tex] \langle f,g \rangle = \int_a^b f(t)\overline{g(t)}dt[/tex]

If we induce this inner product into [itex]X_1[/itex] then we will have an inner product space but NOT a Hilbert space because the axiom fails:

[tex]\langle f,g \rangle = 0[/tex]

the inner product can equal zero and f and g don't have to necessarily be 0 themselves.

But now applying the inner product to [itex]X_2[/itex], this does produce a Hilbert space. But I can't see why this one should work and not the other.
 
  • #3
You really lack a textbook,right?

It's a matter of understanding definitions first and theorems later.

What's the defintion of complete...?Why would this definition imply your first statement/question...?

The elements of a Hilbert space are called VECTORS,because,essentially the H space is a vector space.So all the sequences are sequences of vectors.

For the third question,i'd reccomend Debnath & Mikusinski "Introduction to Hilbert Spaces with Applications".Proving completeness for a space (Banach or Hilbert) is not an easy matter.

For #4,what are the premises of that proposition ??

I'll say:"All Hilbert spaces are Banach spaces.Not all Banach spaces are Hilbert spaces".I'll let you dig the literature for the explanation of my assertion.

Daniel.
 
  • #4
EDIT: Daniel beat me to it!

My first question: From the definition above, is it safe to say that every sequence in a Hilbert Space converges? And so can we say that Hilbert Spaces only contain Cauchy sequences?
No; 'complete' just means that all limit points of convergent sequences in a Hilbert space are contained in the H space. You can still have nonconvergent sequences - they don't define limit points.

Second question: These 'sequences' that we talk about in Hilbert spaces, can they be sequences of anything? Like sequences of functions, sequences of elements (like complex numbers), sequences of inner products?

By definition, sequences are composed of elements. Of course your H space can be made up of functions (defined between two other spaces) - in which case you get a sequence of functions; but the functions would be elements of the space.

I don't know the answer to your 3rd question.

Fourth question: The Cauchy-Schwartz Inequality
This always holds in a Hilbert space right? In which instances does it not hold?
Yes, it holds on all Hilbert spaces.

Fifth question: What are the differences between Hilbert Spaces and Banach Spaces?
Hilbert spaces have inner products, which induce norms. Banach spaces are a more general (less strict) class of spaces, which have norms but not necessarily inner products.
further ref: http://mathworld.wolfram.com/BanachSpace.html.
 
  • #5
Thankyou both for replying...

Dextercioby - you are right I have no textbook and it is making understanding my notes upon revision slightly harder than anticipated.

No; 'complete' just means that all limit points of convergent sequences in a Hilbert space are contained in the H space. You can still have nonconvergent sequences - they don't define limit points.

I see. My mistake! Ok, so in other words, sequences in Hilbert spaces are closed under taking limits? And Hilbert spaces can still have nonconvergent sequences - but if they ARE convergent, their limit must be in the Hilbert space.

Hilbert spaces have inner products, which induce norms. Banach spaces are a more general (less strict) class of spaces, which have norms but not necessarily inner products.

I see, I see. I have a question about terminology here. You say that a Hilbert space has an inner product which INDUCES an norm. Are ALL norms in a Hilbert space induced solely by inner products?

So when talking about Hilbert spaces, the norm is defined by the inner product

[tex]\|x\| = \sqrt{\langle x,x\rangle}[/tex]

Is this the inner product which induces the norm?

EDIT: Typo now fixed
 
Last edited:
  • #7
Why are Hilbert spaces so 'easy' to work with? I mean, I now know that Hilbert spaces are a special case of Banach spaces where the norm is defined by a particular inner product.

Now when are Banach spaces Hilbert spaces? Banach spaces have norms right? So when this norm satisfies

[tex]\|x+y\|^2 + \|x-y\|^2 = 2\|x\|^2 + 2\|y\|^2[/tex]

then the Banach space becomes a Hilbert space with inner product [itex]\langle .,. \rangle[/itex] which induces the norm

[tex]\|x\| = \sqrt{\langle x,x \rangle}[/tex]

Is this a suitable assumption? Or am I simply pulling random memories from the semester? :confused:
 
  • #8
EDIT: I'm several posts behind...

Consider two spaces:
...

Have you already looked at measure theory and Lebesgue integrals? They're necessary prerequisites to define the L2[a,b] space.
If [tex]V= \{ \phi (x) \| \phi:(a,b) \rightarrow C[/tex] and [tex]| \phi | ^2[/tex] is mu-integrable over (a,b)}, then you are CORRECT in thinking that under [tex] \langle f,g \rangle = \int_a^b f(t)\overline{g(t)}dt[/tex] it would NOT be a Hilbert space. There is a way around it - a bit of algebra shows that if instead of using regular equalities "=", you define a different equivalence class (say, '~') where
f~g iff |f - g| = 0 [tex]\mu[/tex]-ae on (a,b) (this stuff is from Cohen, D. p. 15),
then you do get a Hilbert space, specificaly L2[a,b].
In a nutshell, if all the functions in your space are square-mu-integrable, then the only way <f,g> = 0 would be if f=g mu-everywhere (everywhere except at some 'points'); so you use your mu-measure to define an equivalence class where f and g, being equal mu-everywhere, are in the same equivalent class, and so <f,g> =0 if and only if f~g; so you get a Hilbert space.

Could I ask, what textbook are you starting from (and what class will it be for?) I'm using David Cohen's "An introduction to Hilbert space and Quantum Logic), which I'd read for an unnamed elective math class.
 
  • #9
Ok, so in other words, sequences in Hilbert spaces are closed under taking limits? And Hilbert spaces can still have nonconvergent sequences - but if they ARE convergent, their limit must be in the Hilbert space.

...

I see, I see. I have a question about terminology here. You say that a Hilbert space has an inner product which INDUCES an norm. Are ALL norms in a Hilbert space induced solely by inner products?

So when talking about Hilbert spaces, the norm is defined by the inner product

Is this the inner product which induces the norm?

All correct.
 
  • #10
rachmaninoff, I have no textbook - I am working from my notes that I wrote in class (in fact the class had no recommended textbook - which was kind of strange!?).

The class was called - "Introduction to Hilbert Spaces".

Have you already looked at measure theory and Lebesgue integrals?

Well, that's why I can't figure it out? I haven't been taught either of those topics. But what you wrote is re-assuring that I was on the right track - at least the right axiom!
 
  • #11
So when this norm satisfies
...
[tex]\|x+y\|^2 + \|x-y\|^2 = 2\|x\|^2 + 2\|y\|^2[/tex]
...
Is this a suitable assumption?

I don't believe so, does it necessarily induce a unique inner product satisfying all the conditions for a Hilbert space?
 
  • #12
What if I said it was simply a scalar product?
 
  • #13
What do scalar products have to do with it?
 
  • #14
Well, obviously

[tex]\|x\| = \sqrt{\langle x,x \rangle}[/tex]

is the norm in a Hilbert Space. What I am saying is that a Hilbert space can be defined as a special case of a Banach space.

If you consider the special case when the norm of a complex Banach space satisfies

[tex]\|x+y\|^2 + \|x-y\|^2 = 2\|x\|^2 + 2\|y\|^2[/tex]

then, if we only consider this case, the complex Banach space IS a Hilbert space.

Can I say that a Hilbert space is indistinguishable from a Banach space when this is the case?
 
  • #15
I have a feeling that maybe I should have a good look into Lebesgue integration and measure theory before I can understand everything about Hilbert spaces, especially how Fourier analysis is involved.
 
  • #16
Yes, a Hilbert Space is a special case of a Banach space, just as a Banach space is a special case of a Frenet space (a complete metric space).
 
  • #17
A Frenet space!? god damn, how many spaces are there!?
 

1. What is a Hilbert space?

A Hilbert space is a mathematical concept that describes an infinite-dimensional vector space. It is named after the German mathematician David Hilbert and is used in many areas of mathematics, including functional analysis and quantum mechanics.

2. What are the properties of a Hilbert space?

A Hilbert space has several key properties, including the ability to perform vector addition and scalar multiplication, a defined inner product that satisfies certain conditions, and completeness, meaning that all Cauchy sequences in the space converge to a limit within the space.

3. How are Hilbert spaces used in quantum mechanics?

Hilbert spaces are used in quantum mechanics to describe the state of a quantum system. The wave function, which represents the state of a quantum system, is an element of a Hilbert space. This allows for the use of mathematical tools and techniques from Hilbert spaces to study and understand quantum systems.

4. What is the difference between a Hilbert space and a Banach space?

A Banach space is similar to a Hilbert space in that it is a complete vector space with an inner product. However, a Banach space does not have the additional requirement of orthogonality, which is a key property of Hilbert spaces. In other words, all Hilbert spaces are Banach spaces, but not all Banach spaces are Hilbert spaces.

5. How are Hilbert spaces used in image and signal processing?

Hilbert spaces are used in image and signal processing to represent and analyze signals and images as vectors. This allows for the use of mathematical tools and techniques from Hilbert spaces to manipulate and process these signals and images, such as filtering, compression, and reconstruction.

Similar threads

Replies
0
Views
446
  • Differential Geometry
Replies
10
Views
2K
  • Linear and Abstract Algebra
Replies
2
Views
1K
  • Linear and Abstract Algebra
Replies
16
Views
2K
  • Calculus and Beyond Homework Help
2
Replies
43
Views
3K
Replies
13
Views
2K
  • Linear and Abstract Algebra
Replies
2
Views
2K
  • Quantum Physics
Replies
2
Views
888
  • Linear and Abstract Algebra
Replies
4
Views
2K
  • Linear and Abstract Algebra
Replies
4
Views
2K
Back
Top