Suppose $A$ is a $C^*$ algebra and we have a completely positive contractive map $f \colon A\rightarrow B(H)$ such that $sup_{a,b \in A}\lVert f(ab)-f(a)f(b)\rVert =0$. Can we conclude that $f$ is a $*$-homomorphism?
2026-03-26 18:49:59.1774550999
Completely positive map is $*$-homomorphism
677 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
2
The conditions immediately imply that $f$ is an algebra homomorphism. To show that it preserves adjoints, let $a\in A$ be self-adjoint. Then $a=a_+-a_-$, where $a_+,a_-$ are positive elements of $A$. Then $f(a)=f(a_+)-f(a_-)$ is a difference of positive elements (as $f$ is a positive map), hence self-adjoint. If now $b\in A$ is arbitrary, write $b=b_1+ib_2$, where $b_1,b_2$ are self-adjoint. Then $$f(b)^*=(f(b_1)+if(b_2))^*=f(b_1)-if(b_2)=f(b_1-ib_2)=f(b^*),$$ and therefore $f$ is a $*$-homomorphism.
Indeed, the above work proves the following proposition: