相空間のソースを表示

{{Otheruses||力学における相空間|位相空間 (物理学)|制御工学における状態空間|状態空間 (制御理論)}}
[[File:Lorenz attractor boxed.svg|thumb|[[ローレンツ方程式]]の {{Mvar|xyz}} 相空間とその上の[[軌道 (力学系)|軌道]]の例]]
[[力学系理論]]における'''相空間'''（そうくうかん、{{Lang-en-short|phase space|links=no}}）は、対象のシステムが取る状態全てから成る[[空間 (数学)|抽象的な空間]]である{{Sfn|丹羽|2004|p=16}}{{Sfn|Kuznetsov|1998|p=2}}。'''状態空間'''（じょうたいくうかん、{{Lang-en-short|state space|links=no}}）ともいう{{Sfn|青木・白岩|2013|pp=14&ndash;15}}{{Sfn|Kuznetsov|1998|p=2}}{{Sfn|徳永|1990|p=66}}。

物理学分野の[[解析力学]]（とくに[[ハミルトン力学]]）では相空間と同種のものが、位置と運動量を座標した空間という狭い意味で用いられており、[[位相空間 (物理学)|位相空間]]とも呼ばれる。数学分野では普通は topological space の意味で「[[位相空間]]」という用語を使うことから、混乱のおそれがあるときや数学分野では phase space の意を指すために「相空間」を使う。

==背景と用語==
[[力学系]]とは、システム（系）の将来の状態が現在の状態から一意に決まる[[決定論]]的な過程を、数学的に定式化したものを指す{{Sfn|Kuznetsov|1998|p=1}}。相空間 {{Mvar|X}} とは、力学系の基本構成要素の一つで、対象のシステムが取り得る状態全てを集めてできる[[集合]]である{{Sfn|國府|2000|p=1}}{{Sfn|Kuznetsov|1998|p=1}}。さらに、現在の状態から次の状態を定める決定論的法則 {{Mvar|F}} と時間 {{Mvar|T}} の2つを加えて、{{Math|(''X'', ''F'', ''T'')}} の一組で力学系が成立する{{Sfn|國府|2000|p=1}}{{Sfn|Kuznetsov|1998|p=1}}。相空間というものを導入することによって、空間上の1点を指定する形でシステムの状態を議論できるようになる{{Sfn|森・水谷|2009|p=9}}。すなわち相空間とは、システムの状態の振る舞いを解析するときに、そのシステムの状態は空間上でどんな動きをするのかという視点に切り替える概念的道具といえる{{Sfn|Jackson|1994|p=17}}。

[[File:Pendulum 120deg.gif|thumb|物理的な空間の[[単振り子]]の運動（下図）を、相空間（上図）の点の運動として表したアニメーション。上図の横軸が振れ角 {{Mvar|&theta;}} で、縦軸が角速度 {{Mvar|&omega;}} に該当する。]]
通常、系の状態はいくつかの[[変数 (数学)|変数]]で表される{{Sfn|井上・秦|1999|p=65}}。これらの変数は'''状態変数'''などと呼ばれる{{Sfn|井上・秦|1999|p=65}}{{Sfn|徳永|1990|p=66}}。例えば、力学系の例として、長さ一定で空気抵抗やその他外部からの影響を排した[[単振り子]]の運動を考える。このシステムの状態は振れ角 {{Mvar|&theta;}} とその角速度 {{Mvar|&omega;}} で一意に決まるので、{{Math|(''&theta;'', ''&omega;'')}} が状態を表す変数である{{Sfn|丹羽|2004|pp=16, 34}}。そして、{{Mvar|&theta;}} と {{Mvar|&omega;}} の組全体から成る抽象的な空間（{{Mvar|&theta;}} と {{Mvar|&omega;}} を座標とする平面）を考えると、それがこのシステムの'''相空間'''である{{Sfn|國府|2000|p=1}}{{Sfn|Strogatz|2015|p=8}}。相空間を構成する一つひとつの[[元 (数学)|要素]]は、単に'''点'''と呼ばれる{{Sfn|Jackson|1994|p=16}}{{Sfn|ウィギンス|2013|p=2}}{{Sfn|Strogatz|2015|p=8}}ほかに、'''相'''{{Sfn|丹羽|2004|pp=16, 34}}{{Sfn|齋藤|2004|p=19}}、'''相点'''{{Sfn|小室|2005|p=8}}{{Sfn|丹羽|2004|pp=16, 34}}、'''位相'''{{Sfn|丹羽|2004|p=16}}{{Sfn|齋藤|2004|p=19}}、'''位相点'''{{Sfn|井上|1996|p=44}}{{Sfn|井上・秦|1999|p=65}}、'''代表点'''{{Sfn|井上|1996|p=44}}{{Sfn|下條|1992|p=5}}、'''状態'''{{Sfn|徳永|1990|p=66}}などと呼ばれる。

