Definition

Let π:AB(Hπ)\pi:A\to\mathcal B(H_\pi) and ρ:AB(Hρ)\rho:A\to\mathcal B(H_\rho) be of the same algebra. They are unitarily equivalent if there is a U:HπHρU:H_\pi\to H_\rho such that

Uπ(a)=ρ(a)U(aA).U\pi(a)=\rho(a)U\qquad(a\in A).

Equivalently, ρ(a)=Uπ(a)U\rho(a)=U\pi(a)U^* for every aa. The unitary UU is an intertwiner, and it identifies the representations together with their Hilbert-space . Similarity by a merely bounded invertible operator is not the defined here.

Equivalence relation

Unitary equivalence is reflexive, symmetric, and transitive: use the identity, UU^*, and composition of implementing unitaries, respectively. It is therefore meaningful to classify representations by unitary-equivalence classes rather than by chosen Hilbert-space realizations.

Preserved structure

The intertwining relation carries invariant and cyclic subspaces from one representation to the other. It also preserves kernels, faithfulness, nondegeneracy, irreducibility, and multiplicities in direct-sum decompositions. Moreover, their satisfy

Uπ(A)U=ρ(A),U\pi(A)'U^*=\rho(A)',

so they are spatially isomorphic. These basic invariances are part of the theory developed in Pedersen, Chapter 3.

Pointed cyclic representations

For with pointed triples (π,H,ξ)(\pi,H,\xi) and (ρ,K,η)(\rho,K,\eta), equivalence of the pointed triples additionally requires Uξ=ηU\xi=\eta. The uniqueness statement in the is of this stronger pointed form. Two unpointed representations can be unitarily equivalent even when a chosen is not carried to another chosen vector.

References
  1. Gerard J. Murphy, C-Algebras and Operator Theory*, Academic Press, 1990. DOI record. Relevant: Chapter 3 on representations and intertwiners.
  2. Gert K. Pedersen, C-Algebras and Their Automorphism Groups, 2nd ed., Academic Press, 2018. DOI record. Relevant: Chapter 3 on unitary equivalence and cyclic representations.