A category theorem in ergodic theory

Доказывается, что множество пар коммутирующих автоморфизмов интервала $[0,1]$ с лебеговой мерой, порождающих группы со слабым перемешиванием, является плотным множеством типа $G_\delta$ в пространстве всех пар коммутирующих автоморфизмов со слабой топологией.