Let together with be a complex inner product space, with induced norm , which is a norm on by claim 2 of The Induced Norm is a Norm, and Induces a Metric. Let be a unitary operator on . Throughout, without a subscript denotes the norm of a vector of and the operator norm of a bounded linear operator on ; the order is that of the ordered field of real numbers. Then the following hold.
1. (Preservation of the norm) For every ,
2. (Bijectivity) is a bijection from onto .
3. (Boundedness and operator norm) is a bounded linear operator on ; consequently it has exactly one operator norm by Existence and Uniqueness of the Operator Norm, and
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.