Space of convergent sequences