有限型子移位

有限型子移位(subshift of finite type)亦稱雙邊拓撲馬爾可夫鏈，是符號動力系統中一個很有意義的子系統，其重要性在於它能夠作為十分重要的微分同胚某不變集的模型。

設。:萬~藝是由k個符號{1,2,w ,k}組成的雙邊符號動力系統，A=(a，)kCa;j },j-1是kXk矩陣，對一切i,j有a;;E X0,1}，令藝A一{}x'a)士:{a.}。二，+，一l,yn E Z}.藝，是藝的一個閉子集，而且在。下不變，即Q}藝A}一藝A，因而川藝A:藝A}藝，是一個同胚.。與藝A稱為由傳遞矩陣A所確定的有限型子移位或雙邊拓撲馬爾可夫鏈.對於符號半動力系統也可以類似地給出單邊拓撲馬爾可夫鏈的定義.零維雙曲不變集拓撲共扼於有限型子移位.