Dejemos que $A$ sea una matriz semidefinida positiva (P.S.D) con un conjunto distinto de valores propios. como es P.S.D su eigendecomposición es la siguiente para los pares propios de $(\lambda_i,v_i)$
$$ A= \begin{bmatrix} v_1 & v_2 & \cdots v_n \end{bmatrix} \begin{bmatrix} \lambda_1 & 0 & \cdots & 0 \\ 0 & \lambda_2 & 0 & \cdots \\ \vdots & & \ddots \\ 0 & \cdots & 0 & \lambda_n \end{bmatrix} \begin{bmatrix} v_1^T \\ v_2^T \\ \vdots \\ v_n^T \end{bmatrix} $$
donde $v_i^Tv_i=1$ y $v_i^Tv_j =0$ para $i \neq j$ . $A$ puede escribirse como la suma siguiente
$$ A= \begin{bmatrix} \lambda_1v_1 & \lambda_2v_2 & \cdots \lambda_nv_n \end{bmatrix} \begin{bmatrix} v_1^T \\ v_2^T \\ \vdots \\ v_n^T \end{bmatrix} = \sum_{i=1}^{n} \lambda_iv_iv_i^T $$
Si $A=I$ es que lo anterior es válido para cualquier conjunto de vectores ortonormales $\{u_i\}_{i=1}^n$ ? Si es así, ¿podría mostrarlo?