# explicit diffeomorphim between open simplex and open ball

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

-
Why did someone vote to close this question? –  Deane Yang Oct 12 '10 at 1:33
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
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
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

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.

-