在動力系統及遍歷理論等數學的分支裡，游离集（又称游荡集）此一概念公式化了此系統中運動和的某些概念。當一個動力系統存在一非零測度的游离集時，即代表此系統為一耗散結構。這和使用始態復現定理概念的保守系統極為不同。直覺上，遊离集和耗散結構之間的關係是很容易了解的：若一部份相空間在此系統正常的時間演化下會「遊蕩開來」，且不再接近，則此系統即是耗散的。使用游离集的語言可以使耗散結構的概念有一個精確、數學的定義。
遊离點
遊离集的一普通且離散時間的定義開始於一拓撲空間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\ge 1中，
:\mu\left(f^n(U)\cap U \right) > 0\,
相類的定義也可以被使用在連續時間及離散與連續群作用裡。
遊离集和耗散系統
遊离集是遊离點的聚合。更精確地說，Ω的子集W為一在一離散群Γ的群作用下的遊离集，若W為可測度的且對任一\gamma \in \Gamma - \{e\}，交集
:\gamma W \cap W\,
為一零測度的集點。
遊离集的概念在感覺上是和始態復現定理內所表示出來的概念互為正反。若存在一正測度的遊离集，Γ的群作用便被稱為耗散的，且此一動力系統(\Omega, \Gamma)則被稱為耗散結構。若不存在如此的遊离集，此一群作用則被稱為保守的，且此一系統稱為保守系統。例如，任何遵守始態復現定理的系統在定義上不可能存在正測度的遊离集；且因此為保守系統的例子。
一遊离集W軌跡的定義為
:W^* = \cup_{\gamma \in \Gamma} \;\; \gamma W.
Γ的作用稱為完全耗散的，若存在一正測度的遊离集W，使得軌道W^*幾乎處處相等於Ω，即若
:\Omega - W^*\,
為一零測度的集合。
參考文獻
*
- Alexandre I. Danilenko and Cesar E. Silva (8 April 2009). [https://web.williams.edu/Mathematics/csilva/NonsingularET_Apr.pdf Ergodic theory: Nonsingular transformations] ; See [https://arxiv.org/abs/0803.2424 Arxiv arXiv:0803.2424] .
*
评论 (0)