
An invariant mean on a group G is a normalized, positive, translation invariant linear functional defined on the space of cll bounded complex valued functions on G. Some groups possess an invariant mean (or are said to be amenable), while others do not. In particular, all abelian groups are amenable [2, ?17.5 ]. An invariant mean on a group need not be inversion invariant. It is quite easy to show, however, that if a group is amenable, then there exists an invariant mean that is also inversion invariant [2, ?17.19a]. The purpose of this note is to prove that on a nontorsion abelian group, there must exist invariant means that are not inversion invariant. More specifically it is shown that no "elementary" (or extremnal) invariant mean on a nontorsion abelian group is inversion invariant. For a finite abelian group, there exists a unique invariant mean which must be inversion invariant. For an infinite torsion abelian group, it is not clear just what the situation is. (See Remark 4.) While this note concerns itself only with the question of the inversion invariance of invariant means defined on the space of all bounded functions on an abelian group, this question is perhaps of even more interest in the more general context of invariant means defined on some "suitable" subspace of functions on an arbitrary (perhaps topological) group. The known results seem to indicate that this question may be related to the question of uniqueness of invariant means. Let G be an abelian group and let B(G) denote the complex Banach space of bounded complex valued functions on G in which |Ifil =sup{ f(x) |xCG}. An element LCB(G)* (the conjugate space of B(G)) is said to be an invariant mean on G if (1) ||L|| = 1; (2) Lf _o for f>O; and (3) Lf,=Lf for each xCG and feB(G), where fx(y) =f(xy) for yCG.' An abelian group always has an invariant mean; for this result and further information about invariant means consult [2, ?17]. For each function fC B (G), let f* denote the function defined on G such that f*(x) =f(x-1) for xCG. Similarly, for each functional LCB(G)*, let L* denote the functional defined on B(G) such that L*(f) = L(f*) for each f G B(G). A functional L G B(G) * is said to be inversion invaricant if L= L*. If L is an invariant mean on G, then the
functional analysis
functional analysis
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 1 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
