極限集合

力学系における**極限集合**（きょくげんしゅうごう、 ）は、軌道の集積点の集合である。時間正方向についての***&omega;'' 極限集合'''と時間負方向についての***&alpha;* 極限集合*'があり、これらを総称して極限集合という。位相力学系の基礎を築いたジョージ・デビット・バーコフによって定義・導入された。

## 定義
力学系理論の主要な興味の一つは、時間が正の無限大あるいは負の無限大における軌道の極限的な振る舞いにある。極限集合は、そのような振る舞いを扱うために用意する概念の一つである。

極限集合には、後述するように、時間正方向に対して定義する ***&omega;'' 極限集合'''と、時間負方向に対して定義する ***&alpha;* 極限集合*'がある。これら*&omega;* 極限集合と*&alpha;* 極限集合を、まとめて**極限集合**と呼ぶ。

極限集合はジョージ・デビット・バーコフによって定義・導入された。バーコフは、アンリ・ポアンカレの影響を受けて現代的な力学系理論の基礎を築いた人物の一人で、特に位相的概念を導入して位相力学系の基礎を築いた。極限集合は、そのような中で力学系へ導入された位相的概念の一つである。

### 連続系

微分方程式系で定義される連続力学系の場合、極限集合は次のように定義される。相空間を **R***m* とし、相空間上の点を *x* とすれば、

:\dot{x} = f(x) 

によってベクトル場が定義される。このベクトル場に対して、初期点 *x*0 を通り、時間 *t* &in; **R** を *x* へ写す流れを *&phi;**t *(*x*0) と表す。このとき、ある相空間上の点 *y* &in; **R***m* が *&phi;**t *(*x*0) の ***&omega;'' 極限点'''であるとは、''n'' &rarr; &infin; で ''t<sub>n</sub>'' &rarr; &infin; となるような時刻の点列に対し、

:<math>\lim_{n \to \infty} \phi_{t_n}(x_0) = y</math>

を満たすことである。言い換えると、 ''t<sub>n</sub>'' &rarr; &infin; としたときに ''&phi;''<sub>''t<sub>n</sub> ''</sub>(''x''<sub>0</sub>) が持つ相空間上の[[集積点]]が ''&omega;'' 極限点である。そして、''x''<sub>0</sub> を通る流れ ''&phi;''<sub>''t ''</sub>(''x''<sub>0</sub>) の''&omega;'' 極限点全てから成る集合を、***&omega;* 極限集合*'という。*x*0 に対する *&omega;* 極限集合を、記号では *&omega;*(*x*0) や *&omega; *lim(*x*0) と表す。

一方で、時刻の点列 *t<sub>n</sub>* が負の無限大に発散する場合も考えられる。*n* &rarr; &infin; で *t<sub>n</sub>* &rarr; &minus;&infin; となるような時刻の点列に対し、*y* が

:\lim_{n \to \infty} \phi_{t_n}(x_0) = y

を満たすとき、*y* を *&phi;**t *(*x*0) の ***&alpha;'' 極限点'''と呼ぶ。''x''<sub>0</sub> を通る流れ ''&phi;''<sub>''t ''</sub>(''x''<sub>0</sub>) の''&alpha;'' 極限点全てから成る集合を、***&alpha;* 極限集合*'という。記号では、*x*0 に対する *&alpha;* 極限集合を *&alpha;*(*x*0) や *&alpha; *lim(*x*0) と表す。

極限集合を定義する上で、*t* ではなく、わざわざ点列 *t<sub>n</sub>* の極限を考える理由の一つは、*t* &rarr; &infin; の極限では極限集合が閉曲線となるような場合に有効に定義できない点にある。また、ポアンカレ写像を用いて力学系の構造を調べるときに必然的に時間は点列になるので、点列による定義が必要となる。

### 離散系
写像で定義される離散力学系における極限集合も、連続系と同じ様に定義される。この場合、*t<sub>n</sub>* は実数ではなく整数である。

