A general local ergodic theorem in \(L_ 1\) (Q1067183)

Let \(\{T_ t\}_{t>0}\) be a strongly continuous semi group of linear contractions on the \(L_ 1\) space of a measure space (X,\({\mathcal F},\mu)\). It is shown that if \(f\in L_ 1\) then \(\lim_{t\to 0^+}(1/t)\int^{t}_{0}T_ sf ds\) exists a.e. on X.