Stationarity

A probability measure is stationary or invariant for the kernel P if where right multiplication by a measure is defined by

This is the basic property required of an MCMC sampler, that it have a specified stationary distribution .