Furstenberg theorem on the random product of matrices

Nesta dissertação estudamos de um ponto de vista probabilístico, o comportamento assintótico de sistemas dinâmicos. Um exemplo simples de formular e profundo é o estudo de produto aleatório de matrizes (FURSTENBERG; KESTEN, 1960). Utilizaremos como ferramenta o estudo dos cociclos lineares, posteriormente mediante o Teorema de Furstenberg-Kesten definiremos o expoente de Lyapunov do cociclo, em seguida enunciamos e provamos o Teorema Ergódico Multiplicativo de Oseledets o qual nos permite entender o comportamento das órbitas típicas para um cociclo dado F : M x R2 → M x R2. O Teorema de Fusrtenberg-Kesten fornece informações sobre o crescimento das matrizes An(x), enquanto o Teorema de Oseledets descreve o comportamento assintótico dos vetores An(x).v. Finalmente provamos o teorema principal desta dissertação, o Teorema de Furstenberg o qual diz que na maioria dos casos o maior expoente de Lyapunov é positivo (FURSTENBERG, 1963).In this thesis we study from a probabilistic point of view, the asymptotic behavior of dynamic systems, a deep and simple example is the random product of matrices (FURSTENBERG; KESTEN, 1960). We will use as a tool, the study of linear cocycles, later using the Furstenberg- Kesten Theorem we will define the Lyapunov exponent of the cocycle, then we enunciate and prove the Multiplicative Ergodic Theorem of Oseledets which allow us to understand the behavior of the typical orbits for a given cocycle F : M x R2 → M x R2. The Fusrtenberg- Kesten theorem provides information on the growth of the matrices A(x), while the theorems of Oseledets describe the asymptotic behavior of the vectors An(x).v. Finally we prove our main theorem, Furstenbergs Theorem which states that in most cases the greatest exponent of Lyapunov is positive (FURSTENBERG, 1963)