I have 2 questions concerning the proof of the "Homogeneity Lemma" at p. 22-24.
On p. 24 he writes: "But clearly, with suitable choice of c and t, the diffeomorphism F_t will carry the origin to any desired point in the open unit ball."
How does this work? How do I have to choose c and t?
A few lines later:
"hence the above argument shows that every point sufficiently close to y is "isotopic" to y." [isotopic means: It exists a diffeomorphism f from N to itself, f(x)=y and f is smoothly isotopic to the identity map of N]
I want to prove that.
Let y be an interior point of N, U a open neighborhood of y that is diffeomorphic to R^n via f, i.e. . You can choose f, so that f(y)=0.
I want to show, that every x in is isotopic to y (B(0,1) is the open unit ball).
For you can choose a diffeomorphism F_t [construced in the first part of the proof] with F_t(0)=f(x), since f(x) is in the open unit ball. Then is a diffeomorphism from U to U, that is smoothly isotopic to the identity map of U and A(y)=x. But that doesn't do, since we need a diffeomorphism from N to N.
The only thing I'm not able to show is, that i can extend A to a Diffeomorphism B from N to N. I know that A(x)=x for every x that is not in .
B(x)=A(x) for x in U and B(x)=x for x not in U.
I can't show that B is smooth. I use the definition from page 1 of the book. If x is within U or if x is an exterior point of U, it is clear that B is smooth at x. How does it work, if x is a boundary point of U, i.e. if every neighborhood of x cointains a point of U and a point of N\U.
I would be really thankful if anyone could help me.
edit: I could post the pages of the book, but not sure if I'm allowed to (copyright).