アーノルドの猫写像
Γ は行列式が 1 であるため、可逆であり、その逆行列は整数行列である;
Γ は面積保存である;
Γ は唯一つの双曲型平衡点(正方形の頂点)を持つ。この写像を定義する線型変換は双曲型である。すなわち、固有値は無理数で、一つは(絶対値が)1 より小さく、もう一つは(絶対値が)1 より大きい。したがってそれらはそれぞれ、安定多様体および不安定多様体であるような拡大および縮小固有空間に関連する。行列は対称であるため、それらの固有空間は直交する。固有ベクトルは有理独立な成分を持つため、それらの固有空間はいずれもトーラスを稠密に覆う。アーノルドの猫写像は特に、双曲型トーラス自己同型の有名な一例である。すなわち、絶対値が 1 であるような固有値を持たない、正方ユニモジュラ行列によって与えられるトーラスの自己同型である;
周期軌道を持つ点の集合はそのトーラス上で稠密である。
実際、ある点が前周期的であるための必要十分条件は、その座標が有理的であることである;
Γ は位相的に推移可能(topologically transitive)である。すなわち、軌道が稠密であるようなある点が存在する。これは例えば、拡大された固有空間上の任意の点に対して成り立つ;
周期が n であるような点の数は実際、|λ1 + λ2−2| である(ただし λ1 および λ2 はその行列の固有値である)。例えばこの級数のはじめのいくつかの項を挙げると、1, 5, 16, 45, 121, 320, 841, 2205 となる。同様の式は、固有値が置き換えられるなら、任意のユニモジュラ双曲型トーラス自己同型に対して成立する;
Γ はエルゴード的な混合(mixing)である;
Γ はアノソフ微分同相(英語版)で、特に構造安定である。