Formulation of The Conjecture
The condition JF ≠ 0 is related to the inverse function theorem in multivariable calculus. In fact for smooth functions (and so in particular for polynomials) a local inverse function to F exists at any point where JF is non-zero. However k is algebraically closed so JF as a polynomial will be zero for some complex values of X1, …, XN unless it is a non-zero constant function. Therefore it is a relatively elementary fact that:
Proposition: If F has an inverse function G: kN → kN, then JF is a non-zero constant.
The conjecture is the following strengthening of the converse:
Jacobian conjecture: If JF is a non-zero constant, then F has an inverse function G: kN → kN, and G is regular (in the sense that its components are given by polynomial expressions).
Read more about this topic: Jacobian Conjecture
Famous quotes containing the words formulation of, formulation and/or conjecture:
“Art is an experience, not the formulation of a problem.”
—Lindsay Anderson (b. 1923)
“You do not mean by mystery what a Catholic does. You mean an interesting uncertainty: the uncertainty ceasing interest ceases also.... But a Catholic by mystery means an incomprehensible certainty: without certainty, without formulation there is no interest;... the clearer the formulation the greater the interest.”
—Gerard Manley Hopkins (18441889)
“There is something fascinating about science. One gets such wholesale returns of conjecture out of such a trifling investment of fact.”
—Mark Twain [Samuel Langhorne Clemens] (18351910)