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!
Is every closed convex subset a sublevel set?
2
$\begingroup$
differential-geometry
riemannian-geometry
-
1Given the (riemannian-geometry) tag, I suppose you mean a *Riemannian* manifold? Certainly, on a general manifold, convexity doesn't make any sense. – 2012-06-07
-
0Yes, you are right! Thank you. – 2012-06-07
-
1The equator of $\mathbb S^2$ is convex (unless I'm using a wrong definition of convexity), but is not a sublevel set for a convex function (otherwise the function would have a maximum somewhere on the sphere). – 2012-06-07
-
1... So you need nonpositive curvature. If $M$ is CAT(0), then the distance function to $C$ is convex; see p.178 of Bridson-Haefliger. – 2012-06-07