A multiplicative ergodic theorem for random transformations (Q1081210)

Let \(f_ 1,f_ 2,..\). be a sequence of i.i.d. diffeomorphisms of a compact Riemannian manifold M. Let \(\rho\) be an ergodic invariant measure for the induced Markov chain on M. Then over a Borel set \(M_{\rho}\subset M\) with \(\rho (M_{\rho})=1\) there is a nested sequence of measureable subbundles \(L^ 1_ x\supset L^ 2_ x\supset...\supset L^ r_ x\) of the tangent bundle \(TM_{\rho}=:L^ 0\) such that the Lyapunov exponent of v equals \(\beta_ i(\rho)\) with probability one iff \(v\in L^ i_ x\setminus L_ x^{i+1}\). The \(\beta_ i(\rho)\) are decreasing numbers and can be identified as the values of a certain integral with respect to those distinct ergodic invariant measures for the induced Markov chain on the projective bundle \({\mathbb{P}}M\) that project to \(\rho\). The result is proved for measurable vector bundle maps (instead of TF:TM\(\circlearrowright)\). It generalizes a result of \textit{H. Furstenberg} and the author [Isr. J. Math. 46, 12-32 (1983; Zbl 0528.60028)] in a more or less straightforward manner. The same result has been obtained by \textit{A. Carverhill} [Stochastics 17, 253-287 (1986; Zbl 0593.58046)].