
In this paper we prove two theorems relating positive definite measures to induced representations. The first shows how the injection of a positive definite measure on a topological group H into a containing locally compact group G in which H is closed gives rise to induced representations. The second is another version of Mackey's imprimitivity theorem, along the lines of Loomis' proof [5]. We feel this is justified on several grounds. Firstly, our proof is simpler than Loomis'. We make no use of the Radon-Nikodym theorem nor of quasi-invariant measures. Secondly, we do not assume in advance that our system of imprimitivity is based on the reduced algebra of Borel sets in G/H. Instead, this fact is seen as a consequence of the theorem. Finally, the statement and proof of Theorem 2 in [5] are in need of minor repairs. Using Loomis' notation, the induced representation space of Vis spanned, not by the set of functions {fu: uCH}, but rather by the set { [E]fu: uCH, E a Borel subset of G/K}. Formula (8) must then be replaced by formula (11) in the statement of the theorem. The algebra Co(SXG) used in the present paper may be looked upon as a device for accomplishing these changes. All nonobvious definitions, notations, and conventions are those of [1i].
functional analysis
functional analysis
| citations 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). | 40 | |
| 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). | Top 1% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
