Can we prove that there is a maximal complete set of commuting

Hi,

Just wondering, can we prove that there is a maximal complete set of commuting observable?
 

A. Neumaier

Science Advisor
Insights Author
6,851
2,797
Re: Csco

Hi,

Just wondering, can we prove that there is a maximal complete set of commuting observable?
In the cases of interest, it is easy to write one such set down, based on the way the Hilbert space is defined.

On the other hand, proving that every set of commuting observables on every Hilbert space can be extended to a maximal such set probably requires the axiom of choice.
 
Re: Csco

Thanks for the reply.

Do you know of any reference that has the proof for extending every set to a maximal set? Or is this kind of like a trivial fact that does not require much proving?
 

A. Neumaier

Science Advisor
Insights Author
6,851
2,797
Re: Csco

Do you know of any reference that has the proof for extending every set to a maximal set? Or is this kind of like a trivial fact that does not require much proving?
Given some such set S, if it is not maximal, you can (by definition of maximality) add another operator to get a bigger set. Now apply the Lemma of Zorn (which is equivalent to the axiom of choice).
 

Related Threads for: Can we prove that there is a maximal complete set of commuting

Replies
10
Views
4K
Replies
9
Views
4K
Replies
13
Views
1K
  • Posted
Replies
6
Views
2K
Replies
21
Views
4K
Replies
12
Views
3K

Physics Forums Values

We Value Quality
• Topics based on mainstream science
• Proper English grammar and spelling
We Value Civility
• Positive and compassionate attitudes
• Patience while debating
We Value Productivity
• Disciplined to remain on-topic
• Recognition of own weaknesses
• Solo and co-op problem solving

Hot Threads

Top