Abstract
Consider a closed subset of a complete Riemannian manifold, such that all geodesics with end-points in the subset are contained in the subset and the subset has boundary of codimension one. Is it the case that Riemannian barycentres of probability measures supported by the subset must also lie in the subset? It is shown that this is the case for 2-manifolds but not the case in higher dimensions: a counterexample is constructed which is a conformally-Euclidean 3-manifold, for which geodesics never self-intersect and indeed cannot turn by too much (so small geodesic balls satisfy a geodesic convexity condition), but is such that a probability measure concentrated on a single point has a barycentre at another point.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
More From: Mathematical Proceedings of the Cambridge Philosophical Society
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.