Skip to main content
1 of 2
Ollie
  • 1.4k
  • 9
  • 15

For any contraction $X$ on $H$, the operator $\Gamma(X)$ (in Alain's notation S(X)) is a contraction. It is essentially algebraic to check that a pair of contractions $X,Y$ on $H$ will satisfy $\Gamma(X)\Gamma(Y)=\Gamma(XY)$ and $\Gamma(X)^\*=\Gamma(X^\*)$. So yes, you do get a partial isometry.

See Parthasarathy's book An Introduction to Quantum Stochastic Calculus (especially Exercise 20.22) for a very readable account of these facts.

Ollie
  • 1.4k
  • 9
  • 15