Balanced Convex Partitions of Measures in ℝ2

Abstract.

 Let n≥2 be an integer and let μ₁ and μ₂ be measures in ℝ² such that each μ _i is absolutely continuous with respect to the Lebesgue measure and μ₁(ℝ²)=μ₂(ℝ²)=n. Let u≠0 be a vector on the plane. We show that if μ₁(B)=μ₂(B)=n for some bounded domain B, then there exist positive integers n ₁,n ₂ with n ₁+n ₂=n and disjoint open half-planes D ₁,D ₂ such that , μ₁(D ₁)=μ₂(D ₁)=n ₁ and μ₁(D ₂)=μ₂(D ₂)=n ₂; or there exist positive integers n ₁,n ₂,n ₃ with n ₁+n ₂+n ₃=n and disjoint open convex domains D ₁,D ₂,D ₃ such that , μ₁(D ₁)=μ₂(D ₁)=n ₁, μ₁(D ₂)= μ₂(D ₂)=n ₂, μ₁(D ₃)=μ₂(D ₃)=n ₃ and such that the ray is parallel to u. We also show a similar result for partitioning of point sets on the plane.