Searching in net, I found For an Hilbert space $H$, and an a commuting set $\cal F\subset Hom(H,H)$ of self-adjoint operators. Then under suitable conditions, can be simultaneously (unitarily) diagonalized.( https://en.wikipedia.org/wiki/Compact_operator_on_Hilbert_space#Simultaneous_diagonalisation )
After reading it, I thought about under which conditions is a family of compact positive or normal operators simultaneous diagonalization?
Would you please regard me to answer this question?