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 17 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 18156 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)