- #1
- 51
- 0
Homework Statement
Let T be a linear transformation over V, a finite-dimensional complex inner product space (with inner product < , >). Suppose T has the singular value decomposition
[tex] Tv = \sum_j^n s_j \left\langle v,e_j \right\rangle f_j [/tex]
where s_1, ... s_n are the singular values of T and (e_1, ..., e_n) and (f_1, ..., f_n) are orthonormal bases of V.
I'm supposed to show that (* denotes adjoint)
[tex] T^*v = \sum_j^n s_j \left\langle v, f_j\right\rangle e_j. [/tex]
The Attempt at a Solution
(I'll suppress the upper limit on the sums. Overline denotes complex conjugation.)
[tex] T^*v = \sum_j \left\langle T^*v, e_j \right\rangle e_j [/tex]
Require <Te_i, v> = <e_i, T*v> for i = 1, ..., n.
Calculating these, I get:
[tex]
\left\langle Te_i,v \right\rangle = \left\langle \sum_j s_j \left\langle e_i, e_j \right\rangle f_j, v \right\rangle = \sum_j s_j \left\langle e_i, e_j \right\rangle \left\langle f_j, v \right\rangle = \sum_j s_j \delta_{ij} \left\langle f_j, v \right\rangle = s_i \left\langle f_i, v \right\rangle
[/tex]
And:
[tex]
\left\langle e_i, T^*v \right\rangle = \left\langle e_i, \sum_j \left\langle T^*v, e_j \right\rangle e_j \right\rangle = \sum_j \overline{\left\langle T^*v, e_j \right\rangle} \left\langle e_i, e_j \right\rangle = \sum_j \overline{\left\langle T^*v, e_j \right\rangle} \delta_{ij} = \overline{\left\langle T^*v, e_i \right\rangle}. [/tex]
Hence for i = 1, ..., n, I obtain:
[tex]
\left\langle T^*v, e_i \right\rangle = \overline{s_i}\left\langle v, f_i \right\rangle
[/tex]
This *almost* gives the desired expression, except for I'm off by the complex conjugate of the s_i's. Where did I go wrong?
Last edited: