Invariant extensions of linear functionals, with applications to measures and stochastic processes