The Unapologetic Mathematician

Mathematics for the interested outsider

The Implicit Function Theorem

We can also recall the implicit function theorem. This is less directly generalizable to manifolds, since talking about a function is effectively considering a manifold with a particular product structure: the product between the function’s domain and range.

Still, we can go back and clean up not only the statement of the implicit function theorem, but its proof, as well. And we can even extend to a different, related statement, all using the inverse function theorem for manifolds.

So, take a smooth function f:U\to\mathbb{R}^n, where U\subseteq\mathbb{R}^m with m\geq n. Suppose further that f has maximal rank n at a point p\in U. If we write \pi:\mathbb{R}^m\to\mathbb{R}^n for the projection onto the first n components of \mathbb{R}^n, then there is some coordinate patch (V,h) of \mathbb{R}^m around p so that f\circ h^{-1}=\pi in that patch.

This is pretty much just like the original proof. We can clearly define F:U\to\mathbb{R}^m to agree with f in its first n components and just to copy over the jth component for n+1\leq j\leq m. That is,

\displaystyle F(a^1,\dots,a^m)=\left(f^1(a^1,\dots,a^m),a^{n+1},\dots,a^m\right)

Then f=\pi\circ F, and the Jacobian of F is

\displaystyle\begin{pmatrix}\left(D_jf^i(p)\right)_{1\leq j\leq n}&\left(D_jf^i(p)\right)_{n+1\leq j\leq m}\\{0}&I_{m-n}\end{pmatrix}

After possibly rearranging the arguments of f, we may assume that the matrix in the upper-left has nonzero determinant — f has rank n at p, by assumption — and so the Jacobian of F also has nonzero determinant. By the inverse function theorem, F has a neighborhood V\subseteq U of p on which it’s a diffeomorphism F\vert_V=h:V\to h(V)\subseteq\mathbb{R}^m. Thus on h(V) we conclude

\displaystyle f\circ h^{-1}=\pi\circ F\circ h^{-1}=\pi

This is basically the implicit function theorem from before. But now let’s consider what happens when m\leq n. Again, we assume that f has maximal rank — this time it’s m — at a point p\in U. If we write \iota:\mathbb{R}^m\to\mathbb{R}^n for the inclusion of \mathbb{R}^m into the first m components of \mathbb{R}^n, then I say that there is a coordinate patch (V,g) around f(p) so that g\circ f=\iota in a neighborhood of p.

This time, we take the product U\times\mathbb{R}^{n-m}\subseteq\mathbb{R}^n and define the function F:U\times\mathbb{R}^{n-m}\to\mathbb{R}^n by

\displaystyle F(a^1,\dots,a^n)=f(a^1,\dots,a^m)+\left(0,\dots,0,a^{m+1},\dots,a^n\right)

Then F\circ\iota=f, and the Jacobian of F at p is

\displaystyle\begin{pmatrix}\left(D_jf^i(p)\right)_{1\leq i\leq m}&0\\\left(D_jf^i(p)\right)_{m+1\leq i\leq n}&I_{n-m}\end{pmatrix}

Just as before, by rearranging the components of f we can assume that the determinant of the matrix in the upper-left is nonzero, and thus the determinant of the whole Jacobian is nonzero. And thus F is a diffeomorphism on some neighborhood W\subseteq U\times\mathbb{R}^{n-m}. We let V=F(W) be the image of this neighborhood, and write g=\left(F\vert_W\right)^{-1}:V\to W\subseteq\mathbb{R}^n. Thus on some neighborhood we conclude

\displaystyle g\circ f=g\circ F\circ\iota=\iota

Either way, the conclusion is that we can always pick local coordinates on the larger-dimensional space so that f is effectively just a simple inclusion or projection with respect to those coordinates.

About these ads

April 15, 2011 - Posted by | Differential Topology, Topology

5 Comments »

  1. [...] is basically the actual extension of the second part of the implicit function theorem to manifolds. Appropriately, then, we’ll let be the same inclusion into the first [...]

    Pingback by Immersions are Locally Embeddings « The Unapologetic Mathematician | April 19, 2011 | Reply

  2. [...] values are useful because of the generalization of the first part of the implicit function theorem: if is a regular value of , then is a topological manifold of dimension . Or, to put it another [...]

    Pingback by Regular and Critical Points « The Unapologetic Mathematician | April 21, 2011 | Reply

  3. [...] Armstrong: The Implicit Function Theorem, Immersions and Embeddings, Immersions are locally [...]

    Pingback by Fourth Linkfest | April 23, 2011 | Reply

  4. [latex](V,h)[/latex] in the third paragraph must be a coordinate patch of [latex]\mathbb{R}^m[/latex] instead of [latex]\mathbb{R}^n[/latex].

    Comment by Thomas (@Redfrettchen) | August 6, 2011 | Reply

  5. Thanks, Thomas; fixed.

    Comment by John Armstrong | August 6, 2011 | Reply


Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

Follow

Get every new post delivered to your Inbox.

Join 386 other followers

%d bloggers like this: