El teorema de la invariancia del dominio establece que una función continua y localmente inyectiva entre dos variedades topológicas "n"-dimensionales deben ser abierta.