Is ##J(f)## Non-Zero in ##U## for a Bijective ##C^m## Function?

Click For Summary
SUMMARY

The discussion centers on the properties of the Jacobian determinant, denoted as ##J(f)##, for a bijective function ##f: U \subset R^n \rightarrow V \subset R^n## of class ##C^m (m \geq 1)##. It is established that if ##J(f) \neq 0## at a point in the domain, a local inverse exists according to the inverse function theorem. The question posed is whether ##J(f) \neq 0## holds for all points in the open set ##U##, suggesting a reciprocal relationship to the inverse function theorem. The discussion highlights the implications of differentiability and the relationship between the Jacobian determinants of a function and its inverse.

PREREQUISITES
  • Understanding of the inverse function theorem
  • Knowledge of differentiable functions and their properties
  • Familiarity with Jacobian determinants
  • Concept of bijective functions in multivariable calculus
NEXT STEPS
  • Study the implications of the inverse function theorem in multivariable calculus
  • Explore the properties of Jacobian determinants in detail
  • Research examples of bijective functions and their inverses
  • Investigate the conditions under which differentiability implies invertibility
USEFUL FOR

Mathematicians, students of multivariable calculus, and anyone interested in the properties of differentiable functions and their inverses will benefit from this discussion.

facenian
Messages
433
Reaction score
25
Let ##f:U\subset R^n\rightarrow V\subset R^n## be a biyective function of class ##C^m(m\geq 1)##, ##U## and ##V## are open sets in ##R^n##. I know from the inverse funtion theorem that when ##J(f)\neq 0## in a point of the the domain a local inverse exists, however, given the above conditions I'd like to know if it is true that ##J(f)\neq 0## in U.(kind of a reciprocal of the inverse function theorem)
For instance, if the inverse of a differentiable function is differentiable this would be easy to prove since
$$\frac{\partial(x_1\ldots x_n)}{\partial(y_1\ldots y_n)}\,\frac{\partial(y_1\ldots y_n)}{\partial(x_1\ldots x_n)}=1\neq 0$$
However I don't know whether this is correct or not.
 
Physics news on Phys.org
x^3.
 
  • Like
Likes   Reactions: member 587159 and FactChecker

Similar threads

  • · Replies 1 ·
Replies
1
Views
1K
Replies
32
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
12
Views
4K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 0 ·
Replies
0
Views
2K
  • · Replies 6 ·
Replies
6
Views
4K