Liboff said that with two operator [A,B] = 0, If some eigenstate of operator A are degenerate, they are not necessarily completely common eigenstate of B.
How is it proved or where can i find proof of this theorem?
Simple example: consider in C^3, the unity operator, 1, and the projector on the first coordinate Px (Px(x,y,z) = (x,0,0) )
Clearly they commute: [1,Px] = 0 (as the unity operator commutes with all).
now, consider the vector (1,2,0). This is an eigenstate of 1 (all vectors are eigenstates of 1). However, it is not an eigenstate of Px. Only vectors of the kind (x,0,0) are eigenstates of Px with eigenvalue 1, and vectors of the kind (0,y,z) are eigenstates of Px with eigenvalue 0. But (1,2,0) is neither.
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