LECTURE l. 273The multiplicities are assigned as follows. We identify T* X with JR^2 in the
natural way. For x E X, not a point stratum, we set m(x,o)Z = f(x). Let now
p EX be a point stratum, and (p,a) E T;x be a non-zero covector (a -1-0). We
set m(p,a)Z = f(p) - f(p + rn), where the number E > 0 is chosen to be small.
Exercise 1.6.1. Show that this procedure always gives a cycle.
Exercise 1.6.2. Make up your own constructible functions Ji, h : JR _, Z, satis-
fying the conditions of Theorem 1.1, and verify its claim.