Powered by OpenAIRE graph
Found an issue? Give us feedback
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/ Proceedings of the A...arrow_drop_down
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
image/svg+xml Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao Closed Access logo, derived from PLoS Open Access logo. This version with transparent background. http://commons.wikimedia.org/wiki/File:Closed_Access_logo_transparent.svg Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao
zbMATH Open
Article . 1965
Data sources: zbMATH Open
Proceedings of the American Mathematical Society
Article . 1965 . Peer-reviewed
Data sources: Crossref
Proceedings of the American Mathematical Society
Article . 1965 . Peer-reviewed
Data sources: Crossref
versions View all 3 versions
addClaim

On the Inversion Invariance of Invariant Means

On the inversion invariance of invariant means
Authors: Douglas, R. G.;

On the Inversion Invariance of Invariant Means

Abstract

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

Keywords

functional analysis

  • BIP!
    Impact byBIP!
    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
Powered by OpenAIRE graph
Found an issue? Give us feedback
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).
BIP!Citations provided by BIP!
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.
BIP!Popularity provided by BIP!
influence
This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Influence provided by BIP!
impulse
This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
BIP!Impulse provided by BIP!
1
Average
Average
Average
bronze