Stinespring-Dilatation

Ein Darstellungssatz, der jede vollständig positive lineare Abbildung Φ zwischen Operatoralgebren als isometrische Einbettung in einen größeren Hilbertraum gefolgt von einer partiellen Spur über eine Hilfsumgebung darstellt: Es existiert ein Hilbertraum E und eine Isometrie V: H → K ⊗ E mit Φ(ρ)=Tr_E[VρV†].