コンテンツにスキップ

英文维基 | 中文维基 | 日文维基 | 草榴社区

「位相共役」の版間の差分

出典: フリー百科事典『ウィキペディア(Wikipedia)』
削除された内容 追加された内容
m Bot作業依頼#Cite webの和書引数追加
編集の要約なし
 
(2人の利用者による、間の24版が非表示)
1行目: 1行目:
[[数学]]において、二つの函数が互いに'''位相共役'''(いそうきょうやく、{{Lang-en-short|topologically conjugate}})であるとは、一方を他方へ結びける[[同相写像]]が存在することを言う位相共役性は、[[反復合成写像|反復函数]]の研究やより一般に[[力学系]]において重要となぜなら、ある反復函数ダイナミクスが明らかにされれば、位相共役な任意函数のそれも明らかになからある。
数学において'''位相共役'''(いそうきょうやく、{{Lang-en|topologically conjugate}})とは、2[[写像]]の[[軌道 (力学系)|軌道]]が定性的に同じ関係であることを示す概念である。[[力学系理論]]にお基礎的概念一つ{{Sfn|久保・矢野|2018|pp=26–28}}。位相共役の関係よって、解析が容易写像から他の写像の性質を導けるといった利点がる。他には、力学系の[[構造安定性]]の定義付けを与える。


位相共役の関係は、2つの写像を関係づける[[同相写像]]の存在によって定義される。もし2つの力学系が位相共役ならば、それぞれの力学系は同じ性質の軌道を同じ数持つ。連続力学系の場合は、時間の変数変換を許す位相同値という関係も用いられる。
この事実を直接的に表現すると次の様になる:{{mvar|f}} と {{mvar|g}} は反復函数とし、


==定義==
:<math>g=h^{-1}\circ f\circ h,</math>
{{Mvar|X}} と {{Mvar|Y}} を[[位相空間]]とし、{{Math2|''f'' : ''X'' &rarr; ''X''}} と {{Math2|''g'' : ''Y'' &rarr; ''Y''}} を[[連続写像]]とし、これらによって定義される[[力学系]] {{Math|(''X'', ''f''&thinsp;)}} と {{Math|(''Y'', ''g'')}} を考える{{Sfn|久保・矢野|2018|pp=26&ndash;28}}。このとき、{{Mvar|X}} から {{Mvar|Y}} への[[同相写像]] {{Math|''h'' : ''X'' &rarr; ''Y''}} が存在して


{{NumBlk|:|<math>h \circ f = g \circ h </math>|{{EquationRef|1-1}}}}
を満たすある {{mvar|h}} が存在するとする。すなわち、{{mvar|f}} と {{mvar|g}} は位相共役である。このとき、当然


を充たすとき、2つの力学系 {{Math|(''X'', ''f''&thinsp;)}} と {{Math|(''Y'', ''g'')}} は'''位相共役'''({{Lang-en|topologically conjugate|links=no}})である{{Sfn|久保・矢野|2018|pp=26&ndash;28}}、あるいは {{Mvar|f}} と {{Mvar|g}} が({{Mvar|h}} によって)'''位相共役'''であると言う{{Sfn|青木|1996|p=18}}{{Sfn|ロビンソン|2001a|p=69}}。ほかには'''位相的に共役'''や単に'''共役'''であると言ったりすることもある{{Sfn|白石|2014|p=178}}{{Sfn|ロビンソン|2001a|p=69}}。位相共役の関係を与える同相写像 {{Mvar|h}} を'''位相共役写像'''({{Lang-en|topological conjugacy|links=no}})と言う{{Sfn|Devaney|2003|p=40}}。
:<math>g^n=h^{-1}\circ f^n\circ h </math>


[[File:Topologically conjugate commutative diagram.svg|thumb|160px|位相共役の関係を表す[[可換図式]]]]
が成り立つので、反復函数同士も同様に位相共役となる。ここで <math>\circ</math> は[[写像の合成|函数の合成]]を表す。
ここで、上式 ({{EqNoteN|1-1}}) の {{Math|&compfn;}} は[[写像の合成]]を表し、{{Math|''x'' &isin; ''X''}} とすると {{Math2|''h'' &compfn; ''f''&thinsp;(''x'') {{=}} ''h''&thinsp;(''f''&thinsp;(''x''))}} である{{Sfn|Devaney|2003|p=9}}。{{Mvar|h}} が同相写像であるとは、{{Mvar|h}} が[[全単射]]かつ連続写像で、なおかつ[[逆写像]] {{Math|''h''<sup>&minus;1</sup>}} も連続写像であることを言う{{Sfn|Devaney|2003|p=9}}。同値な定義だが、{{Mvar|f}} と {{Mvar|g}} が {{Mvar|h}} によって位相共役であるとは


{{NumBlk|:|<math>g = h \circ f \circ h^{-1} </math>|{{EquationRef|1-2}}}}
== 定義 ==


を充たす同相写像 {{Mvar|h}} が存在することを言う{{Sfn|ロビンソン|2001a|p=19}}{{Sfn|白石|2014|p=178}}。ここで、{{Math|''h''<sup>&minus;1</sup>}} は {{Mvar|h}} の逆写像を表す{{Sfn|白石|2014|p=5}}。位相共役の関係によって[[可換図式]]が成立する{{Sfn|久保・矢野|2018|p=160}}{{Sfn|松葉|2011|pp=75&ndash;76}}。
{{mvar|X}} と {{mvar|Y}} は[[位相空間]]とし、<math>f\colon X\to X</math> と <math>g\colon Y\to Y</math> は[[連続写像|連続函数]]とする。{{mvar|f}} が {{mvar|g}} と'''位相半共役'''(topologically semiconjugate)であるとは、<math>f\circ h=h\circ g</math> を満たすある連続な[[全射]] <math>h\colon Y\to X</math> が存在することを言う。


写像 {{Mvar|h}} が同相写像であることを要請せず、{{Math2|''f'' : ''X'' &rarr; ''X''}} と {{Math2|''g'' : ''Y'' &rarr; ''Y''}} が単に連続写像かつ[[全射]]である {{Math|''h'' : ''X'' &rarr; ''Y''}} によって式 ({{EqNoteN|1-1}}) を充たすときは、{{Mvar|f}} は {{Mvar|g}} に'''位相半共役'''あるいは'''半共役'''({{Lang-en|semi-conjugate|links=no}})と言う{{Sfn|ロビンソン|2001a|p=69}}{{Sfn|Devaney|2003|p=45}}。半共役の関係を与える連続な全射 {{Mvar|h}} を'''位相半共役写像'''あるいは'''半共役写像'''({{Lang-en|semi-conjugacy|links=no}})と言う{{Sfn|ロビンソン|2001a|p=69}}{{Sfn|久保・矢野|2018|pp=179, 247}}。
この {{mvar|h}} が[[同相写像]]であるなら、{{mvar|f}} と {{mvar|g}} は'''位相共役'''(topologically conjugate)と呼ばれ、その {{mvar|h}} は {{mvar|f}} と {{mvar|g}} の間の位相共役写像(topological conjugation)と呼ばれる。


===微分同相写像の場合===
同様に、{{mvar|X}} 上のある[[フロー (数学)|フロー]] <math>\varphi</math> が、{{mvar|Y}} 上のフロー <math>\psi</math> と位相半共役であるとは、各 {{math|''y'' &isin;''Y''}}, {{math|''t'' &isin;'''R'''}} に対して <math>\varphi(h(y),t) = h\psi(y,t)</math> を満たす連続な全射 <math>h\colon Y\to X</math> が存在することを言う。{{mvar|h}} が同相写像であるなら、<math>\psi</math> と <math>\varphi</math> は位相共役と呼ばれる。
{{Mvar|f}} と {{Mvar|g}} が {{Mvar|h}} によって位相共役であることは {{Mvar|h}} が一般的に[[可微分]]であることまでは要求しないが、場合によっては {{Mvar|h}} が可微分で、{{Math|''h''<sup>&minus;1</sup>}} も可微分であることも考えられる{{Sfn|ロビンソン|2001a|p=68}}。このような同相写像を[[微分同相写像]]と言い{{Sfn|久保・矢野|2018|p=28}}、特に、同相写像が {{Mvar|r}} 回[[連続微分可能]]で、その逆写像も {{Mvar|r}} 回連続微分可能なときは {{Math|''C<sup>&thinsp;r</sup>''}} 微分同相写像と言う{{Sfn|ロビンソン|2001a|p=22&ndash;23}}。


{{Math|&Ropf;}} を[[実数]]全体の集合とし、写像 {{Mvar|f}} と {{Mvar|g}} を {{Mvar|n}} 次元[[ユークリッド空間]] {{Math|&Ropf;<sup>''n''</sup>}} 上の {{Math|''C<sup>&thinsp;r</sup>''}} 微分同相写像 {{Math2|''f'' : &Ropf;<sup>''n''</sup> &rarr; &Ropf;<sup>''n''</sup>}} と {{Math2|''g'' : &Ropf;<sup>''n''</sup> &rarr; &Ropf;<sup>''n''</sup>}} とする{{Sfn|ウィギンス|2013|p=91}}。このとき、{{Math|''C<sup>&thinsp;k</sup>''}} 微分同相写像 {{Math|''h'' : &Ropf;<sup>''n''</sup> &rarr; &Ropf;<sup>''n''</sup>}} が存在し、
== 例 ==
式 ({{EqNoteN|1-1}}) を充たすとき、{{Mvar|f}} と {{Mvar|g}} は({{Mvar|h}} によって)'''{{Math|''C<sup>&thinsp;k</sup>''}} 共役'''または'''可微分共役'''であると言う{{Sfn|ウィギンス|2013|p=91}}{{Sfn|ロビンソン|2001a|p=69}}。
* [[ロジスティック写像]]と[[テント写像]]は位相共役である<ref name=Alli97>{{cite book|author=Alligood, K. T., Sauer, T., and Yorke, J.A. |title=Chaos: An Introduction to Dynamical Systems|year=1997|publisher=Springer|isbn=0-387-94677-2|pages=114–124}}</ref>。
* 単位高さのロジスティック写像と{{仮リンク|ニ進変換|label=ベルヌーイ写像|en|dyadic transformation}}は位相共役である {{Citation needed|date=February 2015}}。


