We have proved that the inverse of a regular value of a function f:O⊂R3→R is a surface. Consider the prototype of function f(x,y,z)=xn+yn+zn where n∈N and let Sa=f−1({a}). The gradient of f is ∇f(x,y,z)=n(xn−1,yn−1,zn−1).
First we compute the critical points, that is, ∇f(x,y,z)=(0,0,0), obtaining that there do no exist if n=1 and for n>1, the only critical point is (0,0,0). Then
- For n=1, any value a∈R is regular. Here Sa is a plane.
- For n>1, any value a≠0 is regular and Sa≠∅ if a>0. Of course, for n=2, we have the sphere, but if n is large, Sa seems a cube, but a smooth cube!
[Remark. We observe that the set of regular value is 'big', in the above case, R−{0}. There is a result that informs us about the size of f(A), where A⊂O is the set of critical points: the Sard's theorem says that f(A) has Lebesgue measure 0. For example, the compliment of the set of regular value has not interior points.]
Consider now the function g(x,y,z)=xn+yn−zn that gives the hyperboloid of one and two sheets. The set of regular values is R−{0} again. Using Mathematica, I put some pictures when a=1 and n=4 and n=10
and when a=−1 and n=4 and n=10
No comments:
Post a Comment