Namespaces
Variants
Actions

Algebra of measures

From Encyclopedia of Mathematics
Revision as of 16:10, 1 April 2020 by Ulf Rehmann (talk | contribs) (tex encoded by computer)
Jump to: navigation, search


measure algebra

The algebra $ M(G) $ of complex-valued regular Borel measures on a locally compact Abelian group $ G $ that have bounded variation, with the ordinary linear operations and with convolution as multiplication (cf. Harmonic analysis, abstract). The convolution $ \lambda \star \mu $ of the measures $ \lambda , \mu \in M (G) $ is completely defined by the condition that, for any continuous function $ f $ on $ G $ with compact support,

$$ \int\limits _ { G } f d ( \lambda \star \mu ) = \int\limits _ { G } \int\limits _ { G } f ( x + y ) d \lambda ( x ) d \mu ( y ) . $$

If the total variation of a measure is taken as norm, $ M(G) $ becomes a commutative Banach algebra over the field of complex numbers. The algebra of measures $ M(G) $ has a unit which is the $ \delta $- measure located at the zero of the group. The set of discrete measures contained in $ M(G) $ forms a closed subalgebra.

To each function $ f $ which belongs to the group algebra $ L _ {1} (G) $ may be assigned a corresponding measure $ \mu _ {f} \in M(G) $ in accordance with the rule

$$ \mu _ {f} ( E ) = \int\limits _ { E } f d x $$

(integral with respect to the Haar measure). The result is an isometric isomorphic imbedding $ L _ {1} (G) \rightarrow M(G) $. Under this imbedding the image is a closed ideal in $ M(G) $.

The Fourier–Stieltjes transform of a measure $ \mu \in M(G) $ is the function $ \widehat \mu $ on the dual group $ \widehat{G} $ defined by the formula

$$ \widehat \mu ( \chi ) = \int\limits _ { G } \overline \chi \; d \mu . $$

Then $ \widehat{ {\lambda \star \mu }} = \widehat \lambda \cdot \widehat \mu $ and $ \| \mu \| = 0 $ if $ \widehat \mu \equiv 0 $. In particular, $ M(G) $ is an algebra without a radical.

If the group $ G $ is not discrete, then the structure of the measure algebra $ M(G) $ is extremely complicated: It is not symmetric and its space of maximal ideals has a number of pathological properties. For instance, this space contains infinite-dimensional analytic sets, and the naturally imbedded group $ \widehat{G} $ in it is not dense even in the Shilov boundary. Nevertheless, the idempotent measures, i.e. measures for which $ \mu \star \mu = \mu $, are known. Each idempotent measure is a finite integer combination $ n _ {1} \mu _ {1} + \dots + n _ {k} \mu _ {k} $, where $ \mu _ {i} = \chi _ {i} \nu _ {i} $, and where $ \nu _ {i} $ is the Haar measure of a compact subgroup, and $ \chi _ {i} $ is a character. In the case $ G = \mathbf Z $ this means that a sequence $ (c _ {m} ) $ of zeros and ones is the Fourier–Stieltjes transform of some measure on the circle if and only if $ (c _ {m} ) $ differs from a periodic sequence by not more than a finite number of terms.

In the general case the theorem on idempotent measures can be naturally interpreted in terms of the cohomology spaces of dimension zero of the space of maximal ideals. A satisfactory description is also known for other cohomology groups of the space of maximal ideals of the measure algebra. This makes it possible to tell, in particular, if a logarithm of an invertible measure from $ M(G) $ can be taken (one-dimensional integral cohomology).

References

[1] W. Rudin, "Fourier analysis on groups" , Interscience (1962)
[2] J.L. Taylor, "The cohomology of the spectrum of a measure algebra" Acta Math. , 126 (1971) pp. 195–225

Comments

References

[a1] C.C. Graham, O.C. McGehee, "Essays in commutative harmonic analysis" , Springer (1979) pp. Chapt. 5
[a2] J.L. Taylor, "Measure algebras" , Amer. Math. Soc. (1972)
How to Cite This Entry:
Algebra of measures. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Algebra_of_measures&oldid=45071
This article was adapted from an original article by E.A. Gorin (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article