===線型写像の場合===
== 議論 ==
写像 {{Mvar|f}} と {{Mvar|g}} が位相共役で、その位相共役写像 {{Mvar|h}} が[[線型写像]]であるとき {{Mvar|f}} と {{Mvar|g}} は'''線型共役'''({{Lang-en|linearly conjugate|links=no}})であると言う{{Sfn|Devaney|2003|p=145}}{{Sfn|グーリック|1995|p=99}}{{Sfn|ロビンソン|2001a|pp=103, 191}}。{{Math|&Ropf;<sup>''n''</sup>}} 上の場合、写像 {{Math|''L'' : &Ropf;<sup>''n''</sup> &rarr; &Ropf;<sup>''n''</sup>}} が線型写像であるとは
* {{Math|''L''('''''x''''' + '''''y''''') {{=}} ''L''('''''x''''') + ''L''('''''y''''')}} ただし {{Math|'''''x''''', '''''y''''' &isin; &Ropf;<sup>''n''</sup>}}
* {{Math|''L''(''c'''x''''') {{=}} ''cL''('''''x''''') }} ただし {{Math|''c'' &isin; &Ropf;, '''''x''''' &isin; &Ropf;<sup>''n''</sup>}}
を充たすことである{{Sfn|青木|1996|p=133}}。


{{Math|&Ropf;<sup>''n''</sup>}} 上の線型写像 {{Mvar|L}} は、実数を成分とする {{Math|''n'' &times; ''n''}} [[行列]] {{Mvar|A}} を用いて、
位相共役写像は、位相半共役写像とは異なり、ある位相空間からそれ自身へのすべての連続な全射の空間における[[同値関係]]を定義する。すなわち、{{mvar|f}} と {{mvar|g}} が位相共役であるなら、それらは同値関係を持つとされる。この同値関係は[[力学系]]の理論において非常に有用である。なぜならば、位相的な観点から同じダイナミクスを示すすべての関数が各クラスに含まれるように出来るからである。例えば、{{mvar|g}} の[[周期点|軌道]]は共役写像を通じて {{mvar|f}} の位相同型な軌道に写される。この事実は <math>g = h^{-1}\circ f\circ h</math> と書く事で明白になる。このとき <math>g^n = h^{-1}\circ f^n \circ h</math> となる。インフォーマルな言い方をすれば、位相共役写像はトポロジカルな意味での「座標変換」を意味する。


{{NumBlk|:|<math>L(\boldsymbol{x}) = A\boldsymbol{x} </math>|{{EquationRef|1-3}}}}
しかしながら、同様の定義をフローに対して行う上ではいささか制限が必要となる。実際、単純に <math>\varphi</math> の軌道が <math>\psi</math> の軌道に位相同型的に写されるだけでなく、各 {{mvar|t}} に対して写像 <math>\varphi(\cdot,t)</math> と <math>\psi(\cdot,t)</math> が位相共役であることが要求される。このことは、{{mvar|X}} 内のすべてのフローの集合を、再び位相的な観点から同じダイナミクスを示すフローのクラスに分ける'''位相同値性'''(topological equivalence)の定義が生まれる動機となった。


と表わされる{{Sfn|Devaney|2003|pp=143&ndash;144}}。ここで、{{Mvar|'''x'''}} は {{Math|&Ropf;<sup>''n''</sup>}} の要素で、{{Math|''n'' &times; 1}} [[列ベクトル]]である{{Sfn|Devaney|2003|p=142}}。一般的に、異なる[[正方行列]] {{Math|''A''<sub>1</sub>}} と {{Math|''A''<sub>2</sub>}} があって、
== 位相同値性 ==


{{NumBlk|:|<math>A_{1} = G^{-1} A_2 G </math>|{{EquationRef|1-4}}}}
二つのフロー <math>\psi</math> と <math>\varphi</math> が'''位相同値'''(topologically equivalent)であるとは、<math>\psi</math> の軌道を <math>\varphi</math> の軌道に位相同型的に写し、またその軌道の向きを保存するような同相写像 <math>h\colon Y\to X</math> が存在することを言う。言い換えると、<math>\mathcal{O}</math> をある軌道としたとき、各 <math>y\in Y</math> に対し、


を充たすような[[正則行列]] {{Mvar|G}} が存在するとき、{{Math|''A''<sub>1</sub>}} と {{Math|''A''<sub>2</sub>}} は[[行列の相似|相似]]であると言う{{Sfn|Devaney|2003|p=145}}{{Sfn|松葉|2011|p=58}}。
:<math>h(\mathcal{O}(y,\psi)) = \{h(\psi(y,t)): t\in\mathbb{R}\} = \{\varphi(h(y),t):t\in\mathbb{R}\}= \mathcal{O}(h(y),\varphi)</math>


{{Math|&Ropf;<sup>''n''</sup>}} 上の線型写像 {{Math2|''L''<sub>1</sub>('''''x''''') {{=}} ''A''<sub>1</sub>'''''x'''''}} と {{Math2|''L''<sub>2</sub>('''''x''''') {{=}} ''A''<sub>2</sub>'''''x'''''}} が線型共役で、その位相共役写像を {{Math2|''P''('''''x''''') {{=}} ''G'''x'''''}} で表すとする。このとき、式 ({{EqNoteN|1-2}}) より
が成り立つことを言う。さらに、時間のフローを確保する必要がある:すなわち、各 <math>y\in Y</math> に対し、ある <math>\delta>0</math> が存在して、<math>0<\vert s\vert< t < \delta</math> かつ {{mvar|s}} が <math>\varphi(h(y),s) = h(\psi(y,t))</math> を満たすものであるなら、<math>s>0</math> となる。


{{NumBlk|:|<math>A_{1} \boldsymbol{x}= ( G^{-1} A_2 G ) \boldsymbol{x} </math>|{{EquationRef|1-5}}}}
総体的に、位相同値性は位相共役性よりも弱い同値条件である。なぜならば、位相同値性では時間期間が軌道とその向きに沿って写されることが要求されないからである。位相同値であるが位相共役でないシステムの例として、閉軌道を持つ微分方程式の二次元系の非双曲的なクラスが挙げられることがある。その軌道は空間的な意味でお互い重なるように変換されることもあるが、そのようなシステムの周期は相似的に一致することはなく、したがって位相共役性の条件は満たされないが、位相同値性の条件は満たされる。


となるので、{{Math|&Ropf;<sup>''n''</sup>}} 上の線型写像 {{Math|''L''<sub>1</sub>}} と {{Math|''L''<sub>2</sub>}} が線型共役であるとは、それらを定義する行列 {{Math|''A''<sub>1</sub>}} と {{Math|''A''<sub>2</sub>}} が相似で、式 ({{EqNoteN|1-5}}) を充たすような行列 {{Mvar|G}} が存在することとも言い換えられる{{Sfn|Devaney|2003|p=145}}{{Sfn|松葉|2011|p=58}}。
== 滑らかさと軌道同値性 ==


===連続力学系の場合===
フロー <math>\psi</math> および <math>\varphi</math> が微分方程式から生じる場合は、さらなる同値性の基準が研究されている。
以上の説明は、[[写像の反復|反復合成]]から定義される離散力学系の場合であった。一方、力学系の時間を実数として、[[位相群]] {{Math|&Ropf;}} の位相空間 {{Mvar|X}} への[[群作用|作用]]として定まるのが連続力学系である{{Sfn|白石|2014|pp=166&ndash;167}}。連続力学系は[[フロー (数学)|流れ]]とも呼ばれ、連続写像 {{Math|''&phi;'' : ''&Ropf;'' &times; ''X'' &rarr; ''X''}} あるいは {{Math2|''&phi;<sup>t</sup>'' : ''X'' &rarr; ''X''}}({{Math|''t'' &isin; &Ropf;}})によって与えられる{{Sfn|久保・矢野|2018|p=1}}{{Sfn|浅岡|2023|p=11}}。流れを {{Math2|''&phi;<sup>t</sup>''(''x'')}}({{Math|''x'' &isin; ''X''}})とも表し、全ての {{Mvar|t}} と {{Mvar|x}} で定義されていると仮定する{{Sfn|浅岡|2023|p=11}}。


