Simultaneous Diagonalization For Commuting Self-Adjoint Operators