How to show $X=\{p\in M: \textrm{ker}(df(p))=\{0\}\}$ is open in $M$? Let $M$ and $N$ be two smooth manifolds and $f:M\longrightarrow N$ a $C^\infty$ map. We say $f$ is an immersion at $p\in M$ if $df(p):T_pM\longrightarrow T_{f(p)}N$ is injective.
How can I show the set $X=\{p\in M: \textrm{ker}(df(p))=\{0\}\}$ is open in $M$?
A similar result also holds if $f$ is a submersion or if $f$ is étale. 
 A: If $\dim (N)<\dim (M)$, then necessarily $\mathrm{d}f(p)$ can never be injective, and so, in your notation, $X=\emptyset$, which is obviously open.
Thus, let us assume that $\dim (M)\geq \dim (N)$.  Then, using your definition of $X$, $X=\left\{ p\in M:\mathrm{rk}(\mathrm{d}f(p))=m\right\}$, where $m:=\dim (M)$.  To show that $X$ is open, we show that $X^C=\left\{ p\in M:\mathrm{rk}(\mathrm{d}f(p))<m\right\}$ is closed.  The statement that the rank of a matrix $A$ is less than $m$ is equivalent to the statement that the determinant of all $k\times k$ sub-matrices with $k\geq m$ vanish.  Thus, $X^C$ is the intersection of the zero set of finitely many continuous functions (the functions being the determinants of the $k\times k$ sub-matrices of $\mathrm{d}f(p)$ with $k\geq m$), and so $X^C$ is closed.
A: Consider $f$ in local trivializations around $p \in M$ and $f(p) \in N$. There, at points $q$ close to $p$, $df(q)$ is just a smoothly varying $\dim(M) \times \dim(N)$-matrix. Thus, from basic linear algebra, $df(q)$ is injective iff $rank(df(q)) = \dim(M)$. Now, if $\dim(M) > \dim(N)$, then the rank-condition on $df(q)$ is nowhere true, so we have $X = \emptyset$, which is open in $M$. So let's assume $\dim(M) \leq \dim(N)$. Then, again from linear algebra, $df(q)$ is injective iff it contains a $\dim(M) \times \dim(M)$-submatrix with nonzero determinant. If this determinant is nonzero at $q$, it's nonzero on a neighborhood of $q$. All in all, we have shown that each point in $X$ is an inner point. So $X$ is open in $M$, as desired.
