Is every closed convex subset a sublevel set?

289 Views Asked by At

Is it true that on every Riemannian manifold $M$ (whether compact or merely complete), every closed convex set C in M is the sublevel set $f((-\infty,t])$ of some convex function $f : M \rightarrow \mathbb{R}$? Thank you every much!

1

There are 1 best solutions below

1
On

Copying my pseudo-comments into the answer box:

  1. The equator of $\mathbb S^2$ is convex but is not a sublevel set of any convex function: otherwise the function would have a maximum somewhere on the sphere.

  2. But if $M$ is a $CAT(0)$ space, then the distance function to any closed convex subset of $M$ is convex. See p.178 of Metric spaces of nonpositive curvature by Bridson and Haefliger.