力学系におけるアトラクター（）とは、時間発展する軌道を引き付ける性質を持った相空間上の領域である。力学系において重要なトピックの一つ。引き込まれた後の軌道は、アトラクター内に留まり続ける。アトラクターへ引き込まれる初期値の集合はベイスンや吸引領域と呼ばれる。
アトラクターは、その構造・性質にもとづき点アトラクター、周期アトラクター、準周期アトラクター、ストレンジアトラクターの4種類に分類される。点アトラクターはもっとも単純で、周りの軌道を引き寄せる1つの点である。周期アトラクターと準周期アトラクターは、連続力学系でいえばそれぞれ閉曲線とトーラスの形を成す。ストレンジアトラクターは、カオスと呼ばれる非周期的軌道から成るアトラクターで、バタフライ効果として知られる初期値鋭敏性とフラクタルな幾何学的構造を持つ。
物理的なアトラクターの典型的な例は、減衰や摩擦を受けて振動しながら最終的に静止する振り子で、これは点アトラクターの一種である。実現象で起こるアトラクターを限られた時系列データから再現する手法はアトラクターの再構成として知られ、実現象の力学系的性質の調査や、実物の品物に対する異常検出といった応用研究にも用いられる。
背景
何かの状態の時間発展が、規則にしたがって決定論的に一意的に決まっている系を力学系という。一般に、力学系の振る舞いは「保存的」か「散逸的」かに分類できる。物理的な系としてばねや振り子の系を考えると、系に摩擦が無いときは力学的エネルギーが保存され続けるのに対して、系が摩擦があるときは力学的エネルギーは熱に変わって系から失われる。前者のような系を保存系と呼び、後者のような系を散逸系と呼ぶ。日常的に観測される実存の系の多くは散逸系といえる。物理的な観点から言えば、散逸系はエネルギー的に開放されているのが特徴で、非平衡開放系とも呼ばれる。摩擦がある振り子は、時間が十分経つと静止する。しかし散逸系であっても、エネルギーが流出すると同時に流入してバランスすると、最終的な運動が静止状態になるとは限らず、安定な振動状態を取ることもある。
力学系の考え方では、対象とする状態を変数の組として表し、それを空間上の1点とみなす。時間発展に従って動く空間上の点の軌跡は軌道と呼ばれ、状態の時間変化を表している。状態の集まりである空間は相空間や状態空間と呼ばれる。散逸系とは、数学的には、相空間上に体積要素を取ったときにその要素の体積が時間発展にともなって減少していく系を指す（ここでの体積とは3次元以上2次元以下を含む一般化された体積、特記無い限り以下同じ）。散逸系では、相空間上の軌道がある一定の領域（状態の集まり）へ引き付けられる現象が存在する。このような領域をアトラクターと呼ぶ。一方の保存系では、アトラクターは存在しない。
アトラクターが存在するとき、ある程度の時間経過後に系の状態はそのアトラクターにほとんど引き込まれるため、アトラクター上での振る舞いが実質的に系の長期的な振る舞いを支配しているといえる。また、何かの乱れが系に加わったとしても、乱れがさほど大きくなければ、やはり状態はアトラクターへ引き込まれる。したがって、散逸系の振る舞いを理解するためには、系のアトラクターとアトラクター周辺の性質を調べることが重要となる。力学系において、アトラクターを理解することは重要な鍵となる。特に、後述のストレンジアトラクターが具体的な微分方程式の数値実験で現れることが確認されて以降、力学系理論への注目が高まり、多くの研究が行われるに至った。
定義と一般的性質 吸引集合、アトラクター
アトラクター（）とは、「引き付ける」を意味する英語単語 attract から出来た言葉で、大雑把にいえばアトラクターとは、その周りの軌道を引き付けるような性質をもった領域である。さらに、軌道がそのような領域まで引き付けられた後は、軌道はその領域内に留まり続ける。
アトラクターの厳密な定義については議論が残っており、広く共有された統一的な数学的定義は今のところ存在していない。ここでは、まずは に沿った定義を以下に述べる。力学系の相空間を とし、相空間上の点（状態変数）を とする。連続力学系を定めるベクトル場の流れを で表すとする。離散力学系を定める写像 の 回繰り返し適用を で表すとする。部分集合 が以下を満たすとき、 を吸引集合と呼ぶ。 連続力学系の場合： は閉不変集合、すなわち全ての と について である。 にある近傍 が存在し、全ての と について である。 全ての について、 のとき である。 離散力学系の場合： は閉不変集合、すなわち全ての と について である。 にある近傍 が存在し、全ての と について である。 全ての について、 のとき である。
さらに、吸引集合と流れの組 あるいは吸引集合と写像の組 が以下のように位相的推移性を満たすとき、 をアトラクターと呼ぶ。 連続力学系の場合： の任意の部分開集合 , に対し、全ての が を満たす が存在する。 離散力学系の場合： の任意の部分開集合 , に対し、全ての が を満たす が存在する。
力学系の位相的推移性あるいは推移性とは、簡単に言えば、軌道がその領域内をくまなく動き回ることを意味する。、、 も位相的推移性をアトラクターの条件に課している。 でも稠密な軌道の存在という形でアトラクターを定義付けている。 や では、位相的推移性の代わりに が極小集合であること、すなわち の全ての真部分集合が吸引集合の条件を満たさないことをアトラクターの定義としている。
いずれにしても、吸引集合にさらに位相的推移性や極小の条件を課す理由は、認定したアトラクターが実は独立したアトラクターの集まりであり、実際にはさらに細かく分けられるような事態を避けたいという動機による。吸引集合の条件だけでは、軌道が最終的にどこに落ち着くのか曖昧だという欠点がある。この点を説明する例として良く出されるのが次の の2次元ベクトル場である。
ここで、上付きの · は時間微分 () を意味する。このベクトル場の 相平面の という線分状の集合を とする。 を囲む長方形や楕円のような適当な近傍を取れば、近傍内の点は全て に収束する。また、 上の点が から出ることはない。よって、 は吸引集合である。しかし、 軸を除く相平面上のほとんど全ての点は、 または のどちらかのみに収束する。この例であれば をアトラクターとは考えたくない、 と にアトラクターが2つあると考えたい、それが位相的推移性をアトラクターの定義に課す動機である。
一方で、、、、 などは位相的推移性を課さない条件の集合、すなわち上記における吸引集合のことをアトラクターの定義としている。このように上記定義における「吸引集合（位相的推移性を満たさない集合 ）」をアトラクターと呼ぶときは、上記定義における「アトラクター（位相的推移性を満たす集合 ）」を推移的アトラクターと呼んだりもする
力学系が体積要素が縮小する性質を持つとき、その力学系を散逸系といった。散逸系上にはアトラクターが存在し、散逸系上の全ての軌道はアトラクターへ引き付けられる。散逸系の性質から導かれる必然として、あるいはアトラクターに課す定義として、アトラクターの体積は一般的に 0 となる。すなわち、 相空間上のアトラクターの（通常の意味での）体積は 0 であり、 相空間上のアトラクターの面積は 0 である。これらの帰結として、アトラクターの次元 は相空間の次元 よりも常に小さく、 の関係にある。さらに体積縮小の結果、アトラクターに引き込まれる軌道の初期値の情報は失われることなる。つまり、アトラクターに引き込まれた後の点から、時間を逆にたどってその点の初期値を知ることは不可能となる。また、アトラクターに一旦引き込まれた軌道は、以降アトラクターから出ることはない。これは、アトラクターが不変集合として定義されることへ対応する。
ベイスン、過渡状態、トラッピング領域、リペラー
あるアトラクターに引き付けられる全ての初期値の集合をベイスン（ または単に 、表記揺れでベイスィン、ベイシンとも）と呼ぶ。他には、吸引域、吸引領域という呼び方があり、引力圏、吸引圏、吸引の鉢といった表現もある。英語の basin には鉢の意味があり、鉢の中に置かれた物が鉢の底へ向かって転がっていくイメージから命名されたと推測される。
数学的には、アトラクターの定義に出てくる近傍 の内、様々な大きさが取り得る中で最大の がベイスンである。あるアトラクターに対するベイスンは、そのアトラクター自体も含んでいる。また、アトラクターは散逸系の特性から体積が 0 だが、ベイスンの体積は 0 ではない。言い換えると、アトラクターに引き込まれる初期値の集合の測度は 0 ではない値を持つ。このことと極限集合の概念を使い、アトラクターを非零の測度の初期値を引き込む 極限集合と定義する流儀もある。
ベイスンからアトラクターに引き込まれるまでの系の振る舞いを過渡状態、過渡運動、トランジェント（）などと呼ぶ。定義上は時間が無限に過ぎたときに軌道はアトラクターに引き込まれることになっているが、アトラクター周囲に達した後は軌道はアトラクター上と同じ振る舞いをするので、有限時間でアトラクターに引き込まれたと見なして実際上の問題はさほど起きない。
また、アトラクターないし吸引集合と関連してトラッピング領域（）、捕捉領域、閉じこめ領域などと呼ばれる相空間上の領域もある。これは、全ての前方軌道がそこから出ることがない領域を意味する。具体的には、トラッピング領域 とは次の条件を満たす有界閉集合である。 連続力学系の場合： 任意の について、 となる。 離散力学系の場合： となる。 連続力学系のトラッピング領域は、 の境界のどの点においてもベクトル場が の内へ向いていることと同等である。トラッピング領域 を用いて吸引集合 を次のようにも定義できる。 連続力学系の場合：
離散力学系の場合：
その他の概念として、リペラー（）がある。これは、時間を反転させたときに吸引的になる解を指す。離散力学系 でいえば、逆写像 のアトラクターが のリペラーであると定義できる。不安定な性質を持ち軌道が離れていく不動点や平衡点が、リペラーの例である。
分類 点アトラクター
相空間上の1つの点へ収束するアトラクターを、点アトラクター（）という p. 69。これは、アトラクターの中でもっとも単純なものといえる。点アトラクターという呼び方の他に、静止アトラクター、ポイントアトラクター、固定点アトラクター p. 344、平衡点アトラクター、不動点アトラクターといった言い方もある。
固定点とは、時間変化しても相空間上で動かない点のことで、連続力学系では平衡点、離散力学系では不動点とも呼び分けることもある。近傍の軌道を引き付ける性質を持つ固定点を漸近安定であるといったり、吸引的であるという。点アトラクターとは、言い換えれば漸近安定な固定点のことである。ただし、点アトラクターを指して単に固定点、平衡点、不動点と呼ぶこともある。
点アトラクターの一例として、次のエノン写像が挙げられる。
ここで、 と は時間変化しない定数（パラメータ）である。エノン写像は、ミシェル・エノンが後述するローレンツアトラクターのメカニズムを研究するために導入された力学系である。エノン写像の振る舞いは と の値によってさまざまな様相を示すが、 かつ のとき、吸引的不動点すなわち点アトラクターが存在する。
点アトラクターの物理的な典型例は、減衰を受ける振り子である。空気抵抗などの減衰を受けるとき、振り子は動きながらエネルギーを失い、最終的には静止する。振り子が速度に比例した減衰力を受けるとする。このとき、振り子の運動は次の2次元微分方程式系で表される。
ここで、 は振り子の角度、 は振り子の角速度、 は重力加速度、 は振り子の支点から重りまでの長さ、 は重りの質量、 は減衰係数である。 と は正の定数であり、さらに も正の定数とする。このとき、（ちょうど真上で倒立した状態）の条件を除き、全ての運動は（真下で停止した状態）に収束する。
微分方程式に独立変数 を陽に含まない系を自励的という。 上の自励的な1次元連続力学系で存在可能なアトラクターは、点アトラクターのみである。一方の離散力学系では軌道が連続的であるという制限がないので、1次元写像の段階から点アトラクター以外の種類のアトラクターが許容される。
周期アトラクター
相空間上の周期軌道に収束するタイプのアトラクターを、周期アトラクター（）や周期的アトラクターという。
連続力学系では、周期軌道とは相空間上の1本の単純閉曲線であり、解はその線を沿って動き続ける。つまり、ある時間経過ごとに元の状態に戻る周期的な振る舞いを示す。近傍の軌道が引き付けられる漸近安定な閉曲線と、近傍の軌道が離れていく漸近不安定な閉曲線を、合わせてリミットサイクルと呼ぶ。漸近安定なリミットサイクルが周期アトラクターに対応する。ただし、周期アトラクターを指して単にリミットサイクルと呼ぶこともある。自励的連続力学系では、周期アトラクターは2次元以上の相空間で存在する。
連続力学系の周期アトラクターが現れる例として、次のブラッセレーター方程式がある。
ブラッセレーターはイリヤ・プリゴジンらが導入した化学振動反応のモデルで、 と は時間変化する分子濃度を表す。代表的な化学振動反応であるベロウソフ・ジャボチンスキー反応では、条件によっては反応物質濃度の安定なリミットサイクル振動が起きることが知られている。ブラッセレーターの と も分子濃度を表すが、ここでは定常状態にあり、パラメータだとする。 のとき、ブラッセレーターの軌道が相平面上で閉曲線に接近していくのが観察できる。
離散力学系の場合、写像を繰り返し合成したときにある繰り返し数で元の状態に戻るような点列が周期軌道と呼ばれる。周期が だとすると、 という点列の集合が離散力学系における周期軌道で、このような周期軌道にも近くの点を引き込む漸近安定な場合がある。漸近安定な周期軌道が、離散力学系における周期アトラクターである。エノン写像の例では、パラメータが のときに周期 4 の漸近安定な周期軌道が存在する。
準周期アトラクター
相空間上の準周期軌道に収束するタイプのアトラクターを、準周期アトラクター（）や概周期アトラクターという。
連続力学系では、準周期軌道とは相空間上のトーラス表面に巻きつく非閉曲線である。これは振動数比が無理数の関係にある振動同士が重ね合わさって起きる振る舞いで、振動同士の重ね合わせとして表現できるが、周期軌道とは異なって同じ状態に戻ることはないのが特徴である pp. 42–43。準周期軌道はトーラス上を稠密に覆いつくし、ある点を通る準周期軌道はいくらでもその点の近くに戻って来る。準周期アトラクターを指して単にトーラスと呼ぶこともある。自励的連続力学系では、周期アトラクターは3次元以上の相空間で存在する。
連続力学系で準周期アトラクターが現れる例として、ウィリアム・ラングフォードがトーラスからカオスへの分岐を研究するために用いた次のラングフォード方程式が挙げられる。
パラメータが のとき、近傍の軌道がドーナツの形をした2次元トーラスに収束し、その上を閉じることなく回り続けることが観察できる。
離散力学系の準周期軌道は、閉包を取ると円に同相で、なおかつその閉包上で写像が単調である軌道として定義される。離散力学系の準周期アトラクターの例として、エノン写像に式はよく似ているが振る舞いは異なる次の写像がある。
この写像は、第1式右辺の と がエノン写像とちょうど逆になっている。この系もカオスへの分岐を研究するために提案されたもので、例えばパラメータ で準周期アトラクターが現れる。
ストレンジアトラクター
複雑な構造を持ち、軌道がカオスとなるタイプのアトラクターを、ストレンジアトラクター（）という。この命名はデービット・リュエルとによる。他には、カオスアトラクター、カオティックアトラクター、カオス的アトラクター、奇妙なアトラクター pp. 96, 98 p. 148、フラクタルアトラクターといった呼び方もある。
力学系におけるカオスとは、大雑把に言えば、決定論的に確定した規則に従って生み出される複雑・不規則・不安定な振る舞いを指す。カオスの厳密な定義は専門家間でも微妙に異なっており、カオスの統一的な数学的定義は未だに存在していない。散逸系におけるカオスとはストレンジアトラクターを意味する。
古くから知られていたアトラクターは、点アトラクター、周期アトラクター、準周期アトラクターの3つだけであった。ストレンジアトラクターというクラスのアトラクターは、コンピューターが発達して数値計算が実用になって以降の1960年代になって見つかった。「カオス」と同様、ストレンジアトラクターの広く共有された定義も現在のところ存在していない。ここではアトラクターの定義に合わせ、 に沿ったストレンジアトラクターの定義を挙げる。集合 が位相的に推移的なアトラクターであり、かつコンパクトであるとする。さらに あるいは が以下の初期値鋭敏性を満たすとき、 をストレンジアトラクターと呼ぶ。 連続力学系の場合： ある が存在し、任意の と任意の近傍 に対して、 を満たす と が存在する。 離散力学系の場合： ある が存在し、任意の と任意の近傍 に対して、 を満たす と が存在する。
初期値鋭敏性とは、わずかな初期値の違いが時間発展にともなって次第に大きくなることを意味し、バタフライ効果という言葉としても知られる。ただし、上記の初期値鋭敏性の定義は指数関数的な分離を必ずしも要求していない p. 47。現在では、指数関数的分離すなわち正のリアプノフ指数を持つことを初期値鋭敏性に要求することが多い。
準周期アトラクターと同じく、自励的な連続力学系においてはストレンジアトラクターは3次元以上から存在する。最初に広く知られた連続力学系のストレンジアトラクターは、エドワード・ローレンツが熱対流の振る舞いをモデル化から導入した次のローレンツ方程式で現れる。
ローレンツが使用したパラメータは で、このときに存在するアトラクターはローレンツアトラクターとして有名である。
多くのストレンジアトラクターの形は、自己相似形いわゆるフラクタルの構造となっている。実際、フラクタル構造を持つアトラクターを指してストレンジアトラクターの定義とする考え方もある pp. 431–433。ただし、現在ではストレンジアトラクターを考える上ではフラクタル構造よりも初期値鋭敏性の方がより重要といわれる。初期値鋭敏性がストレンジアトラクターの力学的・動的な特徴を表しているのに対し、フラクタル構造がストレンジアトラクターの幾何学的・静的な特徴を表しているといえる。
ストレンジアトラクターのフラクタル構造は、離散力学系であるエノン写像が観察しやすい。エノン写像のパラメータが のときに、バナナのような形に折れ曲がったアトラクターが存在する。このアトラクターはエノンアトラクターと呼ばれ、全体図からは単純な数本の線から成るように見えるが、アトラクターの一部を拡大していくと自己相似形の無限の線からできていることが分かる。エノンアトラクターの次元は、数値計算でボックスカウント次元（フラクタル次元の一種） 1.26 という値が求められている。
特定のものを除き、ストレンジアトラクターであることの厳密な証明は困難で、ストレンジアトラクターの一般的性質の解明は未だ十分に達成できていない。数値計算実験では、繰り返しが見られずストレンジアトラクターと判断されるものであっても、厳格な立場から言えば、実はそれは計算時間を超える極めて長い周期を持つ周期アトラクターであるという可能性が残る。カオスであることの厳密な証明できている事例は、系が双曲型である場合にほとんど限られている。ある可微分写像の不変閉部分集合が双曲型であるとき、任意の点の接空間は拡大的な部分空間と縮小的な部分空間の直和となる。双曲型のアトラクターを双曲型アトラクターといい、双曲型アトラクターであればカオスであることが知られる。双曲型力学系でストレンジアトラクターを持つことが示される例には、平面上に定義されるパイこね変換やトーラス体上に定義されるソレノイドなどがある。
一方で、アトラクターが非双曲型の場合、解析は一般に困難となる。しかし、自然な力学系の多くは非双曲型である。これまで構成・研究された双曲型アトラクターは、応用研究で現れる微分方程式とのポアンカレ写像によるつながりがないなど、やや人工的といえる。著名なローレンツアトラクターも、ストレンジアトラクターであることは確実視されてはいたものの、数学的証明を与えることは長い間できていなかった。ローレンツアトラクターが最初に発見されたのは1963年だが、ストレンジアトラクターであることの完全な形での数学的証明が最初に与えられたのは2002年のことで、ウォリック・タッカーが精度保証付き数値計算と解析的手法を組み合わせて証明した。
指標別整理
アトラクターの定量的評価は、リアプノフスペクトラム、フラクタル次元、パワースペクトルなどによって行われる。ただし、パワースペクトル評価ではカオスとノイズ（あるいは周期的振る舞いにノイズが乗ったもの）との区別が付きにくいという欠点がある。特に、リアプノフスペクトラムによる分類がアトラクターの正確な分類を与えてくれる。
ある軌道とある軌道が離れていく度合いを定量化したものリアプノフ指数といい、 次元力学系であればリアプノフ指数は各方向に対応して 個存在する。このリアプノフ指数を大きい順に並べたもの をリアプノフスペクトラムという。リアプノフスペクトラムで各アトラクターの特性を説明すると以下のようになる。 点アトラクター アトラクターすなわち固定点上からのズレは、全ての方向において吸引される。よって、点アトラクターの全てのリアプノフ指数は負である。 周期アトラクター アトラクターすなわち閉曲線は周期軌道であるから、閉曲線上の2点は時間発展によって近づいたり離れたりしない。よって、周期アトラクターの閉曲線接線方向のリアプノフ指数は0であり、吸引的でも反発的もない。閉曲線に垂直な方向のズレは全て閉曲線に吸引されるので、閉曲線に垂直な全ての方向のリアプノフ指数は負である。 準周期アトラクター 準周期アトラクターを 次元のトーラス（トーラス、）だとする。周期アトラクターと同じように軌道方向は近づいたり離れたりせず、中立的である。よって、トーラス上の軌道接線方向はリアプノフス指数 0 で、軌道に垂直でかつトーラス面内方向もリアプノフス指数 0 である。結局、準周期アトラクターでは 個のリアプノフ指数が 0 である。それ以外のトーラス面に対して垂直な全ての方向では、リアプノフ指数は負である。 ストレンジアトラクター ストレンジアトラクターは、初期値鋭敏性を持つために少なくとも1つのリアプノフ指数が正である。軌道接線方向はリアプノフ指数 0 である。残りのリアプノフ指数は負であり、さらに相空間の体積要素が縮小していくという散逸系の特性にしたがって、全てのリアプノフ指数の和は負になる。 以上のような各アトラクターに対する指標・特性をまとめると、以下の表のようになる。
+ それぞれのアトラクターに対する指標・特性 点アトラクター 周期アトラクター 準周期アトラクター ストレンジアトラクター アトラクターの幾何学的構造 点 閉曲線 -トーラス フラクタル構造 アトラクター上の振る舞い 静止 周期的 準周期的 カオス 次元相空間におけるアトラクターの次元 0 1 未満の整数 未満の非整数 次元相空間の場合のリアプノフスペクトラム で で で で で で で で 3次元相空間の場合のリアプノフスペクトラム パワースペクトルの様相 - 1個の基本振動数とその整数倍で線スペクトル 個の基本振動数とその整数倍、およびそれらの差・和の組み合わせで線スペクトル 連続スペクトル
一つの系が持つアトラクター・ベイスンの数・種類・変化 アトラクターの共存
1つの系に存在するアトラクターは1つとは限らず、1つの系に複数のアトラクターが共存できる。1つの系に多数のアトラクターが併存することは珍しくなく、無限個のアトラクターを持つような系を考えることもできる。アトラクターが複数のときは、リアプノフ指数のような各種特性指標もアトラクターごとに固有である。
点アトラクターと周期アトラクター、点アトラクターとストレンジアトラクターなど、複数の種類のアトラクターが同時に存在することもある。例えば、パラメータ のエノン写像ではストレンジアトラクターと周期アトラクターが共存する pp. 23–24。このとき、初期値 であれば軌道は4本の帯のようなストレンジアトラクターへ引き込まれ、 であれば軌道は周期6の周期アトラクターへ引き込まれる。
アトラクターが複数存在するときは、ベイスンの棲み分けが起き、初期条件に応じてどのアトラクターに引き込まれるかが決まる。種類の異なる振る舞いごとに相空間を分ける軌道をセパラトリックスといい、ベイスン同士の境界線をセパラトリックスということがある。セパラトリックスも軌道の1つであり、ホモクリニック軌道や鞍点から出る2つの安定多様体がセパラトリックスの例である。
複雑なベイスン アトラクターが簡単な形であっても、そのベイスンの形が簡単とは限らない。特に、複数のアトラクターが存在するときには、それらのベイスン同士の境界がフラクタルになることもある。例えば、エノン写像はパラメータ で3周期アトラクターと5周期アトラクターが共存しているが、それらの2つのベイスンは複雑に入り乱れ、境界はフラクタルになっている。1つのアトラクターに対するベイスンが連結ではなく、バラバラの連結成分に分かれていることがあり、とくに複素力学系ではベイスンが無限個の連結成分から成ることもよくある。このようなとき、通常のベイスン（吸引域、鉢）に対し、アトラクターを含んでいる連結成分を直接吸引域や吸引の直接鉢 p. 53と呼ぶ。
複素力学系においてフラクタルなベイスン境界が出てくる例として、複素数へ拡張したニュートン法を扱う問題がある。ニュートン法とは関数 の零点の値を出す数値計算法の一種で、 を複素数 に拡張し、関数を多項式 としたとき、
という離散力学系が定義できる。この写像が で収束する値は の零点であり、力学系的には複素平面上の吸引不動点（点アトラクター）である。 の次数が3以上のとき、ニュートン法による写像のベイスン境界は非常に複雑な形となる。特に、 の3次多項式では3つの点アトラクターのベイスン境界は鎖あるいは数珠つなぎのようなフラクタルを成すことが知られている。
他の特殊で複雑なベイスンとしてはリドルベイスン、リドルドベイスン（）と呼ばれるものがある。あるアトラクター のベイスンを で、併存するアトラクター のベイスンを で表すとする。 が に対してリドルであるとは、 の全ての点の開近傍に が有限の割合で含まれることを意味する。つまり、 の全ての点のいくらでも近い範囲に の点が存在している。名前の「リドルド（）」とは「穴だらけの」の意味で、リドルベイスンとは が によって穴だらけにされているという意味である。リドルベイスンが生じるにはストレンジアトラクターを部分相空間として含むような相空間の力学系が必要であり、離散力学系であれば2次元以上から、連続力学系では4次元以上から生じる。
フラクタル境界やリドルベイスンのような複雑なベイスンが存在する帰結として出てくるのが、カオスとは異なる形の予測困難性である。すなわち、ほとんどの初期値において、軌道はどのアトラクターに引き込まれるのか予測できなくなる。予測のためには初期値の指定に限りない精度が求められ、初期値に微小な差があると結果は大きく異なる。
分岐現象、カオスへのルート