Homepage › Solution manuals › Stephen Friedberg › Linear Algebra › Exercise 6.5.23
Exercise 6.5.23
Answers
We define to be . By the proof of Theorem 6.22, we know that is an unitary operator. Also, by Theorem 6.22 we know is surjective since it’s composition of two invertible functions. Hence we may find some element such that . Now let . Since is linear, we have
Finally, if for some unitary operator and some element . We’ll have
Since is unitary and hence injective, we know that . And thus must equal to . So this composition is unique.