🚀 go-pugleaf

In <SMITH.92Sep1154327@minerva.harvard.edu> smith@minerva.harvard.edu (Steven Smith) writes:

>Let g: R^n -> R^n.  [...]

>Note that if det g' != 0, then the number of points in R^n satisfying
>g(x) = 0 must be finite.

	Not so.  The solutions of the equation are isolated (implicit
function theorem) but there may be infinitely many.  Let

	g(x,y) = (exp(x)cos(y)-1, exp(x) sin(y)).  

Then det g' = exp(2x) != 0 anywhere, but g(0,2*Pi*n) = 0 for every
integer n.

-- 
*_________________*  "Faculty members encourage the free pursuit of       
 Roger Alexander  | learning in their students and protect academic          
 alex@iastate.edu | freedom of students." --ISU Faculty Handbook
*_________________* [official statement of policies & procedures]