An ergodic theorem for non-invariant measures
Given a space $X$, a $σ$-algebra $\mathfrak{B}$ on $X$ and a measurable map $T:X \to X$, we say that a measure $μ$ is half-invariant if, for any $B \in \mathfrak{B}$, we have $μ(T^{-1}(B)\leq μ(B)$. In this note we present a generalization of Birkhoff's Ergodic theorem to $σ$-finite half-invariant measures.