Young Gauss meets dynamical systems (Q536596)

One of the important concepts of contemporary mathematics is that of a measurable dynamical system. It is defined as a triple \((M,T,\mu)\), where \(M\) is an abstract space, \(\mu\) is a finite positive measure defined on a \(\sigma \)-algebra \(\Sigma\) of subsets of \(M,\) and \(T:M\rightarrow M\) is a measurable map that is invariant under the action of \(\mu\) in the sense that \[ \int_{M}f(k)\, d\mu=\int_{M}f(T(k)) \,d\mu \] for all \(f\in L^{1}(\mu)\). This interesting note relates Gauss's famous trick for computing the sum of consecutive positive integers (like \(1+2+3+\cdots+99+100\)) to measurable dynamical systems and Weyl's Ergodic Theorem.