Given an amenable group, it is a standard trick to turn a left-invariant mean ( i.e. a continuous positive normalised linear functional $m:\ell\_\infty(G) \to \mathbb{R}$ such that $\forall g \in G, m \circ \lambda\_g = m$ where $\lambda\_g: \ell\_\infty(G) \to \ell\_\infty(G)$ is the left-regular action of $G$) into a bi-invariant mean (also invariant under pre-composition with the right-regular action of $G$).


From this bi-invariant mean one gets a sequence (or a net, when $G$ is uncountable) of almost invariant probability measures (i.e. $\xi\_n \in \ell\_1G$ with $\| \lambda\_g \xi\_n - \xi\_n\|\_1 \to 0$ and $\| \rho\_g \xi\_n - \xi\_n\|\_1 \to 0$). 


$\mathbf{Question}$: Does there exists a bi-invariant Folner sequence? (i.e. a sequence of finite set $F\_n$ such that $\xi\_n = \chi\_{F\_n} /|F\_n|$ is a sequence of almost invariant probability measure)


In other words, is it obvious that the `bi-invariant property'' follow through the same proof as`left-'' and ``right-'' do, or, better, does there exist a simpler argument to show such a sequence exists?



left- and right- Folner sets
Yes, it is obvious. If you have a sequence of probability measures which is approximately invariant on the left, by convolving these measures on the right with the reflected ones you get an approximately invariant sequence of symmetric measures. By applying to this new sequence the standard "slicing" argument (the same as in the one-sided case) one gets symmetric Folner sets. 


