Why is the differential being onto equivalent to it not being zero?

  • Context: Graduate 
  • Thread starter Thread starter yifli
  • Start date Start date
  • Tags Tags
    Curves Sets Smooth
Click For Summary
SUMMARY

The discussion centers on the theorem stating that if \( U \) is open in \( \mathbb{R}^2 \) and \( F: U \rightarrow \mathbb{R} \) is a differentiable function with a Lipschitz derivative, then the level set \( X_c = \{ x \in U | F(x) = c \} \) forms a smooth curve if the differential \( \operatorname{D}F(\textbf{a}) \) is onto for \( \textbf{a} \in X_c \). Specifically, this means that \( \operatorname{D}F(\textbf{a}) \neq 0 \) for all \( \textbf{a} \) in \( X_c \). The confusion arises from understanding why the differential being onto is equivalent to it not being zero, particularly illustrated through the example of the function \( f(x) = x^2 \), where \( f'(x) = 2x \) indicates that \( f'(x) = 0 \) at \( x = 0 \).

PREREQUISITES
  • Understanding of differentiable functions in multivariable calculus
  • Familiarity with Lipschitz continuity and its implications
  • Knowledge of differential calculus and the concept of differentials
  • Basic understanding of level sets and their geometric interpretations
NEXT STEPS
  • Study the properties of Lipschitz continuous functions and their derivatives
  • Explore the Implicit Function Theorem and its applications in multivariable calculus
  • Investigate examples of smooth curves derived from level sets of differentiable functions
  • Learn about the geometric interpretation of differentials and their role in determining curve smoothness
USEFUL FOR

Mathematics students, particularly those studying multivariable calculus, and educators seeking to clarify concepts related to differentiability and level sets.

yifli
Messages
68
Reaction score
0
I have difficulty understanding the following Theorem

If U is open in ℝ^2, F: U \rightarrow ℝ is a differentiable function with Lipschitz derivative, and X_c=\{x\in U|F(x)=c\}, then X_c is a smooth curve if [\operatorname{D}F(\textbf{a})] is onto for \textbf{a}\in X_c; i.e., if \big[ \operatorname{D}F\bigl( \begin{smallmatrix}a \\ b\end{smallmatrix}\bigr)\big]≠0 \mbox{ for all } \textbf{a}=\bigl( \begin{smallmatrix}a \\ b \end{smallmatrix}\bigr)\in X_c

I don't understand why the differential of F at a being onto is equivalent to saying the differential is not zero. Can someone explain? Thanks
 
Physics news on Phys.org
Think about what happens for simple functions like f(x)= x^2 where f'(x)= 0.
 
HallsofIvy said:
Think about what happens for simple functions like f(x)= x^2 where f'(x)= 0.

the differential of f(x)=x^2 is 2x, so f'(x)=0 means x=0.
Now what?
 

Similar threads

  • · Replies 0 ·
Replies
0
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 0 ·
Replies
0
Views
4K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
1
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 9 ·
Replies
9
Views
6K
  • · Replies 15 ·
Replies
15
Views
2K