En uno de Ruelle los papeles de "Rotación de Números para los Flujos y Diffeomorphisms" Ruelle tiene el siguiente cálculo que no entiendo por completo. Suponga que tiene dos invertible $2 \times 2$ matrices $A$ $B$ con polar descomposiciones $A = U(\theta(A))|A|$ $B = U(\theta(B))|B|$ donde $U(\theta)$ es el plano de rotación de la matriz por $\theta$ $|B|=\sqrt(BB^T)$ etc. Entonces él dice que $$ |\theta(AB)-\theta)\theta(B)| \leq \pi $$
Yo no entiendo muy bien cómo se obtiene este resultado sin una constante que depende de las normas de a y B. se puede empezar diciendo: $$ AB = U(\theta(AB))|AB| = U(\theta(a))|a| U(\theta(B))|B| $$ $$ = U(\theta(a)+\theta(B))U(-\theta(B))|a|U(\theta(B))|B| $$ así que $$ U(\theta(AB)-\theta)\theta(B)) = U(-\theta(B))|a|U(\theta(B))|B||AB|^{-1}. $$ En algún lugar en el papel que él le da como un toque $|\theta(PQ)| \leq \pi$ si $P$ $Q$ son positivas, pero no puedo ver cómo utilizarlo.