поэтому
Символ обозначает операцию усреднения с помощью весовой функции независимо от того, является ли истинной плотностью вероятности, или нет.
Под действием оператора сжатия начальное состояние матрицы плотности принимает вид
Первый момент в новом состоянии задается, следовательно, выражением
и с помощью (21.3.15) мы получаем формулу
Подобным образом находим из (21.3.16), что
Отсюда следует, что дисперсия в новом состоянии имеет вид
Сравнивая выражения (21.3.18) и (21.3.22), мы видим, что при
что и требовалось доказать.