# Invariant average

invariant mean, on a group or semi-group , more precisely, an invariant mean or average on a space of functions on A continuous linear functional on a closed subspace of the space of all bounded complex-valued functions on , endowed with the supremum norm, that contains the constant functions and is invariant under the operation of complex conjugation, and where and satisfy the following conditions: 1) is invariant under left translation, that is, if then so is , where for all , ; 2) is a mean on , that is, for all and for all real-valued ; and 3) for all and all . In this case the invariant mean is called a left-invariant mean; right-invariant and two-sided invariant means on are defined similarly.
If there exists on a two-sided invariant mean, then the group is called amenable. Amenability of a group is related to the existence of invariant measures (cf. Invariant measure) with respect to certain transformation groups related to (see ). If is a locally compact topological group, then there exists on the spaces of almost-periodic functions and weakly almost-periodic functions on a non-trivial left-invariant mean. On the other hand, the following conditions are equivalent: 1) there exists a left-invariant mean on the space ; 2) there exists a left-invariant mean on the space of bounded continuous complex-valued functions on ; 3) there exists a left-invariant mean on the space of uniformly-continuous bounded complex-valued functions; 4) there exists a two-sided invariant mean on one of the spaces , , ; 5) the group does not have a complementary series (of representations); 6) the support of the regular representation of coincides with the dual space of ; 7) the unit function on can be uniformly approximated on any compactum by finite linear combinations of matrix entries of the regular representation of ; 8) if is a left Haar measure on and is a bounded complex-valued regular Borel measure on such that for all continuous functions with compact support in , then ; 9) there exists for some , , any , and any compactum a non-negative function , , such that for all ; 10) the preceding condition holds for all , ; 11) there exists for any and any compactum a Borel set such that and for all ; and 12) any continuous action of on a compact convex subset of a locally convex space by continuous affine transformations has a fixed point. A locally compact group satisfying any of the equivalent conditions 1)–12) is called amenable. Continuous images of amenable groups, closed subgroups of amenable groups, extensions of amenable groups by amenable groups, and inductive limits of amenable groups are amenable. A uniformly-bounded representation of an amenable group in a Hilbert space is equivalent to a unitary representation in the same space. Some of the results listed above can be extended to the case of general topological groups admitting an invariant mean on the space of bounded continuous complex-valued functions. The theory of invariant means and amenable groups has important applications in the theory of dynamical systems, ergodic theory, the theory of von Neumann algebras, and abstract harmonic analysis (cf. also Harmonic analysis, abstract).