Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Problem 5-6 in Michael Spivak's Calculus on Manifolds reads:

If $f:\mathbb R^n\to\mathbb R^m$, the graph of $f$ is $\{(x,y):y=f(x)\}$. Show that the graph of $f$ is an $n$-dimensional manifold if and only if $f$ is differentiable.

(here manifold means really submanifold, &c, and generally the statement has to be read in the context of the book, of course)

Now, this statement suffers from counterexamples: for example, the graph of the function $f:t\in\mathbb R\mapsto t^{1/3}\in\mathbb R$ is a submanifold.

  • I only have access to a printing of the original edition of the book: anyone happens to know if newer editions have the statement changed?

  • I can prove the statement if I change it to read «the graph $\Gamma$ of $f$ is an $n$-dimensional manifold and the differential of map $\Gamma\to\mathbb R^n$ given by projection on the first $n$ components has maximal rank everywhere if and only if &c». This seems like a rather strong hypothesis: can you think of a weaker one which will still give a sensible true statement? (I don't like this hypothesis because at that point in the book one does nto yet have the differential available)

Later. MathSciNet tells me there is a russian translation. Maybe one of our Russian-enabled friends on the site can tell me if the problem is there too? Translation into Russian traditionally includes some fixing, irrc :)

share|improve this question
    
It appears there were five editions from 1965-1971, en.wikipedia.org/wiki/Calculus_on_Manifolds_%28book%29 I have the book they mention by Munkres, I will see if there is anything sensible –  Will Jagy Oct 3 '11 at 20:21
    
Munkres, exercise 4 on page 202, similar but leaves out if and only if. –  Will Jagy Oct 3 '11 at 20:36
    
The problem statement is identical in my copy (doesn't say edition number; 1965 copyright; 27th printing in January 1998; preface dated 1968) –  Riley E Oct 3 '11 at 20:39

2 Answers 2

In the very next section (same page) he gives the tangent space for one of his submanifolds, meaning you can define the normal space, and add as a condition to problem 5-6 that the normal space contains no horizontal vector.

share|improve this answer
    
Or the tangent space no vertical ones, which is slightly more economical :) –  Mariano Suárez-Alvarez Oct 3 '11 at 21:37

One statement that gets rid of the differential but which works out well is:

  • The graph of $f$ is a smooth manifold such that $\mathbb R^n \ni x \longmapsto (x,f(x)) \in graph(f)$ is a diffeomorphism, if and only if $f$ is smooth.

I suspect that's what Spivak was thinking. i.e. the graph of $f$ is not just a smooth manifold, but the function itself is a chart.

share|improve this answer
    
His definition of charts includes differentiability (as a function into $R^{n+m}$, in this case), so this reading does turn the problem into a simple one. –  Mariano Suárez-Alvarez Oct 3 '11 at 21:39

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.