Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

What's a good reference e.g. textbook for the fact that the open n-ball and the open n-simplex are diffeomorphic?

share|improve this question
8  
Why did someone vote to close this question? –  Deane Yang Oct 12 '10 at 1:33
6  
My guess is that someone didn't realize the distinction between "homeomorphism" and "diffeomorphism" in this question. –  Andy Putman Oct 12 '10 at 2:45
1  
My thanks to those who answered Jim Stasheff's question. It arose in a discussion over at the nLab (and of course we're interested in the generalization to star-shaped open domains, addressed by Dan Ramras and Robin Chapman below). –  Todd Trimble Oct 12 '10 at 10:55
3  
And one should mention that so far Todd has been the only one in this discussion who actually did provide an explicit concrete and nice diffeomorphism (which really was the original question that Jim*s question was promted by). Reproduced here: ncatlab.org/nlab/show/ball –  Urs Schreiber Oct 13 '10 at 8:32
add comment

2 Answers 2

If the compact simplex is

$$\Delta_n = \{ (x_0,\cdots,x_n) : x_i \geq 0, x_0+x_1+\cdots+x_n=1\} \subset \mathbb R^{n+1}$$

then consider this function $f : \Delta \to \mathbb R \cup \{\infty\}$ defined by

$$f(x_0,\cdots,x_n) = \frac{1}{x_0} + \cdots + \frac{1}{x_n}$$

This is a proper Morse function on the interior of $\Delta_n$, and there's only the one critical point at $(\frac{1}{n+1},\cdots,\frac{1}{n+1})$, so standard theorems in Morse theory give you a diffeo to the open ball.

I imagine this is simple enough that you could solve the corresponding ODEs explicitly and write the diffeo out in a closed-form but I haven't put in the work.

share|improve this answer
add comment

I'd recommend taking a look at the book by Brocker and Janich, which discusses diffeomorphisms between star-shaped domains by defining a flow along rays from the star point. This might be an exercise in the book, rather than a theorem. (I think I have the book on my desk at school, and I'll try to give a more precise reference tomorrow.)

share|improve this answer
4  
It's an exercise (no. 7 in ch. 8). –  Robin Chapman Oct 12 '10 at 6:44
    
Great, thanks Robin! –  Dan Ramras Oct 12 '10 at 7:07
1  
It's curiuous: that exercise asks the reader to prove what in Conlon's book "Differentiable manifolds" (in the edition of 2008(!)) is commented on (after lemma 10.5.5) as follows: "It seems that open star shaped sets are always diffeomorphic to R^n, but this is extremely difficult to prove." But a full prove has been written out, for instance by Stefan Born, which is reproduced as theorem 237 in Dirk Ferus' lecture notes math.tu-berlin.de/~ferus/ANA/Ana3.pdf However, that still does not give nice concrete diffeos in concrete cases like the n-simplex. –  Urs Schreiber Oct 13 '10 at 8:30
add comment

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.