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

This guarantees the existence of maximal sets.In summary, the conversation discusses the existence of a maximal complete set of commuting observable and whether it can be proven. It is suggested that while it is easy to write down such a set in certain cases, proving its existence in every case may require the axiom of choice. The conversation also mentions Zorn's Lemma as a way to prove the existence of maximal sets.
  • #1
pythagoras88
17
0
Hi,

Just wondering, can we prove that there is a maximal complete set of commuting observable?
 
Physics news on Phys.org
  • #2


pythagoras88 said:
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.
 
  • #3


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?
 
  • #4


pythagoras88 said:
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).
 

1. Can you explain what a maximal complete set of commuting means in the context of science?

A maximal complete set of commuting refers to a group of physical quantities in a quantum mechanical system that can be measured simultaneously without affecting each other. These quantities are known as commuting observables, and their corresponding operators can be simultaneously diagonalized, leading to a complete set of compatible eigenstates.

2. How can we prove the existence of a maximal complete set of commuting?

There is no direct way to prove the existence of a maximal complete set of commuting. However, it can be inferred from the Heisenberg uncertainty principle, which states that certain pairs of observables cannot be measured simultaneously with arbitrary precision. Therefore, if a set of observables can be measured without violating the uncertainty principle, it can be considered a maximal complete set of commuting.

3. Are there any real-world applications of a maximal complete set of commuting?

Yes, there are several real-world applications of a maximal complete set of commuting. One example is in quantum information processing, where a complete set of commuting observables is used to encode and manipulate quantum states. It is also essential in quantum mechanics to accurately describe and predict the behavior of physical systems.

4. Can a maximal complete set of commuting change over time?

Yes, a maximal complete set of commuting can change over time. This is because in quantum mechanics, the values of observables can change with time due to the system's evolution. As a result, the set of commuting observables can also change over time.

5. Can we prove the existence of a maximal complete set of commuting experimentally?

No, it is not possible to prove the existence of a maximal complete set of commuting experimentally. However, its existence can be supported by experimental evidence, such as observing the simultaneous measurement of compatible observables without violating the uncertainty principle. This provides indirect evidence for the existence of a maximal complete set of commuting in a physical system.

Similar threads

Replies
12
Views
1K
  • Quantum Physics
Replies
1
Views
537
  • Quantum Physics
Replies
33
Views
2K
Replies
1
Views
699
  • Quantum Physics
Replies
13
Views
1K
Replies
11
Views
2K
Replies
5
Views
748
  • Quantum Physics
Replies
7
Views
2K
Replies
19
Views
1K
  • Quantum Physics
Replies
4
Views
1K
Back
Top