Comprobacion

> evalm(transpose(U)&*U); U es ortogonal

[Maple Math]

> evalm(transpose(V)&*V); V es ortogonal

[Maple Math]

> equal(A,U&*Sigma&*V);

[Maple Math]