Sign up ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I've been looking at Folner's Condition recently, and I'm struggling to find a proof for why the existence of a Folner sequence on a locally compact group implies that it is amenable (and the converse to this).

[EDIT: So far I've looked at amenability in terms of invariant means, so my question should be:

"How does to existence of a Folner sequence imply the existence of a left invariant mean on a locally compact group?"]

If anyone could give a proof for this or point me in the direction of one on the internet that I can read that would be really helpful - have struggled to find anything myself.

Thanks in advance, Jo

share|cite|improve this question
Many people (myself included) would DEFINE a group to be amenable if it has a Folner sequence. There are about 500 equivalent definitions of amenability, so you should probably include in your question which one you're using. – Paul Siegel Apr 12 '12 at 19:42
Thanks for the response, I have edited my original post. I hope this makes my question more clear. :) – Jo Williams Apr 12 '12 at 19:49
Jo, you can use the Folner sequence to define an almost invariant mean, then take a limit of these along an ultrafilter to get a genuinely invariant one. See for example these notes, starting page 26, for a discussion in the case of Z. I'm speaking here of the case when G is a discrete group; in the locally compact case matters are a little more complicated. There are many better sources in the literature - recent blog notes of Tao, to give just one example. – Ben Green Apr 12 '12 at 21:00
Google folner sequences imply amenable – Bill Johnson Apr 12 '12 at 21:01
I've found Tao's notes (the ones Ben Green is referring to above),, to be very useful. – Henry Towsner Apr 12 '12 at 22:05

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.