espacios topológicos y formula_3 es una función continua y sobreyectiva