ah, wer sagt's denn

Sind A und B C*-Algebren, dann heißt eine Abbildung \varphi \colon A \to B *-Homomorphismus, falls sie linear, multiplikativ und mit der Involution verträglich ist.
Jeder *-Homomorphismus \varphi ist kontrahierend, das heißt, es gilt \|\varphi(a)\| \leq \|a\| für beliebiges a \in A, und daher insbesondere stetig.
Injektive *-Homomorphismen \varphi sind automatisch isometrisch, das heißt, es gilt \|\varphi(a)\| = \|a\| für beliebiges a \in A.
http://de.wikipedia.org/wiki/C*-Algebra#Homomorphismen_zwischen_C.2A-Algebren