可微分力学系では相空間は微分構造を持ち、ベクトル場で定まる連続力学系がその典型例である[45]。状態変数を x = (x1, x2, … xn) ∈ X ⊂ Rn、時間を t ∈ R とする。力学系が n 連立一階微分方程式 d x k d t = f k ( x 1 , ⋯ , x n ) {\displaystyle {\frac {dx_{k}}{dt}}=f_{k}(x_{1},\cdots ,\ x_{n})} (1 ) で与えられるとき (k = 1,… n)、相空間上の各点にはベクトル f (x): X → Rn が対応する[46]。このとき、f (x) は解曲線の接ベクトルに一致し、各点が時間経過したときに動く方向と大きさを表す[47][48]。 測度論的力学系
X ∈ F
A ∈ F ならば Ac ∈ F
A1, A2,… ∈ F ならば ∪∞
i=1 Ai ∈ F
を満たすσ-集合体 F が存在し、A ∈ F に対して、
μ(A) ≥ 0 かつ μ(X) = 1
A1, A2,… ∈ F が互いに素ならば μ(∪∞
i=1 Ai) = ∑∞
i=1 μ(Ai)
を満たす確率測度 μ が与えられる[49][50]。さらに
A ∈ F ならば T−1A ∈ F
μ(A) = μ(T−1A)
を満たす保測写像 T を組にして測度論的力学系が成立する[49]。
記号力学系では、相空間 X は記号列の集まりとなる[51]。記号が2種類から成り、記号列が両側無限列であるような場合、記号列 x は x = { ⋯ , a − 2 , a − 1 , a 0 , a 1 , a 2 , ⋯ } {\displaystyle x=\{\cdots ,\ a_{-2},\ a_{-1},\ a_{0},\ a_{1},\ a_{2},\ \cdots \}}
で与えられる[51]。ここで、ai は記号 1 または 2 のいずれかを取る[51]。この場合の相空間 X は全ての記号列 x の集合で[51]、しばしば Σ とも記す[52][53][54]。さらに、異なる x 同士の距離を定義し、x に適用すると記号を一斉に左にずらす働きをするシフト写像 σ を用意し、記号力学系を構成する[55]。 式 (1) のような f が時間 t を陽に含まない微分方程式系は自律系と呼ばれる[56]。自律系の微分方程式系は、現在の状態 x のみで次の状態が定まるという力学系の決定論的な考え方と合致する[57]。一方で、以下のように t を陽に含む微分方程式系は非自律系と呼ばれる[58]。
拡大相空間