¿Cuál es la forma correcta de demostrar : el operador de densidad $\hat{\rho}$ de un estado puro tiene exactamente un valor propio distinto de cero y es la unidad, es decir
la matriz de densidad adopta la forma (después de diagonalizar): \begin{equation} \hat{\rho}= {\begin{bmatrix} 1 & 0 & \cdots & 0 \\ 0 & 0 & \cdots & 0 \\ \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & \cdots & 0 \\ \end{bmatrix}} \end{equation}
Para estado mixto: $\hat{\rho}=\sum \limits_{i}P_{i}|\psi_{i}\rangle\langle\psi_{i}|$
Para cualquier estado: $Tr(\hat{\rho})=\sum\limits_{i}P_{i}=1$
Para el estado puro: $\hat{\rho}=|\psi\rangle\langle\psi|$
$|\psi\rangle$ es el vector de estado del sistema
$P_{i}$ es la probabilidad de estar en el estado $|\psi_{i}\rangle$ que son los valores propios del operador de densidad.