Teorema
Sea $I\subseteq \Bbb R$ sea un conjunto cerrado y acotado. Sea $A(t)$ ser un $n\times n$ matriz continua en $I$ .
Sea $X$ ser un $n$ -vector. Sea $F(t,X)=A(t)X$ .
Entonces $F$ es Lipschitz en la variable $X$ .
Prueba
W $$||AX-AY||^2=||A(X-Y)||^2=\sum_{i=1}^n\left(\sum_{j=1}^n a_{ij}(x_j-y_j)\right)^2\\ \leq C_n\sum_{i,j=1}^n|a_{ij}|^2(x_j-y_j)^2\leq C_nK^2n||X-Y||^2$$
Dónde $K>|a_{ij}(t)|\, \forall\, t\in I$ . Tal $K$ existe por el teorema del valor extremo.
Sea $L^2=C_nK^2n$ y obtenemos que $||F(t,X)-F(t,Y)||=||AX-AY||\leq L||X-Y||$ . QED.
No entiendo las desigualdades primera y segunda: ¿Qué es $C_n$ ? ¿Qué permite cambiar la primera suma por la que sigue a la desigualdad? Tampoco entiendo cómo el autor obtuvo la segunda...