相空間
力学系理論における相空間（そうくうかん、）は、対象のシステムが取る状態全てから成る抽象的な空間である。状態空間（じょうたいくうかん、）ともいう。
力学系とは、システム（系）の将来の状態が現在の状態から一意に決まる決定論的な過程を、数学的に定式化したものを指す。相空間 とは、力学系の基本構成要素の一つで、対象のシステムが取り得る状態全てを集めてできる集合である。さらに、現在の状態から次の状態を定める決定論的法則 と時間 の2つを加えて、 の一組で力学系が成立する。相空間というものを導入することによって、空間上の1点を指定する形でシステムの状態を議論できるようになる。すなわち相空間とは、システムの状態の振る舞いを解析するときに、そのシステムの状態は空間上でどんな動きをするのかという視点に切り替える概念的道具といえる。
通常、系の状態はいくつかの変数で表される。これらの変数は状態変数などと呼ばれる。例えば、力学系の例として、長さ一定で空気抵抗やその他外部からの影響を排した単振り子の運動を考える。このシステムの状態は振れ角 とその角速度 で一意に決まるので、 が状態を表す変数である。そして、 と の組全体から成る抽象的な空間（ と を座標とする平面）を考えると、それがこのシステムの相空間である。相空間を構成する一つひとつの要素は、単に点と呼ばれるほかに、相、相点、位相、位相点、代表点、状態などと呼ばれる。
相空間上の点は、時間変化によって相空間内を動く。相空間上を点が動いてできる経路は軌道と呼ばれる。時間を連続的なものとして考える力学系では、軌道は相空間上で連続的な曲線を描く。一方、時間を離散的なものとして考える力学系では、軌道は相空間上でとびとびの点列となる。決定論的に状態が定まるという要請により、相空間における2つの異なる軌道が交わることはない。ある力学系の全軌道の概略を相空間上に示した図を、相図（）という。
力学系の従属変数の個数すなわち相空間の座標の数は、相空間または力学系の次元と呼ばれる。特に相空間は、状態変数が実数1つ（）のときには相直線と、状態変数が実数2つ（）のときには相平面と呼ばれることもある。ポアンカレ・ベンディクソンの定理に代表されるように、相空間の次元と形状は軌道の形状に制限を与える。一般的に、系が非線形でなおかつ高次元になるほど系の取り扱いが難しくなる。状態の空間的に連続的に分布している偏微分方程式で記述されるような力学系では、相空間の次元は無限になる。