Singular Value Decomposition Definition