The one-dimensional centred maximal function diminishes the variation of indicator functions

We prove sharp local and global variation bounds for the centred Hardy--Littlewood maximal functions of indicator functions in one dimension. We characterise maximisers, treat both the continuous and discrete settings and extend our results to a larger class of functions.