Notes about math, research, and more.
Definition
A \(C^\ast\text{-algebra}\) is a Banach star algebra whose norm satisfies the \(C^\ast\text{-identity}\).
Properties derived from \(C^\ast\text{-identity.}\)
Let \(A\) be a (no necessarily unital) \(C^\ast\text{-algebra}\).
- The spectral radius of a normal element is equal to the norm: \[ r(a)= \left\| a \right\|\] for all normal \(a \in A\).
- A \(\ast\text{-homomorphism}\) \(\pi:A \to B\) between \(C^\ast\text{-algebras}\) is contractive, hence continuous.
- An injective \(\ast\text{-homomorphism}\) \(\pi:A \to B\) between \(C^\ast\text{-algebras}\) is isometric.