Math 2.0

Mechanics of particles and systems Definition

Configuration space

Builds on Holonomic constraintSmooth manifoldSubmanifoldRegular value theorem

Definition

Consider a system of NN point particles with position vector x=(x1,…,xN)∈ℝ3Nx = (x_1, \dots, x_N) \in \R^{3N}. Let U⊆ℝ3NU \subseteq \R^{3N} be open, and let f1,…,fkf_1, \dots, f_k be smooth functions on UU. Let the system obey the independent time-independent holonomic constraints f1(x)=0,…,fk(x)=0f_1(x) = 0, \dots, f_k(x) = 0. The configuration space of the system is the set Q={x∈U:f1(x)=⋯=fk(x)=0}.Q = \set{x \in U : f_1(x) = \dots = f_k(x) = 0}. By the regular value theorem, QQ is a submanifold of ℝ3N\R^{3N} of dimension 3N−k3N - k whenever it is not empty.

Remarks

Example: a particle on a sphere of radius ℓ>0\ell > 0 has the single constraint f(x)=∣x∣2−ℓ2f(x) = \abs{x}^2 - \ell^2 on U=ℝ3U = \R^3. Its gradient 2x2x is nonzero on QQ, so QQ is the sphere, a surface of dimension 3−1=23 - 1 = 2. Non-example: the constraints f1(x)=zf_1(x) = z and f2(x)=z2f_2(x) = z^2 for one particle in ℝ3\R^3 define the plane z=0z = 0. Their gradients (0,0,1)(0,0,1) and (0,0,2z)(0,0,2z) are dependent on that plane, and the count 3−2=13 - 2 = 1 is wrong; independence excludes such families. For a system with no constraints, QQ is the open set UU, for example ℝ3N\R^{3N}. More abstractly, a configuration space is any smooth manifold whose points label the positions of the system. For instance, SO(3)SO(3) is the configuration space of a rigid body with one fixed point.

Reading path

To understand this page from the ground up, read these 32 pages in order. The foundations come first.

Show the path as a graph
Critical point, concept, no evidence levelCritical pointconceptDifferential of a smooth map, concept, no evidence levelDifferential of a smo…conceptEuclidean space, object, no evidence levelEuclidean spaceobjectFunction, concept, no evidence levelFunctionconceptFunction composition, concept, no evidence levelFunction compositionconceptHolonomic constraint, concept, no evidence levelHolonomic constraintconceptSmooth function, concept, no evidence levelSmooth functionconceptSmooth manifold, concept, no evidence levelSmooth manifoldconceptSubmanifold, concept, no evidence levelSubmanifoldconceptSubmersion, concept, no evidence levelSubmersionconceptFréchet derivative, definition, no evidence levelFréchet derivativedefinitionTotal derivative, concept, no evidence levelTotal derivativeconceptFunction of several variables, concept, no evidence levelFunction of several v…conceptLevel set, concept, no evidence levelLevel setconceptLimit of a function of several variables, concept, no evidence levelLimit of a function o…conceptPartial derivative, concept, no evidence levelPartial derivativeconceptDifferentiable function of several variables, definition, no evidence levelDifferentiable functi…definitionJacobian matrix, concept, no evidence levelJacobian matrixconceptPartial derivative, definition, no evidence levelPartial derivativedefinitionDifferentiable on an open set, definition, no evidence levelDifferentiable on an …definitionJacobian matrix, definition, no evidence levelJacobian matrixdefinitionChain rule in several variables, statement, no evidence levelChain rule in several…statementHigher partial derivatives, definition, no evidence levelHigher partial deriva…definitionSard's theorem, statement, no evidence levelSard's theoremstatementIterated derivative, definition, no evidence levelIterated derivativedefinitionJacobian determinant, definition, no evidence levelJacobian determinantdefinitionDerivative of the inverse function, statement, no evidence levelDerivative of the inv…statementC^k function characterised by continuous derivatives, statement, no evidence levelC^k function characte…statementInverse function theorem, statement, no evidence levelInverse function theo…statementImplicit function theorem, statement, no evidence levelImplicit function the…statementRegular value theorem, statement, no evidence levelRegular value theoremstatementConfiguration space, definition, no evidence levelConfiguration spacedefinition
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Critical point concept
  2. Differential of a smooth map concept
  3. Euclidean space object
  4. Function concept
  5. Function composition concept
  6. Holonomic constraint concept
  7. Smooth function concept
  8. Smooth manifold concept
  9. Submanifold concept
  10. Submersion concept
  11. Fréchet derivative definition
  12. Total derivative concept
  13. Function of several variables concept
  14. Level set concept
  15. Limit of a function of several variables concept
  16. Partial derivative concept
  17. Differentiable function of several variables definition
  18. Jacobian matrix concept
  19. Partial derivative definition
  20. Differentiable on an open set definition
  21. Jacobian matrix definition
  22. Chain rule in several variables statement
  23. Higher partial derivatives definition
  24. Sard's theorem statement
  25. Iterated derivative definition
  26. Jacobian determinant definition
  27. Derivative of the inverse function statement
  28. C^k function characterised by continuous derivatives statement
  29. Inverse function theorem statement
  30. Implicit function theorem statement
  31. Regular value theorem statement
  32. Configuration space definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Configuration_space_(physics)
About this page
TagNSNFVTQT24
URIm2://NSNFVTQT24
Kinddefinition
WritingW0 stub
MSC70G10, 70G45, 70F20
DefinesConfiguration space
UsesHolonomic constraint, Smooth manifold, Submanifold, Regular value theorem
Changed3 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.