Assertion: contraction | /r/HasProperty | decomposed into orthogonal direct sum
Facets:
value: canonically
type: MANNER
Source sentences:
text: A contraction T on a Hilbert space can be canonically decomposed into an orthogonal direct sum