Definition 0.1 A representation of a topological–algebra is defined as a continuous –morphism from
to , where
is a topological groupoid, (usually a locally compact groupoid,
), is a Hilbert spacehttp://physicslibrary.org/encyclopedia/NormInducedByInnerProduct.html, and is the -algebra of bounded linear operators on the Hilbert space ; of course, one considers the inductive limit (strong) topology to be defined on
, and then also an operatorweak topology to be defined on .
"representation of a Cc(G)*- topological algebra" is owned by bci1.