Georgia Institute of Technology College of Sciences

We prove Ruelle's Entropy Inequality for C^1 maps. This is part of a reading seminar geared towards understanding of Smooth Ergodic Theory. (The study of dynamical systems using at the same time tools from measure theory and from differential geometry)It should be accesible to graduate students and the presentation is informal. The first goal will be a proof of the Oseledets multiplicative ergodic theorem for random matrices. Then, we will try to cover the Pesin entropy formula, invariant manifolds, etc.