1,206 41 22MB
Pages 619 Page size 468 x 684 pts Year 2008
DIFFERENTIAL TOPOLOGY
NORTHHOLLAND MATHEMATICS STUDIES 173 (Continuation of the Notas de Matematica)
Editor: Leopoldo NACHBIN Centro Brasileiro de Pesquisas Fisicas Rio de Janeiro, Brazil and University of Rochester N e w York, U.S.A.
NORTHHOLLAND AMSTERDAM
LONDON
NEW YORK
TOKYO
DIFFERENTIAL TOPOLOGY
Juan MARGALEFROIG Consejo Superior de Investigaciones Cientificas Madrid, Spain
Enrique OUTERELO DOMINGUEZ Departamento de Geometria y Topologia Universidad Complutense Madrid, Spain
1992
NORTHHOLLAND AMSTERDAM
LONDON
NEW YORK
TOKYO
ELSEVIER SCIENCE PUBLISHERSB.V. Sara Burgerhartstraat 25 P.O. Box211, IOOOAEAmsterdam,The Netherlands
ISBN:O444884343
0 1992 ELSEVIER SCIENCE PUBLISHERSB.V. All rights reserved. No part of this publication may be reproduced, stored in a retrieval system or transmitted, in any form or by any means, electronic, mechanical, photocopying, recording or otherwise, without the prior written permission of the publisher, Elsevier Science Publishers B.V., Copyright & Permissions Department, P.O. Box 521,1000 AM Amsterdam, The Netherlands. Special regulations for readers in the U.S.A.  This publication has been registered with the Copyright Clearance Center Inc. (CCC), Salem, Massachusetts. Information can be obtained from the CCC about conditions under which photocopies of parts of this publication may be made in the U.S.A. All other copyright questions, including photocopying outside of the U.S.A., should be referred to the publisher, Elsevier Science Publishers B.V. No responsibility is assumed by the publisher for any injury and/or damage to persons or property as a matter of products liability, negligence or otherwise, or from any use or operation of any methods, products, instructions or ideas contained in the material herein. This book is printed on acidfree paper. Printed in The Netherlands
To my parents and Maria d e l Mar and
To t h e memory of Natividad Gordo.
This Page Intentionally Left Blank
vii CONTENTS
PREFACE .......................................................iX INTRODUCTION..................................................Xi CHAPTER 1: REAL DIFFERENTIABLE MANIFOLDS WITH CORNERS. 1.1. The Differential of Maps over Open Sets of Quadrants
of Banach Spaces..........................................l
1.2. Differentiable Manifolds with Corners....................18 1.3. Differentiable Maps ......................................34
1.4. Topological Properties of the Differentiable Manifolds...41 1.5. Differentiable Partitions of Unity 50 1.6. Tangent Space of a Manifold at a Point... 62
....................... ................
CHAPTER 2: THE WHITNEY EXTENSION THEOREM AND THE INVERSE MAPPING THEOREM FOR DIFFERENTIABLE MANIFOLDS WITH CORNERS. 2.1. The Whitney Extension Theorem............................73 2.2. The Inverse Mapping Theorem. Local Diffeomorphisms
......104 100 .................... ........................................ 110
2.3. Products of Differentiable Manifolds 2.4. Sum of Manifolds
CHAPTER 3: SUBMANIFOLDS AND IMMERSIONS
........................................... ............................................. ..............................................
3.1. Submanifolds. 3.2. Immersions. 3.3. Embeddings
113
128 148
CHAPTER 4: SUBMERSIONS AND QUOTIENT MANIFOLDS
....................................
4.1. Submersions......... 159 4.2. Inverse Image of a Submanifold by Means of a Submersion.174 4.3. Regular Equivalence Relations. Quotient Manifolds.......l85
CHAPTER 5: SUBIMMERSIONS
........................................... 215 ................ 272
5.1. Subimmersions 5.2. Manifolds of Germs of Submanifolds......
CHAPTER 6: LIE GROUPS
.............................................. ........................
6.1. Lie Groups 6.2. Homogeneous Spaces and Orbits...
283
293
CHAPTER 7: TRANSVERSALITY
..........309 ................................ 326 Manifolds............... Transversal Submanifolds. ............................... 337
7.1. Transversal Map to a Submanifold.............. 7.2. Transversal Family of Maps. Fibered Product of 7.3.
viii
Contents
CHAPTER 8: PARAMETRIZED THEOREMS OF THE DENSITY OF THE TRANSVERSALITY
...................345 Manifolds ............................................... 354 The Sard and Brown Theorems............................. 362 Smale’s and Quinn’s density Theorems.................... 380 Parametrized Theorem of the Density of the Transversality .......................................... 409
8.1. Lebesgue Measure Zero Sets in Rm. mrl 8.2. Subsets of Measure Zero in Finite Dimensional 8.3. 8.4. 8.5.
CHAPTER 9: SPACES OF DIFFERENTIABLE MAPS
......427 ............................... 435 . 468 Order Whitney Topology .................................. Infinite Order Jets. Whitney Topology of Infinite Order ................................................... 485 Special Open Sets in the spaces of Differentiable Maps .................................................... 496
9.1. Finite Order Jets between Differentiable Manifolds 9.2. Spaces of Continuous Maps 9.3. Topologies over the Spaces of Maps of Class p Finite 9.4. 9.5.
9.6. Continuity of the Composition of Differentiable Maps
....508
CHAPTER 10: APPROXIMATION OF DIFFERENTIABLE MAPS 10.1. Approximation of Differentiable Maps in the Case
Finite Dimensional
.....................................
10.2. Elevation of the Class of a Differentiable Manifold
523
....538
CHAPTER 11: OPENNESS AND DENSITY OF THE TRANSVERSALITY
. .
.........543 . Theorems for Manifolds with Corners.................... 551 559 11.3. Whitney Immersion Theorems ............................. 11.4. Morse Functions ........................................ 565 BIBLIOGRAPHY ................................................. 575 INDEX........................................................ 589 11.1. Density of the Transversality R Thom Theorem 11.2. Multijets Density of the Transversality Mather
.
ix PREFACE Spaces of differentiable mappings between finite dimensional manifolds should be viewed as infinite dimensional manifolds. The traditional calculus of smooth mappings between finite dimensional spaces has a straightforward and powerful generalization to the realm of Banach spaces. Even the llhardll theorems like the inverse function theorem, the implicit function theorem (if one assumes the existence of complementary subspaces), and existence and uniqueness of solutions of ordinary differential equations continue to hold. But unfortunately spaces of differentiable mappings cannot be treated in a wholly satisfactory manner in the realm of Banach manifolds: a result of Omori and de la Harpe says that if a Banach Lie groups acts effectively on a finite dimensional manifold then it must itself be finite dimensional. Spaces of differentiable mappings can be viewed as manifolds modelled on more general locally convex spaces than Banach spaces and there is a satisfactory calculus for such spaces (see the book of Frolicher and Kriegl [FK]), but all "hard" results fail to hold in general. Inverse function theorems are only possible if by a priori estimates one can generate enough rudiments of a Banach space situation such that some iteration process converges. Applications involving inverse function theorems thus are extremely technical and they boil down to Banach space techniques. So there are reasons enough to warrant a coherent treatment of the main body of differential topology in the realm of Banach manifolds, which is at the same time correct and complete. This book fills the gap: whenever possible the manifolds treated are Banach manifolds with corners. Corners add to the complications and the authors have carefully fathomed the validity of all main results at corners. Even in finite dimensions some results at corners are more complete and better thought out here than elsewehere in the literature. The proofs are correct and with all details. I see this book as a reliable monograph of a well defined subject; the possibility to fall back to it adds to the
X
Preface
feeling of security when climbing in the more dangerous realms of infinite dimensional differential geometry. Peter W. Michor. Wien, October 18, 1991.
xi INTRODUCTION Infinite dimensional manifolds appear naturally differential topology. One main example are manifolds differentiable maps.
in of
For some types of infinite dimensional manifolds it makes sense to introduce and study notions which are classical in the finite dimensional case. For instance, we can mention embeddings and immersions, transversality, Morse theory, topological degree theory, etc. Morse theory was generalized to Hilbert manifolds and later to Banach manifolds and this generalization provided a new method to study problems of variational calculus. Similarly, one can construct topological degree theories of LeraySchauder type on infinite dimensional manifolds without needing finite dimensional approaches. It should be noted, finally, that infinite dimensional manifolds can be used to solve problems that arise in the finite dimensional setting. A nice example of this is S. K. Donaldson's result on the existence of 4dimensional topological manifolds that do not admit differentiable structures. All this shows the interest of infinite dimensional manifolds, and the need of a complete study of their properties.
Historically, the concept of infinite dimensional manifolds can be traced back to the work of B. Riemann; ltber die Hypotheses, welche der Geometrie zu Grundeliegen, 1854. Differential Calculus on Euclidean Spaces is easily extended to real Banach spaces. Nevertheless the extension of this calculus to more general spaces, Frechet spaces for instance, involves additional difficulties. For this reason the manifolds considered in this book will be real Banach manifolds. The study of ordinary geometrical figures such as the closed
xii
Introduction
euclidean ball, the solid torus, etc., requires manifolds with smooth boundary. Thom cobordism theory and Smale handlebodies theory have been developed for this type of manifolds. Then the product of manifolds is often needed and of course it is not in this category of smooth bordered manifolds. Thus the manifolds with corners are the natural means to get rid of the technique of the socalled llarrondissementll of corners. Following this idea, the aim of the authors is to introduce infinite dimensional Banach manifolds with corners and prove, for these, some basic theorems of Differential Topology. The first part of chapter 1 is devoted to the introduction of infinite dimensional manifolds with corners and maps of class p. Differentiability of maps on open sets of quadrants of Banach spaces and the boundary invariance theorem for quadrants of Banach spaces are the most important tools. The second part of this chapter is concerned with the topological properties of the manifolds: dimension, differentiable partitions of unity, tangent vectors, inner tangent vectors and outer tangent vectors, etc. The Whitney Extension Theorem and the Inverse Mapping Theorem for manifolds with corners are the topics developed in chapter 2. The Whitney Extension Theorem has been generalized to the infinite dimensional case, when the closed set considered is a quadrant of a real Banach space. Of course, the closed set in the well known Well's counter example is not a quadrant of a real Banach space. The generalized Whitney Theorem makes the Inverse Mapping Theorem a corollary of the Implicit Function Theorem for manifolds with corners. Chapter
3
studies submanifolds, immersions and embeddings.
Introduction
xiii
Submanifolds are obtained as images of embeddings and the characterizations of immersions follow from the injective version of the implicit function theorem. Chapter
4
concerns submersions and quotient manifolds.
If we are given a manifold X of class p and an equivalence relation R on X I then the problem is to know under what conditions the quotient space X/R admits a differentiable structure. Submersions and the socalled regular equivalence relations give the solution to this question. Chapter 5 is devoted to the study of subimmersions and the construction of tubular neighbourhoods of Hilbert manifolds. The local constant rank theorem, the local representation theorem and the characterization by factorization of subimmersions are of course involved in the study of subimmersions. First, we construct the normal bundle associated with an immersion in a Hilbert space, a tubular neighbourhood associated with a closed embedding in a Hilbert space and a collar neighbourhood of the boundary of a Hilbert Hausdorff paracompact manifold. Then we prove the existence of a closed neat embedding of every Hausdorff paracompact Hilbert manifold with smooth boundary into Hx[O,m) , where H is a Hilbert space, such that the normal space at each point of a certain neighbourhood of the boundary is contained in Hx(0). This in turn gives a necessary and sufficient condition for a Hausdorff paracompact topological space to admit a differentiable structure of class m with smooth boundary. Chapter 6 is devoted to several basic results on Lie Groups including the construction of a differentiable structure on the space of orbits, in both the discontinuous and the free proper continuous cases. The topic of chapter 7 is transversality theory. Its topics are: maps transversal to a submanifold, transversal families of
x iv
Introduction
maps, fibered products of manifolds and transversal submanifolds. Since differentiable maps preserve zero Lebesgue measure sets, one can define zero measure sets in the finite dimensional case. Sardls density theorem says that the set of critical values of a differentiable map is a zero measure set and therefore, assuming some mild topological conditions, the set of regular values of a differentiable map is a dense set. The pattern used to define zero measure sets in Rn can not be followed in the case of infinite dimensional manifolds. Nevertheless, for Fredholm maps the set of regular values is dense. This generalization of Sard's theorem is due to S. Smale. Chapter 8 is devoted to the following topics and results: zero Lebesgue measure sets in Rm; subsets of measure zero in finite dimensional manifolds; Sard and Brown's theorems; Smale and Quinn's density theorems and the parametrized theorem of density of transversality. Finally, the set of differentiable maps between two manifolds is endowed with a differentiable structure. A first step in that direction is to endow it with topological structures. Jets and jet manifolds are powerful intrinsic techniques to do this. In chapter 9 we discuss this problem through the following topics: Finite order jets between differentiable manifolds; topological spaces of continuous maps; topologies on the spaces of maps of class p, finite order Whitney topology; infinite order jets; Whitney topology of infinite order; special open sets in the spaces of differentiable maps; continuity of the composition of differentiable maps. Chapter 9 contains the theorems of density of the maps of class p in the space of continuous maps. This study is completed in chapter 10 with the density of the maps of class s in the space of maps of class r (srrrl).
Introduction
xv
The finite case is treated using convolution techniques. The infinite dimensional case needs different techniques because convolution theory is not available. The main topics are: Approximation of differentiable maps in the finite dimensional case and elevation of the differentiability class of a manifold. Finally in chapter 11 we deal with openness and density of the transversality: Density of the transversality: Thom's Theorem: multijets; Mather's theorem: Whitney's Immersion theorem; Morse functions. The authors are grateful to Prof. Jesus M. Ruiz for his careful reading of the manuscript and accurate comments that have contributed to improve the book; to Prof. Peter W. Michor for kindly writing the preface; to Miss Patricia Aguirre for careful typing; and to DGICYT for its partial financial support through the grant PB890122. Madrid, September 1991
1
Chapter 1 REAL DIFFERENTIABLE MANIFOLDS WITH CORNERS In this chapter we introduce real differentiable manifolds with corners, which include, in particular, manifolds with simple boundary and without boundary. Our manifolds will be modelled over real Banach spaces. Moreover we introduce the morphisms between manifolds, or in other words, the maps of class p. But since our manifolds may have corners, we need to establish before some results about Differential Calculus over open sets of quadrants of Banach spaces. In Global Analysis for instance in Morse Theory, we often have infinite dimensional manifolds with boundary or corners. For this reason we introduce the manifolds with such a generality. 1.1. The Differential of Maps over Open Sets of Quadrants of Banach Spaces.
In this paragraph we develop some results about differential Calculus over open sets of quadrants of Banach spaces, in order to introduce differentiable manifolds with corners. The method of exposition will be similar to the classical one in ordinary Differential Calculus on open sets of Banach spaces. But in our case there is an additional difficulty in the points of the boundary, whose resolution involves Whitney#s extension theorem. First we recall some definitions and elementary results about real Banach spaces and we introduce the notations that will be used in the book. Let E be a real linear space and 1 !:Ed a map. The map I is a norm if: llv11~0 for all VEE; llvll=O if and only if v=O; IIrvII=IrI llvl for all VEE, reR; IIv+uIIsIIvII+IIun, for all U,VEE. If E is a real linear space and 1 1 is a norm in El we say that (E,1 1 ) is a normed real linear space.
Chapter 1
2
Let ( E l 1 1) be a normed real linear space. Then it is easy to see that the map :ExE+R, defined by d (VrU)=iVUur dll IIi is a metric in E. The topology of the metric d will be the Y U topology considered in E. Moreover we can see that the operations in E, addition and product by a real number, are continuous with the topology of E and hence E is a topological linear space.
H
is Let (El 1 1) be a normed real linear space. Then d Ill invariant by translations in E, that is, d III (u+z,v+z)=d, ,(u,v), and BE(v)=v+BE(0), Bi(v)=v+B;(O) for all veE and all &ER, &>O where BE (v) Be (0) are open balls and BZ(v) , Bi(0) are closed balls with the metric d I
n u
If the metric space (E,d, I) is complete, we say that (E,II II), or E, is a real Banach space. Sometimes, if no confusion can occur, we shall use 1 1 to denote different norms. Let (E,! 1) be a real Banach space and F a closed linear subspace of E. Then (F,II is a real Banach space whose topology is the topology induced by E in F. Let (Eli I) be a real Banach space and F a closed linear subspace of E. Then it can be shown that ( E / F , [ 1,) , where 1 [v]Il=inf. ( UVU///UEF) , is a real Banach space called quotient space of E by F. The topology of E/F is the quotient topology of E.
Let E be a real linear space and :EXEM a map. We say that is an inner product on E if the following conditions are satisfied: is bilinear, symmetric over ExE; >O for all veE , v+O
.
If E is a real linear space and an inner product on E, it can be easily shown that: a) For inequality)
all
U,VEE,
JI2s,
(CauchySchwarz
b) The map 1 [ : E a r given by Ivl=+J, is a norm in E, called the norm associated to the inner product .
Real Differentiable M a n i f o l d s with Corners
3
From the condition a) , it follows that the map C,>:ExE+R is continuous with the natural topology induced by [v[=+J . Let E be a real linear space and c , > an inner product on E. We say that (El) is a real Hilbert space, if the norm 1 associated to the inner product satisfies that (El[ 1) is a real Banach space. Let (E,) be a real Hilbert space and F a closed linear subspace of E. Then (F,IFxF)is a real Hilbert space whose topology is the topology induced by E in F. For all ndN it is easy to see that Rn, with the usual structure of real linear space and with the product :R nxR n+R n is a real Hilbert space given by O such that (a(V)lSallvU for all vcE. Let
E,F be real Banach spaces. We consider the map given by IIaII=Sup( IIa(v) (/WE, Ilvllsl). Then it can be shown that (Y(E,F), 1 11) is a real Banach space.
11 11 :Y(E,F)+R
Another important result that we shall often use is the following:
Chapter 1
4
Let E,F be real Banach spaces and u r f ( E , F ) . Then we have: 1) ua(v) Isl[aulvi f o r all vcE. 2) lul=inf(kzO/la(v) Ilsk[vi for all VEE),
3)
/laU=Sup(/ a ( v )II/vrE, iv[=l)=Sup {J!!f/vsE(O}
is another real Banach space and & ! t ( F , G ) ,
then ~ B o u l b p i . ~ a [ .
A l s o , it can be shown that an element u belonging to I ( E , F ) is an open map if a is onto. In particular a is a homeomorphism if and only if a is a continuous linear isomorphism.
Let I 1(11/1 112 be two norms in an real linear space E. We say that these norms are equivalent if the associated topologies coincide. are two n o m s in If E is a real linear space and 1 [ l r l l E, the following statements are equivalent: a) 1 I1and i2 are equivalent, b) There exist A>O and B>O such that for all y6E.
AUY~~S~~Y~~SBIYJ~
If E is a finite dimensional real linear space and 11 i l l 11 112 are any two norms in E, then it can be shown that these norms are equivalent. If (E,1 1 ) is a normed finite dimensional real linear space xn), and {el,...,en) is a basis of E l then the map vt+(xl, n where v= 1 x.e is a linear homeomorphism from E onto Rn. i=l 1 i'
...,
...
If Ep,...,E, are real Banach spaces, the map I (:E1x xEn+R ixnII) is a norm in the real defined by 1 (x,!. . ,xn)I/=Max{ixli, linear space E1x.. .xEn and (E1x.. .xEn,1 1) is a real Banach space, whose topology is the product topology of the spaces Ell... ,En'
.
. ..,
It can be shown that the maps $
I (XI,.  .'Xn) iil=uxlu+. . .+II~,II and
111[
n (Xll..
/2:~1~...~E n4 given by
I I ~ 2= ~..+II~,II I ~2, I I +.
are also norms in E1x.. .xEn and they are equivalent to the norm, defined above.
Real Differentiable Hanifolds with Corners
5
.
If Ell.. ,En,F are real Banach spaces, the set (f:Elx.. .xEn+F/f is an nlinear map) will be denoted by n L (E1,...,En;F) and the set (f:Elx xEn+F/f is a continuous n nlinear map) will be denoted by I (Ell...lEn;F). If El= En=El
...
...=
the sets defined above will be also denoted by Ln(E;F) L"(E;F) respectively. We will often use the continuous multilinear maps.
following
and
characterizations of
.
Let u be an element of Ln ( E l l . . ,E,;F). Then the following statements are equivalent: a) a is continuous, b) a is continuous at 0, c) the set ( (la(xll... ,xn)p[xlll=l,. I ixn#sl) is bounded, d) There exists k>O such that ia(x ll...,xn)~~k~x,~...~xn~, for all (x,,.. .,xn )EE,x xEn.
..
...
If Ell...,En,F are real Banach spaces, then the map n 1 11:L (Ell... ,En:F)+R given by lall=Sup( Ila(xll.. .,xn)II/uxllldll.. . ,IIxnlllsl) is a norm in the real n n linear space L (E,,...,En;F) and (I (El,...,En;F),I 1) is a real Banach space. Moreover We have that
.
II~II=SUP( iia(xlI.. .,Xn)ii/iixln=l,.. I lxnn=l)= =Inf(k~O/~~a(xl,. ..,xn)IlskllxlII.. Hxnll for all x1"E1,.. ,xneEn). Hence if u is an element of Ln(E1,.. ,En;F) it can be shown that IIu(xl,.. .,xn)IIcllull IIxlll.. . IIxnII for all element (xll.. ,xn) of E1x. . .xEn.
.
.
.
.
If E1,...,En are finite dimensional real Banach spaces, then n L (E,,...,E n ;F)=2n (E,,...,En;F).
.
Let Ell.. ,En,F be real Banach spaces and ,En;F) the map defined by p:L(El,L(E2,.. ,L(EnlF). .))+Yn(E1,.. p ( u ) (x,,.. .,x,)=(. .. (a(xl)) (x2) .) (x,). Then cp is a linear homeomorphism and 1 p (a) 1 = 1 u 1 .
.
.
..
.
From the properties of the nonns of linear continuous maps that we have seen above it follows that:
Chapter 1
6
a) The map o : I ( E , F ) x k ? ( F , G ) + J e ( E , G ) given by o ( c X l 8 ) = 8 o 0 r iS a bilinear continuous map. b) The map e:Exl(E,F)+F given by e(v,a)=a(v) is a bilinear continuous map. ,En ;F)+F given by c) The map e:E 1x...xE nxi?n (El e(v ll...lvn' a)=a(v lI...,vn) is an (n+l)linear continuous map.
,...
If E,F are real Banach spaces and n is an element of IN, then the set (f:En+F/f is an nlinear symstric map) will be denoted by L:(E;F) and the set (f:En+F/f is an nlinear continuous symmetric map) will be denoted by Y:(E;F). It can be shown that Y:(E;F) is a closed linear subspace of Lt(E;F) and hence (k?:(E;F) I 1 1) is a real Banach space. If E is a topological real linear space and V ( 0 ) is the system of neighbourhoods of 0 in El then U=(UVcExE/Vd(O)], where Uv={(x,y)~ExE/xy~V), is a uniformity in E whose associated topology coincides with the topology of E. We shall say that a topological real linear space, El is complete if the associated uniform space (E,U) is complete. topological real linear space, E l is called Banachable if it is complete and there exists a norm, 1 11, in E whose associated topology coincides with the topology of E; of course (E,1 11) is a real Banach space. A
Definition 1.1.1 Let E be a real Banach space and A=(hll independent system of elements of I(E,R).
...,An)
a
linearly
..
Then the set (x~E/k~(x)tO,. ,hn(x)~O) is called Aquadrant of order n of E and is denoted by Ei or by Ei if A=(h). Obviously, ve have E
=
+ if [y Eii and EA=E
A=@.
1=1
If E=!R2 and A=pl where pl(xly)=x, then E~={(x,y)€R2/xrO). If E=R2
and
A= ( p1 ,p2 ) ,
where
p1 ( x , y ) =x
and
p2 (xI y)=y ,
then
Real Differentiable Manifolds vith Corners
7
+ 2 EA=((x,y)~R/ x ~ O , y ~ O ) . If E is a real Banach space and A=(Al,...,An) is a linearly independent system of elements of Z(E,R), then the closed linear n 0 0 or by EA if A=(A). subspace (1 ker(Ai) of E is denoted by EA 1=l
o n o
0
Obviously, EA=() Eai and EA=E if A=#. 1=1 Definition 1.1.2 Let E be a real Banach space and F a closed linear subspace of E. A linear subspace H of E is said to be a topological supplement of F if E=F+H, FnH=(O) and H is closed. In such case ve shall write E=FsTH and it can be shovn that the map 8:FxH+E given by B(x,y)=x+y is a linear homeomorphism. We shall often use the following facts: a) If two closed linear subspaces of a Banach space have the same topological supplement, then they are linearly isomorphic. If two closed linear subspaces of a Banach space have the same codimension and this is finite, then they are linearly isomorphic. b) Every finite dimensional linear subspace of a real Banach space, admits a topological supplement. c) Every closed linear subspace of a real Banach space whose codimension is finite, admits a topological supplement. d) Every closed linear subspace, F, of a real Hilbert space, I (HI), admits the subspace F =(uEH/=O for all veF) as a topological supplement. We shall also use the following result. e) Let E be a real Banach space and F a linear subspace of E. Then the following statements are equivalent. i) F admits a topological supplement in E. ii) There exists a linear continuous map, p:E+E, pop=p and Ker(p)=F.
such that
Chapter 1
a
iii) There exists a linear continuous map, q:E+E, such that q o q = q and irn(q)=F. L e m m a 1.1.3
Let E be a real linear space. Then ve have: a) Let (hl,...,X n ) be a set of linear maps from E to W. Then {Al,...lhn) is a linearly independent system if and only if there exist XI,. .. ,xnrE such that X . (x.)=aij, where B is the ij 1 7 Kronecker index, b) Let (yll...,yn) be a set of elements of E. Then {yl,...lyn) is a linearly independent system if and only if there exist linear maps ul,...,~nfrom E to R such that u.(y.)=8 1 J ij* using t h i s lemma it can be shown that: Proposition 1.1.4
a) Let E be a real Banach space and A=(hl,...,Xn) a linearly independent system of elements of 2(E,W). Then there exist linearly independent elements of E, xl,. . . ,xn, such that 0 Ai(x.)=aij and E=EA o L(xl ,xn)' vhere L ( x ~ ~ . . . , x ~is ) the 7 T linear subspace of E generated by xl,~..,xn.Moreover the map a:E AoxR n+E, defined by a(xo,rl,.. .,rn)=xO+rlxl+. +rnx n is a linear homeomorphism such that
,...
..
+
+
Finally, EA is homeomorphic to EA for all AEA. b)
Let
M=(qll...,qm)
be a real Banach space and h=(A l,... ,An), linearly independent systems of elements of Y ( E , R ) E
+ + Then ve have: 1) Eh=% 0 0 such that Eh=En. , 2 ) nrn, 3 ) there exists a bijective mag, ~:(1,2,~..~n)+{1,2,...,n), such that for every + satisfying Ai=riqT(i). k { l , . . . , n) there exists r.ER 1 c)
Let
E
be
a
real
Banach
space
and
A=(Al,
... ,An),
M={TI~,...,~~ linearly ) independent systems of elements of Y ( E , R ) .
Real Differentiable Manifolds vith Corners Then there exists a linear homeomorphism, u:E+E, + 0 0 u(E + )=EM and u(E )=EM.n A A
9
such that
Now we introduce the differential of a map defined on an open set of a quadrant of a Banach space. Proposition 1.1.5 Let E,F be real Banach spaces, A=(Al,. . .,An} a linearly + independent system of elements of Z(E,IR), U an open set of EA, f:U+F a map and x a point of U. Then if u,v are elements of Z(E,F) such that
ve have that u=v. Since Proof. Let z be a point of Ei with z+O and & > O . + lim = O f there exists 6>0 such that B6(x)nEAcU and YX Y+X for all yeU satisfying O0 such that Df (x)(v)=lim f(x+tv)f(x) t t+O x+tvcU and Df (x)(v) f ( ~ + t ~ )  ~ ( ~ & ) . Then for all yEg+B&(O) and f o r all aeAF we have ly(a)1O for all A E A  A ~ . Therefore there w=(Og) A€&
.
I
(1
exists a>O such that p(x)+awE
Ei.
If we take a8O for all AEA1.
2)+1). Consider A1=(A~A/Ap(x)=O). If Al=#,
then v is a strictly
inner tangent vector at x. Suppose that A1+#. that w=(O:)
1
(v)e() AEhl
that p(x)+awe
(1
Then, from the hypothesis, it follows
+ intEA.
On the other hand there is a>O such
+
intEA. If we take a'UA;(()
( (J K))n(UA)=#. new KcXn
ncH KcXi the fact that if zcUA, then d(z,A)>O).
*
c) For all new,
all KcX,
and all K'cXn
ve have that
Ih (UA)*$, Ktn(UA)+$, D (A,K)21/2" and D (A,K' ) O , there is 6>0 such that Bg(xO)cU and Hpk(xo,y) ~ ~ ~ ~ for ~ all y yeB6 x (x,)~ ~ k Then f is a map of class r on U and D f=fk for all ke(0, r).
...,
(By induction, every applies) . o
.
fk is a continuous map and 2.1.7
Proposition 2.1.10 (The Whitney Extension Theorem)
Let A be a closed set of Rp vith AcU, vhere U is an open ball of diameter 1, let F be a real Banach space, f:A+F a map, r&b{O) and for all ke(O,...,r), fk:A+Pk(RPIF) a map with fo=f. S For every ke(O,l,...,r) Rk:AxA+Pi(RPIF) defined by Rk(xlY)'fk(Y)
let
us
consider
rk fk+i(x) ( (Yx) i=o 1 i!
the
map
~
The Whitney Extension Theorem and the Inverse Happing Theorem
81
.
Suppose that for every ke(O,l,. . ,r), xOeA and c>O, there is 6>0 such that N R ~ ( X ~ , XI1~5s) cIIx1x211 rk for a l l x1,x2eA with IIx1xo11nO
such
that
such
that
n0 mO 1 A B bp C AkBkmObpIJO such that B, (xo)x[O,so)cV, where BE (x,) is an open ball of 0
0
Let 7 be the diffeomorphism of class
CO
from IR to
defined by y ( t ) = & o t / w . Then r ( [ O , + ) ) = [ O , e o ) h:B (xo)x[O,+)+F defined by h=g
(&or&o)
and the map x7) is a
cO
map of class p. Since h is a map of class p, there are an open
Chapter 2
94
neighbourhood W xO of xo in B, that :
0
(x,),
6>0
with 6 < c o and K>O such
xO Ih(Y,t) IO 1 I Pn 1 (PlI + 0 n1 and an open neighbourhood Vxo of xo in EAx(R (Pll * IPn1V
a ( x ) E [ Eix (R
...

X,
such that V ux[o,co)cV. Let r:R+(cOlcO) be the diffeomorphism of class
OD
defined by
. we define r ( t ) = c o t / w . It is clear that 7 ( [ 0 1 + ) ) = [ 0 1 e o )Then the following map of class p: X
h=gJ
v
x7):V 'x[O,+)+F.
"(1 0
XIOdO)
v
0
Since h is a map of class p, there are an open neighbourhood Wxo
of xo in V x o l 6 > 0 with 6O such that h,DiDjh and Dkh Y t
The Whitney Extension Theorem and the Inverse Mapping Theorem 99 xO are bounded by K on W x[O,6), for i+jsp and ksp.
Consider the function # : W d define a map 5:W
X
'XR+F
of the preceding lemma. Then
by (h(y,t), if Ost
where ( an n e ~ (uo and (bn)ncmu(0 ) are the sequences of Lemma 2.1.32. Now the proof follows like in 2.1.33.0 Proposition 2.1.35
...,
Let E be a real Banach space, h=(hl, An) a linearly independent system of elements of I(E,R), U and open set of Ei, F a real Banach space, f:U+F a map and pew. Then the folloving statement are equivalent: a) f is a map of class p, b) for every xeU, there are an open neighbourhood Vx of x in E and a map f:++F of class p (in the sense of Ordinary Differential Calculus) such that =f
I vxnu I vxnu
Proof. It follows from 2.1.33
and 2.1.34.0
Remark
If at every point there is an open neighbourhood on vhich all the derivatives of f are bounded by the same constant K, then the preceding proposition is also true for maps of class m. Theorem 2.1.36
...,
Let E be a real Banach space, h=(hl, An) a linearly independent system of elements of Y?(E,R), F a real Banach space, + + k f:EA+F a map, rePlv(0) and, for every ke(O,...,r), fk:EA+Is(E,F) a map, vhere f o = f .
Chapter 2
100
For
every
...,r)
consider the map i rk fk+i(x) ( (Yx) ) defined by Rk(x,y)=fk(y).C l! 1=0 kG(0,
+ + k Rk:EAxEA+Ys(E,F)
+
Suppose that for every k€{O,...#r), xO€EA and c>O, there is + 6 > 0 such that for x1,x2eE,, with I(x1xo1/0 and h i (xi +xi )>0 and this is l2 2 1 2
'
If A.(x!
a contradiction since
+ (z)=ind + ( z ) for all ZEEI;,. EA
Therefore
As0
and
a1=...=a k=O
and
y=O.
That
is
EA0nL{xi,...,xi)={O). Finally, from the fact that codim(EA)=k, 0 we 0 0 get EA+L(xi, x'k)=E, and EA+Er=E, which ends the proof.
...,
11)
*
I).
120
Chapter 3
Let x'EX'.
If x t ~ B O Xthen, , of course, x'eBOX'.
Suppose that x'€BkX with kzl. Let us consider a chart c=(U,p,(E,A)), A=(A1,...,Ak), of X adapted to Xr at x' through + (F,M), M=(pl,.. 'pn), that is x'EU, p(x')=O, p(UnX')=(p(U)nFM and
.
0 0 FLcEf;. Then we have that FMcEAI EA0=FM00TH and, from the hypothesis
0 E=F+EA. Moreover Then it holds
and 3.1.8.d), p . (v.)=aij. 1
3
0
0
0 F=FM 0 L(V~,...,V~)~ where T +cE+ that vl,.. ,vnEFM A'
.
E=F+H=FM+H+L(vl,...,v n )=EA+L(vl,...,v n ) and hence nrk. From
a (F;)
the
+ + = (FM)na (EA) *
hypothesis I
ax'= (ax)nX' ,
it
follows
that
0 Suppose that n>k. Then, of course, there is vi eEA. We take
1
0 If k=l then this point vim and construct the space EA+L(vi). 0 E=EAaTL(vi
I
0 If k>l, then there is vi eEA+L(vi
I
) with il*i2. We 1 0 and construct the space EA+L(vi ,vi ) . If k=2 2 1 2 then E=E?~L(V~ ,vi 1. 1 2
).
1 take this point vi
2
rn
Since
k
is
finite,
there
are
such
that
0 vilf+ l V*i k+ E=E @I L(vi , ,v ) Therefore vi +. .+v. Ea(FM)c8(EA) and there A T 1 ik 1 k' )=...=A. (v. ) = 0 is Ai€A such that Ai(vi +. .+vi ) = O . Then A .1 (v. 1 1 k 1 k' , which is a contradicti0n.o and L(vi '...,v ik )+E0cEo A hi 1
...
.
.
.
'
If X' is a submanifold of class p of X and c'=(UtIp',(ErIA')) is a chart of X' with (p'(x')=O, the natural question is: Is there a chart c=(U,(p,(E,A)) of X which is adapted to XI at x' through (E',A') and c' is the chart induced chart in X' by c? Proposition 3.1.11 Let X be a differentiable manifold of class p and X' a submanifold of class p of X vith ax'=#. Let us consider a chart c'=(U',p',E') of X' vith x'EU' and (p'(x')=O. Then there is a
Submanifolds and Immersions
121
c=(U,p,(E,A)) of X such that x'EU, UnX'cU', * where n=indX(xt)I p(x')=O, * is the third * n A=(pll.. ,pn)op3, p3 E=E'xGlxR , projection and p(y)=(p'(y) , O , O ) for ycUnX'. Moreover cp (UnX' ) =p (U)n (E'x ( 0) x ( 0) ) chart
.
.
Proof. Let us consider a chart cl=(Ul,pl, (EllAl)) of X which is adapted to XI at x' through F1. Then F1 is a closed linear subspace of El which admits topological supplement, GlI in Ell X'EU~, pl(x')=O, pl(UlnX~)=pl(Ul)nFl and F cE+ and therefore
F CEO
'Al
.
It is clear that
of F1 in E
0
* G1=GlnEyA
'Al
is a topological supplement 1
.
lA1
Suppose that Al=(A1l...l An) and let ( V ~ ~ . . . n ~ )V be a linearly independent system of elements of El such that 0 Then we have E =E A . (v.)=6 @TZ(vll...lv n ) and the map 1 J ij' 'Al
u :E~+F~XG:XR~ defined by v=vo+v'+r 1v 1+...+ rnvn, is a
* n+ ( F p p 1A,
off
and upl(U1) is an open set
=F xG*x (R") +
1
1
1
u(v)=(voIv',rlI...Irn)l where linear homeomorphism. Therefore
~P1'".~Pn~
A
of this quadrant such that (0,0,0)~ucp,(U,).
Let us consider two
* (Rn)+ VocFl and W ocGlx such that (P1'".'Pn) v0xw0cup1 (U1) and p1 (VoxWo)nX'cU'. Then we have the following chart of X: open
neighbourhoods
This chart is adapted to X' at x' through F1x(0)x(O)
* * * * cp (U nX')=pl (Ul)n(Flx(0)x(O))=V 1
1
since
0 x( O ) x ( 0).
Consider the diffeomorphism of class p I
*
p:v 0xw0+v
0x(o)x(o)xw
0
*
0
+p'
1 Urnxl ) lxl w0 ,(u*,nx
* 0 (U1nX')xW ,
((Pi
1x1
xwo
whose image, p'(U1nX')xW , is an open set of the quadrant * n) + =(E'xG1xR * n) + * E'xGlx(R (P1l...'Pn) (Pll.. * rPn)"P3 Then we have the chart of XI * * * n c;*=(UllWlI (E'xGlxR I (Pll
* . lPn)oP3) 1
I
W0
122
Chapter 3
Thus @p;(y)=(p'(y)
*
,O,O) for y€U1nX'.o
Proposition 3.1.12 Let X be a differentiable manifold of class pI X' a submanifold of class p of X and x'~(intX)nX' (PEN if dimX,X'=+m and x'EaX').
c'=(U',p',(E',A')) be a chart of X' with x'EU' and Then there is a chart c=(U,p,E) of X such that x'EU, UnX'cU', E=E'xF where F is a real Banach space, ip(y)=(p' (y)'0) for yEUnX' and p(UnX')=p(U)n(Ei,x{O)).
Let p'(x')=O. p(x')=O,
Proof. Let us consider a chart c1=(U1,pl,E1) of X adapted to X' at x' through (FlIM). Then F1 is a closed linear subspace of El which admits topological supplement G1 in El, x'eU1, pl(x')=O, + Therefore E1=FlaTG1, a:E +F xG defined by pl(UlnX')=pl(Ul)nF 1 1 1'
.
a(v)=(vl,v2),
v1+v2=vI is a linear homeomorphism and apl(U1) is
an open set of (F1xG1) with (0,0)~ap,(U,).
0
0
Let A=V XW cFlxGl be
an open set of upl(U1) such that (0,O)eA and p1'a'(A)nX'cU' where V 0 , W0 are open neiqhbourhoods. Then we have the following
This chart is adapted to X' at x' through (F1xOI Mpl) and chart of X', where is
Consider
the
diffeomorphism
of
an
open
class
p,
set
of
6 : (VonF+ )xWo+(V onF+ )x(0)xWo (p; 1 u1nX' 'xlWo >(U1nX')xW * 0+ lM IM * 0 +cp ' (U,nX ' ) xW .  1 * whose image p' (U,nX')xWo is an open set of the quadrant 1 + E',xG =(E'xG ) A 1 1.A'P1'
Submanifolds and Immersions
o + * Now we take h:V nF +pt(U1nX') that is @=hxl o I W
123
, defined by h(y)=p'pl *1 ( y , O )

lM
and a diffeomorphic extension of h, h:S1+S2
(see 2.1.35) , where S1,S2 are connected open sets of F1,E' 0 + * respectively such that OeSlcV , 0eS2, S2nEiIcp'(U1nX') and + h(y)=E(y) for all yes nF M'
.
Then we have the following chart of X: c** 1 1 0 1 OL ''1'( O)aplIH"P,
* HnX'cUlnXrcU',

and x'EH, p(x')=O, and (P(HnX')=F(H)n(Eifx(O)) .o If
ax+$,
W
p(y)=(p'(y)
,O)
E'xG1) for all ycHnX'
aX'+qj, and x'nax+$, we have the following example:
Example 3.1.13 and X'=(R 2 ) + (htPl) (PllP,) X is a differentiable manifold of class of class rn of X. Set X= (
R ~
+
where h (x,y)=yx. Then mI
and XI a submanifold
Consider the local diffeomorphism at ( 0 , O ) of class m, 3 p ~ : R 2 + l R 2 , defined by p' (x,y)=(x +x,y3+2yx). Then p'(Xt)=Xl, p~(o,o)=(o,o) , pl(axl)=ax, and DpI(0,O) is a linear homeomorphism. Therefore, from 2.2.6, there are U',V' open sets of XI with (O,O)eUtnV' such that p'IuI:Uf+V' is a diffeomorphism 2 of class m. Then ct=(Ut,p'IUII(R , ( h , p 1 ) ) ) is a chart of XI. Suppose that c=(U,p,(R2 , ( h 1 , A 2 ) ) is a chart of class pr3 of UnX'cU' and pIunxI=p~IunxI. Then X with (O,O)eU, p ( O , O ) = ( O , O ) , 2 2 k k Dp(O,O)=Dpt(O,O), D p(O,O)=D p~(O,O),...,D p(O,O)=D p ~ ( O , O ) , . . . .
124
Chapter 3
Furthermore
and therefore hl=plI h2(x,y)=x+y and ~(x,O)=(a(x),a(x)), where a is a function of class pz3 with a ( O ) = O and al(0)=l. From 2.1.29, we know that for every CU and that H=B6 (0)n ( R2 ) (PllP,)
E>O,
there is 6>0 such
+
D ~ P ( O , O( ) ( ~ ~ (2)) 0)
~
~ ~ (( 0 ( ~~~ (3)) 0 0 )),=
~~P(xlo)DP(olo)(xt0)2! 3! 3 =II (a(x)xx Ia(x)+x)IISEXP for all (X,O)EH. 3 p3 or if we have taken E= 1 But Hence x 52cxP and Bx 2E 5 ~ x ~for  ~ all (x,O)EH and pz3 is a contradiction. Hence the chart c cannot exist.
=.
Remark Let XI be a totally neat submanifold of XI x'EX'nBkX. Consider the following items: chart (U,p,(E,A)) of X adapted to X' at x' through (E',h') , E'[email protected](~;, ...,XI) k where (xi,. ,xi) is a linearly independent system of elements of El such that 0 h i (X! ) = 6 A'=(hi , . . . , h i ) and [email protected](x l,...,~k) where J ij' (xl,...,xk) is a linearly independent system of elements of E A=(hl,...,hk). Then we have seen that such that hi (x. ) =6 0 I ij', ,x;C)=EI E',cEA and there exist a1 , 6 k ~ Rwith ai>0 EAoTL(xi A for all k(1, k) and a bijection ~ : ( l , k)+(l, k) such
..
,...
that for
(v
,...
...,
...,
X'
=
...,
x (k)} we have hi (w. t(l),.. w.=,'3 ) =6 ijl (we can
%(l). . 't(k) suppose xl=wl, ,xk=wk and then L (xi, ,xi)=L ( x1 , Therefore there exists a linear diffeomorphism L(xi '...,xi) onto L(xl, ,xk) defined by a(x;)=wl,
...
...
...
and
0
EA=E'i,@TF,
where
FnE'=(O).
...,xk)cE' ) . a from a(x')=w k k
...,
As
a
consequence,
the map
0 @ :E+EI A I xFxR
defined by @(v)=(v 1~v21r11***lrk)l where v +v +a(rlxi+...+r x')=v, is a 1inear VIEE'Al IVZEF, 1 2 kg k + and diffeomorphism. Moreover @(E;)=EtA,xFx(R ) (Pl,*.'tPk) 0
k ,( p l , . cl=(u,@~(p,(EtAIxFxR 0
..,pk)op3)),
where fj3:E'Al~F~R 0 k4k, is
Submanifolds and Immersions
a
chart k + (E'Atx(o)xR (p,,
of
0
with
X
X'EU,
 c(E'~,xFxR 0 k) +
...,pk)op3
125
(PI,

*
BOP (x' 1=o,
and
IPk)OP3
.
 In other words, c1 is (P11"*IPk)oP3 k adapted to X' at x' through, (E':,x(O)xR ,(pl, .,pk)op3).
B(P(UnX ) =B(P (U)n (EI : ,
x ( O)xRk)
+
..
We can summarize the preceding remark with the following proposition. Proposition 3.1.14 Let X'
be a totally neat submanifold of a manifold X and
x' EX' nBkX.
Then there (U,4,(GxFxRk ,(pl, ,pk)0p3)) k (Gx(o)xR J(P11"'lPk)"~3)'0
.. .
is adapted
a to
X'
chart at
of
x'
X, through
Proposition 3.1.15 Let X' be a totally neat submanifold of a manifold X, ct=(U',p',(E',At)) a chart of X' and x'EU' with cp'(x')=O. Then of X such that x'EU, there is a chart c=(U,p,(E'xF,h'opl)) UnX'cU', (p(x')=O,
1
(P (UnX' =(P
(U)n(E'x( 0 1 ) ;,pl=(P
+
(U)n(Ei,x( 0 1 )
and p ( y ) = ( p ' ( y ) , O ) for all ydJnX'.
..
k Proof. Let k=card(A') and cl=(U,4,(GxFxlR ,(pl,. ,pk)op3)) the chart of X constructed in 3.1.14, that is c1 is adapted to X' at x' through (Gx(0)xlR k ,(pl, ,p,)op,). Then x'EU,~(X')=O,
...
k + 4(UnX' ) =4(U)n [ Gx ( 0) x (IR ) ( P l t * * * I P k] ) and this set is an open set k + Moreover of Gx(o)x(R {pl,. ,pk) (UnXt,41unx,,(Gx(0)xR k ,(p,, .,pk)op3)) is a chart of X' with x'EUnX' and 4(x')=O. Then the set (~'(Unu') is an open set of Eif, k + *lunx,(unu') is an open set of Gx(O)x(R )(pl,,.,,pk), 41UnX,p' 1:(P'(U~U')+~~~~~,(U~U') is a diffeomorphism of class p
..
..
and (P
' (9I UnX
I
)I.' 4IUnX t (UnU' 1+(P
' (UnU' 1
126
Chapter 3
is a diffeomorphism of class p. Then there is an open set U1 of U 0 0 0 k + such that x'eU1 and q (U,) =V1xV2xV3c9(U)cGxFx (IR ) (Plr***rPk) 0 0 Vlx(0)xV3cQ(UnU'). Therefore the map 6: U 1 "
q
0
0
0
xv xv 3+~'*
1
0
0
0
(Vl~(0)~V3)~V2
is a diffeomorphism of class p and im(6) is an open set Then (U1,6,(E'xF,A'~pl)) is a chart of X such that X'EU~, + 6 (x' ) =O, U1nX'cU', 6 (UlnX') =6 (U,) n(Ei,x( 0)) and 6 (y)= (p' (y) 0) for all ycU1nXrcU'. o Propositions 3.1.11, 3.1.12, and 3.1.15 allow us to study the transitive property of the notion of a submanifold. Proposition 3.1.16 Let X'
be a submanifold of class p of X and let XI1 be a
submanifold of class p of X'. Then w e have: a ) If X' is a totally neat submanifold of X then XI1 is a submanifold of class p of X (see 3.1.15). b ) If XI1cintX, then XI1 is a submanifold of class p (PEP(
if
with dimXllXr=m and xI1EaX') of X (see 3.1.12). there is xw1~XI1 c) If ax'=$,
then XI1 is a submanifold of class p of X (see
3.1.11).
Proof. a) Consider XI~EX~~CX'CX and let c'=(U' r p ' (EtrA')) be a chart of X' adapted to XI1 at x1I through (F,M) Then x~~EU' r p r( X * ~ ) = O , (p' (U'nXIl) =p' (U') nFi and FACEAT. By 3.1.15, there is a chart c=(Urpr(ErxFl,A'pl)) of X such that xWJ, UnX'cU', p(xI1)=Or + ' x ( 0 1 1 + (E CP (UnX 1=cP (U) =(P (U)n (EI;~x ( 0 1 1 and CP (Y = (CP ' (Y1 r 0 ) for
.
A'P1
+
ycUnX'. Then it is clear that p(UnX1l)=p(U)n(F,x(0)) chart of X adapted to XI1 at x1I through (Fx(0),Mpl)
.
b) Consider x ~ ~ E and X ~let ~ c'=(U'~~',(E',A'))
and c is a
be a chart of X'
Submanifolds and Immersions adapted to XI1 at x1I through + cp' (U'nX1I)=cp' (U')nFM and FACEAT.
(F,M).
127
Then
x~~EU',~~(X~~)=O,
By 3.1.12, there is a chart of X, c=(U,cp,E), such that x"EU, (P(x~~)=O, UnX'cU', E=E'xF1, cp(y)=(cp'(y) ,0) for yeUnX' and
+
cp (UnX' 1=cp (U)n (EA,x ( 0
1*
Then
cp (UnXll)=cp (U)n (FLx( 0)) and c is a chart of X adapted to XI1 at x1I through (Fx(0) ,Mpl).
c) Fix X ~ I E Xand ~ ~ let c'=(U',cp',E') to XI1 to xI1 through (F,M). + + cp' (U'nX1I)=cp' (U')nFM and FMcE'.
be a chart of X' adapted Then x~~EU', ( P ( X ~ ~ ) = O ,
From 3.1.11, we get a chart c=(U,cp,(E,h)) of X such that * n * where xIIEU, cp (XI@) =0, UnX'cU' , E=E'xGlxR , h = ( p l , . ,pn)op,, * n=indx (x") , p3 is the third projection and cp(y)=(cp'(y),O,O) for yEUnX'. Moreover cp(UnX')=cp(U)n(Etx(0)x(O)). Then cp (UnXll) =cp (U)n (FLx( 0)x ( 0) ) and c is a chart of X adapted to XI1 'at xn1 through
..
(Fx(0)x(O),MPl)
0
Proposition 3.1.17
Let f:X+X' be a diffeomorphism of class p and XI1 a submanifold of c l a s s p of X. Then f(Xll) is a submanifold of class p of X'. Moreover, XI1 is a neat submanifold if and only if f(X") is a neat submanifold and XI1 is a totally neat submanifold if and only if f(Xll) is a totally neat sub manifold.^ Proposition 3.1.18
Let Y be a submanifold of class p of X, k d " ( 0 ) and yaBkY. Then there is an open set U of X such that YEU (BkY)nU=Bk(YnU)cBk,X, vhere k'=indX(y). In particular, if BY=#
Chapter 3
128
then there is an open set U of X such that yeU and YnUcBk,X (BOY=Y)
.
Proof. Since Y is a submanifold of X and yeY, there is a chart c=(U,p,(E,h)) of X with yeU,p(y)=O and there exists (F,M) such + + , p(UnY)=cp(U)nFM+ , card(h)=k' and card(M)=k. From that FMcEA FACE: we have that F ~ c and E ~ hence (BkY)nUcBk,X.o 3.2.
Immersions
There are several possible definitions of an immersion. We choose here one in which the function is, locally, an inclusion map. Definition 3.2.1 Let f:X+X' be a map of class p and xcX. We say that f is an immersion at x if there are a chart c=(U,cp,(E,h)) of X with cp(x)=O and a chart c'=(U',p',(E',h')) of X' vith cp'f(x)=O such that f(U)cU', E is a closed linear subspace of E' vhich admits a topological supplement in E', cp (U)CP' (U' 1 and 1 p'flUp :p(U)+p'(U') is the inclusion map (then, of course, E:cEl;f and EhcEA,). 0 0
If f is an immersion of class p at every point XCX, we say that f is an immersion of c l a s s p on X. ProDosition 3.2.2 Let f:X+X' be a map of c l a s s p. Then ve have that the set {xeX/f is an immersion at x) is an open set of X. Proof. Let xcx such that f is immersion at x. Then there is a chart c=(U,cp, (E,h)) of X with xeU and cp(x)=O and there is a chart c'=(U',cp', (E',A')) of X' with f(X)eU', cp'f(x)=O, such that f(U)cU', E is a closed linear subspace of E' which admits cp (U)CP' (U' 1 and topological supplement in E', p ' f ,ucpl:cp(U)+cpt (U') is the inclusion map. Therefore Ef;cEAf. Let us consider yeU with x+y. Then cp(y)+O
and we take
Submanifolds and Immersions
Al=( &A/p(y)
129
.
On the other hand p'f (y)=p (y)+O and we take A;=(h*~A'/A'p(y)=o). It is clear that there is &>O such that for the open ball B&(p(y)) of E' it holds BE(p(y))nEi=#, where E{=(xEE'/~(x)sO), for all heA'A; and B&(p(y))nE,=# for all heAAl
=0)
and B&(p(y))nEA,cp'(U') +
and B&(p(y))nE;cp(U).
and
Let us consider &Ifor ~ all x,yeE. It is clear that is an inner icI product in E and IIxl12= for all xeE. Thus (El) is a real Hilbert space that will be called Hilbert direct sum of the family of real Hilbert spaces ((Ei,i))ieI. This Hilbert direct sum will be denoted by ( (B Ei,). ieI Theorem 3.3.7 Let X be a Hausdorff paracompact differentiable manifold of class p whose charts are modeled over real Banach spaces which satisfy the Urysohn condition of class p (1.5.4). Then there are a real Banach space, (E,II 11). and a closed embedding f:X+E of class p. Therefore the manifold X is diffeomorphic of class p to a closed submanifold of E, (3.3.2). Moreover it holds the following local property: For every xeX there are an open neighbourhood Wx of x in X, a closed linear subspace El of E and a quadrant (E ) + of El, such that dl :Wx+(E ) + is an embedding of class p and f(Wx) is a totally f IWX dl neat submanifold of (E ) + . dl
Submanifolds and Immersions
153
Proof. Since X is a Hausdorff paracompact space, X is a regular space and using 1.4.8 we get for every xeX a chart cx=(Ux,pxl ( E x l h x ) ) of X I with X E U ~ ,p,(x)=O, px(Ux) bounded in Ex a closed set of X if and only if p,(F) is a and such that closed set of is an open covering of X I there is a Since U=(UJxeX) locally finite open refinement (Ui)ieI of 91. For all is1 we take u.cux Then X.EX such that
' i
1
J=(ci=(Uilpi=pxilUir (Ei=Ex
i
,hi=h
xi
) ) )ieI
.
is an atlas of class p
of X such that (Ui)ieI is a locally finite family and FcUi is a closed set of X if and only if pi(F) is a closed set of E i . Since X is a T4 space there is a contraction, V=(Vi)iEIl of (Ui)ieI. Vi=X. By the That is, VicUi for all ieI, Vi+# for all i e I and ieI same argument there is a contraction W=(Wi)ieI of V with Wi+# for all isI. Then for all ie1, pi(Fi) is a closed set of (Ei)i4cEi and p.(wi)cpi(Vi). 1 Having in mind 1.5.4, for all ieI L
is a function A i : E i + [ O l l ] of class p Ai( (Ei)Aipi(vi) + and b p i (wi)= t 1)
there
can
Then
) cpi (V,) cpi (ui) for all ie1.
A=Supp (A
It
such that
be
'ilxp;l(suP??(AiI
easily
seen
( E i ) A, +
))=O,
that
i' I U,I
is
of
i
X=Uiu(Xpi (A)) and
1
class 1
pi (A)
is
ui
p, a
closed set of X. Therefore qi is a map of class p. Let 1 be the norm of EixR for ieI and let ( E l 1 11) be the Hilbert sum of the family of real Banach spaces ( (EixR, [ li) )ieI.
prove that
C l'i
ieI
(x)igx
Then there is a unique differentiable structure of class p on U/Su such that i is a diffeomorphism of class p. Since i is a submersion of class p, qu is a submersion of class p and Su is regular in U.0 Lemma 4 Let X be a differentiable manifold of class p and S an :S+X is an open map. equivalence relation on X such that p 21S suppose that X= (JUil where Ui is an open set of X with ie I q'q(Ui)=Ui for a l l i d and suppose that Su =(UixU.)nS is a 1 i regular equivalence relation on Ui for all ieI. Then S is a regular equivalence relation on X, (q:X+X/S is the projection
map).
From Lemma 2 it follows that q(Ui) is an open set of X/S with the quotient topology, Tc, and we consider the following commutative diagram:
Chapter 4
196
where aiqui (x)=q (x)
.
A
It is clear that the map ai:Ui/S
+q(U.) is surjective. This 1 ‘i way there is a unique differentiable structure [ai] of class p over q(Ui) such that ai is a diffeomorphism of class p. Then q:Ui+(q(Ui),[di]) is a submersion therefore an open continuous map for all iEI. By
the
definition
of
quotient
of
topology
class
we
see
p
and
that
On the other hand, q(UinU.)=q(Ui)nq(U.) is an open set of 3 3 both (q(Ui),[di]) and (q(Uj),[Bj]), for all i,jcI. Hence the maps [ a .3 ) and q:UinU.+(q(UinU.), 3 3 1 Iq(U.nU.) 1 3 q:UinIJ.+(q(UinU.), 3 3 [d.] 3 IS(UpJj)1 are surjective submersions of class p and therefore, from 4.1.6, we deduce [’i] 1 q(uinu. )=[’j J 1 q(uinuj) 3 Then, by 2.4.5, there is a unique differentiable structure [d] of class p on X/S such that for all i c I , q(Ui) is an open set of (X/S, [all and [dl Iq(ui)=[dil.
is a submersion of class p Moreover the map q:X+(X/S,[d]) and therefore S is a regular relation over X.0 Lemma 5
Let X be a differentiable manifold of class p and S an equivalence relation on X such that S is a submanifold of XxX and
Submersions and Quotient Manifolds the map p
llS
197
:S+X is a submersion of class p.
Suppose that X= ()Ui, where Ui is an open set of X, and that ie I is a regular equivalence relation on Ui for all ieI. Then S SUi is a regular equivalence relation on X. Proof :S+X is open and by Lemma 2 the map q:X+X/S 21S is open and continuous, with respect to the quotient topology Tc on the set X/S. By Lemma 1, p
Thus, Vi=q'q(Ui) is a saturated open set of X for all ieI and X= 0Vi. On the other hand (VixVi)nS is a submanifold of ie1 Vixvi and the map pI1(vixvi)ns: (VixVi)nS+Vi is a submersion of class p. Then, from Lemma 3 applied to Vi, we see that Sv on Vi.
i
is regular
Finally by Lemma 4, S is regular on X.0
Lemma 6 Let X be a differentiable manifold of class p and S an equivalence relation on X such that S is a submanifold of XxX. Let j:S+XxX be the inclusion map. Then for every xeX ve have Nx= ( veTxX/ (v,0)e (T is a linear subspace supplement Kx in TxX. Proof
Since AcS , s and T(xIx) (k)(T(x,x)A)cT (x,XI H=(T (XIx) Pl'T ! X I x)P2)T (x,x ) (j)(T(x,x)S ) cTx (X)xTx (X), where k: A+S is the inclusion map.
198
Chapter 4
Moreover
(T(x, x)PlJ( x,x)P2)T (x,x) ( j ) T (x,x) (k)(T(x,x)A)=  (T(x,x)p1 fT(x, x)P2)T( x,x! (i)(T(X? x)A) is the diagonal, D, of the space Tx(X)xTx(X),
where i:A+XxX is the inclusion map.
and Tx(X)x(0) are closed linear subspaces of Tx(X)xTx(X) such that Dn(Tx(X)x(0))=( ( 0 , O ) ) and D+(Tx(X)x(0))= BT ( Tx (X) x ( 0 ) ) =Tx(X)xTx (X) Let 0 be =Tx(X)xTx (X), we have that the linear homeomorphism 0:Dx (Tx(X)x( 0 ) ) +Tx (X)xTx(X) defined by 0( (u,u), (v,O))=(u+v,u). Since
D
.
On the other hand Nx is, also, a closed linear subspace of Tx(X) such that DnCNxx(0))=((O,O)) and D+(Nxx(0))=H. Hence D is a topological supplement of Nxx(0) and the map O1 :HDx (Nxx( 0)) defined by 0,(u,v)=((v,v),(uv,0)) is a linear homeomorphism. admits a topological supplement in Tx(X)xTx(X), there is a linear continuous map, q: Tx(X)xTx (X)+Tx (X)xTx (X) such that q o q = q and H=im(q). Since H
Let us consider the surjective linear u=O1OqoO: Dx (Tx(X)x ( 0 ) ) +Dx (Nxx( 0 ) ) CDX(Tx(X)x ( 0 ) )
.
continuous
It is clear that a a = u and u((v,v),(o,o))=((v,v),(O,O)). us consider the commutative diagram:
where
Or
is the
u ( t+Dx ( ( 0 , O )
surjective
)=u(t)+Dx(
linear continuous map
( 0 , O ) ).
Finally consider the linear diffeomorphisms:
defined
map
Let
by
Submersions and Quotient Manifolds
199
Lemma 7 Let X be a differentiable manifold of class p, xeBn(X) and S an equivalence relation on X such that S[aX]=aX, S is a neat submanifold of XxX and p :S+X is a submersion of class p. llS Consider the space N ~ = ( v E T ~ ( x )(v, / 0 )E (T the space
P ~ , T ( ~P ,,) T(x,
(j1 (T(x,
S)
1,
H=(T (x,x) p1 (x,x)p2) (x,x) ( j (T(x,x)s 1 CTx (XIxTx (XI and a space Kx, which is a topological supplement of Nx in Tx(X), (see Lemma 6). Then dim(Xx)hn. Proof :S+X is a submersion of 21S class p. Moreover aS=Sn ( a (XxX)) =Sn [ (XxaX)u (aXxX)3 =Sn (aXxaX) and therefore p2(aS)caX. Then by 4.2.3 we have that )l((x))=Yx(x) is a closed submanifold of S such that From Lemma 1 we deduce that p
(Yx(x))=dimxX, where j :Yx(x)+S and codim (x,XI map.
is the inclusion
:S+X is a submersion of ind (x,x)=n. Since p S llS class p and pl(aS)cCJX again by 4.1.14, pl(BnS)cBnX. Therefore YcBnX, Y is a submanifold of BnX and Y is a submanifold of X. By 4.1.14,
Chapter 4
200
Since p
11 (YX{X))
:Yx{x)+Y is a diffeomorphism of class p and
(x,x) (j)T(x ,x) (Yx(x) ) =kerT (x,x)(P2lS) we have (x,x) (Pl) (x,x) (k)(T(x, x) ( YX( X 1 1 1=TX( l )Tx (Y1=Nx where L:Y+X and k:Yx(x)+XxX
are the inclusion maps.
Finally, dim ( Kx)=codim (Nx)=codimx (Y)hcodimx (BnX)=n. Lemma 8 Let X be a differentiable manifold of class p and S an equivalence relation on X such that S is a neat submanifold of XxX, S[ax]=aX and p :S+X is a submersion of class p. Then, for llS every XCX there is a neat submanifold A of X such that XEA and Tx(j)Tx(A)8TNx=Tx(X), where j:A+X is the inclusion map and Nx is defined as in the preceding Lemma. Proof Let c=(U,p,(E,h)) be a chart of X centered at x, F the space
x 1
(Kx), where K, is a topological supplement of Nx, and G the x 1 If xeint(X) then space (Oc) (Nx) Then E = F Q ~ Gsince TxX=NXeTK,. 1 A=p (p(U)nF) is a submanifold of X with O(A)=# which fulfils the X requirements of the lemma: Oc(F)=Tx(j)(TxA)=Kx. (Oc)
.
Suppose that xsBnXcaX with nrl. Then, by the preceding lemma , dim (F)anal Therefore there are a closed linear subspace ,vn) of elements F1 of F and a linearly independent system {vl, of F, such that F=F 8 L(vl, ,vn). Thus E=(G+F ) 8 L(v l,...,~n) 1 T 1 T + and G+F1+E. Then int(EA) is not contained in G+F1 since otherwise
.
...
+
...
+
G+F 1G+Fl>int(EA)=EA and G+F1=E which is a contradiction. Hence
+ (G+F1) and &>O such that BE (w,) cint (Eh) + and there are wlsint (Eh) B, (wl)n(F1+G)=#. Then the vector w1 fulfils the following conditions:

201
Submersions and Quotient Manifolds
c) If n>l, then Bc(wl)[(G+Fl)+L(wl)] is not contained in
0
EA+L(wl) * Let w2 be an element of BE (w,)  [ (G+F1)+L(wl)] such that w dE0+L{wl). Then: 2
A
0
a) EAnL(W1 I w2 )=( 0
s not contained in
c) If n>2, then Bc(wl)[(G+F1
0
EA+L(wl ,W21 By
induction we obtain a linearly wn) of vectors of E such that:
...,
(wl,
+
.
independent
system
.
1) (wlf.. , W ~ ) C(wl)cint(EA) B~
2) E=(G+F1) @ TL(wl,...,wn), that is mT(F1+L(w lf...,~ n ))=E. 0 3) E=EAeTL(wl,
4)
ia(1,2,
0
...,wn ) .
...
...,
w ~ + ~ ~ [ E ~ + L (, w W~~,) ] W [ ( G + F ~ ) + L ( ~ ~ , wi)] 1111.
...,
for
all
Let us consider the closed linear subspace of E, +L(wl,...,wn). Then AF*=(A */Ash) is a linearly independent 1 IF * system of elements of X(F , R ) .
* F =F
We know that 0 E=EA8TL(ul,...,un), Then we have:
where A.(u.)=6 1 3 ij' AicA. Salnun I
0 0 where wi"EA.
+annun
Chapter 4
202
Since E 0nL(wl, A
...,wn)=(0),
la..I+O. Consider the matrix 13
and the vectors w;=bllwl+
1
...+blnwn
w'=b n nlw 1+...+ bnnw n These vectors of are linearly independent. Then we have that Ai(w!)=b. A . (wl)+. .+b. +b nani=6 ij 3 11 1 inA .1 (wn )=bjla li+ and therefore the vectors A n l F* are linearly independent.
* F
.
...
[
Moreover (F*)f; cEf; and a (F*)+ F* ].F'
*
*+
Finally (p(U)nF =p(U)n(F ) A
W
*
=(F * ) A + naEA. + F*
=B is a neat submanifold of p(U)
and pl(B) is a neat submanifoid of U, and therefore (pl(B)=A is a neat submanifold of X.
.
x (F* ) =Tx( j ) ( TxA) and Ocx (F* ) eTNx=Tx (X) Moreover Oc Lemma 9
Let X be a differentiable manifold of class p and S an equivalence relation on X.
PIIS
Suppose that S[aX]=aX, S is a neat submanifold of XxX and :S+X is a submersion.
Then for every xeX, there are an open set U of X vith XEU, a neat submanifold W of U vith xeW and a map r:U+W of class p such that r(aU)caW and for every YEU, r(y) is the unique element of W such that (y,r (y)) ES
.
Proof. Let x be an element of X. From Lemma 8, we obtain a neat submanifold A of X such that XEA and Tx (j) Tx ( A ) eTNx=Tx (X), where j:A+X is the inclusion map and Nx is defined as in Lemma 7.
Submersions and Quotient Manifolds We
consider
submersion
of
the
class
set p
c=(AxX)nS.
with
Pl I :s+x
is
a
(P, I s) l (A)=c
is
a
Since
p1 (as) caX,
203
that and is the inclusion map, (4.2.1). The map p
21c (x,x) . Indeed :
:c+X is a local diffeomorphism of class p at
a) Let vsTxX. Then, by Lemma 1, there is hcT (S) such (XrXI ) (h)=v. On the other hand (Xr X2I'( I s is the (T( x p x)P1tT (x,x)P2)T(x, x) (k)(h)= (s,t) , where k: S+XxX inclusion map and t=v. Moreover s=u 1+u 2' where u1eNX and Theref ore u2€Tx (j1Tx ( A ) that
.
(u1 0 ) (T(x, x)p1 IT( x,x)p2)T( x,x) (k)(T(x,x)S)=Hr (UZ~VIEH. Then ~ ~ ~ ~ ~ ~ ~ ~ LET
(s,v)EH and ~(k)(~t ), x where , x and Then tv)=u2
(xrx)s' 1 T (x,x) (PlI s ) (t)=T(x,x)p1 (T(x,x)p1 J( x, x p 2 ) 2'( and t=T LET (x,x) (.a)T(x, x) (.a) ( a ), where acT (Xr X) ) (a)=v and the map T Finally T ) (xrx) 2'( I (xrx) 2'( I s surject ive map.
(c)
is
a
~
204
Chapter 4 c) Of course (p
U1,U2 of X such that
) (a1)caX. By
2'c xeU1~U2and
2.2.6,
there are open sets
is a diffeomorphism of class p. Let f be the inverse diffeomorphism. It is clear that f(y)=(p(y),y) for all yeU2, where p=p;oiof, i:cA(U1xU1)+AxX is the inclusion map and p;:AxX+A is the Is'projection. Then p:U2+A is a map of class p, U2cUl and p(y)=y for all ycU2nA. Let us consider the open set U = P  ~ ( A ~ U ~of ) X I the submanifold W=UAA of U, and the map of class p, r=plU:U+AnU2. Then xcW , r (U)cW , xcU , aW= (ax)AW= (aA) n U = h (ax)AU and r (aU)caw. If yau,
then r(y)cW
and
f (y)=(r(y) ,y)cCcS and
therefore
(Ylr(Y)) e S .
Lemma 10 With the same hypothesis and notations xcX, U, W, r of the preceding lemma, there is an open set U' of X, such that xewcu'cu and Su, is a regular equivalence relation on U' which verifies that Sw (aW)=aw. Proof If i:W+U is the inclusion map, then ri(y)=r(y)=y for all yew. Therefore r:U+W is a submersion of class p at every point of W. Then, by 4.1.15, the set UI=(yeU/r is a submersion at y) is an open set of U which contains the set W and r :U'+W is a I U' submersion of class p. Consider the commutative diagram:
Submersions and Quotient Manifolds r U'
I U'
205
+w
* d
U'/SU,
It is clear that qu, I w is a bijective map and therefore there is a unique differentiable structure of class p on U'/Su, such that q u , l w is a diffeomorphism of class p. Then q
I U'
is a submersion and Su, is regular in U ' . o
Now 4.3.14.b) and Lemmas 9, 10, 5 and 4.3.13 statement a) of 4.3.14.0 Corollary 4.3.15
prove the
(Main Theorem on Quotients and Regular Equivalence Relations for Manifolds whithout Boundary).
Let X be a differentiable manifold of class p vith ax=# and let S be an equivalence relation on X. Then the following statements are equivalent: a)
S
is regular. (Hence a(x/s)=@, 4.1.11.)
b) S is a submanifold of XXX with a(s)=#, and p lls:s+x is a submersion of class p. c) S is a submanifold of XxX with a ( S ) = # and for every ( x , y ) ~ Sthere are an open neighbourhood U of x in X and a map f:U+X of class p such that f(x)=y and (z,f(z))~S for z~U.0 In the theorem 4.3.14, the condition S(aX)=aX is taken as an essential hypothesis. Next we shall investigate the condition S[intX]=X. Lemma 4.3.16
Let X be a differentiable manifold of class p and S a regular equivalence relation on X. Then S[intX]=X if and only if a(x/s)=#.
Chapter 4
206
Proof If S[intX]=X then, by 4.1.11, a(X/s)=#. Suppose, now, that a(X/S)=# and x&X. Then there is krl such that x€Bk(X). Since q:X+X/S is a submersion of class p on X and a(X/s)=#, by Lemma 4.1.17 there are a chart c=(U,p, (ExGxRk,Ap3)) of X centered at x, a chart c'=(U',p',E) of X/S centered at q(x), such that q(U)cU' and the map p,qp':p(U)+E coincides with the map pl,p(u):p(U)+E, where pl:ExGxR k+E is the lStprojection, p3:ExGxRk+Rk
...,pi)
is the 3dprojection, A=(p;,
the ithprojection (therefore, (ExGxRk)+
and pi:R k+R is
=ExGx (W k ) A +)
.
+ and there is Then p(U) is an open set of ExGx(R k ) A such that (O,O,a)€p(U). It is clear that aaint (Wk ) A+ y=p"( (O,O,a))aintX and p'q(y)=O=p'q(x). That is, q(x)=q(y) and consequently xSy o
.
Theorem 4.3.17
(Main Theorem on Quotients in Case a(x/s)=#).
Let X be a differentiable manifold of class p and S an equivalence relation on X. Then the folloving statements are equivalent: a) S is regular and a(X/S)=#. b) S is a neat submanifold of XxX, p of class p and s[intx]=x.
lls
:S+X is a submersion
c) S is a neat submanifold, S[intX]=X and for every (x,y)sS there are an open neighbourhood U of x in X and a map f:U+X of class p such that f(x)=y and (z,f(z))~S for zaU. Proof In 4.3.14 b)=)
we actually proved b')ec')
and therefore we have
Submersions and Quotient Manifolds
207
a)+c). From the preceding lemma we have S[intX]=X. Since a(X/S)=#, the diagonal A of the manifold X/SxX/S is a submanifold without boundary. Then, by 4.2.11, we have (qxq)"(A)=S is a submanifold of class p of XxX such that a(s)=sna(xxx) and therefore S is neat submanifold of XxX. Let (x,y)eS. Since q is a submersion at y, there are an open neighbourhood V of q(y) in X/S and a map of class p, s:V+X, such that y=sq(y) and qs(z)=z for zaV. Then the set ql(V)=U is an open neighbourhood of x in X and f=sq is a map of class p from IU U to X. Moreover f(x)=y and (t,f(t))aS for teU. b)+a). Since S[intX]=X, by Lemma 3 of 3.1.14, it suffices to prove that Sint is a regular relation on int(X). Since S is a neat submanifold of XxX, Sn(int(X)xint(X)) is a submanifold without boundary of int (X)xint (X) Moreover the map is a submersion of P1Isn(int(X)xint(X)) :Sn(int(X)xint(X))+intX class p. Then by Corollary 4.3.15, 'int (x) is a regular relation on int(X) .o
.
Examples 4.3.18 Let X=((x,y,z)eR 3/lsx2+y 2+z 244) and S the relation of equivalence on X defined by: (x,y,z)S(x',y~,z')ox 2+y 2+z 22 2 =x' +y' +zt2. Then we have that X is a submanifold of class m of R3 (4.2.1) and s[ax]=aX. On the other hand it is clear that S fulfils c) of 4.3.14 (4.2.1) and therefore S is regular. Moreover the manifolds X/S and [1,2] are diffeomorphic. A)
B) Let X be the differentiable manifold of class m, [l,l]x[l,l]xR, and S the equivalence relation on X defined by: (x,y ,2 ) s ( (x' ,y ' ,2 1 ) ) ox2+y22 z=z '2+y ' 2 z '
.
Then S is regular, a(X/S)=# and X/S,R
are diffeomorphic of
Chapter 4
208
class
m,
(4.3.17)
.
C) Let X be the submanifold of S 2 given by ((x,y,z)~S2 /zrO)
and R the relation of equivalence on X defined by: “zRyez=y or z=yvl. Then X/R is homeomorphic to the projective plane P2 by the map a( [x],)=[x]
,
(recall that P2=S2/R1,
where R1 is defined by:
R1
XR 1yex=y or x=y). In the example D) of 1.2, P2 was endowed of a natural differentiable structure [d] of class m such that a ( P 2 ) = # and is the quotient topology. Therefore there is a unique T [dl differentiable structure [dl] of class m in X/R such that u is a diffeomorphism of class m. Hence we have also that a(X/R)=# and is the quotient topology. Moreover R[intX]=intX+X. T [dl 1
2
Finally ( P 2 , [A]) is the quotient manifold of S by R1, (X/R,[dl]) is not the quotient manifold of X by R (4.3.17).
but
D) Groups of Transformations Let X be a differentiable manifold of class p and G a group. We say that G acts over X as a group of transformations if there is a map u:GxX+X such that: lo) For all geG, the map a *X+X defined by u (x)=u(g,x) is a 9 g‘ diffeomorphism of class p. 2’)
For all g,g‘eG and XEX, u(glu(g’rx))=u(gg’lx) (that is,
If G acts over X as a group of transformations through u and e is the unit of G, then u e=1XI (ueu e=u e ) and for all geG, 1‘ (a l=Qe=lX and u lug=ue=lX). g g g 9 If G acts over X as a group of transformation through u, then we say that:
Submersions and Quotient Manifolds
209
a) G acts effectively over X if: 'la (x)=x for all xGX+g=eI1 9 b) G acts freely over X if :"a (x)=x for some xcX*g=ell. 9 c) G acts discontinuously over X if for all XEX there is an open neighbourhood Vx of x in X such that VXngVX=# for all geG(e}. Note that if G acts discontinuously over X I then G acts freely over X. Let G be a group that acts over X as a group of transformations through a. Then the relation SGcXxX defined by: "xS yothere is gcG with ci (x)=y" G 9 is an equivalence relation on x. Concerning groups of transformations we have the following results: Proposition 1 Let X be a differentiable manifold of class p and G a group that acts discontinuosly over X as a group of transformations through a. Then SG is a regular equivalence relation on X such that SG [ 8x1 =ax. Therefore X/SG has a differentiable structure of class p such that the natural projection q:X+X/SG is a submersion of class p and q (ax)=a (X/SG)
.
Proof Let (x,y) be an element of SG. Then there is gcG such that
The map ctg:X+X is (zIag(z))cSG for all Z G X . On the other hand
a
diffeomorphism
of
class
since A is
p
a
and
neat
210
Chapter
4
submanifold of XXX and 1 X U is a diffeomorphism of class p, we x g have that (1 X U ) (A) is a neat submanifold of XxX. x g Since G acts discontinuously over X, we deduce that for all geG there is an open set A of XxX such that (1 xu ) (A)cAg and g x g A n(l xu )(A)=# for all g'€G(g). In fact we can take the open g x 4' set A of the form (I (VXxug(?)), where ? is an open g xex neighbourhood of x in X such that VxnglVx=$ for all g'eG(e). Thus SG is a neat submanifold of class p of XxX. Finally, since u :X+X is a diffeomorphism of class p for all g gcG, S,[aX]=aX and Proposition 4.3.14 ends the pro0f.o The manifold constructed in the preceding proposition has a special property. In order to establish it we need a preliminary definition. Definition 2
Let X,X' be manifolds of class p. We say that a map q:X+X' is a covering projection of class p if it is surjective map and if every point x'EX' has an open neighbourhood Vx' such that 1 x' q (V ) = \ J Ui, where Ui is an open set in X for all k 1 , UinU.=# 3 1E I for all i,jcI with i*j and q :Ui+Vx' is a diffeomorphism of IUi
class p for all ieI. Obviously, a covering projection of class p is a local diffeomorphism of class p and for all x'EX', the subspace q'(x') of X has the discrete topology. Proposition 3
Let X be a manifold of class p and let G be a group that acts freely over X as a group of transformations of X through u:GxX+X. Then SG is a regular equivalence relation on X and q:X+X/SG is a covering projection of class p if and only if G
Submersions and Quotient Manifolds
211
acts discontinuously over X. Proof The condition is sufficient. By Proposition 1, SG is a regular equivalence relation on X. For all [x]eX/SG there is an open neighbourhood Vx of x in X such that VXngVX=# for all gcG(e). Then q 1 (q(Vx))=(J gVx, so that q(Vx)=V[xl is an open geG neighbourhood of [XI in X/SG. On the other hand q .gVx+V[xl is I gvx' a bijective submersion of class p, whence q gVx+Vcxl is a I gvx' diffeomorphism of class p for all geG. Thus, q:X+X/SG is a covering projection of class p. The condition is necessary. For all xeX, there is an open neighbourhood VlX1 of [XI in X/SG such that ql(v[xl)=(J Vi, _ic 1 _ where Vi is an open set in X for all isI, V.nV.=# for all i , j d 1 7 with i+j and q :Vi+V[x3 is a diffeomorphism of class p. Let ix IVi be the element of I such that xeVi It follows that V. ngVi =# X
for all gcG(e).o Pronosition
.
x
=x
4
Let X be a differentiable manifold of class p and G a group that acts discontinuously over X as a group of transformations through a. Suppose that for all (x,y)eXxXSG there are open neighbourhoods Vx and Vy of x and y respectively such that VXngVY=# for all g e ~ . Then the quotient manifold X/SG is a Hausdorff manifold.
Proof From the hypothesis it follows that X is a Hausdorff space and therefore A is a closed set of XxX. Thus SG=(J ( (1 u ) (A) ) X' g geG is a union of closed subsets of XxX. The
hypothesis
implies,
also,
that
the
family
2 12
Chapter 4
(lXxag)(A) )gEG is a discrete family of closed sets of XxX and therefore SG is a closed set of XxX. (
Thus, by 4.3.11, space.
the quotient manifold X/SG is a Hausdorff
Particular cases
I) The ndimensional Torus Let
a ( ( z1
us
consider
X=Rn,
G=Zn
and
cf:GxRn+Rn
...,zn) , ( x1 ,...,xn) ) = ( xl+zl ,...,xn+zn) .
given
by
Then the group Zn
acts discontinuously over R" as a group of transformations through a and for every (xIy)~XxXSG there are open neighbourhoods Vx and Vy of x and y respectively such that VXngVY=# for all gEG. The quotient manifold, Rn/S n r will be called ndimensional Z torus and denoted by Tn. n n Since a(R )=#, a(T )=#,
(see Proposition 1).
Moreover Tn is a Hausdorff compact manifold (see Proposition 4) *
11) The Moebius Strip
Consider X=R2, G=Z and a:GxR 242 given by (x+z,y) if z is odd
[
a ( z r (XrY)) =
(x+z,y) if z is even Then the group Z acts discontinuously over R2 as a group of transformations through a and for every (xIy)~XxXSGthere are open neighbourhoods Vx and Vy of x and y respectively such that VxngVy=# for all geG. The quotient manifold, Since a(R 2 )=#,
2
R /Sz,
will be called Moebius Strip.
a(R 2/Sz)=#. Moreover the manifold
R2/Sz
is
Submersions and Quotient Manifolds
213
Hausdorff and noncompact. 111) The Klein Bottle
Let x=R2, G=Z 2 and
a:GxR
242 be given by (x+zl,y+z2) if z1 is odd
a((z1,z2) I (xlY))= (x+zl,y+z2) if z1 is even Then the group Z2 acts discontinuously over R2 as a group of transformations through a and for every (xIy)~XxXSGthere are open neighbourhoods Vx and Vy of x and y respectively such that VxngVy=# for all gcG. The quotient manifold, R2/S 2, will be
z
called Klein bottle. Since a ( R 2 )=#,
2
a ( R / S ,)=#.
z
Hausdorff and compact.
Moreover the manifold R 2/ S
z
is
IV) Lens Manifolds Let
m,L1,.
..,Lnc(N
be
such
that
el,.
..,t n
are
coprime
2n1 and (p: (H/mZ)xS2n1+S given by 2ni [ k]! 2ni [ k]! l/m , . . . , z ne n'm). Then the p([kl,(Z1,...tZ n ) ) = ( z 1e group Z/mZ acts discontinuously and effectively over S2n1 as a group of transformations through p, (note that H/mZ is a finite numbers,
group)
X=S2n1
.
The
quotient
manifold
S2n1/S
manifold and denoted by L(m,ll,.. Since a ( S
2n1
)=#,
a(S
"m;e ,en).
will
be
called
lens
.
/SZ,mz)=#.
2111
E) Stiefel Fmanifolds

The equivalence relation, on S(F,E) , given in the example H of 1.2 is regular and the map a:S(F,E)/ +(FIE) is a diffeomorphism of class m.
This Page Intentionally Left Blank
Chapter 5
2 15
SUBIMMERSIONS 5.1. Subimmersions. Tubular and Collar Neighbourhoods. Definition 5.1.1 Let f:X+X' be a map of class p and xcX. We say that f is a subimmersion at x, if there are a chart c=(U,p,(E,A)) of X centered at x, a chart c'=(U',p',(E',A')) of X' centered at f(x) with f(U)cU' and a continuous linear map u:E+E' such that ker(u) admits a topological supplement in E, im(u) admits a topological and p'ofluop 1=uI supplement in E', u(p(U))cp'(U') P(U) * We say that f is a subimmersion, if f is a subimmersion at every point XEX. ProDosition 5.1.2 If f:X+X' is a map of class p, then the set G=(xaX/f is a subimmersion at x) is an open set in X.
Proof Let xcG. Then there are c,c' and u as in the definition of subimmersion. Let ycU with y+x. Then p(y)+O and we consider the set Al=(A~A/Ap(y)=O). Of course Al can be empty. On the other hand we consider the set A;=(A'EA'/A'p'f(y)=O). It is clear that there where exists E > O such that BE(p'f (y))nEi,=# for all A'EA'A;, + E~,=(v'EE'/A' (v')sO), and BE (p'f (y))nE;,cp' (U') and there exists, 6>0 such that B,(p(y))nEh=# for all AEAA~, also, Bg (9(Y)1 nE;ccp (U) and u(B,(p(y)))cB,(p'f(y)) I since U(Cp(Y) )=p'f(y) In particular, we have B~(p'f(Y))nE~'f=B~((P'f(Y))nE;,+ and B,(p(y))nEdB,((p(y))nEA1. +


1
2 16
Chapter 5
p;f Iulp;l=uI(P
.
XEUCG o
1
(u
1
)
.
Therefore
f
is
a
subimmersion
at
y
and
ExamDles 5.1.3 a) If f:X+X' is an immersion at XEX, then f is subimmersion at x. Hence every immersion is a subimmersion.
a
If ax'=# and f:X+X' is an injective subimmersion of class p, then f is an immersion of class p , since in this case the linear map u of Definition 5.1.1 is an injective map, (3.2.6). b) If f:X+X' is a submersion at x and ind(f(x))=O, then f is a subimmersion at x, (4.1.17). c) If f , g are subimmersions at x1,x2 respectively, then fxg is a subimmersion at (x,,~,). Hence if f,g are subimmersions, then fxg is a subimmersion. d) Let E,F be real Banach spaces. Then u&(E,F) is a subimmersion of class m if and only if ker(u) admits a topological supplement in E and im(u) admits a topological supplement in F. Consider the set SB (E,F)=( uc2 E,F)/u class m).
is a subimmersion of
By 3.2.9,b) the set I(E,F) is an open submanifold of class 03 of Y(E,F) and by 4.1.16,b) the set Y(E,F) is an open submanifold of class m of Y(E,F).
Subimmersio m
217
Next we shall see that the set SB(E,F) admits a differentiable structure of class m without boundary such that the inclusion map j:SB(E,F)+I(E,F) is an immersion of class m. Let uOcSB(E,F), Eo a topological supplement of Go=ker(uo) in E and Ho a topological supplement of Fo=im(uo) in F. Let us consider the linear homeomorphisms 8:EOxGO+E, given by e(x,y)=x+y, and s:FOxHO+F given by T(x',Y')=x'+Y'. Thus for every ueI(E,F) I consider as a matrix
the map rlu~:EOxGo+FOxHO can be
[; where cf:EO+FO is given by 7 (x)=pZT1u€3(XI0) I 6 :GO+HO is
cf
#3 :Go+Fo given
3
(x)=plTlue(xlO)I r:EO+HO is given by is given by
i.e.
1
We define the set V homeomorphism) = ( U€V
= (uef( E I F)/a :E ~ + Fis ~ a 1 inear
EolHo) the
I,@
and
U
set
(u,, EolHo)=
/u(E)eTHO=F). Then we have that: (uoI EolHo)
.
st
is an open neighbourhood of uo in Y(E,F) V(uo,EoIHo) :EO+FO is a linear homeomorphism and Indeed, since u 01% ' U pltluO~(xlO)=uO(x)for all xcEoI it follows that u ~ E V ( ~ 0' 0' 0) .
On the other hand the map A: I( E l F)+2(E0, Fo) defined by A(U)=pltlUejo, where jO:EO+EOxGO is jo(x)=(x,O)I is a continuous V
(uoI Eo IHO)
zd)
V l H )=A1 (Iso(Eo,Fo)). Io'( 0 0 is an open set of P(E,F). map
Let ucv
and
(uoI Eo I Ho)

Then UEU
Therefore
if and only if (uoI Eo I Ho) is clear that
Indeed I it 6=7u16 . u (Eo)=T (t'lue) e' ( Eo)=t( ( c f ( X) I 7 (x)) /xeEo)= =t((x',~oL 1 (x'))/x'~F~)=(x'+7cf~ (X')/X'EFO)
and
therefore
218
Chapter 5
u(EO)+HO=F. Moreover F=u(EO)aTHO since u(EO)nHO=( 0) and u(Eo) ,Ho are closed sets in F. Thus ucU
if and only if u(Go)cu(Eo). That is EolHo) if and only if for every ycGOl there is x1€F0 such
(Uo1
U€U
(uoI Eo I Ho) that u(y)=x'+ral(x1)=B(y)+6 (y) Therefore ucu if and only if g = ~ a  ~ S . I,@ EolHo)
.
cSB(E,F).
Indeed,
if
it
UCU
is
clear
that
then EolHo) ' u(E)=u(Eo) 1 F=U(E)@~H~=U(E~)@~H~ and ker(u)=(xl+x2~E/xlcEolx2~Gola(xl)=~(x2) and r(xl)=6(x2) ) = =(a1 ,9(x2)+x /x EG ) . Therefore it follows that E=ker(u)oTE0 and 2 2 0 W 0 I
ucSB(E,F). 4th)
If ucv
No Eo,Ho)
then F = U ( E ~ ) @ ~ H and ~ , ueU
I
(uoI Eo I Ho)
if
and only if u(Go)cu(Eo). 5th) If UEU
(uoI Eo I Ho)
then F=u(E)oTHo and E=Ker(u)eTE0.
Let us consider the maDs:
defined
and
r
[; i].
e
where r1ue(xllx2)=(xllx2)
Then #1 and #2 are diffeomorphisms of class p inverse each other I
since
Analogously ##,, Thus u EV 0
c=[V
(UOIEOIHO)
if
u 1=# 1 (u)=t
then
(u)=u. EolHo) and #,(u,)=u (U0l
1 .
,#llf(EIF)is p
e
0 1
1
a
chart
of
I(E,F)
with
Subimmersions

Let
us
consider
the
set
219 K=(ual(E,F)/6=0),
where
:).
Then we have that K is a closed linear which admits topological supplement, )nK. UO€KnU( u ~ , E ~ , Hand ~ ) 41(u(uo,Eo,Ho) )=V (u,, o, 'ue(x,y)=(x,y)[; subspace of l(E, F)
T
set SB(E,F). We shall see that the collection B cmatlas over SB (E,F)
.
*
of these charts is a
Let us consider the Grassmann manifolds G(E),G(F) of E and F respectively and the set z (E,F)=( (G1,ul, F1)EG (E)xl(E, F)xG (F)/ uld(E,F), G =ker(ul) and F1=im(u ) ) . Then r(E,F) is a 1 1 submanifold without boundary of class m of G (E)x l (E,F)xG (F) Indeed :
.
Let (GO,uO,FO)~t(E,F).Then we take the index (GO,EO)eI(E), the
chart
c=(V
c =(U
Eof%o,Eo) ,@l,l(E,F)) of 1
(u,, Eo,Ho) constructed and
,Z(GO,EO)) l(E,F),
G(E) ,
that
we
the have
chart before
(FoI Ho1 , W O , H O ) ) of G(F) determined by the index (FO,HO)€I(F) Now, let c1xcxc2 be the product chart of G(E)xZ(E,F)xG(F) and let us consider the maps A:l(GO,EO)xV'O'(
the chart c2=(UH0
of
.
E 0,,H0 )xL(FO,HO)~Y(GO,EO)xV('of E 0 ,H0)xL(FO'HO)
Then the maps A and A l of class m are inverse each other and therefore A is a diffeomorphism of class m. Let us consider the chart of G (E)x l (E,F)xG (F),
220
Chapter 5
and
closed
the
subspace
I.
:)8',v)/p=6=v=O
E (Go,Eo)XE(E,F)xE ( Fo,Ho) ,
of It
is
clear
that
topological supplement in Z (Go,Eo)XE(E,F)XE( Fo,Ho) Then
'9(UE
we
have
that
[
9 (UEoxV
,o'(
KO
admits
a
.
E ,H )xUHo)nr(E,F))= 0
0
0xv (uo,E0,H0)XUHO)nKO'
Thus t(E,F) is a submanifold without boundary of class G(E)xE(E,F)xG(F), (3.1.4). Moreover p of class
m
x]
[; 10)
Indeed, the diagram
el,0)=t e', is commutative. Hence, is an immersion at (Go,uo,Fo) (3.2.61, Pal t(E,F)
where
i 0,t
of
:t (E,F)+E (E,F) is an injective immersion
I~(E,F)
such that p2(t(E,F))=SB(E,F). P, I
[ [
m
.
by
Then there is a unique differentiable structure [ a ' ] of m without boundary over SB(E,F) such that class P, I :t(E,F)+SB(E,F) is a diffeomorphism of class m. I~~(E,F) Therefore the map j:SB(E,F)+E(E,F) is an immersion of class m . ~
We note that the preceding diagram shows that 8* * cmatlas over SB(E,F) and [ d l ] = [ 8 ' ] . On the other submersion of class
hand the map * since c3 =
m,
p13:t(E,F)4(E)xG(F)
is a
is
a
Subimmersions
221
and
Finally, from the equality #,(U deduce
that
the
set
SB(E,F)
(UO,EO'HO) (uo,E 0 ,H0)nK, we =(uESB(E,F)/U(E)@,H,=F) is a
HO submanifold without boundary of class is an open set of SB(E,F). SB(E,F) HO
m
of I(E,F).
Moreover,
Lemma 5 . 1 . 4
+
Let EA be a quadrant of a real Banach space E vith card(A)s3 and let F be a closed linear subspace of E that admits topological supplement in E. Then the set FnEi is a submanifold + of class OD of EA.
Proof lst)If A=#,
the result is obvious.
+
zd)
If A=(A) and h l F = O , then F c E ~ c Eand ~ therefore EAnF=F and the result is also obvious. 3d)
result
A;=(A
I
If
A=(h)
follows F).
4th)
and
from
If A=(Al,A2)
+
for
3.1.4.c)
+
c1=(EA,i,(E,A)),
and the system
+
+
independent, then EAnF=FA
+
nFA 'IF
=F
+
+ +
EAnF=EAnFAIF=FAIFand
AIF+O, then
+
(A
'IF
,A
21F
)
E;=F
th
is a quadrant of
'IF'
*O
21F
and A
and
is linearly
F. 5 ) If A = ( h l , h 2 ) , A
the
+
+
=0, then EAnF=FA
llF
21F
.
Chapter 5
222 th
6 ) If A = ( A l I A 2 ) , A
llF 7
8
+
th
th
)
+
+O and A
21F
)
llF
+
If A=(A1,A2),
+
+
gth)
+
A
.
If A=(Al,A2),
A
+O
and
A
+O 21F =FA 0
and
A
21F
+nF=FA + nFA + =F0 "FA+ EA A 'IF 21F 'IF 21F loth) If A=(h1,A2,A3)
'IF
21F
llth)If A=(A1,A2,A3),
IF
+bA
IF
aO, then ( A ,A 3iF 3tF + + independent system and EAnF=F ,A )* ('31~
A
a>O, then
21F
and the system
+
with
.
nFA 0
'IF
=aA
linearly independent, then EAnF=F
=aA 3iF
.
If I I = ( A ~ , A ~ A) ~ =O and A =0, then EAnF=F llF 21F
EAnF=FA nFA =FA 'IF 21F 21F
A
+
=0, then E nF=FA A
IF
)
is a linearly
IF
is linearly independent, A A
=aA 3iF
IF
and
aO and a map u:U+ElxE2 such that: Ist) u ( O ) = ( O , O )
E.
E .
and u is a diffeomorphism of class p from U
Zd) If O:FlxF2+F 0 (x,Y 1=x+y ,
then
is the linear homeomorphism defined by the
maP
of
class
P
Chapter
228
5
verifies O ' l f IUal(x,,x,)= E. E, (xl),n(xl,x2)), where n:BEl(0)xBE L (0)+F2 is a map of (0)xBE E2 (0)+F1xF2
=(Df(O)
I
class p such that n ( O , O ) = O and D(n) ( O , O ) = O " . Theorem 5.1.8 was announced with the most general hypothesis and the preceding corollary only deals with the case in which the spaces have not boundaries. Next we shall see an intermediate situation that will be used in the characterization of subimmersions. Corollary
+ FA, + be quadrants of E and F respectively, V an open Let EA, + + set of EA with OEV and f:V+FAJ a map of class p with f(O)=O and ('('1
+
(FA*
*
Suppose that ker(Df (0))=E2 admits a topological supplement El in E and im(Df(0))=F1 admits a topological supplement F2 in F such that (EIXEl)AOl=E + + XE28 (F1XF2)A#O=F1AixF2 + + and Al=A;o(Df(0)
I
),
lA1 where 01:E1xE2+E is the linear homeomorphism
given by 0 ( x ,x )=x1+x2 and O:F1xF2+F 1 1 2 homeomorphism given by O(y1,y2)=y1+y2.
is
the
Then there are an open neighbourhood U of 0 in V, E2
bijective map a:U+(BE l e t )a ( O ) = ( O , O )
+
(0)xBE (0))n(ElxE2)A01
linear
E>O
and a
such that:
and a is a diffeomorphism of class p.
P, verif ies and n:(BE (0)xBEE2 (0))n(E1xE2)AOl+F2 + n ( O , O ) = O and D r r ( O , O ) = O . o
is a map of class p such that
Subimmersions Theorem 5.1.9
Let f:X+X'
229
(Characterization of Subimmersions)
be a map of class p and asX such that ra(f)=nExG
is clear that @ is a bijective map of class p, D@(z,v) (w,u)=(w,D1(P,@) (z,v)(w)+D2(P2@) (z,v)(u)1 , 2 D (p2@) (z,v) (U)=@~(U), D@(z,v) is a linear homeomorphism for all (z,v)~cp(U)xH and @(a(cp(U)xH))=a(cp(U)xH). Hence @ is a diffeomorphism of class p (2.2.9) and @l(z,u)= It
Subimmersions
Then
we
can
take
* *, c =(U~H,@~o(cpxl~)=cp *
*
241
the chart (EXH,APl)1 1
of
class and
cp ((UxH)nT f (Y))=cp (UxH)n(EAxE)=cp(U)xE, +
* + =cp (UxH)n(EAxG)=cp(U)xG
and
* cp (UxH)=cp(U)xH.
Thus using 3.1.4 we see that Tf(Y) of YxH, submanifolds of class p * * (ExE,hpl)) is a chart p c ' l I(UxH)nT f (Y) t
p of we
YxH, have f
cp* ( (UxH)fd (Y)1=
and Nf(Y) are * f cl=((UxH)nT (Y), of Tf(Y) and
c;=( (UxH)nN f(Y),
* * ,(ExG,hp;)) is a chart of N f (Y). "'I these (UxH)nNf (Y) that Tf (Y) and Nf (Y) are totally clear, using charts,
It is neat submanifolds of YxH and in a(T f (Y))=(T f (Y))n(ZJYxH) and a(N f (Y))=(N f (Y))n(ZJYxH).
particular
The last statement follows from the fact that locally t is the identity. b)
We
have
tl(a(Tf(Y)))=a(Y),
diagrams (UxH)nTf ( Y ) U
"11
(UxH)nNf ( Y ) U
=21
are commutative. Then b) follows from 4.1.13.
t2(a(Nf(Y)))=aY
and
the
242
Chapter 5
>(UxH)nTf (Y)
PI
UxH I
I
I
cp* and
,(UxH)nN f (Y)
Ql
UxH
are commutative and P,Q are maps of class p.
*
a)
*
d) We take the charts c and c2 constructed in the statement * *1 f f * * Then C~XC~=(S= (UxHInT ( (Y))x( (UxH)nN (Y)1 r(P1~P2i
((ExE)x(ExG).AP*,uAp;) 1
is
a
chart
of
T~(Y)~N~(Y),
H'=( ((u,v) ,(u,w))/u~E,vsE,w~G)is a closed linear subspace of (ExE)x(ExG) that admits a topological supplement in (ExE)x(ExG) * and A(plIH,) is a finite linearly independent system of elements of le(H',R).
H'+* c[(ExE)x(ExG)]+ * *, it follows that T f (Y)xyNf (Y) is a Apl I H' AP luAP3 f f submanifold of class p of T (Y)xN (Y). Finally, from a) , 3.2.27 and 3.1.16, we deduce f (YxH)x(YxH). T (Y)xyN (Y) is a submanifold of class p of f
that
e) It is clear that u is a bijective map of class p and that 1 is a map of class p, hence Moreover, by c) and d) , u u is a diffeomorphism of class p.

u '=(P,Q).
f) We have (yo,O)s(UxH)nNr(Y) and the diagram (UxH)nNf(Y) el +H
243
Subimmersions
Since
DT ( 0 0 ) (u1r~2 )=D(*') ( 0 )( ~ 1+)(B* * (Yo))l(u2) Dy(0,O) :ExG+H is r
(YO) 1
( ~ 2=)
=@(Yo) (U,)+(B I a linear homeomorphism. Therefore e is a local diffeomorphism of class p f f at (yOrO)eN (Y), (2.2.6), as a(N (Y))=#.o In fact we have the more general situation: "Let (H,) be a real Hilbert space, AH a finite linearly independent system of elements of I(H,R), Y a differentiable manifold of class p+l (pzl), f:Y+H+ an immersion of class p+l, AH + + ,1 ,(H,AH)) the natural chart of HA and c'=(H,lH,H) the c=(HA H ' A H natural chart of H (note that jf:Y+H is also an immersion of + class p+l, where j:HA 4 H is the inclusion map, and H +
For Tf(Y)=(0cf(Y,)
Y
Of(y):H+T
every 1
yeY
T (f)T YcH Y Y
let and
us consider f f J cH Ny(Y)=[Ty(Y)]
the
sets
(note
that
(H+ ) is the natural isomorphism, T f f(y) AH Y injective map, Nf (Y)e Tf (Y)=H, [O,(y)] 1 Ty(f)[TyY] Y T Y C
is
an
Y H+ ) i=HA + is a quadrant of T Y (Tf(y) AH H ow we if f(y)eHA0 and Tf (Y)~H; if ye(int(Y)) and f(y)EHo 1 ) . Y H AH H and take the sets Tf (Y)={ (y,v)~YxH/veTf (Y))cYxH f f course, Y f T (Y)=TY jf (Y)r N (Y)=( (y,v)~YxH/veN (Y) )cYxH, (of Y Y , Tf(Y)=Tjf(Y) and N f (Y)=Njf(Y)). Ny(Y)=Ntf(Y) f Then : a) Tf (Y) and N f (Y) are totally neat submanifolds of class p
244 of
Chapter 5
YxH.
Moreover
the
[ [ocf(y))lTy(f)
e(Y/v)= YI
map
!:T(Y)+Tf(Y)
defined
by
(v)) is a diffeomorphism of class p from
T(Y) onto Tf (Y). b) The maps tl:T f (Y)+Y, t2:N f (Y)+Y defined by tl(y,u)=y, t (y,u)=y are submersions of class p. 2 c)
The
maps
P:YxH+T f (Y)
J
and
Q:YxH+N f (Y)
J
defined
such that PoP=P, QoQ=Q and p2Q=p2p2P, where p2:YxH+H 2projection. f
by
is the
f (YlV))/(y,uWf (Y) I (Y/V)EN (Y)1 is a submanifold of class p of Tf(Y)xNf(Y) and it is also a submanifold of (YxH)x(YxH). d) Tf W x y N (Y)=(
((YlU) I
e) The map a:T f (Y)xyNf (Y)+YxH defined by a( (y,u), (y,v))=(y,u+v) is a diffeomorphism of class p whose inverse is a1 (y,v)=(P(y,v),Q(y,v)). Therefore, Tf (Y) and Nf (Y) are closed submanifolds of YxH. ) ) and there exist an open AH neighbourhood G of aY in Y and an open neighbourhood Vo of 0 in H such that [VOnN f (Y)]+f(y)cHi for yeG and [VOnN f (Y)]+f(y)caHA+ Y H Y H for y&Y. Then there is an open neighbourhood A of ( (y,o)/y~Y) in + Nf(Y) such that the map of class p, e:A+HA , defined by H e(y,v)=f(y)+v is a local diffeomorphism of class p at every (~,o)~A~N~(Y).
f) Suppose that a(Y)=f”(a(H+
If
then Tyf (a(TyY)ilea( [Tf(y) H+ AH Ii)
and
(T f) (int(T Y)i)cint([T H+ 3 i) for yeY. Y Y f(y) AH
Lemma 5.1.17 (R. Godement) Let g:U+M be a local homeomorphism, X a closed set of M and
Subimmersions
245
a continuous section of g, that is ges=lx. Suppose that g ( U ) is a Hausdorff paracompact space. Then there is an open neighbourhood W of X in M and there is a prolongation of s to a continuous sections, s:W+U, of g such that s ( W ) = U , is an open set of u. s:X+U
Proof The map g is open, g(U) is an open set of M and X c g ( U ) . Let X3(U)
*
a) If x e X , then there are a point ydJ such that g(y)=x, an open neighbourhood Vy of y in U and an open neighbourhood Vx :Vy+Vx is a homeomorphism. of x in g ( U ) such that VxnX=$ and g I VY 'l:Vx+VycU is a local section of g. Then sx= g IVY)
[
b) If XEX, then S ( X ) E U and there are open neighbourhoods Vs(x)cU and V x c g ( U ) of s ( x ) and x respectively such that * V s ( x )  W x is a homeomorphism. Since s is a continuous map, g l V w*
x x there is an open neighbourhood V1X of x in g ( U ) such that VlcV and s (V:nX) cVs
.
Consider Vs
=g"
(V:)
the nVs
open
. Then
neighbourhood nvs (X)
of
s(x)
in
U,
x=vlx
=vXng 1 ( V S (X) =vXnv 1
and is a local section of g. From the statements a) and b) we obtain a family of such that continuous local sections s A : V A r g ( U ) + U of g : U + g ( U ) S =S and ( V A ) A E A is an open covering of g ( U ) . A I vAnx I vAnx Since g ( U ) is a paracompact space, there is a locally finite open refinement ( U . / j e J ) of ( V h / A s A ) . For every jeJ we choose 3 A . e h such that U . c V A and then we put s .=sA : U . + U . Since g ( U ) 3 l j jluj 3 is a Hausdorff paracompact space, g(U) is a normal space and there is a contraction ( W . / j E J ) of ( U . / j e J ) . 3 3
246
Chapter 5
.
Let us consider the set W=(yeg(U)/yEw.np +.s. (y)=s (y)) Of 3 k 3 k course XcWcg(U) and we take the map s:W+U defined by s(y)=s. (y) 3 where yew Then it is clear that gOZ=lw and Z j* I X=s' Now we shall see that W is an open set of g(U). Indeed, let xcW. Then S(X)EU and therefore there is an open neighbourhood V of s(x) in U and there is an open neighbourhood Vx of x in g(U) such that g ,v:V+Vx is a homeomorphism. We can choose an open set A of g(U) such that:
.
1) xeAcVXcg (U)
2) H=(j1,.
The
set
..,jk)cJ.
3
3 ) xcsj
.
4) AcU
.
n...nR jl jk
n...nU jl jk
is
H=(jcJ/Ani+i.+t$)
s (A)cV for ji s (x)=. .=s (x)=S(x)N. j,I jk
all
5)
a
finite
iE( 1,
set;
say
...,k] ,
since
s(x)
in V such
.
Then there is an open neighbourhood Vs(x) of

that
glvS(x)
.Vs(x)+A
is a homeomorphism.
Finally we note that S
.
..=s
Jl{AjklA and xcAcW. Hence W is an open set of g(U).

~ is ~ a continuous ~ = s 3 map, goE=lw and EIx=s. Therefore is a continuous map since (w.nW/jcJ) is a locally finite family of closed sets of W. 3 For the map s:W+U
we have:
~
,
~
s
Let zcW. Then there are an open neighbourhood VS(') in U and there is an open neighbourhood Vz of z in
of s ( z ) W such
~
Subimmersions
that g

247

Ivs(z)
*Vs(z)+Vz is a homeomorphism. Since

s
I VZ
:Vz4J is a
continuous map, there is WzcVz such that s(Wz)cVs(z), where Wz is an open neighbourhood of z in Vz. Let

WS(Z)=
[. @(
us
consider

' ( Wz)cVs(z)
.))
the
open

of s ( z ) in VS(').
neighbourhood

If tsWS('),
then

g(t)eWZ and sg(t)eVS(Z). Thus gsg(t)=g(t) and Eg(t)=tes(W)=U,.

We
have proved that Ws(z)cUo and therefore U, is an open set in U.o Corollary 5.1.18 Let f:Y+Y' be a differentiable map of class p and X a closed subset of Y'. Suppose that: l S t )Y'
is a Hausdorff paracompact space.
d
2 ) There is a continuous map, s:X+Y such that fos=lX.
s(x)

3*) For every xeX, f is a local diffeomorphism of class p at
Then there are an open set , U of Y and an open set W of Y' with XcW such that f :UoIW is a diffeomorphism of class p and I uO
Proof By 2.2.9, a), the set U=(yeY/f is a local diffeomorphism at y) is an open set of Y and s(X)cU. Thus s:X+UcY is a continuous section of f From the preceding lemma we get an open U' neighbourhood W of X in Y' and a prolongation of s to a continuous section s:W+U of f such that s(W)=U, is an open set IU of U. Then f :Uo+W is a bijective local diffeomorphism of class IuO p and therefore f :Uo+W is a diffeomorphism of class p,
I
I uO
Chapter
248
(2.2.9.b))
5
.o
Proposition 5.1.19
+
Let (H,) be a real Hilbert space, a finite linearly independent system of elements of Y(H,R), Y a differentiable manifold of class p+l (prl) and f:Y+H+ a closed embedding of AH class p+l. Suppose that f'[aH&]=aY and there exist an open neighbourhood G of aY in Y and an open neighbourhood V 0 of 0 in H such that [VOnNy(Y) f ]+f (y)cHAH + for a l l ycG and
[VOmY(y) f ]+f (y)ca[HiJ
for a l l yeay.
Consider the totally neat submanifolds of class p of YxH, f f f + T (Y) and N (Y), and the map e:AcN (Y)+HA of class p defined by H e(y,v)=f(y)+v, (by the generalization after 5.1.16, e is a local diffeomorphism of class p at (yl0)~AcNf(Y) for a l l yeY and for a l l ycY vith f(y)cH 0 ), [Ty(Y)]L f =Ty(Y)nH+ f Y AH
+
Then: a) There are an open set RA of AcN f (Y) vith Yx(0)cRA and an + vith f(Y)cW such that e .R +W is a open set W of HA H In*' A f diffeomorphism of class p and eo[=f, vhere [:Y+N (Y) is defined by E(Y)=(Y,o). b) f(Y) is a neat submanifold of H+ defined by
and the map n:W+W
%I
is a map of class p such that n(W)cf(Y) and nf(y)=f(y) for a l l yeY. Hence n:W+f(Y) is a submersion of class p a t every f(y)Ef(Y). Finally n(aW)ca(f(Y)) and there is an open set W1 of W such that f(Y)cW1 and n :Wl+f(Y) is a submersion of class p, Iwl (4.1.15).
Subimmersions c)
Suppose
that
for
every
249
yeB(Y)
there
is
an
open
+ and +f(y)cHA H Then for every yeY, there is an open
neighbourhood Wo of 0 in H such that
Y
+
+f(y)cBHA , H neighbourhood Vo of 0 in
(Ty(Y))i and
Y
there is
neighbourhood Vy of y in Y such that f ( y ) + for
all

ey(u)=f n' p, vhere
urV
Y
and
the
map
[f(y)+ [oCf(Y))lTy(f)(u)],
C= [HiH,i, (H,AH))
an
open
lTY(f) (u)eW1
e *Vo+Vy
Y' Y
defined
by
is a diffeomorphism of class
is the natural chart.
d) Suppose that there is an open neighbourhood Wo of 0 in H such
that
for
all
and H Then there exist an open set Ak of
yeB(Y)
.
Won
+
*
*
(TyY)i and an open set Ak of Bk(Y)xY such that A Bk (Y)cAk'
C YeBk (
( ( y , o)/YEBk(Y)IcAk
Ek(y,v)=(y,fln(f(y)+(OE(y)]
1
and
the
TY (f)(v)) is a
map
diffeomorphism of
*
class p from Ak over Ak (krO). e) If H=Rq, then there is an open set W2 of W1 such that H+ >W>W1>W2>WZ>f(Y)and T[ %I I W, :W2+f(Y) is a proper map. Proof
(y,O)
a) For every yeY, there is an open neighbourhood V ( y ' o ) of in AcN f (Y) and there is an open neighbourhood V f(Y) of
e(y,O)=f (y) in H+
%
of class p. Let U=(J V f ( ' )
us
CH%I' +
such that e:V(Y'o)+Vf(y)
is a diffeomorphism
M=() V(YFo)cA and YCY Then the map elM:M+U is a local diffeomorphism of
consider
the
open
sets
YEY class p and therefore a local homeomorphism. On
the
other
hand
250
Chapter 5
f(Y) is a closed set in U, the map E:Y+AcN f (Y) defined by c(y)=(y,O) is a map of class p and the map s:f(Y)+M defined by s(z)=EOfl(z) is a section of class p of e Then using I M' Godement's Lemma there are an open neighbourhood W of f(Y) in U and a prolongation of s to a continuous section s:W+M of e such IM that s(W)=RA is an open set of McA. Thus e :RA+W is a bijective I RA :R +W is a local diffeomorphism of class p and, by 2.2.9.b) , e IRA A diffeomorphism of class p, such that eOE=f and ), a closed embedding g:X+Hx[O,+) of class p with gl(Hx(0))=a(X) (that is g(a(X))=g(X)n(Hx(O))) a collar neighbourhood (f,A) of such that class p of a ( X ) in X and an open set G in a(X)x[O,+) a(X)x(O)cG, the diagram A
AI'
>Hx[O,+)
is commutative, f(G)=G1 is an open set in X with a(X)cG1 and for all xeG1, N~(X)CHX(O)=(HXR)~ (see the remark after 5 . 2 . 1 6 ) . p2 Proof
By 5.1.28 there exists a collar neighbourhood (3,U) of a(X) in X of class p. Then ?(a(X)x[O,+))=U is an open set in X with a(X)cU and ?:a(X)x[O,+)+U is a diffeomorphism of class p such that ?(x,O)=x for all xd(X). Since X is a normal space and a(X) is a closed set in X, there is an open set V in X such that U>%V>a(X). Therefore
(?)'(V) is an open set in a(X)x[O,+) and from 5.1.20 we get a map r:a(X)+lR+ of class p+l such that (x)~[O,r(x))c(?)~(V) for all xca (X)
.
We consider the maps of class p
a:
u d a(X)x [ 0,+) 8P1 r a :Um+
(X),
0
and
p:
u e a (X)x [ 0,+) [p2
0 ,+)
.
3 Then (?)'(x)=(a(x) ,p(x)), U1=(xcU//3(x)O. y =t z+ ( 1to) zo. Hence O=toh' (z)+ ( 1to)A' ( zo)>0, which is a 0 0 contradiction. If xeint(X1l),then v'(U'~X~~)=(~'(U')~E~~ and ((pr)l(E1l)=U'nX1l.
.
If x ~ ~ E ~ ( X then ~ ~ ) , (p' (U')nE;:=(p' (U'nX") Let XEU'AX~~. Then (p'(x)~El* and x~((p')'(El~). Hence U'~IX"~(V')~(E"). Now let x~((p')'(E~~). Then (p' (x)eE"n(p' (U')cE"nEif and therefore, using
Transversality 4),
+
(x)eEi,np'(U').
(p'
3 19
Hence xeU'nX1l and (p')l(E1l)cU'nX1*.o
Proposition 7.1.14 Let f:X+X' class p of X'.
be a map of class p and XI1 a neat submanifold of Suppose that fr+lX". Then ve have that:
a) fl(X") is a totally neat submanifold of class p of X, i. e. Bk(fl(X1*))=fl(X1l)nBk(X) for every kzO. b) For every xefl(X~~),
Tx(j 'lTx(fl(Xvl))=(Txf)l(Tf
(j)Tf
(Xll)1 I
Tx(f) :Tx(X)/Tx(j')Tx(f (XI1))Tf (X')/Tf(x) (j)Tf is a linear homeomorphism and therefore codimx(fl(X1l))=codimf (Xll). d)
f
( xef
I fl(X")
=g:fl(X1l)+X1l is
' (X") /Tx (9):Tx (fl (X" ) ) +T
=(xeX/Tx(f) :Tx(X)+T
f (XI
(X')
a
map
of
class
(Xll)
p
and
(X" ) is surjective 1 = is surjective)nfl(XH). f (XI
Proof Let xefl(Xtl)and (U',(p',(E',A')) a chart of X' adapted to XI1 at f(x) by means of (E11,A8v). Then by 7.1.13, (p')l(E")=U'nXn. L e t F'
be a topological supplement of Ell in E' and U an open set of X with XSU and f(U)cU'. By 7.1.9, the map of class p h:U%U'&.p' is a submersion at x.
(U')&(E1l~F')I,o,
p2 >F'
By 4.1.18, the set V=(yeU/h is a submersion at y) is an open neighbourhood of x in U. Hence, by 4.2.11, (h )'(O)=H is a IV closed submanifold of V. Moreover, for every yeH, Ty(jtl)T (H)=ker(T (h ) ) , where j":H+V is the inclusion map, and Y y Iv indH(y)=in%(y). Hence Bk(H)=(Bk(V))nH for every kz0 and a(H)=Hna(V). Since (po)l(E1l)=U'nX1l,we have fl(X1v)nV=Hand
320
Chapter 7
therefore f'(Xll)
is a submanifold of class p of X.
On the other hand a (H)=Hna (V)=f" (XI1) nVna (V)=f" (X")na (X)nV=a (fl(XI8)nV) f'1(X19)na(X)=O(f'1(X19)). In which implies that BkH=(BkV)nH=(BkV)nf1(X11)nV=(BkV)nf1(X11)=(VnBkX)nf1(X11)
implies
Bk (Vnfl( XIv)) = (VnBkX)nfl ( XIv)
Bk(fl(X"))=(BkX)nfl(X1g)
fact which and
for every krO. Thus we have proved a).
c) By 7.1.3, T (X')=im(Tx(f))+Tf(x) (j)Tf(x) (XIa). Using b) f (XI and the preceding formula it is straightforward to check c).
.
surjective o ExamDle 7.1.15 a) Let us consider X=X'=(IR 2) + , X"=(O)x(R+v(O)) and f:X+X' p2 the map of class w defined by f(x,y)=(x,y+l). Then XI1 is a neat submanifold of class w of XI and by 7.1.7, f + , X " . Thus by 7.1.14, f'(X")=X" is a neat submanifold of class m of X. Notice that fl (XI1) na (X)=a (fl(XI')) =( ( 0 , O ) )*fl(?J(X")=#.
Transversality
321
b) Let us consider X=((X,Y)ER2/ x h O ) , Xf=R, f:X+Xf the map of class m defined by f (x,y)=(x1)2+y21 and X18=(tal?/tsO). In this case X" is a submanifold of class m of X f but it is not a neat submanifold of XI. Moreover, by 7.1.6, f,hX". Nevertheless the set fl(X") is not a submanifold of X. Proposition 7.1.16 Let f:X+X' be a submersion of class p and XIg a submanifold of class p of X f such that X"cBk,(X') with klzl. Suppose that f XIt Then fl (X") =#.
,+,
.
Proof Suppose that there is xcfl(Xtg) and let k be the index of x in X. Then I T f (XI ( ~ ~ ) = i m ( T ~ ( 1f)+Tf ~ ~ ~ ( (j) ~ ) (Tf )
(fI Bk(X)
,+,xXl*l where
Proposition 7.1.17
by (Xll)1
7.1.7, and
j :X"4X is the inclusion map.
(Transitivity of the Transversality)
Let f:X+X', g:Xf+X" be maps of class p and X"' a neat submanifold of class p of X". Suppose that g*Xglf, (by 7.1.14, gl( XIg ) is then a neat submanifold of X f) Then for every XEX, (gof),+,xX"' (and therefore f ,+,xgl(X"f) if and only if
.
f,+,g'(Xlg8)
if and only if (gof)
Proof Of course xEfl(gl([email protected]))if and only if xe(gof)l(Xnlf).
322
Chapter 7
Let xefl(gl(X1*')) and suppose that xeBk(X), kz0. By 7.1.7, ) xgl (XI*') and f,+,xgl(Xtw') if and only if (fI Bk(X) (gof),+,,XIf' if and only if ((gof)IBk(X))&xX"'. Now by 7.1.12.c),
it occurs that the map
is a linear homeomorphism, where j':g'(Xt1') 4X', j:Xt1'4X*1 are the inclusion maps. On the other hand we have the following commutative diagram:
Tx(gf I Bk(X) T
J.
P'
gf (x)
Tgf ( x ) (Xll) ' Tgf (x) (j)Tgf( x ) (X"')
which, using 7.1.3, 7.1.4, 7.1.5, gives the resu1t.o Proposition 7.1.18 L e t f:X+X'
X'.
be a map o f c l a s s p and XI8 a c l o s e d submanifold o f
Then:
,+,
a) If f xX18, t h e n t h e r e is an open neighbourhood Vx o f x i n X such t h a t f , + , XIv. VX b ) The set G=(xrX/f,+,,Xg8) is an open set o f X.
Proof
vxx"
If xefl(X1l), there is Vx such that Vxnf1(X81)=#and frfl Let xefl(Xuv).Then, using the notations of 7.1.1, class p
*
the map of
Transversality is a submersion at xrU. submersion at y) is an h
IVX
:Vx+F' Let
323
By 4.1.18, the set VX=(yeU/h is a open neighbourhood of x in X and
is a submersion of class p.
us
consider yeVXcU with yEfl(Xtt) and suppose that A'=(A;,...,A;), h i (p'f(y))=O,.. .,A! (p'f(y))=O and A;(p'f(y))*O 1 lr ie(1,...,n){i1,...,ir}, M'=(Ai ,...,A! } and for every 1 lr MI1=(A98eh"/Aclp'f(y)=O).
+ ,
On the other hand p'(U'nX")=p'(U8)nE;,
+
E;,,cE;f
+
and p'f (x)=O. Therefore f (y)EU'nXIl
f(x)eU'
I
and p'f (y)eE;,np'
(Up).
E' Now we take c>O such that the open ball B=Bc(p'f(y))cE' verifies:
2)

ME;!=#
Eii=( zeE'/Aj
for
every
ie(l,...,n)(il,...,~~),
of El
where
1
( Z)S O ) .
Then :
.
i) B~E~,,=B~E;,,~B~E;~~E~, + + + ii) BnE;:=B'
+ BnE;,,
is open in
is an open set of p'(U')
+ E;,,,
t
V'f(Y)
is the translation in E' 9'f (Y) + B' is open in EA,.
t
1
such that p'f(y)EB',
+ (BnE;,,)=8
+
is open in E;,,,
+ , OEBCEA,
I
+ + EiIlcEh, I
B'=BnE;'f
iii) c;=(W'=(p#) (B'), tp,f(y~p'lw,=~'r (E8,M')) of X' with f(y)eW' and tP'(f(Y) ) = O . P'f(Y)
where and
is a chart
324
Chapter 7
iv) c; is a chart adapted to X" at f(y) by means of (EllrM1l). + + and (W'nXn)=#' (W')nE+. + Indeed, f (y)eW' I #'f (y)=O, E+cEi, Let V1 be an open set of X such that yeVlcVx and f(Vl)cW'. Consider the map f +~, ,( dp2EF '~ .~ x F ~ ) h t :V1 ' v l , w ~ ~ ~ ~ ( w ~ ) M O Then h :V1+F' is a submersion of class p and from 4.1.17, it Iv1 follows that h' is submersion at y. Hence fyt(yXgl. Whence f yt(vxXg@ I which prove a) and b) .o Proposition 7.1.19
(Local Representation of the Transversality)
Let f:X+X' be a map of class p, XI1 a totally neat submanifold of class p of X' and xefl(Xgt) with ind(x)=keHv(O). Then the folloving statements are equivalent:
b) There are a chart c=(U,cp,(ExGxR k ,Ap3)) of X with A=(p;, .,pi) I x~U,cp(x)=O and cp(U)=VlxV2xV3; a chart c'=(u' 'cp' ,( E X E ~ ~) , of ~ ~ X~' ~ with ~ ) f (x)EU' ,cp'f (x)=0, f (U)cU' I cp'(u')=v1xv8* and cpt(U'nX")=(0)xV", and a map of class p
..
1 for M:V 1XV2XV3+V" such that cp'fcp1(~11~21~3)=(Y11M(Yl,Y21Y3) every (Y1 I Y2 I Y3 1 EV1XV2XV3.
a)+b). Let c ~ ~ = ( U ~ ~ ,(EIt,A1l)) ( P ~ ~ , be a chart of XI8 with f(x)EUl8 and cpIlf(x)=O. Then by 3.1.15, there is a chart c;=(U;,cp;, (EgoxFt,[email protected]))of X' such that f (x)eU;, U;nX"cU",
;
cp f ( x)=O
I
cp;(y')=(cpI1(y')
9; (U;nX") =p; (U; ) n (E"x ( 0 ) ) ,O)
+
A"P1 +
= p i (U; ) n (E;,,x ( 0 ) )
and
for every ytEU;nX1I.
Without loss of generality we can suppose that cp; (U;) =VVgxVi. Then take an open set U1 of X such that xeU1 , f(Ul)cU; and the map of class p
Transversality
325
Then, by 7.1.9, h is a submersion at xtUl and by 4.1.17.d), there are a chart c=(U,p,(ExGxRk,Ap3) of X centered at x with UcUl and * * * a chart c =(U ,Q ,E) of F' centered at h(x)=O such that * h(U)cU cV; and the map p*hpl:p(U)+E is the restriction is the 1projection, :p(U)+E, where pl:ExGxR k+E pllWJ) p3:ExGxRk+Rk is the 3projectionr A={pi ,...,pi} and pi:R km is k + the iproj ection (Therefore ( E x G x R ~+) =ExGx (R ) a) Ap3 k + We can also assume that p(U)=VlxV2xV3cExGx(R )*. Then
.
*
and h(U)=(p*)l(Vl) is an Moreover c'=(UI=(p;)'(V'xh(U)),
p h(U)=V1
OEh(U).
*
open set of U cF' p'=t(lVllxp *
with
Corollary 7.1.20 Let f:X+X' be a map of class p and X" a totally neat submanifold of class p of X'. Suppose that f,+,X1#.We have:
a) fl(Xgt)is a totally neat submanifold of class p of X. b) For every x€fl(X"), T, (jI ) Tx(fl (XIc)) = =(Tx(f))l(Tf(x) (j)Tf(x)(XI')), where jt:f1(Xg1)4X and j:X1I4Xt are the inclusion maps.
c) For every xef' (XIt), codim,(
1 f (XIg)) =codimf
.
(Xll)
326
Chapter 7 d)
g=f
I fl(X")
:fl(X**)+Xt* is
a
map
of
class
p
and
(X") is surjective )= (XI*) /Tx (9):Tx (fl (XI*)) +T f (XI =(xEX/Tx(f) :Tx(X)+T ( X I ) is surjective)nfl(X"). ( xefl
f (XI
Proof a) By 7.1.14.a)
,
fl(X1*) is a neat submanifold of class p of
X.
.
7.1.19.b), Then by Let xcfl ( XI1)nBk (X) k (p ( fl( XI*) nu)=(p (U)n( OxGx (R ) + A) and fl( X*lnU) nU=(pl ( OxV2xV3), therefore c is a chart of X adapted to fl(X") at x by means of (OXGXR~,AP,) and xcBk(fl(X1*)), which ends the proof of a). b) , c) antl d) follow from 7.1.14.0 In fact, this Corollary is a particular case of 7.1.14. 7.2. Transversal Families of Maps. Fibered Product of Manifolds. Just to study the fibered product of manifolds we introduce the notion of a transversal family of maps. Definition 7.2.1 Let 3=(fi:Xi+Y) ic( 1,.
..,n) be
a family of maps of class p and
A the diagonal of Yn (Hence A is a submanifold of Y").
We say
n
that 9 is transversal at XE TI Xi, if (f1xf 2x. ..xfn) .A& We say i=1 n that 3 is transversal if 3 is transversal at every xc II Xi. i=1 In other (flx.. .xfn) *A. If
words
3
is
transversal
...
if
and
only
3=(f.:Xi+Y)i=1, 1 ,n .=fn(xn) )=(fix * *xfn)1 (A) n 1 1 this set will be denoted by X1x y...xyXn. (
(x1,.
..
,X )cX1x.. .xXn/f (X
)=a
if
then and
Transversality
327
Proposition 7.2.2
...
p and Let 3=(f i'Xi+Y)i=l, ,n be a family of maps of class n x=(xl,. ,xn )€X1xY.. .X YXn' Suppose that ind(x)=k in TI Xi, (ve i=1 know that there is a unique element (kl, k,) such that n kl+ kn=k, klEO knhO and XE TI Bk (Xi)). Then the folloving i=l i statements are equivalent:
..
...,
,...,
...+
a) 3 is transversal at x. b) The linear continuous map
is surjective and ker(ugf) admits a topological supplement, vhere fn(xn), D is the diagonal of (Ty(Y))", p is the y=f 1 (x1) = canonical projection and Ti=f. 1(Bk (xi)* i
...=
Proof a)+b) Since (flx. have T
..xfn)
xA and xeXlxy
...xyXn,
by 7.1.7,
we
...XXn ) 1 I + ..,Y)(Y") =im(T (XI,. . ,Xn)( (f1x.. .xf(A)n ) IBk(X1x and +T(y,. ..,y) (j)y y , . ..,y) 1 ,Xn) (f1x.. .xfn I Bk(X1x. .XX,) (T(y, ...,y) j (T(y, ...,y) A) 1 a topological supplement in T (x,, .. ,Xn) (Bk(XIX* *xxn)
(Y,
(T(x,,. admits
where j :A4Yn is the inclusion map. Then by 7.1.4,
the linear continuous map
%' 'T (x,,
...,Xn) (Bk(X1x.. .xXn))+ T (xl,.  ,Xn) ( (f1x.. .xfn ) I Bk ( X1x. ..XX,) 1 'T(Y,

,Y)
(Y")
&
I
Chapter 7
328
is surjective and ker(ii9) T (Bk(X1x.. .xXn)) (xl,.. ,xn,
.
admits a topological supplement in
On the other hand we know that B (X x...xXn). k 1
..,Y)q y , . ..
T
..
(X1"."Xn)
' ,T(Y,...,Y)(Y")
maps D ,y) (A), which ends the proof of b).
(TY(Y))
homeomorphism T (Y,.
Hence n
n
n TI Bki(Xi) is open in i=1 ( Bk ( X1x. xXn)) =
onto
b) + a) is analogous to the preceding part.0
Proposition 7.2.3
..
.Xi+Y) p and i' i=l,. ,n be a family of maps of class n x=(xl xn)eX1x y...x Y Xn' Suppose that ind(x)=k in TI Xi (we i1 know that there is a unique element (kl, kn) such that n kl+. .+kn=k, klrO,. ,knhO and XE TI Bk (Xi)) We have: i=1 i Let
9=( f
,...,
...,
..
.
.
i) If the linear continuous map T, (fl)x xTx (T,) n 1 n ' 9 : TI Tx. cBk,(xi)) i=1 1 1 is surjective and ker(ug) admits a topological supplement, where y=f (x ) = fn(xn), D is the diagonal of (T,(Y))", p is the 1 1 canonical projection and Ti=f then ilBk*(Xi)'
...
...=
1
1
n
ii)
If
Y
n
is
a
finite
dimensional
and ker(u9) admits a topological supplement.
manifold
and
Transversality
329
Proof i) We shall use the following notations: E.=T (Bki (Xi)), F=T (Y) and ui=Tx (Ti):Ei+F. 1 xi Y i Then the sequence n a=(pl, ,Pn) n + II (F/im(ui)) O+ (1 im ( ui) 4 F 11 i=l is exact. n Since ug=po TI ui is surjective, a is also surjective and i=l therefore n n O+O im(ui) WF& II (F/im(ui))+o 1=1 i=l is an exact sequence, which ends the proof of i). ii) By the hypothesis dim[ F
ri
n ]=dim(inl(F/im(ui))
im(ui) 1=1 Let us consider the homomorphism
defined by q(x+() im(ui))=(x+im(ui), 1=1
1
cm.
...,x+im(un)).
Then q is injective and, since the spaces have dimension, q is an isomorphism. Furthermore the diagram n F a TI (F/im(ui) I i1
finite
T
F/() im(ui) 1=1
lq
is commutative. Thus a and uo are surjective. Finally ker(ug) admits a topological supplement since ker(ug) is a closed linear subspace of finite codimension.o
Chapter 7
330
Proposition 7 . 2 . 4
Let 9=(fllf2) be a family of maps of class p and x=(x1,x2)eX 1x YX 2 ' Suppose that ind(x)=k in XlxX2 and let (kllk2) be the integers such that k=kl+k2, klzO, k2LO and xeBk (Xl)xBk2(X2). Then the following statements are equivalent: 1
i) The linear continuous map
is surjective and ker(ug) admits a topological supplement, vhere y=fl(xl)=f2(x2), D is the diagonal of (Tv(Y)) 2 I p is the canonical projection and Ti=f
ilBk.(Xi)' 1
ii) The linear continuous map is surjective and ker(Al) admits a topological supplement, vhere A1(uA=T
(Fl)(U1T (T2) (v)
x1
x2
iii) The linear continuous map A =T (T1)+T (T2):Tx (€3 (Xl))xT (B (X2))+Ty(Y) x1 x2 1 kl x2 k2 is surjective and ker(A2) admits a topological supplement, vhere A2(UlV)=Tx (7,) (U)+T (7,)(v) 1
x2
Proof. We shall use the following notations: Ei=Txi(B (Xi))I F=T (Y) and ui=Tx (Ti):Ei+F. ki Y i Let us consider the linear homeomorphism 9 : E1xE2+E1xE2 defined by #(x,y)=(x,y). Then u 1+u 2=(u1u2)# and it is clear that ii) iii). Next we see that i) o ii). First we note that obviously ker(ug)=ker(ulu2). Q)
Suppose that ulu2 is a surjectve map and let [(x,y)]~F2/D.
Transversality
331
Suppose now that u3 is surjective and let xsF. [ (x,0)3 €F2/D and there is (p,q)€ElxE2 such %J(Plq)=r (XI01I=[ (U,(P) I U 2 (9)11 Thus u1 (p)x=u2 (4) (ulu2)(p,q)=x and ulu2 is surjective.o
Then that and
Now, using the preceding propositions we shall see that a submersion of class p and a map of class p form a transversal fami1y
.
Proposition 7.2.5 Let SF=(f i'Xi+Y)i=1,2 be a family of maps of class p. Suppose that f, or f2 is a submersion that sends the boundary into int(Y) Then 3 is transversal.
.
Proof
,
,
.
Suppose that f is a submersion and f ( 8 (X,) ) cint (Y) Consider x=(xllx2)cX1~yX21k the index of x in XlxX2 and klzO, k2z0 such that k=kl+k2 and xcB (X1)xBk, (X,) Then by 4.1.17, k, is a linear continuous surjective map and Txl (f1 I Bk, (X,)
.
ker(ul) admits a topological supplement El in T take the map
where y=fl(x1)=f2(x2). It is clear that h E,x(O) is a topological supplement of ker(h) 7.2.2, B is transversal at x.0 Definition 7.2.6
.
x1
(B (X,)). kl
Now
is surjective and Thus by 7.2.4
and
(Fibered Product of Manifolds)
..
Let 3=(fi:Xi+Y) i=1,. ,n be a family of maps of class p. Let us consider a pair (S;(hi:S+Xi)i=l,..,,n)r where S is a manifold of class p and hi:S+Xiis a map of class p for every ie{lI...,n), which fulfil the following conditions:
332
Chapter 7 1 ) flhl=
...=fnhn
a manifold o f class p and hi:S’+Xi i s a map o f class p f o r iE(1 n) such t h a t flh;= fnh‘n’ t h e n t h e r e i s a unique map h:S’+S o f class p such t h a t hih=hi f o r every iE(l/.../n). 2) I f S f i s
/...,
...=
Then t h a t p a i r w i l l be c a l l e d fibered product o f S. It
follows
immediately
from
definition that if (s:{hi:s+xi)i=l,. ,n1 and (S*:(hi:s r n) are fibered * products of S, then there is a unique diffeomorphism 8:s +S of * class p such that hie=hi for every iE(1 n).
* *
..
the
..
/...,
Proposition 7.2.7
(Existence of the Fibered Product of Manifolds)
i=l,.../n be a f a m i l y o f maps o f class p. Suppose t h a t S i s transversal ( i . e . (flx.. .xfn)&,A) where A is t h e diagonal o f Yn. Then: Let
S=( f.:X.+Y) 1
1
a ) xlx y...~YXn=P i s a t o t a l l y neat submanifold o f class p o f n x= n xi. In particular a(P)=a(X)nP=a(X)nf”(A), where i=1 f=flx.. .xfn. b ) (Pi(PilP:P+Xi)i=l,.../n
c ) For every x=(xl, /T
x1
(fl)(vl)=
...,xn)ePI Tx(j)Tx(P)=((v
...=Txn (fn)(vn)),
For every f1 (x1) = . .=fn(xn)=y. d)
.
i s a f i b e r e d product o f 3.
)
n ,,...,v n ) E II Tx / i=1 i
where j:P4X i s t h e i n c l u s i o n map.
XEP,
codimx (P)=codim (A) ,
Y
where
Proof a) The diagonal A is a neat submanifold of Yn. Thus by 7.1.14, f’(A)=P is a totally neat submanifold of class p of X. b) is trivial.
Transversality
333
c) and d) follow from 7.1.14.0 Proposition 7.2.8 Let f:X+X' of X' and xsf'
be a map of class p, XI1 a submanifold of class p (int(XI1))
.
Then the folloving statements are equivalent:
b) (f,j) is transversal at (x,f(x))~Xx~,X~l, vhere j:XI14X' is the inclusion map.
Proof Let k be the index of x in X. a) and
*
b) By 7.1.7, T (X')=im(Tx(f f (XI I Bk(X) 1 )+Tf (j)(Tf (Xl1)1 1 (Tx(f1Bk(X) 1 ) (Tf (j)(Tf (Xll)1 ) admits a topological
supplement H in Tx(Bk(X) ) Then
,
where j :XI14X'
is the inclusion map.
h=Tx ( f I Bk(X) ) Tf (X) (jI Bo (XI') :Tx(Bk(X))XTf(.,v)(BO(X"))"f(x)
(x')
is a surjective map and H x T ~ ( (BO(X")) ~) is a topological supplement of ker(h). Thus by 7.2.4 and 7.2.2, (f,j) is transversal at (x,f (x))
.
b) * a) By 7.2.4 supplement and h
and 7.2.2, ker(h) admits a topological is a surjective map. Therefore
T f (XI (X')=im(Tx(f I Bk(X) 1 )+Tf (j)Of (X")1 1 (X"))=R admits Tx(flBk(X) 1 (Tf(x) (j)Tf supplement in Tx(Bk(X)) and using f x ~ l li.e. , statement a)
+,
.
7.1.7

we
Next we see that a
topological
shall have
that
In order to prove that R admits a topological supplement we need the following lemma:
Chapter 7
334
Lemma
Let E,F,F1 be real Banach spaces, b:E+F a linear continuous map and u:F1+F an injective linear continuous map. Suppose that u(F1)=F; admits a topological supplement in F and ker(wv) admits a topological supplement in ExF1. Then plker(wu)=wl(F;)=E1 admits a topological supplement in E. Proof of the Lemma Since u(F1) admits a topological supplement in F, there exists a linear continuous map q:F+F such that qoq=q and q(F)=F'1' Analogously, there exists a linear continuous map p:ExF1+ExF1 such that pop=p and p ( ExF1)=ker ( b  u )
.
Consider the linear continuous map h=vloqop:EtF1. Then by the closedgraph theorem, the graph Gh of h is a closed set of ExFl and the map E:ESh defined by E(x)=(x,h(x)) is a linear homeomorphism. Moreover E(E1)=ker(bv) and El :El+ker(wv) is a linear homeomorphism. Then n: E+E defined by n (x)= (E
I
)'p,
for every xeE is a continuous linear map and n(E)=E1, Hence El admits a topological supplement in E . o
GhE(x) non=n.
If we take E=Tx(Bk(X), F=T (XI), F =T (X"), v = T ~ ( (j) ~) f (XI 1 f(x1 ) , then the hypotheses of the lemma are easily and b=Tx(f I Bk(X) checked, and R admits a topological supplement in E.
In fact we have the following more general result: Proposition 7.2.9
Let f:X+X' be a map of class p, X1I a submanifold of class p of X' and xEfl(Bk,(X1l)). Then the folloving statement are equivalent;
Transversalit y
(f,jlBk,(Xll)) is
b)
transversal at
335
(x,f(x))exxX,Bk,(X1l),
where j:XIt4X' is the inclusion map. Proof Let k be the index of x in X. a)
4
b) By 7.1.7,
Tf (XI (X')=im(T,(f and
IBk(X)))+Tf(x)
(Tx(flBk(X)? 1
1
(jIBk, (X@*))Tf(x) (Bkt(X"))
(Tf(x)(jlBk, (Xw)1 (Tf(x)(Bkt(X'O 1
admits a topological supplement H in Tx(Bk(X)). h=Tx ( f IBk(X) )'Tf(x)
Then the map
(jlBk, (Xll)) :Tx(Bk(X) lXTf(x) (Bk# )1I'(
"qx)
(X')
is surjective and HxT (Bk,(Xtl)) is a topological supplement of f(x) ker(h). Thus by 7.2.4 and 7.2.2, (f,jlBk,(Xll) ) is transversal at
(x,f(x) 1 ' b) a) By 7.2.4 and h supplement
ker(h) admits a topological surjective map. Hence (X')=im(Tx(f IBk(X)) )+Tf(x) (jIBk, (Xll)lTf(x) (Bk,X1l))* Let Us f (XI 1 consider R=(Tx(f lak(,))) (Tf(x) (jlBk,(X1l))Tf(x) (Bk'X1l)))'
E=Tx(Bk(X)), and p=Tx(f
and 7.2.2 is a
F=T f (XI (X'),
I Bk(X)
)
. Then
F 1=Tf(x) (Bk,(X")),
V=T f(x) (jIBk,(X1I))
by the lemma of the preceding proof, R
admits a topological supplement in E and by 7.1.7,
fAxBk,(X").o
Corollary 7.2.10
Let f:X+X' be a map of class p and XI1 a submanifold of class vith a(Xlt)=#. Then f&Xgl if and only if (f,j) is transversal, where j:[email protected]' is the inclusion map.0
p of X'
Proposition 7.2.11
of
Let f:X+X' be a map of class p, X*I a submanifold of class p X' and xefl(X1l). Suppose that (f,]) is transversal at
Chapter 7
336
(x,f (x))EXX~,X*~, where j :XV14X'is the inclusion map. Then f &,Xft. Proof First we prove: Lemma Let E,E' be real Banach spaces, F' a linear subspace of E' that admits a topological supplement in E', G' a closed linear subspace of F' and a:E+E' a linear continuous map such that a'(G') admits a topological supplement in E and E'=im(a)+G'. Then a'(F') admits a topological supplement in E. Proof of the Lemma From the hypotheses we deduce E'=F'eTH' and E=a'(G') eTG. ]=(O) , E=a 1 (FI)+[G~o~~(H'+G') 3 and Then al(F')n[Gnal(H'+G') H'+Gt is a closed subspace since GI is closed in F', the 1emma.o
which proves
Let k be the index of x in X and k1I the index of f (x) in XI1. Then by 7.2.2 and 7.2.4, h=Tx ( f I B ~ ( X ) )  T ~(j ( ~~ ) B~~~(xt :TxBk(X)xT t)) f(x)B) x ( k f T ' ) " X ( t I
(XI)
is a surjective map and ker(h) admits a topological supplement in Hence Tx(Bk(X)lXTf(x)(Bkll (xtl)) ' T f(x) (X')=im(Tx(f I Bk(X)1 )+Tf(x)(j)(Tf(x)(X")1 and using the lemma of 7.2.8 we see that 1 Tx(fl Bk(X)1 ) (Tf(x)(jlBkIl (pt)1 (Tf(x)(Bkll(xtt) admits a topological supplement in Tx(Bk(X)). Finally by the previous lemma, 1 (Tx(flBk(X)1 ) (Tf(x)(j)(Tf admits f &,X".O
a
topological supplement
in
(XO)1
Tx(Bk(X)) and
by
7.1.7,
Transversality
337
Proposition 7.2.12 Let f:X+X' be a map of class p and XI1 a neat submanifold of Suppose that (f,j) is transversal (which by class p of X'. 7.2.11, implies f h X t g ) . Then the submanifolds fl(X") and XxX,X8@ are CPdiffeomorphic, ( 7 . 1 . 1 4 ) , (7.2.7).
Proof is clear that p1=p1 I xxx, X" :Xxx ,X88+f1(X11) I q:fl(Xgl)+XxX,X1g, defined by other.

It
the maps defined by
of class pl(x,x")=x,

q(x)=(x,f (x)), are
p and
inverse each
7.3. Transversal Submanifolds An intersection of submanifolds can be a very wild subset as we shall see in the next proposition. However if the submanifolds are in a suitable position (namely they are transversal) , then their intersection is, in general, a submanifold. Let E be a real Banach space and A a subset of E. We say that A is a Zmset of E if there is a function f:E+[O,+m) of class OD such that fl(O) =A. We say that a real Banach space E is a Zmspace if each closed set of E is a Zmset of E. It is well known that every finite dimensional real Banach space is a Zmspace [N. p. 251. In [BF.l] we can see an example of separable real Banach space that is not a Zmspace. In Chapter 9 we shall study the case of separable Hilbert spaces.
338
Chapter 7
Proposition 7.3.1
Let X be a Hausdorff paracompact manifold o f c l a s s p and C a closed s e t o f X. Suppose t h a t t h e charts o f X are modelled over real Hilbert spaces which are Zmspaces. Then: of c l a s s p such t h a t by 7.1.12 f i s not transversal t o
a ) There e x i s t s a map f:X+[O,+) f”(O)=C,
(note t h a t i f
e##,
(0)).
b) There e x i s t s a t o t a l l y neat submanifold X’ o f c l a s s p of XxlR such t h a t X’n(Xx(O))=Cx(O).
c ) Let C1 be a closed set o f X such t h a t C1nC=@. Then there e x i s t s a function g:X+[O,l] o f class p t h a t v e r i f i e s gl(1)=Cl and gl(O)=C. Proof Since X is a regular manifold, by d=(cj=(U.,* of class p 3 j’ (H.,h.)))j,J 3, 3 closed set of X if and only if *.(A.) 3 3 by 1.5.14 there exists a partition of X, subordinated to (Uj)j,J.
1.4.8 there exists an atlas in X such that AcU j is a is a closed set in H Then j* unity (aj)jrJ of class p in
For every jeJ, *.(Supp(a.)nC) is a closed set in (H ) + 3 3 j Aj + Thus, since H is a Zmspace, there exists a map fj:(Hj)aj+[O,+m) j of class m such that ( f ) (0)=* (Supp (a ) nC) Clearly for the 3 map f= C ajfjqj:X+[O,+m) of class p we have f”(O)=C, (note that jsJ supp(a.)cU.). 3 3
.
.
’
.
b) By a) there exists a map f : X 4 of class p such that fl(O)=C and by 3.3.10, X‘=r = ((x,f(x))/xeX) is a totally neat submanifold of class p of XxR and of course X‘n(Xx(O))=Cx(O). c) By a) there exists a function f:X+[O,+) of class p such that f”(O)=C and there exists a function fl:X+[O,+) of class p 1 f such that fl (0)=C1. is the map we Then g= sought.a
f+fl
Transversality
339
Definition 7.3.2 Let X be a manifold of class p and X1,X2 tvo submanifolds of class p of X. We say that X1 and X2 are transversal and denote it by X1&X2, if the family (jl:X14X, j2:X24X) is transversal, vhere jl,j2 are the inclusion maps. Notice that in this case X1xxX2=( (x,y)~X XX /x=y)=( (xIx)/xcX1nX2). 1 2 Proposition 7.3.3 Let f:X+X' be a map of class p vith a(X')=#, a(x)=# and XBBa submanifold of class p of X' vith a(XBl)=#. Then f&XB1 if and +,rf. only if (xxXBB) Proof Since a(X')=# by 3.3.10, rf=((x,f(x))/xEx) submanifold of class p of XxX'.
is a totally neat
Let us consider the commutative diagram
Then p2 is a submersion of class p and by 7.1.12.a), pil(XBB)=XxXBB is a neat submanifold of Xxx'.
p2&,XBB
and
Thus by 7.1.17, jl+,(xxxI1) if and only if (p2jl)&,xgB. Since (lXlf):X+rf is a diffeomorphism of class p by 7.1.2 we XBBif and only have ( p2 j1) +,XBBif and only if f +,X". Hence f if j (XxXB1)
+,
.
,+,
Finally, the conclusion follows from Proposition 7.2.8.0
Chapter 7
340
Proposition 7.3.4 Let X1,X2 be submanifolds of class p of X. Then the following statements are equivalent:
X1,x2 are transversal, i.e. (jl,j2) is a transversal family, vhere jl:X14X, j2:X24X are the inclusion maps. a)
b) For every xeX1nXZ
topological supplement in Tx(X), vhere kl is the index of x in X1, k2 is the index of x in X2 and Tl:Bkl(X1)4X, T2:Bk2(X2)4X are the inclusion maps.
Proof a) + b) By
7.2.4
and
7.2.2,
h=Tx(T1)Tx(T2) :Tx(Bk (XI))XTx(Bk (x2))+Tx(X) 1
2
is a surjective map and ker(h) admits a topological supplement in
F=Tx(X) ,
p ’v(F1)=K
F1=Tx(Bk2(X2))
,
p=Tx(Tl)
and
v=Tx(T2) we see that
admits a topological supplement in E and therefore Tx(Tl)(K) admits a topological supplement in F. Finally T,
(7,)
(K)=H.
b) + a) Since H admits a topological supplement in Tx(X) I H admits one G in Tx(Tl)Tx(Bkl(X1)). Then h is a surjective map and
ker(h) admits a topological supplement in ExF1. In fact ker(h)aT (Tx(Tl) (G)xF1)=ExF1
’
Thus by 7.2.2 and 7.2.4, ( j l , j 2 ) is transversal at (x,x) for every xeX1nX2. Then ( j , , j,) is transversal and X1,X2 are
Transversality
341
transversal to0.o Proposition 7.3.5 Let XlIX2 be transversal submanifolds of class p of X. Suppose that X2 is a neat submanifold of X and X1 verifies one at least of the following conditions: a) X1 is a totally neat submanifold of XI b) X1nX2cint(X) (if there is xcX1nX2 with dimx(X1)=m xca(X1) I then we assume PEN) I
and
Then we have: i) X1nX2 is a(XlnX2)=a(Xl)nX2.
a
submanifold
of
class
p
of
X
and
ii ) For every xeX1nX2 I Tx( j) Tx( X1nX2 ) =Tx( j1)Tx ( X1) n nTx(j2)Tx(X2) I where jl:X14X, j2:X24X and j:X1nX24X are the inclusion maps. iii ) For every xeX1nX2 ' codimx ( XlnX2)=codimx ( X1) +codimx ( X2 )
.
Proof By definition (jl,j2) is a transversal family. Using 7.2.11 1 we see that jl is transversal to X2. Now by 7.1.14, jl (X2)=X1nX2 is a neat submanifold of class p of xl' 8 (X nX ) = (X1nX2) na (X,) =X2na (X,) and for every xcX1nXZl 1 2 codimx ( X1nX2 ) = Tx(j')Tx(Xl~X2)=(Tx(jl) 1 1(Tx(j2)Tx(X2) 1 I =codimx (X,) I where j' :X1nX2 4 X 1 is the inclusion codimx(X 1nX 2) is the codimension of X1nX2 at x in X1.
map
and
By 3.1.16, X1nX2 is a submanifold of class p of X. From the preceding equalities we have that for every xeX1nX2
Chapter 7
342
the codimension of X1nX2 at x in X.0 Example 7.3.6 a) Let F I G be linear subspaces of a real Banach space E. Suppose that F and G admit topological supplement in E. Then F h G if and only if E=F+G and FnG admits a topological supplement in E l (7.3.4).
b)
Let
us
consider
the
submanifolds
of
class
m
of
R3 ,
A=((x,y,z)/x 2+y 2 2 2=1) and B=((x,y,z)/x 2+y 2+ z 21). Then A,B are not transversal submanifolds, but AnB={(x,y,z)/x 2+y 2=I, z=O) is a submanifold of class m of R 3
.
Proposition 7.3.7
Let f:X+X' be a map of class p with a(X')=t$, X" a submanifold of class p of X' and krO, k"r0. Then, for every xcBk(X) with (x)EBkfl
'A
#
if
xBk#f(x")
and where
f *((x,f(x)) , (x,f(x)))(Bk(X)xBkll(X"))r 
Therefore, f
,+,Bkll(XI1) if
and only if
only f=f
if
I Bk(X) ( B ~ ( x ) x B(XI@)). ~"
r
7
.
Proof since a(x')=t$
by 3.3.10,
r
=(
7
(x,f(x))/xcBk(X)) is a totally
neat submanifold of class p of Bk(X)xX'. Let us consider the commutative diagram
I Then by 7.1.12.a), jl*
X
"
7;
B
k
I
l
p2,+,Bkll(X")and by 7.1.17,
(x,f(x)) (Bk (X)XBkll(x'l)
(p2j1) I+I (xl~(x))Bkll(X").
if
and
(Xll)
for every (x,T(x)) only
if
Transversality
343
Since (1,T) is a diffeomorphism of class p, by 7.1.2, we have that (p2j1)dl ( x , f ( x ) )BkIr(X") if and only if F,hXBklr (XIv). Hence

f ,hxBkl,(Xv8) if and only if j Ih(x,T(x)) (Bk(X)xBkll (x")) *
Finally, by 7.2.8, jlrh ( x , F ( x ) )(Bk(X)xBkll(X")) (j1I j2 :Bk(X) XBkll ( ( x , F ( x ))
for
every if
4Bk(X) " '
, ( x , F ( x )) ) , which
(x,~(x))€B~(X)XB~~~(X") and only if
is
transversal
at
ends the proof .o
Proposition 7.3.8 Let f:X+X' be a map of class p with ~ ( X ' ) = $ J and XIt a submanifold of class p of X' with a(xll)=#. If (x,f(x))~XxX~tand (XxX"), then f ,/,xXgl. Therefore if rf (XxXvf),then
,+,
rf*
(x,f(x)1 fhX".
Proof Let us consider the commutative diagram
x
(1,f)
I
lp2
tX'
f
Since (1,f) is a diffeomorphism of class p, from 7.1.2 we deduce that (p2j1) ,h (x, X" if and only if f,hxX". Hence f ,hxXvl if and only if j1rt.l (x,f(x))X"' Finally, by 7.2.11, j
(x,f(x) 1
(XxX") and f ,hxXvI.o
This Page Intentionally Left Blank
Chapter 8
345
PARAMETRIZED THEOREMS OF THE DENSITY OF THE TRANSVERSALITY Since differentiable maps preserve the sets whose Lebesgue measure is zero, one can define measure zero sets in finite dimensional manifolds. The Sard density theorem asserts that the critical values of a differentiable map are a measure zero set and therefore, assuming suitable topological restrictions, one deduces that the regular values of a differentiable map are a dense set. The pattern used to define measure zero sets in Rn can not be followed in the case of infinite dimensional manifolds. Nevertheless for Fredholm maps the set of regular values are a dense set. This generalization is due to S. Smale. 8.1. Lebesgue Measure Zero Sets in Rm, mzl If P is a closed mrectangle [al,bl]x.. .x[am,bm]cRn , or an m, (al,bl)x...x(a ,brn)cR the number open mrectangle m (blal). . . (bmam) will be called the volume of P and denoted by V(P)
...=
bmam we call P, mcube instead mrectangle and If blal= b=blal is the lenght of its edges. Definition 8.1.1 Let M be a subset of Rm. We say that M is a Lebesgue measure zero set in R~ or a measure zero set in R ~ ,if for every 00 there exists a countably family of open mrectangles (Pn)nep(such m
that MC() Pn and C V(Pn) O there exists a countably family of closed mrectangles (Pn)npH such that MC() Pn and 1 V(Pn) O , there exists a countably family of closed mcubes (Cn)ncH such that Mclj Cn and 1 V(Cn) O there exists a countably family of open mcubes ( Cn)ncH such that MC J Cn and 1 V(Cn) < c .o neN nEm It is clear that if McRm is a measure zero set in Rm and ScM then S is also a measure zero set in Rm. Proposition 8.1.3
Let (Mn)neH be a countably family of subsets of Rm such that for every neH, Mn is a measure zero set in Rm. Then M = ( ) Mn is a neH measure zero set in Rm
.
Proof Let c>O. By the hypothesis for every ncH there exists a countable family (PF)keH of open mrectangles, such that M,c\J PF kc H n c and 1 V(Pk)O such that Bc (x)nM is a X
set of measure zero in I R ~ . Proof a) + b) It is obvious.
b) + a) For every XEM, by the hypothesis, there exists cX>O such that BE (x)nM is measure zero set in Rm. Then there exist X
.
yXeBc (x) and nxeH such that yx=(ql,.. ,q,,,) , q,, X
. Thus
xeBl (yX)cBe (x)
“X
X
covering of M
and
the set (B (y,)nM/xeM) l/nx
every
...
,~,,,EQ
and
is a countable
B
(yx)nM is a measure zero set l/nx in IRm. Therefore by 8.1.3 M is a measure zero set in Rm.o
Note that in the preceding proof we have also proved the following lemma: Lemma Let M be a subset of Rm and A=(Gi)iEI a family of open sets
Chapter 8
348
of Rm such that MC() Gi. Then there exists a countably subfamily icI of A that covers M. Proposition 8.1.5
(Invariance of Measure Zero Sets under C1Maps)
Let G be an open set of Rml f : W m a map of class 1 and McG a measure zero set in Rm. Then f(M) is a measure zero set in Rm. Proof Let xcM. Since G is open and f is of class 1 on G, there are ex>O and kx>O such that B&X (x)cG
for i,jE( 1,.
..,m) and
2kx[zyll ~~f(z)f(y)~~sm
.
YEB& (x) X
afi(Y) lTISkx
and
Then by the mean value theorem,
for every z,y~B& (x). Let C be an open X
.
mcube of Rm whose edges have length !. and such that CcBE (x) X
Then the set f (C) is contained in a mcube C' whose edges have length less than or equal to 2.fi.m 2kxt. Hence V(C')a2m(fi)m.m2mk~..!m=axV(C),
where ax=2m(fi)m.m2mk>0.
Now we see that f (Be (x)nM) is a measure zero set in Rm. We X
consider c>O. Since BE (x)nM is a measure zero set in Rml there x/ 2 exists a countable family of open mcubes (Cn)nEH such that CnnB,
x/ 2
(x)nM+# for every ncH, () Cn>B, (x)nM and ncN x/ 2
is not contained in "0 is larger than or equal
Suppose that there exists nOcM such that C
. Then
(x) B&X
to
the diagonal d=tn fi of C 0 "0
m
E
x/2

Thus
V(C
)r
"0
EX
2m(hi)m
which
is
a
contradiction
Parametrized Theorems of the Density of the Transversality
a
since
349
Em
X V(Cn) < n=l 2m(&i)m
c
Then for every neN, CncB, open mcube C;
(x) and f (Cn) is contained into an X
such that V(C;)suxV(Cn).
contained into the set
C;
ncN
Thus f (BE
x/ 2
and
(x)nM)
is
Hence f (BE (x)nM) is a measure zero set in R". Finally, by the x/2 lemma that follows 8.1.4, there exists a sequence (xn/ncM)cM such (xn)nM) and f ( M ) is a countable union of measure that M = ( ) (BE ncN x n/ 2 zero sets in Rm. Therefore, by 8.1.3, f(M) is a measure zero set. in R ~ . D We remark that the hypotheses of the latter proposition can be weakened to "f is a differentiable map on G and its partial derivatives are locally bounded" or "f is locally Lipschitz on M, i.e. for every xcM there are E ~ > O and kx>O such that Nf(y)f(z)iskx[yz[ for every Y,ZEB& (x)nM", instead of "f is a map of class 1 on GIg.
X
Corollary 8.1.6
(Rm)i
Let G be an open set of a quadrant of Rm, f : M m a map of class 1 and M a subset of G that has measure zero in Rm. Then f(M) is a measure zero set in Rm. Proof By the remark that follows 1.5.14 and by 2.1.31 there are an open set A of Rm and a map T:A+Rm of class 1 such that G=An(Rm)i and FIG=f. Thus f ( M ) = f ( M ) is a measure zero set in Rm.a
Chapter
350
8
It is intuitively clear that an open set of Rm can not have measure zero in lRm, but the formal proof of this fact is not trivial. Proposition 8.1.7
Let M b e a subset measure z e r o i n R ~ .
of Rm such t h a t
8.4.
Then M has not
Proof Since h+#, M contains a closed mcube C whose edges have length L , and we only have to prove that C has not measure zero in R ~ . Let (Cn)ncH be a countable family of open mcubes that cover m
C V(Cn) converges. Then, since C is a n= 1 compact set, there exist nl,.. EN such that CcCn u.. .uCn P 1 P Thus V(Cn )+. .+V(Cn )W(C)>O. Indeed , suppose that 1 P C=[a 1 ,bl]x...x[amrbmlr C and such that the series
.
.
.
..
1 1 1 1 Cn =(a 1 ,b1)x.. .x(amrbm) , .,Cn =(ay.by)x.. .x(aP,bm:) and let a. be 1 P the number of elements of Zm belonging to C, and a:J. the number of elements of Zm belonging to C for i=1,. ,p. Then we have
m TI i= 1
"i
..
als.TI (biai+l) 1 1 1=1
and it is clear that
m m 1 1 TI (biai+l)+. .+ TI (byay+l). TI (max(biail,O))sa sa ..+a 0 1 P i=1 i=1 i=1 Now consider the cubes AC=[AallAbl]x . . . X [ A ~ ~ ~ A ~ ~ ] ~ ACnlr"'rACn P with A>O and AblAall>O, bbmAaml>O. Then applying the
.
+.
...,
Parametrized Theorems of the Density of the Transversality preceding argument to these m m 1 1 IT (hb hail) B s IT ( hbihai+l) +. 1 i1 i=1
cubes we conclude that m + IT (hbyhay+l) Then dividing i=l
.
..
.
m 1 1 1 1 IT (biai x ) s IT (biai+ x)+...+ IT (bya?
m
i=l i=1 and therefore, since we V(C)SV(Cn )+. .+V(Cn 1 * 1 P
.
can
351
choose
i1 A
i)
arbitrarily
large,
m
Whence
C V(Cn)zV(C) and C cannot have measure zero in Rm.o n=l
Corollary 8.1.8
If M is a measure zero set in Rm, then fi=@ and RmM is dense in Rm. In particular if C is a closed measure zero set in Rm,
0
then C is novhere dense in Rm i.e. [email protected] Proposition 8.1.9
If p(blal)+.
..+(bna,).
...
Chapter 8
352
Proof Suppose that alsa2s.. .sari. From the hypothesis we deduce sbn. Moreover [a ,b ] r ~ [ a ~ + ~ , b ~ + ~for ] = # lsksn2. that blsb2s k k Hence (b1a 1)+(b3a3)+(b5a5)+. .!(T nI)+. .+l(T nI). al ar
.
Hence
the
family
a
(
 i /i=l,.. (Ta n1)xC.
i 3 closed mrectangles covers the set M and
Whence M has measure zero in Rm.o
.,r,j=1,  ‘”ai) * *
of
Chapter
354
8
Note that after a linear change of coordinates the hypothesis "for every a&, Mn( ( a)xRm') has measure zero in Rm'llg can be changed into "there is a straight line of Rm such that for every hyperplan H of W m orthogonal to r, HnM has measure zero in
#L.
8.2. Subsets of Measure Zero in Finite Dimensional Manifolds
Definition 8.2.1
Let X be a differentiable manifold of class p (prl) and McX. Suppose that dimx(X) O ba and EC. 2 Hence im(z)=im(ci)=f(J)q(K) is a compact set in X, ci being a continuous map. Since X is connected and Hausdorff, f(J)ug(K) is an open set and ';ii is a bijective map. Then f(J)ug(K)=X and iji:H/S+X is a homeomorphism. Then by 4.3.14 S is a regular equivalence relation and therefore there is a unique differentiable structure [a] of class p on H/S such that the map p:H+H/S is a submersion of class p. Moreover the manifold (H/S,[d]) has not boundary and by 4.3.6 ci:(H/S,[d])+X is a map of class p. From the definition of ci diffeomorphism of class p. Hence
we see that ci is a local a is a diffeomorphism of class
P. Finally it is clear that (H/S,[A]) is CPdiffeomorphic to S 1 with the natural differentiable structure, which ends the proof of the lemma (the case of negative slope has a similar treatment) .n Now we shall finish the proof of the theorem.
.
suppose that X is not diffeomorphic to S1 Then we must prove that X is CPdiffeomorphic to an interval of LR which is not a single point. First we note that for every XEX, the map 1 (x,.) 1 :Tx(X)+R is a norm in Tx(X) Let x be a point of X and
.
Parametrized Theorems of the Density of the Transversality
377
c=(U,(p,( R , h ) ) a chart of X such that xeU and U is a connected set (A=# or A=(A)). Then p(U) is an interval I of W. We denote by a the map of class p, p':I+U. For every t d let us consider the map L
where co is the natural chart of I. It is clear that norm in R . Thus for every tsI there is g(t)>O such that Then
g:IM
is
a
map
of
class
p.
1
is a
itg(t).l
Consider
t 7(t)=/ g(s)ds for every te1. Then r'(t)=g(t)>O
1 it
tOEI
I. and
and therefore
7:1+7(1)=J is a diffeomorphism of class p and J is an interval of R.
Let B:J+X be the map defined by @=a7'. Now we claim that the pair (JIB) is a parametrization of X by the arclenght. We know that J is an interval of W, B is a map of class p, B(J)=U is an open set of X, B:J+B(J) is a diffeomorphism of class
= g ( r  ' ( s ) ) . Ill=g(v'(s)). Hence the pair (J,B) parametrization of X by the arclenght, as claimed.
is
a
Let P be the set ( (J,f)/ (J,f) is a parametrization of X by the arclenght). Now one defines the following relation over P "(J,f)s(J',f') o JcJ' and f' IJ=f" It is clear that M#, s is a partial order and inductive set.
(P's)
is an
Chapter 8
378
Let (L,h) be a maximal element of (P,s). Then h(L) is an open set of X. Moreover h(L) is a closed set of X. Indeed, if xeh(L) and [email protected](L), then we construct (J,S) as before. Thus xeS(J) and B(J)nh(L)*@. Since X is not diffeomorphic to Sl, by the preceding lemma, there is a parametrization of X by the * * * * * arclenght (J ,f ) such that LcJ , f*IL=h and f (J )=h(L)uS(J)
*
*
and therefore there is teJ such that f (t)=x. Then [email protected], M J * and (L,h) is not maximal, which is a contradiction. Hence xsh(L), h(L) is a closed set and h(L)=X, since X is a connected space.0 The following lemma allows to approximate differentiable maps by continuous maps. Using this lemma, the preceding classification theorem and Brown theorem we shall prove Brouwer's fixed point theorem. Lemma 8.3.13 Let X be a manifold of class p that admits partitions of unity of class p, E a real Banach space, f:X+E a continuous map, A=(Mi/ieI) a locally finite family of subsets of X and (ci)iEI a family of real numbers with ci>O for every icI. Then there is a for map g:X+E of class p such that for every i d , ~~f(y)g(y)~~0 if ( iEI/WxnMif#)f# and 6 X=1 if (ieI/WXnMi*#)=$. Since f is continuous, there is a neighbourhood Ux of x in Wx such that IIf (y)f (x) for every yeUx.
Parametrized Theorems of the Density of the Transversality
379
By the hypothesis there is a partition of unity of class p I (hx/xcX) subordinated to the open covering U=(UX/xeX) of X.
c hX(y) .f(x) for every XCX y ~ x .It is clear that g is a map of class p. Moreover if im(f)cC, then g(y)€C for every yeX, because of that C hx(y)=l. Let g:X+E be the map defined by g(y)=
xax
(since IIf (y)f (x)U < G X ~ e i for ycUx and hx(y)=O for yeUx.o Theorem 8.3.14
(Brouwer Fixed Point Theorem)
S l ) f:Dn+Dn a continuous map. Let Dn be the set ( x e W n / ~ ~ x ~ ~and Then there is xeDn such that f(x)=x. Proof Suppose that the theorem is not true. Then, since Dn is a compact set, there is 6 > 0 such that IIxf (x)IIrS>O for every xeDn. If we
put
X=D,,
E=R
n
,
C=Dn, #=(Dn)
preceding lemma, then we find a map of class
and m,
{&=
i} in
the
g:Dn+Dn such that
6
llf (x)g(x) for every x‘Dn. It is clear that the map g has not 6 fixed points, since if g(x)=x, then llf(x)xl[=llf(x)g(x)II 0 , (p is a map of class O D . Then, by x9 (XI Brown theorem 8.3.11, there is a regular value of (p, yesn'. Let M=(pl(y)cDn. For every XEM, (p is a submersion of class m at x. Thus by 4.2.11, M is a closed submanifold of class 00 of Dn, M i n t (D,) *#, a (M)=MSnl and dimz (M)=1 for every zeM. Since (p(y)=y, yeM and therefore yEa(M). Let K be the Y connected component of y in M. Then K is a compact connected and Y Hausdorff 1dimensional manifold. Then, by the classification theorem 8.3.12, Ky is Cmdiffeomorphic to a closed bounded interval of R which is not a singleton, since yEB(K ) Hence there is zca(K ) with z+y, which Y Y is a contradiction since (p (z)=y and (p ( 2 ) =z , 2 d  l .
.
Notice that the preceding reasoning with the function proves the following result:
(p,
"Let X be an ndimensional compact Hausdorff manifold of class pr2 with smooth boundary. Then there is not a map (p:X+a(X) of class p such that (p I a (X)=la (X)* In the preceding proof, we have used a common technique of Differential Topology. Namely, a continuous function f is approximated by a differentiable function g and after picking a regular value x of g, it is the submanifold g'(x) which gives some relevant information. The generalization of this will consist of substituting the regular value x of g by a submanifold transversal to g at x.
8.4. Smale's
and Quinn's
Density Theorems
In this paragraph we generalize Brown's theorem to infinite differentiable manifolds and obtain Smale's and Quinn's density theorems. In order to do it, we introduce the socalled
Parametrized Theorems of the Density of the Transversality 381 Fredholm differentiable functions. Definition 8.4.1 Let E,F be real Banach spaces and u:E+F a continuous linear map. We say that u is a left Fredholm operator if ker(u) is a finite dimensional linear space and im(u) is a closed set of F. If u is a left Fredholm operator, the number dim(ker(u))codim(im(u))eZu(a) will be called index of u and will be denoted by ind(u). If u is a left Freholm operator and ind(u)eZ, then u will be called Fredholm operator. The set (u:E+F/u is a Fredholm operator} will be denoted by @(E,F) and the set (u:E+F/u is a Fredholm operator with ind(u)=keZ) will be denoted by Ok(E,F). It is clear that @(E,F)=(j Bk(E,F). The set (u:E+F/u is a left Fredholm operator) keZ will be denoted by d(E,F). It is clear that e @ (E,F)=@(E,F)UO~(E,F), where @=(E,F) is the set (u:E+F/u is a left Fredholm operator with ind (u)=a). Proposition 8.4.2 Let u:E+F be a linear continuous map. Then ud(E,F) if and only if ker(u) is a finite dimensional linear subspace of E and im(u) has finite codimension in F. Therefore if ue@(E,F), then ker(u) admits a topological supplement in E and im(u) admits topological supplement in F, (we shall shortly say that u is double splitting).
Suppose that dim (ker(u)) . Suppose now that Y is a T1 space. Then f€Vf c. ( (Y ( y)) xY ' ) u( fl (G' ) xG ' ) The following proposition gives another description of the basis as. Proposition 9.2.2 Let
Y,Y'
be
topological
spaces
and
consider
the
set
Spaces of Differentiable Haps *
437
f
/faC(Y, Y') ,E=(ci)iaI is a locally finite family of closed sets of Y, U=(Ui)ieI is a family of open sets of YxY' and for every i d , r cUi)' where Vr =(gac(Y,Y')/r (EIU)
Bs= { V
(C,U)

every kI).
*
Then BS=Bs. Proof
*
f f f Hence fsScfss. If VW€Bs, it is clear that Vw=V ((Y) I (W)) *
*
asS. Then for every i€II the set Let us consider V f (GIW wi=uiv[(YCi)xY~] is an open set in YxY' and rfcWi. For every
. .
ieI, YxY' Wi=C. XYIU1CC1xY, and ( CixY } ieI is a locally finite 1 ~~~ a locally finite family family in YxY', so that { Y X Y '  W ~ ) is of closed sets of YxY'.
Therefore
iaI
(YxY'Wi) is a closed set in
YxY' and W=() Wi is an open set in YxY'. 1€I f =vf .o VWaBs, and we conclude that V (EIU) w
Finally rfcW, hence
Corollary 9 . 2 . 3
Let Y,Y' be topological spaces, E=(Ci)ieI a locally finite family of closed sets of Y and 8 ' = { G ! 1 } i d a family of open sets for every k I ) is of Y'. Then the set .
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 ~~*=(=() ]=l j j by 9.2.4, TscTc. b) If the maps of C(Y,R) distinguish points, then Y is Hausdorff. Hence if, moreover, Y is compact, then by a) Tc=Ts. Conversely, suppose that the maps of C(Y,R) distinguish points, Y * is a T1 space that contains an arc, T c=T s and Y is not compact.
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 be an element of ZccTC, where K is a compact set in Y and GI is an open set in Y', such that fr. Thus few' (f)ccK,G'> and TccT ,.o C
.
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 T1space 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[ (xC)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 nonempty 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 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 yeYK.
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 yeYKx, 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 fl 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 Wl is an open set of Y'xY. Moreover r cWl. Indeed, for every fl Y'EY', (Y',fl(Y'))=(f(Y) rflf(Y) )=(f(y) ,Y) and (Y',fl(Y') Finally a(WnH(Y,Y'))=WlnH(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=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 fl(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))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),HW)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)+(lt)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)+(lt)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)+(ltd)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=hlr
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