© 2000 by London Mathematical Society
© The London Mathematical Society
Extremal Matrix States on Operator Systems
Department of Mathematics and Statistics, University of Regina Regina, Saskatchewan S4S 0A2, Canada
Received 15 February 1999.
A classical result of Kadison concerning the extension, via the HahnBanach theorem, of extremal states on unital self-adjoint linear manifolds (that is, operator systems) in C*-algebras is generalised to the setting of noncommutative convexity, where one has matrix states (that is, unital completely positive linear maps) and matrix convexity. It is shown that if
is a matrix extreme point of the matrix state space of an operator system R in a unital C*-algebra A, then
has a completely positive extension to a matrix extreme point
of the matrix state space of A. This result leads to a characterisation of extremal matrix states as pure completely positive maps and to a new proof of a decomposition of C*-extreme points.