A multiple ergodic average is an average of products of functions evaluated at different iterates of a measure-preserving
map .
For bounded measurable functions
, ...,
and integer slopes
, ...,
,
a linear multiple ergodic average is
Negative slopes require an invertible map whose inverse is a measurable function. For one function, Birkhoff's ergodic theorem describes the almost everywhere convergence of these averages under its integrability and ergodicity hypotheses.