====== Configuration Space ====== //see also [[basic_tools:phase_space|Phase space]] and [[basic_tools:hilbert_space]]// [{{ :basic_tools:configspace.png?nolink&400|adapted from page 174ff in “The Emperors new Mind” by R. Penrose}}] The //configuration space// or //configuration manifold// is the collection of all the possible "snapshots" or descriptions that the system can take. Formulated differently, the configuration space is the possible "positions" of a mechanical system. Take note that the states of motion, eg. velocities/momenta are not part of the configuration space. This is in contrast to the [[basic_tools:phase_space|phase space]], where we also take the states of motion into account. The state of a system is recorded in a configuration space point through all the locations that the objects in the system have at a given point in time. The time evolution of a system can then be represented as a path in configuration space. Each point of the configuration space represents one configuration our system can be in. For example, each specific way a double pendulum can be arranged is a point in our configuration space. The total configuration space consists of all possible configurations. The simplest example is an object moving in just one dimension. The configuration space is just a line, i.e. $\mathbb{R}$. Now, if we want to describe two objects which move in one dimension, we have two choices. Either we describe them using two location vectors: $$ \vec{r}_1 = (f(x)), \quad \vec{r}_2 = (g(x)) $$ {{ :basic_tools:configspace1.png?nolink&400 |}} or we glue the configuration spaces of the two objects together to one big configuration space and then only keep track of one location in this total configuration space: $$ \vec{r} = (f(x),g(x)). $$ When we glue two lines together we get a rectangle. At each possible location of the first object, we need to take into account the possibility that the second object could be anywhere. Hence we need a complete copy of $\mathbb{R}$ at each location of $\mathbb{R}$. Gluing a copy of $\mathbb{R}$ to each point of $\mathbb{R}$ yields a rectangle. Such a construction is known as a [[advanced_tools:product_spaces|product space]]. {{ :basic_tools:configspace2.png?nolink&600 |}} ---- [{{ :basic_tools:pendulumconfiguspace.png?nolink&300|Configuration space of a double pendulum. [[http://math.ucr.edu/home/baez/classical/texfiles/2005/book/classical.pdf|Source]]}}] Another good example is the [[models:basic_models:pendulum|pendulum]]. The total configuration space of a pendulum swinging just in two dimensions is a circle $S^1$, since a pendulum can swing once around its suspension. The configuration space of a pendulum swinging in 3-dimensions is the sphere $S^2$. This is useful, since now we can describe our system in terms of paths in the configuration space. The system starts in one specific configuration, which corresponds to one point in the configuration space. Then as it evolves this point starts moving around in configuration space. Thus, we only need to keep track of how this one point moves around. In contrast, for example, for a double pendulum in the traditional language we would need to keep track of the exact positions of the two pendulums. No matter how many particles or objects there are in our system, each specific configuration is exactly one point in our configuration space. Any set of parameters which can characterize the position of a mechanical system may be chosen as a suitable set of coordinates. They are called the "generalized coordinates" of the system and are the coordinates of the configuration manifold. ---- **Further Examples** -->Free Particle# __ Free Particle on Space __ : it can be a 3 dimensional manifold, in fact, $\mathbb{R}^3$, and the coordinates can be multiple: Cartesian, spherical, cylindrical coordinates. <-- -->Multiple Free Particles# For 3 non-interacting point particles moving through space $\mathbb{R}^3$ the configuration space is $$\mathbb{R}^3 \times \mathbb{R}^3 \times \mathbb{R}^3 \cong \mathbb{R}^9$$ Each point in this space $\mathbb{R}^9$ corresponds to one //specific// configuration of our 3 particle system. The 3 particles trace out continuous trajectories through $\mathbb{R}^3$, but the whole system can be said to trace out a continuous path through $\mathbb{R}^9$. So instead of three trajectories through $\mathbb{R}^3$ we now only have to track one trajectory through $\mathbb{R}^9$. <-- -->Rolling Sphere# __ Rolling Sphere on a Plane __: the position of contact of the sphere on the plane, $\mathbb{R}^2$ and $SO(3)$ as the possible orientations of the sphere, so the configuration space is $\mathcal Q = \mathbb{R}^2 \times SO(3)$ <-- -->Electromagnetism# For __ Electromagnetism __, the thing is more triky, as the configuration space are not positions, but measures of the values of different fields over all space-time. The true coordinates of the fields could be the 4-potential $(\phi, A^1, A^2, A^3)$, so the configurations are 4 vector functions of 4 variables: $$ A: \mathbb{R}^4 \to \mathbb{R}^4; (x,y,z,t)\mapsto (\phi, A^1, A^2, A^3) $$ So $\mathcal Q = \mathcal{C}^2\{\mathbb{R}^4 \to \mathbb{R}^4\}$ <-- ---- **References** * [Lanczos, C.] Principles of Classical Mechanics * [Sussman G. J., Wisdom J. & Mayer M. E. ][[https://mitpress.mit.edu/sites/default/files/titles/content/sicm_edition_2/toc.html#pref-1|Structure and Interpretation of Classical Mechanics]] As the name indicates, the mathematical figure is a manifold, and we will denote it as $\mathcal Q$. We will use the letter $q$ to denote the points of the system, and $q^i$ will denote the coordinates. The link between both is called //configuration map// $$ \chi:\mathcal Q \to \mathbb{R}^n; q \mapsto q^i=\chi^i(q) $$ ----
The tangent bundle TQ will be referred to as configuration space, later on when we get to the chapter on [[formalisms:hamiltonian_formalism|Hamiltonian mechanics]] we’ll find a use for the cotangent bundle $T^∗Q$, and normally we call this the [[basic_tools:phase_space|phase space]].[[http://math.ucr.edu/home/baez/classical/texfiles/2005/book/classical.pdf|Lectures on Classical Mechanics]], by John Baez
In the [[formalisms:lagrangian_formalism|Lagrangian formalism]], we describe what happens in [[theories:classical_mechanics:newtonian|classical mechanics]] by referring to points in the configuration space. In this sense, the configuration space is for the Lagrangian formalism, what the phase space is for the [[formalisms:hamiltonian_formalism|Hamiltonian formalism]]. Configuration spaces are also the central objects in robotics, as the set of reachable positions by a robot.