Частичный след по первой половине пары EPR

Для пары EPR

$$|\Phi^+\rangle_{AB}=\frac{|00\rangle+|11\rangle}{\sqrt2},\qquad\rho_{AB}=|\Phi^+\rangle\langle\Phi^+|$$

уже известно $\operatorname{Tr}_B\rho_{AB}=I_A/2$. Убедитесь, что частичный след по $A$ также даёт $\operatorname{Tr}_A\rho_{AB}=I_B/2$. Используйте $\operatorname{Tr}_A(|i\rangle\langle j|\otimes M)=\delta_{ij}M$.