Yesterday we talked about the center of gravity; since some of you had not seen that before, the formula can seem somewhat mysterious. But it’s the natural extension of the discrete case, which you may have seen before, e.g., even in Melanie’s talk at this Wednesday’s theory lunch. Suppose we have objects in , the one having location and mass . Then the center of gravity (or the center of mass, or centroid) is defined as
The continuous analog of this where we have a general measure over (basically replacing sums by integrals), is
The numerator is the total measure over . (In class I was implcitly assuming the uniform measure over , which is given by .
John’s questions: the in Grunbaum’s theorem (that each hyperplane through the centroid of a convex body contains at least fraction of the mass on either side) is indeed best possible for convex bodies. And the proof is clever but not difficult See Grunbaum’s (very short) paper for examples and proof, or these notes by Jon Kelner or Santosh Vempala.
Guru’s question: does the theorem hold for other measures, and not just for the uniform measure over a convex bodies? In retrospect, it’s easy to see I was dead wrong (and I even knew the answer, had I thought about it for a minute more, sorry): it does not. E.g., consider equal point masses at the vertices of an -dimensional simplex. No matter which point you choose, you can find a hyperplane through it that contains only a single point (which is of the mass) on one side. Grunbaum actually shows (in the same paper) that you can find a point that ensures at least fraction of the mass on either side. I wonder what minimal assumptions can we make on the measure to get back the ? Replies in the comments, please.