Definition 41.9.4 (Non-Entangled Cone).label Let $A$ be a unital $C^{*}$-algebra, $S \subset A$ be an operator system, then
\[M_{n}(\complex)_{+} \otimes S_{+} := \bracs{\sum_{j = 1}^na_j \otimes b_j \bigg | \seqf{a_j} \subset M_n(\complex)_+, \seqf{b_j} \subset S_+, n \in \natp}\]
is the non-entangled positive cone of $M_{n}(S)$.
Post a Comment