I was wondering about the general setup of a "noncommutative" ergodic theory. Instead of measurable maps into $\mathbb R$, we should consider measurable maps into $GL_n(\mathbb R)$, and instead of adding real numbers, we have matrix multiplication etc.. I have the following specific questions:
To consider ergodic theoretical questions for maps from a probability space $X$ to $GL_n(\mathbb R)$, what is a suitable norm on $GL_n(\mathbb R)$ ?
More specifically, suppose in some situation one needs to define a Hölder continuous map $X \rightarrow GL_n(\mathbb R )$. Would one here be taking a sub-multiplicative norm on $GL_n(\mathbb R )$, or would one consider its logarithm? Are there issues with taking the logarithm of the norm or would everything work okay?
What is the analogous statement of Birkhoff's ergodic theorem?
What some good general references in which such matters are described, and proved?