PX262 - C9c - compatibility of measurements
- taking a case where and are degenerate eigenfunctions of an operator, , with an eigenvalue,
- taking another operator , which commutes with , ie:
- this shows that is also an eigenfunction of the operator
- the result of will also be an wavefunction, which can be written as a linear combination of some eigenfunctions:
- similarly:
- considering a wavefunction:
- the eigenvalue equation:
- comparing the coefficients:
- this has solutions only if:
- this leads to a quadratic equations leading to two possible eigenvalues of which are generally distinct
- therefore, if there is a degenerate system for one operator, there is generally another operator that can distinguish between the degenerate states