Published online by Cambridge University Press: 09 April 2009
Let E be a topological vector space (over the real or complex field). A well-known geometric form of the Hahn-Banach theorem asserts that if U is an open convex subset of E and M is a subspace of E which does not meet U, then there exists a closed hyperplane H containing M and not meeting U. In this paper we prove, among other things, that if S is a left amenable semigroup (which is the case, for example, when S is abelian or when S is a solvable group, see [3, p.11]), then for any right linear action of S on E, if U is an invariant open convex subset of E containing an invariant element and M is an invariant subspace not meeting U, then there exists a closed invariant hyperplane H of E containing M and not meeting U. Furthermore, this geometric property characterizes the class of left amenable semigroups.