From these:
I learned that...
Let $N,M$ be smooth manifolds with respective dimensions $n,m$ and $f:N \rightarrow M$ smooth.
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.)
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$'
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.)
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.