古典力学では、システムの構成を定義するパラメータは一般化座標と呼ばれ、これらの座標によって定義される空間は物理システムの構成空間と呼ばれます。多くの場合、これらのパラメータは数学的な制約を満たし、システムの実際の構成の集合は一般化座標の空間内の多様体となります。この多様体はシステムの構成多様体と呼ばれます。これは「制限のない」構成空間の概念であり、異なる点粒子が同じ位置を占める可能性があることに注意してください。数学、特にトポロジーでは、「制限のある」構成空間の概念が主に用いられ、そこでは「衝突する」粒子を表す対角線が取り除かれます。
通常のユークリッド3次元空間を移動する単一粒子の位置は、ベクトルによって定義される。したがって、その構成空間は記号を使用するのが一般的です構成空間内の点を表す記号。これは古典力学のハミルトン形式とラグランジュ力学の両方における慣例である。は運動量を表すために使用され、記号は速度を指します。
粒子は特定の多様体上を移動するように制約されることがある。例えば、粒子が原点を中心に自由に回転できる剛体リンク機構に取り付けられている場合、実質的には球面上に位置するように制約される。その構成空間は、の座標のサブセットである。球面上の点を定義するこの場合、多様体は球体、つまり。
n個の互いに分離した非相互作用点粒子の場合、構成空間は次のようになります。しかし一般的には、粒子が相互作用する場合に関心があります。たとえば、歯車、滑車、転がるボールなどのアセンブリ内の特定の場所であり、多くの場合、滑らずに動くように拘束されています。この場合、構成空間はすべての粒子ではありません。しかし、点が取り得る許容位置の部分空間(部分多様体)である。
3次元空間内の剛体に取り付けられた基準点の位置と座標フレームの向きを定義する座標の集合は、その剛体の構成空間を形成し、しばしば次のように表される。どこは、物体に取り付けられたフレームの原点の座標を表し、は、このフレームの地面フレームに対する向きを定義する回転行列を表します。剛体の構成は、6 つのパラメータによって定義され、そのうち 3 つはそして3人、そして6つの自由度を持つと言われています。
この場合、構成空間は6次元であり、点は、その空間内の単なる点です。この構成空間は一般化座標を用いて記述されます。つまり、3つの座標は剛体の重心の位置を表し、残りの3つは剛体の向きを表すオイラー角となります。座標の標準的な選択はありません。重心の代わりに剛体の先端や端点を選択することもできますし、オイラー角の代わりに四元数を使用することもできます。ただし、パラメータ化によってシステムの力学的特性が変わることはありません。異なるパラメータ化はすべて、最終的には同じ(6次元の)多様体、つまり同じ位置と向きの集合を表します。
パラメータ化の中には扱いやすいものとそうでないものがあり、座標に依存しない方法で多くの重要な主張を行うことができます。座標に依存しない主張の例としては、接空間が点の速度に対応します余接空間運動量に対応する。(速度と運動量は関連付けることができる。最も一般的な抽象的な場合、これはトートロジー的な一形式というやや抽象的な概念を用いて行われる。)
多数の剛体リンクで構成されるロボットアームの場合、構成空間は、各リンクの位置(上記のセクションと同様に剛体とみなす)と、リンク同士の接続方法および許容される可動範囲の制約から構成されます。したがって、リンクについては、全体の空間を考慮するとよいかもしれません。 ただし、さまざまな付属物や制約があるため、この空間内のすべての点に到達できるわけではありません。したがって、構成空間はは必然的に の部分空間である-剛体構成空間。
ただし、ロボット工学では、構成空間という用語は、さらに縮小された部分集合、つまりロボットのエンドエフェクタが到達可能な位置の集合を指す場合もあることに注意してください。[ 1 ]ただし、この定義は、ホロノミーによって記述される複雑さにつながります。つまり、特定のエンドエフェクタの位置を得るためにロボットアームを配置する方法は複数あり、エンドエフェクタを静止させたままロボットアームを動かすことさえ可能です。したがって、運動学で使用するのに適したアームの完全な記述には、関節の位置と角度をすべて指定する必要があり、一部だけを指定するだけでは不十分です。
ロボットの関節パラメータは、構成を定義するための一般化座標として使用されます。関節パラメータ値の集合は、関節空間と呼ばれます。ロボットの順運動学および逆運動学方程式は、構成とエンドエフェクタの位置の間、または関節空間と構成空間の間のマッピングを定義します。ロボットの動作計画では、このマッピングを使用して、エンドエフェクタの構成空間で実現可能な経路を提供する関節空間内の経路を見つけます。
構成空間は機械システムを完全に記述するには不十分である。速度を考慮に入れていないからである。システムが取り得る速度の集合は、システムの構成多様体に接する平面を定義する。接平面は、で表されます。運動量ベクトルは接平面の線形汎関数であり、余接ベクトルとして知られています。余接平面は、で表されます。力学系の位置と運動量の集合は、余接束を形成する。構成多様体のこのより大きな多様体は、システムの位相空間と呼ばれます。
量子力学では、配置空間は使用できます(例えば、モット問題を参照)が、古典力学の位相空間への拡張は使用できません。代わりに、量子状態空間と呼ばれる類似の概念では、かなり異なる形式と表記法が使用されます。「点粒子」の類似物は、複素射影線、別名ブロッホ球。量子力学的波動関数は複素位相を持つため複素であり、波動関数が単位確率に正規化されるため射影的である。つまり、波動関数が与えられた場合、総確率で正規化しても構わないしたがって、それは射影的である。