Hola, uno de los teoremas mas importantes en análisis funcional es el dar condiciones para que en un espacio topológico abstracto haya las definiciones estándar de forma secuencial. El teorema de Eberlein-Smullyan es uno de ellos; existe mas de una demostración de éste; si conoces alguna publícala aquí.
