| Index: > A B C D E F G H I J K L M N O P Q R S T U V W X Y Z |
|
|||||
For fixed N > 1 consider N polynomials Fi, for 1 ≤ i ≤ N in the variables
and with coefficients in the complex numbers C. The Jacobian determinant J of the Fi, considered as a vector-valued function
is by definition the determinant of the N × N matrix of the
where Fij is the partial derivative of Fi with respect to Xj.
The condition
enters into the inverse function theorem in multivariable calculus. In fact that condition for smooth functions (and so a fortiori for polynomials) ensures the existence of a local inverse function to F, at any point where it holds.
On the other hand in the polynomial case J is itself a polynomial. Since the complex numbers form an algebraically closed fieldAbstract algebra In mathematics, a field F is said to be algebraically closed if every polynomial of degree at least 1, with coefficients in F has a zero in F''. In that case, every such polynomial splits into linear factors. It can be shown that a field J will be zero for some complex values of X1, … , XN, unless we have the condition
Therefore it is a relatively elementary fact that
The Jacobian conjecture is the converseConverse Shoes is an American shoe company. In logic, each implicational statement has a corresponding converse.: it states that
A proof for the two variable case was announced in 2004 by Carolyn Dean , and has been submitted for journal publication.