A representation of a -algebra
is a pair
where
is a Hilbert space and
is a
-homomorphism.
is said to be faithful if
is injective.
For example, if is a Hilbert space and
is a
-subalgebra of
, then
where
is the inclusion map is a faithful representation.