遊蕩集

在動力系統及遍歷理論等數學的分支裡，游離集（又稱遊蕩集）此一概念公式化了此系統中運動和混合的某些概念。當一個動力系統存在一非零測度的游離集時，即代表此系統為一耗散結構。這和使用始態復現定理概念的保守系統極為不同。直覺上，遊離集和耗散結構之間的關係是很容易了解的：若一部份相空間在此系統正常的時間演化下會「遊蕩開來」，且不再接近，則此系統即是耗散的。使用游離集的語言可以使耗散結構的概念有一個精確、數學的定義。

遊離點[編輯]

遊離集的一普通且離散時間的定義開始於一拓撲空間X本身的映射 $f:X\to X$ 。X內的x被稱為遊離點若存在一x的鄰域U及一正整數N使得對所有的 $n>N$ ，其和其疊代函數都不會相交：

f^{n}(U)\cap U=\varnothing .\,

另有一個較方便的定義，只需要其交集為零測度即可。更精確地說，此一定義需要X為一測度空間，即部份的三元組 $(X,\Sigma ,\mu )$ ，其中 $\Sigma$ 為博雷爾集合，測度 $\mu$ 會使得

\mu \left(f^{n}(U)\cap U\right)=0,\,

類似地，一連續時間的系統有一映射 $\varphi _{t}:X\to X$ ，其定義了此系統的時間演化或稱為此系統的流量，其中時間演化算符 $\varphi$ 為一於X上的一元連續阿貝爾群作用：

\varphi _{t+s}=\varphi _{t}\circ \varphi _{s}.\,

在此情況下，一個於X內的遊蕩點x會有一個x的鄰域U及一時間T，使得對所有時間 $t>T$ ，其時間演化映射為零測度：

\mu \left(\varphi _{t}(U)\cap U\right)=0.\,

此一較簡單的定義可以完全地被廣義化至一般的群作用上。設 $\Omega =(X,\Sigma ,\mu )$ 為一測度空間，即一具有定義於其博雷爾集合上之測度的集合。再設Γ為作用在此集合上的群。給定一於Ω內的點x，此集合

\{\gamma \cdot x:\gamma \in \Gamma \}

稱做點x的軌跡或軌道。

於Ω內的一元素x被稱為一遊離點，若存在一x的鄰域U及Γ單位元的鄰域V，使得對所有的 $\gamma \in \Gamma -V$

\mu \left(\gamma \cdot U\cap U\right)=0

非遊離點[編輯]

非遊離點的定義在感覺上剛好相反。在離散的例子裡， $x\in X$ 為非遊離點，若對每一包含x的開集合U，都可以找到在一些 $n\geq 1$ 中，

\mu \left(f^{n}(U)\cap U\right)>0\,

相類的定義也可以被使用在連續時間及離散與連續群作用裡。

遊離集和耗散系統[編輯]

遊離集是遊離點的聚合。更精確地說，Ω的子集W為一在一離散群Γ的群作用下的遊離集，若W為可測度的且對任一 $\gamma \in \Gamma -\{e\}$ ，交集

\gamma W\cap W\,

為一零測度的集點。

遊離集的概念在感覺上是和始態復現定理內所表示出來的概念互為正反。若存在一正測度的遊離集，Γ的群作用便被稱為耗散的，且此一動力系統 $(\Omega ,\Gamma )$ 則被稱為耗散結構。若不存在如此的遊離集，此一群作用則被稱為保守的，且此一系統稱為保守系統。例如，任何遵守始態復現定理的系統在定義上不可能存在正測度的遊離集；且因此為保守系統的例子。