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.

After googling this fact (which is used in Bott and Tu to show the existence of good covers of manifolds) I've gotten the impression this is somewhat difficult to prove. But I also came across this homework problem (problem 0) with a hint: http://www.math.columbia.edu/~thaddeus/geometry/hw10.pdf

which gives me the impression that it is maybe not so difficult as I thought. If anyone has any thoughts about how to prove this result I'd be very appreciative. Thanks for your time.

share|improve this question
2  
Related thread (but without a self-contained proof): mathoverflow.net/questions/4468/… –  user31373 Aug 20 '12 at 1:39
    
Thanks, LVK. Yeah that was something that led me to believe that the proof was long and complicated which makes me puzzled by the fact that it was assigned as a homework problem (albeit for extra credit and at Columbia) –  Carl Wienecke Aug 20 '12 at 1:45
1  
I suppose that the suitable $f$ is $f(q)=\mathrm{dist}(q,\partial U)$ (or a smooth version of it, i.e., a $C^\infty$ positive function comparable to the distance. Such a function is constucted, e.g., in Stein's 1970 book Singular Integrals). This gives you the flow of $fX$ which stays within $U$, and the flow of $X$ on $\mathbb R^n$. It remains to think of a neat way to map one onto the other. –  user31373 Aug 20 '12 at 1:49
    
How about this: pick a small sphere $S\subset U$ centered at $0$. For each point $x\in S$ let $n_x$ be the outward unit vector. Let $\gamma_x$ be the solution of $\dot\gamma=fX(\gamma)$ with $\gamma(0)=x$, $\dot \gamma(0)=n_x$. Also, let $\Gamma_x$ be the solution of $\dot\Gamma=X(\Gamma)$ with $\Gamma(0)=x$, $\dot \Gamma(0)=n_x$. Now map $\gamma_x(t)$ to $\Gamma_x(t)$. –  user31373 Aug 20 '12 at 1:59
    
Thanks again. It will take me a bit to digest this. –  Carl Wienecke Aug 20 '12 at 2:16
show 5 more comments

1 Answer 1

Let $U$ be an open subset of $\mathbb R^n$ that is star-shaped with respect to the origin $0\in U$. Let $f:U\mapsto (0,\infty)$ be a regularized distance function, i.e., a $C^\infty$ function such that $f(x)/\operatorname{dist}(x,\partial U)$ is pinched between two positive constants.

Aside: how to construct such $U$? Take all maximal dyadic cubes $Q_k\subset U$ such that $\operatorname{dist} (Q_k, \partial U)\ge \operatorname{diam} Q_k $ (aka Whitney decomposition of $U$). Let $\varphi_k$ be a smooth partition of unity associated to the cover of $U$ by larger cubes $\frac32Q_k$. Then $f(x)=\sum \operatorname{dist} (Q_k, \partial U)\,\varphi_k(x)$.

Considering the construction above, it's clear that we can make $f$ constant in a neighborhood of $0$, say $f=K$ there. Pick $r>0$ small enough so that the sphere $r\,\mathbb S^{n-1}$ is contained in this neighborhood. For each unit vector $\xi\in \mathbb S^{n-1}$, let $\gamma_\xi:\mathbb R\to U$ be the solution of the ODE $\dot \gamma_\xi=f(\gamma)\,\gamma$ with initial value $\gamma_\xi(0)=r\xi$. Observe that $\gamma_\xi(t)=e^{Kt}r \xi$ for $t\le 0$. For $t>0$, the integral curve still goes in the direction $\xi$, but slows down approaching $\partial U$ and never leaves $U$. It should be clear that the integral curves sweep out $U$.

Define a map from $\mathbb R^n$ onto $U$ by $$F(\rho\, \xi)= \gamma_\xi( K^{-1}\log \rho ),\quad \rho> 0, \ \xi\in \mathbb S^{n-1} \tag1$$ On the unit ball $F$ is linear. It is $C^\infty$ smooth everywhere. It is a bijection onto $U$. The invertibility of its derivative follows from ODE theorems on the dependence of solutions on initial values, see Hartman.

share|improve this answer
1  
Referencing Hartman is a proof by intimidation. –  40 votes Jul 16 '13 at 23:24
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.