Amenable group

From Groupprops
Revision as of 21:31, 3 October 2007 by Vipul (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Definition

An amenable group' is a locally compact topological group equipped with an additional structure of a left (or right) invariant mean. A mean on a locally compact group G is a linear functional on L^\infty(G) (the Banach space of essentially bounded functions from G to \R) that maps nonnegative functions to nonnegative functions and sends the constant function (valuing everything to 1) to 1.

By left-invariant we mean that the mean is invariant under the action of the group on the space L^\infty(G).

We can also define amenability purely in the context of discrete groups, in which case the definition becomes far simpler. Check out amenable discrete group.