Dada la descomposición SVD $ A=V\Sigma U^T $ (U y V son ortonormales y $ \Sigma $ es una matriz diagonal), quiero demostrar que $ AA^T=U\Sigma \Sigma ^TU^T $ es la descomposición EVD de $ AA^T $ (lo mismo ocurre con $ A^TA=V^T \Sigma ^T \Sigma V $ ).
Es fácil ver que efectivamente $ AA^T=U\Sigma \Sigma ^TU $ . Pero no entiendo por qué los valores en $ \Sigma \Sigma ^T $ de la diagonal son $ AA^T $ de los valores propios.