Estoy leyendo un libro de Arnold en la prueba de la topológicamente la equivalencia de las ecuaciones $\dot{x}=Ax$ $\dot{x}=x$ cuando todos los valores propios de la $n \times n$-matriz $A$ tienen parte real positiva. La prueba se basa en la construcción de una función de Lyapunov y la equivalencia de estas declaraciones:
- Existe y métrica Euclidiana $g$ $R^n$ tal que $g(Ax,x)>0$ ($x \neq 0$).
- Existe un positivo-definida de una forma cuadrática $F$ $R^n$ cuya derivada direccional en la dirección de $Ax$ es positivo.
- Existe un elipsoide en $R^n$ con el centro en $0$ de manera tal que en cada punto de $x$ el vector $Ax$ es dirigido hacia el exterior.
Puedo ver la equivalencia de los dos primeros, pero yo realmente no entiendo la tercera, supongo que el elipsoide es definido por $F(x)=g(x,x)=$constante, pero no puedo ver por qué es la equivalente a la primera instrucción, por ejemplo.