ist ein homogener
hilbertscher Operatorraum :
Alle beschränkten Abbildungen auf
sind normgleich vollständig
beschränkt auf
.
Es gilt sogar
vollständig isometrisch [ER91, Thm. 4.1].
ist ein
injektiver Operatorraum (vgl. [Rob91]).