Download A USER'S GUIDE TO DISCRETE MORSE THEORY 0. IntRoDuction

 ! " # $ %& ' (
) * +
! %,-' ./0
1 2$ 3 %45'%, '
$
$ 6 $ 7
6 "
. 1 ) 6 ( Æ ( $ $ .1
%4 ' 8 $ %5' %4&'
4 * + 9 :9 9 $ %,;' ) 0 9 ( $ 9 <
" 8 =
4
* 4+"
= 4 " )
" > " 9 < " ? > ( > 0 *+ =
0 > 11 ! !
44*+ 4" 4" ! 44*+ 4" 11
(i)
(ii)
0 *44+
0 = 4 , =
9 *44+ / 9 *44+ A 4 " 9 9 " *+ " " 0 @ 0 " )
9 9 ) ! 4, 9 ," " 4" ," 9 ( 8 ," B ,4 4C X0
X1
X2
X3
) 9 0 9
9 $ @ ? " ?
> " ? > # $ Æ " !
!"
½
¾
$
" ? > #
" % "
½
¾
!
*/ ,& 4, %,;'+
9 / ( 9 < 9 " " 9 = " = "
/ $ " 4+ /
"
9 " " 9 *44+ " = 4 , "
! $ " " * 4+" 8 * 4+" * *
+ * + =
= + )
"
* ,+ /
$ ( + / 9 4C "
" *
+
= + / *
+ =
*
" 4& " "
9 "
9 * ( +
0 @
) &+ / 9 9 " 4" ," < 9 ? = $ "
/ 4" ," ," D $ )
* + )
4 ," )
, , * $$+
E
," ( ) *
+ ) 4" ," ," ) ,"
= 4" / * * + = + = $ 2
( * + =
*4,+
% =
! #
% " #
) 0 0
" "
9
) 9 0 9 / = 4 , = * + *
+ *
*
+ " + <
9 ! % ? *
+ *
+" " Æ
=
& *
+ *
+ *
+ " # F* +
*+ = )*
+
*+ = *
+
#
*
+ 0 ½
½
* 9 G , %,;' + 0 $ 4-
) ( $ ! Æ 0 6 *
+ *
+ *
+ *
+ *
+ = ! ½
½
" % #
#
' Æ #
" = * *
++
) $ ' *
+ * " *
+ = A # !
( %
*
+ = A .$ )1 $ ./ )1 # *
/ )+ +"
= 4 ,
A
A *4+
A
A *4+
9 / ) 4B
0 9 < $ $ 9 " Æ 0
= 4 = , = 4 ! $ 9
=4
=,
= 4
9 "
0 " 0 B "
,4 4" 4C ," ) 9 " " 4" ,"
" , /
0 9
0 .Æ1 9 H
)
* 0 0 9 0 0 9 +
0 0 4+
0 ?
,+ )
I )
A 4 !
*$ + 0
) * + ) 5 J
$ $%&% ? ! *4+ K * + *+ 4
*,+ K
*+ *+ 4
0 9 ! ,, *+ * + *,+ , .1 $ *L+ *4+ ,
.1 $ *+
@ 7 5
5
2
2
4
1
3
1
4
0
3
0
(ii)
(i)
$%&% *4+ K
* + *+ = *+ *+ = ! ! ,,*+ * + *,+ K
*L+ ' $ #
" " *4+ K
* + *+ = *,+ K
*+ *+ = */ < ,L %4 '+
/ &
,
#
! #
7 0 0 *+ *+ = *+ *+ ,L ' ! $ #
*+ * '" ! * + $ "
* + * + * + # % ' " $ #
*+ * ' ! ?
! * +" #
* + " * + ) ! ,; & & ! ,, *+ 5
2
2
1
0
0
K(0)
1
3
1
4
2
4
0
K(1)=K(2)
3
0
K(3)=K(4)
K(5)=K
! % # ' #
* + *4+ ( * + *4+
< < ,- 9 < *4+ * + 0 *4+
" *4+ *4+ *4+ *4+ *4+ * + 1 1 *4+ *,+
*,+ ) / * ! ,5+
)
! ,4
," β
α
Κ2
Κ1
(
!
)
:9 0
! $ @ < ,B $ *C+ *L+ ) *C+ *L+ 4" ( < ,B $ " ) 0 1 1 "
3 0 "#*+
@ * + =
) ,L < < 0 = * +
I 9 ,L 4B 4; <
*+ , %-&,
= 4 , #
A A *4+ = A A *4+ ' &% , %-&,
' = 4 , A 4"
A
A
%= * +'
& H
! 0 !
0 Æ
< ! ,,*+ @ ! *4+ 1 1 *,+ / *,+ 1 1 *4+ *C+ *,+ *4+ / *&+ */ ! &4+ $ < ,-
5
2
4
1
3
0
! # ' /
" * + * + ! &, @ 0 * + *44+
,L
9 " 4" ) < ,C 0 ?
*+ *+ *+
@ 0 * . 01 0+
6
7
10
9
8
14
15
16 17
5
12 13
3
11
4
0
1 2
(i)
(ii)
! $ ) 0 $ 0 .1 0 0
/ 0 *+*+*+ $ 0 H
$ 0 * + *+ ) 0
$%&% ! <
/ %C4' %;' " $ 6 )
0 J 0 0 ) %4,' 0 ( 2 0
= $ = ! $ = )
0 " *&4+
0 , ! - 4$" * + * + * + * + * + * +
.1 ) 0 " ) =
! ! ! "
( ! % % ! ! - &- &L
&L 0 &L 0
C !"
! C4 *+ ( @ 0 ) ! L*+ "
* " 0 "
0
+ 0
"
4 ,L ( 9 " 4" ," *
$ & ,+
3
3
e
2
1
2
1
t
1
3
2
1
(i)
e
2
3
(ii)
.! ! 0 1 1
Æ
*3<"+ :9 ;
, 0 6 9 " 4" ," ) B ( L # $ <
4, < % % % % * + % % % % % % & *
0 &+ Æ *
0 Æ + " *
0 + *
0 + $ " *
0 $ + ? % A4 ) % " % % * + / " " "
/
%-' %B'%,4'%,,'%,B'%&B'
"
1 1 0 0 / $ D
G 10 $ 1 . $1 * +
,"
%C&' G ) %C,' %4' ,"
%&B' M &" %,4'
) $ $ $ < G %C&'
0
" <
4 , & "
0 %% A *4 ,+ % *4 ,+ % A *4 ,+ % *4 ,+ % *4 ,+ % < % *4,+ % *4 ,+ 0
% % *4 ,+ % A *4 ,+ % % A *4 ,+ / 4 , %
% / ! L4
a
connected
graph
1
2
G1
a
connected
graph
G2
% #
! % % &
% % / & % )
% *4 &+ % A *4 &+ %
% A *4 &+ )
& % % % *4&+ % *4 &+ <
4 , &
/ & % A *, &+ < % *, &+ %
0
%
% *4&+ % *4 &+ 4 , & *,&+ % *, &+ 4 , & ! L,
0 1
1
2
3
2
3
% #
! @ C % % A *4 C+% A *, C+ % A *& C+ * + 9 0 L - < 0 = 0 0 % 4 , ) 4 ,
* 4+N , * &+" ) 0 0 " 0 $ 0 <
= " 1 1
= A *4 ,+ " A *4 ,+ " " *4,+ / *4 ,+ 1 1 " "
$ 7 0 *4,+ &CL < =
" ) $ 0 & " ) "
) 0 * 4+N * &+" ,L *%C&'+ ! ! # * 4+N * &+
- % &
'
0 9 %-' 9 4"4 " */ ! -4 *++ @ 0 )
*/ ! -4*++ "
0 0 " 0 $
t
v1
e3
v3
t
e1
v
e2
2
e1
e2
e3
v1
v2
v3
(i)
v1
e3
v3
t
e2
t
e1
v2
e1
e2
e3
v1
v2
v3
(ii)
' ! / !
! ! ! / 0 0 0 @ &L -, &-
* "4+ ! % /
% %! #
! #
' " '
% * + ) < ,5 ! % / !" " " %
"
%4'
B ) $ "
) ( $ 9 "
< *
+ " *
+ "
)
<
" = / ,L 4-
" % O
O
? " " ÆO =
& ½
½
" # F*O +
* O+ = )*
O +
* O+ = *
+
) / O $ <
O "
O = = = 4 ,$ * + * + * + * + * + * + 8 0 = ) ! B, ," 0 2 ! B, 0 .1 ! 7 B O ! B, α
β
% "
" * A 4+
*B4+
#
=
=
´µ
*+
+ #
* + 4" #
"
! " " &" + #
P*
; %4 ' *B4+
6 *B4+ * 6 + %&-'
( !
C4*+ , 9 " 4" ," 9 ) ! BC 0 "
< O* + "
" (
@ (
" " +
/ " A " " " O*"+ = ) " " O*+ = ," * ( 6 * + = * + = , * + = 3
e
2
1
t
1
e
3
2
! .! "
; # C $ ( "
) 0 / $ :9 %CC'
% % " Q %
* 4+
Q> * Q> Q + % #
% $ "
* 4+" * 4+" 7 %CC'
# % % ! #
% #
% %
) * + "
,L ( # % % #
% ;4+ )
"
#
# *
"
( " "
( ) < ,- ( # " "
5 ( 0 * $ %&;' + ) Æ 3R ( S , ) %&4' /# %C ' 3R
( * " +
M 3R ( <
L 8
*+ *+ $ 1 1 Æ
* LC %&4' 1 ! 9
1 %&&'+ ) , 4 ( , " % ) #
!" ! ) ! % ) %&&' %&4' ) )
! 5, 0 0 0 !
5,
α
β
(
0
&L 0 ( 0 $ 0 $ %,' ) ( 3R ( 4 ""
/ "
%4C' . "
" ( ( ( $ < $ T ) ( T $ .) ( H1 T
1
0 %&L' <
$ $ A 4
$ A 4 T $ A 4
$ !! A 4
/ !! / F /$ / "
) $ O * + = " #
O * +
!!
"
) $ ,"
! 4 , ( ( ( %( ( ' ( <
v2
v0
v1
!! % )
! 4 & M0 ! $
$ $ ?
) = %( ' %( ( '
@ F
/$ / v2
no
yes
v0
v1
no
v1
no
σ=
[]
yes
no
v1
v0
yes no
yes
yes
v0
no
yes
no
yes
[v ] [v0 ] [v0 ,v ] [v2 ] [v ,v ] [v ,v ] [v ,v ,v ]
1
1
0
2
1
2
0
1
2
)
0 ! ! 4 & 0
=
%( ' %( ' %( ( '
%( ' %( ( ' %( ( ' %( ( ( '
0 0 *) + v2
v0
v1
! % # ' 0-
)
) ! # ! @ * $ +
! 0
=
( %( ( '
% '
0 0 @ ! * +
* + 8 0 4 4
,44 *+ )! ' K ! , * +
/ ! 0 0 " " < , 4 4
)" $ !!" %,&'
%4C' "
0 4 L ! "
*+ = *+ *+ *+
"
*+# .1 = 0 " * A 4+ * + = * + * + * + A 4
/ * + = A 4 * = + * + = * + * + * + * + )
A 4 * + * +
* + * + Æ U8M
44 (
( ) $ $ $ %,C'%,L'
%&' ) 0 ) %4-' * $ I 9 %C' !$ %4B'%4;' + ) %&C' @$ 4"
* 4"
+
) %4L' ) %CL'
) %44' # $ 0
%CL' "0 ) %44' "0 3 %44' 0 0 J 0 )
B& $ - %4 ' ) %4,' J 0
$ 0 0 *+ 0 D
0 ) %,5' 0 0 ) * "I 0 $ 6 ) 11 Æ ) $ 0 6 ! Æ $ 6 ) $ 3R (
*%&5'%&4'+ L / 0 I# I *%L' 3 )G %& '+ 7 ) ) " ( 0 8 6 ) # 0 7
*%&,' 3 ))) %& '+
$ ) ) $ ( 0 ) ) 0
) 0 ) . 6 1
) * + $
! "#! $
! % & '! ! (! )***+! ,-.,**
, ! / 0! ! 1 2
& ' ! % ( 3 2 4! ! % 5 !
)**3+! ,1.3
6 ! ! 5 ! )*6*+! 11.11-
7 4
! ! ! ! ,888! 8.1
- 9 :(! !
! ;
< 5 ! ,88
= :< ! % 5 ! ) **3+ --.=-
* >! ! ?>! ( @
/
5 ! A )+! /! **6
8
! ! < ! )**=+! *8.36
! ! (! )**=+! *36.*-*
,
! !
! B
! )**=+!
7,*.7=
1
! "
! /
< (.
4>
)! 4 **7.*-+! / 1=! 4>
(
;
< /! 4>
(! ****+! --.,87
3
! #$$! 4>
! ),888+! 3*=.683
! %$&$ ! % 5 6
7
! ,88
- C ! ' ½ ' ! / ? '
?> ( D*1! )! **1+! $ 0 % C
>! $ =! ;
<
.8,
=
! (
)
! ?>
( )! ?
**1+!E/ < ,! > ! /< ! **-! 38*.338
* ? / * ! (
! / )!
4! *=+! / > / ! 38! > ! ! )*=1+ 6-.611
,8
* ! (
>
?2(
)1+!
3! ( &(! . A! *==
, % %! ! ! **=
,,
! ! ! ***
,1 % C! : < $$! 4>
!
)*=3+! ,*-.187
,3 ! : C2<! F)G + ! / 5 ! ! ),888+! ,,61.,,6*
,6
! +
! ! ,888
,7 ' C# +
+ !
< :
H
?> (! ' /
(! %! )**8+ 6*.3
,- $
% ! ! ,= $ '
(>! ! & 4>! A! *7*
,* & ? A! ¾ ! !
***
18 % ! 5 >
6! /
;
<
/!
*7,
,
/
>
! /
1
;
<
/! *76
1, ! !
,! > 4I
> /
! > ! /<
! )*13+
11
! + %
"
! :
H
4>
( ) >
> 0 5 +! /
;
<
/ )*76+! =.83
13 <
<! $ - ! <
:! )*=+! ,,,.,,7
16 $ < % &
>
) . !
4> ! )*-7+ 1-.1=3
17 2 / /( >
! ! # &(! )**1+
1- % , ! (
1= & ! ' ! 5 ( 1! > ! /<
! ! )**1+
1* >! ! 5 )*7+ **.,87
38
) 01 .
! 5
)*7+ 1*.387
3 ! :
)**1+
3, & / ;
)**-+
=*.*8
31 & &
< ?5 >
>
!
**8J**,! ,,1J,16 # ! ! )**1+
33 %04 '
! ' %' ! / $ )*1*+ ,31.1,-
36 '
% :
H ?> )*=,+ 77J7*,