Temos que a topologia $X$ é separável, pois possui bases enumeráveis ([[.:smirnov7|Demonstração]]).