# [Q]Degeneracy and Commutability

1. Oct 27, 2008

### good_phy

Hi

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?

2. Oct 28, 2008

### vanesch

Staff Emeritus
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.