相空間上の点は、時間変化によって相空間内を動く。相空間上を点が動いてできる経路は[[軌道 (力学系)|軌道]]と呼ばれる{{Sfn|井上・秦|1999|p=65}}。時間を連続的なものとして考える力学系では、軌道は相空間上で連続的な曲線を描く{{Sfn|井上・秦|1999|pp=25&ndash;26}}。一方、時間を離散的なものとして考える力学系では、軌道は相空間上でとびとびの点列となる{{Sfn|井上・秦|1999|pp=25&ndash;26}}。決定論的に状態が定まるという要請により、相空間における2つの異なる軌道が交わることはない{{Sfn|井上・秦|1999|p=66}}。ある力学系の全軌道の概略を相空間上に示した図を、'''相図'''（{{Lang-en-short|phase portrait|links=no}}）という{{Sfn|伊藤|1998|p=47}}{{Sfn|Strogatz|2015|p=138}}。

力学系の従属変数の個数すなわち相空間の座標の数は、相空間または力学系の'''次元'''と呼ばれる{{Sfn|Strogatz|2015|p=9}}{{Sfn|アリグッド・サウアー・ヨーク |2012|p=99}}{{Sfn|丹羽|2004|p=31}}。特に相空間は、状態変数が[[実数]]1つ（{{Math|'''R'''<sup>1</sup>}}）のときには'''相直線'''と、状態変数が実数2つ（{{Math|'''R'''<sup>2</sup>}}）のときには'''相平面'''と呼ばれることもある{{Sfn|今・竹内|2018|p=107}}。[[ポアンカレ・ベンディクソンの定理]]に代表されるように、相空間の次元と形状は軌道の形状に制限を与える{{Sfn|アリグッド・サウアー・ヨーク |2012|p=145}}。一般的に、系が非線形でなおかつ高次元になるほど系の取り扱いが難しくなる{{Sfn|Strogatz|2015|pp=13&ndash;14}}。状態の空間的に連続的に分布している[[偏微分方程式]]で記述されるような力学系では、相空間の次元は無限になる{{Sfn|Strogatz|2015|pp=12&ndash;13}}{{Sfn|Kuznetsov|1998|p=33}}。

==種類==
一般的なレベルでの力学系（とくに[[位相力学系]]）では、相空間を[[位相空間]]（{{Lang-en-short|topological space|links=no}}）として設定する{{Sfn|久保・矢野|2018|p=26}}{{Sfn|青木・白岩|2013|p=15}}{{Sfn|齋藤|2002|p=15}}。ただし、相空間をまったく純粋な位相空間に設定すると、あまり詳しい結果は得られない{{Sfn|齋藤|2004|p=46}}。実際には、位相空間であることに加え、いくつかの前提（例えば[[距離空間]]であること）を相空間に持たせて議論される{{Sfn|齋藤|2002|pp=16&ndash;17}}。特に相空間が[[コンパクト空間|コンパクト]]であると仮定できれば、位相力学系に関する多くの結果を得ることができ、一般的な枠組みを議論できる{{Sfn|齋藤|2002|p=8}}{{Sfn|久保・矢野|2018|p=69}}。

