查看“︁拓撲熵”︁的源代码

在[[數學]]裡，'''拓撲熵'''是指在一個拓撲[[動力系統]]中的一個非負實數，可以用來測量此系統的複雜度。拓撲熵這個概念最先是於1965年由阿德勒、孔翰和麥克安德魯所提出來的。其定義是由[[測度熵]]中導出來的。之後，汀那伯格和洛福斯·鮑恩另給出了一個不同但等價的定義，將其延伸至[[豪斯多夫維]]。第二個定義釐清了拓撲熵的意義：對一個由[[迭代函數]]給出的系統，拓撲熵表示迭代不同軌道數的指數成長率。'''變分原理'''此一重要原理將拓撲及測度熵兩種概念相關連了起來。

==定義==

'''拓撲動力系統'''包括一個[[豪斯多夫空間]] ''X'' （通常假定為緊緻的）和一個[[連續函數 (拓撲學)|連續]]自映射 ''f'' 。其'''拓撲熵'''是一個非負實數，可以等價地以許多方式被定義。

=== 阿德勒、孔翰和麥克安德魯的定義 ===

令 ''X'' 是一[[緊緻]]豪斯多夫空間。對任一 ''X'' 的有限[[覆蓋 (拓撲學)|覆蓋]] ''C'' ，令 ''H''(''C'') 為覆蓋 ''X'' 的 ''C'' 的最小元素數量的[[對數]]（通常底數為 2 ）。對兩個覆蓋 ''C'' 和 ''D'' ，令

: <math> C \vee D </math>

為其（最小）公精緻，包含所有 ''C'' 中的元素和 ''D'' 中的元素的非零交集。而多個覆蓋的公精緻也是類似的定義。對任一[[連續函數]] ''f'': ''X''&nbsp;&rarr;&nbsp;''X''　，下面的極限存在：

: <math> H(C,f) = \lim_{n\to\infty}
\frac{1}{n} H(C\vee f^{-1}C\vee \ldots\vee f^{-n+1}C). </math>

則 ''f'' 的'''拓撲熵'''，標記為 ''h''(''f'') 即定義為在所可能的有限覆蓋 ''C'' 上的 ''H''(''C'',''f'') 的[[最小上界]]。

====解釋====
''C'' 的各部份可能可以被視為是（部份地）描述了 ''X'' 上的點 ''x'' 的位置的符號：所有點 ''x'' &isin; ''C''<sub>''i''</sub> 都被配上符號 ''C''<sub>''i''</sub> 。想像 ''x'' 的位置被一特定儀器（不完美地）量測，且 ''C'' 的每個部份都會對應於量測的每個可能輸出。然後，整數 <math>H(C\vee f^{-1}C\vee \ldots\vee f^{-n+1}C)</math> 則表示譯成 ''X'' 的點所需長度 ''n'' 的「詞」的最小數量，依據其頭 n-1 次迭代的行為，或另個角度來說，是由劃分 ''C'' 中「看到」迭代行為「方案」的總數。因此，拓撲熵即為描述映射 ''f'' 長迭代所需[[訊息]]的平均值。

===鮑恩和汀那伯格的定義 ===

此定義使用了在 ''X'' （實際上，[[一致空間]]即足夠）上的[[度量]]。令 (''X'',''d'')　為一[[緊緻]][[度量空間]]且 ''f'': ''X''&nbsp;&rarr;&nbsp;''X'' 為一[[連續函數]]。對每一個[[自然數]] ''n'' ，一新度量被定義為

:<math>d_n(x,y)=\max\{d(f^i(x),f^i(y)): 0\leq i<n\}.</math>

給定任一 ''&epsilon;'' > 0 及 ''n'' &ge; 1 ， ''X'' 的兩點被稱為對此度量是 ''&epsilon;''-接近的，若其頭 ''n'' 次迭代是 ''&epsilon;''-接近的。此一度量允許將一個軌道的鄰域區分成在迭代中相互遠離的點以及一起移動的點兩種。''X'' 的子集 ''E'' 被稱之為是 '''(''n'', ''&epsilon;'')-分離'''的，若每一對在 ''E'' 中的相異點都不是 ''&epsilon;''-接近的。令 ''N''(''n'', ''&epsilon;'') 為一 (''n'', ''&epsilon;'')-分離集合的最大[[勢]]。映射 ''f'' 的'''拓撲熵'''即被定義為

:<math>h(f)=\lim_{\epsilon\to 0} \left(\limsup_{n\to \infty} \frac{1}{n}\log N(n,\epsilon)\right).</math>

====解釋====
因為 ''X'' 是緊緻的， ''N''(''n'', ''&epsilon;'') 會是有限的，且表示長度 ''n'' 相異軌道區段的數量，假定我們無法區分 ''&epsilon;''-接近的兩點。一簡單的論證顯示定義 ''h''(''f'') 的極限總是存在於[[擴展的實數軸]]中（但可能是無限大）。此一極限可以被解釋成對相異軌道區段數量的平均指數成長率的量測。在這意義之下，拓撲熵可以用來量測拓撲動力系統 (''X'',''f'') 的複雜性。洛福斯·鮑恩更將拓撲熵的此定義擴展成允許 ''X'' 是非緊緻的樣式。

==另見==

* [[米爾諾–瑟斯頓捏製定律]]

==參考文獻==

*R. L. Adler, A. G. Konheim, M. H. McAndrew, (1965), ''[http://links.jstor.org/sici?sici=0002-9947(196502)114%3A2%3C309%3ATE%3E2.0.CO%3B2-N Topological Entropy]'', Transactions of the American Mathematical Society, Vol. 114, No. 2, pp. 309-319
*{{springer|author=Dmitri Anosov|title=Topological entropy|id=T/t093040}}
* Roy Adler, Tomasz Downarowicz, Michał Misiurewicz, [http://www.scholarpedia.org/article/Topological_entropy Topological entropy] {{Wayback|url=http://www.scholarpedia.org/article/Topological_entropy |date=20210116154201 }} at Scholarpedia

{{planetmath|urlid=topologicalentropy|title=Topological Entropy}}

[[Category:熵和資訊]]
[[Category:遍歷理論]]