Si tenemos un espacio vectorial normado X et xn→x débilmente, entonces está claro cómo mostrar que hay una secuencia yn→x fuertemente (como el cierre débil y el cierre fuerte de un conjunto convexo coinciden, basta con considerar el cierre del casco convexo de la secuencia).
Me gustaría saber cómo demostrar la segunda mitad del lema, es decir, que se puede elegir el yn para estar dentro del casco convexo de {x1,x2,..,xn} . ¿Por qué?