centre of mass
Let be a Borel signed measure for some set . The centre of mass of (with respect to ) is a vector in defined by the following vector-valued integral:
provided the integral exists. Intuitively, the integral is a weighted average of all the points of .
Our abstract definition encompasses many situations. If is a -dimensional manifold, then we may take to be its absolute -dimensional volume element (). This would give the set a unit mass density, and in this case the centre of mass of is also called the centroid of .
More generally, if we are given a measurable mass density , then taking , the definition defines the centre of mass for with a mass density . We do not restrict the density (or the measure ) to be non-negative; for this allows our definition to apply even to, for example, electrical charge densities.
If is not a differentiable manifold, but is a rectifiable set, we can replace by the appropriate Hausdorff measure.
The measure could also be discrete. For example, could be a finite set of points with masses . In this case, the integral reduces to a finite summation.
It is possible to economize the definition so that the set does not have to be mentioned, although the result is somewhat unintuitive: the centre of mass of a finite signed Borel measure on is defined by
(provided this exists). If is defined by for all measurable and some fixed measurable , then .
The term centre of gravity is sometimes used loosely as a synonym for the centre of mass, but these are distinct concepts; the centre of gravity is supposed to be a single point on which the force of gravity can be considered to act upon. If is three-dimensional and the force of gravity is uniform throughout , then the centre of mass and the centre of gravity coincide.
As shown by the above examples, the centre of mass and its related concepts have applications in mechanics and other areas of physics.
Symmetry principle
If is an invertible linear map, then by a straightforward change of variable in the integrand,
In particular, take to be an isometry, and to be a -dimensional volume measure for . The corresponding -dimensional volume measure for must be the same as , because is an isometry. Then the above equation says that the centroid transforms as expected under isometries.
For example, it is intuitively obvious that the centre of mass of a disk should be the centre of . (Without loss of generality, assume that is centered at the origin.) Using the property just mentioned, this is easy to prove rigorously too: if is the isometry that reflects across the y-axis, and is the Lebesgue measure on , then
( is invariant under isometries) | ||||
( by symmetry of the disk) |
which means the x component of must be zero. Similarly, by considering reflections across the x-axis, we conclude that the y component of must be zero.
Title | centre of mass |
Canonical name | CentreOfMass |
Date of creation | 2013-03-22 15:28:09 |
Last modified on | 2013-03-22 15:28:09 |
Owner | stevecheng (10074) |
Last modified by | stevecheng (10074) |
Numerical id | 12 |
Author | stevecheng (10074) |
Entry type | Definition |
Classification | msc 28A75 |
Classification | msc 26B15 |
Synonym | center of mass |
Related topic | PappussTheoremForSurfacesOfRevolution |
Defines | centre of gravity |
Defines | centroid |
Defines | center of gravity |