Let $K(\cdot|\cdot)$ be a Markov kernel. For a measure probability $\mu$, denote by $K\mu$ the probability measure induced by $K$ and $\mu$, i.e. $(K\mu)(A):=\int_\Omega \mu(d\omega)K(A|\omega)$ for each (Borel) measurable $A$. 

For an appropriate notion of "distance" $d$ between distributions, one would like a result saying that that whenever $d(\mu,\nu)\leq \epsilon$ then $d(K\mu,K\nu)\leq \epsilon\cdot C$, for some constant $C$ not depending on $\epsilon$. 

Also, convergence in distance $d$ should imply convergence of measures in an appropriate metric.

I am aware of a result along these lines for the $\ell_1$-distance attributed to Dobrushin, see [**this question**][1]; but did not find a reference for that. Any (introductory) references to results concernig other types of distances would be much appreciated as well.


  [1]: https://mathoverflow.net/questions/438622/an-inequality-relating-ell-1-distance-of-input-and-output-of-a-markov-krnel