Completely bounded map and minimal tensor products

403 Views Asked by At

Theorem 3.5.2. Let $\phi: A\rightarrow C$ and $\psi: B\rightarrow D$ ($A, B, C, D$ are C*-algebras) be c.p.(completely positive) maps. Then the algebraic tensor product map $$\phi\odot\psi: A\odot B\rightarrow C\odot D$$ extends to a completely positive map. (hence continuous) map on minimal tensor products. Moreover, letting $\phi \otimes \psi: A\otimes B\rightarrow C\otimes D$ we have $||\phi\otimes\psi||=||\phi||~||\psi||$.

Proof. Assume $C\subset B(H)$ and $D\subset B(K)$. Let $\pi_{A}: A\rightarrow B(\bar{H})$, $\pi_{B}: B\rightarrow B(\bar{K})$ be Stinespring dilations of $\phi$ and $\psi$, respectively, and $V_{A}: H\rightarrow \bar{H}$, $V_{B}: K\rightarrow \bar{K}$ the associated bounded linear operators. Then, there is a natural *-homomorphism $\pi_{A}\otimes \pi_{B}: A\otimes B\rightarrow B(\bar{H}\otimes \bar{K})$. Hence we may define $\phi\otimes\psi: A\otimes B\rightarrow C\otimes D$ by the formula $$\phi\otimes \psi(x)=(V_{A}\otimes B_{B})^{*}\pi_{A}\otimes \pi_{B}(x)(V_{A}\otimes V_{B}).$$ Note that $\phi\otimes \psi(a\otimes b)=\phi(a)\otimes\psi(b)$. Hence $\phi \otimes \psi$ is a c.p. which takes values in $C\otimes D$.

I suppose there is nothing difficult in the proof of the Theorem above. But the next Remark confused me.

Remark 3.5.4. It is not hard to extend the previous result to minimal tensor products and c.b. (completely bounded) maps.

My question is how to extend the theorem to c.b. map?

1

There are 1 best solutions below

5
On BEST ANSWER

You do the same proof but using Wittstock instead of Stinespring.