{{Mvar|X}} と {{Mvar|Y}} を位相空間とし、{{Math|''&phi;'' : ''&Ropf;'' &times; ''X'' &rarr; ''X''}} と {{Math|''&psi;'' : ''&Ropf;'' &times; ''Y'' &rarr; ''Y''}} を流れとする。 このとき、同相写像 {{Math|''X'' &ni; ''x'' &#x21A6; ''h''(''x'') &isin; ''Y''}} が存在して
微分方程式 <math> x' = f(x) </math> および <math> y' = g(y) </math> で定義される二つの力学系が「滑らかに同値」(smoothly equivalent)であるとは、ある[[微分同相写像]] <math> h\colon X \to Y </math> が存在して、


:<math> f(x) = M^{-1}(x) g(h(x)) \quad\text{where}\quad M(x) = \frac{\mathrm{d}h(x)}{\mathrm{d}x} </math>
{{NumBlk|:|<math>h \circ \varphi (t,x) = \psi (t, h(x)) </math>|{{EquationRef|1-6}}}}


を充たすとき、{{Mvar|&phi;}} と {{Mvar|&psi;}} は'''位相共役'''であると言う{{Sfn|浅岡|2023|p=12}}。
が成立することを言う。この場合、力学系は互いに座標変換 <math> y = h(x) </math> によって変換される。


流れは、典型的には[[微分方程式]](あるいは微分方程式によって定義される[[ベクトル場]])によって生成される{{Sfn|松葉|2011|pp=1&ndash;3}}。{{Mvar|&phi;}} を {{Mvar|C&thinsp;<sup>r</sup>}} 級ベクトル場 {{Math|{{dot|''x''}} {{=}} ''f''&thinsp;(''x'')}} によって生成される流れとし、{{Mvar|&psi;}} を {{Mvar|C&thinsp;<sup>r</sup>}} 級ベクトル場 {{Math|{{dot|''y''}} {{=}} ''g''&thinsp;(''y'')}} によって生成される流れとするとき、{{Mvar|C&thinsp;<sup>k</sup>}} 微分同相写像 {{Mvar|h}} が式 ({{EqNoteN|1-6}}) を充たすとき、{{Mvar|&phi;}} と {{Mvar|&psi;}} は'''{{Mvar|C&thinsp;<sup>k</sup>}} 共役'''であると言う{{Sfn|ウィギンス|2013|pp=232&ndash;234}}。
同一の状態空間において <math> x' = f(x) </math> および <math> x' = g(x) </math> で定義される二つの力学系が「軌道同値」(orbitally equivalent)であるとは、ある正の函数 <math> \mu \colon X \to \mathbb{R} </math> が存在して <math> g(x) = \mu(x) f(x) </math> が成立することを言う。軌道同値な系は、時間のパラメータ設定においてのみ差異がある。


流れの位相共役は、時間 {{Mvar|t}} の変数変換も許さずに片方の[[軌道 (力学系)|軌道]]をもう片方の軌道に重ね合わせることができるというであり、制約が強い{{Sfn|ロビンソン|2001a|p=188}}{{Sfn|浅岡|2023|p=12}}。そのため流れの場合には、制約がもう少し弱い位相同値という位相的分類がよく用いられる{{Sfn|浅岡|2023|p=12}}。流れ {{Math|''&phi;'' : ''&Ropf;'' &times; ''X'' &rarr; ''X''}} と {{Math|''&psi;'' : ''&Ropf;'' &times; ''Y'' &rarr; ''Y''}} について、同相写像 {{Math|''h'' : ''X'' &rarr; ''Y''}} があって、{{Mvar|&phi;}} の各軌道が {{Mvar|&psi;}} の各軌道の上へ、向きが保たれながら {{Mvar|h}} によって写されるとき、{{Mvar|&phi;}} と {{Mvar|&psi;}} は'''位相同値'''であると言う{{Sfn|白石|2014|p=175}}。また、このような同相写像 {{Mvar|h}} を'''位相同値写像'''と言う{{Sfn|白石|2014|p=175}}{{Sfn|浅岡|2023|p=12}}。{{Mvar|&phi;}} の軌道を {{Math2|''O<sub>&phi;</sub>'' &sub; ''X''}} とし、{{Mvar|&psi;}} の軌道を {{Math2|''O<sub>&psi;</sub>'' &sub; ''Y''}} とする。正確には、すべての {{Math|''x'' &isin; ''X''}} に対して {{Mvar|h}} が
滑らかに同値あるいは軌道同値な系は、位相同値でもある。しかしこの逆は成り立たない。例えば、<math> x' = Ax </math> という形状の二次元の線型系を考える。行列 <math> A </math> が二つの正の実固有値を持つなら、系は不安定なノードを持つ。二つの実部が正の複素固有値を持つなら、系は不安定なフォーカス(あるいはスパイラル)を持つ。ノードとフォーカスは位相同値であるが、滑らかに同値あるいは軌道同値ではない<ref>{{cite book | author = Kuznetsov, Yuri A. | title = Elements of Bifurcation Theory | year = 1998 | publisher = Springer | edition = Second | isbn = 0-387-98382-1}}</ref>。


{{NumBlk|:|<math>h (O_{\varphi}(x)) = O_{\psi}(h(x)) </math>|{{EquationRef|1-7}}}}
== 力学系的位相共役性の一般化 ==


を充たし、さらに {{Mvar|&phi;}} と {{Mvar|&psi;}} が定める軌道の向きを保つとき、{{Mvar|&phi;}} と {{Mvar|&psi;}} は位相同値であると言う{{Sfn|浅岡|2023|pp=12&ndash;13}}。{{Mvar|h}} が {{Mvar|C&thinsp;<sup>k</sup>}} 微分同相写像で式 ({{EqNoteN|1-7}}) を充たすときは、{{Mvar|&phi;}} と {{Mvar|&psi;}} は'''{{Mvar|C&thinsp;<sup>k</sup>}} 同値'''であると言う{{Sfn|白石|2014|pp=175&ndash;176}}{{Sfn|ウィギンス|2013|p=232}}。
力学系的位相共役性の概念に関して、次の二つの拡張が発見されている:
# 準同型力学系として定義される類似系
# [[随伴関手]]と圏論的力学系の中立同値性を介して定義される随伴力学系<ref>{{Cite web|和書|url=http://planetphysics.org/encyclopedia/Complexity.html |title=アーカイブされたコピー |accessdate=2009年5月27日 |archiveurl=https://web.archive.org/web/20090819075943/http://planetphysics.org/encyclopedia/Complexity.html |archivedate=2009年8月19日 |deadlinkdate=2017年9月 }} Complexity and Categorical Dynamics</ref><ref>{{Cite web|和書|url=http://planetphysics.org/encyclopedia/AnalogousSystems3.html |title=アーカイブされたコピー |accessdate=2009年5月27日 |archiveurl=https://web.archive.org/web/20150225224701/http://planetphysics.org/encyclopedia/AnalogousSystems3.html |archivedate=2015年2月25日 |deadlinkdate=2017年9月 }} Analogous systems, Topological Conjugacy and Adjoint Systems</ref>


時間の[[変数変換]]を明示的に使った位相同値の定義は次のようになる。時間の変数変換を表す連続関数を {{Math|''&alpha;'' : &Ropf; &times; ''X'' &rarr; &Ropf;}} とする。{{Mvar|&phi;}} と {{Mvar|&psi;}} が位相同値であるとは、同相写像 {{Mvar|h}} と連続関数 {{Math|''&alpha;''(''t'', ''x'')}} が存在して、すべての {{Math|''x'' &isin; ''X''}} と {{Math|''t'' &isin; &Ropf;}} について
== 関連項目 ==
* [[可換図式]]
* [[シュレーダーの方程式]]


{{NumBlk|:|<math>h \circ \varphi (\alpha(t,x),x) = \psi (t, h(x)) </math>|{{EquationRef|1-8}}}}
== 参考文献 ==
<references/>


を充たすときを言う{{Sfn|ロビンソン|2001a|p=188}}。ただし、軌道の向きを保つという条件のために、{{Math|''&alpha;''(''t'', ''x'')}} は {{Mvar|x}} を固定したときに {{Mvar|t}} に関して[[単調増加]]である{{Sfn|ウィギンス|2013|p=234}}{{Sfn|ロビンソン|2001a|p=188}}。
{{PlanetMath attribution|id=34353|title=topological conjugation}}


==基本的な性質==
{{DEFAULTSORT:いそうきようやくせい}}
位相共役であることは[[同値関係]]に該当する。すなわち、写像 {{Mvar|f}} と {{Mvar|g}} に対して{{Math|''h'' &compfn; ''f'' {{=}} ''g'' &compfn; ''h''}} を充たすようなある同相写像 {{Mvar|h}} が存在することを一つの[[二項関係]]として {{Math|''f'' &sim; ''g''}} と表せば、関係 {{Math|&sim;}} は
[[Category:位相力学]]

* [[反射関係|反射律]]:{{math2|''f'' &sim; ''f''}}
* [[対称関係|対称律]]:{{math2|''f'' &sim; ''g''}} ならば {{math2|''g'' &sim; ''f''}}
* [[推移関係|推移律]]:{{math2|''f'' &sim; ''g''}} かつ {{math2|''g'' &sim; ''k''}} ならば {{math2|''f'' &sim; ''k''}}

という同値律を充たす{{Sfn|青木|1996|p=18}}。したがって、位相空間 {{Mvar|X}} 上の連続写像全体の集合を {{Math|Map (''X'', ''X'')}} と表すと、同値関係 {{Math|&sim;}} による {{Math|Map (''X'', ''X'')}} の[[同値類]]は位相的には同じである力学系の集まりを意味する{{Sfn|青木|1996|pp=18&ndash;19}}。

力学系理論の主な興味関心は、[[軌道 (力学系)|軌道]]の性質を理解することにある{{Sfn|久保・矢野|2018|p=166}}{{Sfn|Devaney|2003|p=16}}。もし2つの[[力学系]]が位相共役ならば、それぞれの力学系は同じ性質の軌道を同じ数持つ{{Sfn|國府|2000|p=19}}。具体的には {{Math2|''g'' {{=}} ''h'' &compfn; ''f'' &compfn; ''h''&thinsp;<sup>&minus;1</sup>}} より、{{Math2|''g''&thinsp;<sup>2</sup> {{=}} ''h'' &compfn; ''f'' &compfn; ''h''&thinsp;<sup>&minus;1</sup> &compfn; ''h'' &compfn; ''f'' &compfn; ''h''&thinsp;<sup>&minus;1</sup> {{=}} ''h'' &compfn; ''f''&thinsp;<sup>2</sup> &compfn; ''h''&thinsp;<sup>&minus;1</sup>}} であるから、任意の {{Math|''n'' &isin; &Zopf;}} について

{{NumBlk|:|<math> g^n = h \circ f^n \circ h^{-1} </math>|{{EquationRef|2-1}}}}

および

{{NumBlk|:|<math> h \circ f^n = g^n \circ h </math>|{{EquationRef|2-2}}}}

が成り立つ{{Sfn|久保・矢野|2018|p=160}}{{Sfn|ウィギンス|2013|pp=91&ndash;92}}{{Sfn|白石|2014|p=178}}。したがって、{{Mvar|f}} の軌道を {{Math2|''O<sub>f</sub>'' &sub; ''X''}} とし、{{Mvar|g}} の軌道を {{Math2|''O<sub>g</sub>'' &sub; ''Y''}} とすれば、

{{NumBlk|:|<math> h (O_f (x)) = O_g (h(x)) </math>|{{EquationRef|2-3}}}}

が成り立ち、{{Mvar|h}} は {{Mvar|f}} の軌道を {{Mvar|g}} の軌道の上へ写像する{{Sfn|白石|2014|p=178}}。したがって、位相共役写像 {{Mvar|h}} により、{{Mvar|f}} の[[不動点]]、[[周期点]]、[[極限集合|{{Mvar|&omega;}} 極限点]]、{{Mvar|&alpha;}} 極限点などは、{{Mvar|g}} の同種の相空間上の点へ写される{{Sfn|白石|2014|p=178}}。{{Mvar|h}} によって、{{Mvar|f}} の[[不動点]]の全体集合、[[周期点]]の全体集合、[[極限集合]]、[[非遊走集合]]、[[鎖回帰集合]]などが、{{Mvar|g}} の同種の集合へと写される{{Sfn|浅岡|2023|p=10}}{{Sfn|Devaney|2003|p=40}}。{{Mvar|f}} が[[稠密集合|稠密]]な周期点の集合を持つならば、{{Mvar|g}} も稠密な周期点の集合を持つ{{Sfn|グーリック|1995|p=98}}。{{Mvar|f}} が[[位相推移的]]ならば {{Mvar|g}} も位相推移的で、{{Mvar|f}} が[[拡大的]](分離的)ならば {{Mvar|g}} も拡大的となる{{Sfn|Devaney|2003|p=40}}{{Sfn|青木・白岩|2013|p=63}}。[[周期点|最終的に周期的な軌道]]や漸近的な軌道が {{Mvar|f}} に存在すれば、{{Mvar|h}} はそれらを {{Mvar|g}} の同種の軌道に写す{{Sfn|Devaney|2003|p=40}}。

離散力学系の周期軌道(周期点)は、位相共役写像によって同じ周期の軌道が対応する。{{Mvar|f}} と {{Mvar|g}} が {{Mvar|h}} によって位相共役のとき、{{Mvar|p}} が {{Mvar|f}} の 周期 {{Mvar|m}} の周期点だとしたら、{{Math|''h''(''p'')}} は {{Mvar|g}} の周期 {{Mvar|m}} の周期点である{{Sfn|松葉|2011|p=80}}。連続力学系の場合も、位相共役写像によって同じ周期の軌道が対応する。流れ {{Mvar|&phi;}} と {{Mvar|&psi;}} が {{Mvar|h}} によって位相共役のとき、{{Mvar|f}} の 周期 {{Mvar|T}} の周期軌道は {{Mvar|h}} によって{{Mvar|g}} の 周期 {{Mvar|T}} の周期軌道に写される{{Sfn|ウィギンス|2013|p=234}}。しかし、{{Mvar|&phi;}} と {{Mvar|&psi;}} が位相同値のときは、{{Mvar|f}} の周期軌道は {{Mvar|h}} によって{{Mvar|g}} の周期軌道に写るが、周期は一致するとは限らない{{Sfn|ウィギンス|2013|p=235}}。逆に言えば、このような周期が一致しなくてよいという性質によって、位相共役よりも位相同値の制約は弱く、流れの位相的分類では位相同値の方が使いやすいことが多い{{Sfn|ウィギンス|2013|pp=233&ndash;234}}{{Sfn|浅岡|2023|p=12}}。

可微分共役の場合は、不動点および周期点での[[ヤコビ行列]]の[[固有値]]も一致する{{Sfn|浅岡|2023|pp=10&ndash;11}}{{Sfn|國府|2000|p=19}}。写像 {{Math|''f''(''x'')}} のヤコビ行列を {{Math|''Df''(''x'')}} のように表す。 可微分写像 {{Math|''X'' &ni; ''x'' &#x21A6; ''f''(''x'') &isin; ''X''}} と {{Math|''Y'' &ni; ''y'' &#x21A6; ''g''(''y'') &isin; ''Y''}} が、微分同相写像 {{Math|''X'' &ni; ''x'' &#x21A6; ''h''(''x'') &isin; ''Y''}} によって位相共役であるとき、

{{NumBlk|:|<math> Dh(x)Df^n(x) = Dg^n(y) Dh(x) </math>|{{EquationRef|2-4}}}}

が成立する{{Sfn|浅岡|2023|pp=10&ndash;11}}{{Sfn|國府|2000|p=19}}。一般に、正方行列が式 ({{EqNoteN|1-4}}) を充たすとき、行列 {{Math|''A''<sub>1</sub>}} と {{Math|''A''<sub>2</sub>}} の固有値は同じとなる{{Sfn|松葉|2011|p=58}}。したがって、式 ({{EqNoteN|2-4}}) より、{{Math|''Df&thinsp;<sup>n</sup>''(''x'')}} と {{Math|''Dg&thinsp;<sup>n</sup>''(''y'')}} の固有値は一致する{{Sfn|國府|2000|p=19}}。よって、可微分共役には不動点および周期点での微分の一致という要求が充たされる必要がある。これは、軌道の位相的特性を調べるには強過ぎる条件となる{{Sfn|浅岡|2023|p=10}}。そのため、力学系が定性的に同じことを表す位相共役の関係は、単なる同相写像の存在を条件としている{{Sfn|浅岡|2023|p=10}}{{Sfn|國府|2000|p=19}}{{Sfn|Devaney|2003|pp=52&ndash;53}}。

[[位相的エントロピー]]についても位相共役であれば不変となる{{Sfn|青木・白岩|2013|p=63}}。{{Mvar|f}} と {{Mvar|g}} を[[コンパクト集合|コンパクト]][[ハウスドルフ空間]] {{Math|''X'', ''Y''}}上の連続写像とし、同相写像 {{Math|''k'' : ''X'' &rarr; ''Y''}} によって位相共役であるとする。それぞれの位相的エントロピーを {{Math|''h''(''f'')}} と {{Math|''h''(''g'')}} と表せば、{{Math|''h''(''f'') {{=}} ''h''(''g'')}} である{{Sfn|青木・白岩|2013|p=63}}。さらに、いくつかの制約のもと位相半共役でも位相的エントロピーは不変となる{{Sfn|ロビンソン|2001b|p=186}}。{{Mvar|f}} と {{Mvar|g}} を[[コンパクト集合|コンパクト]][[距離空間]] {{Math2|(''X'', ''d''<sub>1</sub>), (''Y'', ''d''<sub>2</sub>)}} 上の連続写像とし、全射の連続写像 {{Math|''k'' : ''X'' &rarr; ''Y''}} によって位相半共役であるとする。{{Mvar|k}} が[[一様連続]]で有限対1であれば、{{Math|''h''(''f'') {{=}} ''h''(''g'')}} が充たされる{{Sfn|ロビンソン|2001b|p=186}}。

==例==
2つの写像が与えられたとき、一般的に言って、それらの位相共役写像が具体的に得られることは少ない{{Sfn|松葉|2011|p=83}}。例えば、[[実数直線]]上の[[2次関数]]
{{NumBlk|:|<math> f(x) = 4x(1-x) </math>|{{EquationRef|3-1}}}}
{{NumBlk|:|<math> g(x) = x^2-2 </math>|{{EquationRef|3-2}}}}
{{NumBlk|:|<math> h(x) = -4x+2 </math>|{{EquationRef|3-3}}}}
によって位相共役である{{Sfn|松葉|2011|p=81}}。

全ての1変数2次関数同士の場合は、片方を適当に平行移動させれば、それらは線型共役になる{{Sfn|グーリック|1995|p=100}}。{{Math|''a'', ''b'', ''c'', ''r'', ''s'', ''t''}} を[[定数係数]]とすれば、
{{NumBlk|:|<math> f(x) = ax^2 + bx + c </math>|{{EquationRef|3-4}}}}
{{NumBlk|:|<math> g(x) = rx^2 + sx + t </math>|{{EquationRef|3-5}}}}
は、
{{NumBlk|:|<math> c = \frac{b^2 - 2b - s^2 + 2s + 4rt}{4a} </math>|{{EquationRef|3-6}}}}
であれば、
{{NumBlk|:|<math> h(x) = \frac{a}{r} x + \frac{b - s}{2r} </math>|{{EquationRef|3-7}}}}
によって位相共役である{{Sfn|グーリック|1995|p=99}}。

写像 ({{EqNoteN|3-1}}) は[[ロジスティック写像]]とも呼ばれ、[[テント写像]]と呼ばれる写像とも位相共役な関係にあることで知られる{{Sfn|松葉|2011|p=481}}。すなわち、[[単位区間]] {{Math|[0, 1] {{=}} ''I''}} 上のテント写像を {{Math2|''T'' : ''I'' &rarr; ''I''}} とすると、
{{NumBlk|:|<math>
T(x)=
\begin{cases}
2 x & (0 \le x < \frac{1}{2}), \\
2 (1-x) & (\frac{1}{2} \le x \le 1)
\end{cases}
</math>|{{EquationRef|3-8}}}}
{{NumBlk|:|<math> F(x) = 4x(1 - x) </math>|{{EquationRef|3-9}}}}
は、
{{NumBlk|:|<math> h(x) = \sin^2 (\pi x / 2) </math>|{{EquationRef|3-10}}}}
によって位相共役である{{Sfn|グーリック|1995|p=97}}{{Sfn|ロビンソン|2001a|p=73}}。写像 ({{EqNoteN|3-10}}) は {{Mvar|I}} から {{Mvar|I}} への同相写像で {{Mvar|I}} 上の至る所で微分可能だが、その逆写像 {{Math|''h''<sup>&minus;1</sup>(''x'')}} は {{Math|''x'' {{=}} 0}} と {{Math|''x'' {{=}} 1}} で微分可能ではない{{Sfn|グーリック|1995|p=97}}{{Sfn|ロビンソン|2001a|p=73}}。つまり、この例は、位相共役だが可微分共役ではない例となっている。このように多くの場合では単に同相な位相共役写像が存在する。それでも2つの力学系の軌道を対応付けるのに充分に役立つので、力学系理論では通常の位相共役の定義に微分同相写像までは要求しない{{Sfn|ロビンソン|2001a|p=73}}。

力学系では、与えられた系を[[記号力学系]]で表現して調べるという手段が有効である{{Sfn|久保・矢野|2018|p=77}}。テント写像 ({{EqNoteN|3-8}}) に対して、その {{Mvar|i}} 回反復合成が{{Math2|''T&thinsp;<sup>i</sup>''&thinsp;(''x'') &isin; [0, 1/2]}} ならば {{Math|''s<sup>i</sup>'' {{=}} 0}} とし、 {{Math2|''T&thinsp;<sup>i</sup>''&thinsp;(''x'') &isin; (1/2, 1]}} ならば {{Math|''s<sup>i</sup>'' {{=}} 1}} とし、 初期値 {{Mvar|x}} の軌道を {{Math|0}} と {{Math|1}} の無限列に置き換える{{Sfn|松葉|2011|p=436}}。この置き換えを

{{NumBlk|:|<math> \varphi (x) = s_{0}s_{1}s_{2}\ldots </math>|{{EquationRef|3-11}}}}

という写像で表す{{Sfn|松葉|2011|p=436}}。あらゆる {{Math|0}} と {{Math|1}} の無限列の全体の集合を {{Math|&Sigma;<sub>2</sub>}} で表せば、{{Math|''&phi;''(''x'')}} は {{Mvar|I}} から {{Math|&Sigma;<sub>2</sub>}} への写像となっている{{Sfn|松葉|2011|p=437}}。列を一つずつ左にずらす {{Math|&Sigma;<sub>2</sub>}} からそれ自身のシフト写像

{{NumBlk|:|<math> \sigma(s_{0}s_{1}s_{2}\ldots) = s_{1}s_{2}s_{3}\ldots </math>|{{EquationRef|3-12}}}}

を用意すると、テント写像 {{Mvar|T}} と {{Mvar|&sigma;}} は {{Mvar|&phi;}} によって位相共役である{{Sfn|松葉|2011|pp=436&ndash;437}}。

位相半共役の関係の場合は次のような例がある。{{Math|''S''<sup>1</sup>}} を {{Math2|''S''<sup>1</sup> {{=}} {{Mset|cos ''&theta;'' + ''i'' sin ''&theta;'' : ''&theta;'' &isin; &Ropf;}}}} で定義される[[複素平面]]上の[[単位円]]とし、{{Math|''S''<sup>1</sup>}} 上の点を {{Mvar|&theta;}} で代表させる{{Sfn|Devaney|2003|p=16}}。このとき、{{Math|''S''<sup>1</sup>}} 上の写像 {{Math|''f'' : ''S''<sup>1</sup> &rarr; ''S''<sup>1</sup>}}
{{NumBlk|:|<math> f(\theta) = 2 \theta </math>|{{EquationRef|3-13}}}}
と、単位区間 {{Mvar|I}} 上の2次写像 {{Math2|''g'' : ''I'' &rarr; ''I''}}
{{NumBlk|:|<math> g(x) = 2x^2 - 1 </math>|{{EquationRef|3-14}}}}
は、[[余弦関数]] {{Math|''h'' : ''S''<sup>1</sup> &rarr; ''I''}}
{{NumBlk|:|<math> h(x) = \cos \theta </math>|{{EquationRef|3-15}}}}
によって位相半共役である{{Sfn|Devaney|2003|pp=44&ndash;45}}。ほとんどの {{Mvar|&theta;}} について {{Mvar|h}} は2対1写像であり、{{Mvar|h}} は同相写像ではない{{Sfn|Devaney|2003|p=45}}。

==応用==
===構造安定性===
位相共役の概念を使って、[[構造安定]]の概念が定式化できる{{Sfn|ロビンソン|2001a|p=13}}{{Sfn|國府|2000|p=19}}。構造安定とは、ある力学系に小さい変化あるいは摂動が加わったとしても本質的に同じ挙動が保たれるという力学系自体の安定性の表すもので、数学以外での応用の点でも重要となる{{Sfn|Devaney|2003|p=47}}。例えば、物理学、生物学、工学で使われる微分方程式では係数が近似的にしか定まらないことが多い{{Sfn|白石|2014|p=205}}。よって、係数がわずかに異なった程度では解の挙動が本質的に変わらない(=構造安定な)微分方程式が重要となる{{Sfn|白石|2014|p=205}}。

大雑把に言うと、ある力学系 {{Mvar|f}} が構造安定であるとは、{{Mvar|f}} に充分近い力学系 {{Mvar|g}} は必ず {{Mvar|f}} と位相共役であることをいう{{Sfn|ロビンソン|2001a|p=13}}{{Sfn|國府|2000|p=20}}。正確に定義するためには、力学系の集合に {{Mvar|C<sup>&thinsp;r</sup>}} 位相という[[位相空間|位相]]を入れる必要がある{{Sfn|ウィギンス|2013|p=99}}。ここでは離散力学系の場合について述べる。多様体 {{Mvar|M}} 上の {{Mvar|C<sup>&thinsp;r</sup>}} 級可微分同相写像全体が成す集合を {{Math|Diff<sup>&thinsp;''r''</sup> (''M'')}} と表すとする。 {{Math2|''f'' &isin; Diff<sup>&thinsp;''r''</sup> (''M'')}} の{{Mvar|C<sup>&thinsp;r</sup>}} 位相に関する[[近傍 (位相空間論)|近傍]] {{Mvar|&#x1D4A9;}} を適当にとれば、{{Mvar|&#x1D4A9;}} のすべての写像 {{Math|''g'' &isin; ''&#x1D4A9;''}} が {{Mvar|f}} と位相共役になるとき、{{Mvar|f}} は {{Mvar|C<sup>&thinsp;r</sup>}} 構造安定であると言う{{Sfn|久保・矢野|2018|pp=195&ndash;196}}。

===固定点周りの挙動===
力学系理論では、与えられた系の軌道が定常状態に落ち着くのかという意味での安定性も関心の対象である{{Sfn|浅岡|2023|p=16}}。[[不動点]]および[[平衡点]](以下まとめて固定点と呼ぶ)の近傍の軌道の様相を調べるために、固定点近傍で[[線型近似]]することが考えられる{{Sfn|松葉|2011|p=49}}。このとき、固定点が[[双曲型平衡点|双曲型]]であれば、固定点近傍で線型化した系は元の非線型系とある近傍内で位相共役な関係にあることが知られている{{Sfn|松葉|2011|p=88}}。

すなわち、固定点周りの線型近似には、双曲型という条件によって数学的な正当性が与えられる{{Sfn|松葉|2011|p=88}}。これを明確にしているのが[[ハートマン・グロブマンの定理]]である{{Sfn|ウィギンス|2013|p=236}}。ここでは {{Math|&Ropf;<sup>''n''</sup>}} 上の離散力学系の場合についてを述べる。{{Mvar|C<sup>&thinsp;r</sup>}} 級可微分同相写像 {{Math|''f'' : &Ropf;<sup>''n''</sup> &rarr; &Ropf;<sup>''n''</sup>}} が双曲型不動点 {{Mvar|'''p'''}} を持つとする。{{Mvar|'''p'''}} における {{Mvar|f}} の[[ヤコビ行列]]を {{Mvar|Df<sub>'''p'''</sub>}} で表す。このとき、{{Mvar|'''p'''}} の近傍 {{Mvar|&#x1D4B0;}} と {{Math|'''0'''}} の近傍 {{Mvar|&#x1D4B1;}}、および同相写像 {{Math2|''h'' : ''&#x1D4B1;'' &rarr; ''&#x1D4B0;''}} が存在し、すべての {{Math|'''''x''''' &isin; ''&#x1D4B1;''}} について {{Math2|''f'' &compfn; ''h''('''''x''''') {{=}} ''h'' &compfn; ''Df<sub>'''p'''</sub>&thinsp;'''x'''''}} が成り立つ{{Sfn|ロビンソン|2001a|p=260}}。

===カオスの証明===
2つの写像が位相共役のとき、周期点などと同様に[[カオス (力学系)|カオス]]の性質も共有される{{Sfn|グーリック|1995|p=75}}。ある力学系がカオス的であることを数学的に証明する方法の一つが、位相共役の関係を利用したものである{{Sfn|松葉|2011|p=81}}。位相共役の関係の利点は、解析が容易な写像から他の写像の性質を導ける点にある{{Sfn|松葉|2011|p=416}}。

式 ({{EqNoteN|3-12}}) でシフト写像による記号力学系を導入したが、カオス力学系を記号力学系に帰着させる方法は、そのカオス力学系を理解する有効な方法の一つである{{Sfn|國府|2000|p=61}}。記号空間 {{Math|&Sigma;<sub>2</sub>}} 上のシフト写像 {{Math|&sigma; : &Sigma;<sub>2</sub> &rarr; &Sigma;<sub>2</sub>}} はカオスの性質——具体的には位相推移性、周期点の稠密性、初期値鋭敏性——を持つ{{Sfn|松葉|2011|p=437}}。[[#例|例で記した]]ように、テント写像 ({{EqNoteN|3-8}}) はシフト写像と位相共役であるので、テント写像はカオスであることが導ける{{Sfn|松葉|2011|p=437}}。

2次元写像の古典的例である[[馬蹄形写像]]も、記号力学系によってその挙動が調べられる{{Sfn|Devaney|2003|p=160}}。馬蹄形写像 {{Mvar|F}} は[[カントール集合]] &times; [[カントール集合]]という構造の[[不変集合]] {{Mvar|&Lambda;}} を持つ{{Sfn|青木|1996|p=204}}。{{Math|''&Sigma;''<sub>2</sub>}} を、ここでは 0 と 1 から成る両側無限列の全体の集合とする。不変集合 {{Mvar|&Lambda;}} 上に[[制限 (数学)|制限]]した {{Math|''F''&thinsp;{{!}}<sub>''&Lambda;''</sub> : ''&Lambda;'' &rarr; ''&Lambda;''}} はシフト写像 {{Math|''&sigma;'' : ''&Sigma;''<sub>2</sub> &rarr; ''&Sigma;''<sub>2</sub>}} と位相共役であり、馬蹄形写像は {{Mvar|&Lambda;}} 上でカオス的であることが分かる{{Sfn|グーリック|1995|p=165}}。 さらに一般的には、横断的な[[ホモクリニック点]]の存在から記号力学系と位相共役な不変集合の存在を導ける{{Sfn|浅岡|2023|p=54}}。多様体 {{Mvar|M}} 上の微分同相写像 {{Mvar|f}} が双曲型不動点 {{Mvar|p}} を持ち、{{Mvar|p}} の横断的ホモクリニック点 {{Mvar|q}} が存在するとき、充分大きな自然数 {{Mvar|k}} と、{{Mvar|p}} と {{Mvar|q}} を含む {{Mvar|f&thinsp;<sup>k</sup>}} の不変集合 {{Mvar|&Lambda;}} が存在して、{{Math|''f''&thinsp;<sup>''k''</sup>{{!}}<sub>''&Lambda;''</sub> : ''&Lambda;'' &rarr; ''&Lambda;''}} は {{Math|''&sigma;'' : ''&Sigma;''<sub>2</sub> &rarr; ''&Sigma;''<sub>2</sub>}} と位相共役である{{Sfn|國府|2000|p=70}}。

==出典==
{{Reflist|2}}

==参照文献==
*{{Cite book ja-jp
|author = 國府 寛司
|title = 力学系の基礎
|series = カオス全書2
|publisher = 朝倉書店
|year = 2000
|edition = 初版
|isbn = 4-254-12672-7
|ref = {{SfnRef|國府|2000}}
}}
*{{Cite book ja-jp
|author = C. ロビンソン
|title = 力学系 上
|translator = 國府 寛司・柴山 健伸, 岡 宏枝
|publisher = シュプリンガー・フェアラーク東京
|year = 2001a
|isbn = 4-431-70825-1
|ref = {{SfnRef|ロビンソン|2001a}}
}}
*{{Cite book ja-jp
|author = C. ロビンソン
|title = 力学系 下
|translator = 國府 寛司・柴山 健伸, 岡 宏枝
|publisher = シュプリンガー・フェアラーク東京
|year = 2001b
|isbn = 4-431-70826-X
|ref = {{SfnRef|ロビンソン|2001b}}
}}
*{{Cite book ja-jp
|author = Robert L. Devaney
|title = カオス力学系入門
|url = https://www.kyoritsu-pub.co.jp/bookdetail/9784320017054
|translator = 後藤 憲一
|others = 國府 寛司・石井 豊 ・新居 俊作・木坂 正史(新訂版訳)
|publisher = 共立出版
|year = 2003
|edition = 新訂版
|isbn = 4-320-01705-6
|ref = {{SfnRef|Devaney|2003}}
}}
*{{Cite book ja-jp
|author= 青木 統夫
|title= 力学系・カオス ―非線形現象の幾何学的構成
|url = https://www.kyoritsu-pub.co.jp/bookdetail/9784320033405
|year= 1996
|edition= 初版
|publisher= 共立出版
|isbn = 4-320-03340-X
|ref= {{SfnRef|青木|1996}}
}}
*{{Cite book ja-jp
|author = 松葉 育雄
|title = 力学系カオス
|url = https://www.morikita.co.jp/books/book/599
|publisher = 森北出版
|edition = 第1版
|year = 2011
|isbn = 978-4-627-15451-3
|ref = {{SfnRef|松葉|2011}}
}}
*{{Cite book ja-jp
|author= 久保 泉・矢野 公一
|title= 力学系
|url = https://www.iwanami.co.jp/book/b355613.html
|publisher= 岩波書店
|edition= オンデマンド版
|year= 2018
|isbn= 978-4-00-730742-3
|ref= {{SfnRef|久保・矢野|2018}}
}}
*{{Cite book ja-jp
|author = S. ウィギンス
|translator = 今井 桂子・田中 茂・水谷 正大・森 真
|others = 丹羽 敏雄(監訳)
|title = 非線形の力学系とカオス
|url = https://www.maruzen-publishing.co.jp/item/b294656.html
|edition = 新装版
|publisher = 丸善出版
|year= 2013
|isbn = 978-4-621-06435-1
|ref = {{SfnRef|ウィギンス|2013}}
}}
*{{Cite book ja-jp
|author = 白石 謙一
|title = 力学系の理論
|url = https://www.iwanami.co.jp/book/b266707.html
|publisher = 岩波書店
|edition = オンデマンド版
|year = 2014
|isbn = 978-4-00-730152-0
|ref = {{SfnRef|白石|2014}}
}}
*{{Cite book ja-jp
|author = デニー・グーリック
|translator = 前田 恵一・原山 卓久
|publisher = 産業図書
|title = カオスとの遭遇 ―力学系への数学的アプローチ
|edition = 初版
|year = 1995
|isbn = 4-7828-1009-1
|ref = {{SfnRef|グーリック|1995}}
}}
*{{Cite book ja-jp
|author = 青木 統夫・白岩 謙一
|title = 力学系とエントロピー
|url = https://www.kyoritsu-pub.co.jp/bookdetail/9784320110434
|publisher = 共立出版
|edition = 復刊
|year = 2013
|isbn = 978-4-320-11043-4
|ref = {{SfnRef|青木・白岩|2013}}
}}
*{{Cite book ja-jp
|author = 浅岡 正幸
|title = 幾何学百科Ⅲ 力学系と大域幾何
|chapter = アノソフ系と多様体上の双曲力学系
|url = https://www.asakura.co.jp/detail.php?book_code=11618
|publisher = 朝倉書店
|edition = 初版
|year = 2023
|isbn = 978-4-254-11618-2
|ref = {{SfnRef|浅岡|2023}}
}}

==外部リンク==
*[https://planetmath.org/topologicalconjugation topological conjugation] - PlanetMath
*[https://mathworld.wolfram.com/TopologicallyConjugate.html Topologically Conjugate] - MathWorld

{{DEFAULTSORT:いそうきようやく}}
[[Category:力学系]]
[[Category:同相写像]]
[[Category:同相写像]]
[[Category:数学に関する記事]]
[[Category:数学に関する記事]]

2024年1月17日 (水) 12:07時点における最新版

数学において位相共役(いそうきょうやく、英語: topologically conjugate)とは、2つの写像軌道が定性的に同じ関係であることを示す概念である。力学系理論における基礎的な概念の一つ[1]。位相共役の関係によって、解析が容易な写像から他の写像の性質を導けるといった利点がある。他には、力学系の構造安定性の定義付けを与える。

位相共役の関係は、2つの写像を関係づける同相写像の存在によって定義される。もし2つの力学系が位相共役ならば、それぞれの力学系は同じ性質の軌道を同じ数持つ。連続力学系の場合は、時間の変数変換を許す位相同値という関係も用いられる。

定義

[編集]

XY位相空間とし、f : XXg : YY連続写像とし、これらによって定義される力学系 (X, f )(Y, g) を考える[1]。このとき、X から Y への同相写像 h : XY が存在して

(1-1)

を充たすとき、2つの力学系 (X, f )(Y, g)位相共役(英語: topologically conjugate)である[1]、あるいは fg が(h によって)位相共役であると言う[2][3]。ほかには位相的に共役や単に共役であると言ったりすることもある[4][3]。位相共役の関係を与える同相写像 h位相共役写像(英語: topological conjugacy)と言う[5]

位相共役の関係を表す可換図式

ここで、上式 (1-1) の 写像の合成を表し、xX とすると hf (x) = h (f (x)) である[6]h が同相写像であるとは、h全単射かつ連続写像で、なおかつ逆写像 h−1 も連続写像であることを言う[6]。同値な定義だが、fgh によって位相共役であるとは

(1-2)

を充たす同相写像 h が存在することを言う[7][4]。ここで、h−1h の逆写像を表す[8]。位相共役の関係によって可換図式が成立する[9][10]

写像 h が同相写像であることを要請せず、f : XXg : YY が単に連続写像かつ全射である h : XY によって式 (1-1) を充たすときは、fg位相半共役あるいは半共役(英語: semi-conjugate)と言う[3][11]。半共役の関係を与える連続な全射 h位相半共役写像あるいは半共役写像(英語: semi-conjugacy)と言う[3][12]

微分同相写像の場合

[編集]

fgh によって位相共役であることは h が一般的に可微分であることまでは要求しないが、場合によっては h が可微分で、h−1 も可微分であることも考えられる[13]。このような同相写像を微分同相写像と言い[14]、特に、同相写像が r連続微分可能で、その逆写像も r 回連続微分可能なときは C r 微分同相写像と言う[15]

実数全体の集合とし、写像 fgn 次元ユークリッド空間 n 上の C r 微分同相写像 f : ℝn → ℝng : ℝn → ℝn とする[16]。このとき、C k 微分同相写像 h : ℝn → ℝn が存在し、 式 (1-1) を充たすとき、fg は(h によって)C k 共役または可微分共役であると言う[16][3]

線型写像の場合

[編集]

写像 fg が位相共役で、その位相共役写像 h線型写像であるとき fg線型共役(英語: linearly conjugate)であると言う[17][18][19]n 上の場合、写像 L : ℝn → ℝn が線型写像であるとは

  • L(x + y) = L(x) + L(y) ただし x, y ∈ ℝn
  • L(cx) = cL(x) ただし c ∈ ℝ, x ∈ ℝn

を充たすことである[20]

n 上の線型写像 L は、実数を成分とする n × n 行列 A を用いて、

(1-3)

と表わされる[21]。ここで、xn の要素で、n × 1 列ベクトルである[22]。一般的に、異なる正方行列 A1A2 があって、

(1-4)

を充たすような正則行列 G が存在するとき、A1A2相似であると言う[17][23]

n 上の線型写像 L1(x) = A1xL2(x) = A2x が線型共役で、その位相共役写像を P(x) = Gx で表すとする。このとき、式 (1-2) より

(1-5)

となるので、n 上の線型写像 L1L2 が線型共役であるとは、それらを定義する行列 A1A2 が相似で、式 (1-5) を充たすような行列 G が存在することとも言い換えられる[17][23]

連続力学系の場合

[編集]

以上の説明は、反復合成から定義される離散力学系の場合であった。一方、力学系の時間を実数として、位相群 の位相空間 X への作用として定まるのが連続力学系である[24]。連続力学系は流れとも呼ばれ、連続写像 φ : × XX あるいは φt : XXt ∈ ℝ)によって与えられる[25][26]。流れを φt(x)xX)とも表し、全ての tx で定義されていると仮定する[26]

XY を位相空間とし、φ : × XXψ : × YY を流れとする。 このとき、同相写像 Xxh(x) ∈ Y が存在して

(1-6)

を充たすとき、φψ位相共役であると言う[27]

流れは、典型的には微分方程式(あるいは微分方程式によって定義されるベクトル場)によって生成される[28]φC r 級ベクトル場 ·x = f (x) によって生成される流れとし、ψC r 級ベクトル場 ·y = g (y) によって生成される流れとするとき、C k 微分同相写像 h が式 (1-6) を充たすとき、φψC k 共役であると言う[29]

流れの位相共役は、時間 t の変数変換も許さずに片方の軌道をもう片方の軌道に重ね合わせることができるというであり、制約が強い[30][27]。そのため流れの場合には、制約がもう少し弱い位相同値という位相的分類がよく用いられる[27]。流れ φ : × XXψ : × YY について、同相写像 h : XY があって、φ の各軌道が ψ の各軌道の上へ、向きが保たれながら h によって写されるとき、φψ位相同値であると言う[31]。また、このような同相写像 h位相同値写像と言う[31][27]φ の軌道を OφX とし、ψ の軌道を OψY とする。正確には、すべての xX に対して h

(1-7)

を充たし、さらに φψ が定める軌道の向きを保つとき、φψ は位相同値であると言う[32]hC k 微分同相写像で式 (1-7) を充たすときは、φψC k 同値であると言う[33][34]

時間の変数変換を明示的に使った位相同値の定義は次のようになる。時間の変数変換を表す連続関数を α : ℝ × X → ℝ とする。φψ が位相同値であるとは、同相写像 h と連続関数 α(t, x) が存在して、すべての xXt ∈ ℝ について

(1-8)

を充たすときを言う[30]。ただし、軌道の向きを保つという条件のために、α(t, x)x を固定したときに t に関して単調増加である[35][30]

基本的な性質

[編集]

位相共役であることは同値関係に該当する。すなわち、写像 fg に対してhf = gh を充たすようなある同相写像 h が存在することを一つの二項関係として fg と表せば、関係

という同値律を充たす[2]。したがって、位相空間 X 上の連続写像全体の集合を Map (X, X) と表すと、同値関係 による Map (X, X)同値類は位相的には同じである力学系の集まりを意味する[36]

力学系理論の主な興味関心は、軌道の性質を理解することにある[37][38]。もし2つの力学系が位相共役ならば、それぞれの力学系は同じ性質の軌道を同じ数持つ[39]。具体的には g = hfh−1 より、g2 = hfh−1hfh−1 = hf2h−1 であるから、任意の n ∈ ℤ について

(2-1)

および

(2-2)

が成り立つ[9][40][4]。したがって、f の軌道を OfX とし、g の軌道を OgY とすれば、

(2-3)

が成り立ち、hf の軌道を g の軌道の上へ写像する[4]。したがって、位相共役写像 h により、f不動点周期点ω 極限点α 極限点などは、g の同種の相空間上の点へ写される[4]h によって、f不動点の全体集合、周期点の全体集合、極限集合非遊走集合鎖回帰集合などが、g の同種の集合へと写される[41][5]f稠密な周期点の集合を持つならば、g も稠密な周期点の集合を持つ[42]f位相推移的ならば g も位相推移的で、f拡大的(分離的)ならば g も拡大的となる[5][43]最終的に周期的な軌道や漸近的な軌道が f に存在すれば、h はそれらを g の同種の軌道に写す[5]

離散力学系の周期軌道(周期点)は、位相共役写像によって同じ周期の軌道が対応する。fgh によって位相共役のとき、pf の 周期 m の周期点だとしたら、h(p)g の周期 m の周期点である[44]。連続力学系の場合も、位相共役写像によって同じ周期の軌道が対応する。流れ φψh によって位相共役のとき、f の 周期 T の周期軌道は h によってg の 周期 T の周期軌道に写される[35]。しかし、φψ が位相同値のときは、f の周期軌道は h によってg の周期軌道に写るが、周期は一致するとは限らない[45]。逆に言えば、このような周期が一致しなくてよいという性質によって、位相共役よりも位相同値の制約は弱く、流れの位相的分類では位相同値の方が使いやすいことが多い[46][27]

可微分共役の場合は、不動点および周期点でのヤコビ行列固有値も一致する[47][39]。写像 f(x) のヤコビ行列を Df(x) のように表す。 可微分写像 Xxf(x) ∈ XYyg(y) ∈ Y が、微分同相写像 Xxh(x) ∈ Y によって位相共役であるとき、

(2-4)

が成立する[47][39]。一般に、正方行列が式 (1-4) を充たすとき、行列 A1A2 の固有値は同じとなる[23]。したがって、式 (2-4) より、Df n(x)Dg n(y) の固有値は一致する[39]。よって、可微分共役には不動点および周期点での微分の一致という要求が充たされる必要がある。これは、軌道の位相的特性を調べるには強過ぎる条件となる[41]。そのため、力学系が定性的に同じことを表す位相共役の関係は、単なる同相写像の存在を条件としている[41][39][48]

位相的エントロピーについても位相共役であれば不変となる[43]fgコンパクトハウスドルフ空間 X, Y上の連続写像とし、同相写像 k : XY によって位相共役であるとする。それぞれの位相的エントロピーを h(f)h(g) と表せば、h(f) = h(g) である[43]。さらに、いくつかの制約のもと位相半共役でも位相的エントロピーは不変となる[49]fgコンパクト距離空間 (X, d1), (Y, d2) 上の連続写像とし、全射の連続写像 k : XY によって位相半共役であるとする。k一様連続で有限対1であれば、h(f) = h(g) が充たされる[49]

[編集]

2つの写像が与えられたとき、一般的に言って、それらの位相共役写像が具体的に得られることは少ない[50]。例えば、実数直線上の2次関数

(3-1)

(3-2)

(3-3)

によって位相共役である[51]

全ての1変数2次関数同士の場合は、片方を適当に平行移動させれば、それらは線型共役になる[52]a, b, c, r, s, t定数係数とすれば、

(3-4)

(3-5)

は、

(3-6)

であれば、

(3-7)

によって位相共役である[18]

写像 (3-1) はロジスティック写像とも呼ばれ、テント写像と呼ばれる写像とも位相共役な関係にあることで知られる[53]。すなわち、単位区間 [0, 1] = I 上のテント写像を T : II とすると、

(3-8)

(3-9)

は、

(3-10)

によって位相共役である[54][55]。写像 (3-10) は I から I への同相写像で I 上の至る所で微分可能だが、その逆写像 h−1(x)x = 0x = 1 で微分可能ではない[54][55]。つまり、この例は、位相共役だが可微分共役ではない例となっている。このように多くの場合では単に同相な位相共役写像が存在する。それでも2つの力学系の軌道を対応付けるのに充分に役立つので、力学系理論では通常の位相共役の定義に微分同相写像までは要求しない[55]

力学系では、与えられた系を記号力学系で表現して調べるという手段が有効である[56]。テント写像 (3-8) に対して、その i 回反復合成がT i (x) ∈ [0, 1/2] ならば si = 0 とし、 T i (x) ∈ (1/2, 1] ならば si = 1 とし、 初期値 x の軌道を 01 の無限列に置き換える[57]。この置き換えを

(3-11)

という写像で表す[57]。あらゆる 01 の無限列の全体の集合を Σ2 で表せば、φ(x)I から Σ2 への写像となっている[58]。列を一つずつ左にずらす Σ2 からそれ自身のシフト写像

(3-12)

を用意すると、テント写像 Tσφ によって位相共役である[59]

位相半共役の関係の場合は次のような例がある。S1S1 = {cos θ + i sin θ : θ ∈ ℝ} で定義される複素平面上の単位円とし、S1 上の点を θ で代表させる[38]。このとき、S1 上の写像 f : S1S1

(3-13)

と、単位区間 I 上の2次写像 g : II

(3-14)

は、余弦関数 h : S1I

(3-15)

によって位相半共役である[60]。ほとんどの θ について h は2対1写像であり、h は同相写像ではない[11]

応用

[編集]

構造安定性

[編集]

位相共役の概念を使って、構造安定の概念が定式化できる[61][39]。構造安定とは、ある力学系に小さい変化あるいは摂動が加わったとしても本質的に同じ挙動が保たれるという力学系自体の安定性の表すもので、数学以外での応用の点でも重要となる[62]。例えば、物理学、生物学、工学で使われる微分方程式では係数が近似的にしか定まらないことが多い[63]。よって、係数がわずかに異なった程度では解の挙動が本質的に変わらない(=構造安定な)微分方程式が重要となる[63]

大雑把に言うと、ある力学系 f が構造安定であるとは、f に充分近い力学系 g は必ず f と位相共役であることをいう[61][64]。正確に定義するためには、力学系の集合に C r 位相という位相を入れる必要がある[65]。ここでは離散力学系の場合について述べる。多様体 M 上の C r 級可微分同相写像全体が成す集合を Diffr (M) と表すとする。 f ∈ Diffr (M)C r 位相に関する近傍 𝒩 を適当にとれば、𝒩 のすべての写像 g𝒩f と位相共役になるとき、fC r 構造安定であると言う[66]

固定点周りの挙動

[編集]

力学系理論では、与えられた系の軌道が定常状態に落ち着くのかという意味での安定性も関心の対象である[67]不動点および平衡点(以下まとめて固定点と呼ぶ)の近傍の軌道の様相を調べるために、固定点近傍で線型近似することが考えられる[68]。このとき、固定点が双曲型であれば、固定点近傍で線型化した系は元の非線型系とある近傍内で位相共役な関係にあることが知られている[69]

すなわち、固定点周りの線型近似には、双曲型という条件によって数学的な正当性が与えられる[69]。これを明確にしているのがハートマン・グロブマンの定理である[70]。ここでは n 上の離散力学系の場合についてを述べる。C r 級可微分同相写像 f : ℝn → ℝn が双曲型不動点 p を持つとする。p における fヤコビ行列Dfp で表す。このとき、p の近傍 𝒰0 の近傍 𝒱、および同相写像 h : 𝒱𝒰 が存在し、すべての x𝒱 について fh(x) = hDfpx が成り立つ[71]

カオスの証明

[編集]

2つの写像が位相共役のとき、周期点などと同様にカオスの性質も共有される[72]。ある力学系がカオス的であることを数学的に証明する方法の一つが、位相共役の関係を利用したものである[51]。位相共役の関係の利点は、解析が容易な写像から他の写像の性質を導ける点にある[73]

式 (3-12) でシフト写像による記号力学系を導入したが、カオス力学系を記号力学系に帰着させる方法は、そのカオス力学系を理解する有効な方法の一つである[74]。記号空間 Σ2 上のシフト写像 σ : Σ2 → Σ2 はカオスの性質——具体的には位相推移性、周期点の稠密性、初期値鋭敏性——を持つ[58]例で記したように、テント写像 (3-8) はシフト写像と位相共役であるので、テント写像はカオスであることが導ける[58]

2次元写像の古典的例である馬蹄形写像も、記号力学系によってその挙動が調べられる[75]。馬蹄形写像 Fカントール集合 × カントール集合という構造の不変集合 Λ を持つ[76]Σ2 を、ここでは 0 と 1 から成る両側無限列の全体の集合とする。不変集合 Λ 上に制限した F |Λ : ΛΛ はシフト写像 σ : Σ2Σ2 と位相共役であり、馬蹄形写像は Λ 上でカオス的であることが分かる[77]。 さらに一般的には、横断的なホモクリニック点の存在から記号力学系と位相共役な不変集合の存在を導ける[78]。多様体 M 上の微分同相写像 f が双曲型不動点 p を持ち、p の横断的ホモクリニック点 q が存在するとき、充分大きな自然数 k と、pq を含む f k の不変集合 Λ が存在して、fk|Λ : ΛΛσ : Σ2Σ2 と位相共役である[79]

出典

[編集]
  1. ^ a b c 久保・矢野 2018, pp. 26–28.
  2. ^ a b 青木 1996, p. 18.
  3. ^ a b c d e ロビンソン 2001a, p. 69.
  4. ^ a b c d e 白石 2014, p. 178.
  5. ^ a b c d Devaney 2003, p. 40.
  6. ^ a b Devaney 2003, p. 9.
  7. ^ ロビンソン 2001a, p. 19.
  8. ^ 白石 2014, p. 5.
  9. ^ a b 久保・矢野 2018, p. 160.
  10. ^ 松葉 2011, pp. 75–76.
  11. ^ a b Devaney 2003, p. 45.
  12. ^ 久保・矢野 2018, pp. 179, 247.
  13. ^ ロビンソン 2001a, p. 68.
  14. ^ 久保・矢野 2018, p. 28.
  15. ^ ロビンソン 2001a, p. 22–23.
  16. ^ a b ウィギンス 2013, p. 91.
  17. ^ a b c Devaney 2003, p. 145.
  18. ^ a b グーリック 1995, p. 99.
  19. ^ ロビンソン 2001a, pp. 103, 191.
  20. ^ 青木 1996, p. 133.
  21. ^ Devaney 2003, pp. 143–144.
  22. ^ Devaney 2003, p. 142.
  23. ^ a b c 松葉 2011, p. 58.
  24. ^ 白石 2014, pp. 166–167.
  25. ^ 久保・矢野 2018, p. 1.
  26. ^ a b 浅岡 2023, p. 11.
  27. ^ a b c d e 浅岡 2023, p. 12.
  28. ^ 松葉 2011, pp. 1–3.
  29. ^ ウィギンス 2013, pp. 232–234.
  30. ^ a b c ロビンソン 2001a, p. 188.
  31. ^ a b 白石 2014, p. 175.
  32. ^ 浅岡 2023, pp. 12–13.
  33. ^ 白石 2014, pp. 175–176.
  34. ^ ウィギンス 2013, p. 232.
  35. ^ a b ウィギンス 2013, p. 234.
  36. ^ 青木 1996, pp. 18–19.
  37. ^ 久保・矢野 2018, p. 166.
  38. ^ a b Devaney 2003, p. 16.
  39. ^ a b c d e f 國府 2000, p. 19.
  40. ^ ウィギンス 2013, pp. 91–92.
  41. ^ a b c 浅岡 2023, p. 10.
  42. ^ グーリック 1995, p. 98.
  43. ^ a b c 青木・白岩 2013, p. 63.
  44. ^ 松葉 2011, p. 80.
  45. ^ ウィギンス 2013, p. 235.
  46. ^ ウィギンス 2013, pp. 233–234.
  47. ^ a b 浅岡 2023, pp. 10–11.
  48. ^ Devaney 2003, pp. 52–53.
  49. ^ a b ロビンソン 2001b, p. 186.
  50. ^ 松葉 2011, p. 83.
  51. ^ a b 松葉 2011, p. 81.
  52. ^ グーリック 1995, p. 100.
  53. ^ 松葉 2011, p. 481.
  54. ^ a b グーリック 1995, p. 97.
  55. ^ a b c ロビンソン 2001a, p. 73.
  56. ^ 久保・矢野 2018, p. 77.
  57. ^ a b 松葉 2011, p. 436.
  58. ^ a b c 松葉 2011, p. 437.
  59. ^ 松葉 2011, pp. 436–437.
  60. ^ Devaney 2003, pp. 44–45.
  61. ^ a b ロビンソン 2001a, p. 13.
  62. ^ Devaney 2003, p. 47.
  63. ^ a b 白石 2014, p. 205.
  64. ^ 國府 2000, p. 20.
  65. ^ ウィギンス 2013, p. 99.
  66. ^ 久保・矢野 2018, pp. 195–196.
  67. ^ 浅岡 2023, p. 16.
  68. ^ 松葉 2011, p. 49.
  69. ^ a b 松葉 2011, p. 88.
  70. ^ ウィギンス 2013, p. 236.
  71. ^ ロビンソン 2001a, p. 260.
  72. ^ グーリック 1995, p. 75.
  73. ^ 松葉 2011, p. 416.
  74. ^ 國府 2000, p. 61.
  75. ^ Devaney 2003, p. 160.
  76. ^ 青木 1996, p. 204.
  77. ^ グーリック 1995, p. 165.
  78. ^ 浅岡 2023, p. 54.
  79. ^ 國府 2000, p. 70.

参照文献

[編集]
  • 國府 寛司、2000、『力学系の基礎』初版、朝倉書店〈カオス全書2〉 ISBN 4-254-12672-7
  • C. ロビンソン、國府 寛司・柴山 健伸, 岡 宏枝(訳)、2001a、『力学系 上』、シュプリンガー・フェアラーク東京 ISBN 4-431-70825-1
  • C. ロビンソン、國府 寛司・柴山 健伸, 岡 宏枝(訳)、2001b、『力学系 下』、シュプリンガー・フェアラーク東京 ISBN 4-431-70826-X
  • Robert L. Devaney、國府 寛司・石井 豊 ・新居 俊作・木坂 正史(新訂版訳)、後藤 憲一(訳)、2003、『カオス力学系入門』新訂版、共立出版 ISBN 4-320-01705-6
  • 青木 統夫、1996、『力学系・カオス ―非線形現象の幾何学的構成』初版、共立出版 ISBN 4-320-03340-X
  • 松葉 育雄、2011、『力学系カオス』第1版、森北出版 ISBN 978-4-627-15451-3
  • 久保 泉・矢野 公一、2018、『力学系』オンデマンド版、岩波書店 ISBN 978-4-00-730742-3
  • S. ウィギンス、丹羽 敏雄(監訳)、今井 桂子・田中 茂・水谷 正大・森 真(訳)、2013、『非線形の力学系とカオス』新装版、丸善出版 ISBN 978-4-621-06435-1
  • 白石 謙一、2014、『力学系の理論』オンデマンド版、岩波書店 ISBN 978-4-00-730152-0
  • デニー・グーリック、前田 恵一・原山 卓久(訳)、1995、『カオスとの遭遇 ―力学系への数学的アプローチ』初版、産業図書 ISBN 4-7828-1009-1
  • 青木 統夫・白岩 謙一、2013、『力学系とエントロピー』復刊、共立出版 ISBN 978-4-320-11043-4
  • 浅岡 正幸、2023、「アノソフ系と多様体上の双曲力学系」、『幾何学百科Ⅲ 力学系と大域幾何』初版、朝倉書店 ISBN 978-4-254-11618-2

外部リンク

[編集]