You are currently browsing the category archive for the ‘C*-Algebras & Operator Theory’ category.
This starts on P.58 rather than p.53. I underline my own extra explanations, calculations, etc. The notation varies on occasion from Murphy to notation which I prefer.
is always a Hilbert space.
is the set of unit vectors.
If is a finite-rank projection on
, then the C*-algebra
is finite dimensional. To see this, write
, where
. If
, then
Hence, , (
) (*), and therefore is finite dimensional.

Recent Comments