next up previous
Next: What the tubes tell Up: Cutting a manifold into Previous: Inhomogeneous strings

Using piecewise differentiable test functions

Our method from converting information about the tubes into information about M will involve pulling back a test function on M to each of the tubes. The functions on the tubes that we will obtain in this way will not necessarily be smooth, because we are allowing the tubes to zig-zag. It would be possible to work only with cuttings into smooth tubes, but we prefer to allow ourselves the extra latitude in cutting, and pay the price by smoothing the pulled-back test functions, rather than the tubes themselves.

Lemma. If tex2html_wrap_inline1671 is piecewise tex2html_wrap_inline1617 , has compact support, and doesn't vanish identically, then

Proof. Choose tex2html_wrap_inline1675 to be smooth, with support in the interval [-1,1] and tex2html_wrap_inline1679 , and convolve tex2html_wrap_inline1681 with tex2html_wrap_inline1683 . The result is a member of tex2html_wrap_inline1663 whose Rayleigh quotient approaches that of tex2html_wrap_inline1681 as tex2html_wrap_inline1689 . qed


Peter Doyle