Me preguntaba si se cumple lo siguiente:
Deje $M,N$ dos colectores tal que $\dim M\leq \dim N$ $f:M\rightarrow N$ un suave inmersión.
Supongamos que para cualquier conjunto abierto $U\subset M$, $f(U)$ está abierto en $f(M)$, implica que el $f(M)$ es un submanifold de $N$ ?
Sé que si también le pedimos $f$ a ser inyectiva, entonces es una incrustación y $f(M)$ es automáticamente un submanifold de $N$. Pero sin este supuesto, no estoy seguro de que el resultado se mantiene.
Está abierto un mapa en su imagen de alguna manera nos dice que no hay mal auto-intersección en $f(M)$ pero no estoy seguro de que esto es suficiente para tener un submanifold.