eee nll i ee eee, inlet (x4) be a C® family of C® vector fields on a compact manifold M7 i be more precise, Suppose X is a C™ vector field on M x (0, 1]; then X"(p) a genote Ms X(p,t):) From the addendum to Chapter 5, and the argument ch was used in the proof of Theorem 5-6, it follows that there is a C family } of diffeomorphisms of M [not necessarily a 1-parameter group], with ¢y = sentity, which is generated by {X“}, i.e., for any C® function f: M > R we = (X'f)(p) = lim L@r+n(P)) = FC) h>0 h ‘ fora family @; of k-forms on M we define the k-form < Orth — O OG) 5 ine hoo h (a) Show that for n(t) = $;*w, we have he = b1" (Ly @ + @). (b) Let @ and @ be nowhere zero n-forms on a compact oriented n-mani- fold M, and define @; = (1 — two + ta. Show that the family ¢ of diffeomorphisms generated by {X‘} satisfies gro = 00 for all ¢ ifand only if Lyt @ = 0 — 1.