Suppose
is a C*-algebra and H is a Hilbert space. Let
denote the set of completely positive maps from
into the set B(H) of (bounded linear) operators on H. This paper studies the vector space
spanned by
, i.e., the linear maps that are finite linear combinations of completely positive maps. From another viewpoint, a map ϕ is in
precisely when it has a decomposition ϕ = (ϕ1 – ϕ2) + i(ϕ3 – ϕ4) with ϕ1, ϕ2, ϕ3, ϕ4 in CP
; this decomposition is analogous to the Hahn decomposition for measures [8, 111.4.10] (see also Theorem 20). The analogous class of maps with “completely positive” replaced by “positive” was studied by R. I. Loebl [11] and S.-K. Tsui [17], and when
is commutative, this latter class coincides withi
, since every positive linear map on a commutative C*-algebra is completely positive [16].