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

thinkthere is an explanation there - although I don't remember if parts are left "as exercises" $\endgroup$ – Yemon Choi Apr 13 '12 at 4:23