Para los operadores lineales $A_n$ , $A$ en un espacio vectorial de dimensión finita $V$ Estoy tratando de demostrar la equivalencia de
- $\|A_n - A\| = \sup_{x \in \mathbb{C}^n, |x| = 1} |A_nx-Ax| \to 0$ como $n \to \infty$ (Convergencia uniforme; en adelante UC)
- $\forall x\in V: $ $|A_n x - Ax| \to 0$ como $n \to \infty$ (Convergencia Fuerte; en adelante SC)
- $\forall x, y \in V: |\langle A_n x, y \rangle - \langle Ax, y \rangle | \to 0$ como $n \to \infty$ (Convergencia débil; en adelante WC)
Puedo mostrar
- $(UC) \implies (SC)$ : Dejemos que $x \in V$ . Entonces $ x = \lambda y$ para $\lambda \in \mathbb{F}$ y $y \in V$ s.t. $|y| = 1$ . Así, \begin{eqnarray*} |A_n x - Ax| = \lambda|A_n y - Ay|\leq \lambda\|A_n - A\| \to 0. \end{eqnarray*}
- $(SC) \implies (WC)$ por Cauchy-Schwarz, \begin{eqnarray*} |\langle A_n x, y \rangle - \langle Ax, y\rangle| = |\langle (A_n-A) x, y \rangle | \leq \langle (A_n-A)x, (A_n-A)x \rangle \langle y, y \rangle = |A_n x - Ax| \cdot |y| \to 0. \end{eqnarray*}
Para establecer la equivalencia, también necesito $(WC) \implies (UC)$ pero ahora mismo no tengo ni idea de cómo mostrarlo. En particular, asumo que necesito usar la dimensión finita de alguna manera, pero no estoy seguro de cómo.