| dbp:proof
|
- We have where are the singular values of .
The singular values of are exactly the products of distinct singular values of . In other words, if you list all -tuples with , then the corresponding singular value of is
Thus,
This is the th elementary symmetric function of the singular values of . Let then by expanding the right side, we have (en)
|