14.1. MANIFOLDS 395

thanks to the assumption that DS−1 (S (R−1 (x)))

is one to one. Thus from 14.2

α

2

∣∣(S (R−1 (x+h))−S

(R−1 (x)

))∣∣≤ ∣∣DR−1 (x)h+o(h)∣∣ (14.3)

Now ∣∣o(S (R−1 (x+h))−S

(R−1 (x)

))∣∣|h|

≤∣∣o(S (R−1 (x+h)

)−S

(R−1 (x)

))∣∣∣∣S (R−1 (x+h))−S

(R−1 (x)

)∣∣∣∣S (R−1 (x+h)

)−S

(R−1 (x)

)∣∣|h|

From 14.3, the second factor in the above is bounded. Now continuity of S ◦R−1 impliesthat as h→ 0, the first factor also converges to 0. Thus

o(S(R−1 (x+h)

)−S

(R−1 (x)

))= o(h)

Returning to 14.2,

DR−1 (x)h+o(h) = DS−1 (S (R−1 (x)))(S ◦R−1 (x+h)−S ◦R−1 (x)

)Thus if h= tv,

limt→0

DS−1 (S (R−1 (x)))((S ◦R−1 (x+ tv)−S ◦R−1 (x)

)t

)

= DR−1 (x)v+ limt→0

o(tv)t

= DR−1 (x)v

By the above lemma, limt→0(S◦R−1(x+tv)−S◦R−1(x))

t = Dv

(S ◦R−1)(x) exists. Also

DS−1 (S (R−1 (x)))

Dv

(S ◦R−1)(x) = DR−1 (x)v

Let A(x) ≡ DS−1 (S (R−1 (x)))

. Then A∗A is invertible and x→ A(x) is continuous.Then

A(x)∗A(x)Dv

(S ◦R−1)(x) = A(x)∗DR−1 (x)v

Dv

(S ◦R−1)(x) =

(A(x)∗A(x)

)−1 A(x)∗DR−1 (x)v

so Dv

(S ◦R−1)(x) is continuous. It follows from Theorem 7.6.1 that S ◦R−1 is a func-

tion in C1(R(U ∩V

))because the Gateaux derivatives exist and are continuous. ■

Saying DR−1 (x) is one to one is the analog of the situation in calculus with a smoothcurve in which we assume the derivative is non zero and that the parametrization has con-tinuous derivative.

I will be assuming that we can replace “locally finite” with finite in the above definition.This would happen, for example if Ω were compact, but this is not necessary. First I needto verify that the idea of ∂Ω is well defined.

Definition 14.1.7 A compact subset Ω of Rq will be called a differentiable p di-mensional manifold with boundary if it is a C0 manifold and also has some differentiable