Past exam of the mathematics course of the University of Cambridge / 2019 / iii / Paper 216 / 2 / b / Solution

Because $f$ is a continuous bijection $\mathbb{R}\to \mathbb{R}$, it is a Borel isomorphism. Conditional on $X_{-i}=x_{-i}$, the $i$th coordinate of $F(X)$ has the pushforward of $\pi (d{x}_i\mid x_{-i})$ under $f$. Therefore applying one $K$-update and then $F$ has exactly the same law as applying one $Q$-update to $F(x)$, using the same random coordinate.

Formally, for every Borel set $A$,Composition preserves this conjugacy, so induction on $t$ givesHence