PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Medium Entry average rating: Medium
amenable group (Definition)

Let $G$ be a locally compact group and $L^\infty(G)$ be the Banach space of all essentially bounded functions $G \to \Rset$ with respect to the Haar measure.

Definition 1   A linear functional on $L^\infty(G)$ is called a mean if it maps the constant function $f(g) = 1$ to 1 and non-negative functions to non-negative numbers.
Definition 2   Let $L_g$ be the left action of $g \in G$ on $f \in L^\infty(G)$ , i.e. $(L_g f)(h) = f(g^{-1}h)$ . Then, a mean $\mu$ is said to be left invariant if $\mu(L_g f) = \mu(f)$ for all $g \in G$ and $f \in L^\infty(G)$ . Similarly, right invariant if $\mu(R_g f) = \mu(f)$ , where $R_g$ is the right action $(R_g f)(h) = f(hg)$ .
Definition 3   A locally compact group $G$ is amenable if there is a left (or right) invariant mean on $L^\infty(G)$ .
Example 1 (Amenable groups)
All finite groups and all abelian groups are amenable. Compact groups are amenable as the Haar measure is an (unique) invariant mean.
Example 2 (Non-amenable groups)
If a group contains a free (non-abelian) subgroup on two generators then it is not amenable.




"amenable group" is owned by mhale.
(view preamble | get metadata)

View style:

See Also: $L^p$-space

Also defines:  amenable, mean
Log in to rate this entry.
(view current ratings)

Cross-references: generators, subgroup, non-Abelian, contains, compact, abelian groups, finite groups, right action, right, invariant, left action, numbers, functions, constant function, maps, linear functional, Haar measure, essentially bounded functions, Banach space, group, locally compact
There are 9 references to this entry.

This is version 6 of amenable group, born on 2002-11-15, modified 2005-02-02.
Object id is 3598, canonical name is AmenableGroup.
Accessed 17535 times total.

Classification:
AMS MSC43A07 (Abstract harmonic analysis :: Means on groups, semigroups, etc.; amenable groups)

Pending Errata and Addenda
None.
[ View all 3 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)