Dilatación de Stinespring

Teorema de representación que expresa cualquier aplicación lineal completamente positiva Φ entre álgebras de operadores como un incrustación isométrica en un espacio de Hilbert mayor seguida de la traza parcial sobre un entorno auxiliar: existe un espacio de Hilbert E y una isometría V: H → K ⊗ E tal que Φ(ρ)=Tr_E[VρV†].