El conjunto de todas las matrices invertibles no es compacto. No se garantiza que exista un mínimo, pero puedes mirar en cambio el ínfimo. Mostraremos que $\inf_T\|TAT^{-1}\|_2=\rho(A)$ y $\inf_T\|TAT^{-1}\|_F=\sqrt{\sum_i|\lambda_i(A)|^2}$.
Es claro que $\|TAT^{-1}\|_2\ge\rho(TAT^{-1})=\rho(A)$. Además, dado que la norma de Frobenius es invariante unitariamente y cada matriz compleja es unitariamente triangularizable, $\|TAT^{-1}\|_F$ siempre está acotada por debajo por $\sqrt{\sum_i|\lambda_i(A)|^2}$.
Ahora, supongamos que $T_1AT_1^{-1}$ es la forma normal de Jordan de $A$. Sea $T_2=\operatorname{diag}(1,k,k^2,\ldots,k^{n-1})$ donde $k>0$. Cuando $k\to+\infty$, $T_2(T_1AT_1^{-1})T_2^{-1}\to\operatorname{diag}(\lambda_1,\ldots,\lambda_n)$. Por lo tanto, su norma inducida $2$ se acerca a $\rho(A)$ y su norma de Frobenius se acerca a $\sqrt{\sum_i|\lambda_i(A)|^2}$. Por lo tanto, los dos límites inferiores son infimos.
1 votos
¿Qué norma quieres minimizar? Hay varias normas en el espacio de matrices - norma del operador, normas vectoriales l^p, etc. Además, ¿estás considerando el caso real o complejo?
0 votos
La norma que quiero minimizar es la norma-2, pero la norma de Frobenius también funciona porque limita (estrechamente) la norma-2. La matriz A es real en algunas aplicaciones e imaginaria en otras. Cualquiera de las soluciones ayudaría.