純粋状態に対して密度行列は(idempotent matrix)であるので、純粋状態のエントロピー "s"("ρ")は0である。