In classical mechanics, the parameters that define the configuration of a system are called generalized coordinates, and the vector space defined by these coordinates is called the configuration space of the physical system. It is often the case that these parameters satisfy mathematical constraints, which means that the set of actual configurations of the system is a manifold in the space of generalized coordinates. This manifold is called the configuration manifold of the system.
Configuration spaces in physics
The position of a single particle moving in ordinary Euclidean 3-space is defined by the vector r=(x, y, z), and therefore its configuration space is R3. If the particle is constrained to lie on a sphere, then its configuration space is the subset of coordinates in R3 that define points on the sphere S2.
For n particles the configuration space is R3n, or possibly the subspace where no two positions are equal.
An important problem in physics considers the set of all trajectories of a particle between two points, which is a configuration space that is also known as a function space M. In quantum mechanics one formulation uses histories, or trajectories, as configurations.
The set of coordinates that define the position of a reference point and the orientation of a coordinate frame attached to a rigid body in three-dimensional space form its configuration space, often denoted R3xSO(3)---R3 represents the coordinates of the origin of the frame attached to the body, and SO(3) represents the rotation matrices that define the orientation of this frame relative to a ground frame. A configuration of the rigid body is defined by six parameters, three from R3 and three from SO(3), and is said to have six degrees of freedom.
In Robotics, configuration space refers to the set of positions reachable by a robot's end-effector considered to be a rigid body in three-dimensional space. Thus, the positions of the end-effector of a robot can be identified with the group of spatial rigid transformations, often denoted SE(3).
The joint parameters of the robot are used as generalized coordinates to define its configurations. The set of joint parameter values is called the joint space. The robot's forward and inverse kinematics equations define mappings between its configurations and its end-effector positions, or between joint space and configuration space. Robot motion planning uses these mappings to find a path in joint space that provides a desired path in the configuration space of the end-effector.
In Mechanics, the configuration of a system is considered to consist of its position and its velocity, or more generally its momentum. The set of velocities available to a system defines a plane tangent to its configuration manifold. Momentum vectors are linear functionals on the tangent plane, known as cotangent vectors. Thus, the set of position and momenta of a mechanical system forms the cotangent bundle of the configuration manifold.
Configuration spaces in mathematics
In mathematics a configuration space refers to a broad family of constructions closely related to the state space notion in physics. The most common notion of configuration space in mathematics is the set of n-element subsets of a topological space . This set is given a topology by considering it as the quotient where and is the symmetric group acting by permuting the coordinates of . Typically, is called the configuration space of n unordered points in and is called the configuration space of n ordered or coloured points in ; the space of n ordered not necessarily distinct points is simply
If the original space is a manifold, the configuration space of distinct, unordered points is also a manifold, while the configuration space of not necessarily distinct unordered points is instead an orbifold.
A configuration space is a type of classifying space or (fine) moduli space. In particular, there is a universal bundle which is a subbundle of the trivial bundle , and which has the property that the fiber over each point is the n element subset of classified by p.
The homotopy type of configuration spaces is not homotopy invariant – for example, that the spaces are not homotopic for any two distinct values of . For instance, is not connected, is a , and is simply connected for .
It used to be an open question whether there were examples of compact manifolds which were homotopic but had non-homotopic configuration spaces: such an example was found only in 2005 by Longoni and Salvatore. Their example are two three-dimensional lens spaces, and the configuration spaces of at least two points in them. That these configuration spaces are not homotopic was detected by Massey products in their respective universal covers.
- John J. Craig, Introduction to Robotics: Mechanics and Control, 3rd Ed. Prentice-Hall, 2004
- Salvatore, Paolo; Longoni, Riccardo (2005), "Configuration spaces are not homotopy invariant", Topology 44 (2): 375–380, doi:10.1016/j.top.2004.11.002