Assertion: transpose | /r/HasProperty | isometric isomorphism
Facets:
value: with range
type: OTHER
Source sentences:
text: Indeed, let P denote the canonical surjection from V onto the quotient V / W ; then, the transpose P′ is an isometric isomorphism from (V / W )′ into V′, with range equal to W⊥.