## Curves and the Implicit Function Theorem

**Point of Post: **In this post we discuss the notion of smooth curves in and the implicit function theorem.

*Motivation*

To begin our discussion of geometry it seems prudent to discuss perhaps the simplest of all smooth geometric objects–curves. Everyone has an intuitive notion of a curve (at least in two or three space). Namely, a curve can be thought of as a length of string that is twisted this way and that, in a smooth manner. But, of course in mathematics one must always back up intuitive notions with concrete, sold definitions. That said, in our case one quickly realizes that there is not one immediate definition of curve. Indeed, there are two canonical ways of defining a curve which, from our point of view, are ordered in terms of ‘importance’ (i.e. we prefer one notion over the other). To see the difference between these two notions consider probably the simplest (closed) curve one could imagine in –the unit circle . Ask any kid off the street how one defines the unit circle and you are most likely to get the immediate answer “Oh! It’s just the set of points such that ” (or, perhaps the set of all with ). Or, the parabola is another perfectly good curve which could be described as the set such that . Thus, one should start to wonder if perhaps the correct notion of a curve is the ‘locus’ of a single or multiple functions in Euclidean space. To be more concrete, for functions define to be the set (so that ). Perhaps then a good definition of a ‘curve’ is a set of the form for some sufficiently well-behaved functions . That said, there is another natural notion of curve which is equally naturally as the definition as the locus of a set of ‘nice’ functions. Namely, a curve can be thought of as a ‘path’, or the trace of a moving particle, or more importantly the function defining the path. To be precise, a curve could also be defined as a sufficiently nice mapping for some (possibly infinite) non-empty interval . There is a large connotational difference between curves thought of as the locus of a set of functions and as a ‘path’. In particular, a ‘path’ has notions of how quick one traverses the path, whether they turn around, etc. whereas the loci of functions is just a set. That said, there seems to be a pretty obvious ‘connection’, namely taking a ‘path’ and loci. Namely, it seems intuitively obvious that at least the locus of a set of functions and the image of some ‘path’ are the same ‘objects’ (i.e. just sets). That said, a little thought shows that they are definitively not in one-to-one correspondence. For example, consider the hyperbola . This is a perfectly nice ‘curve’, that said there evidently does not exist a sufficiently nice (e.g. continuous) ‘path’ with since the right hand side is not connected and the left hand side necessarily is. That said, there is hope to find a ‘path’ that has image equal to part of the hyperbola. In particular, if one restricts to points with positive -coordinates then the path having is a perfectly () nice ‘path’ with equal to the aforementioned branch of the hyperbola. Thus, one wonders if perhaps there is some condition on a curve (or a point of a curve) that gurantees that the curve is locally equivalent to the image of a ‘path’. In fact, there is a theorem to this effect, but it is perhaps more of a sophisticated answer than one would expect–in particular being a stronger version of the inverse function theorem. Roughly the theorem states that if one has a level curve, and if the ‘derivative’ of the defining functions is non-zero at some point then in some neighborhood of that point the level curve is the graph of a function! Not to point out the obvious, but math is full of simple questions with startling complicated answers–this is perhaps one of the most profound of these examples, providing an integral link between algebra of functions and their geometry.

*Curves*

Let be an open interval. We call a map a *paramaterized curve* or just *curve* for short. A curve is called if it is -coordinate functions are in the usual sense. From this point on we assume that all curves are , or also known as smooth.

We define for a curve the *tangent vector curve * to be given by –we call the image of a point of the tangent vector curve a *tangent vector*. How should one interpret the tangent vector? Intuitively, it’s a vector that matches the curve well near the point it’s defined. In more big boy language, recall that the total derivative (i.e. an affine transformation ) is the affine transformation which best approximates in a neighborhood . That said, since is linear we have for any that . Thus, the affine transformation that best approximates near is . Take a quick guess what is. You’re right, it’s ! In particular, we have that is invertible if and only if .

*Remark: *We extend the notion of tangent vectors to higher derivatives in the obvious way (i.e. ).

Some of our obvious notions of what the tangent vector curve should behave like are true. For example, something whose tangent vector function is constant should morally be a line. That said, sure enough one checks that this is true since being constant for all implies that is constant for all from where the conclusion follows (for the sake of emphasis, recall that this required that be connected).

Now, we come to the fact mentioned in the motivation for this post. Namely, there is another natural definition of a ‘curve’. Namely, we define a *smooth level curve *to be the locus of smooth functions . What we’d hope is that every level curve could be paramaterized (in the sense that there is a paramaterized curve whose image is the level curve) so that the theory would literally be the same. Unfortunately, as was pointed out with , this isn’t possible. That said, it’s clear for example tha the hyperbola can be ‘locally’ paramaterized (e.g. the ‘upper branch’ can be paramterized by ). This is ‘typical’ in a sense. Namely, we shall see that under relatively mild conditions one can locally paramaterize a level curve with a particularly nice form, namely something of the form where and might both be vectors in some Euclidean space. Said differently, under relatively mild conditions we shall see that at most points on most level curves the curve locally looks like the graph of a function. Another way one could interpret this is that the equations for which the level curve is defined by are ‘locally solvable’.

**Theorem (Implicit Function Theorem): ***Let be open and (recalling the definition of ) thought of as where and . Let in . We can partition the Jacobian matrix into two blocks, namely let denote the matrix whose entry is for and and the matrix matrix whose entry is where (note we used just to emphasize we are thinking of them as living in ‘different spaces’). If is invertible then there exists a neighborhood of and a function such that for all . Moreover, .*

**Proof: **We define the auxiliary function given by . One then finds that

and so evidently is also invertible. Thus, we may apply the inverse function theorem to we have that there exists neighborhoods of and of and a map such that . Letting denote the last -coordinate functions of one can easily verify that the we are after is . The derivative formula then follows from basic algebraic manipulation.

**References:**

1. Spivak, Michael. *Calculus on Manifolds; a Modern Approach to Classical Theorems of Advanced Calculus.* New York: W.A. Benjamin, 1965. Print.

2. Apostol, Tom M. *Mathematical Analysis*. Reading, MA: Addison-Wesley Pub., 1974. Print.

3. Carmo, Manfredo Perdigão Do. *Differential Geometry of Curves and Surfaces*. Upper Saddle River, NJ: Prentice-Hall, 1976. Print.

Small typo, I believe: When you define curve, the domain should be $\mathbb{R}$ not $\mathbb{R}^n$

Comment by Chris | September 19, 2011 |

Dear Chris,

Of course! Thank you very much for pointing that out!

Best,

Alex

Comment by Alex Youcis | September 19, 2011 |

Oh, and also, for future reference the tags for LaTeX in wordpress are (dollar sign)(space)(LaTeX)(dollar sign) i.e. $ latex $ with no initial extra space after $

Comment by Alex Youcis | September 19, 2011 |

[…] have discussed curves, some of the fundamental objects (at least motivationally) in the geometry we will discuss, and so […]

Pingback by Arc Length (Pt. I) « Abstract Nonsense | September 22, 2011 |

[…] Let be arbitrary. Since is a regular point for we know from the implicit function theorem that since we may find neighborhood of and open sets , with a smooth function with (the […]

Pingback by Surfaces (Pt. II) « Abstract Nonsense | October 9, 2011 |