力学系の例として多いのは、システムの状態がいくつかの実数の組 {{Math|(''x''<sub>1</sub>, ''x''<sub>2</sub>, &hellip; ''x<sub>n</sub>'')}} で表される場合で、空間としては[[ユークリッド空間]] {{Math|'''R'''<sup>''n''</sup>}} あるいはその部分集合で考えられることが多い{{Sfn|丹羽|2004|p=31}}{{Sfn|ウィギンス|2013|p=1}}{{Sfn|Jackson|1994|p=16}}。力学系の軌道は特定の[[多様体]]上に[[制限 (数学)|制限]]されていることもあり、より一般的には相空間は多様体となる{{Sfn|丹羽|2004|p=31}}{{Sfn|Jackson|1994|p=20}}{{Sfn|國府|2000|pp=1&ndash;2}}。多様体に制限することで、それぞれの多様体が持つトポロジカルな性質を利用することもできる{{Sfn|齋藤|2002|p=16}}。上記の単振り子の例でいえば、角速度 {{Mvar|&omega;}} は単に実数だが、振れ角 {{Mvar|&theta;}} の定義域は {{Math|&minus;''&pi;'' <  ''&theta;'' &le; ''&pi;''}} であり、これは幾何学的には[[円周]]と同一視できる{{Sfn|Strogatz|2015|p=188}}{{Sfn|齋藤|2004|p=87}}{{Sfn|國府|2000|p=1}}。したがって、単振り子の系の相空間は、円周 {{Math|''S''<sup>1</sup>}} または {{Math|''T''<sup>1</sup>}} と直線 {{Math|'''R'''}} の[[直積集合]]で、幾何学的には無限に長い[[円柱 (数学)|円柱面]]となる{{Sfn|丹羽|2004|pp=10, 21}}{{Sfn|Strogatz|2015|p=188}}{{Sfn|齋藤|2004|p=87}}{{Sfn|國府|2000|p=1}}。ただし、いくつかの注意を払えば、相空間を {{Math|'''R'''<sup>''n''</sup>}} あるいはその部分集合と仮定しても多くの場合で一般性は失われない{{Sfn|丹羽|2004|p=31}}{{Sfn|ウィギンス|2013|pp=1&ndash;2}}。

[[File:Lotka-Volterra.svg|thumb|[[ロトカ・ヴォルテラの方程式]]における相平面上のベクトル場と軌道の様子]]
可微分力学系では相空間は微分構造を持ち、[[ベクトル場]]で定まる連続力学系がその典型例である{{Sfn|久保・矢野|2018|p=28}}。状態変数を {{Math|''x'' {{=}} (''x''<sub>1</sub>, ''x''<sub>2</sub>, &hellip; ''x<sub>n</sub>'') &isin; ''X'' &sub; '''R'''<sup>''n''</sup>}}、時間を {{Math|''t'' &isin; '''R'''}}  とする。力学系が {{Mvar|n}} 連立一階微分方程式

{{NumBlk|:|<math> \frac{dx_k}{dt} = f_k(x_1, \cdots,\ x_n)</math>|{{EquationRef|1}} }} 

で与えられるとき {{Math|(''k'' {{=}} 1,&hellip; ''n'')}}、相空間上の各点にはベクトル {{Math|''f''&thinsp;(''x''): ''X'' &rarr; '''R'''<sup>''n''</sup>}} が対応する{{Sfn|小室|2005|pp=17&ndash;18}}。このとき、{{Math|''f''&thinsp;(''x'')}} は解曲線の[[接ベクトル]]に一致し、各点が時間経過したときに動く方向と大きさを表す{{Sfn|伊藤|1998|pp=10, 13}}{{Sfn|森・水谷|2009|p=24}}。

[[測度論的力学系]]を展開するときは、相空間は可測構造を持つ{{Sfn|久保・矢野|2018|pp=29&ndash;30}}。この場合、相空間 {{Mvar|X}} に対して
*{{Math|''X'' &isin; ''F''}}
*{{Math|''A'' &isin; ''F''}} ならば {{Math|''A<sup>c</sup>'' &isin; ''F''}}
*{{Math|''A''<sub>1</sub>, ''A''<sub>2</sub>,&hellip; &isin; ''F''}} ならば {{Math|&cup;{{sup sub|&infin;|''i''{{=}}1}} ''A<sub>i</sub>'' &isin; ''F''}}
を満たす[[σ-集合体]] {{Mvar|F}} が存在し、{{Math|''A'' &isin; ''F''}} に対して、
*{{Math|''&mu;''(''A'') &ge; 0}} かつ {{Math|''&mu;''(''X'') {{=}} 1}}
*{{Math|''A''<sub>1</sub>, ''A''<sub>2</sub>,&hellip; &isin; ''F''}} が互いに素ならば {{Math|''&mu;''(&cup;{{sup sub|&infin;|''i''{{=}}1}}'' A<sub>i</sub>'') {{=}} {{sum|''i''{{=}}1|&infin;}} ''&mu;''(''A<sub>i</sub>'')}}
を満たす[[確率測度]] {{Mvar|&mu;}} が与えられる{{Sfn|久保・矢野|2018|pp=29&ndash;30}}{{Sfn|森・水谷|2009|pp=155&ndash;161}}。さらに
*{{Math|''A'' &isin; ''F''}} ならば {{Math|''T''<sup>&minus;1</sup>''A'' &isin; F}}
*{{Math|''&mu;''(''A'') {{=}} ''&mu;''(''T''<sup>&minus;1</sup>''A'')}}
を満たす[[保測写像]] {{Mvar|T}} を組にして測度論的力学系が成立する{{Sfn|久保・矢野|2018|pp=29&ndash;30}}。

[[記号力学系]]では、相空間 {{Mvar|X}} は記号列の集まりとなる{{Sfn|Kuznetsov|1998|p=3}}。記号が2種類から成り、記号列が両側無限列であるような場合、記号列 {{Mvar|x}} は
:<Math> x = \{ \cdots,\ a_{-2},\ a_{-1},\ a_{0},\ a_{1},\ a_{2},\ \cdots \}</math>
で与えられる{{Sfn|Kuznetsov|1998|p=3}}。ここで、{{Mvar|a<sub>i</sub>}} は記号 {{Math|1}} または {{Math|2}} のいずれかを取る{{Sfn|Kuznetsov|1998|p=3}}。この場合の相空間 {{Mvar|X}} は全ての記号列 {{Mvar|x}} の集合で{{Sfn|Kuznetsov|1998|p=3}}、しばしば {{Mvar|&Sigma;}} とも記す{{Sfn|ウィギンス|2013|p=436}}{{Sfn|國府|2000|p=58}}{{Sfn|久保・矢野|2018|p=7}}。さらに、異なる {{Mvar|x}} 同士の[[距離函数|距離]]を定義し、{{Mvar|x}} に適用すると記号を一斉に左にずらす働きをする[[シフト写像]] {{Mvar|&sigma;}} を用意し、記号力学系を構成する{{Sfn|國府|2000|pp=58&ndash;59}}。

==拡大相空間==
式 ({{EqNoteN|1}}) のような {{Mvar|f}} が時間 {{Mvar|t}} を陽に含まない微分方程式系は[[自励系|自律系]]と呼ばれる{{Sfn|下條|1992|p=8}}。自律系の微分方程式系は、現在の状態 {{Mvar|x}} のみで次の状態が定まるという力学系の決定論的な考え方と合致する{{Sfn|アリグッド・サウアー・ヨーク |2012|pp=88&ndash;89}}。一方で、以下のように {{Mvar|t}} を陽に含む微分方程式系は[[非自律系]]と呼ばれる{{Sfn|小室|2005|p=20}}。

{{NumBlk|:|<math> \frac{dx_k}{dt} = f_k(x_1, \cdots,\ x_n,\ t) </math>|{{EquationRef|2}} }} 

非自律系では {{Math|''x'' {{=}} (''x''<sub>1</sub>, ''x''<sub>2</sub>, &hellip; ''x<sub>n</sub>'')}} を定めても、ベクトル {{Math|''f''&thinsp;(''x'')}} は一つに定まらず、時間によって変化する{{Sfn|丹羽|2004|p=37}}。非自励系について相空間（{{Mvar|x}} が定義されている空間）上で軌道を考えると、自励系とは異なり軌道が交差し得る{{Sfn|千葉|2021|p=118}}。

そこで、元の状態変数 {{Mvar|x}} に時間 {{Mvar|t}} を加えた組 {{Math|(''x'', ''t'')}} を座標とする空間 {{Math|''X'' &times; '''R'''}} を考える{{Sfn|丹羽|2004|p=37}}{{Sfn|伊藤|1998|p=13}}。{{Mvar|t}} を形式的に {{Math|''n'' + 1}} 番目の状態変数 {{Math|''x''<sub>''n'' + 1</sub> &isin; '''R'''}} と見なせば、

{{NumBlk|:|<math>
\begin{cases}
\dfrac{dx_k}{dt} = f_k(x_1, \cdots,\ x_n,\ x_{n+1} )\\
\dfrac{dx_{n+1}}{dt} = 1 
\end{cases}
</math>|{{EquationRef|3}} }} 

という風に自律系の {{Math|''n'' + 1}} 連立一階微分方程式に帰着でき、空間 {{Math|''X'' &times; '''R'''}} 上の各点には方程式の右辺を成分とするベクトルが一意に定まる{{Sfn|丹羽|2004|p=37}}{{Sfn|伊藤|1998|p=13}}。元の {{Mvar|n}} 次元相空間 {{Mvar|X}} と区別し、このような {{Math|''n'' + 1}} 次元空間 {{Math|''X'' &times; '''R'''}} は'''拡大相空間'''（{{Lang-en-short|extended phase space|links=no}}）と呼ばれる{{Sfn|丹羽|2004|p=37}}{{Sfn|伊藤|1998|p=13}}。拡大相空間で考えることによって軌道の交差が無くなるので、系の振る舞いを考察しやすくなる{{Sfn|千葉|2021|p=241}}。

非自律系が時間に関して周期的な場合、すなわち式 ({{EqNoteN|2}}) において {{Math|''f<sub>k</sub>''(''x''<sub>1</sub>,&hellip;, ''x<sub>n</sub>'', ''t'') {{=}} ''f<sub>k</sub>''(''x''<sub>1</sub>,&hellip;, ''x<sub>n</sub>'', ''t'' + ''&tau;'')}} を充たすような定数 {{Math|''&tau;'' &isin; '''R'''}} が存在する場合、拡大相空間は {{Math|''X'' &times; '''R'''}} よりも {{Math|''X'' &times; ''T''<sup>1</sup>}} の空間で考える方が適する{{Sfn|丹羽|2004|p=127}}。{{Math|''T''<sup>1</sup>}} は {{Math|''T''<sup>1</sup> {{=}} '''R'''/''&tau;''&thinsp;'''Z'''}} で定まる1次元[[トーラス]]である{{Sfn|丹羽|2004|p=127}}。

==解析力学における「相空間」==
{{Main|位相空間 (物理学)}}
物理学の[[解析力学]]（とくに[[ハミルトン力学]]）で扱われる相空間は、物体の[[位置]] {{Mvar|q}} と[[運動量]] {{Mvar|p}} を座標とする空間である{{Sfn|深谷|2004|p=31}}。これに対し、位置 {{Mvar|q}} だけの空間は[[配位空間]]と呼ばれる{{Sfn|前野|2013|p=215}}。{{Mvar|q}} の[[自由度]]が {{Mvar|n}} のとき、相空間は {{Math|2''n''}} 次元 となる{{Sfn|前野|2013|p=220}}。

狭い意味での「相空間」は、このような力学分野における位置と運動量を座標にした {{Math|2''n''}} 次元空間を指す{{Sfn|伊藤|1998|p=111}}。力学における「相空間」も、数学における「相空間」も、もとは phase space からの和訳で、数学以外では「[[位相空間 (物理学)|位相空間]]」とも訳される{{Sfn|深谷|2004|p=31}}{{Sfn|齋藤|2004|p=20}}。しかし、数学では前出の topological space の意味で「[[位相空間]]」という用語を使うので、数学分野または混合のおそれがある場合には phase space の意味では「相空間」という用語を使う{{Sfn|深谷|2004|p=31}}{{Sfn|齋藤|2004|p=20}}。「phase space」という用語自体は、力学における「phase space（位相空間）」の方が先で、それを借用して数学でも「phase space（相空間）」という用語で用いられている{{Sfn|齋藤|2004|p=20}}。

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

==参照文献==
*{{Cite book ja-jp 
|author = 丹羽 敏雄
|title = 微分方程式と力学系の理論入門 ―非線形現象の解析にむけて―
|publisher = 遊星社 
|edition = 増補版
|year = 2004
|isbn = 4-7952-6900-9
|ref = {{SfnRef|丹羽|2004}}
}}
*{{Cite book ja-jp 
|author = 齋藤 利弥
|title = 力学系入門
|url = https://www.asakura.co.jp/books/isbn/978-4-254-11722-6/
|publisher = [[朝倉書店]] 
|edition = 復刊版
|year = 2004
|isbn = 4-254-11722-1
|ref = {{SfnRef|齋藤|2004}}
}}
*{{Cite book ja-jp 
|author = 齋藤 利弥
|title = 位相力学 ―常微分方程式の定性的理論―
|url = https://www.kyoritsu-pub.co.jp/book/b10011185.html
|publisher = 共立出版
|edition = 復刊
|year = 2002
|isbn = 4-320-01712-9
|ref = {{SfnRef|齋藤|2002}}
}}
*{{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 = 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
|author = Yuri A. Kuznetsov
|title = Elements of Applied Bifurcation Theory
|url = https://link.springer.com/book/10.1007/b98848
|publisher = Springer
|edition = Second
|series = Applied mathematical sciences Vol. 112
|year = 1998
|isbn = 0-387-98382-1
|ref = {{SfnRef|Kuznetsov|1998}}
}}
*{{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 = よくわかる解析力学 
|url = http://www.tokyo-tosho.co.jp/books/978-4-489-02162-6/
|publisher = 東京図書
|year = 2013 
|isbn = 978-4-489-02162-6
|ref = {{SfnRef|前野|2013}}
}}
*{{Cite book ja-jp
|title = 基礎からの力学系 ―分岐解析からカオス的遍歴へ―
|url = https://www.saiensu.co.jp/search/?isbn=978-4-7819-1118-2&y=2005
|author = 小室 元政
|publisher = サイエンス社
|year = 2005
|edition = 新版
|isbn = 4-7819-1118-8
|ref = {{SfnRef|小室|2005}}
}}
*{{Cite book ja-jp 
|author = 井上 政義・秦 浩起
|title = カオス科学の基礎と展開 ―複雑系の理解に向けて
|url = https://www.kyoritsu-pub.co.jp/bookdetail/9784320033238
|publisher = 共立出版 
|edition= 初版 
|year = 1999
|isbn = 4-320-03323-X
|ref = {{SfnRef|井上・秦|1999}}
}}
*{{Cite book ja-jp
|author = 井上 政義
|title = やさしくわかるカオスと複雑系の科学
|year=1996
|edition = 初版
|publisher= 日本実業出版社
|isbn = 4-53402492-4
|ref = {{SfnRef|井上|1996}}
}}
*{{Cite book ja-jp
|author = 下條 隆嗣
|title = カオス力学入門 ―古典力学からカオス力学へ―
|series = シミュレーション物理学6
|publisher = 近代科学社
|year = 1992
|edition = 初版
|isbn = 4-7649-2005-0
|ref = {{SfnRef|下條|1992}}
}}
*{{Cite book ja-jp 
|author = E. Atlee Jackson 
|translator = 田中 茂・丹羽 敏雄・水谷 正大・森 真 
|title = 非線形力学の展望Ⅰ ―カオスとゆらぎ― 
|url = https://www.kyoritsu-pub.co.jp/bookdetail/9784320033252  
|publisher = 共立出版 
|year = 1994 
|edition = 初版 
|isbn = 4-320-03325-6 
|ref = {{SfnRef|Jackson|1994}}
}}
*{{Cite book ja-jp 
|title = カオス ―カオス理論の基礎と応用―
|chapter = カオスとフラクタル
|url = https://www.saiensu.co.jp/search/?isbn=978-4-7819-0592-1&y=1990
|editor = 合原 一幸 
|author = 徳永 隆治
|series = Information & Computing 49
|publisher = サイエンス社 
|year = 1990 
|edition = 初版 
|isbn = 4-7819-0592-7
|ref = {{SfnRef|徳永|1990}}
}}
*{{Cite book ja-jp 
|author = Steven H. Strogatz
|translator = 田中 久陽・中尾 裕也・千葉 逸人
|title = ストロガッツ　非線形ダイナミクスとカオス ―数学的基礎から物理・生物・化学・工学への応用まで―
|url = https://www.maruzen-publishing.co.jp/item/b294857.html
|publisher = 丸善出版
|year = 2015
|isbn = 978-4-621-08580-6
|ref = {{SfnRef|Strogatz|2015}}
}}
*{{Cite book ja-jp 
|author =  森 真・水谷 正大
|title = 入門力学系 ―自然の振舞いを数学で読みとく―
|url = http://www.tokyo-tosho.co.jp/books/ISBN978-4-489-02050-6.html
|publisher = 東京図書
|year = 2009
|isbn = 978-4-489-02050-6
|ref = {{SfnRef|森・水谷|2009}}
}}
*{{Cite book ja-jp 
|author = K.T.アリグッド; T.D.サウアー; J.A.ヨーク 
|translator = 星野 高志・阿部 巨仁・黒田 拓・松本 和宏 
|others = 津田 一郎（監訳）
|url = https://www.maruzen-publishing.co.jp/item/b294298.html
|title = カオス 第2巻 力学系入門 
|publisher = 丸善出版 
|year = 2012 
|isbn = 978-4-621-06279-1
|ref = {{SfnRef|アリグッド・サウアー・ヨーク |2012}}
}}
*{{Cite book ja-jp 
|author = 今 隆助・竹内 康博 
|title = 常微分方程式とロトカ・ヴォルテラ方程式 
|url = https://www.kyoritsu-pub.co.jp/bookdetail/9784320113480 
|publisher = 共立出版 
|year = 2018 
|edition = 初版 
|isbn = 978-4-320-11348-0 
|ref= {{SfnRef|今・竹内|2018}}
}}
*{{Cite book ja-jp 
|author = 深谷 賢治 
|title = 解析力学と微分形式
|series = 現代数学への入門
|url = https://www.iwanami.co.jp/book/b259047.html
|publisher = 岩波書店
|year = 2004
|isbn = 4-00-006884-9
|ref= {{SfnRef|深谷|2004}}
}}
*{{Cite book ja-jp 
|author = 伊藤 秀一 
|title = 常微分方程式と解析力学 
|url = https://www.kyoritsu-pub.co.jp/book/b10011768.html
|series = 共立講座 21世紀の数学 11 
|publisher = 共立出版 
|edition = 初版
|year = 1998
|isbn = 4-320-01563-0
|ref = {{SfnRef|伊藤|1998}}
}}
*{{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 = 千葉 逸人
|title = 解くための微分方程式と力学系理論
|url = https://www.gensu.jp/product/%e8%a7%a3%e3%81%8f%e3%81%9f%e3%82%81%e3%81%ae%e5%be%ae%e5%88%86%e6%96%b9%e7%a8%8b%e5%bc%8f%e3%81%a8%e5%8a%9b%e5%ad%a6%e7%b3%bb%e7%90%86%e8%ab%96/
|publisher = 現代数学社
|edition= 初版 
|year = 2021
|isbn = 978-4-7687-0570-4
|ref = {{SfnRef|千葉|2021}}
}}
==外部リンク==
{{Commonscat}}
* {{JGLOBAL ID|200906036335389590}}
* [https://encyclopediaofmath.org/wiki/Phase_space Phase space] - Encyclopedia of Mathematics
* [https://mathworld.wolfram.com/PhaseSpace.html Phase space] - MathWorld
* [http://www.scholarpedia.org/article/State_space State space] - Scholarpedia

{{Normdaten}}
{{デフォルトソート:そうくうかん}}
[[Category:力学系]]
[[Category:ハミルトン力学]]