Let n≥2 and K be a number field of characteristic 0. Jacobian Conjecture asserts for a polynomial map P from Kn
Nearby in the stack
to itself, if the determinant of its Jacobian matrix is a nonzero constant in
K
then the inverse
P−1
exists and is also a polynomial map. This conjecture was firstly proposed by Keller in 1939 for
Kn=C2
and put in Smale's 1998 list of Mathematical Problems for the Next Century. This study is going to present a proof for the conjecture. Our proof is based on Drużkowski Map and Hadamard's Diffeomorphism Theorem, and additionally uses some optimization idea.