Surjective, open and submersion all have in common: image has non-empty interior. What about injective and immersion?

182 Views Asked by At

From these:

Does open map imply dimension of domain is greater than or equal to dimension of range? (please don't use sard's theorem)

Dimension of domain is greater than/less than/equal to dimension of range for a smooth surjection/injection/submersion/immersion?

I learned that...

Let $N,M$ be smooth manifolds with respective dimensions $n,m$ and $f:N \rightarrow M$ smooth.

  1. Assume that the image $f(N)$ has nonempty interior. Then $n \geq m$.

    • 1.1. Note: Not sure if this holds if $f(N)$ isn't a smooth embedded/regular $m$-submanifold of $M$. (I asked for clarification in comment in answer in question above.)
  2. If $f$ satisfies any of the ff conditions, then $f$ also satisfies the condition 'The image $f(N)$ has nonempty interior' (and $f(N)$ is a smooth embedded/regular $m$-submanifold of $M$).

    • 'open'

    • 'surjective'

    • 'submersion'

    • 'submersion at some point $p \in N$'

  3. If $f$ satisfies any of the ff conditions, then $n \leq m$.

    • 'injective'

    • 'immersion'

    • 'immersion at some point $p \in N$'

Question 1: Is there some weaker condition that the conditions in (3) have in common analogous to how the conditions in (2) have the common weaker condition 'The image $f(N)$ has nonempty interior'? (Hopefully, the word 'analogous' here rules out the trivial answer of '$n \leq m$'.)

Question 2: Btw, very briefly (or say more if you want), what if anything does closed map imply?

  • (2A. I just figure: since I'm asking all the above, then, hey, maybe 'closed' fits somewhere above. But maybe not since I guess immersion doesn't imply closed the way submersion implies open.)
1

There are 1 best solutions below

0
On

For Q1 the common property is "nowhere open" meaning there is no nonempty open subset whose image is open. You do not even need smoothness of the map, continuity will suffice. Maps on your list in part 3 all have this property and nowhere open implies that the image has empty interior. However, it does not imply that $n\le m$.

For Q2: Nothing of interest to you.