Formulation
In the case of a unital C*-algebra, the result is as follows:
Theorem. Let A be a unital C*-algebra, H be a Hilbert space, and B(H) be the bounded operators on H. For every completely positive
there exists a Hilbert space K and a unital *-homomorphism
such that
where is a bounded operator. Furthermore, we have
Informally, one can say that every completely positive map Φ can be "lifted" up to a map of the form .
The converse of the theorem is true trivially. So Stinespring's result classifies completely positive maps.
Read more about this topic: Stinespring Factorization Theorem
Famous quotes containing the word formulation:
“You do not mean by mystery what a Catholic does. You mean an interesting uncertainty: the uncertainty ceasing interest ceases also.... But a Catholic by mystery means an incomprehensible certainty: without certainty, without formulation there is no interest;... the clearer the formulation the greater the interest.”
—Gerard Manley Hopkins (18441889)
“Art is an experience, not the formulation of a problem.”
—Lindsay Anderson (b. 1923)
“In necessary things, unity; in disputed things, liberty; in all things, charity.”
—Variously Ascribed.
The formulation was used as a motto by the English Nonconformist clergyman Richard Baxter (1615-1691)