We obtain a new theorem for the non-properness set
$S_f$
of a non-singular polynomial mapping
$f:\mathbb C^n \to \mathbb C^n$
. In particular, our result shows that if f is a counterexample to the Jacobian conjecture, then
$S_f\cap Z \neq \emptyset $
, for every hypersurface Z dominated by
$\mathbb C^{n-1}$
on which some non-singular polynomial
$h: \mathbb C^{n}\to \mathbb C$
is constant. Also, we present topological approaches to the Jacobian conjecture in
$\mathbb C^n$
. As applications, we extend bidimensional results of Rabier, Lê and Weber to higher dimensions.