Introduction. In the past decade or so much work has been done toward extending the classical theory of finite dimensional representations of compact groups to a theory of (not necessarily finite dimensional) unitary representations of locally compact groups. Among the obstacles interfering with various aspects of this program is the lack of a suitable natural topology in the "dual object"; that is in the set of equivalence classes of irreducible representations. One can introduce natural topologies but none of them seem to have reasonable properties except in extremely special cases. When the group is abelian for example the dual object itself is a locally compact abelian group. This paper is based on the observation that for certain purposes one can dispense with a topology in the dual object in favor of a "weaker structure" and that there is a wide class of groups for which this weaker structure has very regular properties. If S is any topological space one defines a Borel (or Baire) subset of S to be a member of the smallest family of subsets of S which includes the open sets and is closed with respect to the formationi of complements and countable unions. The structure defined in S by its Bore! sets we may call the Borel structure of S. It is weaker than the topological structure in the sense that any one-to-one transformation of S onto S which preserves the topological structure also preserves the Borel structure whereas the converse is usually false. Of course a Borel structure may be defined without any reference to a topology by simply singling out an arbitrary family of sets closed with respect to the formation of complements and countable unions. Giving a set of mathematical objects a topology amounts to giving it a sufficiently space-like structure so that one can speak of certain of the objects being "near to" or "far away from" certain others. Giving it a Borel structure amounts to distinguishing a family of "well behaved" or "definable" subsets. In using the terms
[1]
K. Kuratowski.
Espaces métrisables, espaces complets
,
1933
.
[2]
F. Murray.
On Rings of Operators
,
1936
.
[3]
George W. Mackey,et al.
A theorem of Stone and von Neumann
,
1949
.
[4]
J. Neumann.
On Rings of Operators. Reduction Theory
,
1949
.
[5]
G W Mackey,et al.
Imprimitivity for Representations of Locally Compact Groups I.
,
1949,
Proceedings of the National Academy of Sciences of the United States of America.
[6]
André Weil,et al.
L'integration dans les groupes topologiques et ses applications
,
1951
.
[7]
Irving Kaplansky,et al.
The structure of certain operator algebras
,
1951
.
[8]
G. Mackey.
On Induced Representations of Groups
,
1951
.
[9]
G. Mackey.
INDUCED REPRESENTATIONS OF LOCALLY COMPACT GROUPS I
,
1952
.
[10]
G. Mackey.
Induced Representations of Locally Compact Groups II. The Frobenius Reciprocity Theorem
,
1953
.
[11]
Arlen Brown.
THE UNITARY EQUIVALENCE OF BINORMAL OPERATORS.*1
,
1954
.
[12]
Theorie Des Caracteres II. Definition Et Properietes Generales Des Caracteres
,
1954
.
[13]
MULTIPLICITY THEORY FOR OPERATOR ALGEBRAS.
,
1955,
Proceedings of the National Academy of Sciences of the United States of America.
[14]
Spectral Theory for a Class of Nonnormal Operators II
,
1958,
Canadian Journal of Mathematics.