離散力学系を定義する同相写像を *g*(*x*) とし、写像の *k* 回反復適用を *g**k* (*x*) と表す（*k* &isin; **Z**）。0 1 2 n* の時刻列に対して

:<math>\lim_{n \to \infty} g^{k_n}(x_0) = y </math>

となる *y* を *x*<sub>0</sub> の ***&omega;'' 極限点**という。同様に、0 > *k*1 > *k*2 > &hellip; という *k<sub>n</sub>* の時刻列に対して

:\lim_{n \to \infty} g^{k_n}(x_0) = y 

となる *y* を *x*0 の ***&alpha;'' 極限点'''という。連続力学系と同じく、''x''<sub>0</sub> の ''&omega;'' 極限点（''&alpha;'' 極限点）の全ての集まりによって、''x''<sub>0</sub> の  ***&omega;* 極限集合*'（**''&alpha;'' 極限集合**）が定義される。

## 性質
一般に、極限集合は閉じている。実際、流れ *&phi;**t *(*x*0) に対する極限集合は、次のように閉包の共通集合としても表せる。

:\omega(x_0) = \bigcap_{0 \le \tau} \overline{ \bigcup_{\tau \le t 
:\alpha(x_0) = \bigcap_{\tau \le 0} \overline{ \bigcup_{-\infty 

さらに、極限集合は流れ *&phi;* または写像 *g* に関して不変である。すなわち、*g*(*&omega;*(*x*0)) = *&omega;*(*x*0) が満たされる。あるいは、任意の *t* &in; **R** について *y* &in; *&omega;*(*x*0) であれば *&phi;**t*(*y*) &in; *&omega;*(*x*0) が満たされる。もし相空間 *X* がコンパクトであれば、その上の流れまたは写像の極限集合は空ではない。

また、連続力学系の軌道 *O*(*x*0) が有界であれば、その極限集合はコンパクトかつ連結である。リアプノフ関数 *V* を、相空間の部分集合 *G* の閉包上で連続で、*t* について単調減少な実数値関数と定義する。このとき、*G* に含まれる正の半軌道 *O*+(*x*0) が存在すれば、*&omega;*(*x*0) 上で *V* は一定値となる。

ある点 *x* がその *&omega;* 極限集合自身に属するとき、すなわち *x* &in; *&omega;*(*x*) であるとき、*x* を**再帰点**と呼ぶ。再帰点であることは、その点が強い再帰性を持つことを意味する。力学系における他の再帰性の概念、例えばポアンカレの再帰定理が保証する再帰性あるいは非遊走集合が意味する再帰性よりも、強い再帰性を保証する。連続力学系においても離散力学系においても、任意の点は *&omega;* 極限点であれば非遊走点である。

## 例

*x*0 が平衡点および不動点だとすれば、その極限集合 *&omega;*(*x*0) および *&alpha;*(*x*0) は *x*0 自身だけである。*x*0 が周期軌道上の点であれば、*&omega;*(*x*0) および *&alpha;*(*x*0) は、その周期軌道である。また、周期軌道 *&gamma;* が *x*0 &notin; *&gamma;* の *&omega;*(*x*0) あるいは *&alpha;*(*x*0) に含まれるとき、*&gamma;* はリミットサイクルと呼ばれる。

3次元相空間の極限集合は極めて複雑になることもあるが、2次元相空間（相平面）の極限集合はそれと比較して簡単なものに限られる。*f* を相平面上（**R**2 または *S*2）の滑らかなベクトル場とし、ある *x*0 から始まる前方軌道が有界であるとする。また、*f* の平衡点は全て孤立点であるか、有限個であるとする。ポアンカレ・ベンディクソンの定理より、このときの *&omega;*(*x*0) は以下の3種類のいずれかである。
**&omega;*(*x*0) は、平衡点
**&omega;*(*x*0) は、周期軌道
**&omega;*(*x*0) は、ホモクリニック軌道やヘテロクリニック軌道のような、平衡点とそれらを結ぶ軌道からなる集合

## 出典

## 参照文献
*
*
*
*
*
*
*
*