Dilatation de Stinespring

Théorème de représentation qui exprime toute application linéaire complètement positive Φ entre algèbres d'opérateurs comme un plongement isométrique dans un espace de Hilbert plus grand suivi d'une trace partielle sur un environnement auxiliaire : il existe un espace de Hilbert E et une isométrie V : H → K ⊗ E telle que Φ(ρ)=Tr_E[VρV†].