Injectivity of a map between manifolds I'm learning the concepts of immersions at the moment. However I'm a bit confused when they define an immersion as a function $f: X\rightarrow Y$ where $X$ and $Y$ are manifolds with dim$X <$ dim$Y$ such that $df_x: T_x(X)\rightarrow T_y(Y)$ is injective.
I was wondering why don't we let $f$ be injective and say that's the best case we can get for the condition dim$X <$ dim$Y$(since under this condition we can't apply the inverse function theorem)?
Also does injectivity of $df_x$ inply the injectivity of $f$ (it seems that I can't prove it)?
How should we picture immersion as (something like the tangent space of $X$ always "immerses" into the tangent space of $Y$)?
Thanks for everyone's help!

I think a glimpse on the wikipedia's article helps. Immersions usually are not injective because the image can appear "knotted" in the target space. 
I do not think you need $\dim X<\dim Y$ in general. You can define it for $\dim X=\dim Y$, it is only because we need $df_{p}$ to have rank equal to $\dim X$ that made you "need" $\dim X\le \dim Y$. 
I think you can find in classical differential topology/manifold books (like Boothby's ) that an immersion is locally an injection map $$\mathbb{R}^{n}\times \{0\}\rightarrow \mathbb{R}^{m+n}$$You can attempt to prove this via inverse function theorem or implicit function theorem. The proof is quite standard. 
