I've read that any linear transformation on a finite dimensional inner-product space can be written as the product of an isometry and a unique positive linear transformation.
I've proven this if the transformation is non-singular. How can it be shown in the general case?