# Følner sequence

In mathematics, a Følner sequence for a group is a sequence of sets satisfying a particular condition. If a group has a Følner sequence with respect to its action on itself, the group is amenable. A more general notion of Følner nets can be defined analogously, and is suited for the study of uncountable groups. Følner sequences are named for Erling Følner.

## Definition

Given a group ${\displaystyle G}$ that acts on a countable set ${\displaystyle X}$, a Følner sequence for the action is a sequence of finite subsets ${\displaystyle F_{1},F_{2},\dots }$ of ${\displaystyle X}$ which exhaust ${\displaystyle X}$ and which "don't move too much" when acted on by any group element. Precisely,

For every ${\displaystyle x\in X}$, there exists some ${\displaystyle i}$ such that ${\displaystyle x\in F_{j}}$ for all ${\displaystyle j>i}$, and
${\displaystyle \lim _{i\to \infty }{\frac {|gF_{i}\,\triangle \,F_{i}|}{|F_{i}|}}=0}$ for all group elements ${\displaystyle g}$ in ${\displaystyle G}$.

Explanation of the notation used above:

Thus, what this definition says is that for any group element ${\displaystyle g}$, the proportion of elements of ${\displaystyle F_{i}\ }$ that are moved away by ${\displaystyle g}$ goes to 0 as ${\displaystyle i}$ gets large.

In the setting of a locally compact group acting on a measure space ${\displaystyle (X,\mu )}$ there is a more general definition. Instead of being finite, the sets are required to have finite, non-zero measure, and so the Følner requirement will be that

analogously to the discrete case. The standard case is that of the group acting on itself by left translation, in which case the measure in question is normally assumed to be the Haar measure.

## Examples

• With the original definition of Følner sequence, a countable group has a Følner sequence if and only if it is amenable. An amenable group has a Følner sequence if and only if it is countable. A group which has a Følner sequence is countable if and only if it is amenable.
• A locally compact group has a Følner sequence (with the generalized definition) if and only if it is amenable and second countable.

# = Proof of amenability {{ safesubst:#invoke:Unsubst||date=__DATE__ |\$B

{{#invoke:Category handler|main}}{{#invoke:Category handler|main}}[citation needed] }}== We have a group ${\displaystyle G}$ and a Følner sequence ${\displaystyle F_{i}}$, and we need to define a measure ${\displaystyle \mu }$ on ${\displaystyle G}$, which philosophically speaking says how much of ${\displaystyle G}$ any subset ${\displaystyle A}$ takes up. The natural definition that uses our Følner sequence would be

${\displaystyle \mu (A)=\lim _{i\to \infty }{|A\cap F_{i}| \over |F_{i}|}.}$

Of course, this limit doesn't necessarily exist. To overcome this technicality, we take an ultrafilter ${\displaystyle U}$ on the natural numbers that contains intervals ${\displaystyle [n,\infty )}$. Then we use an ultralimit instead of the regular limit:

${\displaystyle \mu (A)=U-\lim {|A\cap F_{i}| \over |F_{i}|}.}$

It turns out ultralimits have all the properties we need. Namely,

1. ${\displaystyle \mu }$ is a probability measure. That is, ${\displaystyle \mu (G)=U-\lim 1=1}$, since the ultralimit coincides with the regular limit when it exists.
2. ${\displaystyle \mu }$ is finitely additive. This is since ultralimits commute with addition just as regular limits do.
3. ${\displaystyle \mu }$ is left invariant. This is since
${\displaystyle \left|{|gA\cap F_{i}| \over |F_{i}|}-{|A\cap F_{i}| \over |F_{i}|}\right|=\left|{|A\cap g^{-1}F_{i}| \over |F_{i}|}-{|A\cap F_{i}| \over |F_{i}|}\right|}$
${\displaystyle \leq {|A\cap (g^{-1}F_{i}\,\triangle \,F_{i})| \over |F_{i}|}\to 0}$
by the Følner sequence definition.

## References

• {{#invoke:Citation/CS1|citation

|CitationClass=journal }}