Uncountable infinite dimensional Hilbert space

  • Thread starter r-rashidi
  • Start date
  • #26
vanesch
Staff Emeritus
Science Advisor
Gold Member
5,028
16
George Jones said:
The [itex]T[/itex] that I defined is an inner product space that needs to be completed (made "closed" with respect to Cauchy sequences) in order to obtain a Hilbert space.
Up to here I follow. However, you probably agree that this closure adds (a LOT) of elements to the set, ....
Ah, that's perhaps the key: you have at least a DENSE, countable subset: namely your basis vectors, say, with rational coefficients.
I vaguely remember that there is a theorem that says that a hilbert space that has a countable dense subset is separable, is that the point ?

cheers,
Patrick.

EDIT: I'm beginning to see the point. The basis of the closure is NOT the closure of the basis (which is uncountable)
:approve:
 
Last edited:
  • #27
318
1
vanesch said:
EDIT: I'm beginning to see the point. The basis of the closure is NOT the closure of the basis (which is uncountable)
:approve:
Bravo! (is NOT --> *may be* NOT), hence the additional difficulty.

Seratend.
 
  • #28
George Jones
Staff Emeritus
Science Advisor
Gold Member
7,385
1,004
seratend said:
With such a deduction a real number which is a cauchy sequence of rational numbers implies |R is a countable set from your deduction.
No. And you mean an equivalence class of Cauchy sequences of rational numbers.

seratend said:
In addition, you seem to mix the separability with the closure and the existence of a basis ("This has to be done in order for a countable basis to exist") of an hilbert space that may be countable or not countable and always exists thanks the axiom of choice.
By snipping the context of the quote, you make me appear to say something that I did not. In particular, I did not say that there exists a countable orthonormal basis for the Hilbert space completion of every inner product space.

Regards,
George
 
  • #29
318
1
Does that mean your are satisfied with your demonstration?

Seratend.
 
  • #30
George Jones
Staff Emeritus
Science Advisor
Gold Member
7,385
1,004
seratend said:
Does that mean your are satisfied with your demonstration?
Exercise: Show that any element of T can be approximated arbitrarily closely by a linear combination of elements of B_T that consists of a finite number of terms.

Regards,
George
 
  • #31
14
0
When I had to deal with non-seperable Hilbert spaces, decades ago, all interested students
knew the (in a sense trivial) example cited here by dextercioby and the non-trivial example of 'almost-periodic functions'. Also everybody knew that the Fock space over a seperable Hilbert space (acting as 'one-particle space') is separable. Today I 'know' that all Hilbert spaces are finite-dimensional! Tempora mutantur!
 

Related Threads on Uncountable infinite dimensional Hilbert space

Replies
3
Views
776
Replies
8
Views
1K
Replies
2
Views
2K
Replies
20
Views
2K
Replies
3
Views
539
  • Last Post
Replies
15
Views
1K
Top