- #1

quasar987

Science Advisor

Homework Helper

Gold Member

- 4,780

- 12

What if I want to express the last k variable (where k differs from m) in terms of the others?

Is this impossible?

- Thread starter quasar987
- Start date

- #1

quasar987

Science Advisor

Homework Helper

Gold Member

- 4,780

- 12

What if I want to express the last k variable (where k differs from m) in terms of the others?

Is this impossible?

- #2

- 34

- 0

I managed to sketch out the following partial results, but for more perhaps analyse the proof of the original theorem?

If k<m then you get a continuous function \pi\circ F:R^n+m-->R^k where \pi is the canonical projection function R^m-->R^k. The corresponding Jacobian is the same as the original but with some rows removed, so its inverse is the same as the original inverse with some columns removed. It follows that there exists a continuous function f:R^n+m-k-->R^k defined on some appropriate neighbourhood by the implicit function theorem.

Suppose k>m and that f is defined on the simply connected neighbourhood U of x_0 in R^n. Take the projection of U onto the first j:=n+m-k coordinates - call it V_1 - and the projection of U onto the last i=k-m coordinates - call it V_2.

If there exists any continuous function g:V_1-->V_2 (and this is not a trivial requirement when j>i, may be of use in constructing a counterexample) then (p,g(p)) is an element of U for all p in V_1 and y:=f(p,g(p)) is an element of R^m. We have that F( (p,g(p)),y )=0 for all p in V_1, so the function h:R^j-->R^k defined by h(p)=(g(p),y) is then the one required.

As an illustrative example take the unit sphere in R^3; given a point in the x-y plane near (0,0) we get a point on the 'northern hemisphere', this induces the continuous map f:R^2-->R. Take any continous function g:[-\delta,\delta]-->[-\epsilon,\epsilon] from the x axis to the y axis. Then we get a curve in the plane defined by v(p)=(p,g(p)) near zero and a corresponding curve through (0,0,1) defined by (v,f(v)) on the sphere. The map h:R-->R^2 defined by h(p)=(g(p),f(y)) is then as required. Note well that the choices of g give parametrizations of curves on the sphere through (0,0,1) - of which there are many, so the uniqueness property of the original implicit function theorem fails..

sorry for the long post!

- #3

mathwonk

Science Advisor

Homework Helper

2020 Award

- 11,093

- 1,295

look in a good calculus book, like dieudonne, foundations of modern analysis, under the "rank theorem".

the usual theorem uses the fact that a smooth function whose derivative has maximal rank at a, also has maximal rank near a, so the locally constant rank hypothesis is automatic in that case.

- Replies
- 4

- Views
- 2K

- Last Post

- Replies
- 2

- Views
- 24K

- Last Post

- Replies
- 7

- Views
- 2K

- Replies
- 2

- Views
- 2K

- Last Post

- Replies
- 3

- Views
- 5K

- Last Post

- Replies
- 1

- Views
- 2K

- Last Post

- Replies
- 4

- Views
- 650

- Replies
- 4

- Views
- 2K

- Replies
- 5

- Views
- 2K

- Replies
- 6

- Views
- 648