This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
n, then Ki=4 and of course the set f(Ki) has measure zero in Rp. Finally if i=n, then n
=(feC(Y,Y')/f(Ci)cGi open in Ts. Proof where U= ( Ui ) iEI It follows from the equality
Let
Y,Y'
be
topological spaces.
Suppose
that
Y
is
a
438
Chapter 9
paracompact regular space. Then B~*=(c&,O'>/&=(Ci)isI is a locally finite family of closed sets of Y and !7t=(Gi)icI is a family of open sets of Y') is a basis of the topology Ts.
Proof By 9.2.3
**
we have that Bs cTs.
f Let us consider VW€Bs and gsV,. f Since r CW and g is a continuous map, for every ycY there exist an open neighbourhood Vy of y in Y and an open neighbourhood Vg(y) of g(y) in Y' such that VyxVg(y)cW and g(Vy)cVg(y). Since X is a paracompact regular space, there exists a locally finite closed refinement &=(C.) of the open covering 1 i d V=(Vy/yeY) of Y, [ M . O . P . , V.4, p. 8 1 . For every icI we choose yieY such that CicVYi 9(Yi) O'=(V )is11 and it is clear that gc<&,O'>.
.
Then we take
Let h be an element of <&,!7'>.
Then for every yeY, there 9(Yi) h(Y)EV and exists id such that yhCicVYi , 9(Yi) f f (Y,h(Y))€VYiXV cW. Hence rhcW, hd7, and g e S I O r > c V W , which ends the proof. Remark 9.2.5
In the preceding proof the open sets Vg(y) can be chosen in a fixed basis of Y'. Then the following result is also true: "Let Y,Y' be topological spaces and B' a basis of the topology of Y'. Suppose that Y is a paracompact regular space. Then ~~*=(<&,8'>/&=(Ci)ieI is a locally finite closed covering of Y and 8'=(B!)1 i d is a family of elements of B ' ) is a basis of the topology Ts.
Spaces of Differentiable Maps
439
Next we shall study when Ts=Tc. Proposition 9.2.6
Let Y,Y* be topological spaces. a ) If Y is a Hausdorff compact space, then Tc=Ts. b ) If the maps of C(Y,R) distinguish points and Y * is a T1 space that contains an arc, then Tc=Ts if and only if Y is
compact
.
Proof a) By the remark that follows 9.2.1, TccTs. Since Y is a compact Hausdorff space, Y is also ** paracompact regular space and by 9.2.4 Bs is a basis of Ts.
a
** .
Let <&,D*> be an element of BS Then &=(Ci)iEI is a locally finite family of closed sets of Y and since Y is compact I is n
Let y;=u(O), and the rfcW and
u: [ O,l]+Y* be a homeomorphism from [0,1] onto im(u) and y;=u(l). Consider the constant map f :Y+Y' of value y; open set of YxY', W=Yx(Y'-(y;)). Then it is clear that f VWeTs=Tc.
Let K1,. of Y'
..,Kn be
such that
compact sets of Y and G ; ,
fe
...,G;
open sets
n
Since K=() Ki i=1
is a
Chapter 9
440
compact set and Y is not a compact space, there is yeY-K. On the n other hand ybe() Gi. 1=1 Since the maps of C(Y,R) distinguish points, there exists a continuous map h:Y+[O,l] such that h(K)=(O) and h(y)=l. Then aohe
the
[MU, P. 291.
Proposition 9.2.7
Let Y be a topological space and (Y',d') a pseudometric d' d' (f)/feC(Y,Y') ,&eC(Y,R+)) , where space. Then the family BF=(B, d' (f)=(geC(Y,Yl)/dt(f(y) ,g(y))<E(y) for every yeY) is a basis of BE d' in C(Y,Y') a topology TF that will be called fine topology attached to d,. d t (f)/&eC(Y,R+)) is Moreover for every fcC(Y,Y') I the set (Be an open local basis at f in the topology Tg' (see 9.2.9). Proof If feC(Y,Y')
and cl:Y+R+ is defined by cl(y)=l for every d' yeY, then it is clear that feBE (f) and therefore the union of 1
Spaces of Differentiable Haps the elements of B:'
441
is equal to c(Y,Y').
d' (f)nB:'(g). Let h be an element of Bc T : Y ~ R + ~defined by
Then the function
Lemma 9.2.8 Let Y be a paracompact regular topological space, M=(Mi/ieI) a locally finite family of subsets of Y and c = ( c ~ a ) ~family ~ ~ of positive real numbers. Then there is a continuous function 6:Y4R+ such that 6(y)
otherwise
Since Y is a regular paracompact topological space, there exists a continuous partition of unity ( 9 ) subordinated to the open Y YGY covering (vY/ye~). Consider the function 8:Y+R+ defined by
-
Then
6(z)= c 6(Y)PY(Z) YCY is continuous and 8(z)
With additional topological hypotheses on the spaces Y and d' and therefore we obtain a new basis for Ts. Y' it is Ts=TF Proposition 9.2.9 Let
Y
be
a
topological
space,
Y'
a
pseudometrizable
Chapter 9
442
topological space and d' a pseudometric on Y' that describes the topology of Y'. We have: dfcTs a) TccTF b) If Y is a paracompact d' B;,=(Bc (f)/fEC(Y,Y') ,EEC(Y,R+ ) ) , where
regular
space,
then
Bff (f)=(gGC(Y,Y' )/df (f(y) ,g(Y) )
)
is
Proof a) Let f be an element of
(c,O) )
.
For every dfcTs. Thus TF
ye^
(y,f(y))Ew i.e.
rfcw. Moreover v:=B~'
(f)eTs.
d' . b) We shall see that TscTF f , (9.2.1) Let VWeBs
f , and g€Vw.
For every YEY, (y,g(y))EW and therefore there exist an open (g(y))cW. neighbourhood Vy of y in Y and & >O such that VYxB:' Y Y
Spaces of Differentiable Haps
443
On the other hand, since g is continuous, there exists an open neighbourhood VT of y in Y such that V:cVy and g(VT)cBc (g(y)). Y/ 2 Using the paracompactness of Y, we find a locally finite open refinement W=(Wi)ieI of U1=(V~/yeY). For every ieI we choose
.
Yi Y.EY such that WicVl By 9.2.8, there exists a continuous 1 function &:Y+R+ such that &(y)<& /2 for every yewi and every Yi id. d' Let h be an element of BE (9). Then for each ycY, there exists i(y)eI such that Y ~ W ~ ( ~ )yi(Y) C V , and d'(g(Yi(y))ih(Y))'d'(g(Yi(y))ig(Y))+d'(g(Y)lh(Y))<& Thus
/2=c
(Yih(Y))cV1 yi (Y)xBz'
/2+& yi(Y) yi(Y) (g(Yi(y)1 )CW for every
yi (Y) yi (Y) f d' f dl ycY. Hence rhcW, heVWl gcBE (g)cVw and VWeTF that TscT;'
d' and consequently Ts=TF
.
We have proved
.
d' To prove the last assertion, note that if fcBE (h), then fcBt' ( f)' : B c (h), where 6 is defined by 6 (y)=& (y)-d' ( f (y) ,h (y)) for ycY.0 Proposition 9.2.10 Let Y,Yt be topological spaces. We have: a ) If Y' is a T1 (respectively Hausdorff) space, (C(Y,Y'),Ts) is a T1 (respectively Hausdorff) space.
then
b ) If Y' is a pseudometrizable (respectively metrizable) space and d' is a pseudometric (respectively metric) in Y' that d' ) is a completely describes its topology, then the (C(Y,Yt),TF regular (respectively T3a) space.
Chapter 9
444
c ) If Y' is a pseudometrizable (respectively metrizable) space and Y is a paracompact regular space, then the space (C(Y,Y'),Ts) is completely regular (respectively a T3a).
Proof a) By Remark 3) after 9.2.1,
we have T cT P s'
If Y' is T1 (respectively Hausdorff), then (C(Y,Y'),T ) is P T1 (respectively Hausdorff). d' ) and b) Let us consider a closed set C of (C(Y,Y') ,TF gcC (Y I Y' ) -C. Then there exists EEC(Y,R') such that Bz'(g)cC(Y,Y')-C,
(9.2.7).
We define a function p:C(Y,Y')+[O,l]
I
1 It is clear that p(g)=O and p(C)=(l). Let
us
see
that
p
is
by
otherwise
continuous.
First
note
that
if
heBz' (9), then d' (h(y) ,g(y)) (E (y) for every yeY. Indeed, suppose that there exists yOcY such that d' (g(yo),h(yo) ) >E (yo) Then if 6 :Y+R+ is the constant function of value d' (g(yo),h (yo)) -& (yo), we get ':B (h)nBz' (g)=$, which is a contradiction. Consequently
.
d' (9), we have Sup d' (h(Y),g(y)1 =l. for every hEBz' (g)-BE E (Y) YEY Thus it suffices to prove that p -:Bz'(g)+[O,l] IB& (9) d' continuous map with the topology induced by TF
is a
.
Let hrB;'(g)
such that O
Spaces of Differentiable Maps
445
that s
continuous at h. The remaining cases for the choice of h are solved analogously. Then we have proved that regular space. Finally it is clear d' (C(Y,Y') ,TF ) is Hausdorff.
d' (C(Y,Y') ,TF )
that
if
Y'
is
is a
completely
metrizable,
then
c) follows from b) and 9.2.9.0 Concerning normality we note that the space (C(R,[0,1]),Ts) is not a normal space (see [SER, p. 3 4 1 ) . Using 9.2.9 we shall obtain a new basis of the topology Tsl in case Y is a paracompact regular space. Proposition 9.2.11
Let Y be a paracompact regular space, Y' a pseudometrizable space and d t a pseudometric in Yt that describes the topology. f Then the set BS***--(V(s,g) /feC(Y,Y'),&=(Ci)icI is a locally finite family of closed sets of X and &=(c i 1ieI is a family of positive real numbers), vhere V for YCCi =(g€C(Y,Y')/d' (f(Y),4(Y)1-i ( 5I & ) and icI), is a basis of the topology Ts. Furthermore, for every f€C(Y,Y') the set (V &?***I ( & I f 3 /Vf(&,&I s in the space (C(Y,Y'),Ts).
is a open local basis at f
Proof d' Let us consider V By 9.2.9, Ts=TF c8*** and gcV f (slg) s (gig) every id let be the set i'
.
For
-
Chapter 9
446
((y,y')EYxY'/d'(g(y)
,y8)<ei-d8(g(y) ,f(y)) ) . It is clear that Ui f where U=(Ui/ieI), (9.2.2). is open in YxY' and gcVf ('8 1' cv ('8') ' Then by 9.2.2, Vtg8C)~Ts and St**cTS. On the other hand if fcGcTs, then there exists a continuous map c:Y+R+ such that (9.2.9). For every YEY, there exists an open fsBz'(f)cG, neighbourhood Vy of y in Y such that for every zcVy. Since Y is a paracompact regular space, then there exists a locally finite closed refinement G=( Ci)ieI of the open covering
&(z)>W
For every k 1 let y: be an element of Y such that C,cVyi and J-
let
be the family of positive real numbers
E
feVf
cBdO(f)cG. Hence
*** Ss
{(ii)}l:cI.
Then
is a basis of the topology Ts.
('8&)
/vf(',&I
Of course we have also proved that (Vf (',El an open local basis at f in (C(Y,Y') ,Ts).o
c~***)
s
is
Corollary 9.2.12 Let Y be a paracompact regular space, Y' a pseudometrizable space and d8 a pseudometric in Y' that describes its topology. -*** f Let us consider the family Ss =(V /fEC(Y,Y'), (p=(cpi/icI) is a 9
family of continuous functions from Y to IR+v(O) such that (SUPPlPi))ieI is a locally finite family in Y), where f V9=(geC(Y,Y0)/pi(y) .d8(f(y),g(y))
(V /V
is a basis of Ts. Moreover for every fEC(Y,Y8), the set
-*** €23
f
)
9 9 s (c(y,y') 8Ts)*
is
an
open
local
basis
at
f
in
the
space
Proof f where gcv9 and *=(*i)ieI !bi(y)=pi(y)/l-9i(y)d'(f(y)8g(y))20 for every i c I and every yeY. g -*** and geVgcVf Then S~pp(#~)=Supp(~~) for every i d , V cBS Let
us
consider
Vfc%*** 9 s '
*
*
9'
Spaces of Differentiable naps
447
every id and every naPl consider the set -1 and SUPP (9i)1ieI c ~ = s ~ P P ([n-l,n~). ( ~ ~ ) ~ ~ ~ Since (' ; 3 ( [ n-1, n] )/new) are locally finite families of closed sets of Y, the family of closed sets t=(C~/icI,naN) is locally finite 1 i d ,nem ) , then geVq If e=( E €Is*** and Vg cVgcVf Hence c (E,S) s (&,fQ # (P' For
.
Consider GcTs and fcG. Then by 9.2.11, there exists cB*** such that feVfg,,)cG, where E=(Ci)iEI and fS=(&i)icI. (g,&) s
Vf
Since Y is a paracompact regular space, there exists a locally finite family (Ai/ieI) of open sets of Y such that CicAi for every ic1, (see [M.O.P. X.4.81). But Y is also a normal space and therefore for each i d there exists a continuous map 1 1 ( P ~ : Y + [ O , ~such ] that pi(X-Ai)=(0) and ( P ~ ( C ~ ) = ( ~ Then ). it is
i
i
clear that Suppo(pi)cAi for every icI. Hence (Supp(vi)/ieI) is a locally finite family of closed sets of Y.
-*** and fcVfCVf Finally it is easy to check that V feBS P (P (WCGf where (P=(cpi/icI).o Proposition 9.2.13
Let Y,Y' be topological spaces, Z 1 a subspace of Y f and j':Z'+Y# the inclusion map. Then the map j :
(C(Y,Z') ,Ts)-(C(Y,Y') ,Ts) f Hj'of is a homeomorphism onto its image. Moreover: a ) if 2' is open in Y', then im(j:) is open in (C(Y,Y'),Ts), and b) if Z ' is closed in Y' and Y is a T1 space, then im(j:) is closed in (C(Y,Y'),Ts). Proof Of course j :
is injective. Now, let f be an element of C(Y,Z') and W an open set of YxY' such that rj,fcW. Then the set f * V=Wn(YxZ') is open in YxZ', rfcV and j:(Vv)cVi'f. Thus we have
Chapter 9
448
proved that j; is continuous at f. Let us consider fcC(Y,Z') and U an open set of YxZ' such f ' that TfcU. Then j;(Vu)=Vi'fnj;(C(YIZ')), where W is an open set of YxY' such that U=Wn(YxZ'). Thus j;:C(Y,Z')+irn(j;) is a homeomorphism. If 2' im (j;)
is open in Y',
=( feC (YI
then YxZ'
is open in YxY'
and
cZ Y I) /rfcYxZ ' )=Vyxz ,eTS I where Cz, :Y+Y' is defined by
Cz,(Y)=Z'. Suppose that Y is a TI space and 2' is closed in Y'. Let feC(Y,Y') such that feirn(j;). Then Tf is not contained in YxZ' and consequently there exists yeY such that f(y)dZ'. Let Uf(Y) be an open neighbourhood of f(y) in Y' such that Uf(Y)nZ'=#. Then is an open set of Tsl (see the remark after 9.2.1) I <(y) 'Uf fe<(y) 'Uf (y)> and <(y) ,Uf(Y)>nim(j:)=#. Hence im(j;) is a closed set in (C(Y,Y') ,Ts) .o We recall that a topological space Y' is called divisible if the set UA={VcY'xY'/V is a neighbourhood of the diagonal of Y'xY') is a uniformity of Y' [M.O.P.,X.1.36]. If (X,T) [M.O.P.,X.1.38]):
is
a
divisible
space,
we
have
(see
and
every
a) Tu cT
A
b,
if
TuA=T
and
only
if
for
every
xeX
neighbourhood V of x in (X,T), it is V>(x). c) If 21 is a uniformity in X such that Tu=T, then UcUA and therefore T=T uA
On
.
the other hand
if
(Y,T) is a paracompact
regular
Spaces of Differentiable Maps space, then (Y,T) is divisible and T
=TI (see [M.O.P.,
uA
Definition 9.2.14
449 X.1.441).
(Cerf, pag. 271)
Let Y be a topological space and Y' a divisible topological space. For every fsC(Y,Y') and every neighbourhood W' of the diagonal A, CY I xY' let us consider the set Wt(f)=(geC(Y,Yt)/(g(y) ,f(y))cW' for every yeY). It can be easily proved that the map fwY(f)=(W'(f)/Wt is a neighbourhood of A, in Y'xY') is a local basis of neighbourhoods. Hence there exists a unique topology T in C(Y,Y') such that for every faC(Y,Y'), C0 V(f) is a local basis of neighbourhoods of f in (C(Y,Y'),T Next we shall study the relation between T C
C
o).
and Ts.
Proposition 9.2.15
Let Y be a topological space and Y' a divisible topological space. We have:
2) If Y' is a T1 space, then TccT
C
o.
Proof 1) Let G be an open set of T open neighbourhood W' of A'
C in Y'xY'
and feG. Then there exists an such that fcW'(f)cG.
For every yeY I (f(y),f (y)) eA'cW' and therefore there exist open neighbourhoods VyI Vf(Y) of y and f(y) respectively such that Vf ( Y ) ~ V f (y)cWt and f (Vy)cVf(y) Then rf is contained in the open set U= \ J (vYxvf(Y) of Y~Y'. YEY
.
Chapter 9
450
Let
f geVUcTs.
For every
ZEY,
there exists ycY
such that
2) Suppose that Y' is a T1 space. Let
Since Y' is a divisible T1 space, Y' is Hausdorff ([M.O.P., X.1.391). Thus the set W ' = ( G ' x G ' ) u [ ( Y ' - f ( K ) ) x ( Y ' - f ( K ) ) ] is open in YfxYt, (f(K) is a closed set) I which contains the diagonal A, of Y'xY', (f(K)cG'). If gsWf(f) and YEK, then (g(y),f(y))cW' and f (y)Ef(K) Hence g(y)cG' and ge
.
Proposition 9.2.16 Y be a TI s p a c e w h i c h i s n o t c o u n t a b l y c o m p a c t , Y' a d i v i s i b l e T1 s p a c e and y'cY'. Suppose t h a t y' i s not i s o l a t e d and h a s a c o u n t a b l e o p e n b a s i s of n e i g h b o u r h o o d s (V~'/ndti). Let
Then Tco +Ts'
Pro0f Since Y is a T1-space which is not countably compact, there exists a infinite countable set C=(yn/nd4)cY which is closed discrete. Let f :Y+Y' be the constant map defined by f (z)=y' for every and let U be the open set of YxY' defined by [ (J ((y,)xV:')]u[ (x-C)xYt]cYxYt. Then rfcU. Moreover we can new suppose vY' SVY' for every new. n+l n zcY
Let W f be an open neighbourhood of the diagonal A, of Y'xY'.
Spaces of Differentiable Maps Then
(y',y')cA'
and
there exists
nOcH
451 I
such
t
that Vy xVy CW'. "0 "0 Consider neH with nznO, y>V:'-V:l, and g=C ,:Y+Y'. Of course Yn f gcw' (f) but g N u since (yn+l,g(yn+l))=(yn+lly~)eU and therefore f f and VUeT o.o r is not contained in U. Thus VUcTs 9 C Corollary 9.2.17 Let Y be a paracompact Hausdorff space and Y' a divisible T1 space that contains an arc. Then T O=Ts if and only if Y is a C compact. Moreover if Y is compact, then TCO=Ts=Tc. Proof If T co =Ts' by 9.2.16,
we have that Y is countably compact
and therefore compact (see [M.O.P. X.4.211). If Y is compact, T =T O = T c . ~
s
then Ts=Tc
,
(9.2.6)
,
and by
9.2.15,
c
Next we shall study the Baire properties of the spaces of continuous maps. Definition 9.2.18
Let Y be a topological space, (Y',d') and H a subset of C(Y,Y').
a pseudometric space
We say that H is uniformly closed if for each sequence (fn)ncN of elements of H which converges uniformly to fcC(Y,Y') it follows fcH. If X is a set, (X',U') a uniform space and M is a non-empty subset of X, then the set BM=(W(M,U')/U'sU') is a basis of a uniformity on the set A(X,X') of all maps f:X+X', where W(M,U')=( (f,g)EA(X,X')xA(X,X')/(f
(x),g(X))EU' for every xcM).
452
Chapter 9
Moreover if fcA(X,X') and S=(SdaA(X,X'),daD,s) is a net in A(X,X'), then S converges to f in (A(X,X'),T ) if and only if
54
for every U'EU' there exists dOED such that Sd(x)aU'[f(x)] every xaM and every dbdol(U'[f(x)]=(x'aX'/(f(x) ,x')EU')).
for
If M=X, then the uniformity Ux is called uniform convergence uniformity and the topology T on A(X,X') uniform convergence uX ) will be denoted by A (X,X'). topology. The space (A(X,X'),T uX tU If X is a topological space and (X',U') then the set C(X,X')
a uniform space,
is a closed set of (A(X,X'),T
)=Atu(X,X'). uX a pseudometric space, (X',Ud,) the Let X be a set, (X',d') associated uniformity and (Ud,) the associated uniform convergence uniformity on A(X,X'). Then (A(XIX'),(Ud,)x) is a pseudometrizable space and the uniformly closed sets are closed sets in the uniform convergence topology. The notion of uniformly closed set is attached to the equivalent metric considered in the space (Y',d') as shows the following example: Let us consider Y=R,(Y',dl),(Y',d2) usual metric and d2(xly)= 1+
- &I,
x
if
where Y'=R,
dl is the
f=lR and for each naN, x
fn ( X I =
n if xhn Then H=(fnlndN) converges uniformly to f with respect to d2 but H does not converge to f with respect to dl. Hence H is a uniformly closed set with respect to dl but it is not with respect to d2. Notice that if H is closed in C(Y,Y') with the pointwise convergence topology, then H is uniformly closed since uniform convergence implies pointwise convergence. Moreover if H is closed in (C(Y,Y'),Tc), then H is also uniformly closed since
Spaces of Differentiable naps
453
uniform convergence implies uniform convergence on compact sets and this kind of convergence characterizes the open-compact topology. Proposition 9.2.19 Let Y be a regular paracompact topological space, (Y',d') a complete pseudometric space and H a uniformly closed set of C(Y,Y'). Then ( H I T ) is a Baire space. slH Proof
U (
a
Let (An)neH be a sequence o f open dense sets in ( H I Ts I H) and non-empty open set of (HITslH). We must prove that
(I A n m J + # . neH
First, A1nU is a non empty open set in ( H I T ) . Hence there SIH exist flcA1nU and E ~ E (Y C I R+) such that HnBz'=( f1)cA1nU and ~ ~ ( y )
Since A nBd'(fl) 2
exist f2eA2nB;l(fl)
1
is a non-empty
&.I
and e2eC(Y,R+ )
such
el (Y) nBd' (fl) and &,(y)< for every yeY. Then 2 &2 El by induction there exist a sequence (fn)ncN o f elements of H and that HnBd'=(f2)cA
another
+
of elements of C(Y,R ) such that for every neH
Thus {fn(y) InEH is a Cauchy sequence in (Y' ,d') for every yay. Since (Y',d') is a complete space we have a map f:Y+Yt defined by f (y)=limfn(y). ncN Actually
f is
continuous
since
(fn)ncH
converges
Chapter 9
454
Notice that the preceding proof shows also the following result.
"Let Y be a topological space, (Y',d') a complete pseudometric space and H a uniformly closed set of C(Y,Y'). Then (H,T;iH) is a Baire spacell. Proposition 9.2.20
Let Y be a topological space vhose connected components are be a locally compact and second countable spaces and let (Y',d') complete pseudometric space. Then (C(Y,Y'),Tc) is a topologically complete space and therefore a Baire s p a c e , ( [ M . O . P . Chapt. XIII]) .o
Next we shall see a criterion of convergence for sequences of maps in the topology Ts. Proposition 9.2.21
Let Y be a Hausdorff locally compact Lindelof space, (Y',d') a pseudometric space, (fn)ncP( a sequence of elements of C(Y,Y') and fcC(Y,Y'). Then the following statements are equivalent: a) (fn)ncH converges to f in Ts. b) There exist a compact set K of Y and nOdN
such
that
fn I Y - K = ~I Y-K for every nrno. 2) The sequence (fnlK)neKconverges uniformly to f
IK.
Spaces of Differentiable Maps
455
Proof b) + a) Let &ac(Y,R + ) . Since K is a compact set there exists co>O such that co
Let n2Em such that n2hn0,n1. It is clear that for every nzn2, fn'Bc d'(f) Thus (fn)nEN converges to f in Ts.
.
a) + b) First we note that TccTs and therefore (fn)nem converges to f in the topology Tc. Hence for every compact K of Y, the sequence converges uniformly to f in K. Thus 2) of b) is already fulfilled. Suppose that 1) of b) is not verified. Then for every nam and every compact K of Y, there exist m(n,K)>n and x(n,K)eK such that f m(nrK)(x(n,K))*f(x(n,K)1. Since Y is a locally compact Lindelof Hausdorff space, there 0
exists a sequence of compacts
K ~ + ~ > K ,for every nem.
f
(Kn)neN such that Y=() Kn and new
Then for every ndN there exist xneKn and pneN such that (xn)+f(xn)I (PnInep( is strictly increasing and ( x ~ is) a~
Pn sequence of pairwise different points. Then it is clear that ( x ~ has ) no ~ cluster ~ ~ point and therefore ( x ~ is) closed ~ ~ and ~ discrete. Thus by the Tietze extension theorem, there exists a continuous map c :Y4R' such that c ( xn)=d' ( f ( xn) ,f ( xn) ) >O Hence Pn f ':Be (f) for every ndN, which contradicts a) .o Pn
.
Corollary 9.2.22 Let X be a metrizable connected compact space, Y a locally compact Lindel6f Hausdorff space, ( Y r l d l )a pseudometric space and f:X+(C(YrY'),Ts) a continuous map. Then there exists a
~
~
Chapter 9
456
compact
subset
K of
Y such that the map
f :X+Y'
defined by
Y
f (x)=f(x) (y) is a constant map for every yeY-K.
Y
Proof Since Y is a locally compact Lindelof Hausdorff space, Y=(J fin where Kn is a compact set and K n + l ~ K nfor every new. new For every XCX there exist cx>O and a compact subset Kx of Y such that for every yeY-Kx, the map Z H ~(z)(y) is constant over d (x), where d is a metric in X that describes its topology.
Bc,
Indeed, if it is not true, then there exist xOeX, a sequence (xn)new in X that converges to x, and a sequence (yn ) new in Y without cluster points such that f (x,) (yn)+f(x,) (y,) for every new. By the preceding proposition, the sequence of continuous maps f (xn) does not converge to f(x,) in the topology Tsl which contradicts the continuity of f. Since
x
is a compact space, X = B ~ (x,)w.
d ..uBcx
x1 end the proof by taking K=K
,
(x,)
and we
P
u...uKx .n x1 P
Next we shall see with an example that Proposition 9.2.21 is not true if we weaken the hypothesis IIY is a locally compact Lindelof Hausdorf f space" to read I*Y is a Hausdorf f paracompact space". Example 9.2.23 Take Y=Q, Y'=R, fn 0 if Ixlrl/n
defined
by
for every nCN and f=O. Then (fn)new converges topology T, but 1) of b) in 9.2.21 fails
to
f
in the
Spaces of Differentiable Maps Let Y be a topological space and H(Y,Y)={fcC(Y,Y)/f homeomorphism). Our aim is to study the space (H(Y,Y),Ts).
Proposition
457
is a
9.2.24
Let Y,Y' be two homeomorphic spaces. Then the map a: (H(YIY') ,TS)--(H(Y',Y) ,Ts) f -f-l is a homeomorphism.
Proof Let fcH(Y,Y')
and W an open set of YxY' such that rfcW. If
we denote the set {(y',y)cY'xY/(y,y')eW) by W", then W-l is an open set of Y'xY. Moreover r cW-l. Indeed, for every f-l Y'EY', (Y',f-l(Y'))=(f(Y) rf-lf(Y) )=(f(y) ,Y) and (Y',f-l(Y') Finally a(WnH(Y,Y'))=W-lnH(Y',Y) .o Proposition
9.2.25
Let Y be a regular paracompact space. Then (H(Y,Y),Ts) is a topological group for the composition of homeomorphisms. Proof
It remains to prove that :H (Y,Y)xH (Y,Y)+(H(Y,Y) 0
(fl9)
-of
is a continuous map with respect to the topology Ts.
Chapter 9
458
Let fO,gO%H(Y,Y) and W an open set of YxY such that
r
For every y%Y there exist open neighbourhoods Vy and V g0fo (Y) g0fo (Y) such that VyxV CW and gOfO(Vy)CV
cW. gof0 90f0(Y)
Since Y is paracompact, there exists a locally finite open refinement U=(Ui/i%I) of (VY/yeY). Moreover since Y is normal, there exists a contraction V=(V.1 ) i d of 21 and another W=(Wi)iEI of Y. For
every
icI,
consider
y.eY 1
W . C ~ ~ C V ~ C ~ ~for C U every ~ C V ~k I~ . 1
VLO=<(G
) icI,
such
From
that
9.2.3
it
UicVYi
.
Then
follows that
(fo(Vi))ieI>nH(Y,Y) is an open neighbourhood of fo
Let us consider feVfo and gcVgo. Then for every y%Y there exists iOEI such that yewi Consequently f(y)Efo(Vi )cfo(vio) and gf (y)sgOfo(Ui,). Hence
Thus
0
f (V OxV
)cVw 'fO'
and
0
0
.
0
is continuous at (fo,go). a
Ouestion Is H(Y,Y) an open set of Ts? Proposition 9.2.26 Let Y be a regular paracompact space and (Y',d') a locally compact metric space. Then the set Prop(Y,Y')=(f:Y+Y'/f is a proper map) is open and closed in Ts.
Spaces of Differentiable Maps
459
Proof Suppose that feC(Y,Y') is not a proper map. Then there exists a compact set K' of Y' such that f-l(K') is not a compact set.
...,
UA Since Y' is a locally compact space, there exist Ui, open sets of Y' such that K'cUiu.. .uUA and are compact. n and &=d ' (K' ,Y ' (Uiu. uUA)) >O Then L'=(x'eK'/d'(x',K')& c-'u uti; is a compact set of Y' that 2 ) u1 contains K'.
...
..
-
is an open neighbourhood of
It is easily checked that B:'(f)
-
f
in
Ts.
Now
d'(f(y),g(y))<;
",.. .,u'
2
for
geBE d' (f)
and
yef-l(K').
Therefore g(y)EL'
2
and f-'(K')Sg-'(L').
compact set. Thus':B
-2
Hence g-l(L')
,
( f)nProp (Y,Y ' ) =#I and Prop (Y Y ' )
is not a
is closed in
TS'
.
Let f be an element of Prop(Y,Y') Since Y' is a locally compact metrizable space (hence a Hausdorff paracompact space), there exists a locally finite open covering U'=(U!)1 ieI of Y' such that is a compact set for every ieI.
u;
Since Y is a regular paracompact locally finite closed refinement S=(C.)
space, there exists a of the open covering
I jeJ
Then C
.
For every j e J choose i .€I such that C.cf-l(U; ) 3 3 j -1 is compact for every j e J since f (Ui ) is so. Since
U=( f-1 (u;)
) iCI.
j j -1 f (Ui) is a compact set, then only a finite number of elements - and therefore S'={U; ) j E J is of (C.) are contained in f-1 (U;) 3 jeJ j a locally finite family of open sets of Y'.
Consider the open neighbourhood < & , S t > of f in Ts ge<&,S'>. Then if K' is a compact set of
and Y',
Chapter 9
460
F=(jaJ/U;
nK'+@) j
is a finite set and g-l(K')c\) Cj. 3EF
1) Cj is compact, the set jEF g"(K') is compact and therefore g is a proper map. Thus fE<&,B'>cProp(Y,Y') and Prop(Y,Y') is an open set of Ts.o Since g"(K')
is closed
and
Proposition 9.2.27 Let Y be a topological space, Y' a Hilbert paracompact Hausdorff manifold of class p+lh2 vith a(Y)=g, and f:Y+Y' a continuous map. Then there exists an open neighbourhood Vf of f in (C(Y,Yt),Ts) such that every gcVf is homotopic to f vhich ve denote by (grf). Proof By 3.3.7, there exist a real Hilbert space (HI<,>) and a closed embedding h of class p+l from Y' into H. On the other hand, by 5.1.19 there exist an open set W of H, H+W>h(Y') , and a retraction of class p, r:W+h(Y#).
+
be the continuous map defined by Let E~:Y+IR ~~(y)=d(hf(y),H-W)for every y€Y and d' the metric in Y' defined by dl(yl,zl)=llh(yl)-h(zl)11. This d' describes the topology of Y'.
Spaces of Differentiable Maps Thus the map F(y,t)=h-'r(thf(y)+(l-t)hg(y)) F(y,O)=g(y), F(y,l)=f(y) for d' geB, (f1.o f
F:Yx[ O,l]+Y' is continuous, every y€Y. Thus
461
defined by and we have gsf for every
Proposition 9.2.28
Let Y be a topological space and Y' a Hausdorff second countable differentiable manifold of class p+lr2 vith a(Y')=c$ and dim (Y')=m for every y'eY'. Let f:Y+Y' be a proper map.
Y'
Then there exists an open neighbourhood Vf of f in the topological space (C(Y,Yt),Ts) such that every gaVf is a proper map homotopic to f by a proper homotopy, i.e. there exists a proper map F:Yx[O,l]+Y' such that F(y,O)=g(y) and F(y,l)=f(y) for every yeY. Proof By 3.3.9, there exists a closed embedding of class p + l , 2 h:Y'-m(m+l) On the other hand by 5.1.19 there exist an open set 2 2 w of R(m+l) such that R(m+l) +WDh(Y') and a retraction
.
r:W+h(Y')of
class P.
By 5.1.19.e) there exists an open set W1 of R(m+l) that W>wlDWl>h(Y ) and rlvl:wl+h(Y') is a proper map. & f: Y4R
such
the continuous map defined by 2 c f (y)=min(l,d(hf(y) ,R (m+l) -Wl)) for every yeY and let d' be the metric in Y' (which describes its topology) defined by d ' ( y ' , z ' ) = ~ ~ h ( y ' ) - h ( z ' ) S . By 9.2.9.a), f€Bd'(f)eTs. Let g be an E,& d' element of BE (f). For te[0,1] and yeY we have f Let
+
be
2
462
Chapter
9
2
Consider the continuous map F1: Yx [ 0,l]+IR(m+l) defined by F1(y,t)=thf (y)+(l-t)hg(y) Now we shall see that F1 is proper.
.
Let K' be a compact set of W (m+1)2 and S=( (Y~,~~)EF;~(KI) ,dcD,a) -1 a universal net in F1 (K'). Then the universal net converges to zOcK'. Since [0,1] is F1 (Sd)=tdhf(yd)+(l-td)hg(yd) compact we can suppose, without loss of generality, that the universal net (tdE[ 0,1] ,daD,a) converges to to. On the other hand
1 hf (Yd
-' 0 1 ' hf (Yd - ( tdhf ( Yd +
-'O 1 "+ hg (Yd)1' 1 tdhf (Yd)+ ( l'td) hg (Yd)-'O 1 "f (Yd)+ 1 F1 +iF1(sd)-zO~. Thus there exists do such that for every dcD with dosd, hf(yd)cBi(zo). Again, since hf is proper, we can suppose that the net (ydldcD,a)converges to yo in Y. Thus S converges to (yO,tO)cF;l(Kt) in Yx[O,l] and Fil(K') is a compact set. +(l 'td)
Finally, the map F=h-lr
F :Yx[O,l]+Y'
lrj 1 1
is a proper map such
that F(y,O)=g(y) and F(y,l)=f(y) for every ycY. In particular g is proper and':B ( f)cProp (Y,Y' ) o f
.
Definition 9.2.29 Let Y,Y' be manifolds of class p, F a closed set of Y and f:F+Y' a map. We say that f is a map of class p, if there exist an open set U of Y with FcU and a map T:U+Y' of class p such that 3, F=f. Proposition 9.2.30 Let Y be a manifold of class l ' p that admits partitions of unity of class p, let Y' be a Hausdorff paracompact Hilbert manifold of class p+l with a(Y')=# and let F be a closed set of Y. Then CP(F,Y')=(g:F+Y'/g is a map of class p ) is a dense set in (C(FtY') ,Ts)
Spaces of Differentiable Haps
463
Proof Let f be an element of C(F,Y') in (C(F,Y') ,Ts).
and Vf a neighbourhood of f
By 3.3.7, there exist a real Hilbert space (H,<,>) and a closed embedding of class p+l, h:Y'+H. On the other hand by 5.1.19 there exist an open set W of H such that H+W>h(Y') and a retraction r:W+h(Y') of class p. Let d f be the metric in Y', (which describes its topology), defined by d'(y',z')=llh(y')-h(z') 11. By 9.2.9 there exists a + d ' continuous map n : F 4 such that Bn(f)cV f and B;'(f)eTs. Since Y is a Hausdorff paracompact space, Y is normal and by the Tietze theorem there exists a continuous map nl:Y4+ such that
I F=='
On the other hand hof:F+H is continuous and by the Dugundji extension theorem there exists a continuous map F:Y+H such that
Since F(F)=hf(F)ch(Y'), set of Y and U1>F. For every XEF,
TI
1
we have that U1=F-'(W)
is an open
(x)=n(x) and by the continuity of n1 there
exists a neighbourhood Vx of x such that VxcUl and n l ( y ) > w for every y€VX
.
Moreover since hf(x)EW,
rhf(x)=hf(x) and r is continuous H =I (XI = and there exists €ix>O such that B8 (hf(x))cW, 2
1 r (y)-hf (x)1
for every ycBfH ;fif(x)) X
.
By the continuity of 7 at x, there exists a neighbourhood Wx of x such that W xCVx and f(WX)cBfH (hf(x)) X 2
.
Chapter 9
464
Let U2=\J Wx. Then FcU2cUl and W=(WX/xcF) is an open xcF covering of U2. Since U2 is a Hausdorff paracompact space, there exists a locally finite closed refinement C=(Cj)jeJ of W in U2. X
For every jcJ consider X.EF such that C.cW j 3
By 8.3.13
.
there exists a map gZ:U2+H of class p such that
%.
llg2(z)-r(z)II<+
3
for every xeC and every jaJ. j
For every zcC
j'
&X. Ilg2(z)-hf(xj) IlqJs,(z)-T(z) ll+llf(z)-hf(xj) ll<+ + =6x j H and g (C.)cBg (hf(xj))cW. Thus g2(U2)cW and w e have the map xi J -1 g=h rg2:U2+Y' of class p. Finally, g EBd,(f)cV f Indeed, for IF = x x every ZEF, there exists jcJ such that zeC.cW jcV j and therefore
-i'
.
3
Corollary 9.2.31 Assuming the hypothesis of the preceding proposition, every continuous map f:F+Y' is homotopic to a map g:F+Y' of class p.
Proof If follows from 9.2.27 and 9.2.30.0 Corollary 9.2.32 Assuming the hypothesis of 9.2.30, if dim (Y')=m Y' Y'EY', then PropP(F,Yt) is dense in (Prop(F,Y') ,Ts).
for every
Spaces of Differentiable Haps
465
Proof If follows from 9.2.30 and 9.2.28.0 Proposition 9.2.33
Let Y be a manifold of class prl that admits partitions of unity of class p (in particular Y is a Hausdorff paracompact space), Y' a Hausdorff paracompact Hilbert manifold of class p+l vith a(Y')=# and F a closed set of Y. Let f,f':F+Y' be maps of class p such that fzf' by a continuous homotopy. Then there exists a homotopy of class p betveen f and f' vhich ve denote by CP f2f'. Proof By 3.3.7, there exist a real Hilbert space (H,c,>) and a closed embedding h:Y'+H. Let d' be the metric in Y' (which describes its topology) defined by d'(y',z')=llh(y')-h(z') 11. By 5.1.19 there exist an open set W of H such that H*W>h(Y') and a retraction r:W+h(Y') of class p. By the hypothesis there exists a continuous map K:Yx[O,l]+Y' such that K(y,O)=f(y) and K(y,l)=f'(y) for every ycY. Let cK:Fx[O,l]+R+ be the continuous map defined by cK(yrt)=d'(K(y,t),H-W). By 9.2.30 there exists a map of class p, G: Fx [ 0,1]+Y ' such that G E B ~ (K) ' eTS. K Since G:Fx[O,l]+Y' is a map of class p, G admits an extension of class p to an open set U of Yx[O,l] such that U>Fx[O,l]. Since [0,1] is compact, there exists an open set U1 of Y such that U1>F and U1x[O,l]cU. Put g=GO:F+Y', g'=G1:F+Y' extensions of class p to U1).
(note
that
g
and
g'
admit
466
Chapter
9
Since G(Yx[O,l])cW, the two maps F1:Fx[O,l]+Y* and and F;: Fx [ 0 ,l]+Y * , defined by F1 (y,t)=h-'r (tg(y)+ (1-t)f (y)) F; ( y , t)=h-% ( (1-t)g' (y)+tf * (y)) , are homotopies of class p between g,f and f',g' respectively. Indeed F1, F;
are maps of class p since every xeF has
a neighbourhood VXcU1 such that (1-t)g*(y)+tf*(y)eW for yeVx and te[O,l].
(1-t)g (y)+tf (y)EW
and
cp cp cp Thus we have fS gg g*z f'. CP To see that fi g', choose a map t:[O,l]+[O,l] of class a, 1 Ost(t)sl if Tst% 1 2 and t(t)=l if istsl. such that t(t)=O if Ost3, Then the map of class p H:Yx[O,l]+Y' defined by 1 F1(y,t(2t)) if O=t%j H(Yrt)=
[
G(y,t(2t-1))
if
1 Zstsl
is the homotopy we sought, as Ho=f, and H1=g*. Analogously we CP conclude fn f * .o Corollary 9.2.34 Let Y be a manifold of class prl that admits partitions of unity of class p, Y' a Hausdorff paracompact Hilbert manifold of class p+l with a(Y)=@, F a closed set of Y and f:F+Y' a continuous map. Then there exists a map g:F+Y* of class p homotopic to f and CP-homotopic to any Cp-map g' :F+Y' such that fng'. Proof It follows from 9.2.31 and 9.2.33.0 Proposition 9.2.35 Let Y be a manifold of class prl that admits partitions of
Spaces of Differentiable naps
4 67
unity of class p (in particular Y is a Hausdorff paracompact space), Y' a Hausdorff second countable manifold of class p+l vith a(Y')=# and dim (Y')=m for every Y'EY', and F a closed set Y' of Y. Let f,f':F-+Y' be proper maps of class p such that fzf' by a proper homotopy. Then there exists a proper homotopy of class p between f and f'. Proof 3.3.9, there exists a closed embedding of class p+l 2 h:Yt+lR(m+l) On the other hand by 5.1.19 there exist an open set 2 2 w of IR(~+') with IR (m+l) +W>h(Y') and a retraction r:W+h(Y') of By
.
2 class p. By 5.1.19.e) there exists an open set W1 of U?(m+l) such that W>wl>Wl>h(Y') and r :W1+h(Y') is proper.
Then by the hypothesis there exists a proper map K:Fx[O,l]+Y' such that K(y,O)=f(y) and K(y,l)=f'(y) for every ycY. Let
cK:Fx[O,l]+R
+
be
the continuous 2 (m+l) -Wl)) for every
K' (YI t,=min( I (K(Yf t, , let d' be the metric in Y' by d'(Y',Z')=Ilh(Y')-h(Z')
map
defined
by
(y,t)~Fx[O,l] and
(which describes its topology) defined
11.
By 9.2.28 and 9.2.32, there exists a proper map G:Fx[O,l]+Y' of class p such that G€Bd'(K)eTS. Since G:Fx[O,l]+Y' is a map of &K class p, it admits an extension of class p to an open set U of Yx[O, 13 containing Fx[O,l]. Since [0,1] is compact, there exists an open set U1 of Y such that FcUl and U1x[O,l]cU.
Chapter 9
4 68
Put g=GO:F+Y', g'=G1:F+Y' (note that g and g f are proper and admit extensions of class p to U1). Since G (Fx[ 0 I 13 ) cW1 I the maps F1: Fx [ 0 ,1]+Y' and F; :Fx [ 0,l]+Y defined by F1 (y,t)=h-'r (tg (y)+ (1-t)f (y)) and F; (y,t)=h-'r ( (1-t)g' (y)+tf I (y)) are proper homotopies of class p between f,g and f',g, respectively. Finally since the composition of proper homotopies of class p (see the proof of 9.2.33) is a proper homotopy of class p, we conclude that there exists a proper homotopy of class p between f and f'.o Corollary 9.2.36
Let Y be a manifold of class pzl that admits partitions of unity of class p, Y f a Hausdorff second countable manifold of F a class p+l with a(Y')=# and dim (Y')=m for every Y'EY', Y' closed set of Y and f:F+Y' a proper map. Then there exists a proper map g:F+Y' of class p such that f and g are homotopic by a is another proper map of class p proper homotopy and if g':F+Y' such that f and g' are homotopic by a proper homotopy, then g and g' are homotopic by a proper homotopy of class p. Proof It follows from 9.2.32 and 9.2.35.0
9.3. Topologies over the Spaces of Maps of Class p.
Finite Order Whitney Topology. The topologies that we have constructed on the spaces of continuous maps allow us to construct topologies over the spaces of maps of class p l by means of the jets of maps of class p.
Spaces of Differentiable Maps Definition 9.3.1
469
(Finite Order Weak Topology)
Let X,X' be manifolds of class p, peNu(m) and k an integer k (X,X')) defined by with Osksp. Consider the map jk:Cp(X,X')+C(X,J k k k j (f)(x)=j,(f) and the topology Tc over C(X,J (X,X')). Then the inverse image topology (jk)-l(Tc) will be called weak topology of order k over Cp(X,X') and denoted by TD(p,k). Notice that a subbasis of TD(plk) is given by k -1 (
Let X,X' be manifolds of class p, peHu(m) and k an integer vith Osksp. Suppose that X is a Hausdorff space. Then the set * f 'D(P~ k)=(V (c,c' ,K,c ) /fECp(X,X'), c=(U,p,(E,h)) is a chart of X, c'=(U',(p',(E',h')) is a chart of X', K is a compact set of X with KcU and f(K)cU' and c is a positive real number), where ' : c , '
,K,&)= = ( geCP (XIX' ) /g (K)cU' and )IDi ((p fp-l) (y)-Di ((p 'cyp-') (y)1 <E for every ye(p(K) and every ie(0 ,...,k)) is a subbasis of the
topology TD(Ptk). Proof Let fc(j k ) -1 (
...
X with
KicUi for every
c!=(Uj,(pi,(Ei,Aj)) 1 ie(1,
of
n
ie(lI2,...,n) X'
such
and K=[J Ki and i=1 that f(Ui)cUi for
...,n).
Then for every ie(l,...,n) consider the map k aci: J (Ui,Ui)+(pi (Ui)x ( p j (Uj)xJe (Ei,Ei)x . x Y k s (Ei,Ei) Cj
..
charts every
Chapter 9
470
defined as in 9.1.6. Ci k Since nC ((j (f))(Ki))=Hi is compact and contained in the
i
of k
E ~ = D ( H ~ , E ~ ~ E ~ x Y ? ( E ~ .xfs(Ei,Ei)-Ai) ,E~)X..
positive real k number, where Ai is an open set of EixEixZ(Ei,Ei)x.. .xls(Ei,Ei)
a
Ci Ci k A.nim(nc )=mc (GnJ (Ui,Ui)). 1
that
such
is
i
Then
i
" f k -1 (
shall see that each
*
EXD(p,k) is open in TD(p,k). Vf (c,c' ,K, c ) Let
be an element f where 9 cv 9EV(C,C' ,K,ag) (C,C',K,E) ' Gg=&-sup( llDi (p'fp-') By
of
g
the
(y)-Di(p#gp-')
continuity
of
V:C,C,,K
(y)Il/ycp(K), i=O,.
the map
j
k
Then
,&).
..,k)>O.
k (g):X+J (X,X')
and
the XY
open neighbourhoods V j
compactness of K, there exist x?cK and 3 of xg in U, j=l, 3
...,n9'
xg n9 xj g such that K C O V and nz'((jk(g))(V j)) j=1
c' k is contained in H?=Ba (nc ( j (9)))for every j c ( 1 , . X? 9/2 3 Let
W (c,c
..,
n 4 X? k Wg=\J (nZ')-l( (p(V 3)~E'~E(E,E')~. .xJes(E,E'))nH?)3
.
3=1
,K, E y(w
g f /geV (c,c
,K, E )
1.
Then
Jk(U,U') and therefore it is open f k -1 >) .o v(C,C',K,&)=(j (
W
is (C,C' ,K, & ) k in J (X,X').
open
and in
Moreover
(Finite Order Whitney Topology)
L e t X,X' be m a n i f o l d s o f c l a s s p, pdNu(m) and k an i n t e g e r
k w i t h Oskap. C o n s i d e r t h e map jE:Cp(X,Xr)+C(X,J (X,X'))
d e f i n e d by
Spaces of Differentiable naps
471
k k (j (f))(x)=jx(f). Then the inverse image topology (jk)-l(TS) will be called Whitney topology of order k over Cp(X,X') and denoted by TW(P,lo f Notice that the set %(p,k)=( (jk ) -1 (Vu)/feC(X,Jk(X,X')), U is an open set of XxJ k (X,X') and GfcU) is a basis of TW(p,k) where VU=(qeC(X,J f k (X,X'))/GgcU) f and (jk ) -1 (Vu)=(heCP(X,X')/(x,
jz(h))EU for every xeX).
on
the other hand by k -1 f BW(~,k)=((j 1 (v(C,u))/feC(X,Jk(X,X')) , "=(Ci)ieI is
9.2.2,
a
closed
locally finite family of Y, U=(Ui)ieI is a family of open sets of XxJ k (X,X') and for every ie1, rf I cicui) where =(geC(X,J k (X,X'))/rglC;Ui
for
k -1 f .k (Vu)=(heCP(X,X')/(x,)x(h))eUi (j ) ie1).
for
Vf
(C,U)
every every
i d) xeCi
and
and every
Alternative descriptions of BW(p,k) are given in the next proposition. Proposition 9.3.4 Let X,X' be manifolds of class p, peHu(m) and k an integer with 0sksp. Then we have that: k is an open set of J (X,X') where M(G) =( feCp(X,Xt)/ ( jk( f) ) (X)cG) a ) BW(p,k)=(M(G)/G
.
and M(G)+f#],
b) BW(p,k)=(M(C,B)/C=(Ci)icI is a locally finite family of
closed sets of X and B=(Gi)ieI is a family of open sets of k k J (X,X') and M(C,B)+f#), where M(C,S)=(feCp(X,X')/(j (f)) (Ci)cGi for every id). Proof a)
Let
G be
an open
set of Jk (X,X')
and
feM(G).
Then
Chapter 9
472
k -1 f k Consider (j ) (VU)EBW(p,k). Then fsC(X,J (X,X/)), U is an k open set of XxJ (X,Xt) and rfcU. We seek an open set G of k k -1 f J (X,Xl) such that M(G)=(j ) (V,). Let a:J k (X,X')+XxJ k (X,Xl) be the continuous map defined by k k k -1 f a(jx(h))=(x,jx(h)) and G=a-l(U). Then M(G)=(j ) (V,). b) is analogous to a) . o Lemma 9.3.5 Let X,X' be Hausdorff paracompact manifolds of class p, psP(w(00) and k an integer with Osksp. Then (Jk (X,Xt),T(k)) is a Hausdorff paracompact topological space and therefore it is a completely metrizable space.
Let [
,
[ (x,f)] [ (y,g)]
be
elements
of
Jk(X,Xt)
with
(x,f)I + [ (Y/9)1
Suppose that x+y. Then there exist charts c=(U,p, (E,h)), c,=(U',p',(E',h')) of X such that XEU, ycU' and UnU,=# and charts (W,*, ( F , M ) ) , (W#,*#,( F # , M / ) ) of X' with f(x)sW, g(y)sW'. Then J k (U,W) and J k (Ut,Wt) are disjoint open neighbourhoods of [(x,f)] and [ (y,g)] respectively.
.
Suppose that x=y and f (x)+g(y) Then [ (x,f) ] and [ (y,g)3 can be separated as in the preceding case. Suppose that x=y and f(x)=g(y). Let (U,p, ( E , h ) ) and (U#,p/,(Et,At)) be charts of X and X' respectively with xsU and f (x)EU'. Then there exists is( 1,. ,k) such that Di(ptfp-') (p(x))tDi(p'gp-') (p(x)). Thus there exist disjoint open
..
neighbourhoods ExE'xg(E,E')x..
V
C' ?Ic
k .xLs(E,E')
([(x,f)l) and
and
therefore
V
in
c' -1
(?Ic
)
C'
? c I([(X#f)l)
(V
1
Spaces of Differentiable Haps
473
C'
c' -1 TIc (C(Yl9)l) and (TIc 1 (V ) are disjoint open neighbourhoods of [(xlf)] and [(y,g)] respectively. Now we prove paracompactness. Since X,X' are Hausdorff paracompact spaces, they are metrizable and therefore XxX' is a metrizable Hausdorff paracompact space. Thus there exists a locally finite open covering V=(V./jeJ) of XxX' such that for every jeJ there exist a 3 chart cj=(U (p (E.,A.)) of X and a chart c!=(U' (p' ( E 4 , A . j ) ) of j r j' 3 3 3 j' j' X' such that V cU.AU! for every jeJ. Then (srb)-'(Vj)cJ k (Uj,U;) j 3 3 for every jeJ and therefore (sIb)-'(Vj) is a Hausdorff paracompact space. Let (A./jcJ) be a contraction of V and 3 'U=(Wi/ieI) an open covering of Jk (X,X'). Then for every jcJ there exists a locally finite open refinement W (s,b)-'(V.).
3
of Un(s,b)-l(V.) in j 3 Thus W=\) (W n(s,b)-l(A.)) is a locally finite open jeJ j 3
refinement of 91. Hence Jk(X,X') statement follows from 1.4.10.0
is
paracompact.
The
last
Proposition 9.3.6 Let X,X' be Hausdorff paracompact manifolds of class p, prP(u(m), k an integer with Osksp and d a metric on Jk (X,X') (see Lemma 9 . 3 . 5 ) . Then the set B&(p,k)=(Wc/fsCP(X,X') f and &eC(X,R+)) , vhere Wc=(g&P(X,X~)/d(jx(f) f k ,jx(g))<&(x) k for every XEX), is a f + ) ) is basis of the topology TW(prk). Moreover (Wc~~(p,k)/&cC(X,R a basis of open neighbourhoods of f in TW(prk). Proof d k (f)) form a basis of By 9.2.7 the sets Bc(j neighbourhoods of jk(f) in TS, and consequently the k-1 d k ( j ) ( B c ( j (f))) form one of f in TW(p,k). Now notice that k-1 d k f (j 1 (Bc(j (f)))=w&.~
open sets
Chapter
474
9
Corollary 9.3.7
+
Let U be an open set of a quadrant EA , V an open set of a quadrant Fi , pEpIu(m) and k an integer vith Osksp. Then %(p,k)=(WE/feCP(U,V) f
and &EC(U,R+) ), vhere
W:=(geCP(U,V)/lDhf (x)-Dhg(x) II
Moreover
(W~e~(p,k)/cEC(U,R+) )
neighbourhoods of f in Tw(p, k)
is
a
basis
of
open
.
Proof k defined By 9.1.5 the map f3 k :J k (U,V)+ExFxY(E,F)x.. .xYs(E,F) P k k D f(x)) is injective. Thus the map by B(jx(f))=(x,f(x),Df(x), k k d:J (U,V)xJ (UIV)4+u(O) defined by ,J,(g))=max(~~x-~l~,~~f(x)-g(Y) k ~~,...,IlDkf(x)-Dkg(Y) 11) d(jx(f) k
...,
is a metric on Jk (U,V) that describes its topology T(k) 9.1.6. Hence the result follows from 9.3.6.0 Proposition 9.3.8
Let X,X' be manifolds of class p, pEHu(m) and k an integer vith Osksp. Suppose that X is Hausdorff paracompact and has finite dimension at every XEX. Then the set BG;(P,k)=(V(gp f ,x,g)/P=(ci=(Ui,pi, (Ei,Ai))/i€1) is a family of
charts of P'=(c;=(U;,p;, X=(K./ieI) 1 f(Ki)cUi
X vhere (E;,hj) )/id)
a
for i d and &=(ci/icI) is a family of real positive
(p;fpil)
basis
finite, of X',
is a family of compact sets of X with KicUi and
numbers), vhere A
(Ui/icI) is locally is a family of charts
Vf (s,c,
Ix,G)=(g~P C (X,X')/g(Ki)cU;
for
id
and
h
(Y1-D (pjsrpfl)(y)II
of
TW(p,k).
Moreover
(V(c,P,,x,g) f E Bf;( p ,k ) / E = ( E i/ iE I)
Spaces of Differentiable Haps
475
is a family of positive real numbers), where \J ki=X and C,&' , X ieI are fixed, is a basis of open neighbourhoods of f in TW(p,k). If
dim(X) is finite, it can be supposed that n+ and therefore Ki is a compact submanifold of X. pi(Ki)=Bi (0)nRA
i
Proof Let Vf( 5 , C ' ,X,€)EBf;(P'k)
f Then v(S,St ,X,€)=[!~~C~,C~,K~,E~)
By the proof of 9.3.2,
for every i d there exists an open set Gi of Jk(X,X') such that Vf =(j k ) -1 (
*
(C, C ' , X , € )
element of %(p,k), (9.3.4), k jx(g)eG for every xcX.
and geM(G).
Then
(jk(g))(X)cG
Consider an atlas Ci=(c;=(U! ,p' (E; ,A;) )/jeJ) of X'. 1 j' there exist an atlas C=(ci=(Ui,pi, (Ei,Ai))/ieI) of X
or
Then with
(Ui/ieI) locally finite, a family K=(Ki/ieI) of compact sets of X such that with \J fii=X, KicUi for ic1, and a map B : I 4 is1
Let &' be the family
where ci=c; (i) for every i d .
c;/icI),
Ci k For every ie1, we consider &.=D(nC (j (9)(Ki)),EixEixB(Ei,Ei)x... 1
x.
..xY$ ._(Ei,Ei) -Ai) ) >O,
k EixE!x.. .xYs(Ei,Ei) 1
where
i
Ai
is
an
open set of Ci Ci k such that Ainim(nc )=n (GnJ (Ui,Ui)). Then : c: A A
Finally if feM(G), C=(ci=(pi, (Ei,Ai))/ieI) is a family of charts of X where (Ui/ieI) is a locally finite family, is a family of charts of X' and C'=(c;=(Ui,pj,(Ei,Aj))) K=(K./iaI) is a family of compact sets of X such that KicUi, 1
Chapter
476
9
1) fii=X, then it suffices to take it I k EixE!x1 xYs(Ei,Ei)-Ai)>O, where Ai is an k EixE!x.. .xgs(Ei,Ei) such that
f(Xi)cUi for every it1 and Ci k c.=D(rrc ((j (f)) ( K i ) ) , 1 i open set of
... 1
Ci Ci k )=mC (W (Ui,ui)), A.nim(nc 1 i i f feV (e, g r , X , &=( c i/icI c M ( G ) .n
to
obtain
Proposition 9.3.9
Let X,X' be Hausdorff paracompact peHu(m), and k an integer vith Oaksp. Let d be a metric on J k (X,X'), topology T(k). Then:
manifolds
(9.3.51,
of
class
that describes the
11 Bh(Prk)=(V(&,&) /ftcP(x,xt), g=(ci/ieI) is a locally finite family of closed sets of X and &=(ci/ieI) a family of )> vhere positive real numbers k .k Vf =(gtCP(X,X')/d(jx(f) ,lX(g))
rr)
open neighbourhoods of
f
in TW(p,k).
Proof
.
.
.
therefore by 9.2.11, V
(g,g)
is an element of TW(p,k)
.
477
Spaces of Differentiable Haps
k -1 f Let us consider (j ) (V(c,g))I where f and let g be an element of (jk ) -1 ("(C,e)
-
Let
11)
k
(vQ j
(j 1
Vf
be
an
element
f
***
v (C,g)EBs
of
-*** Bs
I
(9.2.11),
(p,k).
Then
(f))=V@w(p,k). f
-***
where V EB , (9.2.12), and let Q S g be an element of (jk)-'(V;). Then jk (g)EVf and by 9.2.12, Q k k 9' Thus gE(jk)-l(V; (g))=V3(jk)-1(Vf) Q which proves j (9)~ vj *(g)cVf 11).o Let us consider (jk)-'(Vf),
Q
Proposition 9.3.10 Let X,X' be manifolds of class piHu(m) and k an integer with osksp. Suppose that X is Hausdorff. We have:
b) If X is compact, then TD(p,k)=TW(p,k). Proof By the remark that follows 9.2.1, we have TccTs and a) follows. On the other hand, b) follows from 9.3.4.0 Proposition 9.3.11 Let
X,X'
be
Hausdorff
paracompact
manifolds
of
class
Chapter 9
478
peHu(m), compact
and k an integer vith Ocksp. Suppose that X is not and there is x'EX' such that dimx,(X')tl. Then
TD (PI k)+TW (PI k)
-
Proof Since dimx,(X')zl,
* *
* *
there are a chart c*=(U ,p ,(E , A ) ) of
*
c U that lim xA=x' and with X,EU* and a sequence ( x A ) ~ ~ ~ such new '+XI for every new. Consider the constant maps g,gn:X+Xt defined xn by g(x)=x' and gn(x)=xA (ncw). Then the sequence (gn)nEw * converges to g in TD(plk). Indeed, if V~cIc,,K,c) cXD(Plk) I (9.3.2), then x'EU' since g(K)cU'. Hence there is nOEw such that x'nEU' and ~ ~ p ' ( x ~ ) - p ( x ' ) for ~ ~ c every & n m o . Thus it is clear that 9 for every n m o . gnEV(c,c, ,K,&) X'
Nevertheless the sequence (gn)new does not converge to g in the topology TW (p,k)
.
Indeed, since X is a Hausdorff paracompact non compact space it is not a countably compact space and therefore there is a that has no cluster point. sequence By the Tietze extension theorem there exists a continuous map & : X 4 + such that c(xn)=$(jk (g),].k (gn))>O, (9.3.6) for xn xn every new. Then gneWz for every new. Thus by 9.3.6, the sequence (gn)nEw does not converge to g in the topology TW(prk).o Corollary 9.3.12 Let X,X' be Hausdorff paracompact manifolds of class psNu(m), and k an integer vith Osksp. Suppose that there exists XIEX' such that dimx,(X')tl. Then X is a compact space if and only if TD(plk)=TW(plk).o
Spaces of Differentiable Maps
479
Lemma 9.3.13
+ vhere E is Let U be an open connected set of a quadrant EAI a real Banach space, F a real Banach space and fn:U+F a map of class p&iu(m) for every new. Suppose that: 1 ) (fn)neM converges pointvise to the map f:U+F. 2) For every keH vith ksp, the sequence (Dk fn)nsw converges
k uniformly to gk:U-+L!s(E,F).
k
Then f is a map of class p and for every keH vith ksp, (f)=gk'
Proof First notice that if XGU and yeE with x+y~U,then -1 f (x+y)=lim fn (x+y)=lim[fn (x)+ Dfn (x+ty)(y)dt]= new nsM I
=f(x)+J 91(X+tY) (Y)dt 0
and therefore Df(x)=gl(x) for every xeU. Thus f is a map of class 1 on U. Then the result follows by induction.0 Corollary
Let H be a separable Hilbert space. Then H is a Zm-space. Proof Let C be a closed set of H. Since H is a separable space, ) ~ ~ that ~ there is a sequence of open balls (BE ( x ~ ) such H-C=() B (x,) neH n' there is a
. By
n
the proof of Proposition 1.5.9
map
fn:H+[O,-]
J.
2"
of
class
, m
for every neW such
that
480
Chapter 9
...
Suppo(fn)=B,
(x,) and the differentials Df,, ,Dnfn are bounded n n by f_. Then the sequence ( 1 fi)nep( verifies the on B, (x,) n 2" i=l hypotheses of the above lemma and its limit f:H+[O,l] is of class m and f-'(O)=C.o Remark 9.3.14 The preceding lemma is also true if we consider a net ( fd,deD,s) instead of the sequence ( fn/neP(). Proposition 9.3.15 L e t X be a Hausdorff compact m a n i f o l d of c l a s s
and E a r e a l Banach s p a c e . Then t h e r e a l v e c t o r s p a c e Cp(X,E) a d m i t s a c o m p l e t e norm whose t o p o l o g y is TD(p,p)=TW(p,p), (9.3.10). PEP(,
Proof Since X is Hausdorff and compact, there exist charts c1=(Ulrp1,(ElrAl)) ,cn=(Un,pn, (EnrAn)) of X with U1u.. .uUn=X and a contraction Y=(V1,...,Vn) of (Ulr...,Un).
,...
that
It is clear that 1 1 1 is complete.
1
.
is a norm in Cp(X,E) Next we shall see Let (fn)nep( be a Cauchy sequence in
(Cp(X,E),~l11). Then for ie(l,...,n] and ke(0, ...,p), the sequence k -1 i k (D (fm c pi. ))mep( converges uniformly to gk:pi(Ui)+Xs(EirE). Thus by i -1 the preceding lemma applied to (fmpi g is a map of class p i n)). Thus f:X+E defined by f =gopi for ie(l,...,n) is (k(1, I Vi a map of class p and lim(fn)=f. new
...,
where co=(E, lE,E). Thus TIIIlcTD(prp).Let G be an element of
Spaces of Differentiable Haps
481
,...,
cneR+ such TW(p,p) and gcG. Then by 9.3.8, there exist & l n that ge[) V9 - cG. It is clear that if %=min(E1 En), 1=1 (CiI co 'Vi I c )
,...,
then geB!
1 (9)cG.
Thus TD(p,P) cTll
1 .o
Proposition 9.3.16 Let X,X' be manifolds of class pcN. Suppose that X i s a Hausdorff space and dimx(X)<m for every xeX. Consider the map jp:Cp(X,Xt)+C(X,Jp(X,X~)) defined by (jp)(f)(x)=jE(f). Then im(jP) is closed in the compact-open topology, Tc , on C(X,Jp(X,X')). Proof Let f be an element adherent to im(jP). Then there exists a net (jP(fd),deD,s) in im(jP) that converges to f in Tc. Let xeX and define a continuous map hx:C(X,Jp(X,X'))+X'
by
hx(h)=bh(x), (9.1.8). Then the net (hx(jp(fd)) ,dcD,s) in X' converges to Ax(f), i.e. the net (fd(x),deD,s) converges to bf(x). On the other hand the continuous map px:C(X,Jp(X,X'))+X defined by px(h)=sh(x) verifies px(jp(fd))=x, and so x=sf(x). Let g:x+X'
be the map g=bf and let us see that g is a map of
class p. If XEX, consider a chart c=(U,cp, (E,A)) of X with chart c'=(U',cp', (E',Af)) of X f with g(U)cU'. Since there exists a compact set K in X such that x&cKcU and convex. Then clearly f e K ,Jp (U,U #) > Thus there exists that for every dtdo, jp(fd)e
.
Let i:K4X be * i :C(X,Jp(X,X'))+C(K,Jp(X,X'))
xeU and a dimx(X)<m p(ft)cE is dOeD such
the inclusion map. Then * defined by i (h)=hlK=hoi is a
continuous map. Moreover the topological space C(K, Jp(U,U,) ) is homeomorphic to the subspace of C (K,Jp (X,X' ) ) consisting of all
482
Chapter 9
elements feC(K,JP(X,X')) such that f(K)cJp(U,Ut). Thus the net (jp(fd) IK,d~D,drdo,s)converges to f in C(K,JP(U,U')) in the IK compact-open topology.
BY [M.o.P, x111.3.21,
s converges uniformly to p2ncC' flKp-l
on p(K) , i.e. for every 0 0 there exists dlED with dlzdO such that for every dzdl and every y ~ p ( K ), (Y)IIcE
llp'fd(p-l) (Y)-(p'gp-') ID(p'fdp-l) (Y)-gl(Y) 11"
where
gl,..
E(E,E'),
.,9P
...,f:(E,E,)
a Dp
(9
are
d(P-l) (Y)-gp (Y)1 <' the continuous maps
from
C'
p(K)
defined by p2nC f IKp-l=(p'gp-l,gl,.
to
..,gp).
By Remark 9.3.14, (p'gp'l) Ip(fi) is a map of class p and k -1 D (p'gp )=gk, k=l,. ..,p, in p(it). Therefore g is a map of class p. Moreover jP(g)=f since nz'(flfi)=nc C' ( (jp(g)
) . Thus feim(jP) .o
If(
Proposition 9.3.17 Let X,X' be manifolds of class p&Ju(a). Suppose that X is a Hausdorff Lindel6f space, dimx(X)ca for every XCX, and X' is a Hausdorff paracompact space. Consider k an integer with Osksp, (fn)nEp(a sequence in Cp(X,X') and fcCp(X,X'). Then the following statements are equivalent: a) (fn)nc8( converges to f in the topology TW(p,k), ( 9 . 3 . 3 ) . b) There is a compact set K of X such that:
Spaces of Differentiable Maps
483
1 ) There is nOEN such that fnIX-K=fIX-Kfor nrno,.
k
2) If d is a metric in J (X,Xf), (9.3.5),
k k ((j (f,)) IK)neP(converges uniformly to (j (f)) IK'
the sequence
Proof We know that if S is a net in Cp(X,Xf) and fECP(X,Xf), then S converges to g in TW(p,k) if and only if the transformed net by
k k jk converges to j (9) in (C(X,J (x,x')) , T ~ ) .
k Thus a) is equivalent to the fact that (j (f,) )nEN converges to jk (f) in the topology Ts. Then by 9.2.21, a) is equivalent to b') : There is a compact set K in X such that: 1')
There is nOEN such that
(jk (fn))lx-,=(j k (f))lX-K
for
nrnO. converges
Since X-K is an open set, it is clear that 1') to l).o
uniformly
to
is equivalent
Corollary 9.3.18
Let X,X' be manifolds of class pcNu(m . Suppose that X is a Hausdorff Lindeltif space and dimx(X)cm for every XEX, and XI is a Hausdorff paracompact space. Let k an integer with Osksp, let Y be a compact connected metrizable topological space and let f:Y+CP(X,Xf) be a continuous map with respect to the topology TW(p,k). Then there exists a compact set K of X such that for every xeX-K the map fx:Y+X' defined by fx(y)=f(y)(x) is constant. Proof Let us consider the continuous map g:Y+(C(X,J k (X,Xf)),Ts) defined by g=jkof. Then by 9.2.8 there exists a compact set K of
Chapter
404
9
X such that for every xcX-K, gx:Y+J k (X,X') defined by k gX (y)=g(y)(x) is constant. Since g(y) (x)=jx(f(y)) it follows that fx(y)=f (y)(x) is constant.0 Proposition 9.3.19
Let X,X' be Hausdorff paracompact manifolds of class pcUi and suppose that dimx(X)<m for every xeX. If CcCp(X,X') is a closed set in the topology TD(p,p), (9.3.1), then (C,Tw(p,p) c) is a I Eaire space. In particular (Cp(X,X') ,Tw(p,p)) is a Eaire space. Proof By 9.3.16 im(jP) is a closed set in C(X,jp(X,X')) with the jp is injective, compact-open topology. Since the map jP:CP(X,X~)+im(jP) is a homeomorphism with the topologies TD(p,p) T Hence H=jp(C) is a closed set in and Clim(jP) (C(X,Jp(X,Xt)),Tc). Thus H is a uniformly closed set (9.2.4) with respect to a complete metric d in Jp(X,X'). Then by 9.2.5, (H,TSIH) is a Baire space.
.
Finally
since
topologies Tw(p,p) IC a Baire space.0
jPIC:C+H is a homeomorphism with the and T s l H , we conclude that (C,Tw(p,p)Ic) is
Proposition 9.3.20
Let X,X' be Hausdorff paracompact manifolds of class pcUi. Suppose that dimx(X)<m €or every xcX and the connected components of X are second countable. Then the space (Cp(X,X'),TD(p,p)) is a topologically complete space and, therefore, a Eaire space. Proof By 9.3.16, im(jP) is a closed set in C(X,Jp(X,Xt)) with the compact-open topology. Moreover jp is a homeomorphism over its image, with the topologies TD(p,p) and Tclim(jp).
Spaces of Differentiable Haps
485
Thus the result follows from 9.2.6.0 Proposition 9.3.21 Let X,X' be Hausdorff paracompact manifolds of class p~P(u(m) and k an integer with Osksp. Then (CP(X,Xt),TW(p,k)) is a Tja space. Proof By 9.2.3 C(X,J k (X,X')) with the topology Ts is a Tga space. Since jk is an injective map, the topology TW(p,k)=(jk ) -1 (Ts) is
T3a'n 9.4. Infinite Order Jets. Whitney Topology of Infinite Order In this paragraph we discuss the case k=p=m. Let X,X' be manifolds of class m. For every kdW(0) we have the topological space (Jk (X,X'),T(k)) (9.1.6) and for every k, k'eNu(0) with k'sk we have the surjective map rk,:J k k (x,x')~~'(x,x') k k' jx(f)-jX (f) (9.1.4). Proposition 9.4.1 With the preceding notations the pair ( ( (Jk(xI x ' I T (k) kEHu(0 I , 0 ktsk) (:r /k I k' is a projective system of topological spaces [M.O.P., 111.3.121. Proof 1) For every kcNu(O), r;=1 2) If k"sk'sk,
Jk(X,X')
*
k k' k then rkll=rkllorkI.
3) For every k,k'eNu(O) k rk, is a continuous map, (9.1.8.d)).o
with
k'sk,
the
map
Chapter 9
486
The projective limit of the preceding projective system [M.O.P., 111.3.131 is a topological space which will be denoted by (J"(X,X') ,T(m)). The elements of Jm(X,X') will be called jets of infinite order from X to X'. Then, by the properties of the projective limits, for every kdNv(0) there exists a continuous map rF:Jm(X,X')+Jk(X,X') such that rk,rk=rk, k m m for Osk'sk. Moreover we have the continuous maps s:Jm(X,X')+X b: Jm (X,XI ) +X ' defined by s=plr; and b=p2r;, where p1 :XxX'+X pz:XxX'+X' are the projections.
and and
0 1 k If fECm(X,X') and XEX, then (jx(f),jx(f) jx(f) ,...) is an element of Jm(X,X') that will be denoted by j;( f) Then the
,...,
.
map jm(f):x+J~(x,x~) X-j;(f) is continuous. Finally
j m : c m ( X , x ~ ) ~ ~ ( ~ , ~ " ( ~ , ~ ~ ) fHjm(f) is an injective map. Now our aim is to obtain a easy description of the elements of J"(X,X') when dimx(X)<m for every xeX. Theorem 9.4.2.
(Borel)
F be a r e a l Banach s p a c e , neWu(0) and uk~2:(Rn,F) for e v e r y keWu(0). Then t h e r e e x i s t s a map f:Rn+F of c l a s s m such t h a t Dk f (0)=uk f o r e v e r y k~Wv(0). Let
Proof It follows from the corollary of 2.1.12 fk (O)=u,.o
when A=(O)
and
Spaces of Differentiable Haps
487
Proposition 9.4.3
Let X,X' be manifolds of class m such that a(X')=# and k dimx(X)<m for every xeX. Then Jm(X,X')=( (jx(f))kENu(o)/XEX and f is a map of class m vith values in X' defined on an open neighbourhood of x in X). Proof If
f :VX+X'
is
a
map
of
class
m,
then
kEW( 0)EJ~(x,x~).Conversely if (jxk(fk))kEHu(o) k EJ~(X,X') , k (jx(f) k k k f then we have jk' (fk,)=rk,(j (fk))=j (fk) for Osk'sk. Therefore Xkt Xk Xk xk=xO and fk(xk)=fo(xo) for every keH. Moreover if c=(u,Q, (R",A)) is a chart of X centered at xo and c'=(U',Q',E') is a chart of X' centered at fo(xO), then ~ ' ( Q ' f ~ p - ~(o)=Di(Cp~fip-l) ) ( 0 ) for every Osisk. Then by 9.4.2 there exists a map of class m g:Rn+Ft such for every kdNu(0). Since g(o)=o there that Dk f(O)=Dk (Q#fkp-')(o) exists an open neighbourhood V of 0 in Q ( U ) such that g(V)cU'. Thus VX=u)-'(V) is an open neighbourhood of x in X and f=Q '-log Ivo!Q I vx.-fl+X' is a map of class m such that
k k j (f)=j (fk) for every kelNu(O).o xO Xk Definition 9.4.4
Let X,X' be manifolds of class m and consider the map jm:Cm(XIXI ) +C (XIJm (XI X' ) ) defined by j"(f) (x)=jz(f). Then: a) The inverse image topology (jm)-l(TC) will be called weak topology of order m in Cm(X,Xt) and denoted by TD(m). b) The inverse image topology
Whitney topology of order
(jm)-l(TS) will be called in Cm(X,X') and denoted by TW ( w ) .
Chapter 9
488
Proposition 9 . 4 . 5
Let X,X' be manifolds o f c l a s s p, peP(u(m). We have: a ) I f X i s a Hausdorff space, then TD (PI =T ( n o t e t h a t Cp(X,x')cC(X,x')). I cp (X,x ) b)
If
k,k'
are
integers
vith
Osk'sksp,
then
TD (PIIc' 1 cTD(P,k) * p=m and X =Sup ( TD (a,k)/keNu( 0 ) )
c)
TD (m)
If
.
is
a
Hausdorff
space,
then
Proof a) An element of a subbasis of T
I cp f x. x ,1
is of the form
where K is a compact set of X and G' an open set
On the other hand J 0 (X,X')=XxX' and j0 (f)(x)=(x,f(x)) every feCP(X,Xt). Thus (j0) -1 (
for and
.
0 -1 Let (j ) (
.
..., ...
..
f(Xl) f(xn) fe (
-
Spaces of Differentiable naps
...,n)
such
that
ge ( jo)-l(
.
For every XEK, there exists f (Xi) xaKicVxi and g(x)eV Thus
Let g be an element of V ie ( 1,
f
489
.
(
*
b) For every compact set K of X and every open set G' of k'-1 k -1 Jk'(X,Xt) we have (j ) (
.
c) For every diagram C"
m
*
keHu(0) we
have the
(X,X' ) &C
following commutative
(X,Jm (X,X' ) )
m
*
where (rk ) (g)=r;og. Since (rk) is a continuous map with respect to the compact-open topologies, we see that TD(m,k)cTD(m) for every keHu( 0 ) and therefore Sup ( TD (m, k)/keHu ( 0 ) ) cTD (m)
.
Let us consider a compact set K of X, an open set G of Jm(X,Xt) and fe(j")'l(
TI Jk(X,X') ke Nu(0) TI we have that G=() ( ( Ai)rrJm(X,X'))=() Gj, where for every jfJ i d N u ( 0 ) jEJ the induced topology by the product topology on
jeJ there exists k.eHu(O) such that A{=Ji(X,X') if izk.+l. Since 3 3 K is a compact, X is Hausdorff and jm(f) (K)cG=() Gj, there exist jeJ Kn of K such that indices jl, ...,j EJ and compact sets K1, n j"(f) ( K ~ ) ~ G ~for re(1,. ,n) and K=K1u.. .uKn. Thus r n m -1 fE() ((jmI-'(
...,
..
Now for every re(l,...,n),
we have
'r
490
Chapter 9
which proves that ( j") (
(ro
)
(Air)n...a is an open set of J k; 'r
and that
kj I: (X,X')).o
Proposition 9.4.6 L e t X,X' be m a n i f o l d s o f c l a s s peWu(m). We h a v e :
Tw (PI 0 1 =T s I cp (X,X' ) ' c q x ,X' ) cc (X,X,) )
t be
(note
a)
inclusion
.
b)
If
k,kf
are
-
integers
vith
Osk'sksp,
then
TW(P,k' 1 'Tw (P,k) If
p-,
*
TW(m)> Sup (TW(m,k))=TW(m) keP(u(0) general, these topologies are d i f f e r e n t .
c)
then
and,
in
d ) I f X is a Hausdorff compact m a n i f o l d , t h e n TW(m)=TD(m).
Proof
a) An element of the basis of T has the following SJCP(X,X') cU), where feC(X,X') , u is an form: V$Cp(X,X')=(geCp(X,X')/T g f open set of XxX' and rfcU. Since (j0) -1 (Vxxu)=VlfC f P (X,X'), we see
On the other hand if feM(G), where G is an open set of J 0 (X,X')=XxX', (9.3.4), then M(G)=V,$CP(X,Xt)eT SICP(X,Xf). Thus b)
rfcU'),
For
every
open
which proves b)
.
set
U'
of
XxJkf(X,X')
we
have
Spaces of Differentiable Maps f where f:X+J k (X,X') c) Consider VG, is an open set of XxJ k (X,X'). m * - 1 We must see that ((ITk) ) (V,)f c(X,J"(X,X~)) with the topology Ts.
Let
g
be
an
m * - 1
Vg
-'(GI=((rk)
( lxxrL)
element f CVG)*
of
491
is a continuous map and G
is
an
open
m * - 1
( (rk) )
set
f (V,).
of
Then
*
Finally, in Cm(R,R) the topologies Tw(m) and Tw(m) are different. It is an easy consequence of 9.4.2 and Propositions 9.3.6 and 9.4.7 applied to the constant map C0:t-O. d) It follows from the fact that Tc=Ts in C(X,Jm(X,X')).o Proposition 9.4.7 Let X,X' be Hausdorff paracompact manifolds of class m and d f a metric on Jm(X,X'), (9.3.5). Then Bi(m)=(W,/fcCm(X,X') and &C(x,IR+) }, where w,=(g~Cm(XIX')/d(j~(g) f ,j:(f) )
of
open
neighbourhoods of jm(f) in Ts, and consequently the d (j") -1 (Bc(jm(f)) form one of f in TW(m). Now notice
sets
m
(j 1
-1
9.2.7,
d
the
sets
B:(jm(f))
form
a
basis
that
f (j"(f) 1 ) = w c . 0
Probosition 9.4.8 Let
X,X'
be Hausdorff paracompact manifolds of
class
m.
492
Chapter
9
Suppose t h a t X i s not compact and there e x i s t s XIEX' such t h a t dimxl (X1)zl. Then TD(m)+TW(m). Pro0f Analogous to 9.3.11.0 Corollary 9.4.9
Let X,X' be Hausdorff paracompact manifolds o f c l a s s m. Suppose t h a t there e x i s t s x'EX' such t h a t dimxl(Xt)zl. Then X i s a compact space i f and only i f TD(m)=TW(m). Pro0f It follows from 9.4.6.d)
and 9.4.8.0
ProDosition 9.4.10
Let X,X' be manifolds o f class
m.
Consider t h e map
jm:Cm(X,X')+C(X,Jm(XIX'))
defined b y j"(f) (x)=jz(f). Then:
*
a ) %(m)=(M(G)/G i s an open set o f Jm(X,Xt) and M(G)##), where M(G)=(fd(X,X1) I (j"(f)) (X)cG) i s a b a s i s o f t h e topology TW (m)
*
*
i s a locally f i n i t e f a m i l y o f closed s e t s of X and 8=(Gi/ieI) i s a family of open s e t s of Jm(X,X') ) , where M(C,S)=(g€Cm(X,X1)/(jm(g))(Ci)cGi f o r every b ) %(m)=(M(C,8)/C=(Ci/ieI)
kI). Proof Corollary of 9.3.4.0
Spaces of Differentiable Maps
493
Proposition 9.4.11 Let X,X' be Hausdorff paracompact manifolds of class m and d a metric on Jm(X,X') that describes the topology T(m), ( 9 . 3 . 5 ) . Then ve have: /feCm(X,X'), c=(Ci/ieI) is a locally finite family of closed sets of X and C:=(&i/ieI) is a family of positive real numbers) vhere V =(gECm(X,X')/d(ji(f) ,ji(g))
11) Bf;(m)=(V f/feCm(X,X')
and (P=((Pi/ieI), vhere (pieC(X,[ O , + ) )
(P
for every ie1 and (Supp(pi)/ieI) is a locally finite family in X), vhere V f=(geCm(X,X')/(Pi(x)*d(ji(f), ji(g))
every ieI), is a basis of the topology TW(m). Moreover for a fixed element f of Cm(X,X,), (VfeB1l(m)) is a basis of open neighbourhoods of f in TW (m)
( P w
.
Proof Corollary of 9.3.9.0 Proposition 9.4.12 Let X,X' be manifolds of class m and jm:Cm(X,X')+C(X,Jm(X,X')) the map defined by j"(f) (x)=ji(f). Suppose that X is a Hausdorff space and dimXX<m for every xeX. Then im(j") is a closed compact-open topology Tc.
set
of
C(X,J"(X,X'))
vith
the
Proof
.
Let f be an element of im(j") Then there exists a net (jm(fd),deD,s) that converges to f in Tc. Since for every XEX, the map Ax:C(X,Jm(X,X'))+X' defined by hx(h)=bh(x) is continuous we deduce that hxjm(fd))=fd(x) converges to h,(f)=bf(x)
.
494
Chapter 9
Moreover sf (x)=x for every XEX. Now consider the continuous map g=bof:X+X'. m *
For every PEP(, (rp) is continuous and ( (rm)*(jm(fd)),dcD,5) P converges to (rm)*f. Hence the net { jp(fd) ,dED,s) converges to P rmf in the compact-open topology over C(X,Jp (X,X') ) Then by the P proof of Proposition 9.3.16, brmf=g is a map of class p and P jP(g)=rmf. Thus g is a map of class m and jm(g)=f.o
.
P
ProDosition 9.4.13 Let X,X' be Hausdorff paracompact manifolds of class m. Assume that dimx(X)cm for every XEX. If CcCm(X,X') is a closed is a Baire space. In particular, set in TD(m), then (C,Tw(m) IC ) (Cm(X,Xt) ,TW(m)) is a Baire space. Proof By 9.4.12, im(j") is a closed in C(X,Jm(X,Xt)) with the compact-open topology Tc. Since j" is injective, jm:Cm(X,Xt)+im(jm) is a homeomorphism with respect TD(m) and T Therefore H=jm(C) is closed in (C(X,Jm(X,X') ) ,Tc) Clim(jm) Thus it is uniformly closed (9.2.18) with respect to a complete metric in J"(X,X#) which is compatible with the topology T". Then by 9.2.19 (H,TslH) is a Baire space. Finally since jmlC:C+H is a
.
.
and T slH ' we conclude that homeomorphism with respect TW(m) IC (C,TW(m)IC) is a Baire space.^ Proposition 9.4.14 Let X,X' be Hausdorff paracompact manifolds of class (Cm(X,Xt),TW(m))is a Tga space.
m.
Then
Proof By
9.2.3
we
have
that
(C(X,Jm(X,X')),Ts)
is
Spaces of Differentiable Haps
495
Tja. Since j" is an injective map, we see that (Cm(X,x~),Tw(m)) is T3a too.0 Proposition 9.4.15
Let X,X' be manifolds of class m. Suppose that X is a Hausdorff Lindeltif space and dimx(X)cm for every xaX, and X' is a Hausdorff paracompact space. Let ( fn)naDJ be a sequence in C"(X,X') and faC"(X,X'). Then the following statements are equivalent: a) (fn)naH converges to f in the topology TW(m). b) There exists a compact set K of X
such that:
1 ) There exists n EN with fnIX-K=f X-K for nmo. 0
2) If d is a metric in Jm(X X'), then the sequence ((j"(fn) IK)nEHconverges uniformly t o (j"(f)) with respect to IK the metric d. Proof Analogous to 9.3.17.0 Corollary 9.4.15
Let X,X' be manifolds of class m. Suppose that X is a Hausdorff Lindeltif space and dimx(X) c m for every xaX, and X' is a Hausdorff paracompact space. Let Y be a metrizable connected compact topological space and f:Y+C"(X,X') a continuous map vith the topology TW(m). Then there exists a compact set K of X such that for every xaX-K, the map fX:Y+X' defined by fx(y)=f(y) (x) is constant. Proof Analogous to 9.3.18.0
Chapter
496
9
9.5. Special Open Sets in Spaces of Differentiable Maps The most important aspect of the Whitney topology is that immersions, submersions, embeddings, etc. form open sets in this topology. Lemma 9.5.1
Let X,X' be manifolds of class pdNu(00) and k an integer with lsksp. Then Y e have: k
a ) For every jeJ (X,X')
there is a linear continuous map k T (j):Ts(j) (X)+Tb(j)(X') defined by Tx(f), where j,(f)=j. s(j) b) {jeJk (X,X')/Ts(j)(j) is injective and im(T (j)) admits s(j) a topological supplement in Tb(jlX') is an open set of (Jk(X,Xt),T(k)), which will be denoted by.!A c) (jsJk (X,X')/Ts(j)(j) is surjective and its kernel admits a topological supplement in Ts(j)X) is an open set in (Jk(X,Xt),T(k)), which will be denoted by .!B
k k a) Note that if jx(f)=jx(g)=j, then Tx(f)=T,(g). b) In the category of real Banach spaces the following properties hold true: (f:E+F/f is an injective linear continuous map and im(f) admits a topological supplement in F) is an open set of Y(E,F) (see 3.2.9.b), (f:E+F/f is a surjective linear continuous map and ker(f) admits a topological supplement in E) is an open set in Je(E,F) (see 4.1.16.b)). Moreover we know that the topology T(k) is coherent with the open convering (Jk (U,U')/U,U' are domains of charts of X and X' respectively).
Spaces of Differentiable Maps
497
As a consequence we obtain b) and c).o
Proposition 9.5.2
Let X,X' be manifolds of class peNu(m) and k an integer with lsksp. Then we have:
*
is injective and im(Tx(f)) admits topological supplement in T (X') for every xaX) is an open f (XI set of TW(p,k), (9.3.3). 1) a) A =(fcCp(X,Xr)/Tx(f)
P
a
*
Moreover if p=m, then Am is an open set of TW(m) b) If ~(X')=I$, then ImP(X,X')=(faCP(X,X')/f
is an immersion) is an open set of TW(p,k). Moreover if p=m, then Im"(X,X') is an open set of TW (m) .
*
B =(feCp(X,XJ)/Tx(f) is surjective and ker(Tx(f)) P admits a topological supplement in Tx(X) for every xaX) is an open set of TW(p,k). 11) a )
*
Moreover if p=m, then Bm is an open set of TW(m)
.
b) Consider the sets cp (X,a (X) ;X' ,a (X' ) ) =( faCP(X,X' ) /f ( a (X)ca (X' ) ] and SubP (X,X' ) = ( feCP (X,X ' ) /f is subimersion ) Then CP(X,a(X) ;X',a(X'))nSubP(X,X') is an open set of TW(Ptk) I Moreover if P=", then c (x,a(x);x',a(x') Cm(X,8 (X);X' ,a (X' ) ) nSubm(X,X' ) is an open set of Hence, if a (XI=9, TW(m) Icm(x,a(x) ;x',a(x')) *
.
is a submersion) is an open set of TW(p,k) and if p=m, Subm(X,X') is an open set of TW(m). SubP(X,Xr)=(faCP(X,X')/f
Proof
I) a )
By 9.5.1 and
9.3.4,
A
*
=M(AE) P
is an open set of
498
Chapter 9
The last part of a) is a consequence of 9.4.4. b) follows from a) and 3.2.6. 11) a) By 9.5.1 and 9.3.4, B*=M(Bpk) is an open set of P TW(p,k). The last part of a) is a consequence of 9.4.4. b) follows from a) and 4.1.13.0
Corollary 9.5.3 Let X,X' be manifolds of class peP(u(m) and k an integer vith lskdp. Then we have: a ) Dp=(feCP(X,X')/Tx(f) is a linear homeomorphism for every XEX) is an open set of TW(p,k). Moreover if p a , then D, is an open set of TW(m).
b) (LD)P(X,X')=(feCP(X,Xt)/f is a local diffeomorphism a t xeX for every xeX) is an open set of the topological space 1, vhere (cP(x,a(x) :x',a(x') 1 ,Tw(P,lo I c (x,a(x) ;x',a(x')) cP(x,~(x) ;x',a(x'))=(fecP(x,x')/f(a(x))ca(x') 1. Moreover if p a , then (LD)-(X,X') is an open set of TW(m) IC"(X, a (X);X' ,a (X' ) ) * Note cp (X,a (X);X'
that if ,a (X' ) ) =cp (X,X' ) .a
a (X)=a (X' ) =#,
then
In order to obtain that embeddings form an open set we prove the following lemmas: Lemma 9.5.4 Let U be an open set of a quadrant (Rm)f;and W a convex open set of U such that VcU and is compact. Let V be an open set of + a quadrant FM of a real Banach space F and f:U+V a map of class 1 such that f:U+f(U) is a homeomorphism and Df(x) is injective
Spaces of Differentiable naps
499
for every XEU. Then there exists &>O such that for every map g : h V of class 1, where 6 is an open set of U that contains vith Ilg(x)-f (x)II<&, IIDg(x)-Df (x)[<& for every XEW, the restriction glw:W+g(W) is a homeomorphism and Dg(x) is an injective map for every XEW.
w,
Proof The set A=(Df(x)/xEW)cl(Rm,F) is compact and Df(x) is injective for every XEW. Since A~=(UEZ(R~,F)/Uis injective) is open and contains to A, we have D(AIY(RmIF)-Al)=&o>O. Let no be an element of H such that l / n O < ~ 0 / 2 and let us suppose that the lemma is not true. Then for every neH there exists gn:Un+V of class 1, where Un is an open set of U that contains w I such that llDgn(x)-Df(x) lI<1/(no+n) Ils,(x)-f(x) ll<1/(no+n) I snIW:W+gn(W) is not a homeomorphism.
1 Dgn (x)-Df (x)1 <1/ (no+") <
for XEW (Note
and that
.
implies that Dgn (x) is injective ) -:W+V is not injective. Thus for Since W is a compact set, 5IW every naH there exist an ,bncW such that an+bn and g, ( an)=gn ( bn) Since and S m ' l are compact sets we can suppose, without l o s s of generality, that (a,) neDJconverges to aEW, (bn)nEH converges to m-1 bcw and (an-bn)/~~an-bn~~ converges to VES E ~
.
w
.
500
Chapter 9
Df(bn) (an-bn) ]=0 1im n+m an-bn I which is a contradiction since V+O.O -Df ( bn) )
.I1 a,-bn 1 .
[
Hence
and
Df(b) (v)=O
~~
In order to state in a suitable form the following lemma we introduce a further notation. Let Y,Y' be topological spaces and f:Y+Y' a map. Then the set (y'eY'/there exists a sequence ( Y , ) ~ ~ ~ C Ywithout cluster points and y'elim f (y,) ) will be denoted by L(f)
.
Lemma 9.5.5 Let Y,Y' be topological spaces and f:Y+Y' an injective continuous map. Suppose that Y' is a first countable Hausdorff space. Then f:Y+f(Y) is a homeomorphism if and only if L( f)nf (Y)=#. Proof Suppose that f:Y+f(Y) is a homeomorphism. Then for every y'Ef(Y) and every sequence ( Y , ) ~ ~ ~ C such Y that y'=lim f(y,), we new have that f-'(y')Elim y , . Then y'eL(f) and L(f)nf (Y)=#. new Conversely if y'cf(Y) and (Y;),,~ is a sequence in f(Y) such that y'elim y; I then there exists a cluster point y of n4N -1 (f (Y;) )new' since y'eL( f)
.
Thus f(y) is a cluster point of (Y;),,~~ and f(y)=y' since Y' is a Hausdorff space.0 Lemma 9.5.6 Let Y,Yt be topological spaces and f:Y+Y' a continuous map. Suppose that Y' is a first countable Hausdorff space and Y is a locallly compact LindelCif Hausdorff space. Then L(f) is a closed
Spaces of Differentiable Maps
501
set of Y'. Proof Since Y is a locally compact Lindelof Hausdorff space, we have Y=() Un, where Un is open, is compact and nC U ~ +for ~ nEH every neW.
nn
Let ( ~ ; l be ) ~a ~sequence ~ of L(f) that converges to Y'EY'. Since y',EL(f)
for every mEH there exists a sequence (y:)neW
in Y
m Let (YnInEN has no cluster point and lim f(y:)=y;. nori t i ' ( )new be a basis of open neighbourhoods of y' such that Vi:lcVi'for every nEW. For every PEN there exist y; €VY' and such that
m m ynPeY such that f(ynP)EVE'
P
P
m and ynp6?U1u.. .uU
P
P'
m m (ynp)peH has no cluster point and lim f (ynp)=y' PEN P P Thus y'EL(f)
P P
It is clear that
.
.o
Lemma 9.5.7 Let X,X' be manifolds of class pcLNu(m), k an integer with Osksp. Let d' be a metric on X' that describes its topology and 6:X-m' a continuous map. Suppose that X' is a Hausdorff paracompact space. Then for every fECp(X,X'), the set VE=(gecP(X,Xt)/d' (f(x),g(x))<S(x) for every xeX) is open in f is open in TW(m). TW(p,k). Moreover if p a , then Vg Proof If fECp(X,X') we define a continuous map ol:J k (X,X')-m as follows: a(j)=d'(b(j) ,f(s(j)))-g(s(j)). Then it is clear that feM(ol-l(t,O))=V~ and by 9.3.4, VE is open in TW(p,k). The last part of the lemma follows from 9.4.4.0
502
Chapter
9
Lemma 9.5.8
Let X be a Hausdorff paracompact manifold o f c l a s s peP(u(m) w i t h dimx(X)<m f o r every XEX and l e t U=(V./jEJ) be an open 3 covering of X. Then there are an atlas of X, E=(ci=(Wi,pi, (Ei,Ai))/idl and a f a m i l y of compact sets X={Ki/ieI) o f X such t h a t : 1 ) {Ui/ieI) i s a l o c a l l y f i n i t e f a m i l y . 2)
U.1 i s compact f o r every iEI.
+
3) cpi(Ui)=B ,(O)nE.
4)
f o r every i d .
lAi
*1
For every id there e x i s t s pi€J such t h a t UicV 'i
5) (J
ki=x
irI
.
and KicUi f o r every ieI.
6) For every
+
+
i d , pi(Ki)=Bi,(0)nE.
and cpi(ki)=Bs (0)nEi lAi i i'
1
.
Proof From the hypotheses over X it follows that there is an atlas C'=(C{=(W~,$~, (Et,At))/teT) of X such that (Wt/teT) is a locally finite family and for every teT, Wt is compact and W CV for t' some BtcJ. Since X is a normal space, there exists a contraction is a compact set with rB=(At/teT) of (Wt/tcT). For every tET, XtcWt. Hence, for every teT there exist nteN and charts
xt
c
t
.
+
(D )=Fn
"Bc1(0), ..,a
nB& (0) tM "t "t t and XtcD1u uDt cWt. Then the atlas "=(I (Dt l,...,D t ) "t teT "t the requirements of the lemma. "t
...
"t
fulfils
Spaces of Differentiable Maps
503
Indeed, l), 2 ) , 3 ) and 4 ) are easy. To see 5 ) and 6) note that, since (Ui/ieI) is a locally finite family, there exists a contraction 8=(Gi/ieI) of (Ui/ieI). Then for every ieI, (pi(Fi)is + Hence a compact subset of cp i (Ui1 =Bn ( 0 1 nEili
.
+
(pi (Ui)>Bi ( 0 )nEi
i
>(pi
(Ei)
and
it
A
suffices
1L
to
take
i'
Proposition 9.5.9 Let X,X' be manifolds of class pd"(m) such that XI is a Hausdorff paracompact space and X is a Hausdorff LindelBf space for every xcX. Let k be an an integer vith lsksp. vith dim,(X)<m Then ve have: I) E =(fcCp(X,Xt)/Tx(f) is injective for every XSX and f is P a homeomorphism from X onto f(X)) is an open set of TW(p,k). Moreover if p-, then Em is an open set of TW(m). II) If a(Xt)=#, then EmbP(X,Xt)=(f&P(X,X~)/f is an embedding) is open in TW(p,k). Moreover if p=m, then Embm(X,X') is open in TW(m). Proof I) Let f be an element of E and &;=(c'=(U' (p' (Ej,b;))/jcJ) P j j' ; j an atlas of X'. Then there exists an atlas ~=(ci=(Uil(pil(Ei,Ai))/i~I) of X and there exists a family of compact sets K=(Ki/i€I) of X such that the conditions 1), .,6) of the preceding lemma are fulfilled. Let i.Zt be the set {c, /id}. For every i d the map fi=(p;if(pfl:(pi(Ui)+(p#, (U, ) Pi 6 , pi verifies the hypotheses of Lemma 1.5.4 , with U=(pi(Ui),W"pi (ti), and therefore there exists ei>O such that for- every map gi:hpt (U, ) of class 1 whose domain 0 is an open set of (p Pi Bi
..
with Pi(Ki)Cif/ #gi(Y)-fi(Y) II<Ei/ llDsi(Y)-Dfi(Y) 11-i the restriction g
for Y W i
:(pi(ki)+gipi(ki) is a homeomorphism i I 'pi(ki)
and
Chapter 9
504
w i ( y ) is injective for every yccpi(ki). where 6=(ci/icI) , is Using 9.3.8, we see that V f ( g l g ' l J ( l ~I ) an open neighbourhood of f in TW(plk).
i'I'
f If gaV(g,e, ,K,C) , then Tx(g) is injective for every xcX and :ki+g(ki) is a homeomorphism for every icI.
Since X' is a Hausdorff paracompact space, there exists a metric d' that describes the topology of XI. Let W=(Wi/ieI) be a contraction of (ki/icI). Since f is a homeomorphism onto its image, for every i a there exists a closed set Fi of X' such that f(X-ki)=Finf(X) i thus Si=D(f(Wi) ,f(X-ki))bD(f(gi) ,Fi)>O. Since (wi/iaI) is a locally finite family, by 9 . 2 . 8 there exists a + continuous map 6 :X+R such that 6 (x)cSi/2 for ic1 and xeWi. By Lemma 9.5.7,
V:=(geCP(X,X')/dl(f(x)
,g(x))<S(x) for xaX) f f is an open neighbourhood of f in TW(plk). If gcV6nV (g,g',x,&)
then
Tx(g)
is
injective
for
every
XEX, i'I' homeomorphism for every icI and g is injective.
:ki+g(ki)
is
I
a
To see that g is indeed injective, let us assume that g(x)=g(y) with x*y. Then xcWi and yew We can suppose, without j* Hence loss of generality, that SiS6j. d'(f(x) if(y))sd'(f(x) ig(x))+d'(g(Y) if(Y))<6(X)+6(Y)s6i/2+6./2s~ I j* is injective, we have that On the other hand yak. and, since g
I
I k4
Thus d' (f(y),f (x)) 26 whichJ is a contradiction and therefore g is injective. If X is a compact space, then it is clear that g is a homeomorphism from X onto g(X) and therefore f f f a V6nV (GIs',K,&)CEp'
xrkj.
Now suppose that X is not a compact space. Then I=N since X is a Lindelof space and (Ui/irI) is a locally finite family.
Spaces of Differentiable Haps
505
By Lemma 9.5.6, L(f) is a closed set in XI and by Lemma 9.5.5, L(f)nf (X)=# and in particular L(f)nf (Ki)=# for every ieN. Hence if L(f)+#, then 7.=D(f(Ki),L(f))>0 for every ie1 and if L( f)=#, then we take for every ieN.
ri4'
Again by 9.2.8,
there exists a continuous map 7:X-m+
1 that r(x)<min(riIT) for every ieN and every xeKi. By 9.5.7, an open neighbourhood of f in Tw (Pr k) C
C
such V f is
r
and
C
Indeed it suffices to see that if gEH, then g:X+g(X) homeomorphism.
is a
Let ( x ~ be) a ~sequence ~ ~ in X that has not cluster points. Since Ki is a compact set we have that (nEH/xneKi) is a finite set and therefore lim d'(f(xn),g(xn))=O. Thus L(g)=L(f).
new
If L(f)=#, then by 1) it is clear that L(g)ng(X)=#. Suppose that L(f)+#. For every XEX there exists ieP( such that xcKi and since dl(f(x) ,g(x))
.
Thus by Lemma 9.5.5, g:X+g(X) is a homeomorphism. The last part of I) is an easy consequence of 9.4.4. 11) follows from I) and 3.2.6.0 Proper maps will be used to study closed embeddings. Proposition 9.5.10
Let X,X' be Hausdorff paracompact manifolds of class p, pEP(v(m) with dimX,(X')<m for every x'EX' and let k be an integer vith Osksp. We have:
Chapter 9
506
a ) PropP(X,X1)=(feCP(X,x')/f
i s a p r o p e r map) i s open and c l o s e d i n TW(plk). Moreover i f p=m, t h e n Propm(X,Xr) i s open and c l o s e d i n TW(m)
.
b ) I f X i s a compact s p a c e and XI i s a H a u s d o r f f s p a c e , t h e n PropP(X,X')=CP(X,Xr)*#. I f t h e r e e x i s t s X'EX with t h e set dimx,(Xt)~l, t h e c o n n e c t e d component o f XI a t X I i s n o t compact and X i s L i n d e l g f , t h e n PropP(X,X')*#.
Proof The first part of a) follows from 9.2.26 last from 9.4.4.
and 9.4.4,
and the
The first part of b) follows from the fact that every continuous map from a compact space to a Hausdorff space is proper. Next we shall see the second part of b). If X is a compact space, then it suffices to take any constant map. Suppose that X is not compact. Then there exists a countable atlas &=(cn=(Un,pn,(En,An))/ndN) of X such that is a compact set for every neN. By the existence of differentiable partitions of unity, there exists a partition of unity of class p ( u n / n 4 )
un
m
subordinated to (Un/neN). Then f= C nun is a map of class p from n= 1 + X into R + u ( O ) . Let K be a compact set of R u ( 0 ) . Then there n0 exists n0eN with Kc[O,no]. It is clear that f"(K)c() Supp(un) n=l and therefore f"(K) is a compact since Supp(un) is compact for every n 4 . Thus f is a proper map of class p and considering the connected component of XI at X I it is easy to construct a proper + map of class p from R u ( 0 ) to XI.0
Spaces of Differentiable Maps
507
Corollary 9.5.11 Let X,X' be Hausdorff paracompact manifolds of class p~Wu(m) Suppose that X with dimx(X)<m for XSX and dimx,(X')<m for x'EX'. is Lindeldf and let k be an integer vith lsksp. We have:
*
I) E =(feCP(X,X')/Tx(f) is injective for every XEX, f is a P homeomorphism from X onto f(X) and f(X) is a closed set) is open * in TW(p,k). Moreover if p=-, then Em is open in TW(m). 11) If a(X')=#, then EmbE(X,X')=(feCP(X,X')/f is a closed embedding) is open in TW(p,k). Moreover if p=m, then EmbE(X,X') is open in TW(m).
Proof 9.5.9 It follows from a) of 9.5.10 and E*=E nPropP (X,X ) and Emb: (X,X' ) =Embp (X,X' ) nPropP (X,X' )
.
P P
since
Proposition 9.5.12 Let X,X' be Hausdorff paracompact manifolds of class p~Wu(m) with dimx(X)<m for XPX and dimx,(X')<m for x'EX'. Suppose that X is Lindelof and let k be an integer with lsksp. We have: 1) If a(X)=a(X')=#, then DiffP(X,X')=(fPCP(X,X')/f is a diffeomorphism of class p) is open in TW(p,k) Moreover if p a , then Diffm(X,Xt) is open in ~ ~ ( 0 ) .
.
2) DiffP(X,X')
is an open set in CP(X,a(X);XO,a(X')) with the topology induced by TW(p,k). Moreover Diff"(X,X') is open in Cm(X,a(X) ;X',a(X')) with the topology induced by TW(m).
508
Chapter 9
Proof 1) Let f be an element of DiffP(X,X') and &=(Ci/ieI) the family of connected components of X. Then &'=(f (Ci)=Ci/ieI) is the family of connected components of X'. Since X is a locally connected space, we have that C is a locally finite family of closed sets of X and C' is a family of open sets of X'.
k if U=( J ( Ci ,Ci)/iEI), then k (9)(Ci)cJk (Ci,Ci), i d ) is an open neighbourhood of f in TW(p,k). By 9.5.2, 1I.b) and 9.5.11.11, M(&,'U)nSubP(X,X8)nEmb~(X,X') is an open neighbourhood Vf of f in TW(p,k). Then it is clear that each element of Vf is a diffeomorphism of class p.
BY 9.3.4 M(e,U)=(geCP(X,X')/j
The last part of 1) is an easy consequence of 9.4.4. 2) By the invariance of the boundary theorem it is clear that DiffP(x,X')ccP(X,a(x) ;x',a(x')). If feDiffP(X,X'), by 9.5.3.B), 9.5.9 and 9.5.10, (LD) (X,X' ) nPropP (X,X ) nM (C,U) nEp is an open neighbourhood Vf of f in CP(X,a(X) ;X',a(X')) with the topology induced by TW(p,k). Clearly each element of Vf is a diffeomorphism of class p. The last part of 2) follows from 9.4.4.0 9.6. Continuity of the Composition of Differentiable Maps
Lemma 9.6.1 Let X,Y,Z be Hausdorff topological spaces. Suppose that Y is a paracompact space. Let f:X+Y, g:Z+Y be continuous maps, D=XxyZ=( (x,z)/f (x)=g(z) ) , and AcX, B c Z such that f A:A+Y, giB:BSY are
both
proper
maps.
If
U
is
an
open
I
neighbourhood
of
Spaces of Differentiable Maps
509
AxyB in D, then there exist an open neighbourhood V of A in X and another W of B in Z such that VxyWcU. Proof First note that D is closed in the product space XxZ. Thus Uu(XxZ-D) is open in XxZ. For every yeY, A,=Anf-l(y) and B1=Bng-'(y) are compact sets of X and Z respectively such that AlxBlcUu(XxZ-D) Hence there exists an open neighbourhood V of
.
of B1 in Z such that V xw cUu(Xx2-D)
A1 in X and one W
.
Y
Let Vy
Y Y Y be the set Y-[f(A-V )ug(B-W ) ] . Since f A:A+Y, g B:B+Y are proper
Y
I
Y
I
maps, VY is an open neighbourhood of y. By the paracompactness of Y, there exists a locally finite closed refinement Kf=(Ci/ieI) of Yi Thus for every ieI there exists yieY such that CjcV ( VY/YEY 1
.
Consider now the set Vi=V and W=() Wi. Then we have: 1 EI
uf-'(Y-Cj) Yi
AcV, 2) BCW, 3) respectively, 4) VxyWcU. o 1)
Lemma 9.6.2
Vy,
W
,
are
Wi=W
ug-'(Y-Cj) Yi
open
sets of
,
X
V=() Vi 1eI
and
2
(Composition of Jets)
Let X,X',X1O be manifolds of class pa#u(m) and k an integer vith Osksp. Then the map 0:J k (X,X')xx,J k (X',X")+J k (X,X")
k k k defined by o(jx(f) ,jf(xl (g))=j,(gof)
is continuous.
Proof Let c=(U,p, ( E , h ) ) , c'=(Uf ,p', (E',A')) and c " = ( U ~ ~ ,( E ~1 ~ g~,,h l O ) ) be charts of X,X' and XIf respectively. Then, by the chain rule, we have the following commutative diagram:
Chapter 9
510 Jk(U U')xu,J k (U',UIt) $2
c
0
hJ
k
(U U" )
xTIcll c'
C
=c
a
.a
Analogously we would define the map o(j,(f) ,lf(,) (9)) and see that it is continuous with respect to the topologies T(m). ProDosition 9.6.3 Let X,X',X1l be Hausdorff manifolds of class pePiu(m). Suppose that X' is a paracompact space and dimx(X')
2) If p=ml the map from Cm(X,X')xCa(X',Xgl) continuous with respect to the topologies TD(m). 0
to Ca(X,Xvt)is
Proof 1) Let us consider fECp(X,X'), neighbourhood Vgof of gof in TD(p,k)
.
By 9.3.1
geCP(X',Xv1)
there exist compact sets K1,..
.,Kn
and
a
of X and open n (I
.
...,
Spaces of Differentiable Maps
511
k k Ai>(j (f)1 (Ki)I A p ( j (9)1 (f(Ki)1 (o)-l(~i)>(~ix~;)n(~ k (x,x')~~,J k (x',x~~)).
and
Therefore and by the hypotheses on X' there exists an
(jk (g))-'(AT)>f(Ki) open
set
Vi
of
X'
such
-'
that
Vi
is
-'
.
n
a
compact
set,
Then f ( Ki)cVicTiic ( jk (9)) (AT) Vf= (jk, ( (1
2) follows from 1) and 9.4.4.0
We shall see with an example that in general the composition of differentiable maps is not continuous with respect to the Whitney topology. Example 9.6.4 Let X,X' ,XI* be Hausdorff paracompact manifolds of class p&4u(m). Suppose that X is not compact, X' is compact and there exists X ~ ~ E Xsuch " that dimx,(X9g)z1. Then for every kEP(u(0) with krp the map :cp (X,x ' ) xcp (X' ,X" ) +cp (X,X" ) is not continuous with respect to the Whitney topologies TW(p,k). 0
Indeed, since dimxll (X")rl, there exists a sequence ( x ; ) ~ ~ ~ in X" such that lim X;=X" and for every n 4 . Consider the maps of class p from X' to XIt, gn(x')=x; and g(x')=x" for x'EX' and another map fECp(X,X'). By the compactness of X', lim(f,gn)=(f,g) (see the proof of 9.3.11).
XFX"
Finally the sequence gnof does not converge to gof (see the proof of 9.3.14). Nevertheless the composition restricted to the PropP(x,x')xcP(x' , x ~ I is ) a continuous map.
subspace
Chapter 9
512
Proposition 9.6.5 Let X,X',X" be Hausdorff manifolds of class pEHu(m) , vhere X f is a paracompact space. We have: For every keNu(0) vith ksp the composition :PropP (X,X' ) xCp (X' ,XVq)+Cp(X,XI1) is continuous vith respect to the topologies TW(prk) (note that if X is compact, then PropP(X,X~)=CP(X,X~)). 1)
0
2) If p=m, the composition 0
:propm ( x ,x
is continuous both
*
xcm ( x ,XI#+cm ( x , XI^
vith respect
to the topologies TW(m)
and
Tw ( m )
1) Consider fePropP(X,X') , gcCp(X' ,Xtl)and a neighbourhood Vgof of gof in the topology TW(p,k). By 9.3.4.e) there exists an such that open set U of Jk (X,X" ) k gofeM(U)=(heCP(X, XIg)/(j (h)) (X)cU)cVgof By Lemma 9.6.2 , (U) is an open set in J k (X,Xr)xx,Jk (X',XII) that contains the set
.
( 0 )
-'
(jk (f)1 (x)xxr(jk(s)1 (x'). Since jk(f) and jk(g) are homeomorphisms onto their respective images (the respective inverses are the restrictions of s) and f is a proper map, the k k maps b: (j (f))(X)+X' and s: (j (9)) (X')+X' are proper. Thus by Lemma 9.6.1 there exist an open set V in Jk(X,Xt) with k k k VD(j (f))(X) and an open set VIP of J (X',Xll) with V 5 ( j (g))(X') such that V X ~ , V ~ ~ C ( O ) - ~ ( U ) Then . fcM(V) , gEM(V1@) and (M(V)nPropP (X,X' ) xM (Ull)) cM (U)cVgof. 0
2) is analogous to 1) for the topologies TW(m) and is a * consequence of 1) for the topologies TW(m).n
Proposition 9.6.6 Let X,X',Xvt be manifolds of class peHu(m) and geCp(X',X"). Then:
Spaces of Differentiable Maps
513
1 ) For every kePlu(0) with ksp, the map g,:Cp(X,X')+Cp(X,Xgt)
defined by g,(f)=gof TW(P,k)
is continuous with respect to the topologies
-
2) If p-,
the map g,:Cm(X,X')+Cm(X,XBq) is continuous both * with respect to the topologies TW(m) and TW(m). Proof 1) It is clear that the map a :Jk (XIX' ) 4k (X,X" ) (x,f) 1 -[ (x,gof)1 is continuous. Moreover, for every open set U of J k (X,X") we have gil (M(U)) =M(ct-' (U)) [
.
is analogous to 1) for the topologies TW(m) * consequence of 1) for the topologies TW(m) .o 2)
and is a
Proposition 9.6.7 (Continuity of the Evaluation Map) Let X',Xtg be Hausdorff manifolds of class p~Wu(m), where X' is a paracompact space, and let k be an integer with Osksp. Consider the map e:X'xCp(X',Xf1)+X8t defined by e(x',f)=f(x'). Then: a) If dimx,(X')<m for every x'EX', e is a continuous map with respect to the topology TD(p,k) on Cp(X',X1l). Moreover, if p=m, e is a continuous map with respect to the topology TD(m). b) The map e is continuous with respect to the topology
TW(p,k). If p a , e is continuous * topologies TW(m) and TW(m).
both
with
respect
to
the
Proof Let us consider X=(p). Then Cp(X,X') and Cp(X,X19) can be identified with X' and XI1 respectively, with the
Chapter
514
9
topologies TD(p,k)=TW(p,k). Moreover in this way the composition map is identified to the map e. Thus a) is a consequence of 9.6.3 and b) one of 9.6.5.0 Lemma 9.6.8
Let X,X',X" be manifolds of class pEHu(m) and k an integer vith Osksp. Then: a) The map 7:Jk (X,X'xX")+J k (X,Xr)xXJk(X,X") k k .k 7 ( j (h) ) = ( j (plh ) , 3 ( p2h ) ) is a homeomorphism.
defined
by
b) If p=m, the map 7 :Jm (X,X'xX" ) A (X, m X' ) xXJm (X,X" ) is a homeomorphism. Proof It is clear that 7 is a bijective continuous map in both cases a) and b). By the definition of T (k) (T(OO)) we see that also 7-l is continuous.o
Proposition 9.6.9
Let X,X',X" be Hausdorff manifolds of class p~lNu(m), vhere X is paracompact and let k be an integer vith Osksp. Then: a) The map (p: Cp (X,X'XXI~)+Cp (X,X' ) xCp (X,X") defined by (p(f)=(plf,p2f) is a homeomorphism vith respect t o the topologies TW(P,k) b) If p-, (p is a homeomorphism both vith respect t o the * topologies Tw (m) and TW (m)
.
Spaces of Differentiable naps
515
Proof
It is clear that (p is a bijective continuous map in both cases a) and b) , ( 9 . 6 . 6 ) . a)
We
shall
see
( f , g ) eCp ( X , X' ) xCp ( X , XI1)
that
( f , g ) ) in the topology TW(p,k) open set U of
(p-'(
an
is
continuous. Consider -1 and a neighbourhood VP ( ( f g, of (p
. Then, by k
9.3.4,
J (X,X'xX")
there exists such that
-1
( ( f ' g ) ) . By the preceding lemma, p ( U ) is an k k of J (X,X')xxJ (X,Xtl) that contains the set open set k k ( J ( f ) ) ( X ) x x ( j (9))( X ) . By Lemma 9 . 6 . 1 there exist an open set V k k of J ( X , X ' ) that contains (j ( f ) ) ( X ) and an open set V1I of Jk(X,Xtl) that contains (jk ( 9 ) ) ( X ) such that r ( U ) > V x x V t l . Then (p-l((f,g))EM(U)cV(p
feM(V),
-1 gcM(VU1) and ~$J-~(M(V)XM(V~~))CM(U)CV~ ((f'g)).
Thus
(p"
is
continuous. b) is analogous to a) f o r the topologies TW(w) and * consequence of a) for the topologies TW(m) .o
a
Proposition 9.6.10 Let X , X ' , Y , Y ' be Hausdorff manifolds of class pdNu(m) vhere X and Y are compact and let k be an integer vith Osksp. Then: a)
The
G(f,g)=fxg
map 6 :Cp ( X , X' ) xCP ( Y , Y ) +Cp (XxY, X' XY ) defined by is continuous vith respect to the topologies
TW (PI k, =TD (P,k, '
b) If p a , TW
(OD)
=TD (m)
*
6 is continuous with respect to the topologies
516
Chapter 9
Proof It suffices to remark that 6 factorizes as follows: cp (X,X' ) xcp (Y,Y * ) -cp 6
(XXY'x * XY ' )
where @((f,g))=(fplIgp2), and to use 9.6.3 and 9.6.9.0 Proposition 9.6.11 Let X,X' be manifolds of class p ~ l N u ( m ) , XI' a submanifold of X* and k an integer with Osksp. Then: a) If j is the inclusion map from XI1 into X*, the map j,:Cp(X,X1l)+Cp(X,X*) defined by j,(f)=jof is a homeomorphism onto its image with respect the topologies TW(pIk). b) If p=m, j, is a homeomorphism onto its image with respect * to the topologies Tw(m) and Tw(m).
Proof It is clear that in both cases, j, continuous by 9.6.6.
is injective and it is
a) We shall see that (j*)-l:im(j*)+Cp(X,X1l)is continuous. Since j:X1I4X' is an embedding of class p, the map a :Jk (X,XI1)A k (X I X * ) k k jx(f)-jX(jof) is a homeomorphism onto its image. Then if U is an open set of Jk(X,XII), there exists an open set V of Jk (X,X*) such that u -1 (V)=U. It is easy to see that (j*)-'(M(V))=M(U). Thus by 9 . 3 . 4 I (j,) is continuous.
-'
Spaces of Differentiable Maps
517
is analogous to a) for the topologies TW(m) and * consequence of a) for the topologies TW(m).o b)
a
Proposition 9.6.12
Let X be a Hausdorff paracompact manifold of class p&4u(m), E a real Banach space and k an integer with Osksp. Then: a) The map +:Cp(X,E)~Cp(X,E)+Cp(X,E) is continuous with respect to the topologies TW(p,k). Moreover if p w , it is
*
continuous with respect to the topologies T W ( m ) and TW(m). b) The map *:Cp(X,R)xCp(X,R)+Cp(X,R) is continuous with respect to the topologies TW(p,k). Moreover if p-, it is * continuous with respect to the topologies Tw(m) and T W ( m ) .
c) If dim(E)=l, the map *:RxCP(X,E)+CP(X,E) is continuous with respect to the topologies TW(p,k) if and only if X is compact. Moreover if p-, * is continuous with respect to TW(m) if an only if X is compact.
a) The map
+
factorizes as follows:
CP ( x ,E) x ~( xP,E)+cP
la
cP(x,E~E)
(x,E)
p
where a((f,g))=(f,g) and p(h)=(+)oh, (+):ExE+E the addition map in E. Thus the result follows from 9.6.9 b) is analogous to a).
and 9.6.6.
518
Chapter 9
c) Suppose that X is not compact and let v be an element of 1 E-(0). Then the sequence ((n,~v))neN of RXCP(X,E) converges to 1 (O,CV)I but (fi'c")nePc does not converge to O.cv=co in Cp(X,E) with the topology TW(p,k). Thus * is not continuous. Now suppose that X is compact. The map
*
factorizes as follows:
*
RxCP(X,E)
I.
(PI, R ) xCp (X,E)
RxE)
,Cp (X,RxE)
%
.
where 6' (h)= ( ) h, (. ) :RxE+E being the scalar product in E. Thus by 9.6.10 and 9.6.6,
*
is a continuous map.o
We have seen that Diffp(X) is open in Cp(X,X) with the topology TW(p,k) and the composition map is continuous with respect to the topology TW(p,k). Next we shall see that the map Dif fp (X)+Dif fp (X) -1 U H a
is also a continuous map topological group.
and
consequently
Diffp(X)
is
a
Definition 9.6.13 L e t X,X' be m a n i f o l d s o f c l a s s peNu(m) and k an i n t e g e r w i t h
k k (X,X') Osksp. We s a y t h a t jx(f)eJ exists jk (g)eJk(X',X) f(x) k k k jf (g)ojx(f)=jx(lx). I t is c l e a r t h a t p r e c e d i n g equal i t i e s .
is an invertible jet if there k k k such t h a t jx(f)ojf(x)(g)=jf(x)(lX,) and
jk (9) i s f(x)
uniquely defined
by
the
Spaces of Differentiable Haps Proposition
519
9.6.4
Let X,X' be manifolds of class p&Ju(m) and k an integer with Osksp. We have: a) If k=O, every element of J0 (X,X') is invertible. k k and jx(f)eJ (X,X'),
b) If k r l , a(x)=a(x')=# statements are equivalent:
the folloving
k 1 ) jx(f) is invertible.
2) f is a local diffeomorphism at x. k k 3) If jx(f)=jx(g),
then g is a local diffeomorphism at x.
Proof a) is trivial. b) follows from the fact that f is a local diffeomorphism at
x if and only if Tx(f) is a linear homeomorphism.o Proposition 9 . 6 . 1 5 Let X,X' be manifolds of class pddu(m) with a(X)=a(X')=# k an integer vith Osksp. Then: k
k
k
and
k
a) the set TI (X,X')=(jx(f)eJ (X,X')/jx(f) is an invertible k jet ) is open in J (X,X') vith the topology T ( k ) , ( 9 . 1 . 7 ) . k (r ' T I (X,X')+TI k (X',X) defined by The map k' k uk (jkx (f))=jf(x) (f-l) is a diffeomorphism of class p-k, (9.1.6).
b)
Proof a) If k=O,
0
71
(X,X')=J 0 (X,X').
If k r l ,
then for any two
520
Chapter 9
charts c=(U,p,E) of X and c'=(U',p',E') of X' consider the chart c *=(J k (U,U') ,n:',ExE'xZ(E,E')x.. of
Jk (X,X' )
and
nz' (nk(x,X' ~ J ~ ( u , u=p~ (u)xp' k XP~(E,E'). Since Iso(E,E')
note
(u'
XISO
(E,E
.xZs(E,E')) k that
2
Xgs (E,E
x
...x
is an open set of Z(E,E'),
we obtain
a) k b) Let jx(f) be an element of neighbourhoods Vx and Wf(x) such
TI
k (X,X').
that
f
I+
Then there exist :++Wf(X) is a
diffeomorphism of class p. Then if c=(U,p,E) is a chart of X with xdJcVx and f (U)cWf c'=(f (U),pf-l,E) is a chart of X'. Using c and c' we construct the charts I k k C' k dz = (J (U,f (U)) nn (X,X' ) ,nc ,ExExP (E,E)x xPs (E,E)) k k k C and dz,= (J (f(U), U ) m (X' ,X),nC,,ExExY(E,E)x. xPs (E,E) ) k k of J (X,X') and J (X',X) respectively.
... ..
Then we have the following commutative diagram: Jk(U,f (U))nnk(X,X')
Since cc is a diffeomorphism of class p-k, we deduce that uk is a map of class p-k.o Proposition 9.6.16 Let X,X' be manifolds of class pep(v(m) and k an integer with Osksp. Then the map uk:n k (X,X')+n k (X',X) defined by uk(jt(f))=(j!(f))-' is a homeomorphism with respect to the topologies T(k). Moreover if p-, respect to the topologies T(m).
urn is a homeomorphism with
Spaces of Differentiable Maps
521
Proof Let c=(U,p,(E,h)) be a chart of X and c'=(UI,pI,(E',h')) chart of X'. Consider the maps c' k k .xfs(E,E') nC :J (U,U')+p(U)x(p'(U')xL?(E,E')x..
one
c k (U,U')+(p' (U')xp(U)x!t(E',E)x.. .xXs(E',E) k and nCl:J defined as in 9.1.6. Then we have the following commutative diagram Jk(U,Ut)nnk (X,X')
I
%P(U',U)nn
k (X',X)
C =C
(p (U)x(p
' (U' ) XISO(E,El)x . ..xES (E,El)+ k
A
'
k U')x(p(U)xIso(E',E)x ...XL?~(E',E) -1 -1, (v-lxv;l ),...),which where A(Y,Y',Vl, * * I V k )=(Y'rY,vl I-Vl 2 1 proves that uk is a continuous map. Since crk is a bijective map,uk is a homeomorphism. The last part can be proved reasoning coordinatewise.o h +(p'(
-
Proposition 9.6.17 Let X be a Hausdorf paracompact manifold of class pdNu(m) and k an integer with Osksp. Then the set DiffP(X,X) is a topological group with respect to the composition map and the tOPOl09Y TW(P,k) Moreover, if p=m Diffm(X,X) is a topological group with * respect to the composition and the topologies TW(m) and TW(m). Proof In both cases the continuity of the composition follows from 9.6.5. Now we shall see that the map f-f"
is continuous.
522
Chapter 9
Let us consider feDiffp(X,X) and an open set U of Jk (X,X) such that f”eM(U)nDiffP(X,X). If we take V=Unlrk (X,X), then by the preceding proposition there exists an open set W of J k (X,X) such that ok(Wnlrk (X,X))=V. Then f€M(W)nDiffP(X,X) and for every geM(W)nDiffP(X,X), g-l€M(U)nDiffP(X,X). Thus the map h-h” continuous. The last part is ana1ogous.o
is
Chapter 10
523
APPROXIMATION OF DIFFERENTIABLE MAPS In the preceding chapter we have established the density of the maps of class p in the space of continuous maps with respect to the topology Ts. In this chapter we continue the study in this direction and prove the density of the maps of class s in the space of maps of class r (szrzl) with respect to the Whitney topology. First, using convolution techniques we discuss the finite dimensonal case. The infinite dimensional case requires specific techniques since convolution theory is not available. 10.1. Approximation of Differentiable Maps in the Finite Dimensional Case Definition 10.1.1 Let e:Rm+R be a function whose support Supp(e) is compact. Consider the real number sup(d(O,x)/xcSupp(e) )rO. This number will be called support radius of 8 and denoted by u(e). It can be proved that u ( e )=min( reR/r>O and supp ( e )cB; (0))
.
Proposition 10.1.2 Let 8:Rm+R be a function vhose support is compact and let U be an open set of Rm. Then U =(xeU/B= c(@) r ( e )(x)cU) is an open set of u. Proof Since B= Let x be an element of U (x) is compact, c ( e )* u(e) &o=D(Bz(,) (x),Rm-U)>O. Then Bc (X)CU~(,). Whence Uu ( e ) is 0pen.o 0
Chapter 10
524
Definition 10.1.3
Let U be an open set of Rm, f:U+Rn a function and e:Wm+u?a function vhose support is compact. Suppose that for every XOU a(e) the map
Y H ' p X (Y)=8 (Y)f (X-Y) is Lebesgue integrable. Then the function e* f :uc (
I-
x H ( e * f ) (XI=
P (,
I-
(Y)dY=
8 (Y)f (X-Y)dY
('1 Bi(e) ('1 vill be called the convolution of f by 8. Notice that if y~Bi(,) ( 0 ) and 8 (x-z)f ( 2 ) dz
since the
translations preserve the Lebesgue measure. Definition 10.1.4 A function 8:Rm+R
vill be called a kernel of convolution if the folloving conditions hold: 1)
e (x)20 for every xmm.
2) Supp(8) is compact. 3) 8
is a Lebesgue integrable function vith
8=1.
Rm Proposition 10.1.5
Let u be an element of W+ and meN. Then there exists a
Approximation of Differentiable naps function of class
m,
8:Rm+R,
525
which is a kernel of convolution and
u(e)=u.
Since Rm admits differentiable partitions of unity, there + exists a function (p:Rm+R u(0) of class m whose open support is the open ball Bc(0). Hence (p is Lebesgue integrable and (p is a Rm real number r>O. Then take 8 = 1p . o Proposition 10.1.6
Let B:Rm+R be a continuous function whose support is compact and o ( e ) > O . Let U be an open set of Rm and f:U+Rn a continuous function. Suppose that for every XEU the function o(e) (P,:B;(~) (0)+Rn is Lebesgue integrable. Then the convolution of f +Rn has the following properties: by 8, 8*f:U u(e) a) rf
8
I SupPo ( 0 )
is a map of class kcHu(m), 8*f is a map of
class k and for lspsk, #(B*f)=(#e)*f
in U
u(e)
b) If f is a map of class keP(u(m), then 8*f is a map of class k and for lspsk, #(B*f)=e*#(f).
Proof
r
Then by derivation with respect to the parameter x we get
526
Chapter 10
. The proof
= ( (De)*f) (x)
ends by induction.
I
b) In this case (e*f)(x)=
B(y)f(x-y)dy.
Again by
SUPPo ( 1
derivation we obtain
I
D(e*f) (x)=
B(y)Df(x-y)dy=(B*Df) (x).
SUPPO ( 1
The proof ends by induction.0 Proposition 10.1.7 Let U be an open set of Rm, f : U d a function of class rEP(u(w,O), K a compact set contained in U and sElNu(m,O) vith rss. Then for every &>O there exists a function f3:Rm+R vhich is a 8*f is a map kernel of convolution of class s such that KcU u ( e )' of c l a s s s and sup( II#(e*f) ( x ) -#f (x)I(/Ospsr and xeK)<&. Proof Since K is compact, D(K,Rm-U)>O and therefore there exists u>O arbitrarily small such that KcUu=( XEU/B~(X) cU) , which is an open non empty set. (Prop. 10.1.2)
.
...
r ,D f on K, we can By the uniform continuity of f, Df , moreover suppose that if XEK, ycU and IIx-yII
...
<$.
there exists a function 8:Rm+R of class s that is kernel of convolution with u ( e ) = u . Then by 10.1.6 e*f is a map of class s and #(e*f)=e*#(f) for every psr. Then for every XEK and every psr, we get IIDP(e*f) (x)-DPf(x) 11=11 (e*DPf) (x)-DPf(x) I!=
Approximation of Differentiable Haps
527
Lemma 10.1.8 Let X be a manifold of class 1-0 and V an open set of a Banach space E. Then Cr(X,V) is an open set of Cr(X,E) with the topology TW(r,r). (Note that TW(O,O)=Ts in C(X,E)
.)
Proof It suffices to remark that Cr(X,V)=M(J k (X,V)) and to use 9.3.4.0
Proposition 10.1.9 Let U be an open set of Rm, V an open set of Rn and rcHu(m,O). Then Cm(U,V) is a dense set in Cr(U,V) with the topology TW(r,r). Proof By Lemma 10.1.8, Cr(U,V) is open in Cr(U,Rn) with the topology TW(r,r) Hence it suffices to prove that Cm(U,Rn) is a dense set in Cr(U,Rn) with the topology Tw(r,r).
.
Let f be an element of Cr(U,Rn) and V f an open neighbourhood of f in Tw(r,r). Consider an locally finite open covering (Ui)ieI of U such that is compact and uicU for every ieI. Now let (Vi)ieI be a contraction of (Ui)ieI. Then (Vi=Ki)ieI is a locally finite (in U) family of compact sets that cover U. Consider
ui
528
Chapter 10
m E=((Uilji,R )/ieI),
n
,1 ,Rn)) and K=(Ki/ieI). Then by Rn 9.3.8 there exists a family of positive real numbers & = ( c ) i i d such that V f>Vf Let S=(Si/iEI) be a family of positive (C,Ct,XI&)* real numbers Then, by 10.1.7, for every i d there exist an open set Wi of Ui with KicWi and a map gi:Wi+Rm of class m such that E‘=((R
.
sup( II#gi(x)-#f (x)ll/Ospsr,xeKi)<Si. Since (Wi)ieI is a locally finite open covering of U, there exists a partition of unity of class m in U, (Ai)isI, subordinated to ( Wi)iEI. Then the map g:U+Rn defined by g(x)= 1 Ai(x)gi(x) is of class m.
id
For
every
xcK
and every p with Ospsr, we have j lI~s(x)-#f(x) Il=II#ts-f) (XI H=II& Ai9iAif) (XI 11s id iGI s Taking i d # ( A i ( gi-f) ) (x)1 sHp max( 6i/supp ( Ai) nK3 +Q )
c .
.
sufficiently small propositi0n.o
the
Sits,
we
obtain
c
.
the
result
of
the
Lemma 10.1.10 Let U be an open set of Rm, V an open set of Rn, f:U+V a function of class rEHu(m,O), sEHu(m) with r<s, C a closed set of U and W an open set of U such that f is a function of class s on an open neighbourhood A of C-W. Then for every neighbourhood V f of f in Cr(U,V) with the topology Tw(r,r), there exists a map of class r, g:U+V which is of class s on an open neighbourhood of C and g(x)=f (x) for every XGU-W. Proof By Lemma 10.1.8, Cr(U,V) is open in Cr(U,Rn) with the topology TW(r,r). Hence we can suppose, without loss of generality, that V=Rn. Since U is a normal space and C-AcW, there exists an open set Wo in U such that C-AcWoc~ocWcU, where the adherence - has been taken in U. Then there exists a partition of unity of
Approximation of Differentiable Maps
529
class s in U, ( A , A ) subordinated to the open covering (W,U-Wo). 0 1 Consider the map a:Cr(U,Wn)+Cr(U,Wn) defined by a(h)=Aoh+Alf. Then : a(h)
1)
Iw,
supp ( Al) cu-Wocu-wo. 2 1 a (h)IU-W'f
=h
IW,
I u-w
for
every
heCr (U,Rn) I
since
for every hcCr(U,Rn) I since supp(Ao)cW.
3) For every heCr(U,Rn),a(h) is a map of class s on any open
set on which f,g are maps of class s. 4) a(f)=f. 5) a is continuous with respect to the topology Tw(rlr).
Clearly this is a consequence of 9.6.9 and 9.6.12.a)
and b).
Thus for every neighbourhood Vf of f in (Cr(U,Rn),TW (rI r) ) we obtain, using 5) and 4 ) , a neighbourhood Wf of f such that a(W f )cVf By 10.1.9, there exists hOeWs of class s. To finish, take g=a (ho).o
.
Proposition 10.1.11 Let X,X' be Hausdorff manifolds of class seHu(a) without boundary. Suppose that dimx (X)<= for every xeX, dimx, (Xf)
C h a p t e r 10
530
of maps (gn:X+X')nro
that verifies: f
1) For every nt0, gnaVo. 2 ) gO=f.
4)
For
nrl,
neighbourhood of For n=l g
is
gn
a
map
of
class
s
over
an
open
n
\I
Ki. i=l
is constructed as it follows: consider the space Y l = ~ h c c r ~ ~ l , u ~ ) -w / h ~-u -w ) with the topology Tw(r,r) and 1
1
-gap1
1
1
define the map pl:Y1+Cr(X,Xt) by h(x) if xeUl @l(h)(x)= go(x) if xex-ul Then Pl(h) is a map of class r for every hayl and consequently 8, is well defined. Moreover 6 , is continuous with respect to the Therefore toPologY Tw(r,r) and 6 , ( g o ,ul)= g o , ( 9 . 6 . 9 , 9 . 6 . 1 2 )
{
.
-1
f
8, (V0)+#. Consider C1=U1nK1. Then K1cW1cW1cU1, C1=K1 and C 1-W 1=#. Thus by the preceding lemma there exists g:U1+U; of class r with gaol-1 (V,f ) which is of class s on some neighbourhood of C1 and g I g o coincide in U1-W1. Then take g1=8,(g). have been already constructed
Finally suppose that
92'".19n-1
r Then consider the space Yn=(hcC (UnIUA)/hlUn-Wn-g,-l~un-wn with the topology Tw(rIr) and the map Bn:Yn+Cr(X,X') h(x)
8, (h)(XI=
if xaUn (x) if xaX-Un
defined by
Approximation of Differentiable naps
531
Again f3,
is well-defined and continuous with respect to TW(rlr) f )=gn-l and therefore 6 -1 , (Vo)+#. (9.6.2, 9.6.12). Also, Bn(gn-l
Iun
n
Ki) , and recall that KncWncWncUn. Then i=l the map gn,l is of class s on a neighbourhood of Cn-Wn. Thus by the preceding lemma, there exists a map g:Un+UA of class r with Consider Cn=Unn(
which is of class s in a neighbourhood of Cn and coincides with gn,l on Un-Wn. Then one takes gn=f3,(g). Thus we have constructed the sequence (gn)nENu(0).
gep,l(V;)
Finally
we
define
n =max(ndN/xean).
For
X
a
map
every
XCX
h:X+X'
by
h(x)=gn (x), where X
V x = X - u ( ~ m / x ~ ~ m )is
neighbourhood of x in X such that h I vx-9n
.
an
open
Indeed, if y€VX, xlvx then y'tum for every m such that xdam and therefore n sn Suppose Y x' that n cn In this case yean +11 which implies that ydWn +l. Y x' Y Y Then by 3) gn +l(y)=gn (y) and using induction it follows that Y Y gn (y)=g (y)=h(y). Y "X On the other hand VXcKlu.. .uKnx and by 4) I h is of class s. Finally by 1) , he$.
-
Corollary 10.1.12 With the same hypotheses of the preceding proposition, if rhl, we have: ImS(X,X') is TW(rlr), (9.5.2. I. b)).
dense
in
Imr(X,Xt) with
the
SubS(X,Xt) is dense Tw(rlr), (9.5.2. rr. b)).
in
Subr(X,X')
the topology
1)
2)
3)
(LD)'(X,X#)
Tw(rlr), (9.5.3. b)).
with
topology
is dense in (LD)r(XIXt) vith the topology
Chapter 10
532 4) If
Embr(X,X')
X' is paracompact, Embs(X,X') is a dense set in with the topology TW(r,r) , (9.5.9.11).
5) If X' is paracompact, Prop"(X,X')
is dense in Propr(X,X')
vith the topology TW(r,r) (9.5.10.a)). 6 ) If X' is paracompact, EmbE(X,X') with the topology Tw(r,r) , (9.5.11).
is dense in EmbZ(X,X')
7) If X' is paracompact, Diffs(X,X') is dense in Diffr(X,X1) with the topology TW(r,r), (9.5.12). In particular X and X' are diffeomorphic of class s if and only if they are diffeomorphic of class 1.0
From now on, in this paragraph, the manifolds will possibly have boundary. Lemma 10.1.13
Consider a quadrant (Rm)i of
Rm,
an open set U of
m +
(R )*,
a
map f of class rdW(0) from U into a quadrant (#)A of Rn, a compact set K of U and EER+. Then there exist an open set V of U that contains to K and a map g of class 00 from V into (R"); such k k that Sup( ID f(x)-D g(x) ll/x~V,Osksr)
defined by
Suppose now that a(U)+# and M=#. Then it suffices to apply the Whitney extension theorem (2.1.35) and 10.1.7.
Approximation of Differentiable Maps Lastly
we
suppose
(w")~=(R")~x(R+u(o))x.?!
that
533
a(U)+#
+
.x(w u ( O ) ) ,
and M+#. We know that where p=card ( A ) and where q=card(M) After these
.
identifications, we have that f(x,yl,...,yp)= =(fO(XIY1'
*
-
rYp)lfl(x,Y1l.
,up),. .,fq(xlY1l" V Y P ) 1 .
Now consider 6>0 and the set V=( (x,yl,. ,y )eU: (x-z,zl, .,z )eU for ze(R m ) O A with 1 ~ 1 1 ~ and 6
.. P .. y1szlsy1+6 ,.. .,ypszpsyp+6). It
P
is clear that V is an open set of
1 m + U. Moreover if 6<-2m' D(K, (R )*-U) ,KcV. O Let el:(R m )*+R and B2:R+R be maps of class m which are kernels of convolution with radii u(e1)<6, c(e2)<6. Then we define a map g:V+(Rn)A of class m by:
f(X-z,Xl+tl, e2(tl)
...,xP+tP ) e , ( z )
...82 (tP ).dzdt l...dt P= f~YlYl,"~Yp~~l~~-Y~~2~Yl-
...e 2 (yP-X P )dydyl... dYp
*
Finally by derivation of an integral with respect to a parameter and taking 6 small enough, we obtain inequality of the statement.0 Proposition 10.1.14 Let U be an open set of a quadrant (Rm)f;, V an open set of a + and relNu(0,m). Then the set C"(U,V) is a dense set quadrant (R n )M in Cr(U,V) with the topology Tw(r,r). Proof We have Cr(U,V)=M(Jr(U,V)). Thus by 9.3.4, Cr(U,V) is an open set of Cr(U, (#)A) with the topology TW(r,r) Therefore it suffices to prove that Cm(U, (Rn);) is a dense set in
.
534
Chapter 1 0
Cr(U,(Rn)~) with the topology TW(rrr). Let feCr(U,(Rn)i)
and V f
an open neighbourhood of f in the topology Tw(r,r). Let (Ui/ieI) be a locally finite open covering of U such that Bi is a compact set and BicU for every icI. Let (Vi/ieI) be a contraction of (Ui/icI) in U. Then (vi=Ki/icI) is a locally finite family of compact sets such that ki=U. Consider ieI G=( (Ui,ji,(Rm,A))/kI), G r = ( ( (IRn)irl,(Wn,M))) and X=(Ki/icI). Then by 9.3.8 there exists &=(ci/ieI) such that V f>V f (Erg'
r
Xr
Let 6=(6i/icI) be a family of positive real numbers. By the preceding lemma, for every icI there exist an open set Wi of Ui + of class m such that :Wi+(lR n)M with KicWi and a map g. 1 Sup( 1 Dkf (x)-Dkgi (x)1 /xcWi ,Osksr ) <6 i' Since (Wi/ieI) is a locally finite open covering of U, there exists a partition of unity (Ai/icI) of class m of U subordinated to (Wi/ieI). Then the map g:U+(Rn)i defined by g(x)= C Ai(x) .gi(x) is of class m. For every XEK and every p ieI j
Lemma 10.1.15 L e t U be an open set of a quadrant (Rm)i, V an open set of a
+ , f:U+V a map of c l a s s r, rdNu(m,O), seHu(m) w i t h quadrant (IR n )M r<s, C a c l o s e d set of U and W and open set of U such t h a t f i s a map of c l a s s s on an open neighbourhood A of C-W i n U. Then for e v e r y neighbourhood Vf of f i n Cr(U,V) w i t h t h e t o p o l o g y Tw(rrr), t h e r e e x i s t s a map g:U+V of c l a s s r which i s of c l a s s s on an open neighbourhood of C i n U and c o i n c i d e s w i t h f on U-W.
In the proof of the preceding proposition we have seen that Cr(U,V) is an open set of Cr(U,(Rn)L) with the topology Tw(rrr).
Approximation of Differentiable Maps
535
+ Hence we can suppose, without loss of generality, that V=(R n )M. Since U is a normal space and C-AcW, there exists an open set Wo of U such that C-AcWoc~ocWcU, where the adherence - has been taken in U. Then there exists a partition of unity (hO,hl) of class s in U subordinated to the open covering (W,U-G0). Consider n + the map u:Cr(U, (Rn)A)-lCr(U,(R )M) defined by u(h)=Aoh+hlf. Then: 1)
u(h)
P o=h P o
supp ( h l ) cu-Gocu-wo 21
(h)I U-W'f
for
every
hcCr(U, (Rn)A),
since
.
I u-w
+ for every hcC r (U, (R n )M), since supp(ho)cW.
3) For every hcCr(U, (R");), u(h) is a map of class s over any open set of U on which both f and g are of class s. 4) u(f)=f.
5) u is continuous with respect to the topology TW(r,r) 9.6.9, 9.6.12.a), b) and 9.6.11.
. By
Thus for every neighbourhood Vf of f in Cr(U, (#)A) with the topology Tw(r,r) , by 5) and 4) there exists a neighbourhood Wf of f such "that u(W f )cVf By the preceding proposition there exists hOcWf of class s. Finally take g=u(ho).o
.
Using this lemma we shall generalize 10.1.11 to manifolds with corners. Theorem 10.1.16
Let X,X' be Hausdorff manifolds of class scNv(m) and r an integer with O=r<s. Suppose that dimx(X)<m for xcx, dim,, (X')<m for x'EX' and X is Lindeliif. Then TW(r,r)
Cs(X,X')
is
dense
in
Cr(X,X')
with
the
topology
C h a p t e r 10
536
Proof Since X is a Lindelof space, every locally finite family in X is countable. Let V f be an open neighbourhood of f in Cr(X,X') f f f with the topology Tw(r,r) Then by 9.3.8, V >V (E,E' Ix,8)=vO~
.
E=(cn=(Unlvn,(En,Anl)/ne~), ~ ' = ( c ~ = ( U ~ , v ~ , ( E ~ , ~ ~ ) ) / n s H ) ,
where
X=(Kn/neW) with
(I
new
kn=X and C=(cn/neN).
Choose, for every neH, an open set Wn such that KncWncWncUn. Next we shall see that there exists a sequence of maps (gn/nzO)) such that: f 1) For every nrO, gneVo. 2) gO=f.
n
4)
For nzl, gn is of class s on an open neighbourhood of
We construct g1 as follows. Consider the space Y l = ~ h ~ c r ( ~ l , ~ ~-w ) /-h ~ U -w ) with the topology TW(rlr) and 1 1 1 1 define a map f31:Y1+Cr(X,X') by h(x) if xeU1 f l ~ ( ~ ) go(x) if xex-ul
-gap
{
It is clear that Bl(h) is of class r for heyl and therefore Bl is well defined. Moreover fl, is continuous with respect to the -1 f B l ( g o l u l ) = ~ oand therefore (8,) (Vo)*$. topology TW(r,r) I Consider C1=U1nK1. Then K 1 ~ W 1 ~ ~ l ~C1=K1 U 1 l and C 1-W 1=#. Thus by the preceding lemma there exists a map g:U1+Ui of class r with -1 f ge(B1) (V,) which is of class s on a neighbourhood of C1 and coincides with go on U1-W1. Now take g,=Bl(g). Suppose that g2 ,
... gn-l
have been
already
constructed.
Approximation of Differentiable naps
537
Then consider the space Yn=( h a r (Un,U;l)/h I un-wn-gn-l, -
Un-Wn) with
the topology Tw(r,r) and define a map Bn:Yn+Cr(X,X') by h(x) if xeUn Bn(W (XI={gn-1 (x) if xeX-un Then Bn(h) is a map of class r for heyn and fin is well defined and continuous with respect to the topology Tw(r,r). Moreover n f and therefore (8,) -1 (Vo)+#. Put Cn=Unn( \ J Ki) Bn(gn-1 lun)=gn-l 1=1 and recall that KncWncRncUn. Then gn,l is a map of class s on a neighbourhood of Cn-W,. Thus by the preceding lemma again there exists a map g:U +U' of class r with ge(f3n)-1(VE) which is of n n class s on an open neighbourhood of Cn and coincides with gn-l on Un-W,. Then take gn=Bn(g). In this way we have constructed the sequence (gn/nrO). Finally define h:X+X' by h(x)=g ( x ) , where "X
nx=max(neN/xe8n). Then it is easy to see that h is a map of class f (see the proof of 10.1.11) .o s and h%Vo, Corollary 10.1.17
With the same hypotheses of the preceding theorem, in case rrl, we have: Ims(X,X') is dense in Imr(X,X') A) If a(X')=#, topology Tw(r,r) (see 9.5.2.I.b)).
with the
B) If a(X)=#, SubS(X,X') is dense in Subr(X,X') Topology Tw(r,r) (see 9.5.2.11.b)).
with the
C) If X'
Embr(X,X') D)
is paracompact and a(x')=$, E~~"(X,X') is dense in with the topology Tw(r,r) (see 9.5.9.11).
rf
X'
is
paracompact,
Props(X,X')
is
dense
in
Chapter 10
538
Propr(X,Xt) with the topology Tw(rlr) (see 9.5.10.a)). E) If X' is paracompact and a(X')=#, EmbE(X,X') EmbZ X,X') with the topology TW(rlr) (see 9.5.11).0
is dense in
Elevation of the Class of a Differentiable Manifold
10.2
was mentioned in Chap. 1, there are topological manifolds (i.e. manifolds of class 0 ) that do not admit compatible differentiable structures. In sharp contrast, any manifold of class r larger than or equal to 1, admits a differentiable structure of class m whose attached Cr-structure is the given one. As
Lemma 10.2.1
and
Let U,V,W be bounded open sets of Rn such that @cVckU, nrm TI the projection from Rn on Rm defined by
wl,. - lXm,xm+l'
*
- ,xn)=(xl, - -
'Xm)
-
Suppose that f:U+Rn is a map of class r such that nf:U+Rm is an embedding. Then if 6 : U M + is a continuous map, there exists an embedding of class r, h:U+Rn such that:
c) h(W) is a submanifold of class
m
of Rn.
d) If G is an open set of U such that f(G) is a submanifold of class m of Rn, then h(G) is a submanifold of class m of Rn. Proof By the remark following 1.2.12, A=nf(U)
is an open set
Approximation of Differentiable naps of Rm and g=f (nf)? On 9(Xl/.
the *
I f(U) :f(U)+A other
hand
is a homeomorphism whose
g:Ad
- .'
/xm/gm+l(xlf n-m map go : A M
,xrn)=(x1,
539
is
a
,Xm) I
map
of
- - /4n(x11
inverse is
class *
r
and
/ X m )1 .
Consider the of class r defined by go(x)=(gm+l(x) ,gn(x)). By 10.1.10, with C=lrf(w) and W=nf(V) , + for every &cC(A,R ) there exists ho:A+LRn-m of class m over the and open set nf(W) that coincides with go on A-nf(V) llgo (x)-ho (x)1 c& (x) and 1 Dgo (x)-Dho (x)1 <& (x) for xeA. Moreover ho is of class m on each open set of A in which go is so. Now we define a map K:A+Rn of class r by K(x)=(x,ho(x)).
,...
Finally by taking h = h f and a suitable & , it can be proved that conditions a) ,b),c) and d) holds for h (note that f=gnf) .o Proposition 10.2.2 Let X be a manifold of class reHu(m) and f:X4Rn an embedding of class r. Suppose that a(X)=# and dimx(X)=m for every XSX. Then for every neighbourhood Vf of f in Cr(X,Rn) with the topology TW(r,l) , there exists hcV f such that h is an embedding of class r and h(X) is a submanifold of class m of Rn. Proof BY 9 . 4 . 9 , E ~ ~ ~ ( x , R " is) open in c'(x,R") with the topology f TW ( r ,1) Thus Vf contains another neighbourhood VlcEmbr (X,ORn) Then for every XEX, rx(f)=m and therefore by the inverse mapping theorem there exists a coordinate m-plane such that, if n is the projection from Rn onto that plane, then the map nf is, in a neighbourhood of x, a diffeomorphism of class r onto an open set of that plane. Then there exist a family of charts
.
.
E=(c.=(Ui,cpi,Rn)/icI) 1 of X such that (Ui/ieI) is locally finite and a family (Ki/iaI) of compacts sets of X such that KicUi, c p . (Ki)=BY(0)cRm for every iaI and ki=X. Moreover for every i d 1 ic1 there exist and the projection ni from Rn onto a suitable
540
Chapter 10
coordinate m-plane that induces an embedding niflKi. By 9.3.8, f there exists S*=(Si/icI) such that Vf * cV1, where (&lk',X,& 1 n S'={c!=(R ,1 ,Rn)/ieI). By 9.3.8 and 9.4.9, there exists 1 R" Se(C,R+) such that, for every ie1, 6(x)<Si for xeKi, and if gcCr (XIRn) and II~c;~(Y)-~v;~(Y) n
pi
for y e B I ( O ) , ieN, and fj,l(Wh) is a submanifold of class for h<j. Now we construct a map f as follows: j
a
of Rn
Using the preceding lemma to the function fj,lpj -1 :p. (h.)+Rn, 3 3 we obtain a map f, : X d such that
-1 m of Rn and pj,x-wj -pj,x-wj. By 3 3 the condition d) of the preceding lemma, f.(W ) is a submanifold 3 k of class m of Rn for every k<j. Then h=lim f4 is the map we J sought. o p . (W.) is a submanifold of class
Corollary 10.2.3 Let
X
be a Hausdorf f
second countable manif ol d of el a s s
Approximation of Differentiable Haps
541
.
reHu(m ) Suppose a (X)=I$, dimx (X)=m<+m for every xeX. Then there exists a differentiable structure of class m on X whose attached Cr-structure is the given one. Proof
By the immersion theorem, there exists a closed embedding f : X M n and by the preceding proposition there exists an embedding h:XM" of class r such that h(X) is a submanifold of class m of Wn. Hence there exists a differentiable structure of class m on X such that h is a diffeomorphism of class m onto its image.
This Page Intentionally Left Blank
543
Chapter 11
OPENNESS AND DENSITY OF THE TRANSVERSALITY 11.1. Density of the transversality. Thom Theorem Lemma 11.1.1
Let X be a second countable non-compact Hausdorff manifold of class peP(u(m) with a(X)=#. Suppose that dimx(X)=m<+m for every XEX. Then X = ( J Xi, where ieP(
Xi is a compact submanifold of X with a(Xi)+#, a2 (Xi)=# and int(xi) is an open set of X, ~ ~ c j ifor ~ +every ~ ieN. Proof By 10.2.3 we can suppose p=m and by 9.4.10 there exists a + proper map f :X 4 u( 0) of class p. Then by Sard's theorem f (C(f) ) + has measure zero in R u ( 0 ) and therefore, since X is not compact, + there is a strictly increasing sequence (an/nEH)cim(f)cW u( 0) of a regular values of f. Then whose boundary is f-l(an) .o
take Xn=f-'
( [ 0,an] ) =f"
( (+,an] )
,
Lemma 11.1.2
Let X,X' be second countable Hausdorff manifold of class every pc#u(co). Suppose that dimx(X)=meH for xeX and dimx, (X')=m'eP( for every x'EX'. Consider an integer r with lsrsp, a submanifold of class p Y h for of X', an open set Y 0 of Y such that 'jiocY and Bh(X)=() Xi ieIN every h e ( 0 , m) (in the situation of the preceding lemma, where h we take Xi=Bh(X) for all i€lN if Bh(X) is compact). Then for
...,
...
h ( geCp (X,X ' )/for every xeXi h every i4N and every he ( 0, ,m) , Gi= with g(x)eyo, I1Bh' ( h X y ) is an open set of cP(x,x') in the Whitney topology TW(p,r).
C h a p t e r 11
544
Proof Let us consider
e=(
j:(f)EJ
k (XilX')/f h (x)&?,
or f ( x ) E ~ , and
Tf(x) (X')=Tx(f) (TXX:)+Tf(xl (j') (Tf(x)Y)), where j':Y4X' is the inclusion map. Let (jn/nEw) be a sequence of elements of Jr (Xi,X')-Ui=Ci h h h that converges to jo in Jr(Xi,Xt) h with the topology Tr. Let us consider x , = s ( j,) , x;=b( j,) , xn=s(jn) and x;=b(j n) for every new. By the continuity of s and b, xO=lim xn x;. On the other hand for every new, X ~ T ,and and x'=lim 0 h +T ,(j') (Tx,Y) Thus x ; E ~ , . Now we consider Tx; (X' 1#Txn( jn)(T Xi) xn xn n j,=[(x,,f,)], a chart c=(U,(p,(Rm,A)) of :X centered at x,, i.e. m' ,M)) of X' (p(xo)=O, with Ucdom(j,) and a chart c'=(U',p',(R adapted to Y at x;, through (E',A'), i.e. x;,EU', cp'(x;,)=O, + + m'+ Let us (p'(U'nY)=(p'(U')nEi,, EL,c(R )M , such that fo(U)cU'. consider the map h, defined by:
.
j".om',-l'~
P
h, :cp (U)L U A U #(P'.(p, (U ) X E Q * ,~ E ~ ~ where El1 is a supplement of E* in Rm', B(x,y)=x+y, p2(x,y)=y. Put [ (xnlfn)]=jn for every new. Since lim xn=xO and lim x'=x;, there n exists n o d such that for every nm,, xneU and xAEU'. Thus for every nzn, there exists an open set Vn of p(U) with cp(x,)~V,, fn(p-l(Vn)cU' and (p-l(Vn)cdom(fn). Then we can define hn by: f -1 P (Vn)-,'P'.(p % (U ) am'&'E xE1I2Eg1. h The condition T ,(X')+T (j,) (Tx Xi)+T ,(j') (Tx,Y) implies that xn n xn n n' hn:Vn&(p-l
-1
Let v'
be an element of T ,(XI) and suppose that the xn (p ( xn) is surjective. differential of hn at Then p2e-l (ec, x; -1(v'
= ~ ~ ~ and E E ~ there ~
i.e.
exists X'
n -1Tx (ec,)
n
ucRm
such
xn (u)=t= (fn)ec
that
Openness and Density of the Transversality
X'
X'
ec:(v18)=ec, n (t-p,e-'(t))=T
xn
545
xn (u)+hl, where hl&2(E'). (fn)ec
xn (u), which is a contradiction. Then +T (fn)ec xn Dhn((p(xn)) is not surjective. Since (h:RS+Egl/h is a linear surjective map) is an open set of ~(R~,EI*), Thus v'=h+h
Dho ((p ( xo) ) =lim Dhn ((p ( xn) ) is not surjective. As a consequence we h h can prove that Tx, (X' 1 +Txo(jo)(Tx Xi)+T ,(j') (Tx,Y) and jOECi. 0
0
xO
0
h with the topology Thus CF is closed and UF is open in jr(Xi,X') h P h h h T(r). Therefore M(Ui)=(feC (Xi,Xt)/jr(f)(Xi)cUi) is open in CP (Xi,X') h
with the topology TW(p,r)
.
On the other hand since
k * j:Xi4X is proper, then the map j :Cp(X,X')-tCp(Xt,Xf) defined by
*
j (f)=f
I Xi
h is continuous with the Whitney topology.
h Thus A=(j * ) -1 (M(Ui)) is an open set of Cp(X,XR) with the h topology TW(p,r). Finally A=Gi.o Proposition 11.1.3 Let X,X' be Hausdorff second countable manifolds of class p, pelNv(m). Suppose that dimx(X)=mcPI for every XEX, dimx, (X')=m'EN for every x'EX' and ax=$. Consider an integer r vith lsrsp and a closed submanifold Y of class p of Xf. Then G=(geCP(X,Xf)/ghY) is an open set of Cp(X,X') vith the topology TW(p,r). Proof The proof is similar to the one of the preceding lemma, using X instead of Xt and Y instead of Yo.o
Chapter 1 1
546 Lemma 11.1.4
Let X,X' be second countable Hausdorff manifolds of class pe8(u(m). Suppose that dimx(X)=mEN for every XEX, dim,, (X')=m,eN for every x'EX' and e(X)=g. Consider two non negative integers r,h with hsp-r. Then the map jr : ( Cp (X,XI) ,TW (p,h+r) ) + ( CP" (X,Jr (X,X' ) ) ,Tw (p-r,h) is continuous.
Let U be an open set of Jh(X,Jr(X,X')) with the topology T(h). Then M(U)=(fECP-r(X,Jr(X,X'))/jh(f) (X)cU) is an element of the basis of the topology TW(p-r,h) of CP'r(X,Jr(X,Xt)). Then is open in the topology TW(prh+r) of Cp(X,X#). (jr)"(M(U)) Indeed, consider the map a:J h+r (X,X')+Jh(X,Jr(X,X')) defined by .r a(jh+r(f))=[(x,] (f))]. Taking charts it is easy to see that a is continuous. Hence M(a-'(U))=(jr)-'(M(U)) is an open set of Tw(p,h+r) - 0 Theorem 11.1.5
Let X,X' be second countable Hausdorff manifolds of class pWu(m). Suppose that dimx(X)=n for every xeX, dim,, (X')=n' for every x'EX' and a(X')=g. Consider an interger r with Osr
-
such that VycG. Thus VynY=Y
Y
is an open set of Y that contains y
Openness and Density of the Transversality
547
such that i! cGnC=Y
( y is the adherence of Y in Jr(X,Xt)). Y Y Moreover if we take Vy sufficiently small, then we can suppose that :
Y
a)
Ty
is compact.
b) There exist a chart C =(U ,(p ,(Rn,h ) ) of X centered at Y Y Y Y s(y), such that is a compact set and (p (U ) is a bounded set Y Y Y and a chart c'=(U',p',Rn') of X' centered at b(y) such that Y Y Y (s,b)(P )cU XU' Y Y Y' Since Jr(X,X') is second countable, Y is also second We shall put Y =Ym for every countable and therefore Y=() Y me^ Ym Ym k mdN. Let Bk(X) be the set ( j Xi, as in Lemma 11.1.1, for every iaP( k ke(0, n) (if Bk(X) is a compact set, we take Xi=Bk(X) for every ien). Now consider T(r,m,k,i)=(g€CP(X,X')/for every x€Xi k
.
...,
with
jz(g)eym,
(jr(s)1 IBk(X) A Y ) .
It
is
clear
that
Tr- ( geCp (X,X' ) /j (9) Y)=nT (r,m, k, i) the intersection over all Ym,k,i. Next we shall see that T(r,m,k,i) is open in Cp(X,X') with the topology TW(p,r+t). By 11.1.2, H(i,m,k)=(heCP-r(X,Jr(X,X')) for
every
xsX1
CP"(X,Jr(X,X'))
with
h(x)eym,
in h IBk(X) h x y ) is open with the topology TW(p-r,t). By Lemma 11.1.4,
(jr)-'(H(i,m,k)) is open in Cr(X,X') and ( jr, (H(i,m,k) ) =T (r,m, k, i)
-'
.
with the topology TW(p,r+t)
Let us see that T(r,m,k,i) is dense in Cp(X,X') with the topology TW(p,r+t). By b) if we put p =pm, U =Um etc., Ym Ym pm(Um)>pms(ym) and therefore there exist open sets Am, Bm of Rn such that p m s ( ~ m ) ~ A m ~ ~ m ~ B m ~ ~ m ~ pSince m ( U mBm ) . is a compact set, D ( Bm ,Rn-pm(Um))>O and there exists am:Rn+[O,l] of class PO such that am(y)=l if y d m , am(y)=O if yeBm. Analogously p ; b sets A;, map
B;
of Rn'
a;:R n' +[0,1]
(ym)cp;(U;)
and therefore there exist open
such that p;b(Tm)cA2qB2qp;(U;) of
class
rn
such
that
a;(y')=l
and if
y'eq,
a
C h a p t e r 11
548
a; (y' ) =O
if
M'=Rn'xl(Rn,Rn')x..
-Ym
.;"'y
Consider
.xlz(Rn,Rn') -
f€CP(X,X'),
and an open neighbourhood ?:l - of
in Y such that (pms(~i)cAmand v;b(?li)cA;.
By continuity there is an open neighbourhood M1 of 0 in M' such that if ,U'X and f (XIEU;, then
)m' ((Pm(x))+P;f(x) )'(P;(U;) for every A(m',x)=(am(9m(x) )a;(P;f(x) m'EM1, where m' (y)=m;+m; (y)+. .+m;(y, ,y) for every YER", m'=(m;,mj, m')eM1. Indeed, since (pm(Um) is bounded, there r such that exists an open neighbourhood M1 of 0 in M' Urn' (cpm(x)) I
. ..
.
...,
Now we define the map p:M1+CP(X,Xt) by p(m') (x)=f(x) if xeU, or f(x)eU;, p(m')(x)=(p;)-lA(rn',x) if XEU, and f(x)dJ;. It is clear that p(m') is a map of class p since PA-'( supp (am)) nf (p; lsupp (a;) ) cUmnf (U;) and for every -1 -1 x'Umnf-l (u;) -Pi1 (SUPP(a,) 1 nf FJ; we have (SUPP(a;) 1
-' -
-'
.
A'- (m' ,x)=f (x) Moreover p is a CP-representation since e * M xX+X' is a map of class p. Then the map P' 1 jr(p) :M1+Cp-r(X,Jr(X,X')) defined by (jr(p)) (m')=jr(p(mt)) is a CP-r-representation, which follows easily by taking charts. (p),
Let us consider 1 n' -* &Tmin(D(Supp(a') m ,W -p;(U;)) ,D(p;bYm,Rn'-A;)) and M=(m'EM1/#m'(pm(x)) I<&,for every xsUm such pm(x)~supp(am)). Then M is an open set of MI and OEM.
Let (m',x) be -* j:(p(mt) )=e (m' ,x)EY,. jp(p) 9,(x)ESuPP(am) I more p(m') (x)Eb(y:)cU;.
On
the
t=d(P;f(x)
an
that
element of MxX such that Then XES (? cum li)and therefore precisely
am(Pm(s) )=I,
and
Thus the pair (x,p(m') (x)) belongs to UmxU;. other hand f (x)EU; and we have
IP;P(m')
(x))=d(P;f(x) ,Um',x))+'(Pm(x))
[<&.
Since
Openness and Density of the Transversality
549
pm'f(x)e~~(a;)-~(l). Moreover for every y e ~ ~ > p ~ s (am(y)=l ~ ~ ) , and (x)=m'pm(x)+p;f (x)~p;(U;). Since p;f (x)eA; and therefore p;p(m')
pm(x)eAm,
there
exists
an
open
in
p;f (y)
ES.Thus
for
( ml@)( y ) =m"(pm ( y)+ p i(y)
and
p i 1 (Am)nf-' (U;) cum such that for every ye?,
every
(m" ,y)E M X V ~ , we
have
p p ;
?
x
neighbourhood
Then the map ~:M'xpm(Vx)+pm(VX)xRn'xP(Rn,R
of
n' )x.. .xPs(R r n ,R n' )
defined similarly to h, is a diffeomorphism of class p-r. Thus h is a diffeomorphism from Mxpm(Vx) onto its image and therefore e : M X V ~ ~ ~ ( V ~ , U is ; ) a diffeomorphism of class p-r onto its jr(p) image. Thus e
: M ~ (XI B ~ + + B ~(x, J X~' dr(v~,u;)
is a
IMxBk (X)nVx j diffeomorphism of class p-r onto its image (where ind(x)=k). Y is a totally neat submanifold we have Since -* e Y for every (m',x)eMxX. By the Abraham (ml,x) m jr(p) parametrized theorem of density of transversality, is residual in M and therefore dense in M-,=(m'EM/jr(p(m')) m' M. Thus there exists a sequence (m') of elements of M-* that P m' converges to 0. It follows that p(m')+f=p(O) in the topology P TW(p,r+t) of Cp(X,X'). Indeed, using the properties of the Whitney topology (9.3.20) it suffices to see that:
,-/-,v:)
Chapter 11
550
2) If d is a metric on J
r+t
converges uniformly to (jr+tf) m'
I
2).
(X,X'),
then ( (jr+tp(m;))
Ium/p~N)
.
But 1) is trivial from the definition of p, so let us show The map e r+t :MxX-~+~(X,X') is continuous and therefore j (PI
jr+t ( p ) :M+C p-(r+t) (X,Jr+t(X,X')) is also continuous with the jr+t (p(mi)) converges to compact-open topology. Thus r+t ( p (0)) =j r+t ( f) Since the compact-open topology describes the uniform convergence over compact sets, we get 2).
.
5)
is a dense set in Consequently H=(geCP (X,X' ) / j (9)A Cp(X,X') with the topology TW(p,r+t) Finally HcT(r,m,k,i) and T;=(gsCP(X,X')/jr(g) A Y ) is a residual (hence dense) in Cp(X,Xl) with the topology TW(p,r+t) .o
.
Corollary 11.1.6 Let X,X' be second countable Hausdorff manifold of class pc#u(m). Suppose that dim,(X)=neN for every xcX, dim,, (X')=n'cH for every x'EX' and 8(X')=#. Let Y' be a submanifold of class p of XI with a(Y')=# and t an integer with lstsp. Suppose that Y' has constant codimension and p-lrn-cod(Y') Then Ty,=(g6CP(X,X')/gh Y') is residual [hence dense) in Cp(X,X') with the topology TW(p,t).
.
Proof Since X' and Y' have not boundary, Y=XxY' is a totally neat submanifold of XxX'=J 0 (X,Xt). Moreover the codimension of Y in XxX' coincides with the codimension of Y t in X'. Thus from the 0 (9)A Y ) is a residual set in preceding theorem, T;=(gECp(X,X')/j Cp(X,X') with the topology TW(p,t).
Openness and Density of the Transversality As
551
0 Ty=Tyr we are d0ne.o
11.2. Multijets. Density of the Transversality. Mather Theorems for Manifolds with Corners In this paragraph we establish a generalization multijets of the Thom density of the transversality theorems.
to
Let X,X' be Hausdorff manifolds of class p~lNu(00) and tcP(-(1). Define xt=xx.. t) .xx and ,xt)cxt/xi+x lsi<jst). x ( ~ ) = ((x,, Then j' Xt-X(t)= (Pij)-l(A) and therefore X (t) is an open set of 151<]st X t , here we use the notation (Pij(~lI...I~t)=(~ilxj)).
.
...
k Let keP(u(0) with ksp, the map s:J (X,X')+X and the map t t) k t t k Then the set J (X,X#)(t)=(st)-l(X(t)) s = s x . . .xs:J (X,X') +X will be called space of k-multijets. Since X(t) is an open set, Jk(X,X')(t) is an open set of Jk (X,X')t and therefore Jk (X,X')(t) k is an open submanifold of J (X,Xf)t in case a(Xl)=g.
.
Let f:X+X'
.
be a map of class p. Then we define a continuous
map (jk(f)) (t):x(~)M~(x,x') (t) by (jk (f))(t)(xl,...lxt)=(jk (f),...,j k (f)) and it is clear that x1 Xt (jk(f))(t) is a map of class p-k in case a(X')=#. Lemma 11.2.1 Let X,X' be second countable Hausdorff manifolds of class pcHw(m). Suppose that dimx(X)=mcP( for every XEX and dimX,(X')=m~dN for every XIEX'. Let Y be a submanifold of class p of XI and Yo an open set of Y such that yo is a compact set and YocY. Then if keHu(0) with ksp the set G=(gcCP(X,X')/for every XEX with g(x)EyO, T (X')=im(Tx(g))+T (Y)) is open in g (XI g (XI Cp(X,Xt) with the topology TW(plk).
C h a p t e r 11
552
Proof
k k (X,X')/f(x)Q'jl, or f(x)e'j10 and Let U be the set (jX(f)EJ T (X')=im(Tx(f))+T (Y)) and (jn/nsW) a sequence of elements f (XI f (XI of Jk (X,X')-U-C that converges to j, in Jk (X,X') with the
.
I
topology T (k) Let us see that jOcC.
.
Consider xo=s ( j), , x' ,=b ( j), , xn=s ( jn) and x;=b ( jn) every new. By the continuity of s and b, x,=lim xn and x;=lim
for x;.
On the other hand for every nEN, x;e'jl, and T ,(X')*im(T (jn))+T '(Y). Thus x6cPO. Let j, be the element xn xn xn [(x,,f,)], c=(U,p,(Rm,A)) a chart of X centered at xo (i.e. m' ,M)) a chart of X' p(x,)=o)with Ucdom(f,) and c'=(U',p',(R i.e. x;eU',p'(x;)=O, adapted to Y at x; throught (E',A'), + + m'+ Define a map p'(U'nY)=p'(U')nEi,, Ei,c(R )M such that f,(U)cU'. h, by: where El1" is a supplement of E' in Rm',
B(x,y)=x+y and p2 (x,y)=y.
Now put [ (xn,fn)]=jn for every new. Since lim xn=xO and lim x'n=x;, there exists nOeN such that for every nzn,, xneU and x'nEU'. Thus for every nzn, there exists an open set Vn of p(U) with p(xn)eVn, fnp-l(Vn)cU' and p-l(Vn)cdom(fn). Then we define hn as follows:
T ,(X')+imT (jn)+T ,(Y) implies that xn xn xn Dhn(p(xn)) is not surjective and since (h:Wrn+E1*/his a linear surjective map) is open in Je(Rm,Ett), we conclude that DhO(p(xO))=lim Dhn(p(xn)) is not surjective. The
It
condition
is
easy
therefore j,cC.
to
deduce that T
x;
(X')+imT
xO
(j,)+T
x;
(Y) and
Thus C is a closed set and U is open in Jk (X,X') with the topology T(k), and consequently
Openness and Density of the Transversality
553
(X)cU) is an open set of Cp(X,Xt) with the topology TW(p,k). Finally G=M(U).o
M(U)=(fd2P(X,X')/(jk(f))
Theorem 11.2.2 Let X,X' be second countable Hausdorff manifolds of class peNu(m). Suppose that dimx(X)=neH for every XEX, dimX,(XO)=n'eN for every x'EX' and a(X')=#. Consider teN-(1), reNu(0) with r
.
Proof Since Y is a submanifold of class p-r of Jr(X,XR)(t), (hence a submanifold of Jr(X,X') t ) , we have Y = m C where G is open and C is closed in Jr(X,X') (t) with the topology induced by the product topology T(r)x.F! .xT(').
y=(y,,
Since J ~ ( x , x ~ ) ( ~ )is a regular space for every ,yt)eYcJr (X,X') (t), there exists an open neighbourhood
...
-
Vy of y in Jr(X,X') (t) such that VycG where the adherence is taken in Jr(X,Xt) (t). Thus VynY=Y is an open set of Y that Y contains the point y and such that Y cGnC=Y, where is the Y Y Moreover if Vy is sufficiently adherence of Y in Jr(X,X') .I'( Y small, we can suppose: a) yy is compact and therefore closed in Jr(X,X')
t
.
b) There exist charts of X, C =(Uyl,(pyl,(Rn,A 1 1 , . ,c = ( U y t r ~ y t(Rn,A l 1 ) , centered at Y1 Y1 yt Yt , ,U are pairwise s (y,) , ,s (y,) respectively, such that Y1 Yt disjoint compact and
...
..
...
Chapter 11
554
cp
Yl
(u
.
,...,(p
(U ) are bounded, and there exist charts of XI, yt Yt ,(p' ,Rn, ),. ..,c' = ( U f ,cp' ,Rn' ) centered at 1 y1 Yt Yt Yt respectively, such that )
Yl
.
(sx.. t) .XS)( y ) CU x.. .XU ,(bx..t) .xb) (yy)cU; x.. .XU' y1 Yt 1 Yt
.
Since J'(X,X') (t) is second countable, Y is second countable too and therefore Y=() Y For every ks(O,...,n) consider m a y'" k Bk(X)=\J Xi, where Xt is a compact submanifold of Bk(X) with
,,,.
lEN
k 2 k k k k 8 (Xi)=#, int(X.) is an open set of B (X) and XicXi+l 8(Xi)+#, 1 k k for every isN. (If Bk(X) is compact, take Xi=Bk(X) for every icN)
.
,...
...,
t (kl ,kt)E(O,...,n) , every (ill it)sNt and T(r;m;kl, ,kt;il, ,it)=(gsCP(X,X')/for every k (t) x= (x1 , ,Xt)E ( Xi1X. x x kt i ) nx with (jrts)1 (t)W E T Y 1 t hxY). It is clear that (jr(s)1 (t) IX(t)n(Bk (X)x.. .xBkt(X)) 1 the (gsCP(X,Xf)/(jr(g)) (t),-hY)=nT(r;m;kll. ..,kt;il,. ..,it) intersection over all m,k i j' j * For every every mEN put
...
...
...
..
Let us see that T(r:m;k1,.~.,kt:i1,...,it) Cp(X,Xt) with the topology TW(p,s+r)
.
To do it, consider the map a defined by commutative diagram:
is
open
in
the following
Openness and Density of the Transversality
IT
555
Cp (X,X' ) j r C P - r (X,Jr (X,X' ) )
uL k
r ' P C
where r(h)=(h
(Xi1,Jr (X,X' ) ) x
CP-'(Xi
I'.
...xCP"
kt J r (X,X' ) ) (Xit,
kl x.. . x Xk~ ~ ; J I ( X , X ' ) ~ ) )1 and S(g,, ,gt)=glx.. .xgt. Then u t
...
is a continuous map with the topology TW(p,r+s) and TW(p-r,s) kk, since Xi I X .c are compact sets. 1 it
,...,
k the set G=(g€Cp-r(Xilx.. .xXkt,Jr(X,X') t )/for every 1 It k xcXilx.. .xXkt with g(x)& m, T (XIJr(X,X8)t=imTX(g)+Tg (XI (Y)) is 1 It kt t open in CP-'(Xi kl x...xXi ,J (X,X') ) with the topology TW(p-r,s). 1 t ,kt;ill.. ,it) is open in Cp(X,X') Finally a-l(G)=T(r;m;kl,. with the topology TW(p,r+s). By 11.2.1
..
.
...,
Let us see that T(r;m;kl, kt;i ll...,it) is a dense set in Cp (X,X ') with the topology Tw (p,r+s)
.
By b) we have
..
1 1 and therefore there exist open sets AmlBm, .,A:,B: that
...........................
of Rn such
556
Chapter 11
-
-
1 t are compact sets, Since Bml...,Bm
and there exist maps a,:R1 that
n+[0,1]
and there exist open sets A;
1
,B;
,...,at*Rn+[O,l] of m'
1
,...,AAt
-
1
class
BmIt of #'such
1C ( P ' ~ ( U ' ~ )
m
such
that
bt(y m ) ~ A 1ACAA~CBA'CB;
Y ...........................
y1
y1
ptmplbt ( y m)~AAt~A;t~B; - t,t cBm C(P'~(U'~) Yt Y Yt Yt Then there exist maps a~l:Rn'+[O, 13 , ,aAt:Rn+[O, 11 of class
...
OJ
7
such that aAi(y')=l
for Y'EAA',
Now consider faCp(X,X')
aki(yt)=0 for yl@Bki (lsist)
,
M'=Rn'x3!(Rn,R
n' )x.. .xZ~(Rn,Rn') and
-* ,)cAm i in Y such that Q mpist (Y an open neighbourhood y* of TI Ym Y" Yi Y -* m)cAAi for every ia( 1,. ,t) By continuity there and 'p',pib t (Y Y yi exists an open neighbourhood M1 of 0 in M' such that if xicU Yi and f (xi)eUtm with ia( 1,. ,t) then Yi i i for ,(xi)+Vmf(xi) 1 W,(U',) hi ( m i l Xi)=amp m(Xi)a; Q',f(xi)mjQ Yi Yi Yi Yi Yi Yi (y) =m! +mi (y)+. .+mi (y, ,y) for every every mjeM1, where lo 1 r YGR" (where m!=(m' ,m! ) ) 1 i, 1 lr
.. .
~
..
mi , m i ,...
Indeed, since
.
...
.
m(U ), is a bounded set, there exists an Yi Yi and open neighbourhood M1 of 0 in MI such that for every m'EM1 j j Q
Openness and Density of the Transversality
557
,
every xeU Yi
Then it suffices to take MI=() M1 j=1 j
.
and%f(x)cU'm for some ie(1, if xeU Yi Yi otherwise
(ptm)-'Ai(m;,x)
It is clear that p(m;,
...,m;)
...,t)
is a
map of class p and p is t well-defined. Then p is CP-representation since e :MlxX+X' is a P t p-r (X,Jr(X,X')) map of class p. Hence jr(p):M1+C is a Fr-representation.
Let us consider 1 &=-min(D(supp(a; 2
and M=(m 'E
/Um'p
i) ,R nt-P'~(U'~)), D(plmpibt-* Y m,Rn'-Aii), lsist) Y Yi Yi Yi
m(~e)ll<~ YL
for every x e d with ye l*t )
L m(x)~supp(am), YL
(p
Then M is an open set of MI that contains the point 0.
For every every
(m;,
i put Vi=f-1 (U',)n(p -1 m(Am). Then for Yi Yi t we have m;,yl, ...,yt) EM x[(Vlx xVt)nX (t)]
k(1,
...,
...,t)
...
558
C h a p t e r 11
Now we consider the following commutative diagram
x...xf;(Rn,R
n' )x
...xp m(Vt)Xp'm(U'm)xf(R yt
where
and tm :p m(Vi)+p'm(U'm) i Yi Yi Yi =p',p(ml
,...,mt)p -1,(y)
Yt
n ,R n' )x
...xfi(Rn,R n' ) ,
yt
is defined by tm (y)=mi(y)+p',fp-;(y)= i Yi Yi for every
ia(1,
...,t).
Yi Yi Then the map xp ii:Mttxcp (v1 ) x (V1) xRn 'x l (R" ,Rn' ) x x2; (R" ,R" ' ) x (vt ) +p Y1 Yt Y1 x.. .xp m(Vt)~Rn'xf(Rn,R n' )x.. .xfs(R r n ,R n' ) , defined similarly to h
...
...
.
Yt is a diffeomorphism of class p-r. Thus h is a diffeomorphism from xp m(Vt) onto its image and therefore H is a Mtxp ,(V1)x Y1 Yt diffeomorphism onto its image.
...
Since Y is a totally neat submanifold, a(Y)=Yna(X) and if xaBk(X)nY, then TxBk(X)+Tx(Y)=Tx(X), we have that H,+,Fi. Using the Abraham parametrized theorem of density of the transversality, we have that M-*=((m, mt)€Mt/H(ml, mtl...
...,
m'
. ..
...,
..
t/j rp(ml,. ,mt)(t),+,F:) (m,, ,mt)E~ is residual (hence dense) in Mt Thus there exists a sequence ((mip,. ,mCp)) of elements of M-* that converges to 5 m' =(
..
.
Openness and Density of the Transversality
559
.
and therefore p ( m i P I . . ,m&p)+p(b)=f in the topology TW(plr+s) of cp(X,Xl). Indeed, by the properties of the Whitney topology it suffices to see that:
2)
If
d
is
a
metric
in
Jr+s (XIXI)I
then
But 1) is trivial from the definition of p , so let us see 2). The map :MtxX+Jr+S (X,X' ) r+s j (PI is a continuous map and therefore jr+s(p) :Mt+c p-(r+s) (x,Jr+s(X,X') ) is also continuous with the compact-open topology. Thus jr+sp (m,P, ,mip) converges to jr+s (f) Since the compact-open
...
.
topology describes the uniform convergence over compact sets, we can easily prove 2). Then K=(geCp(X,X,)/(jr(g)) (t) AT:) is dense in cP(x,x~) with the topology TW(plr+s). Finally KcT(r;m;kl, kt;il, it) and (gd2P(X,Xl)/(jr(g)) (t) h Y ) is residual in Cp(X,Xl) with the topology TW(p,r+s) .o
...,
...,
11.3. Whitney Immersion Theorems
Let X,X' be manifolds of class peOYu(m). We want to prove that if dim(X') is sufficiently large, then Imp(X,Xt) is dense in Cp(X,Xt) with the Whitney topology. Definition 11.3.1 Let
X,Xt
be
manifolds
of
class
pdNu(m).
Suppose
that
Chapter 11
560
dimx(X)=naH for every xtX and dimX,(X')=n'aH for every x'EX'. 1 every jsJ (X,X') consider the continuous linear map
(x')
Ts(j) (j):Ts(j) (')jTb(j)
For
I
Then a ) The rank of T (j) vill be called rank of j and s(j) denoted r(j).
b) The number min(n,n')-r(j) denoted by cor(j).
If q=min(n,n'),
will be called corank of j and
qrcor(j)zO for every jEJ1 (X,X').
c) For every raN vith Osrsq, the set (jsJL(X,Xt)/cor(j)=r) vill be denoted by Sr.
..
It is clear that the family ( S o , . , S ) is a partition of q J 1 (X,X'). These sets will be useful to study immersions. Proposition 11.3.2 Let X,X' be manifolds of class pt#u(m) and f:X+X' a map of class p. Suppose that dimx(X)=naH for every xaX, dimx,(X')=n' for every x'EX', n=m' and ~(X')=$I.Then the folloving statements are equivalent: a)
f is an immersion of class p.
1 q b) (j (f)) (X)n( \J Sr)=r$, vhere q=min(n,n').
r=l
Proof By 3.2.6, the map f:X-+X' is an immersion of class p if and only if Tx(f) is injective for every xsX. 1 a)+b) If there is XEX and rrl such that jx(f)tSr, then 1 r ( jx (f)) =dim(Tx (f)) (Tx(X)) =min (n,n' ) -rcn. Thus Tx (f) is not
Openness and Density of the Transversality
561
injective and f is not an immersion, which is a contradiction. b)+a)If
f is not an immersion, there is XEX such that 1 1 q Thus cor(jx(f))zl and (j (f)) (X)n( [J Sr)*#' which is r(jx(f))
be a nxn'-matrix
of real numbers, vhere A is an
invertible kxk-matrix. Then r(S)=k if and only if D=CA-lB.o Proposition 11.3.4 Let V,V' be real linear spaces vith dim(V)=n and dim(V')=n', q=min{n,nt) and Lr(VIV~)=(ue2(V,Vt)/cor(u)=r). Then Jer(V,V') is a submanifold of class w of Je(V,V') vithout boundary vhose codimension is (n-q+r) (n'-q+r). Proof Let SEL?~(V,V') and k=q-r. Taking suitable bases of V and V', we can suppose that S= I where A is a invertible kxk-matrix. Then there exists an open neighbourhood U of S in Je(V,V') such ' that if S'EU, then S ' s [ t , ' B DI) where A' is an invertible kxk-matrix.
(" "1
Consider the map of class w I f:U+!t(Rn-klRn'-k) I defined by f(Sr)=Dt-C'Al-lBt. Then f is a submersion of class w since for fixed AI1,Bn and Ctl, the map g:L(Rn-k,Rn'-k ) 4 (k'nRI I defined by g(D)=D-C1sA1q-lB1l is a diffeomorphism of class 00. Then by the preceding lemma, f-'(0)=Jer(V,V')nU and therefore Lr(V,V')nU is a submanifold of U without boundary whose codimension is equal to
562
Chapter 11
dim( 2 (Rn'k,
Rn"k)
) = (n-k) ( n ' - k ) = (n-q+r) (n'-q+r)
.
Proposition 11.3.5
Let X,X' be manifolds of class pfP(u(m) and rr(0,. ,q=min(n,n') ) . Suppose t h a t dimx(X)=nEH f o r every XEX, f o r every x'EX' and ZJ(X')=#. Then Sr is a t o t a l l y dimX,(X')=n'rH neat submanifold o f class p-1 o f J1(X,Xl) w i t h constant codimension equal t o (n-q+r) (n'-q+r).
..
Proof Let c=(U,p,(Rn,A)) be a X', and dz'=(J1(U,U')
of
chart ,TI:',
of X I c'=(U',p',Rn') (RnxRn'x2(R nXRn' ) ,Ap1))
associated chart of (SrhJ1(U,U') )=p(U)xp' (u~)xzr(Rn,Rn') . o
J1(X,X').
one the Then
7rz'
ProDosition 11.3.6 X,X' be manifolds o f c l a s s pdNu(m). Suppose t h a t dimx(X)=nrN f o r every XEX, dimx, (X')=n'EtN f o r every x'EX' I ZJ(X')=# and nsn'.
Let
Then ImP(X,X') (see
i s open in Cp(X,X#) w i t h t h e topology TW(p,l)
9.5.2. b)).
Proof By 11.3.5, S o is open in J 1 (X,X') and by 9.3.4, open in TW(p,l). Moreover, by 11.3.2, M(S,)=ImP(X,Xt) .o
M(SO) is
Theorem 11.3.7 Whitney Immersion Theorem)
Let X,X' be second countable Hausdorf manifolds of c l a s s and SEN w i t h ssp-1 and p>l. Suppose t h a t dimx(X)=n& f o r every XEX, dimX,(X')=n'cH f o r every x'EX', a(X')=# and n'z2n. Then: pd"(m)
Openness and Density of the Transversality a) ImP(X,X')
563
is open and dense in Cp(X,Xr) vith the topology
TW(P,S+U b) ImP(X,X')C=(f:X-tX'/f is a closed immersion of class p ) is open and dense in PropP(X,Xt) with the topology TW(p,s+l). Hence, if X is compact, ImP(X,X')c is open and dense in Cp(X,Xr) vith the topology TW(p,s+l) and if XI is not compact space, then there exists a closed immersion g:X+X'.
Proof a) ImP(X,X') is open since it is open in the topology TW(pI1). For every re( 1,. ,q=min(n,n') ) , Sr is a totally neat submanifold of class p-1 of J 1 (X,X') with constant codimension h=(n-q+r) (n'-q+r). Since n'rln, then q=n and k=n+l. Thus j1 (f) is 1 transversal to Sr if and only if (j (f)) (X)nSr=# since for every
..
transversality theorem, Sr )= ( fECP (X,X ) / j ( f) (X)nSr=#) is a Tr= ( fcCP (x,XI ) / j1 ( f) residual set in Cp(X,X') with the topology TW(p,s+l). Again by
+
I
11.3.2,
we have
c1
(1
Tr=Imp(X,Xt) and therefore ImP(X,X')
r=l
is a
residual set (hence a dense set) in (Cp(X,X') ,TW(p,s+l)) . I
b) The set PropP(X,X') is open in the topology TW(p,s+l). If X is compact, PropP(X,X')=CP(X,X,) and if XI is not compact space, then PropP(X,X')*#. Thus b) is an easy consequence of a) .a Theorem 11.3.8 Let X,Xt be second countable Hausdorff manifolds of c l a s s for every XEX, dimx,(X')=n#cPl for every XIEX', a(x')=# and n'r2n+l. Let s be an integer and suppose lssrp-1 Then Imp(XIXI ) in is residual (hence dense) in Cp(X,XI) vith the topology TW(p,s).
p~Plv(m). Suppose that dimx(X)=naA
.
.
Chapter 11
564
Proof Since Imp(X,X') is open and dense, it suffices to prove that H=(fcCP(X,X')/f is injective) is residual. Note that f:X+X' is injective if and only if the image of the map (jo(f)) (2):X(2)+Jo(X,X') (2) and the set Y = ( b 2 ) -1 (A')ftJo(X,X') (2) are disjoint. On the other hand Y is a totally neat submanifold of class p of Jo(X,X0)(2) whose codimension is equal to dim(X') since bxb is a submersion. Hence, as n'>2n=dim(X(2)), (jo(f)) (2)h Y if and only if (jo(f))(2)(X(2))nY=$. By the theorem of density of the transversality for multijets (11.2.2), we have that H=(f&p(X,Xt)/(jo(f)) (2) A Y ) is residual in Cp(X,Xt) with the
toPology TW(P,S) .o Corollary 11.3.9
(Whitney Embedding Theorem)
With the same hypotheses of the preceding theorem, the set Emb:(X,X')=A is dense in PropP(X,X')=B vith the topology TW(p,s) Hence :
.
a ) If X is compact, then A is dense in Cp(X,X')
vith the
topology TW(P,S). b) If X' f :X+X'.
is not compact, there exists a closed embedding
Proof It suffices to remark that B is open in Cp(X,X') topology Tw(p,s) and BnImp(X,Xt)injec.=A. Then if X is compact, PropP(X,X')=CP(X,X') compact, PropP (x,x' *$. o
with the
and if X'
is not
Openness and Density of the Transversality
565
Corollary 11.3.10
Let X be a second countable Hausdorff manifold of class Then there exist a peWu(co) such that dimx(X)=n for every xeX. closed immersion f:X+R2n of class p, an injective immersion g:X+R2n+1 of class p and a closed embedding h:X+R"+l of class p. Proof It follows from 11.3.7,
11.3.8
and 11.3.9.0
11.4. Morse Functions Let X be a manifold of class peWu(m) with dimx(X)=ncH for every xeX. As we have seen in the preceding paragraph, 1 1 J (X,R)=SOuS1 and Sons1=#, where So=( jeJ (X,R)/cor(j)=O) and 1
Sl=(jEJ (X,R)/cor(j)=l). By 11.3.5, we know that So and S1 are totally neat submanifolds of class p-1 of J 1 (X,R) with constant codimension 0 and n respectively. Hence So is open and S1 is closed in J 1 (X,R). Moreover XCX is a critical point of f (8.3) if 1 and only if Tx(f)=O, which is equivalent to jx(f)eS1. Definition 11.4.1
Let X be a manifold of class peNu(o0) with dimx(X)=neN for every XEX and f:X+R a function of class p. Then: a) A critical point xeX of f is called non degenerated if jl(f) rtlXs1.
b) If all critical points of f are non degenerated, f is called Uorse function.
is a injective map, c) If f is a Uorse function and f p f ) where C(f) is the set of critical points of f, f is called excellent Uorse function.
Chapter 11
566
Proposition 11.4.2 Let X be a second countable Hausdorff manifold of class peNu(m) vith p>l and dimx(X)=neH for every xaX and let s be an integer with lsssp-1. Then M=(feCP(X,R)/f is a Morse function) is residual (hence dense) in Cp(X,R) vith the topology TW(p,s+l). Proof It follows from 11.4.1 and 11.1.5.0 Proposition 11.4.3 With the same hypotheses of the preceding proposition, the set ME=( fECP(X,R)/f is an excellent Morse function) is residual (hence dense) in Cp(X,R) vith the topology Tw(p,s+l). Proof Consider Y=(SlxSl)M1(X,R) (2)n(b2)-1(A), where A is the diagonal of RxR. Then Y is a totally neat submanifold of class p-1 of J 1 (X,R)(2) and codim(Y)=2n+l. Indeed, if c=(U,'p,(R",h)) is a chart of X, c'=(R,lR,R) the natural chart of R and C' c' 1 (RnxRxl(Rn,R) ,hop1)) the associated chart of dc =(J (U,R),nc , J 1 (X,R), then C' nc (J 1 (U,R) ) =(p (U)XRXL(R", R) ,
[ 'p (U)x'p
i
*
(U)-A 3 x (RxR) XL(R", R ) x!t (R", R)
c' c' * and (nc xnc ) ( (J1( U , R ) xJ1 (U,R)) nY)= [ 'p (U)x'p (U)-A JxAx(5). Thus by 11.2.2, H=(f&p(X,R)/(jl(f)) (2) h Y ) is residual in Cp(X,R) with the topology TW(p,s+l). On the other hand H=(feCp(X,R)/(jl(f)) (2) (X(2))nY=r$). Whence, by the preceding proposition ME=MnH is residual in Cp (X,R ) with the topology TW(P,S+1) . O
Openness and Density of the Transversality
567
Lemma 11.4.4
Let U be an open set of a quadrant (Wn + of class peNu(m) and xeU a critical point folloving statements are equivalent: a)
a function
f:U*
of
f.
Then the
x is non degenerated.
b) x d n t ( U ) and H(f) (x)= Proof
f3 :'J (U,OR) +UxRxJe (R",W) defined by The map 1 f3(jy(g))=(ylg(y),Dg(y)) is a diffeomorphism of class m. Clearly f3 ( S1)=UxRx (3)and f3 ( S o ) =UxRx ( 2 (W", IR) (5) )
-
a)+b)
From
a) I
it
follows
.
[f3o(j'(f))]
(x)=(x,f(x) , O )
and
and, since D(f30(jL(f))(y)(u)=(u,Df(y) (u),DLf(y) (u)), we conclude
b)+a) Clearly we can read backwards the proof of a)+b).o Proposition 11.4.5
Let X be a manifold of class p I f : X 4 a function of class p and XCX a critical point of f. Then there exists a unique continuous bilinear symmetric form H(f) (XI :Tx(X)xTx(X)* such that for every chart c=(U,p,(E,h)) of X vith XCU, H(f) (x)=D2(fpm1)(p(x))o(e~)-lx(e~)-l. This form H(f) (x) vill be called the Hessian of f at x. Proof It follows easily from the chain ru1e.o
Chapter 11
568 Proposition 11.4.6
Let X be a Hausdorff manifold of class pePlw(ca) with dim,(X)-ncH for every XEX, f:X+R a function of class p and XCX a critical point of f. Then the following statements are equivalent: a) x is non degenerated. b) xrint(X) and H(f)(x) is not degenerated.
Proof It follows from 11.4.4.0 Proposition 11.4.7
Let X be a manifold as in Proposition 11.4.2, f : X 4 a function of class p and xaX a non degenerated critical point of f. Then there exists a neighbourhood Vx of x such that VXnC(f)=(x). Proof By 11.4.6, xeint(X). Since j 1 (f)h x S I I there exists a for neighbourhood # of x with Wxcint(X) such that jl(f) h , , S , X A every ye#. Then, since codim(S1)=n, by 7.1.12 we have that (j ( f) ) (S1)nWx is a submanifold without boundary of Wx whose codimension is 0.
-'
Therefore (j ( f) )
-' ( S1)nWx is a discrete
subspace of Wx.
Local Structure of Morse Functions Let E , E ' be real Banach spaces and $ : E ' x E 4 a continuous bilinear map. We say that E , E ' are in separated duality through 4 if the following conditions hold: a) For 4 (x' ,x) +o.
every
xrE-(0),
there
exists
x'EE'
such
that
Openness and Density of the Transversality b)
For
every
x'EE'-(O),
there
exists
x%E
569
such
that
$ (x' ,x)+o.
Notice that condition a) (respectively condition b)) equivalent to the following condition: a')
The continuous linear map d E+Y(E',R)=E' 4: d (x)=$(.,x) is injective.
*
is
defined by
$
(respectively:
S
9
b') The continuous linear map (x')=t$(x', .) is injective).
S
0
:E'+L!(E,R)=E
*
defined by
To mean that E,E' are in separated duality through $ we will
Put (E,E',#) Consider the sets
rs (EI E '
=(As2 (E,E' 1 /$ (A(XI ,Y 1 =o (A(Y1 I x) for every x, YGE and &(E,E' ,$)=( (u,u')%Y(E,E) xY(E' ,E')/$ (x' ,u(x)) =# (u' (x') ,x)) It can be easily proved that Ys(E,E',$) and G(E,E',$) are closed linear subspaces and therefore real Banach spaces. I $ )
Lemma 11.4.8
.
([AN])
Let A%Ys(E,Ef,$) be a linear homeomorphism from E onto E'. defined by Then the map of class m, u:6(E,E1,r$)+Ys(E,E',$) u(u,u')=u'oA'ou admits a local section at A of class 03, ((T,(T'), such that cr(A)=lE and Q ' (A)=lE,. Proof First note that a is well defined.
Then, since a is a
continuous bilinear map I Da ( lE, lE, ) (U,U' ) =a ( lE,u' ) +a (u,lE, ) =u' oA+Aou. Clearly, the continuous linear map h:Xs(E,E',$)+&(E,E',$) defined by 1 -1 1 -1 h(B)=(zA B , p A ) is a section of u=Da(lE,lE,). Hence G (E,E' ,4) =ink( A ) eTker ( M ) and h(2A)=(lE,lE,)drn(h). Now
Chapter 11
570
consider
l'(
Since D im(A)) ( ' E 'E 1 ) = ' 1 im(A) is a linear homeomorphism, by the inverse mapping theorem; -there exist an open neighbourhood V of u
I im(A) :im(A)+t?s(EIEf, # ) .
(lEllEf)in im(A) and an open neighbourhood W of A in Jes(E,E',#) such that ulv:V+W is a diffeomorphism of class a. Finally take
Let (E,E',#) be two Banach spaces in separated duality, U an open set of E and f : U 4 a map of class rtl. We say that f is a functional of class r if there exists a map of class r-1, D'f:U+E' such that Df=S OD'f.
#
If U is a convex neighbourhood of 0 and rt2, we have that f'D (x)=D(S40Dff)=S40D(D'f) (x) for every xeU and by the Taylor formula we get I
f(x)=f(O)+Df(O) (x)+J (I-t) .D2f(tx) (x,x)dt= l o
=f(O)+Df(O) (x)+s#o[J (1-t)D(D'f) (tx)dt](x,x). Thus
for
A(x)=[
1 0
each
0
XEU,
f(x)=f(O)+Df(O) (x)+#(A(x) (x),x),
(1-t)D(Dff) (tx)dt is an element of t?(E,E').
map A:U+Xs(E,E',#)
where
Moreover the
defined by x ~ A ( x )is of class r-2.
Proposition 11.4.9 Let us be given (EfE'l#)f a convex open set U of E with OEU and a functional f:UM of class r+2~3. Suppose that Df(O)=O and D(D'f)(O) is a linear homeomorphism from E onto E'.Then there are open neighbourhoods V,W of 0 in E with WcU and a diffeomorphism 1 2f(0) (x,x) for every h:V+W such t h a t h(O)=O and fh(x)=f(O)+ ZD
xcv
.
Proof Using
1 (1-t)D(D'f) (o)dt-TD(D'f)
J; over
A(O)=
the
E Ef. Thus a:€(E,E',#)+t?s(E,E',#)
preceding
notat ions,
(0) is a linear homeomorphism from
a, by 11.4.8 the map of class admits a local section (ole') of class co
Openness and Density of the Transversality
571
at A(0) such that u(A(0))=lE and u'(A(0))=lE,. Let G be the range By of (u,u'). Then for every BEG, B=ao(u,u') (B)=u'(B)oA(O)oo(B). the continuity of A, there exists an open neighbourhood U' of 0 in U such that A(U')cG. Define two maps of class r, u:U'+Z(E,E) and u':U'+Y(E',E') defined by u(x)=u(A(x)) and u'(x)=u'(A(x)). 1 (x)oD(D'f) (0)a(x) and therefore For every XEU', A(x)=p' f(x)=f(O)+#(A(x) (x),x)=f(O)+ i#([u'(x)D(D'f) (O)ou(X)] (x),x)= =f(O)+ A[S D(D'f) (O)U(X) (x)](u(x)(x))= 2 4 =f ( O ) + iD2f(0) (u(x)(x),u(x)(x)). To end the proof it suffices to see that the map k:U'+E' defined by k(x)=u(x) (x) is a local diffeomorphism of class r at ON'. Indeed, once we know this, we take as h the local inverse of k in a neighbourhood of O=k(O). But for XEU' and yaE we have Dk(x) (y)=u(x) (y)+Du(x) (y)(x) and therefore Dk(0) (y)=u(O) (y)=u(A(O)) (y)=y. Thus Dk(0) is the identity and the result follows from the inverse mapping theorem. Given a real Banach space F and a continuous bilinear map A:FxF+R, we introduce the following notations:
to F
*
a) We say that A is not degenerated if the linear map from F defined by VHA(V,.) is a linear homeomorphism.
b) We say that A is a negative defined continuous bilinear map on H, where H is a linear subspace of F, if there exists 00 2 for every UEH. such that A(u,u)a-c~~u~ c) Sup(dim(H)/H is a linear subspace of F and A is a negative defined continuous bilinear map over H) is called the index of A . The index of ( - A ) is called coindex of A .
Chapter 11
572 Definition 11.4.10
Let X be a manifold of class pz2 and f:Xa a map of class p. a) We say that xOsX is a critical point of f if Tx (f)=O. 0
Othervise ve say that xo is a regular point of f.
b) Suppose that xo is a critical point of f. Then ve call of f at xo the unique continuous bilinear map
Hessian
such HXO HXO
xo
(f)=D2(fp-l) (p(xo))o(ec
xo -1
xec
that
for every chart c=(u,p, ( F , A ) )
of X with x O N . c) We say that xo is a non-degenerated critical point of f if it is a critical point and H (f) is non-degenerated. In this xO
case the index (coindex) of Hx (f) vill be called index (coindex) 0
of f at xo and it vill be denoted by ind, Proposition 11.4.11
0
(f), (coindx (f)). 0
(Morse Lemma)
Let X be a manifold of class p+2z3, f:Xa a map of class p+2 and xosint(X) Then:
.
I) If xo is a regular point of f. a) There exists a chart c=(U,p,E) of class p+2 of X with -1 xOsU and p(xo)=O such that fp (x)=f (x,)+D(fp-l) (0)(x) for every xecp(U) * (X)=n, there exists a chart c=(U,p,Rn) of class xO p+2 of X with xOeU and p(xo)=O such that fp-'(x)=f(x0)+xl for every x=(xl, xn)€p(U).
b) If dim
...,
11) If xo is a nondegenerated critical point of f:
Openness and Density of the Transversality
573
a) There exists a chart c=(U,p,F) of class p of X with xOeU and p(xo)=O such that fp-l(x)=f (xo)+ p ( f p - 1 ) (0)(x,x) for every xep(U)
.
b) If dimx (X)=n, there exists a chart c=(U,p,Rn) of class p 0
of
X
XOEU and cp(x0)=O such -1 2 2 2 xn )'f(XO)+X1+ 2 ...+Xu-Xu+2-...-x for fp (xl, n ( xl, ,xn)E(P(U), where u=coind ( f) and n-u=indx ( f) xO 0
.. .
with
...,
Proof
I) follows from 4.2.10, 11) from 11.4.9.0
.
that every
This Page Intentionally Left Blank
575
BIBLIOGRAPHY
[A.11
ABRAHAM, R.: Lectures of Smale on Differential Topology. Columbia University, New York 1962.
[A021
ABRAHAM, R.: Transversality in Manifolds of Mappings. Bull. Amer. Math. SOC. V. 69, 1963, 470-474.
[A-RI
ABRAHAM, R.-ROBBIN, J.:Transversal Mappings and Flovs. W.A. Benjamin, New York 1967.
r ALI
ALEXANDER LEES, J.: Notes on Bundle Theory. Lectures Notes Series, n. 42. Aarhus Universitet, 1974.
[A”]
ANTOINE, P.: Lemme de Morse et calcul des variations. Bull. SOC. Mat. de France, Memoire 60, 25-29, 1979.
[A-M-0-PI
ARMAS,
S.-MARGALEF,
J.-OUTERELO,
E.-PADRON,
E.:
Embedding of a Urysohm Differentiable Manifold vith Corners in a Real Banach Space. Winter School on Geometry (Czechoslovak). January, 1991. B-G 1
r B-PI
and
Physics,
Srni
BERGER, M.-GOSTIAUX, B.: Geometrie diffdrentielle. Armand Collin, Paris 1972. BESSAGA, A.-
PELCZYNSKI: Selected Topics in Infinite
Dimensional Topology. Polish Scientific Publishers, Warszawa 1975. [B-F.11
BONIC, R.-FRAMPTON,
J.:
Differentiable Functions on
Certain Banach Spaces. Bull. Amer. Math. SOC. 71, 1965, 393-395. [B-F.21
BONIC, R.-FRAMPTON,
J.:
Smooth Functions on Banach
Hanif ol ds. J. of Math. and Mechanics, 15, 1966, 877-898.
Bibliography BORISOVICH, Y.G.-ZVYAGIN, V.G.-SAPRONOV, Y.1: Non-linear Fredholm Maps and the Leray-Schauder Theory. Russian Math. Surveys, 32:4, 1977, 1-54. BOURBAKI, N.: Algebre I, Chaitres 1 a 3. Hermann, Paris 1970. BOURBAKI, N. : Espaces Chapitres 1 a 5. Masson, Paris 1981.
vectoriels
topologiques.
BOURBAKI, N.: VariCtCs diffkrentielles et analytiques. Fascicule de resultats S1 a $15. Hermann, Paris 1967, 1971. BRICKELL, F.-CLARK, R.S. : Differentiable Manifolds. An Introduction. Van Nostrand Reinhold Company, London 1970. BROCKER, T. : Differentiable Germs and Catastrophes. London Math. SOC. Lect. Notes Series, 17. Cambridge Univ. Press, Cambridge 1975. BROCKER, J.-JANICH,K.:Introducci6n diferencial. Editorial A.C. Madrid 1977.
a
la
tropologla
CARTAN, H.: Cours de calcul diffbrentiel. Hermann, Paris 1977. CERF, J. : Topologie de certains espaces P1 ongements Bull. SOC. Math. France, T. 89, P. 1961, 227-380.
de
CHAPERON , M. : GComtt ri e differentielle singularitiCs de Systtmes Dynamiques. AstBrisque, 138-139, 1986.
et
.
Bibliography
577
r CHI
CHILLINGWORTH, D.R.J.: Differential Topology with a View to Applications. Pitman Publishing, London 1976.
[C-FI
CONNER, P.E.-FLOYD, E.E.: Dfferentiable Periodic Maps. Springer-Verlag, Berlin, 1964.
[COI
CONNER, P.E.: Differentiable Periodic Maps (Second Edition). Lect. Notes in Math. 738. Springer-Verlag, Berlin, 1979.
[Dl
DIEUDONNE, J.: Eldments D’analyse I-IX. Gautiers-Villars, Paris 1971, 74, 74, 71, 75, 75, 78, 78, 82.
[DO1
DONALDSON, S. : An Application of Gauge Theory to Four Dimensional Topology. J. Differential Geometry, 18, 1983, 279-315.
r mu1
DOUADY, A.: Le probleme des modules pour les sous-espaces analytiques compacts d’un space analytique donne. Ann. Inst. Fourier, Grenoble, 16, 1966, 1-95.
r D-HI
DOUADY, A.-HERAULT, L.: Arrondissement des variCtCs a coins. (appendice A: A. Borel, J. P. Serre; corners and Aritmetic Groups), Comm. Math. Helv. 48, 1973, 484-4531.
[D-N-F.11
DOUBROVINE, B.-NOVIKOV,S.-FOMENK0,A.: Gdomdtrie Contemporaine. Mdthodes et Applications. Premiere partie et Deuxieme partie. Editions Mir, MOSCOU, 1982.
578
Bibl iography
[ D-N-F .2 ]
DOUBROVINE, B.-NOVIKOV,S.-FOMENK0,A.: Geometria Moderna. M6todos de la teorfa de homologias. Editorial Mir, Moscu 1987.
[DUI
DUGUNINI, J.: Topology. Allyn and Bacon, Boston 1966.
[El
EELLS, J.: A Setting for Global Analysis. Bull. Amer. Math. SOC. 72, 1966, 751-807.
[E-KI
EELLS, J.-KUIPER, N. : An Invariant for Certain Smooth Man1folds. Annali Math. Ital. V.60, 93-110, 1962.
[F-KI
FROLICHER, A. -KRIEGL, A. : Linear Differentiation Theory. John Wiley & Sons, New York 1988.
[GI
GAULD, D.B.: Differential Topology. An introduction. Marcel Dekker, New York 1982.
[GI1
GIBSON, C.G.: Singular points of smooth mappings. Pitman, London 1979.
[GLI
GLAESER, G.: Etude de quelques algebres Tayloriennes. J. Anal. Math. 11, 1958, 1-118.
Spaces
G-G 1
GOLUBITSKY, M.-GUILLEMIN, V.: Stable Mappings Their Singularities. Springer-Verlag, GTM 14, New York 1973.
[G-PI
GUILLEMIN, V.-POLLACK, A.: Differential Topology. Prentice Hall, New Jersey, 1974.
[HI
HIRSCH, M.W.: Differential Topology. Springer-Verlag GTM 33, New York, 1976.
and
and
Bib1iography
579
The Topological Degree on Banach ISNARD, C.A.S.: Manif ol ds. Global Analysis and its Applications (Inter. Summer Course, Trieste 1972), V01.2, IAEA, Vienna 1974, 291-313. KAHN, D.W.: Introduction to Global Analysis. Academic Press, New York 1980.
KERVAIRE, M.: A Manifold vhich does not Admit any Differentiable Structure. Coment. Math. Helv., 34, 1960, 304-312. KIRBY,
R. -SIEBE",
L. :
Foundational
Essays
on
Topological Manifolds. Annals of Math. Studies, n. 88. Princeton Univ. Press, Princeton 1977. KLEE, V. L. : Convex Bodies and Periodic Homeomorphisms
in Hilbert Spaces. Trans. Amer. Math. SOC., 74, 1953, 10-43. KNESER, M.: Abha'ngigkeit Yon funktionen. Math. Z., 54, 1951, 34-51. KOSCHORKE, U.: Infinite Dimensional K-Theory and Characteristic Classes of Fredholm Bundle Maps. Proc. of Symposia in Pure Math. V. XV, h e r . Math. SOC., Providence 1970, 95-133. KUPKA, I.: Counterexample to the Morse-Sard Theorem in
the Case of Infinite Dimensional Manifolds. Proc. Amer. Math. SOC. 16, 1965, 954-957. LANG, S. : Differential Manifolds. Addison-Wesley, 1972.
Bibliography
580 [LA1
F.: Topologie de homotopie et isotopie. Asterisque, V. 12, 1974.
[LEI
LEVINE,
LAUDENBACH,
H.I. :
la
Singularities
dimension
of
trois,
Differentiable
Mappings. In Proceedings of Liverpool Singularities Symposium I, ed. C.T.C. Wall, pp. 1-89. Springer-Verlag, New York 1970. [LII
LIMA, E.L.: IntroduCao d Topologia Diferencial. Notas de Matematica n. 23. Instituto de Matematica Pura e Aplicada, Rio
de
Janeiro, 1961. [MI
MALGRANGE, B.: Ideals of Differentiables Functions. Oxford University Press, Oxford 1966.
[M.O.Pa]
On Submersions Preserving the Boundary and Quotient Manifolds. MARGALEF, J.-OUTERELO, E.-PADRON,
E.:
Proc. International Conference, Brno (Csechoslovakia) 1989. Edited by J. JanySka-D. Krupka, p. 119-128, World Scientific (1990)
.
[M.O.P.]
MARGALEF, J.-OUTERELO, E.-PINILLA, J.L. : Topologfa, I-v. Alhambra, Madrid 1975, 79, 79, 80 and 1982.
[M.0.1]
MARGALEF, J.-OUTERELO, E. : Una variedad diferenciable de dimensidn infinita, separada y no regular. Rev. Mat. Hisp.-Am, IV,V.42, 1982, 51-55.
[M.O. 21
MARGALEF, J. -OUTERELO, E. : Un Teorema de extensidn de Whitney en dimensidn infinita y clase p . Rev. Mat. Hisp-Am., IV, V. 42, 1982, 159-178.
Bibliography [M.0.3]
MARGALEF,
J.-OUTERELO,
58 1 E.:
Singularidades
de
aplicaciones dif erenciables. C.S.I.C.
(Instituto Jorge Juan de Matematicas). 1978.
[M.0.4]
J.-OUTERELO, E.: Yariedades cociente de variedades con borde anguloso. Teorema de existencia. Rev. Real Acad. Ciencias Exactas, Fisicas y Naturales, Madrid, T. LXXX, 1986, 581-592.
[M.0.5]
MARGALEF, J.-OUTERELO, E.: Un teorema de densidad parametrizado para variedades con borde anguloso. Actas de las X Jornadas Matematicas Hispano-Lusas,
MARGALEF,
Murcia, enero 1985, 23-32. [M.0.6]
Funcibn implfcita en variedades con borde anguloso. Inmersibn de una variedad compacta en R 2n+l.
MARGALEF,
J.-OUTERELO,
E.:
Contribuciones matematicas en honor de D. Botella Raduan. Edit. Univ. Complutense, Madrid 1986. [M.O. 71
Francisco
MARGALEF, J.-OUTERELO, E.: Density of the Transversality
of Manifolds with Corners. Collectanea Math., V. XXXVII, 1986, 277-285. [M.O.8]
Densidad de la J.-OUTEREM, E. : transversalidad en multijets de variedades con borde anguloso. Rev. Real Acad. Ciencias Exactas, Fisicas y Naturales, Madrid, T. LXXXI, 1987, 725-737.
[M.0.9]
MARGALEF, J.-OUTERELO, E.: Topologfa Diferencial.
MARGALEF,
C.S.I.C., [M.0.10]
Madrid 1988.
J.-OUTERELO, E.: Lie Group Actions over Manifolds with Corners. Preprint.
MARGALEF,
582
Bibliography
[MA1
MARTINET, J.: Singularities of Smooth Functions and Maps. London Math. SOC. Lect. Notes Series, 58. Cambridge Univ. Press, Cambridge 1982.
[MAT.11
MATHER, J.N.: Stability of ?-Mapping. Theorem. Annals of Math., V. 87, 1968, 89-104.
[MAT.2]
MATHER, J.N. : Stability of ?-Mappings: Infinitesimal Stability Implies Stability. Annals of Math. V.89, 1969, 254-291.
[MAT.31
MATHER, J.N. : Stability of Cm-Mappings: III. Finitely determined map germs. Publ. Math. I.H.E.S. 35, 1968, 127-156.
[MAT.4]
MATHER, J.N. : Stability of Cm-Mappings: Classification of Stable Germs by R-Algebras. Publ. Math. I.H.E.S. 37, 1969, 223-248.
IV.
[MAT.5]
MATHER, J.N.: Stability of ?-Mappings: Transversality. Advances in Math. V.4, n.3, 1970, 301-336.
V.
[MAT.61
MATHER, J.N.: Stability of ?-Mappings: VI. The Nice Dimensions. Liverpool Singularities I, 207-253, Lect. Notes in Math. 192, Springer Verlag, 1971.
[MAT.7]
MATHER, J.N.: Notes on Topological Stability. Harvard University, 1970.
[MI1
MICHOR, P.W.: Manifolds of Differentiable Mappings. Shiva Math. Series, 3, 1980.
I. The Division
71.
Bibliography
583
[MIL.11
MILNOR, J. : On Uanifolds Homeomorphic to the Seven Sphere. Ann. of Math. 64, 1956, 399-405.
[MIL.2]
MILNOR, J.: Differential Topology. Notes by J. Munkres. Princeton University, Fall term 1958.
[MIL.31
MILNOR, J.: Differentiable Structures. Princeton University, Spring 1961.
[MIL.41
MILNOR, J.: Morse Theory. Annals of Math. Studies, 51. Princeton Univ. Press, Princeton, 1963.
[MIL.51
MILNOR, J.: Topology Yi evpoint The Univ. Press of Virginia , 1965.
.
from
the
Virginia.
Differentiable Charlottesville,
[MIL.61
MILNOR, J.:Lectures on the h-Cobordism Theorem. Princeton Univ. Press, Princeton 1965.
[Mu1
MUNKRES, J.W.: Elementary Differential Topology. (Revised Edition). Annals of Math. Studies, 54. Princeton Univ. P.ress, 1966. NARASIMHAN, R.: Analysis on real and complex manif olds. Adv. Studies in Pure Math., Masson, Paris 1968. NIELSEN, L.T.: Transversality and the Inverse Image of a Submanifold with Corners. Math. Scand. 49, 1981, 211-221.
Bibliography
584
[O-RI
OUTERELO, E.-RUIZ SANCHO, J.: Teoria de Morse. Public. Fac. Mat. de la Univ. Complutense. Madrid, 1980.
PALAIS, R.S.: Seminar on the Atiyah-Singer Index Theorem. Annals Math. Studies 57, Princeton Univ. Press, Princeton 1965. PALAIS, R.S.: Homotopy Theory of Infinite Dimensional Manifolds. Topology 5, 1966, 1-16. rp.31
PALAIS, R.S.: Foundations of Analysis. W.A. Benjamin, New York 1968.
Global
Non-Linear
PEARS, A.R.: Dimension Theory of General Spaces. Cambridge Univ. Press, 1975. PONTRYAGIN, L.S. : Smooth Manifolds and Their Applications in Homotopy Theory. Amer. Math. SOC. Translations, Ser. 2, Vol. 11, 1959, 1-114.
[Ql
QUINN, F.: Transversal Approximation on Banach Mani folds. Proc. of Symposia in Pure Math. AMS, V.XV, 1970, 213-222.
QUINN, F.-SARD, A.: Hausdforff Conullity of Critical Images of Fredholm Maps. Amer. J. Math. 94, 1972, 1101-1110. ROHLIN, V.-FUCHS, D. : Premier cours de topologie, chapitres gComttriques. Editions Mir, Moscou 1981.
Bibliography [SI
The Measure Differentiable Maps. SARD,
A.:
of
585
the Critical Values of
Bull. Amer. Math. SOC. V. 48, 1942, 883-890. [SEI
SEELEY, R.T.: Extension of Cw-Functions Defined in a Half Space. Proc. of Amer. Math. SOC., V. 15, 1964, 625-626.
[S.H.C. 13
SEMINAIRE HENRI CARTAN, 14e: Topologie differentielle. 1961/62. Paris 1964.
[S.H.C.2]
SEMINAIRE HENRI CARTAN, 15e: Topologie differentielle. 1962/63. Paris 1964.
Seminario de Topologfa. Volumenes I-XVII. Publicaciones
de
la
Facultad
de
Matematicas
de
la
Univ. Complutense, Madrid 1970-1975.
SERRANO, F.: Topologfa de las graficas en espacios de funciones continuas. Thesis,
Universidad
Complutense
de
Madrid,
Madrid
1987.
SERRE, J.D.: Lie algebras and Lie groups. W.A. Benjamin, New York 1965.
Generalized PoincarC’s Dimensions Greater than Four. Annals of Math. 74, 1961, 391-406. SMALE,
S.:
Conjecture
in
SMALE, S.: On the Structure of Manifolds. Amer. J. Math. 84, 1962, 387-399.
Survey of Some Recent Developments in Differential Topology. SMALE, S.:
A
Bull. Amer. Math. SOC. 69, 1963, 131-145.
Bibliography SMALE, S. :
An infinite-dimensional version of Sard’s
theorem. Am. J. Math. 87, 1965, 862-866.
STERNBERG, S.: Lectures on Differential Geometry. Prentice-Hall, New Jersey 1964. STONG, R.E.: Notes on Cobordism Theory. Princeton Univ. Press, Princeton 1968. THOM, R.: Quelques propi&& globales des varittCs differentiables. Comment. Math. Helv. 28, 1954, 17-86. THOM, R.: Les singularites des different iables. Ann. Inst. Fourier, V . 6 , 1956, 43-87.
applications
THOM, R.: Un lemme sur les different iables. Bol. SOC. Mat. Mexicana, 1, 1956, 59-71.
applications
TORUNZYK, H.: Smooth Partitions of Unity Non-Separable Banach Spa,ces. Studia Mathematica, T. XLVI, 1973, 43-51.
on
Some
TOUGERON, J.C.: Ideaux de fontions differentiables. Ergebnisse der Mathematik 7 1 , Springer-Verlag, New York 1972. WALLACE, A.H.: Differential Topology: First Steps. W.A. Benjamin, London 1968. WEYL, H.: The Concept of a Riemann Surface. Addison-Wesley, 1955 (First Edition: B.G. Verlogsgesellschaft 1913, in German).
Teubner
Bibliography
587
WHITNEY, H.: Analytic Extension of Differentiable Functions Defined on Closed Sets. Trans. Amer. Math. SOC. 36, 1934, 63-89 WHITNEY, H.: A hrnction non Constant on a Connected set of Critical Points. Duke Math. J. 1, 1935, 514-517. WHITNEY, H. : Analytic Extensions of Differentiable hrnctions Defined in Closed Sets. Trans. Amer. Math. SOC. 36, 1936, 63-89. WHITNEY, H. : Differentiable Manifolds. Annals of Math. 37, 1936, 645-680. WHITNEY, H.: The Selfintersections n-Manifold in an-space. Annals of Math. 45, 1944, 220-246.
of
a
Smooth
WHITNEY, H.: The Singularities of a Smooth n-Manifold in (2n-l)-space. Annals of Math. 45, 1944, 247-293.
This Page Intentionally Left Blank
589
INDEX Algebra: 286 Actions of Lie Groups Free: 295 On manifolds: 294, 295 Proper: 295 Transitive: 295 Atlas On a set: 18 Of a manifold: 19 Of class p: 18 Axiom of Hausdorff: 43 Baire space: 44 Banach Algebra: 286 Space: 2 Space of continuous linear maps: 3 Space of continuous multilinear maps: 5 Space of continuous n-linear maps: 6 Banachable space: 6 Basis of the strong topology B s : 436
Bz*:
438
-* * Bs :
438
d t: 442
B*
BZ**:
445
-* ** : Bs
446
Boundary: 28 Boundary of A differentiable manifold: 22, 28 An open set of a quadrant: 23 Boundary Invariance: 25, 38 Brown theorem: 372 Butt map (b): 428
Index
590
Cauchy-Schwarz inequality: 2 Centered chart: 28 Chain rule formula: 430 Change of variable: 87 Characterization of Embeddings: 148 Closed embeddings: 149, 150 Closed submanifolds by embeddings: 150 Immersions: 132, 134, 137, 140 Invertible jets: 519 Local diffeomorphisms: 103 Submanifolds by embeddings: 149 Submanifolds by immersions: 130 Subimmersions: 229, 231, 232, 233, 273, 275, 278 Submersions: 164, 167, 168 Topological spaces that admit differentiable structures: 257, 258, 270
Transversal maps to a submanifold: 313 Chart Adapted: 113, 114 Of a manifold: 19 On a set: 18 Classification of 1-dimensional manifolds: 373 Closed embedding: 149 Codimension of a submanifold at a point: 117 Coincidence of the topologies Tc and Ts: 439 T and Ts: 451 C
TD(p,k) and TW(p,k): 477, 478 TD(m) and TW(m): 491, 492 Ti* and Ts: 441, 442 Coindex of a non-degenerate critical point: 572 Collar neighbourhoods: 259, 263 Compact-open topology: 435 Compact operator: 383 Compatible charts: 18
Index Complete Metric space: 45 Topological linear space: 6 Completely metrizable manifold: 45 Composition of Differentiable maps: 11 Immersions: 142, 143 Fredholm maps: 392 Fredholm operators: 388 Jets: 509, 510 Maps of class p: 37 Submersions: 161 Connected manifolds: 43 Contact of order larger than or equal to k: 427 Continuity of the Evaluation: 513 Composition of maps in TD(p,k): 510 Composition of maps in TW(plk): 512 Fixed point: 107 Continuous Linear maps: 3 Multilinear maps: 5 Convergence of sequences in Ts: 454 TW(plk): 482 TW(m): 495 Converse Taylor theorem: 78, 79 Convolution: 524, 525 Convolution Kernel: 524 Corank of a: Cp-map: 362 Jet: 560 Cotangent space: 180 Covering Dimension: 48 Dimension of differentiable manifolds: 48 Projection: 210 CP-homotopy: 465, 466
59 1
592
Index
CP-representation: 409 Critical Point: 362 Value: 363 Density of Cp(X,Xt) in C(X,X'): 462 Cs(X,Xt) in Cr(X,X') (s>r): 529, 535 Embs(X,X') in Embr(X,X') (s>r): 532, 537 Embz(X,X') in EmbE(X,X') (s>r): 532, 538 Diffs(X,X') in Diffr(X,X') (s>r): 532 ImS(X,X') in Imr(X,X') (s>r): 531, 537 (LD)'(X,X,) in (LD)r(X,Xt) (s>r): 531 PropS(X,X') in Propr(X,Xf) (s>r): 532, 537 SubS(X,X') in Subr(X,Xr) (s>r): 531, 537 Differentiable Manifold: 19 Map: 10 Map at a point: 9 Map locally constant: 64 Map of Fredholm: 391 Map of left Fredholm: 391 Map on an open set: 9 Differentiable structure of A closed ball: 30 A quadrant: 30 A submanifold: 115 An open set: 30 Class p: 19 n-cube: 31 Sn: 30 The Boundary (ax): 29 The interior of a manifold: 29 The k-boundary (BkX): 29 Differential: 9, 180 Differential of A composition: 11 'Order p: 12
Index Diffeomorphisms Between manifolds: 37 Induced on the smooth boundary: 39 Of open sets of quadrants: 24 Preserving index: 38 Dimension of a manifold at a point: 20 Divisible space: 448 Dn as manifold: 30 Domain of a chart: 18 Double splitting operator: 381 Elevation of the class of a manifold: 538, 540 Embedding: 148 Embedding of manifolds in Banach spaces: 152 Euclidean spaces: 157 Hilbert spaces: 152 Equivalence relations preserving boundary: 190 Equivalent Atlases: 18 Norms: 4 Euclidean space: 3 Excellent Morse function: 565, 566 Existence of Differentiable partitions of unity: 51, 61 Fibered product of manifolds: 332 Factorization of the subimmersions: 277 Fibered product Existence: 332 Of manifolds: 331, 332 Fine topology: 440 Finite-dimensional operator: 383 Finite order Jets: 427, 428 Weak topology: 469 Whitney topology: 470
593
594
Index
First Axiom of countability: 42 Category set: 356 Theorem of Sard: 372 Fixed point theorem: 107 Fredholm Map: 391 Operator: 381 Functional of class p: 570 Fundamental theorem About quotient manifolds: 191, 205, 206 Of algebra: 184 General position lemma: 424, 425 Germs of submanifolds: 272, 276, 277 Gluing of manifolds: 112 Godement lemma: 244 Graph of a differentiable map: 157 Graph topology: 436 Grassmann manifolds: 31 Grassmann F-manifolds: 34 Groups of transformations: 208 Groups of transformations acting Discontinuously: 209 Effectively: 209 Freely: 209 Hessian: 567, 572 Hilbert Direct sum (finite case) : 150 Direct sum (infinite case): 151 Group: 291 Manifold: 157 Space: 3 Homogeneous spaces: 293 Homotopic maps: 460, 461, 465, 466, 467, 468 Homotopy of class p: 465, 466, 467, 468 Immersion: 128 Immersion at a point: 128
Index Immersion of a Compact-manifold in a euclidean space: 157 Manifold in a Banach space: 152 Manifold in a Hilbert space: 157 n-dimensional manifold in R2n: 565 Implicit function theorem: 108, 109 Injective version: 131 Surjective version: 163 Index of A Fredholm map: 391 A Fredholm operator: 381 A left Fredholm map: 391 A left Fredholm operator: 381 A non-degenerate critical point: 572 A point in a manifold: 27 A point in a quadrant: 22, 23 An inner tangent vector: 137 Kronecker: 8 Infinite order jets: 486 Injective version of the implicit mapping theorem: 131 Inner product: 2 Inner tangent vector: 68 Integral: 86 Interior of A manifold: 28 An open set of a quadrant: 23 Invariance of Sets of measure zero under C'-maps: 348, 356 The boundary under diffeomorphisms: 25, 38 The index under diffeomorphisms: 25, 38 Inverse image of a submanifold by means of A submersion: 174, 176, 177, 179, 182 A transversal map: 319, 325 Inverse mapping theorem: 100, 101, 102, 103 Invertible jet: 518 Jets of: Finite order: 428 Infinite order: 486
595
596
Index
K-boundary: 28 Klein bottle: 213 Kupka example: 401 Left Fredholm map: 391 Fredholm operator: 381 Limit: 85 Leibnitz's rule: 73 Lens manifolds: 213 Lie Group: 283 Group homomorphisms: 288 Subgroups: 289 Linear Reduction of a differentiable map: 176 Local Characterization of the subimmersions: 273 Compactness in manifolds: 43 Connection in manifolds: 43 Diffeomorphisms: 102 Locally Closed maps: 395 Compact space: 43 Connected space: 43 Lipschitz maps: 349 Path-connected space: 43 Proper maps: 394 Manifold of Germs of submanifolds: 277 Jets: 432 Stiefel: 305 Map of Class p: 15 Class p between manifolds: 36 Morse: 565
Index Maps : b: 428 j k : 434
jm: 486 jk(f): 434 jm(f) : 486 rk k t** 429 m
rk: 486 s: 428 m-cube: 345 Measure zero set: 345, 354 Metric associated to a norm: 2 Metrizable manifold: 45, 46 Moebious strip: 212 Morphism of a chart: 18 Morse Function: 565 Lemma: 572 m-rectangle: 345 n-dimensional torus: 212 Neat submanifold: 118 Non-degenerate Critical point: 572 Norm: 1 Norm associated to an inner product: 2 Normal bundle manifold: 238 Normed real linear space: 1 Nowhere dense subset: 351, 355 Open Linear maps: 4 Manifold: 3 0 Set of a quadrant: 9 Submanifold: 116
597
598
Index
Openness of Embeddings: 503 Closed embeddings: 507 Diffeomorphisms: 507 Immersions: 497 Local diffeomorphisms: 498 Proper maps in Ts: 458 Submersions: 497 Operator of Fredholm: 381 Orbits: 301 Order of a quadrant: 6 Origin map (s): 428 Orthogonal group: 292 Outer tangent vector: 68 [0,1]" as manifold: 31 p times differentiable maps: 13 Paracompactness of manifolds: 45 Parametrization by the arc-lenght: 374 Partition of unity Existence: 332 Of class p: 50 Subordinated to a covering: 50 Path-connection in manifolds: 43 Pointwise convergence topology: 435 Product of: Banach spaces: 4 Differentiable manifolds: 104 Embeddings : 150 Equivalence relations: 189 Immersions: 147 Lie groups: 286 Lie subgroups: 290 Subimmersions: 216 Submanifolds: 147 Submersions: 162 Product topology: 435 Primitive function: 86 Projective space (real): 33
Index
Proper homotopy: 461 Proper homotopy of class p: 467 Property of Baire of manifolds: 44 Baire of Ts: 453 Baire of TW(p,p): 484 B a k e of TW(m) : 494 Lindelof: 42 Quadrant of a real Banach space: 6 Quotient: Manifold: 186 Of Banach spaces: 2 Of equivalence relations: 188 Rank of a differentiable map: 64 Real projective spaces: 33 Regular Differentiable manifolds: 45 Equivalence relation: 185 Point: 362 Value: 363 Regulated function: 85 Residual set: 356 Retract of class m: 257 Retraction of a manifold: 235 Riesz’s theorem: 43 Right limit: 85 Second Axiom of countability: 42 Countable space: 42 Theorem of Sard (local): 370 Theorem of Sard (manifolds): 371 Seeley‘s lemma: 91 Separated duality: 568 Semicontinuity of the rank: 65 Sierpinski theorem: 46 Singular Point: 398 S” as a manifold: 30 Source map(s) : 428
599
600
Index
space Model of a chart: 18 Of Banach: 2 Of Hilbert: 3 Of k-jets: 428, 430 Of k-multijets: 551 Stabilizer: 296 Step-function: 85 Stiefel F-manifolds: 34, 213, 304 Manifold: 305 strictily Inner tangent vector: 70 Outer tangent vector: 70 Structure differentiable In Jk (X,X’): 432 Of a quadrant: 30 On a set: 19 On BkX: 29 On the smooth boundary: 29 Strong topology: 436 Subimmersion: 215 Subimmersion at a point: 215 Submanifold: 113 Submanifolds of inverse images Of a point by a subimmersion: 224 Of subimmersion: 224 Of submersions: 174 Of transversal maps: 319, 225 Submersion: 159 Submersion at a point: 159 Subspace of a Banach space: 2 Subset of measure zero in Manifolds: 354 rRn: 345 Sum of manifolds: 110, 111 cr-proper map: 402 T1 axiom: 42
Index T3 axiom: 46 Tc topology: 435 T topology: 449 C
TD(p,k) topology: 469 TD(m) topology: 487 d' topology: 440 TF T topology: 435 P Ts topology: 436 TU topology: 440 TW(plk) topology: 471 TW(m) topology: 487
*
TW(m) topology: 490 Tangent : Bundle manifold: 66 Linear map: 63 Space: 63 To a map: 9 Vector: 63 Vector to a curve: 68 Taylor's theorem: 88, 90 Theorem of Borel: 486 Brouwer: 379 Brown: 372 Characterization of the subirnmersions: 229 Constant rank: 234 Density of Abraham: 413 Density of Quinn: 403, 408 Density of Smale: 400 Density of the transversality: 413, 417, 419, 422 Density of the transversality in multijets: 553 Embedding of Whitney: 359, 564, 565 Extension of Whitney: 80, 99 Fubini: 352 Immersion of Whitney: 359, 559, 562, 565 Immersion of Whitney for compact manifolds: 359 Kneser-Glaeser: 363
601
Index
602
Local constant rank: 225 Local representation: 226 Mather: 553 Sard: 370, 371, 372 Sard (elementary): 3 57 Smale: 400 Taylor: 88, 90 The fixed point: 107, 379 The implicit function: 108, 109 The implicit function (injective version): 131 The implicit function (surjective version) : 163 The inverse function: 100, 101, 103 The mean value: 12 Thom: 546 Topological Group DiffP(X): 521 Group of homeomorphisms: 457 Linear space: 2 Manifold: 20 Supplement of a linear subspace: 7 Topology in Jk (X,X'): 430 Topology of A differentiable manifold: 21 A product of manifolds: 105 A quotient manifold: 186 A submanifold: 115 Graphs: 436 Whitney: 471, 487 Topology T(k): 430 Topology T o: 449 C
Totally neat submanifold: 118 Transitive property of submanifolds: 126 Transitivity of the transversality: 321 Transversal Family of maps: 326 Map to a submanifold: 309, 312, 313 Space to a submanifold: 117 Submanifolds: 339
Index Transversality Local representation: 324 Tubular neighbourhood Parcial: 257 Total: 257 Tychonoff's axiom: 44 Uniform convergence topology: 440 Uniform convergence topology over compact sets: 435 Uniformity of a topological linear space: 6 Uniformly closed subset: 451 Unitary Group: 291 Tangent bundle: 360 Urysohn condition: 50, 51 Volume of a rn-rectangle: 345 Weak sum of manifolds: 112 Weak topology of order k: 471 Weak topology of order m: 487 Weakned differentiable manifold: 35 Whitney extension theorem: 80, 99 Whitney topology of order m: 487 m 2 -space: 337, 479 f'-set: 337
603