Para los operadores lineales An , A en un espacio vectorial de dimensión finita V Estoy tratando de demostrar la equivalencia de
- ‖ 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.