Reference for working with the implicit function theorem - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T22:46:15Z http://mathoverflow.net/feeds/question/54660 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/54660/reference-for-working-with-the-implicit-function-theorem Reference for working with the implicit function theorem David Speyer 2011-02-07T16:43:24Z 2011-02-07T20:37:41Z <p>I just had a student come to my office hours and ask me a ton of questions, the answer to all of which was "that's a slight variant to the implicit function theorem, which is proved by formal manipulation from the implicit function theorem". For example: </p> <p>$\def\RR{\mathbb{R}}$ Let $f : \RR^n \to \RR$ be a smooth function and suppose that $\partial f/ \partial x_n \neq 0$. Then, locally, $(x_1, x_2, \ldots, x_{n-1}, f)$ are coordinates on $\RR^n$.</p> <p>Let $f : \RR^n \to \RR$ be a smooth function and suppose that $\partial f/ \partial x_n \neq 0$. Then, locally, $(x_1, x_2, \ldots, x_{n-1})$ are coordinates on <code>$\{ f=0 \}$</code>.</p> <p>Let $U$ be a small open set in $\RR^d$ and let $(f_1, \ldots, f_d): U \to \RR^n$ parameterize a patch on a manifold $M$ in $\RR^n$. Suppose that <code>$\det (\partial f_i/\partial x_j)_{1 \leq i,j \leq d} \neq 0$</code>. Then $x_1$, ..., $x_d$ are local coordinates on $M$.</p> <p>Let $g_1$, ..., $g_{n-d}$ be smooth functions $\RR^n \to \RR$. Let <code>$M= \{g_1=g_2=\ldots=g_{n-d} = 0 \}$</code>. Suppose that <code>$\det (\partial f_i/\partial x_j)_{1 \leq i,j \leq n-d} \neq 0$</code>. Then $M$ is a smooth manifold of dimension $d$ and $x_{n-d+1}$, ..., $x_n$ are local coordinates near $0$.</p> <blockquote> <p>Does anyone know a book which works through these sort of variants systematically?</p> </blockquote> <p>I should mention that I actually need these facts for holomorphic functions. But I have a good reference for the holomorphic implicit function theorem: Gunning and Rossi, Chapter 1. The problem is that I want a reference which goes slowly through these variants, rather than assuming they are obvious corollaries.</p> http://mathoverflow.net/questions/54660/reference-for-working-with-the-implicit-function-theorem/54663#54663 Answer by Stefan Waldmann for Reference for working with the implicit function theorem Stefan Waldmann 2011-02-07T16:53:02Z 2011-02-07T16:53:02Z <p>Well, not to all of them, but nevertheless a nice approach: in the differential topology book by Bröcker and Jänich, they discuss various applications of the implicit function theorem and the theorem of constant rank maps, using them to build coordinate systems etc. Maybe this is worth a look. I only have the german edition (there it is in Chap 5) but I think there is an english version around. They formulate it for the real/smooth setting, though :( But the ideas are the same of course.</p> http://mathoverflow.net/questions/54660/reference-for-working-with-the-implicit-function-theorem/54664#54664 Answer by lhf for Reference for working with the implicit function theorem lhf 2011-02-07T16:54:57Z 2011-02-07T16:54:57Z <p>Perhaps <a href="http://www.springer.com/birkhauser/mathematics/book/978-0-8176-4285-3" rel="nofollow">The Implicit Function Theorem</a> by Krantz and Parks. Not a textbook, but quite interesting.</p> http://mathoverflow.net/questions/54660/reference-for-working-with-the-implicit-function-theorem/54694#54694 Answer by Julien Puydt for Reference for working with the implicit function theorem Julien Puydt 2011-02-07T20:37:41Z 2011-02-07T20:37:41Z <p>I have a good reference, which is even available online, but something tells me you will cry : the wikipedia page on the <a href="http://fr.wikipedia.org/wiki/Th%25C3%25A9or%25C3%25A8me_des_fonctions_implicites" rel="nofollow">Théorème des fonctions implicites</a> is more complete than its english counterpart!</p> <p>Notice that they're refencing a Lang book... so perhaps that will do better.</p>