№ 908Квантовая теория информацииУровень 3

Единичная чистота и чистое состояние

Чистота матрицы плотности определена как $P(\rho)=\operatorname{Tr}(\rho^2)$. Докажите, что $P(\rho)=1$ тогда и только тогда, когда $\rho=|\psi\rangle\langle\psi|$ для некоторого нормированного $|\psi\rangle$.

Матрица плотности эрмитова, положительна полуопределённо и имеет след 1.