61e7b2cf02313d5b.tex
1: \begin{definition}[{\cite[Definition 1.5.9 and Tomiyama Theorem  1.5.10]{Brown-Ozawa}}]\label{d:cond-exp}
2: Let $\A, \B$ be a C*-algebras such that $\B$ is a C*-subalgebra of $\A$. A {\em projection} from $\A$ to $\B$ is a linear map $E:\A \rightarrow \B$ such that $E(b)=b$ for all $b \in \B$. A {\em conditional expectation} $E$ from $\A$ onto $\B$ is projection from $\A$ onto $\B$ such that $E$ is contractive.
3: \end{definition}
4: