「相空間」の版間の差分

削除された内容追加された内容

インライン

2023年4月1日 (土) 13:05時点における版

力学系理論における相空間（そうくうかん、英: phase space）は、対象のシステムが取る状態全てから成る抽象的な空間である^[1]^[2]。状態空間（じょうたいくうかん、英: state space）ともいう^[3]^[2]^[4]。

力学系とは、システム（系）の将来の状態が現在の状態から一意に決まる決定論的な過程を、数学的に定式化したものを指す^[5]。相空間 $X$ とは、力学系の基本構成要素の一つで、対象のシステムが取り得る状態全てを集めてできる集合である^[6]^[5]。さらに、現在の状態から次の状態を定める決定論的法則 $F$ と時間 $T$ の2つを加えて、 $(X, F, T)$ の一組で力学系が成立する^[6]^[5]。相空間というものを導入することによって、空間上の1点を指定する形でシステムの状態を議論できるようになる^[7]。すなわち相空間とは、システムの状態の振る舞いを解析するときに、そのシステムの状態は空間上でどんな動きをするのかという視点に切り替える概念的道具といえる^[8]。

物理的な空間の単振り子の運動（下図）を、相空間（上図）の点の運動として表したアニメーション。上図の横軸が振れ角 $θ$ で、縦軸が角速度 $ω$ に該当する。

通常、系の状態はいくつかの変数で表される^[9]。これらの変数は状態変数などと呼ばれる^[9]^[4]。例えば、力学系の例として、長さ一定で空気抵抗やその他外部からの影響を排した単振り子の運動を考える。このシステムの状態は振れ角 $θ$ とその角速度 $ω$ で一意に決まるので、 $(θ, ω)$ が状態を表す変数である^[10]。そして、 $θ$ と $ω$ の組全体から成る抽象的な空間（ $θ$ と $ω$ を座標とする平面）を考えると、それがこのシステムの相空間である^[6]^[11]。相空間を構成する一つひとつの要素は、単に点と呼ばれる^[12]^[13]^[11]ほかに、相^[10]^[14]、相点^[15]^[10]、位相^[1]^[14]、位相点^[16]^[9]、代表点^[16]^[17]、状態^[4]などと呼ばれる。

相空間上の点は、時間変化によって相空間内を動く。相空間上を点が動いてできる経路は軌道と呼ばれる^[9]。時間を連続的なものとして考える力学系では、軌道は相空間上で連続的な曲線を描く^[18]。一方、時間を離散的なものとして考える力学系では、軌道は相空間上でとびとびの点列となる^[18]。決定論的に状態が定まるという要請により、相空間における2つの異なる軌道が交わることはない^[19]。ある力学系の全軌道の概略を相空間上に示した図を、相図（英: phase portrait）という^[20]^[21]。

力学系の従属変数の個数すなわち相空間の座標の数は、相空間または力学系の次元と呼ばれる^[22]^[23]^[24]。特に相空間は、状態変数が実数1つ（ $R 1$ ）のときには相直線と、状態変数が実数2つ（ $R 2$ ）のときには相平面と呼ばれることもある^[25]。ポアンカレ・ベンディクソンの定理に代表されるように、相空間の次元と形状は軌道の形状に制限を与える^[26]。一般的に、系が非線形でなおかつ高次元になるほど系の取り扱いが難しくなる^[27]。状態の空間的に連続的に分布している偏微分方程式で記述されるような力学系では、相空間の次元は無限になる^[28]^[29]。

種類

一般的なレベルでの力学系（とくに位相力学系）では、相空間を位相空間（英: topological space）として設定する^[30]^[31]^[32]。ただし、相空間をまったく純粋な位相空間に設定すると、あまり詳しい結果は得られない^[33]。実際には、位相空間であることに加え、いくつかの前提（例えば距離空間であること）を相空間に持たせて議論される^[34]。特に相空間がコンパクトであると仮定できれば、位相力学系に関する多くの結果を得ることができ、一般的な枠組みを議論できる^[35]^[36]。

力学系の例として多いのは、システムの状態がいくつかの実数の組 $(x 1, x 2, \dots x n)$ で表される場合で、空間としてはユークリッド空間 $R n$ あるいはその部分集合で考えられることが多い^[24]^[37]^[12]。力学系の軌道は特定の多様体上に制限されていることもあり、より一般的には相空間は多様体となる^[24]^[38]^[39]。多様体に制限することで、それぞれの多様体が持つトポロジカルな性質を利用することもできる^[40]。上記の単振り子の例でいえば、角速度 $ω$ は単に実数だが、振れ角 $θ$ の定義域は $- π < θ \leq π$ であり、これは幾何学的には円周と同一視できる^[41]^[42]^[6]。したがって、単振り子の系の相空間は、円周 $S 1$ または $T 1$ と直線 $R$ の直積集合で、幾何学的には無限に長い円柱面となる^[43]^[41]^[42]^[6]。ただし、いくつかの注意を払えば、相空間を $R n$ あるいはその部分集合と仮定しても多くの場合で一般性は失われない^[24]^[44]。

可微分力学系では相空間は微分構造を持ち、ベクトル場で定まる連続力学系がその典型例である^[45]。状態変数を $x = (x 1, x 2, \dots x n) \in X \subset R n$ 、時間を $t \in T \subset R$ とし、力学系が $n$ 連立一階微分方程式

{\frac {dx_{k}}{dt}}=f_{k}(x_{1},\cdots ,\ x_{n}),\ (k=1,\ \cdots n)

で与えられるとき、相空間上の各点にはベクトル $f (x): X \to R n$ が対応する^[46]。このとき、 $f (x)$ は解曲線の接ベクトルに一致し、各点が時間経過したときに動く方向と大きさを表す^[47]^[48]。

上記のように $f$ が時間 $t$ を陽に含まない微分方程式系は自律系と呼ばれる^[49]。自律系の微分方程式系は、現在の状態 $x$ のみで次の状態が定まるという力学系の決定論的な考え方と合致する^[50]。一方で、以下のように $t$ を陽に含む微分方程式系は非自律系と呼ばれる^[51]。

{\frac {dx_{k}}{dt}}=f_{k}(x_{1},\cdots ,\ x_{n},\ t),\ (k=1,\ \cdots n)

非自律系では $x$ を定めても、ベクトル $f (x)$ は一つに定まらず、時間によって変化する^[52]。そこで、元の状態変数 $x$ に時間 $t$ を加えた組 $(x, t)$ を座標とする空間 $X \times T$ を考える^[52]^[53]。 $t$ を形式的に $n + 1$ 番目の状態変数 $x n + 1$ と見なせば、

{\begin{cases}{\dfrac {dx_{k}}{dt}}=f_{k}(x_{1},\cdots ,\ x_{n},\ x_{n+1}),\ (k=1,\ \cdots n)\\{\dfrac {dx_{n+1}}{dt}}=1\end{cases}}

という風に自律系の $n + 1$ 連立一階微分方程式に帰着でき、空間 $X \times T$ 上の各点には方程式の右辺を成分とするベクトルが一意に定まる^[52]^[53]。元の $n$ 次元相空間 $X$ と区別し、このような $n + 1$ 次元空間 $X \times T$ は拡大相空間（英: extended phase space）と呼ばれる^[52]^[53]。

測度論的力学系を展開するときは、相空間は可測構造を持つ^[54]。この場合、相空間 $X$ に対して

$X \in F$
$A \in F$ ならば $A c \in F$
$A 1, A 2,\dots \in F$ ならば $\cup \infty i =1 A i \in F$

を満たすσ-集合体 $F$ が存在し、 $A \in F$ に対して、

$μ (A) \geq 0$ かつ $μ (X) = 1$
$A 1, A 2,\dots \in F$ が互いに素ならば $μ (\cup \infty i =1 A i) = \sum \infty i =1 μ (A i)$

を満たす確率測度 $μ$ が与えられる^[54]^[55]。さらに

$A \in F$ ならば $T -1 A \in F$
$μ (A) = μ (T -1 A)$

を満たす保測写像 $T$ を組にして測度論的力学系が成立する^[54]。

記号力学系では、相空間 $X$ は記号列の集まりとなる^[56]。記号が2種類から成り、記号列が両側無限列であるような場合、記号列 $x$ は

x=\{\cdots ,\ a_{-2},\ a_{-1},\ a_{0},\ a_{1},\ a_{2},\ \cdots \}

で与えられる^[56]。ここで、 $a i$ は記号 $1$ または $2$ のいずれかを取る^[56]。この場合の相空間 $X$ は全ての記号列 $x$ の集合で^[56]、しばしば $Σ$ とも記す^[57]^[58]^[59]。さらに、異なる $x$ 同士の距離を定義し、 $x$ に適用すると記号を一斉に左にずらす働きをするシフト写像 $σ$ を用意し、記号力学系を構成する^[60]。

解析力学における相空間

詳細は「位相空間 (物理学)」を参照

物理学の解析力学（とくにハミルトン力学）で扱われる相空間は、物体の位置 $q$ と運動量 $p$ を座標とする空間である^[61]。これに対し、位置 $q$ だけの空間は配位空間と呼ばれる^[62]。 $q$ の自由度が $n$ のとき、相空間は $2 n$ 次元となる^[63]。

狭い意味での「相空間」は、このような力学における位置と運動量を座標にした $2 n$ 次元空間を指す^[64]。力学における「相空間」も、数学における「相空間」も、もとは phase space からの和訳で、数学以外では「位相空間」とも訳される^[61]^[65]。しかし、数学では前出の topological space の意味で「位相空間」という用語を使うので、数学の世界または混合のおそれがある場合には phase space の意味では「相空間」という用語を使う^[61]^[65]。「相空間 (phase space）」という用語自体は、力学における「相空間」の方が起源で、それを借用して数学でも「相空間」という用語で用いられている^[65]。

出典

^ ^a ^b 丹羽 2004, p. 16.
^ ^a ^b Kuznetsov 1998, p. 2.
^ 青木・白岩 2013, pp. 14–15.
^ ^a ^b ^c 徳永 1990, p. 66.
^ ^a ^b ^c Kuznetsov 1998, p. 1.
^ ^a ^b ^c ^d ^e 國府 2000, p. 1.
^ 森・水谷 2009, p. 9.
^ Jackson 1994, p. 17.
^ ^a ^b ^c ^d 井上・秦 1999, p. 65.
^ ^a ^b ^c 丹羽 2004, pp. 16, 34.
^ ^a ^b Strogatz 2015, p. 8.
^ ^a ^b Jackson 1994, p. 16.
^ ウィギンス 2013, p. 2.
^ ^a ^b 齋藤 2004, p. 19.
^ 小室 2005, p. 8.
^ ^a ^b 井上 1996, p. 44.
^ 下條 1992, p. 5.
^ ^a ^b 井上・秦 1999, pp. 25–26.
^ 井上・秦 1999, p. 66.
^ 伊藤 1998, p. 47.
^ Strogatz 2015, p. 138.
^ Strogatz 2015, p. 9.
^ アリグッド・サウアー・ヨーク 2012, p. 99.
^ ^a ^b ^c ^d 丹羽 2004, p. 31.
^ 今・竹内 2018, p. 107.
^ アリグッド・サウアー・ヨーク 2012, p. 145.
^ Strogatz 2015, pp. 13–14.
^ Strogatz 2015, pp. 12–13.
^ Kuznetsov 1998, p. 33.
^ 久保・矢野 2018, p. 26.
^ 青木・白岩 2013, p. 15.
^ 齋藤 2002, p. 15.
^ 齋藤 2004, p. 46.
^ 齋藤 2002, pp. 16–17.
^ 齋藤 2002, p. 8.
^ 久保・矢野 2018, p. 69.
^ ウィギンス 2013, p. 1.
^ Jackson 1994, p. 20.
^ 國府 2000, pp. 1–2.
^ 齋藤 2002, p. 16.
^ ^a ^b Strogatz 2015, p. 188.
^ ^a ^b 齋藤 2004, p. 87.
^ 丹羽 2004, pp. 10, 21.
^ ウィギンス 2013, pp. 1–2.
^ 久保・矢野 2018, p. 28.
^ 小室 2005, pp. 17–18.
^ 伊藤 1998, pp. 10, 13.
^ 森・水谷 2009, p. 24.
^ 下條 1992, p. 8.
^ アリグッド・サウアー・ヨーク 2012, pp. 88–89.
^ 小室 2005, p. 20.
^ ^a ^b ^c ^d 丹羽 2004, p. 37.
^ ^a ^b ^c 伊藤 1998, p. 13.
^ ^a ^b ^c 久保・矢野 2018, pp. 29–30.
^ 森・水谷 2009, pp. 155–161.
^ ^a ^b ^c ^d Kuznetsov 1998, p. 3.
^ ウィギンス 2013, p. 436.
^ 國府 2000, p. 58.
^ 久保・矢野 2018, p. 7.
^ 國府 2000, pp. 58–59.
^ ^a ^b ^c 深谷 2004, p. 31.
^ 前野 2013, p. 215.
^ 前野 2013, p. 220.
^ 伊藤 1998, p. 111.
^ ^a ^b ^c 齋藤 2004, p. 20.

参照文献

丹羽敏雄、2004、『微分方程式と力学系の理論入門 ―非線形現象の解析にむけて―』増補版、遊星社 ISBN 4-7952-6900-9
齋藤利弥、2004、『力学系入門』復刊版、朝倉書店 ISBN 4-254-11722-1
齋藤利弥、2002、『位相力学 ―常微分方程式の定性的理論―』復刊、共立出版 ISBN 4-320-01712-9
國府寛司、2000、『力学系の基礎』初版、朝倉書店〈カオス全書2〉 ISBN 4-254-12672-7
S. ウィギンス、丹羽敏雄（監訳）、今井桂子・田中茂・水谷正大・森真（訳）、2013、『非線形の力学系とカオス』新装版、丸善出版 ISBN 978-4-621-06435-1
Yuri A. Kuznetsov (1998). Elements of Applied Bifurcation Theory. Applied mathematical sciences Vol. 112 (Second ed.). Springer. ISBN 0-387-98382-1
青木統夫・白岩謙一、2013、『力学系とエントロピー』復刊、共立出版 ISBN 978-4-320-11043-4
前野昌弘、2013、『よくわかる解析力学』、東京図書 ISBN 978-4-489-02162-6
小室元政、2005、『基礎からの力学系 ―分岐解析からカオス的遍歴へ―』新版、サイエンス社 ISBN 4-7819-1118-8
井上政義・秦浩起、1999、『カオス科学の基礎と展開 ―複雑系の理解に向けて』初版、共立出版 ISBN 4-320-03323-X
井上政義、1996、『やさしくわかるカオスと複雑系の科学』初版、日本実業出版社 ISBN 4-53402492-4
下條隆嗣、1992、『カオス力学入門 ―古典力学からカオス力学へ―』初版、近代科学社〈シミュレーション物理学6〉 ISBN 4-7649-2005-0
E. Atlee Jackson、田中茂・丹羽敏雄・水谷正大・森真（訳）、1994、『非線形力学の展望Ⅰ ―カオスとゆらぎ―』初版、共立出版 ISBN 4-320-03325-6
徳永隆治、合原一幸（編）、1990、「カオスとフラクタル」、『カオス ―カオス理論の基礎と応用―』初版、サイエンス社〈Information & Computing 49〉 ISBN 4-7819-0592-7
Steven H. Strogatz、田中久陽・中尾裕也・千葉逸人（訳）、2015、『ストロガッツ　非線形ダイナミクスとカオス ―数学的基礎から物理・生物・化学・工学への応用まで―』、丸善出版 ISBN 978-4-621-08580-6
森真・水谷正大、2009、『入門力学系 ―自然の振舞いを数学で読みとく―』、東京図書 ISBN 978-4-489-02050-6
K.T.アリグッド; T.D.サウアー; J.A.ヨーク、津田一郎（監訳）、星野高志・阿部巨仁・黒田拓・松本和宏（訳）、2012、『カオス第2巻力学系入門』、丸善出版 ISBN 978-4-621-06279-1
今隆助・竹内康博、2018、『常微分方程式とロトカ・ヴォルテラ方程式』初版、共立出版 ISBN 978-4-320-11348-0
深谷賢治、2004、『解析力学と微分形式』、岩波書店〈現代数学への入門〉 ISBN 4-00-006884-9
伊藤秀一、1998、『常微分方程式と解析力学』初版、共立出版〈共立講座 21世紀の数学 11〉 ISBN 4-320-01563-0
久保泉・矢野公一、2018、『力学系』オンデマンド版、岩波書店 ISBN 978-4-00-730742-3

外部リンク

相空間 - J-GLOBAL
Phase space - Encyclopedia of Mathematics
Phase space - MathWorld
State space - Scholarpedia

[FOOTNOTE丹羽200416-1] 丹羽 2004, p. 16.

[FOOTNOTEKuznetsov19982-2] Kuznetsov 1998, p. 2.

[FOOTNOTE青木・白岩201314–15-3] 青木・白岩 2013, pp. 14–15.

[FOOTNOTE徳永199066-4] 徳永 1990, p. 66.

[FOOTNOTEKuznetsov19981-5] Kuznetsov 1998, p. 1.

[FOOTNOTE國府20001-6] 國府 2000, p. 1.

[FOOTNOTE森・水谷20099-7] 森・水谷 2009, p. 9.

[FOOTNOTEJackson199417-8] Jackson 1994, p. 17.

[FOOTNOTE井上・秦199965-9] 井上・秦 1999, p. 65.

[FOOTNOTE丹羽200416,_34-10] 丹羽 2004, pp. 16, 34.

[FOOTNOTEStrogatz20158-11] Strogatz 2015, p. 8.

[FOOTNOTEJackson199416-12] Jackson 1994, p. 16.

[FOOTNOTEウィギンス20132-13] ウィギンス 2013, p. 2.

[FOOTNOTE齋藤200419-14] 齋藤 2004, p. 19.

[FOOTNOTE小室20058-15] 小室 2005, p. 8.

[FOOTNOTE井上199644-16] 井上 1996, p. 44.

[FOOTNOTE下條19925-17] 下條 1992, p. 5.

[FOOTNOTE井上・秦199925–26-18] 井上・秦 1999, pp. 25–26.

[FOOTNOTE井上・秦199966-19] 井上・秦 1999, p. 66.

[FOOTNOTE伊藤199847-20] 伊藤 1998, p. 47.

[FOOTNOTEStrogatz2015138-21] Strogatz 2015, p. 138.

[FOOTNOTEStrogatz20159-22] Strogatz 2015, p. 9.

[FOOTNOTEアリグッド・サウアー・ヨーク201299-23] アリグッド・サウアー・ヨーク 2012, p. 99.

[FOOTNOTE丹羽200431-24] 丹羽 2004, p. 31.

[FOOTNOTE今・竹内2018107-25] 今・竹内 2018, p. 107.

[FOOTNOTEアリグッド・サウアー・ヨーク2012145-26] アリグッド・サウアー・ヨーク 2012, p. 145.

[FOOTNOTEStrogatz201513–14-27] Strogatz 2015, pp. 13–14.

[FOOTNOTEStrogatz201512–13-28] Strogatz 2015, pp. 12–13.

[FOOTNOTEKuznetsov199833-29] Kuznetsov 1998, p. 33.

[FOOTNOTE久保・矢野201826-30] 久保・矢野 2018, p. 26.

[FOOTNOTE青木・白岩201315-31] 青木・白岩 2013, p. 15.

[FOOTNOTE齋藤200215-32] 齋藤 2002, p. 15.

[FOOTNOTE齋藤200446-33] 齋藤 2004, p. 46.

[FOOTNOTE齋藤200216–17-34] 齋藤 2002, pp. 16–17.

[FOOTNOTE齋藤20028-35] 齋藤 2002, p. 8.

[FOOTNOTE久保・矢野201869-36] 久保・矢野 2018, p. 69.

[FOOTNOTEウィギンス20131-37] ウィギンス 2013, p. 1.

[FOOTNOTEJackson199420-38] Jackson 1994, p. 20.

[FOOTNOTE國府20001–2-39] 國府 2000, pp. 1–2.

[FOOTNOTE齋藤200216-40] 齋藤 2002, p. 16.

[FOOTNOTEStrogatz2015188-41] Strogatz 2015, p. 188.

[FOOTNOTE齋藤200487-42] 齋藤 2004, p. 87.

[FOOTNOTE丹羽200410,_21-43] 丹羽 2004, pp. 10, 21.

[FOOTNOTEウィギンス20131–2-44] ウィギンス 2013, pp. 1–2.

[FOOTNOTE久保・矢野201828-45] 久保・矢野 2018, p. 28.

[FOOTNOTE小室200517–18-46] 小室 2005, pp. 17–18.

[FOOTNOTE伊藤199810,_13-47] 伊藤 1998, pp. 10, 13.

[FOOTNOTE森・水谷200924-48] 森・水谷 2009, p. 24.

[FOOTNOTE下條19928-49] 下條 1992, p. 8.

[FOOTNOTEアリグッド・サウアー・ヨーク201288–89-50] アリグッド・サウアー・ヨーク 2012, pp. 88–89.

[FOOTNOTE小室200520-51] 小室 2005, p. 20.

[FOOTNOTE丹羽200437-52] 丹羽 2004, p. 37.

[FOOTNOTE伊藤199813-53] 伊藤 1998, p. 13.

[FOOTNOTE久保・矢野201829–30-54] 久保・矢野 2018, pp. 29–30.

[FOOTNOTE森・水谷2009155–161-55] 森・水谷 2009, pp. 155–161.

[FOOTNOTEKuznetsov19983-56] Kuznetsov 1998, p. 3.

[FOOTNOTEウィギンス2013436-57] ウィギンス 2013, p. 436.

[FOOTNOTE國府200058-58] 國府 2000, p. 58.

[FOOTNOTE久保・矢野20187-59] 久保・矢野 2018, p. 7.

[FOOTNOTE國府200058–59-60] 國府 2000, pp. 58–59.

[FOOTNOTE深谷200431-61] 深谷 2004, p. 31.

[FOOTNOTE前野2013215-62] 前野 2013, p. 215.

[FOOTNOTE前野2013220-63] 前野 2013, p. 220.

[FOOTNOTE伊藤1998111-64] 伊藤 1998, p. 111.

[FOOTNOTE齋藤200420-65] 齋藤 2004, p. 20.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[24]

[25]

[26]

[27]

[28]

[29]

[30]

[31]

[32]

[33]

[34]

[35]

[36]

[37]

[38]

[39]

[40]

[41]

[42]

[43]

[44]

[45]

[46]

[47]

[48]

[49]

[50]

[51]

[52]

[53]

[54]

[55]

[56]

[57]

[58]

[59]

[60]

[61]

[62]

[63]

[64]

[65]

@@ 1行目: / 1行目: @@
-{{Otheruses||解析力学における相空間|位相空間 (物理学)|制御工学における状態空間|状態空間 (制御理論)}}
+{{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}}{{Sfn|Kuznetsov|1998|p=2}}{{Sfn|徳永|1990|p=66}}。
+[[力学系理論]]における'''相空間'''（そうくうかん、{{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}}。
-[[力学系]]とは、システム（系）の現在の状態から将来の状態が一意に決まる決定論的な過程を数学的に定式化したもので、ある程度の精度ながらそのような法則が知られているシステムは物理的、化学的、生態的、経済的、社会的なものなど多くある{{Sfn|Kuznetsov|1998|p=1}}。相空間とは、力学系の基本構成要素の一つで、対象のシステムが取り得る状態全てを集めてできる[[集合]]である{{Sfn|國府|2000|p=1}}{{Sfn|Kuznetsov|1998|p=1}}。さらに、現在の状態から次の状態を定める決定論的法則と時間の2つを加えて、力学系が成立する{{Sfn|國府|2000|p=1}}{{Sfn|Kuznetsov|1998|p=1}}。相空間というものを導入することによって、空間上の1点を指定する形でシステムの状態を議論できるようになる{{Sfn|森・水谷|2009|p=9}}。
+[[力学系]]とは、システム（系）の将来の状態が現在の状態から一意に決まる[[決定論]]的な過程を、数学的に定式化したものを指す{{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;}} に該当する。]]
-[[File:Pendulum gravity.svg|thumb|x300px|[[単振り子]]の運動]]
 通常、系の状態はいくつかの[[変数 (数学)|変数]]で表される{{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|Strogatz|2015|pp=13&ndash;14}}。状態の空間的に連続的に分布している[[偏微分方程式]]で記述されるような力学系では、相空間の次元は無限になる{{Sfn|Strogatz|2015|pp=12&ndash;13}}{{Sfn|Kuznetsov|1998|p=33}}。
+力学系の従属変数の個数すなわち相空間の座標の数は、相空間または力学系の'''次元'''と呼ばれる{{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}}。
+一般的なレベルでの力学系（とくに[[位相力学系]]）では、相空間を[[位相空間]]（{{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; ''T'' &sub;'''R'''}}  とし、力学系が{{Mvar|n}} 連立一階微分方程式
+:<math>\frac{dx_k}{dt} = f_k(x_1, \cdots,\ x_n),\ (k = 1,\ \cdots n) </math>
+で与えられるとき、相空間上の各点にはベクトル {{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}}。
+上記のように {{Mvar|f}} が時間 {{Mvar|t}} を陽に含まない微分方程式系は[[自励系|自律系]]と呼ばれる{{Sfn|下條|1992|p=8}}。自律系の微分方程式系は、現在の状態 {{Mvar|x}} のみで次の状態が定まるという力学系の決定論的な考え方と合致する{{Sfn|アリグッド・サウアー・ヨーク |2012|pp=88&ndash;89}}。一方で、以下のように {{Mvar|t}} を陽に含む微分方程式系は非自律系と呼ばれる{{Sfn|小室|2005|p=20}}。
+:<math>\frac{dx_k}{dt} = f_k(x_1, \cdots,\ x_n,\ t),\ (k = 1,\ \cdots n) </math>
+非自律系では {{Mvar|x}} を定めても、ベクトル {{Math|''f''&thinsp;(''x'')}} は一つに定まらず、時間によって変化する{{Sfn|丹羽|2004|p=37}}。そこで、元の状態変数 {{Mvar|x}} に時間 {{Mvar|t}} を加えた組 {{Math|(''x'', ''t'')}} を座標とする空間 {{Math|''X'' &times; ''T''}} を考える{{Sfn|丹羽|2004|p=37}}{{Sfn|伊藤|1998|p=13}}。{{Mvar|t}} を形式的に {{Math|''n'' + 1}} 番目の状態変数 {{Math|''x''<sub>''n'' + 1</sub>}} と見なせば、
+:<math>
+\begin{cases}
+\dfrac{dx_k}{dt} = f_k(x_1, \cdots,\ x_n,\ x_{n+1} ),\ (k = 1,\ \cdots n)  \\
+\dfrac{dx_{n+1}}{dt} = 1
+\end{cases}
+</math>
+という風に自律系の {{Math|''n'' + 1}} 連立一階微分方程式に帰着でき、空間 {{Math|''X'' &times; ''T''}} 上の各点には方程式の右辺を成分とするベクトルが一意に定まる{{Sfn|丹羽|2004|p=37}}{{Sfn|伊藤|1998|p=13}}。元の {{Mvar|n}} 次元相空間 {{Mvar|X}} と区別し、このような {{Math|''n'' + 1}} 次元空間 {{Math|''X'' &times; ''T''}} は'''拡大相空間'''（{{Lang-en-short|extended phase space|links=no}}）と呼ばれる{{Sfn|丹羽|2004|p=37}}{{Sfn|伊藤|1998|p=13}}。
+[[測度論的力学系]]を展開するときは、相空間は可測構造を持つ{{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''<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|齋藤|2002|p=16}}。上記の単振り子の例でいえば、角速度 {{Mvar|&omega;}} は単に実数だが、振れ角 {{Mvar|&theta;}} の定義域は {{Math|&minus;''&pi;'' <  ''&theta;'' &le; ''&pi;''}} であるから幾何学的には[[円周]]を表す{{Sfn|Strogatz|2015|p=188}}{{Sfn|齋藤|2004|p=87}}。したがって、単振り子の系の相空間は、円周 {{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}}。ただし、いくつかの注意を払えば、相空間を {{Math|'''R'''<sup>''n''</sup>}} あるいはその開部分集合と仮定しても多くの場合で一般性は失われない{{Sfn|丹羽|2004|p=31}}{{Sfn|ウィギンス|2013|pp=1&ndash;2}}。
+:<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}}。
 ==解析力学における相空間==
@@ 45行目: / 86行目: @@
 *{{Cite book ja-jp
 |author = 齋藤 利弥
-|title = 位相力学 ―常微分方程式の定性的理論
+|title = 位相力学 ―常微分方程式の定性的理論―
 |url = https://www.kyoritsu-pub.co.jp/book/b10011185.html
 |publisher = 共立出版
@@ 136行目: / 177行目: @@
 *{{Cite book ja-jp
 |author = 下條 隆嗣
-|title = カオス力学入門 ―古典力学からカオス力学へ
+|title = カオス力学入門 ―古典力学からカオス力学へ―
 |series = シミュレーション物理学6
 |publisher = 近代科学社
@@ 147行目: / 188行目: @@
 |author = E. Atlee Jackson
 |translator = 田中 茂・丹羽 敏雄・水谷 正大・森 真
-|title = 非線形力学の展望Ⅰ ―カオスとゆらぎ
+|title = 非線形力学の展望Ⅰ ―カオスとゆらぎ―
 |url = https://www.kyoritsu-pub.co.jp/bookdetail/9784320033252
 |publisher = 共立出版
@@ 156行目: / 197行目: @@
 }}
 *{{Cite book ja-jp
-|title = カオス ―カオス理論の基礎と応用
+|title = カオス ―カオス理論の基礎と応用―
 |chapter = カオスとフラクタル
 |url = https://www.saiensu.co.jp/search/?isbn=978-4-7819-0592-1&y=1990
@@ 192行目: / 233行目: @@
 |others = 津田 一郎（監訳）
 |url = https://www.maruzen-publishing.co.jp/item/b294298.html
-|title = カオス　第2巻　力学系入門
+|title = カオス 第2巻 力学系入門
 |publisher = 丸善出版
 |year = 2012
@@ 239行目: / 280行目: @@
 |ref = {{SfnRef|久保・矢野|2018}}
 }}
 ==外部リンク==
-{{Commonscat|Phase space diagrams}}
+{{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:力学系]]

典拠管理データベース
国立図書館	フランス BnF data ドイツイスラエルアメリカ
その他	IdRef