Hello,

I have 2 questions concerning the proof of the "Homogeneity Lemma" at p. 22-24.

First:

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?

Second:

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 .

Define:

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 bethankful if anyone could help me.really

engmaths.

edit: I could post the pages of the book, but not sure if I'm allowed to (copyright).