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.

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.