NOTES ON TO WLOGICAL STABILITY John Mather rvard Unlvcrrity

advertisement
NOTES ON TO WLOGICAL STABILITY
by
John Mather
Ha rvard Unlvcrrity
July 1970
Thara notea a r o part of rh. flrrt c h p t o r of r marlam of lacturaa
givon
-tor
t
b autbor la tb. r p r k d 1970.
Tha uLLmrta aim of thooo
will bo to prove rha theorom th.t Ch. a r t of topobglcJly a t a b h
mapplngo f o r m a dona. auboot of C ~ ( N , P I for .of f h l t a dlmonriond
mrnLloldr N md P whora N ir compact.
The flrat & & p a ri 4 a atldy
of tho Thorn-Wlaltmoy thaory of otrulflod oata rrrd atratlfiad m&pplry..
Tha cotuaoctbn of tho m a t a r i d h theoa mtoo with tbo thaorom on tha
dondty of t o p o b g k d l y .tabla mrpplwa appaare b 4 11, r b o r o wa glvo
Tbom'a .ocond lmotopy lamnu. Thim roa J t glvoa aufflclwlrt comdltbn~for
two a p p i r y r to ba topologkdly oquivdoat.
p
k t
I
8
,
porLHvo numbar p r w
rbicb rill bo h o d throu#hout
By lfemooth" wo r i l l mean dlflormtiablo of c l a r r
thlr chaptar.
Let
i
bo
M be
8
e)n-mmlfold rlthout boundrr7.
mmooth [i. e.,
c')
r mmooth (I. 0..
.
C'
M
rubnudfold of
I
.
r e rlll moan
.
muboot
By
X
of
H mueb t b t for ovary r E X tboro d r t m a coordinate chart ( e , U )
cP
of cham
r € U m d flX
much that
R~
.uItabls coordlnata plmo
r e do not amrurne t b t
1. clorod.
X
X
daRzlltlon of mubmanlfold that
S
ha. a aai#bborboed U
If
in R'
n Ul = R k rlflUt.
. In th.
detlalnon of mubmmlfold,
Howovar, It foilowm from tho
m
l locmllv clomod L.
in M
much rb.t
X fl U
l r m r-dlmenrioiml rubmmlfold of
X
&a tangent rpmes
TXs
bundle of r-planar In
of
TMr
X
.
rt
for a
r
M
0.
, oach point
1. clomod in
md
rEX
,
Ln
.
U
tbon
I D r p d n t in the Granrnumlan
In whrt follorr 'konvor#snco" mama
convergence In the rtandard topolon on thlr bundle.
Let
Set
X
and
r = dim X
.
Y
bs amaoth mubrrunlfoldm of
M
and lot
yEY
.
3.
Condltlon b.
( 2.
for rubrrunlfoldo of
W I
nn
.
wlU bogla by doflnhg Vhltaoylr cmblUon b
Than wo ertond thlr daflnltloa to rubrrunlfold8
af an arbitrary mmlfold. udng tba doflnltlon In
that condltion b Impliar condltion a
w m ~ l o1.2.
C
3
.ht
the . - d m
wltb
Y
(Wbltamy { 6 ])
bo tho m - u d r md lot
dalotod.
X
and
k the mat
doaota coordinate. for
{mx2
-
0)
(X,Y)
ratlrflom cundltion a at .U polntr of
condition a a t ovary polnt of
(X, Y )
Y
.
an
X
C3
.
.
+ y , then tho r n . ~ n t
x
whlcb L m pmrallol to tho llao jolnlng
through tho orlgln.
For any
I
I
d l 1 donot. tho U.0
and
€ Rn wo 1dr.h
Wo wlll 81.0 ah-
and palam0
f
TxR0
dth
I. In
tho rhndard way.
r
= dlm
ba (rrnooth) rubrmnlbldrn of
X.Y
k t
Y
u c o ~ tho
t arigtn, and that It doom mt matlwe condltion a tboro.
Wo wlU may t b t tba palr
la
and
4th
arm c a m p l n a u l y H c mubnunifoldr of
Y
1.1I
1f
x. y, m
(In Figure 1, wo &va mkotcbod tho LntorrocClon of
R ~ . m
) en X
It lo 0amL1y mom that
.ht
.
Rn
b
g
convarglnn to
y
-to y . sumorn.
. Lot
and
-
f
I
L
&
l
(I(,Y )
rathflom condltlon
rl bo a m.qtlmco of polnt8 In X ,
a mo~ueacoof polnta ln
Y
,
aImo.comarflng
for d l
Lot
y DE Y '
Y'o ray t b t tho p d r
If th. follo4afi hold..
y
rl Sl y,
yCY
L.t
.
X
DEFINITION 2.1.
ratlrllmr condltlba a If It mrtimflsr
ma.
( X * , Y ')
.
bo a rocond pmlr of mubrrudfoldr of
mn ,
and 1st
4,
Then t h r r r exlrtr a l l n s 1 E
tha t
-
1 g TY
(X, Y
but
Y
yl € Y
1& T
. Slnce
yl & x i .
ruch thmt
DEFINITION
- y6Y .
Let
Lot
-
2.2.
W e ray that
M
be a manlfold and
(X,Y)
X.Y
padrfler condltlon b
(pU) about
morns coordlnato chart
.
y
,
rubmaaupldl,
(X, Y )
-
htrlnce
yI x I
and
f k r , thir
0. E. D.
ratlrflsr condltlon b at
y
rubmanlfoldr and let
y€ Y
y
, then
X I . Ip(Un Y]
X and
be a manlfold and
Y
.
PROPOSITION 2.4.
It ratlrfler condltlan a
ratlrfler condltlon b a t
M
y
.
Let
r
- 88 =
ratlrflsr condltlon b ~t
y
conrtsnt.
For. by deflnltlon, the angle
then tbs tsngentr
1
,
'IXy
Lrt
Y
ruppore that
X
and
requence of polntr ln
TIR" = IRn
.
Y
X
a rnd b a r e purely local, we may
a r e rubmanlfoldr of
ruch that
V's murt rhoa that
x,
-
y
TY 5
Y
and
T
.
lFtn
. Let
TXxl * V
xi
.
be a
for moms
Suppore otherwire.
rlcb
(X,Y)
door not ratlrfy condltlon b
convergrta n Uno
(Yhltney ( 6
he the =-art..
.
Let
1).
Q
(X,Y)
T
rlth
.
=
2
9, and
T
n
kL converger
.
3
Let
x. y.
X be the rat
(Y
8
2
be coordlnater for E
+ x3 - m *
2 2
a
0) d t h
(In F l p r e 2 r e have oketched the lntermectlon of
R 3 ) It l r earlly rsen that the palr
and the palr
the condltlon
a betrean the llne TXx and the recant
r h l c h n u k e r an angle
Exampla 2.6.
than
denned
In polar coordlnater, thlr rplral lo glvsn by
Then the p l r
the 8-axlm deleted.
Prnof: Slnce both candltlonr
-
X be the rplral lo EL2
n u k e r a conrhnt angle 4 t h tho radlal vector. and
X
Y be the orlgln.
to a llns
(X,Y)
.
yE Y
&at tbe h n p n t of
.
For the r e r t of thir rsctlon, 1st
ratlrfler condltlon b if Lt ratlrfler cond(tlon b mt
Example 2.5.
r r b v e that the pair
(0.V) about y , r s have that (T(U0
m coordinate chart
(X. Y)
s v s r y polnt
let
Y
y
r o can choorr a r.sumce of polntr
y
P(Vn Yl) ratlaflau condltion b g f l y ) .
In d e w of Lemma 2.2. lf
for e
yi
,
Obvlour.
We ray
( d U 0 X)
p r r l n g through the o t I d n , much that
1 C TY
Y
.
contradlctr condltlon b
Proof:
nn ,
(X.Y)
ratlrfler condltlon a.
ratlrfler condltlon b a t all polntm of
orlgln and that l t doer not ratlrfy condltlon b there.
X
Y
except the
.
7,
6,
PROPOSITION 2.5.
fi
condltlon b
ProoZ:
. &T
dim Y
4
X ,
to
y
there e r l r t r a nequence
x,
In
8
hl
-Y
a
mm
.
depend. on the notlon of blowing up a mmlfold along
Slnce
7
r mm
(where r
yl
on
= dim XI.
.
TY
TqI
Let
converger to an
recant
1
ylxl
57"
Slnce
yl
-
(N U) U %
In
N
TYyl ; hence
Slnce
(X,Y ) ratlrfier condltlon b mt y
rhown
TY
dim X
=
Y
dim
+L G +
and
L
,
Ir orthogonal to
+ > dim T Y = dlm Y
Y
.
x
the
1'
Im orthogonal to TY
J
we have
TY
Y
1
.
.
where
Pt+,
Ry the natural projectlan
mintml=er the d i r a n c e to
I m orthogonal to
ba a nunlfold and
deflned In the followin# r a y .
Since condItlon b Impllem condltlon
.
.
N
T
.
Y
We have
U
a clored rubnunlfold.
By tha
manlfold BUN obtained by blowlng up h' along U, v a wLLI maan tbe rnanlfold
r
a rubmequence if necerrary, v e may muppome the mecantr
to a llne
rubmmnlfold, r h l c h r e
l
define In thlm rectlon.
S T
For i rufflclently large, there m
I a
Y
whlch miaimlrar the dlmtrnca to xi
By parrlng to
Y
Thlr formulation
vhlch converger
By the compactnerr of the Crarnmannlan, we may ruppore, by
(Propoeitlon 2.4).
polnt
Y
In the next rectlan, r e will glve mn I n t r l n d c
B l o w l n ~up.
formulrtlon of condltlon b r h l c h will b e u r d u l Imter on.
dim
parrlng to a rubmsquence If necerrary, that
plane
0 3.
(X, Y ) ratlrflar
It Ir enough to conrlder the c a r e when
y E
.
y
-Y
X.
7E X
Sumore
defined by letting
.
-
U ~ NU
. hence
r
1 mu
B UN
Am a r a t
denoter the projectlva normal bundle of
* : BUN
-
b e the projection of
be the Inclurlon of
N
-U
into
N
To define the differenttable 8 t ~ c h I r aon
the cmre when
N
fr open In
lFtn
and
U
mu
Flrmt,
BUN
mn
x
d-'.'
d x ) =(r.fl(x)] , where
homogeneouo coardlnater
I
- an
,
= IRn flN , where R'
n
-.
-r
Ir the
coordinater.
x=
dth
(7,
i r the polnt In
( x ~ + ~ . xn 1
A
and lettlng
r ~ d - ~ : l d e f l n aam
d follovr.
. 9econdly. If
B(x)
U
v e flrnt conrider
aIF++, I r the rtandard ldantiflcatlon of
U x mpn*'-l
then
.
a : BUN
on
.
coordlnata plane defined by the vmnlrhlng of the lamt
m e n r e have a m a p p h g
U
N , v a mean the mapplng
@
Q. E. D.
f r the dlrjolnt unloa
.
!x
.
I
pl~-'-l
€
nn - nr ,
vlth
It la earily verlfled t b t
rnx
R Pa-:-?# follolr. Let 4 ,
mn .
Let
For
r
,Xn
Xr+Im
+ 1 S 1c n , l
n
cW
Ie a
,x
n
rubrnrnlfold of
denote the coordlnatr of
)
pn-!-'
denote the hornogreour soordlnater h r
2,
a : BUN c.N Ir the aahrral proJectlon. the n r r t r h t m m a t I r
obvlour.
denote (he n b r o t of R ~ ~ . ~ - l d e f l nby
ed
40 ,
and let X
be the r u l -1ued function X,{ * XJ/XI on Z1.
Ji
Then the InterrecHm of
dl N rr ZI Ir the rat deflned by
Xl
where
To prove the renuinla# two rhtementr, r e rot
obeervi thmt there e d r t functionr
r +Is1
Slnce the nupplag
BUN
on
by pulllag bnck the mmalfold rtructure on
Nor. l e t
end let
a Ir InJecHve, r e may deflae m nunlfold rtructure
1"
, Iet
N C be r recoad open rubeet of
-
q : (N,U ) (N'. U')
rp+ : DUN -* BUeN'
fl
be a
a&,N]
dlffeomorphIrrn.
.
U' =
,
c"-I
xi
,
cp and
for
a j n , euchthat
Thir 10 proved am follo+r.
vanlrhee on
of el.
q
U
n
N
mr ,
fl
Slnce for
r
+1
15 n
,
r e have tbmt
h
r e #at that
mrn N' ,
Let
be the Lduced mapplng, deflned by lottlng
be the nupplnl Induced by the dlfferenHm1. and
' P + I ~ :~Yu
lettlng p, IN - U : N - U -. N C - U' be the re.trlcHon of p . Then
%
-mud
TO .how thIr, we first obrerve that
,
Thetsfota, It mfflcen to n h w tlut
-pan.
j
d= 1
r t 1 5i
. Slnca
t!mt
n
.
*ye
+ boldr, where
.
l r r dlffcornorphlrm of c l r r r
I . ennugh to .how
ro that
140f chs.
rnd that XI,
cp,
F,
Is
blject10n and
1. of clrrm
d"
.
d-'.
L l i j n , that
I r of clanr
c''~
(?,1-'
TO ahor
a
(q3-l).
~ i r lt.
In view of
-1
(+I
, e, (7.() n Zk Is the rubnet of
Zk deflned by
( p ; ' ) ( ~ ~I.)
for r +lsf.n
md
m d hence 11 open. It followm that
7,-1 Zl
Ir open.
It r1.o follorr from
14. An Intrtndc formdatlon of condltlon b
m a t f o l d Let AN
donot. lh. diagonal In
-a -111 maan the mlalfold
T h e normal bundle
tangent h a d l a
TN
N2
F(N) obtalnod
of
W
hN
In
.
Let
N
CBB
be a rmooth
By tho fat ..urn
of
N2 along
blmlng up
N2
In a canontcat -.y,
.
N
,
&N '
bo tdentlff ed 4 t h tha
am follorr.
If
x E AN
,
then by
deflnltlon
N o r let
X
Suppnrr Y
The mapping of
Inducer an Imomnrphirm of
identify
x
Into
TNI Q TNx
vitb
TNI
7
x
TNr
with
rhlch r m d r
TNx
.
vQr
to
r
nf
PT(N)
I m clorod.
bo rmaath rabm.nIfoldr of N
PROPOSITION 4.1.
,
F(N) a r e nf two klndr: pairm
and tangsnt dlrectlnnr cm
N
.
(x,y)
4th
x,y € N
N
. Thua. pointm
and
x C y
.
la rlw of the p r d o u r p r a g r a p h . r o obbln the
'Iho pair
(X.Y)
and only if the follorlnl( condttlon holda.
denntem the prnjectlve tangent bundle of
yEY
and l e t
We ure &IDIromorphtrm to
manihld alnng a rubmmlfold, It follorr that
where
Y
-r
Frnm thir ldantlffcatlon and the daflnltlan of the procerr nf blaring up
8
and
polntm In
X
Suppore
x
s d
-
y
(7,)
,
y )
ratloflam condlHon b
y
,
(
y I
much that
Y
COwOrRe. to
and ( T X ~ ) c o n v o r g e ~(in the Gramrmamlan of
r h e r a r = d l m X ) t a . n r-&a
r s T NY .
kT
y
bo any r q u a n c e of
LA fx,)
any requonce of p t n in
~
-
g
r
l
x,
4 y,
lfne 1s my
p h n a r in
f S T -
TN
.
*
.
14.
45.
v%ltner pro-rtratlflcatianr.
mmibld dthout k n d a r y .
8
of
S
.
We ray
X
of
8
M
.
, p.t42].
prove by an argument due to Thorn [ 4
By a pre-mtratlflcaWon
We rkmtch Thom'r argummt for thm two otrata c a r e hmrm.
by p d d w dirjolnt rrnooth
non-trivial care i r when the h o rtrata matidy
.
We will ray &at 8
x
i r locally
and
a r e In
r'
.
X
X
In tblr care
X <Y
Thm only
and the two p o h t r
i r clemd and
.
?=Y UX
X
ham a nmlghborhsed whlch meetr at moot flnltsly
flnite if each p i n t nf
many otrat..
c')
h a rmoath (La.,
5
M , which llm In S
-
W
bm a rubrmt of
S
r e r i l l mom a corer of
rubmanifoldr nf
rtracum
Let
Let
8
rrtirfl.r
For rlmplIclty, r e will ruppore that
the condlHon of h e frontierif for mach
-
itr frontier (Jt
M
Ir compact, though It lw not
M
dlMcult to modlfy the argument to make It work in the carm
X ) n S 10 a union of otrat..
Ir
non-compsct.
We r i l l ray
10 a Fshlhay prm-rtratiflcatlan If it Ir locally flnltm.
8
ratirfler thm conrHHon of the frontler. amd
(X, Y 1 of rtratm of
fnr any p i t
8
.
be a r m w t h retraction. and lmt
~
Let
M
.
*
bm a Whitnwy pre-rtratlflcatlnn of a rubret
Suppore
the frontier of
dlrn Y < dim X
X and
X
. In
Y
a r e rtrat..
W s write
view of ProporlHon 2.5.
S of a rnanlfold
*X
Y
Y <X
If
. It f o l l a r earlly that the rmlation "<"
If
Y
10 in
8
Lat
M
he a manifold.
a Whltney pre-otratlflcatinn of S
x
In the mame con nected component of a rtraturn of
8
x'
M
. and
be two point.
. Then there exlrtr
a homeomnrphlrm
h
ouch t h t
. Thlo follnrr frorn Thom'r theory 1 4 1 and wa will
h(x) r x'
prove it below.
of
and
M
In the care 8
onto l t r d f r h l c h premerver
.
0X 3
(p = 0 ) ,
x
M
,
be a mrnooth functlon nn
and at a point
X
the normal plane to
P
r € X ,
let
T
M
ouch tbat
:N
X
Ir non-degmerate on
In thm renrm t h t the Hmrrlan matrix of
ham rank equal to the codlrnrnrlon of
Now let
definer a partlal
S a clomed rubaet of
. Let
1
p
In
p
at
.
.
X
then
mrder nn 8 ,
Remark.
N be a rmall tubular nmlghborhood of X
Let
watlrflem condition b
(X, Y )
S and
8
har only two strata, It IDgulte eawy t o
of
X
of
v
.
Fnr
x
Let
and
vX bm a omooth vector field on
rtartlng at
c >
xC be two polnts In the rame connectmd component
x
arrlvem at
r C at
compact, and
r :M F
X
11 a rubmerrlon.
r
oufflclently omall.
vector field
on
M
v
-X
and an
rl
.
Mc = (P = F 1 of
Furthermore,
lm cnmpact, and It follovm frorn condition b that
rubrnerrlon for
wuch t h t the trajectory
tlme t = 1
ouMclently omail, the rubret
(r
X
r :Y
F
-.
N
YF =
Ir
M FCI Y
X ir a
It follovo emoily that there l r a
* fI
ouch that
v
l r tangent
Let
M
be a manifold and
r mbmmifold.
X
A tubular neiubborbood
DEFINITION.
(E.c , p J , where
r :E
rmooth function on
X
-
X
T
non-degenerate on the normal plmna to
X
of
m
i m Inner product bundle,
, and p
1. r dlffeomorphlrm of
k vhich commute. witb the r e r o rectlon
m b r e t of
in
i r r triple
M
c
ir
pomitiva
A
B
onto An open
c
of E :
p
n u t r i r of
U
If
r h a m rank equal to tho co-dlmenslon of
at
Ir a rubret of
(E(u,
U
T
= (E, c o y )
X
in
M
.
X
We s e t
the nupping
T
,
IT (
= @Be)
r
rT
.
By the projection armoclated to
cp - 1 : IT1
-
X
T
.
)1%.
dBc-
pT ( 9 ~= ~pT,-
and
T - T'
write
we mean the non-negative r e a l valued function
.
T
X
cC on
with
TI
X
,
1. a.
,
the compoeltlon
-x
1. the identity.
vanirhem only on
Aimo,
X
.
Inclusion
-
.
lpBc
Y. 8 B ~ Y T
X
IT1
IT1
on
-
i r the 0-ret of
and (in tha c a r e
p
PT
than
f : M -. P
X
and
M
a mubrmnifold of
A tubular neighborhood
x
T'
a d
with
-
the differential of
pT
f
if
f
.
IE X
, pT
rT I f 1
to be compatibia with
6 :E
-
E* will be
f
(y~eC
T
to
J ~
.
T'
will be raid to be a mubmcrmion If
x E M
T
of
X
I.
A mapping
if
f -h = I .
in
h
.
f : M -. P
be a rmooth mapping.
M
will be r d d to be compatible
of
M
into ltreU will be sald
-
H :M x 1 M
A homotopy
into itrcif wiil be raid to ba compatlbie with
.
ir
.
ir
t E I ( = [O, 1))
U
a r e i ~ o m r p h i cU
@
2) a t a point
to
rT(pBeC rn mT,
Lf there edmtr a n 1romorpMsm f r o m
TPf(X, 1m onto for each
1
T
T
c' 5 rnln(c, c*] and
such that
Throughout the r e r t of h i s rectlon, let
retraction of
of
if there exirtm a poaitive
Note h a t if thir hold.,
A rmooth mapping
df : TMx
rT 1
..
IU
v a mean
. By the tubular function arroclated to
It L l l o v r from there deflnltion. that
T
m inner product bundle iromorphirm
continuour functlon
rn
the rertrictlon
.
T* = (E*.
c * . ~ ' ) a r e two tubular nelghborhoodr
sad
raid to be an imomorphlrm of
9'
.
X
~ I u ,( P ( ~ I .
dcfiiadar
of
in the r a n r e that the Hcmrian
X
By an irotopy of
f
if
f
Ht = f
of
for aii
M , we will mean a rmooth mapping
M
H:Mxl-M
m8chrh.t
t 6 I , If
dlffsomorphlrm l o t all
the .upport of
if
H :M
h f M :
If
xl
-
h
im
md
l
dll mean tb clamuro of
h
-
ia4
{x 6 M : h(x) 4 x )
Flrmt, under thr hypothamir b t
M
iato itreU,
.
Lik~ae,
H dll m o m tho clorure of
and
f
f
1%
im
Z
mubmurlfold of
MC , m d
To
and
rubmermloa. wr can choora
. Secondly, if
to iemva
4
l
To lU
M
clomed'mubmet of
Hx,tl+r).
M * 10 a mecond mrnibld and XC im
h : (M,X)
Ht:L(-L(
dlffeomatphimm of
i r m imotopl, the m u m r t of
M
t € I .
Ho=ld:M-Y
-
TI lU
T 1 a r e comptlblm with
h
~d
for mom8 open met
Z
much that
n X5 U ,
f
H to bm compatible d t h
U In
X
, and
thea we can choomm
h
Z
1.
l
H
md
point-vlra flxad.
The follorlnp proporition impllem theme mtrtarnslltm, m d ham mome other
(M*,XC) i r a dlffeomorpbimm, thea for any t u b d r r nelghkrhood
wrinklen mr well.
We dll umm it in ltm full genermlity.
(E.t,pl of X wm deflne a tubular neighborhood h+T of XC by
h
+
e
,
t
hml
, h
PROPOSITION 6.1 (Uaiquonemm of hbu1.r
t p) .
X $ M
rubnunifold
We d U hegln by mtrthg m d p r o h g a uaiqumemm theorem for tubulmr
U be an open rubret of
nalghborhoodr, and than we dll derlve M eximtence theorem from the
urriqueaeem thsorem.
Thlm procedure of deducing the erimtence theorem
lSae Figure 3 . ) LA
To
and
T,
then there exlrtm a dlffeomorphirm
polat-wlee fixed much that
that tbara 10 an lrotopy
point d m e flxad.
h,TO
H of
arm tubular nelghborhoodm of
h
- .
TI
of
in
M onto ltrelf which l e a v e
Moreover.
M with
X
h
can be choman mo
hl = H which ieavea
We crn generaliae thlm rarult in variour wayr.
M
X
,
,&
M
,
fix :X
&
U'
-
P
i r a rubmermlon.
be ciored rubrmtr of
V'
and muppome
TO md T,
U* C U
&
be tubulmr nehhborhoodr of
p0 : T0lu
-
vlth
-
l e a v i n ~ X polnt-wire fired. and d t h mupprt in
f
.
T,Iu
h,To JV' u U *
1.
. Then there i r on i r o t o q
T ~ ~ V
u U* *
,
where
(Ht(x), x) f N
for may
tf 1
there i r an imomorphirm
9IU'
bOIUo
h
Hi.
H :M x I - M
.
we can choome
& xC
M
. Airo.
M
p : ~ , T ~ I V ' U U'
.
Moreover. lf
xM
nei~hborhoodof the diamonml La
X
V' G V
X
.
X
.
M
mnd rupvorr there La m ImornorphLam
f
which a r e compatible with
Tha rlmplert unlqusnerm theoram for tubular aeighborhoodr atatem thmt
in clomed and
X
ba m open rubret of
V
from the unlquenerr theoram wmm ruggemted to urn by A. Ogur.
11 X
i r clomad. and
Suppome the
noirhborb6adm).
H
compmtible
V
,
N
much thmt
we can cbomo
T ~ ~UvU.'
much that
H
much thmt
ro thmt
Proof.
mk
let
Let
he mmbeddrd am
in the local csme when
M
9 of
l
,
m = dim M
R
k
c
x Om-*
of
ln
and
mm
p
= dlm P
.
For
k <m
,
WIU ray tb.t r r a r a
,
i r compact and tharr exlata a diffeomorphlrm
V'
onto an open rubret of
diffeomorphl.m
,
cod X
c
mm
.
#(XI
much that
P onto an open rubret of
r
follorrlng diagram cammuter, where
i r dven by
a
mrn-' n +(MI ,
mP
ruch that the
r(xi,
- - am)=
and
b l P m - * , x)
firdrmrmorm. r e m y 8uppoms arch
P
Then
{M
i r rmlatlvmly compact. and h t
Wx
- X ) U { w ~ ) i r a covmr of
finltr refinement of it. vhlcb wm nrvy taka
where ench
There a r e two rtepr in the proof:
Step I.
W
From the hypothemla that
f IX tr
we dlrcard all
W
i
Index the remaining
W
x
Etm
f(Vix)
of
x
Ln
much that
n
XI
= OWxl n mm-'
onto an open rubret of
EtP
for which
bm of thm form
Wl
x
Ux
of
much that the foiioving diagram commuter
sU U
W;U W; U
Wi
ia coumtablm.
n V*
W;'
... . S h c e
compact, it followr thnt
W;
C; Wi
foraii
nX
W; C; Wx,i,
i r compact.
i , by
M
ham
Nor
0 , and r e
r,
n r e can choora clored retr
V'
or
X ) U {W,)
Slncm
W EV
1
.
onto an open submet of
. and a diffeomorphlrm
n U*4
{wi)
.
-
Than we havm
V 0 ~ U U W i U Q , U - * - and
W
xi E X
for romm
{M
Wiam by the poriHve lntmgrrr.
x E X there exirtr an open neighborhaod
M , a diffeomorphirm ex of
@(Wx
(a
a countablm b a d r for it* topology, the coUmction
Reduction to the local care.
a rubmerrlon, It foiiovs that for each
W
411
l r contained in
i
M , ro that there mrirtr a locally
much thnt
, m d the latter 10 rmielvely
.
0
of
Ld
ml&borhoodr.
let
qO
We let
-
#O.#l,pt,.
lato i t d f and rtqumce
of lrotopiar
of iaomorpblmma of tubular
* idnuty ,
be d a f l r d by :
H
H0
.
z , *.
1
H ,H .H
Now r e coartruct by lnductloa a aquence
0 5 t 5 1 , and
be am glven in the atatemart of L e propomitton.
For Qe Lnductive rtep, we muppore t b t
0
H ,H
,.
1
..Hi-l
mucb that
and
I
Now if it i s true that the rtquence
i
H
'Lbea it follorr from the l o u l care of the prapomitlon that
be an op-
compact in
U * U W; U
W,
Wi
,
U* be an open neighborhood of
aad let
. .U w i
In
much that
5 WO
rubmet of
W;
ud
i
W:
much that
becaure
f
.
X
r h o r e clorure liar In
leaving
i I-1
begm TOIF;
I:i~Ol~;-l
n wi
in a neighborhood of any poiat
x € M
,
we can eat
1. relatirely
W:
1
0
U r m l U Wi
local care. lt f o ~ o w rh a t we can conmtnrct an imotopy
compatibla with
fii
ia evenbrally conrtrat
For. let
can be chorm mo that the coaditionr of tbe Induction a r e ratirfled.
WO
1
and
GJx)
-
X
nW
Wl
-
T~I$,
i
H'
of
.
From the
W~
.
(since the latter im erentuaUy conrtmnt In
palnt-vim8 flxed. and with #upport la
Tl
n W,
fl W i ' where
hi = Hii
.
(Thir I D
u;-,c xP J oreo over.
r e may
wa choore
N
ro that the projection
rt
l
neighborhood of any poht).
:N -M
14 proper (where
~f
'
*2
denote8 the pro)*ction on the recond factor). then It l r *arily meen chat
the mequence
xEM
i
l eventually conrtrnt In a nelghborbood of m y point
Gt(x) m
, and tbrt H and
$ have tha required ptopartle4.
Then there eriatr m unlque porltlve deflnita relf-rdjolnt iinerr mrpplng
Tblr C0mpht08 the reduction to the local care.
Proof in the locml care.
Let
To
= ( E O , a O , ~ Oand
)
We will f l r r t conrtruct m lromorpbirm
rhlch e~tOnd8 +0
.
Iu'
-5
4 :E
TI
.
H :W
= (EI,al,~I
H
to havo the
m y lnvertibla rrutrix
r
H-%
H
L : V -. V
prererver Inner productr.
It i r emally reen t b t tblr Ir equivrlent to the arrertlon Out
Remmrk I.
L
requlred propertlam.
much that
W
-
of Lnner product bundiem
mnd then conrtruct Qe irotopy
4
of r e r l numberr ham m unique decomporltLon
L
H ia a p r l t i v e deflnlte a y ~ m e t r l cmatrix m d
where
U
l r an
orthogonrl m t r l x .
The tubular n d ghborhood
a,
Ti
(i r 0,l)
Ei with the normrl bundle vX of
of
r E X , the rartrlctlon of
a1
to the flber
giver a naturrl identificmtion
X
ln
E
1, x
M
.
i r the compoaition
0
-1
% : Eo
B
,
lro(E E )
0' 1
-
El
. We may conrider
H~ : v
C'
E0,=
, only of clam c'-I
lnto
E
.
barir for
r
X
Then
P
by r rectlon
V
Ir tho
ln generrl.
will not he
I. r
; however, we m y approximate fl
arbitrarily clorely on any compact ruhret of
-
Dl
of clrar
a
e.
,
and let
Erirtence.
A a
-
e L1
product.
i
snd
V
j
.
a s
W
LA L :V
be vector rpacer, provided with inner
W
be a vector apace iromorphiam.
L"HL.
be rn orthonormrl
(a . ) be the m t r i r given by
.
aij (Lat. h j l j
{J
It followr from the rpectrrl
ij
brair
el,
-- ,
en
ro Out
(a.) 11 m dlrgonai matrlr:
iJ
Lr the Kronccher delta rymboi).
La an orthonormri brria of
H(fi) a f i / q
.
Then
V
.
Let
Let
f1
U
s
If there were t w ,
.
i r orthogonri.
-1
(H'L)
h k l n g adjoint..
-
W
.
Thm
be given by
H ham the required propertler.
Uniquenerr.
(HL)
a = ai6Lj
U
=Uei)/q
H :W
Ilnerr aigebrr.
LEMMA. LA
5
m d thmt
Let
much thrt
theorem for rymmetric p r l t i v e defhlte rnatricer Out we m y choore tho
fim' ' ' ,fn
# , we will need the followlng well known lemma ln
Hi : V -. V
La rymmetrlc m d poritive definite.
there 8
ij
To conrtruct
w preserver ~ m o product.,
r
Proof of the lemmr.
r r r rectlon of
&era the l t t e r 11 the bundle whore fiber over
.pace of iromorphlrma of
of c h r r
f3
Simllrrly, i t Lr earlly verified thrt there e d r t r a unlque
porltive definite reU-rdjoint linear nupplng
L
Let
2.
Remark
Explicitly, if
r e then obMn
H
Then
H'u-'
md
uH'L
H*
8
.
we would hrve thrt
HL
= H ro that H
.
'
ro
uH'
=
1
H
.
2
= H'U- UH* = H
FUrthermre,
nelghborhood of
dth
HI
?O
r
. Thum
U * U V*
To prove the propomltlon la gsrrrr8l. we take a locally finite f a d l y
Ln r muULdentiy r m l l
5 r (PO r f i 9
g la an lmomrphlmm of
M
of open retm In
H , + T ~ ~ uU* V*
(W )
i
having tbm follorlng propertlor:
TIJu'uvC.
It m
i clear from the conmtructlon thmt
lervem
p o l a t - d r e fired.
X
thr eonmtruction of
G
we may arrange for
Finally. by cboomlng the function
o
ured in
to have rupport in a vary r n u l l aelghborhood of
H
t
topology) a r r e like.
H l r compatible vlth f and
(o
V*
,
be am clore to the identill Iln the compact-open
0. E. D.
N m we atate and prwm the axlrtence theorem for tubular ndgbborhoodm.
PROWSlllON 6.2.
be .a open rubret of
X
. &&
U'
X
Suppore
and let
be a mubset of
a tubular nelghborhood
f i x :X
To
Im a mubmerrion. L A
P
be a tubular nei~hborhoodof
which m
l clomed ln
U
M
X
T
-
X
.
U
(b) each
&
U
Tben there axlrtr
(c)
WI
(w, n X )
im compact, and
1. a cover of
X
.
.
T~u'-T~IU*
much that
Furthermore. we can choore clored retm
Proof.
-
It L m enough to conrider the came when
For, In general. there la an open mubmet
clomed rubmet of
Mo
.
tubular nelghborhood of
mince
X
in
X
Mo
ln
X
M
Im locally cloned ln
Mo
m
I clomed ln
much that
M
M
.
Is a
X
. Clearly a
m
i a tubular neighborhood of
X
i r a cover of
family
(Wi)
X
.
and
M
i 4 countable.
poaitlve integerm.
In
Since
w; E Wi
ha. a countable bad. for itm topology, thm
We 411 muppome that It l r indexed by the
UL= U U WI
For each porLtLve integer we let
U* = U * U w ; U - - . U V ~ ; .
i
(w;]
much that
We let
UO= U
md
u;=
u
...U P
U'.
M.
Now we conmtruct by Induetlon on
The local case of this propomition m
i trivial.
U;
in
X and a tubular naighborhood
i
m open neighborhood
Ti
of
U;.'
We take
U;'
To
of
am
Cmtrol data. Throughout &lo roctlon. lot
47.
liven. P o t tho inductive rtep, r e mupporo Ul:',
ctmotructed.
u,"
Wo let
that
Wl
U;'
= AU
8
4
W b l t a q pro-mtrmlflcatLon of a muboot
Supporo t h t for oach rtratum
thoro d o t open met.
B s uC1
and
W
.
S of
be a mmlfold a d
.
M
ln X rhlcb
U;
neighborhood
- uLl ,
B ,
c - uim1
A
beon
-
ULl
S Wl
U;
Ti,l
bo any open neighborhood of
ir rektlvoly compact in
Sinco
and
h4
A and B
ln U;
ouch
Sinco tho eximtence thoorom
.
M
TX or X In
arrociatod to
IT~J
.
TX
-
r o a r e given
% : ITX I
k t
pX :
projection mmmociated to TX rad
8
X of
-
R
tho
X
&
tubular
donoto tho
mbul.r h c H o m
for tubular ndghborboodm i r true in the Local care, we may choome a tubular
ndgbborhood
T;
of
Wl tl X la
IVl
.
M
,
ndghborboodr of U" n W, t l X La
1-1
rad
Tlml
. Sinco
An B
fhod ouch that
II,T,,~A
!r compatible r l t h
f
ndgbborhood of
n o i g h b o r h d of
U;,
IA
T;
.
I
IA
md
Fbrthermom,
eamily that there m
i
T
-
Ti
b
T;
h
of
IA
k
tl B
of
4
-
if
,
rl V i rl X
. hrthermaro. we may muppore
b
h , T i _ l / ~tl B
AU B
U
:
.
Ti 16 .- h,Ti,lIB
Ti
- u;,~)
X rad Y
X <Y
4re otreta and
,
ht=
h
I.
in
Clenrly
i r the identity in
T; JA n B
-
4
for 4 U
there 10 a
M
much that
Ti
im compntibit 4 t h
m~
f
ouch that both ridem of the oqumtlon 4re defined. i.
) r x l n ~T,I
If
.
m
f
n4po
compmtiblt 4 t h
Ti,1
in
4
nolgbborbood of
tubular ndghborhood
in a neighborhood of
if the follodng( comrnuhtion r t l t l o n a arm m4tirfl.d:
8
i r the ldontity outrido 4n nrbitrmrlly mmall
. Since
Ti
(u:
control d a h for
Ti
{ T ~ ) of tubular nelrbborhoodr r l l l bo u l l d
o n b ltmoU lemvln~ X pointwime
B ; ln partlcukr. that
A
tubular neighborhood
Ti
-
nB
.ad
tl
namely tho rertrlctionr of
i r rektively compact In
we n u y find a dlffeomorphirm
DEFINITION. The famllt
Tb.n r e have two tubular
for alI
U;
neighborhood m
i compstlble with
f
.
T
i
of
U;-l
X in
.
It foUorr
M
frX(m)r f(m)
M
f
into
rylmIE
P
if for all
X
familx
{TX) wtll be 44ld to be
E S and d l m E ITX I
.
we h4ve
.
PROPOSIT~ON 7.1.
4
, a11
IT%(.
, then the fmmlly
ouch that
, and that thir tubular
Q. E. D.
ouchthat
0.
f :M
{TX) of control &tn
-
P
for 8
Ir
4
rubmeraion. then there e d m t ~
which 10 compatible 4 t h
f
.
F o r (he proof of tba proporitlon, we will naad Lomnu 7. 3 bdow. 'Ibe
proof of Lemma7.3Qpmadr on L r ~ 7 2 , r b i c bmale (roupbly rperking) that
rpbare bundla in
T
:E
-
X
Rm-c
noc 5 mm,
t r l d r l bundle over
m.c
wanurntbetrl~le ( E . c . ~ )?
.hr
Rrn"
lunar productl, t = 1
T
.
ldantlflcrtlon mapping
mC
d t b flber
o : BC
md
x
Rm-'
mC
-
-
mm
Rrn
nelghborbood of
In
U
la opan in
U
Rm
m
i the ramtriction map of the
.
,
X
X
neiahborhood of
q:U-R
m
,
.&
r
&
4 mubrnmlfold of
x
E
X
.
lrovenln
U
md
0
(TIt.
t *(.(v))}
T
.
rhare
m
l a mrnootb manifold
Wa r i l l
m.f
l a thlr casa tha tubular ratrsctlon
c
Ir
-
wT : ITI,,
X
that the palr
(Y,XI
2 X
&
X
Y
ba dlrjoint mubmanl foldm of
matlmflar condltlon b
X
M
.
.
&
T
M
ba a tubular
Than thara axirtm a porltlva smooth function
much that tha m r p d n g
.
IU
M
.
then thera axt.tm
M
I
Claarly
1
the r t m b r d tubular
m, c
LEMMA 7.2.
.
LA
LEMMA 7.3.
neighborhood of
T
vlll m a a
cr
('
[V
Irtha
(prodded d t b Itm rtandard
Rm"
{v E E :
Im a propar mapping
E
(*
More g e n a r r l l l if
-
Sc.
a ( ~ 1 ~ and
. Intarlor
admirrlbla Lf
By tha mtandard tubular aalgbborhood
D-INTTLON.
, 1. m.,
denotar the projaction.
with boundary
avary tubular naipbborbood i m locrllv like r m t m b r d axampla.
E
TX
11
8
i r a rubmermlon.
tubular
r coordlnrte chart
xEU,
Proof.
-
c
Lat
be h a rat of
yE
/TI
ruch that the rank of tha
rucbthrt
mapping
d X flUl
= d U )n
Rm"
c = cod X ) and rucb that
(vbara
at
Proof.
If
lmmadlate from the daflnltlon..
T = [ E . c . ~ ) I8
8
I?\*. 0
= @B,
n
B ~ . ) and
X
,
we lat
m
I
for any
tubular aalgbborhood of
m y rmooth p o ~ l t i v afuactloa on
y
X
in
( T I C r= dB(
M
n
BC.)
a 1 ~ 1 =~ p. ( n S(.I
~ ~whcra st.
c*
md
t.
x 6X
=6.
(R x X )
. The lamma l r aquivalent to the ammartLon chat
h a r e axlmtr a neighborhood
Since thir m
i
l
N
of
r
In
C'
X =
mrn"
x 0c
,
and
T
H. ruch that
purely local rtmtamant. It follorm from
Lemma 7 . 2 that it Im enougb to prova the propomltion when
,
m
i the
N fl &
c dim
M = Etm
m
l tha mbndard tubular neighborhood
.
Tm,
mm
. h &I.
~ In- R~
~
R
of
on
mmmC,
pT
and
wT
care
Y <X
1. the orttmgonal projection of
Ir tho function whlch la glven by
TX
y
y
E
IT(
- EtmmC.
near enough to
m
n
R
~
I , LO..
Y C
.
L:.
ln place of
T' T
8
and
y
my
y
of
'I"Y
m
.
-
Rm-c
near
+I
c
plmer
Hence for y
Y
1. tranrrerral to the k.m.1
, ro thrt ( r T , o T J 1 ~ la a rubmerrion
b t
S
1
I
We
we may do lt one rtratum at a dm.,
Let
Ik denote the famllt of rtrata of
and
Is k
dim Y 21
,
.
.
TX
In two otepr, a r follorr.
U1
denote the umlon of all
We let
XI
Uf
of
XI
TI
1
Y <X
for
. In the firat atop. r e conrtruct r
nX
by decremlng Induction on
I
.
1
. la tha
but W r la pmrmlttad, rlnce
lnductlve rtep, we will ehrlnk variou8
ITy
we do lt only a finlte number of tlmer.
Then in tha oscond atop. r m antrnd
to a tubular nelghborbood
F i r r t rtep.
conetruct.
For
I
=k ,
TX
of
we &re
X
.
2
0
,
r o theto l r nothing to
For the lnductlve rtep, we auppore L b t
TI
bar been
gk
.
conrtructsd and t h t the following rpsclrl caaer of the commutntlon
rmltione r r a ratirfled:
and
~ ~ + ~E ( I m
Ty)1
.
if
Y <X
where
.
dim Y 21 + I
+l = T T+l
~
X of
TX of
k
be a atraturn of dlmenrlon
v e 1st
tubular oelghborbood
8
k that the proporltlon Ir true for Ik and
< k , we a r e given a tubular neighborhood
X
construct the tubular nelgbborbwda
For macb
To
For the lnductlve rtep. we ruppore that for each rtratum
dlmsnrion
.
k
To conrtruct tho
I at
m e
2 k , and let Sk denote the unlon of all rtrata ln
Y e vlll rhov by lnduction on
Sk
at
p
Q. E. D.
Proof of Propodtlon 7.1.
of dlmenrlon
whlch lie8 ln
we
- h ~ n that
~
(wT,oT1
of thedlffmrsntial of
at
1. clorr In ~ b a(irarr-mlan
- c + 1 plane
(T
x 0 ~o
1 ywT(yl Ln
hypbtharlr t b t condition b 11 r a t i f i e d impUsr t b t for
in m rpnce to a
.
ITX 1 f l ( T 1 m~ O
, than
on the rtrata of dlmonalon
of the game dlmenrlon.
The kernel of the differeatid of
1. thm o r t h o ~ o l u complemmnt
l
of
P.
MI^^^ x oc1 0 y=
(11
T
hold.)
rlnce there a r e no commutation relatione to bs raHofled among the r t r r t s
~ ( y=l d l r t . ( y , ~ m - c ) L .
Let
X <Y
nor
X
.
.
.
m
E
tl ( T( ~
then
and
thir family of tubular nelghborhoodr matlrfler the commutation reltlonm.
By mhrinklng the
Y
TX
a r e rtrata of dimenrion
If necemrary, we may ruppore that If
<k
X
.
and
vhlch a r e not comparable lime, neither
By replrcing
may ruppore thrt for
with a rmrller tubular neighborhood if nOCdr88ry. r e
m
E IT1+I 1 there im
Z
X
with
dlm Z > I
such
To conrtruct
u c h atralum
T it Im enough to conrtruct
1
* X of dimenrion I reperately, mince if
Y
a r e two rtrata of dlmenrion
Y'
and
ITY 1 fl X
T on
1
1 , we have
ITY (
n
ITy.
1
0
Y
O
.
for
mnd
Y'
rlnce
Y
IT Y (
I ~ , , ~ l n1 ~ ~ 1 . 1
( V e may have to mbrink
au
m~
a r e not comprable,
to guarantee that there bqualltiem hold for
Furtherrnora, by rhrinking
Ihum. we wirb to conrtruct a tubular nelghborhoad
TX,
Ty
further lf necermary, wr mmy
of
auppore h t
ITy 1 M who" reatrictlon to
TI
amtlrfled:
m C ITX,
%,Y
-
lTYI ') XI+l
, much that the following comrnutatlon relation Ir
rertrlctlon of
if
Ir lmomorphlc to the
1 fl
ITy
1
and
r
(ml C ITy
x.y
1,
where
Tx. Y '
Ir a rubmeralon.
The commutation relation that wr mumt verify 11
preclmely tbe condltloa that
(py. r y I : ITy
1 n XI+,
-
T
X. Y be comptible 4 t h the mapping
R x Y
Therefore from the genermllred tubular
.
neighborhood theorem, we get thst If
wbome clomure liar In
By rhrlnking
IT Y 1
m E ITlt1 1 fl ITy
I
If nacemmary. we may arrange that If
mnd
wf +l(m) E ITy
m
i already ratldied (with
Sinca
and
mE
IT^+^(,
In place of
thereexirta
.
rI+L(ml E ( T ~ ( Slnca
rpace 10 not empty; hence
rertrlctionr
Y c Z
.
1,
Y
ZcX
then thir comrnutatlon relation
r
x. Y ) for the following rearon.
with
1
rI +i(rn) E ITy rl
and
Therefore
d i m Z > I , mC ITZ[
IT^ I .
the lamt named
0
XI+1
ia an open rubmet of
XI+1, than thare e ~ I r t r T
x. y
to
the rertriction of
TI+,
. Nor r e replaca
tubular ndgbborhoodn
Ti
defined analogourly to
XI+1 , but 4 t h
T
x, y
much thrt
TZ
X'I +l E XI0
T;
which matimflsr the
IT^ 1 n %I0+l
commutation relatlonm and whore reatriction to
for
.
11 1momorphic
Z cX
where
Ln place of
X
by smaller
X;+l
TZ.
Then
ham the required propertisa.
Z a r e comparabie. and by dlmenrlon
Thir completer the firmt atep: r e conclude thmt there exlrtr a tubular
neighborhood
To of
Xo
matidying
IbO) for any Y c X
.
Second atep.
eomprtibls with
From
f
.
la0)
it follorr that r e n u y armma thrt
Formby repLcln5
wahavs
me J
ir
To with a rnullar tubular
nel#hborhood if nacearary. r e m y rrrume t h t if
Y cX.
To
T and
~ ~r O ( m ) € i T y l .
m E ( T o ) , than for roma
Than
48.
M
Abrtrrct pro-rtrrtiflsd ratr.
To
la compatibla with
f
,
f
To
to a tubular neiahborhood
prodour rsclon.
Thlr proddam
Ty
b
V
with conolderrbla r t a c t u r r .
?br
r i o n u t l r e &a wort of o t a c b r a rhlch occurr.
We dapirt only rlightly from Thom'r notion of rbrtrrct rtratlfled rot
r e m y extoad a ruitable rertriction
T
of
X
I
md I 4
4 t h poaribly rrmrller tubulmr nalghborhoadm (am in Step 11, r e
DEFINITION 1.
(Al) V
TX , and therefore alro completer
An abatrrct pro-rtrrtlflad met La r triple iv.8. 3)
rrtlrfying the follor*laa rrlomr, Al
net thrt the compatibility condltlonr r r e aatirfled.
Thir completar the conrtaction of
11.
vhlch lo compatible with
, by the @enerrllrsdtubular nalahborhood theorem. Than, by replacin#
the
Ir r clorrd rubrat of a nunifold
Sectlun 5) then r e e m find control &ta for thir prr-rtrrtlflcatlon by tho
([3
of
V
whlcb rdmltr r W M t a o y pre-etrrtiflcalon (In the renrm deflned Ln
purpora of Lbio ractlon i r
Since
If
- A9.
11 r Hrurdorff. locrLly compact bpologicrl rpacr with
8
countable brrlr for itr topolow.
the proof of the proporition.
Tlrla rxiom lmplhr t h t
l a matrlublo.
V
compact, l t ia r a p b r . ro the metrlsrbillty of
metriratlon theorem (Kelly [ 1
1).
X
of
X
can be rsprroted by open rat.).
V
Sbce
V
For. rlaca
V
V
i r locrLly
f o l l w r from Uwroba
i r metrlrable, avow mubrat
i r n o r m 1 (in the ranas that m y two dirjolnt elowad rubratr of
We will oftan urns thio fmct without
a q l l c i t vention.
IALI 8
i r r frmlly of locally clorsd rubrstr of
m
t the dimjoint union of the membarr of 8
.
V
, much that
V
8
'Ibe memberr of
will be called the rtraLloT
V
,
Of courre,
(A31 Each rtratum of
X
Into
=x.y
ordrfleo the a d o r n of the frontier: If
X md
Y
the mapping
If
Y
SF
tr~mftive: Z c Y
(A6J J
Y4X
and
I, r rmbotb rubmatrion.
Ir
l
trlple
Imply
TX
onto
X
,
X
and
(A91 F o r any r t r r t .
& :X
[o,-)
i r a contlnuour
the tubular nei~hborhoodof
the givm mtructure of a p r e - r t r a t l f k d met on
retraction of
TX onto
X rnd
X
, Y , and
dlm X < dlm Y
Z
,
when
TX,
4
rs bava
whmever both rider of tblr equation a r e defined, I. e . , whenever
v
TX
Thio lmpiier
1, {&I) whero for each X E a ,
In V , \ ir a contiauous
function.
We wlU call
X x ( 0 . eJ)
~
.
{{T~I.
TX m
i an open neighborhood of
retraction d
. Tblm relation ml obvloumiy
Z <X .
, wo wrlte Y < X
Y <X
and
,
X, Y E 8
Y ~ % C O ,then Y s z .
and
.
l r locrlly flnlta.
---?r
8
(0.m)
cC).
( T ~ , ~ @ 4 :1T, ~ ~
l
(AS) Tbe famlly
Into
rruy be empty, in whlch caae thema a r e the empty
TX,
(A01 F o r any r t r r t .
8
TX,
Ir r t o p o l o ~ c r murlfold
l
(in tbe induced
V
topology). prodded with r rrnoothnemm rtruchrro (of clrmr
(A41 The famlly
bSyIa a mapping of
md
pX
V)
.
E Ty,
the tubular functlon of
X
.
(a).
NO
V
Z(V) E
.
TX,
We ray that two stratified r e t r
(V.8. J ) @
a r e equivalent if the foilowina conditionm hold.
( ~ ' ~ 83')
'.
the @
i
ry,
DEFINITION 2.
X (with reapect to
wX
and
=
V*
, 8 = 8' , m d for each stratum X of 8 = 8' , tha
rrnoothnean rtructures on
X
given by the two rtratificmtionm a r e
the rame.
If
wX,
X
and
= wX I TX,
Y
a r e any rtrata, we let
. and
PX,Y =
T X , Y = Tx"
fxITx,~
Then
x. Y
Y'
m
i a mapping
(b). If
3
=
for each mtratum
{{Tx?,
X
{oxll
and Z ' =
{{GI,
($1,
, there exirtr r neighborhood
7';
of
bill
X
in
.
then
.
Henca it follwm from Propomitlorn 7.1 thrt m y Whtlnmy pro-mtrmttflad
mot admib the mtructuro of ur mbmtract pre-8tratlfl.d
mot.
From tha aornullty of arbitraw mubmetm of a atratiflad met, i t follmm
t h t ray (abmtract) pra-atratiflad oat 18 o q d n l m t b one whlch matlmtiom
the following condieloam
'
+ 0 , than
(A101 If
X. Y ara mtrmb rad
T
(All) If
X,Y mra mtrmh and
TX 0 TI
comprrabla, I. a.
, on.
X .nd
Y
X cY
if and only if
order on 8
.
XcY
It m
i enough to vorifi
mIlmrlt.neoumly.
X
T
x, y
X cY
But (A81 Impliam
X
<Y
and
and jp : V'
and
.
Y cX
mta comprmblo if and only if
Note t h t from (A81 It followm tbmt rho relation
.
,
.
XcY
0 . tbaa
of the f o l l o r i n ~boldm: X c Y
From (AlOl. it follow. that
from (All) that
x,
II (V,1,3 1 m
i a pra-mtratifld mat,
Y
X= Y
or
+0 ,
.
if
m y topolofical mpca,
i a homaomorpbimm. them tba mtructura of a mtratified
V m
of a rtrattfiad mat on
( ~ * . 8 * ~ 3 'm
) d
a bomaomorpbirm
(V,I, 3 )
cp : V*
-
V
v'
.
mre abmtract pre-mtrrttflsd rstm. than
m
l maid to ba an ioomorphimm of mtrmtifiad
daflaem a partial
Tha uniquwemm ramult that wa rill prova below lmpllam tho followlag:
Y c X do not hold
* dim X * dlm Y
18
V "pulls back" ln m obdoum way to fivm a mtruchrra
(v',fl,&]
and
n Ty + 0 .
T,
mat on
are
-
V'
.
if
(v,gm3)iml Whitnay pro-mtratiflad met, m d 3
and
3'
mymtamm of control data, tbon tbo abmtract pro-mtrat1fl.d matm
A
m an eumplo of m (abmtrnct}pro-mtratiaad mat, 1st V ba a mubmet
of a nunifold
I
,
mnd let
wX: T i - x
M
mnd muppomo
V mdmltm a Y bitnay pro-mtratlficmtion
{ T i ) be m family of control &t. for 8
and
pX:~;-(O,mJ.
m
i m abmtrmct pro-mtrmtifiad mat.
of control & h for
8
Sot f = { T X ) Then
V
(V.8.Z)
In thim way. we ammoclmte vltb any my8hm
H'hlmey pra-mtrmHfied mot
mbmtrmct pre-etratlfied met on
. and let
.
V
,
a mtructure of an
md
(V.l.3)
ara lmomorphic.
a r e two
(V.1.3 )
49. Cantrolled vector fleldr.
Throughout thlr rection. we let
be an (abrtract) pro-mtratlfled rot.
We mppore p 2 2
DEFINITION. By a atratifled voctor Aeld
collection
%
(qX : X E 8 )
q
.
V
, we mean a
{{TX), b X ) , {pX))
Tx,~
T
X,Y ' and
&,Y
,
the .pulvrl.nce
cp-'
and for hvo mtrab
X and
.
Y
tbero lo a nelghborbood
vC T
;
f(v) r fmX(vJ lor all
Y
Ti
ol X
.
cham of tbe pro-rtralfied aet
(V.I,3)
(V,I. J )
,
1. o., If
(v.8, J * )
, thmn a controlled
.
pro-rtratifled retm i r the rame a r a controlled vector fleld (or controlled
mubmermion) with rempct to the other.
let
be dafmed am Ln the prevlour mection.
&!
PROPOSlTION 9.1.
there d r t m a nd&borhood
for any mecond mtratum X > Y and any
q
V vill be raid to be
Ti
for any mmootb vector fleld
& Ty much thnt
Y
vE T
; il X
,
f : V -. P m
i a controlled rubmarmion. then
we have
7
V
much that
f&v)
c
,
P
there l r a controlled vector field
c(f(v)) for all
Proof. By Laduction on the dlmenrlon of
-
vE V
.
V (.rhera the dimendon of
VJ.
V 11 defined to be the r u p r e m m of the dfmenrlonr of the rtrata of
By the
-
V of
hy'y,X)r+Wa ~ b y m X W )
(9.1-b)
DEFINITION. J!
P
Lo
l
rmooth nunifold and
coatinuour mapping, we will may t h t
f
f :V
-
-
P
k
dimenoLon
k
.
of
V
.
Clearly
Vk
we will mom the union of d l rtmta of
Vk
h m the rtructure of a rtratifiad met,
a r e the rtratm of
V which lie in
tubular neighborboodm mre the intermectlonr with
i r a controlled submerdon Lf
L m a rmooth rubmerrlon. for each mtratum X of V
Vk
mkeleton
where the mtrmtm of
P &
neighborboodm (in
the followlny conditionm a r e matirfled.
(1) f[X : X
in
vector flsld (or coatrolled rubmeraion) with rerpect to one of them0
controlled (by 3 ) lf the followln~control condiHonr a r e matiafied: for m y
mtratum
,
i r a pro-rtratlfled net which Lo oqulvrlmnt to
DEFINITION. A mtratified vector fleld
-
X
Note that both the nottonr t h t wo hmve furt introduced dapsad only on
X.
By rmooth vector fleld we mean a voctor f l d d of clam.
$
For my rtratum
(2).
TX much thmt
, where for each rtratum X , we hsve that
Lm a rmooth vector field on
Let
IV. 8 , 7 )
V ) of rtrat. in
tubulmr function on
.
tubulmr function. on
.
the
of t
b tubular
and the local retrmctlonm m d
a r e the rastrlclonr of the local retractions and
Vk
V
Vk
Vk
Vk
.
In tha car.
dim V
v.9
= 0 , tha rtatunart of the propodtion Ir trivlal.
-
(whera
Haaca. by lnductlon, It ia aaough to r b m tbat If &a proporltlon i r t m a
wbaravet
dim V
than i t l r trua when
k
(and do1 aaeume that
dim V
dlm V
k
+l .
hnh.-ora
Thur. wa may
= k + 1 m d that theta i r a controlled vactor
BY
thooaa h. T:
a. that
denoter tha frontier of
Y )
,
T:
rlnce
18 C I O . ~ ln
~
V
-
bY
rtratum
X
of
, It i r enough to conrtruct
much that
V
dim X
2
2
TY ~ T ~ = o .
mapratsly for each
neighborhoodr
ruth that If
Y cZ
eatlafled (with
that
f
of
2
Y ha
Ty
Tha control condilon (9.1) i r ratirflad b r ma).
Y. X
much that
Y cX
.
vk
i r -controllad. we can choore
(one for arch rtratum
s Vk
Y
)
and (9.2-a,)
for all r t r a h
X
for
I
v € Ty
n
Z , By the arrumptlon
i r controllad. wa m y chooma tbe neighborhoodr
f(v) = fwy(vI for all
1
v E Ty
T;
much that
.
Conalder a p l n t
I
Ty
(one for each mtrrtum
Y cZ
a r e rtrata In
Vk
Y
2
Ty
of
Y
C Vk) much that the following holdr: if
than
vE X
.
X
aatlofylng 19.2-b)
To prova thir clalm WIN c l e a r h ba
.
The rat
BV of atrat.
Y cX
ruth that
1. totrlly ordared by inclumion, rinca if Y and Z arm not
2
Z
If SV Ir not a m p y , &m thara h a
comprabia than Ty 17 T Z = O
v € T:
hrgemt mambar
lt l r aarily raan that we may choore neighborhoodr
Y <X
on
enough to prove tha proporltion.
a r e rtratr. than the control condltlonm (9.1) a r e
In p k c a of
:
2
vE T y n X .
V a c h l m L h t there ia a vactor f l d d
Ty1
nX on X
= k + I , becaura the condition that
a vector flald ba controllad Involver only rtratr
Slnce by the Induction aamumption
Ir m a t r l n b l e
- .
(9. &ay ).
TJ
-
and tharalora n o m l . and Y la clored ln V dY
Finally, we c m
2
l a Z , than
chooaa &a Ty mo that if Y ia not c o ~ ~ p r a bto
Now conaldar the f o l l d n g coadilonr on a vector flald
To construct
v
.
Y = Yv
.
in
.
Z<Y .
Suppome for the mombnt thlr Ir the caaa and (9. 2-ay) holdr a t
In the latter came
.
Z = Y or
2
)
Then
y ( v ) € T Z (by the choice of the T
Then (9. 2 - r Z ) hold. for all
Z € Sv
For either
-
v
410.
the parameter lroupr.
v
Let
bm
V
one-parameter l r o u e of homeomorphlrmr of
and
a :R x
mapping
vE V
and d l
V
4
much t h ~ t at+,{v)
V
. Now .uppore
p r e s s rvea each rtratum.
ray that
any
Thum (9. 2 - a Z ) holdr a t
v
for a l l
Z E8
v
(
r)
V
.
If
V
r)
im
m
topologicd rpace.
,
ve mean
atar(v)
rtrmcifled met
A
for d l
the mapping
4
4
atratlfied vector n a l d on
t -at(v)
of
D lnto
V
(V, B.3)
La
C'
l
t, l E R
a
and
V
a if the followlag condltlon la satlafled.
generatea
By
coaHnuour
la
mapping into the atratum which contain*
. firtherrnore
v
4
04.
.
=a
For
a
v ) mnd
Note that thin impller
Thur (9.2-b) holds a t
v
.
It 10 well known that any
c1
vector f l d d om
4
compact mralfold
without boundary generatam a unique one-parameter group ( r e e , e. I . .
Thie r b o r r that to c o n r t m c t
for a l l
v
Y <X
for all
vx
matidying 19.2-b) and (9.2-8
. i t i r enough to conrtruct
vE X
for wbich
nX
srtiafiing
Y
)
(9. 2-ayv) a t
[ 2 , p. 66
manifold.,
1) .
v e mumt genermlize the notlon of one p a r a m e t e r group.
im non-ernpv, and ratirfying (9.2-b)
8
v
at
v
for ail
a vector n a l d
vE X
\
for which
8
i s ernpv.
1 o r 19.2-bJ.
"
y
ratirfying the approprlrte condition in TX
nX
Cieariy, we can construct
v
in r nalghborhood of each point
the appropriate condition (9.2-a
It im 4 1 ~ 0k n o w that to extend thlr reault to non-compact
v
in
X
artimfying
Since the met of vector.
i r convex. we may construct
globally by means of a partition of unity.
Q. E.
D.
DEFINITION.
Lst
p a r a m e t e r group (on
of P1 x V
hold.
-
rnd e : J
V
& a locally compmct rp.ce.
V ) I r a pmir
-
V
(J.a)
, where
A local one-
J
I r an open muboet
i r a continuour mrpplng such that the fotlowing
(b). If
vE V
,
Jv * J
then the met
n (R x
v) C R
m
t 4n open interval
(av, by) *
Thlm gmerdisom the ordinarl, notion of v h r t It melnm for a voctor f i d d
to generate
Id).
e>O
For l a y
ruchtbat
vEV
and mny compact 4et
dv,tlf K
If
KG
V
,
4
local m e - p a n m e t o r group.
there ozrlmtm
Slnco
t E ( 4 V . 4 v + c ) ~ ( b V#-, b y ) .
(V,S,3)
18 8 pro-mtrmdfiod sot. l t m k o a #an00 to L.Ik of
controlled vector field on
From n o r on in thim rocdon, we muppome (V,B.3)
pre-mtr4tlfid set, and
q
I8
4
we may
q
&
rtratiflod w c b r flold on
peratem
(J, a ) Ir 4 10-1
a
V
.
one-parameter group (on
if the followinn conditlonm
4
-
k c h atraturn
X
of
V)
,
a [ J n (R a X ) ] c _ X .
For any
udqus local one-mramotor nroue
For each atrrtum
hence
qX
garteratom
dlffeomorphlmmm of
v
E
V
.
, tho romtrtctlon
.
gX
of
Q
to
m
l
X
(by tbs definition of mtrrtifiod vector fleld);
X
mmooth vector Held on
X
1J.a)
%
i.e.,
12, 1V, 4 2
(c).
4
Proof.
-
c a r e matisfled.
v I r invariant under a ,
q i s a controlled v e c b r flald on V
PROPOSlTlON 10.1.
4
(4).
(Soctlon 5).
V
Im an (abstract)
pineratam
DEFXMTION.
4
]
X
. Let
J =
4
mmooth local one-parameter group
.
by
mtmhrd romult ia differential gsornstv
be defined by
4J.a)
UJX
XEB
4
of
(Jxo%)
a s
UaX
XES
r e have
We amaert that
(J.a)
is
4
local one-parameter g r m p generated by
q
.
q
8
,b
group hold, and that lf
b:
I t I r c b r that
.
.
and c In the d e h l t l o n of local one-paramatar
I8 8 local one-paramatar group, then it I 8 .ganrrata
Unlquanar r l a obvlour.
by
v
J
I 8 open,
compact met
K
clore to
or
8
v
V
In
holdm.
&,v) E K
ruch that
exlrtr a requenca
v
{tl)
'.
.
v 1
which coataiar
V
vE V
v
.
bv
Let
(ramp.
O(t.v) E K
t
arbltrarlly
for valuer of
t
But thlr contradictr the hypc?herla thrt
contradlctlon prover
Then there
X
(rarp.
y)
.
a
mad
Y 1 denote the
group.
X
=
Y
,
Y <X
.
For l a r g e
1
. %,
at-t,
much that
I
and
py
mi
r
Y,X
= av( ti )
(a (t. 1)
v
.
1
[O,C]GJyl
Y
,
,
where
uy
yl
= uymX(mi), and If
1. the local retraction of
18 the tubular function of
Y
, then
ayi([O,i])
and the control conditlonr for the pair
m E toy,
= pY, Xlmi)l n,:-
,lt++[O,
i
1) n x .
T
Ty
ir
TX
TX
J
Am bafora, lat
X
-
y
-
j
88
m
.
Thla
be the rtratum vhlch containr
U
of
v
in
X
.ad an
c >0
danota the tubular aelghborhood of
on
X
ax([-c, t t c]
v
1
,
pX
and
[-a, t t
ouch that
X
.
the tubular functlon of
U)
l r compact, we may choora an
E=
{y E TX : %(y) 5 el
C]
x U
rX the local rattaction
X
.
Mnca
el > 0
ruch that the
folloving hold:
onto
~ ~ , ~ ( cym on
~ ) c
Y ,X
Let
(t )
(a). Let
Then
(b).
y
,
and
r X ( y ) E ax((-c, t t c] x u ) )
.
G la compact.
a r e ratisfled for
Slnca
.
ax Lr 8 local one-parameter group, there La a compact
nelghborhood
of
aufficiantly large. wa may ruppome that there axlrtr
tha tubular nelghborhood of
Y
m
I a one-parrmate
X(uv(tl)) and
a r e defined. and the control conditlona a r e matidled for
Thur, by taking
QX
.
v
( t , ~ E) J
la treated rlmllarly.
we get 8 eontradlctlon to the fact that
Othedae
d
b:
. W a d l 1 rhow th.t J l r a aelghborhood of 1t.v)
i r contlnuour a t ( t , v ) . Y a dll ruppore t 2 0 ; the other c a r e
from below. ruch that
Since
If
i r compact (bacaura
and a
Now l e t
= llm a ( t 1 axlrtr and llam In K
rtratum of
for valuer of
the other came i r treated mlmllarly.
convarglng to
x ( a y ~ o c]J
.
i t follovr from the control condltloaa that
If not, there exirtr
b V . We m y ruppora that
arbitrarily clora to b
y
d
%, X(ml)) n,:r
oY,X(ml) c t y On q i l [ O . el)) , and uv 8 1 . ~ 0in X (by dafinition).
A11 that renuinm to be verlfled l r that
a Im contlnuoua, and d holdm.
We begln by ahoviag that
=
by,
If
where
yE
Y
E
.
then the control conditlonr for the p r l r
i r the rtratum whlch containr
y
.
X. Y
hold a t
J
.
Cloarly,
rXtyI € U
a0 s e t r0
Ir
of
y
nolghborhood of
e Tx
in
v
ouch thnt
V
.
&(Y)S
If y E EO
.
8,
and
it follo=e from
Diagram 10.1
tho control conditionr that
whore
forall
md
d
r f J
,
ruchthrt a ( r * ) € C b r 0 s r C c m . Fromthosefactr
Y
Y
I t folio-• thmt I-c, t + c) E Co J ; thum J contains a
ndghborhood of
(t, V )
.
f i ' . r ? € ( ~ - c , t + c ] r E 0 . thaa
.
we may choomo
continuour at
(t. v)
r>0
.
y * = o ( t ' , y ) E TX
a
El. Hence a la
m d a ndghbrbood
P , be a manifold, and
p r o ~ e r ,contrp.l~ed.~ubOmer~1ofi1
meq f
thl. came that there 1, a homeomorphlmm h : V
V
over
0
f : V -. P
be.
I 8 a locally trivial fibrathn7
Proof. It 18 enough to ca~~mider
the care when
-
denote. the fiber of
V
1 5 i _c Ir
,
. By
thoro 11 a carrtrolld rmctor field
ruch that
By P r o p o o i t i ~10.1, mach
[Jima,)
. Clearly
bi
t. v))
non-nnimblng entry i r la thm
Q. E. b.
*
L
on
.
Ir
on R
+(~*)58,, md
f
COROLWRY 10.2.
1
Proposltton 10.1, for u c h
a,, -.., bk
d+ur obowm thmt if
wX(y*)= ~ ( f * , - ~ ( y J lHence for an arbitrarily small neighborhood of
dt.d
dmnotam the projection on tho rmond factor.
Conoldor tho coor&nato vector floldo
b;
I h e r r p t a r a d r h - a r m &kJ a n *
r
2
-
P =uk and rhow In
Vo
x
nk ,
rkre
, ruch that the following dlrgram commuter:
m
generates a local o n e - p r a m s t a r group
--
=her. tho
flv) t (0.
0, t, 0.
Ith
?baa from the rrmumptlm that
phce.
0)
l r proper and condtlon d IP the doflnltion of one parametor group, It
followr that
Ji
-
R x
V
.
Lot
h
bo glvm by
From the fact that the
h%.
-
hh
ldentlty.
al 'a
Hence
Let
a r e one-parameter groupr, it followr that
h
10 a horneomorphlrm.
AD
required.
Q. E. D.
x E Xn W
ham a natural rtructure of a pre-rtrrtified s e t
Vo
. vhere
(VO,IO.JO)
and JO a r e defined
SO
(xn v0: x r 8 ) . a x c 8
collection
.xo
vx
a
Into
l txo
Xo
triple
mO
and
becaure
f
T
.
~
NO*. ~that
.
.
(mc0)l
VO x Etk
the
.
, we mry
n x)
TX
.
.
be the
.
px < c
on
where
(pX,uX) : TX
Z
of
TX
it 10 enough to conrider
By replacing
M
with a rufflclsntly
ruppore that
X
i m connected and
-x
~ h e r e mX : 1
;
TX
of
X
In
M
much
i. the'projectlon
From Lemma 7.3, It followr t h t by cboorlnp
rufficlently rmrll, we may ruppore that there e r i r t r
T ~ o
Z0
.
w n rx .$w
that
aaaoclated to
fxv0
,
.x0 "UP.
We let
r
x
-.
rE YnW
clored, and & e r a exlrta a tubular neighborhod
SO lo the
TXo =
l r a controlled rubmerrlon.
m x 0 1 {=x0)
Furthemnore
pX J
follovr.
x O = x n v Oi r
and
IO
, than we let
correrpondlnp member of
AD
TO rhov
vhat bppanm in a neighborhood of
r r m l l open nei~hborhoodof
Note that
.
(
>0
Tx
much that
, where pX ir tbe tubular hmctlon arroclated to TX ,
(0, C ) x X
i r proper, and where for each rtratum
8 , tbemrpping
ha. a o t n c t u r - of a pro-rtratlfied met
(defined in ul obvloum way).
l r a rubmerrlon.
COROLLARY 10.3.
Corollary 10.2,
Proof.
ah
h
hi. conrtructed a0 In the proof of
~ e ts* =
i m m Iaomorphlrm of pro-rtrrtined metr.
Imrnedtate from the conrtructlon of
h
. (See the end of
Section 8 for the definitlon of lromorphlrm. )
& M
COROLLARY 10.4.
h
rubnet of
X
rnd
Y
and let
8
be r t r a t r 4 t h
X
be a clomed
be a Whltnev pre-rtratlfication of
X <Y
.a
W
pre-rtratlficatlon of
of control data
IS n ITX
be a manifold. let
S
. _Let
be r rubmanlfold of
M
Cz n (T,
8
S)
S
for
- x),~*.J')
- XI : z E . her 8' tm a W h i t n e y
n (TX - X) . By Ptoporitlon 10.1, there i r a family
8 which l r compatible with (pX,.wX) . Then
i r an abrttact pre-stratlftad met and
controlled mubmerrlon.
Hence by CoroUaty 10.2,
locally trivial bundle over
(0, t ] x X
S fl ITX
, and by Corollary
trivlalirationm respect the atratiflcatlon.
(%."X)
- X)
Ir a
ir a
10. 3. the local
TX
(E, 9
(IT
(
-
a)
X. (px,
XI
{ t, n r R n X: 0 < t < r (n)). Thea tbo bundla
qx),x, I in locdly trivial and tho ~ oJc trLvl~isatlonrc m
X
be chooan to rerpoct tha otratUIcatioa
Tho noxt corollary rayr that a pro-rtracifiution which oatirfiao all tba
eondItionr of a Whitney pro-rtratlflcatlon ucmpt the condition of the frontier
alro wtkaflar rho eoadltion d the frontiar. proddad that Itr rtrata arm
conneetad.
& M
COROLLARY 10.5.
pro-rtratlficrtion d a clooad eubaat
ouch t l u t my p8lr of mtr-
8
be a mmlfold and
g M
V
be a IocaUv finite
whore rtrata a r e connactad
msn
eatirfv condition b.
8
io a M'hitney
pro-etratiflcation.
Proof.
Suppoee
10.4 rho-.
Y
,
and
It euillcae to rhow that the conditioa of the frontlar holdr.
Y
.ad
X
tht
Y
arm rtrata mrd
Y n 'JT 10 opan in
Y
ie connactad. thlr prove.
Y I1
.
+a.
Shco
Y
X .
Y
fi
The proof of C o r o U q
1. clearly clomed in
The proof of Corollary 10.1 a h 0 ehowr:
COROLLARY 10.6.
pra-atratlflcrtlon of
nal~hborhoodof
X
M
a
.
M
X
M
be a mmilold,
a rtrahrrn of
M
.
I
a W'hltney
T
such that for any rtraturn Z
X
a tubul~r
& 8 , tha
411.
' h a irotopy Iernmar of Thom.
In thlr rectlon. vs 4 1 1 state
'hom'm firat and recond irotopy lamnum,
We will prove the flrmt and
rkatch m proof of the recond.
Throughout tble section. we let
f :M * P
a rmooth mapping, mnd
M
and
P
be rmooth manifoldr,
S a clorad mubrat of
M
We may that
which
a nupplng
admitr a Whitnay pro-rtratification.
-
m
i trivial over
f
fo : Xo
Yo
Z
if there edmtr space.
nnd horneomorpblamm
Xo
and
X 2 Xo x 2
Yo
.
Y -' Y 0 x 2 much &st the following dlagrarn of #pacer and mappiagr Ir
Proporition 11.l.lhoaf. flrrtirotopy lammr. Suppors f IS : S
proper urd
f
Then the bundle
l : ~X -. P
(S
,f ,
im a mubmeraion for each rtratum
P 1.m
X
&
.
commutative:
PI m
i locally trivial.
-
Proof: By Proposition 7.1, we can flnd a rystem of control d a b for
S whlch la compatible with
f
. ?Wr provider
an abrtract mtratiaed met La much r way that
f
with a mtructure of
S
im a controUsd rubmersion.
Than the qonclurion of the theoram 16 ur immediate conrequence of
Corollary 10.2.
Remark:
Q. E. D.
Thorn conriderad the care P
We may
= R
.
If
a, b E R
, then
f
m
i locally trivial over
neighborhood
U
we have that
f
of
s
in
lf for any
s€ Z
Z ruch that ln the diagram
tbs proof of Proporition 10. I conrtructr an irotopy from the fiber
to the fiber
Z
Sb , whence the nmme #'irotopy lemma".
The second irotopy lemma m
i an analogour remult for mappings instead
of apacem. Conrider a diagram of rpacer and mappings:
m
t trivial over
U
.
.
there m
l a
.
L o u 1 W*lrlity of a mapping
f
over a rpacr
r h l c h uiU ba very importrat in w h t foUowm.
kmily
{fa : a € Z) of mmppingm, where
obtrinsd by rertrictlng
i r coarrectsd urd
b
in
2
,
f
f to the n b s r
l r locally trivial over
the nmppingr
fa
&era .dmthomeomorphirmr
tht
h'f8
Xa
md
\
2
Wa think of
-
f. : X.
of
X
To rtmte Thomlr macand imotopy lemma, we mumt introducm m o m l r
bar a conragusnee
Y8
over
f
condltlon
am a
l r the m p p i n g
a.
Z
If
Z , them for ~ n y
and
be a point in
h' : Ya
-
Yb
much
$,h.
.
h t
Y
. Suppore
We may the p d r
(X, Y)
5
L.t
familier of mapping. a r e locally trivi.1
g
bundle.
IX
s
r
h t
-
and lot
y
g J Y a r e of eoamtnat rank.
at
-
y if the follorlng
X
converglmg to
y
.
k e r ( d ( g ( ~ * lS~ )T < ~
men k a r ( d ( g ~ ~ '€1r~
condltlon
a6
(XI Y)
at evmry pobt
y
matlm8em condition
Y
of
a 0 if i t matlrflsm
.
in the mame deflnrd above. by
N w , we return to the mlmtlon of Magram 11.1.
M * 11 a mmooth manifoid and 5'
We uiU u y t h t
P)if the followlag condltlonr a r e ratlr8ed.
i r a eloasd
M * , whlch admit. a Yfhibmy pro-mtratiflcation 8
g : M'
M'
in the appropdate G r a m r m d m
TM&
i a m o m mapping (over
g m
rubmet of
and
ratlmfhm eondltlon
We may t h t ths pmir
an appllcatlon of Tbom'r rreond imotopy lemmm.
Now ruppors
be rubmaJfoldm of
Suppore that the raquence d p t n e r
topologicdly atable nmpping, mnd a rtap in the proof that the topologlully
rtabls nvpplngr form an opun denra rat d l 1 be to mhow t h t eertaln
Y
be any rsqwncm ofpointm ln
convargem to a plme
Thir i r the rahtlon of equlmlenes t h t l r ured in the definition of
and
X
hold.:
a r e oauivalant ln tha ranme t h t
h : X8 -* Xb rad
a6
.
M b r a rmooth m p p l n g and ruppome g(S') g S
(a) g ( ~ *and
.
f ( S a r e proper.
(b) For each rtrmtum
X of S
( c ) For each rtratum
X* of
, fIX
i r a mubmsrdan.
Thornqr recond lrotopy lemma glvem rufflclent conditionr for tha following
d l g r a r n to bs localiy trivial:
of
8 , and
g : X'
-
X
8
, g(X')
liar in a mtratum X
i r a mubmerrion(whance
glx'
l r of
conrtant rank).
diagram 11.1
(d) Any pair (X',Y')
of .tram of 8'
(which maker aenme in d e w of
(c)).
matimflar condltlon a B
In the came
P l r a point, we vlll drop
wer
P
.
PROPOSInON 11.2 4 Thorn'r mecond lmotopy lemma).
P , t h s g i s locally trivial over
Tbom w p v i n a over
The proof of thA4 requlrem new
machine^.
of control data for the atratiilcatlon 8
a myrtem
of
s*
{T')
3
of control data o
s
of
S
Let
{T)
g
P
&
.
n
v ET
of
8
,
.
~ c iTx.l
4 ~
~ c a t b t~
T
Furthermore, Lf
be a myrtem
. We need the notion of
for which both aldem a r e deflnsd, 1. s., a11
v
holdr f o r all
g ( X * ) and
g(Y')
1
l i e in the r a m s rtraturn
then the cornrnutatlon relation
for the rtratlflcatlon 8 '
{T)
.
for which both ride& of thlm equation a r e defined.
hold. for a11 v
CAU'RON: A ryrtsrn of control data
control data a s previoumly d e f i e d .
of control data over
over
(T)
lo not a mystern of
a l r o be a system of control data tout court
(T)
then the fundamental existence theorem for control data over
contalnr
lo a mtraturnof 8
X'
(b) If
If we were to requira that a rymtern
and
X
l a a rtratumof
S
which
g ( x * ) , then
IT)
(Propomition 11.3, below) would not be true.
for all
DEFINITION: Suppore
g
i r a m o r n r n a ~ p i n ~A
. mvatem
(T*)
ail
of control data for
indexed by
?
8
'
{T)
-0
, where
Ti
v
v E
for which both alder of thlm equation a r e defined, 1. e . , f o r
IT~,J n
g
-1 IT,^.
Ir a family of tubular neighborhoods,
lo a tubular nei~hborhoodof
X
with the f o l l o w l n ~propertiem:
-
a
Note that
M'
data in the case
1s weaker than the commutation relation for control
g(X')
and
g(Y*)
a r e not in the mame stratum of
P .
(a1 If
X'
and
Y'
a r e strata of
3
and
X* < Y
,
then the
PROPOSITION 11. 3.
comrnutatlon relation
(T)
of control data for
data for
8'
over
IT)
g
3
.
im a Thorn mappinu then for any myrtem
t h e r e e x i r t s a symtcrn
IT')
of control
The proof of thlm m
l rimilar to the proof of the admtsnce thaorem
for
for control data (Proporltloa 7.1).
Y ' < X*
md
dlmY'2f.
Ti'
mtap, r e canmtruct a tubular ndghbrhood
Proof (Outllna): Let I
s
dlmunmlon
,
k
and let
; be the Lmily of aU rtrata of
%
S;
8 ' and
ln p k c a of
k *
that L e propomition i r true for 8
.
T;
hesflrrt
X i by dacraaming
r h a r a nacerrary.
ThIr mtep m
i c a r d e d out fn a r r s l r t l d ~the ram. m y a 8 the firrt
;
5'
, mhrlnklng mriour
iaduction on f
of
x'.
'
dmota L a union of dl rtrata in 8
We rill ahow by h r c t i o n on k
and
8 ' of
= Ui n
X;
Welet
Vfe r i l l only outllne it.
mtep in tha proof of Proporition 7.1.
Thir r i U ruUlce to prova the
d a r e &era i r nothing to prove.
Vfe mbrt the induction at 1 = k
,
For tha fnductlve mtap, we muppors
proporition.
We obrerva that to conrtruct
h m been conrtructad.
The care
k
0
im trivial.
&at for s a d mtratum X'
a tubular ndghborhood
of
TX,
8'
For tbe tductiva rtep. we muppoma
ofdlmenmlon
< k , w a a r a givun
enough
conmtruct
of dimenmion f
X ' m d thmt thir famlly of tubular
of
a
Came 1.
-
nalghborhoodr utirflam con&tlonr (a) m d (b) abova.
T*
f on
maparataly.
If
B ( Y *)
md
IT^. 1
n
X'
T i it i r
1 < X'
for u c h atraturn
T h a thare a r a two camam.
g[X*) a r a in the rams rtratum of
,
than the construction i r carried out h the rams m y am the corramponding
By rhrinkbg the
X'
than
and
Y*
1
~
if necermary, we mey ruppome h t if
TXc
a r e rtrata of dlmanaion < k whieh a r e not comparabie.
ft
IT,.(
~ ~
= 01 . Toconrtructthe Tx.
onthertrata
X'
be
8
mtratum of
8'
of dimanmion k
lTycl
foilarm.
For each
f
sk,
we (at
U;
.
of I
TXO in two mtepm am
denote the union of all
Than
ITy.
Ti
mo h t the commutation rebtionm ( a ) hold.
X'
2. In tha cara
1
g ( y O ) and
g(X')
, the proof murt be modiflad. Lat X
containr
We conmtruct the tubular neighborhood
n
Came
-
relationr (a) mnd (b) impoma no con&tionm on pairm of mtrata of the
b t
on
In W r Way r a daiina
(Note that condition (b) followr from (a) h thir came. )
of dimenmion k , we m y do it one mtratum a t a time, mince the
mame dimamion.
conmtruction in the proof of Propomition 7.1.
g(X')
Y <X
G(IT,'I)
.
and lat
Y
By rhrinking
E ITy[
. Let
ara,not in the name mtratum
be the mtratum which
be the rtratum whlch contains
ITy.(
g(Y 'I
.
if nacerrary, we m y muppoma that
&.re
the flber product i r taken wiEh ramped b tba mrpphgr
By daf!nltlon.
'Ibea th. nupplng
x'
F C if .ad only i f
t b i w w i n g ir not onto.
Since
i r defined becaura tha fo11ovIng diagram commuter:
i r onto.
From condltfan
clowura
NWWO
it foUowr that Y' doer not mast the
g'
of the rat of polntr where tNw rrvppLng 11 mot onto. Q. E. D.
axtend
T;
a
ovar
IT^.^
holdr (the wamk (a)!) aad (b) holds.
by the lnductiva bypotharlr that (b) i r rntiwfled for thora tubular
n
X'
~ n r u e h a r r y t h . t(a)
W o may do thir by tha gsnarnlirad
adrtence theorem for tubuiar naighborhoodr m d L a m U. 4.
ndghborhoodr which a r e already defied.
LEMbU 11.4.
There adoto
8
GIN n x'
-
Thia completar the t n d u c t i ~rtsp.
neighborhood N
: N
n x*
Y*
&
(3'1
ruch &at
Now the rocand rtap (uxtenmlon of
v
T i from
U;
over aU of
iw carried out in s u c t l y tha mama way ns In tho proof of Proporltfon 7.1.
i e a rubmarsion.
Prool:
h t
dlffaranthl of
G be the mat of point. in
C
ITy
XC)
fl X*
1. not onto. It wufficew to wbm that
The rawt of the p r o d of Propowition 11. Z w i l l be cnrrlad out in
vhera tha
Y* fl
= Q
.
thraa stapw. Flrrt, we debna tha notion of a controllad vector flald
Q.
and if
-motfrat
controlled vector flald.
(WARNING: this i s not
8
t(X8) and
#(Y '1
a r e Ln the 4amr atrmtum of
8
tbsn r o have
mpecld
u r b of the nation of a controlled vector field. ) Thm r e p r w a a lifting
theorem for controlled vector fialda.
Flndly. we
&OW
that evsry
(Note that condition b i r relkmr thn the condltdaa r h t wm Impommd
coatrollad vector flald over another controlled vector fleld gsnar8ter
on
l
l
g (Y '1
cmtrolled vector fleld Ln Sactloa 9 l a the care
8nd
six')
local one parameter group.
a r e not in the name rtratum of 8
N w we muppora
g
11 a Thorn mapping. We nrppore thmt we a r e
PROPOSITION ll. 5.
flvm a ayrtem
{T)
of ecatrol data for
of control &ta f o r S m d a ryrtem
S* over
controlled voctor fleld an
T
.
&t
I)
m
{qx}xE8
IT*)
.I
There d m t r a controlled vector a d d on
S*
ovsr 7 .
be a
The proof i r completely malogour to the proof of ProporitLon 9. I,
5.
and r e omlt it.
PROPOSITION 11.6.
over t ) , t&
-
p'
11 7'
la r controlled vmctor flald on S*
ganeratem a local one parametergrarp. which
commuter with the one-varameter nroup on
S
generated bv
t)
.
The proof of thim in errsdtimlly the rrma am tho proof of Proponltion 10.1.
'Iha only rddltionrl rermrk to be nude i r that if
(b) For m y
N~
'
of
Y*
in
X'
,Y'
E 8'
4th
Y' < X* , there i a a neighborhood
( T ~ . J muchthmtfor y e € J T ~ . { ~ x *r e,h a v e
rtrrta of 8
X
ller in
,
with
im
r
,
than, in the care
atartlng a t a poht of
y
Y 8 < X'
X'
trajectory of fl
We omlt the proof.
and
g(Y')
Y < X
,
X* and
Ilea in
a trajectory
ccnnot approach
Y
Y
y*
Y
mrm
mnd
g(X')
of
t)'
beemure the Imagm of
and therefore cannot approach a point of
Y
.
Proof of Proporition fl. 2.
P , i t ruUlcer to coarider the care
P in thim care.
trivial over
IT)
of control &.ta
for
&ere d r t r a ryrtem
Let
b,..
.'*
8
IT*}
over
mP
~d prove tbrt
CY
Si
compaHble d t b
f
,
on
.
a r e proper m d
bi
over
nP.
S1
pi
and
.
IT}
By
"
to a controlled vector field
on
to a controlled vector field
By Proporitionr 10.1 and U. 6 the vector flaldr
g
and by Proporition 11.3
of control d.6 for &
lift
local o m parameter group.
ir
g
By Proporitton 7. l we can flnd a ryrtem
and by Proporltion 11.5 wa c m lift
5'
r
a ~be the coortflnrte vector nal&
P r ~ p o r l t l o n9.1. we
on
P
I# locally trivial over
6
To prove that
1
(pi
gi
nnd
5
. Since the nupplngr
S
.
1
a1
gemorate
f
generater a (global) one parameter group
and
,
It i. earlly verified that the above diagram conrmtem and Uut
I t follow. that
Let
So
i
and
(re8p.
a r e (global) one parameter group..
h C a r e homeomorphirmr.
s;)
denote the fiber of
S (reap.
5') over
0 .
To complete the proof, it m
i enough to conrtruct local homeomorphlsmr
h
and
h*
ouch Haat the following diagram commuter.
Q. E. D.
h and
REFERENCES
[I]
J. Kelley, G e n e r a l Topology, Van N o r t r a n d Co.
N. J . , 1955.
Pl
S. L a w .
,
Inc
., P r i n c e t o n .
Introduction t o differentiable manifolds, I n t e r r c i e n c e ,
New York (1962).
[3)
R . Thom,
Local topological p r o p e r t i e r of d i f f e r e n t i a b l e mappings,
'rColloquium on D i f f e r e n t i a l Analymis", pp. 191-202. T a t a
Inst. Bombay, 1964, Oxford Univ. P r e r s . London and New
York, 1964.
Ensemblem e t morphimmer mtratifi&.
Bull. A m e r . Math.
SOC., 75 (1969) pp. 240-204.
[5)
[61
H. Whitney, Tangents t o a n a n a l y t i c v a r i e t y , Ann. of Math..
pp. 496-549.
, Local properties
81 (1964)
of a n a l y t i c v a r i e t i e s . Differentiable and
combinational topology, P r i n c e t o n Univ. P r e s s , Princeton,
1965.
Download