It is known that, given n non-atomic probability measures on the space I = [0, 1], and a number α between 0 and 1, there exists a subset K of I that has measure α in each measure. It is proved here that K may be chosen to be a union of at most n intervals. If the underlying space is the circle S1 instead of I, then K may be chosen to be a union of at most n − 1 intervals. These results are shown to be best possible for all irrational and many rational values of α. However, there remain many rational values of α for which we are unable to determine the minimum number of intervals that will suffice.
[1]
W. Stromquist.
How to Cut a Cake Fairly
,
1980
.
[2]
Walter Stromquist.
Addendum to “How to Cut a Cake Fairly”
,
1981
.
[3]
A. P. Robertson,et al.
On a Theorem of Lyapunov
,
1968
.
[4]
J. Tukey,et al.
Generalized “sandwich” theorems
,
1942
.
[5]
Lester E. Dubins,et al.
How to Cut a Cake Fairly
,
1961
.
[6]
E. Wright,et al.
An Introduction to the Theory of Numbers
,
1939
.
[7]
Douglas R. Woodall,et al.
Dividing a cake fairly
,
1980
.