Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

This one seems intuitively obvious to me but I don't know how to prove it. Suppose you have a compact manifold $M$ with a function $f$ defined on it. Given two points $x$ and $y$ on the manifold, let $\gamma_{xy}: [0,1]\rightarrow M$ be the geodesic between $x$ and $y$. Then we say a function is convex if, $\forall x, y\in M, \lambda \in [0,1],\,\,\,\, f(\gamma_{xy}(\lambda)) \le (1-\lambda)f(x) + \lambda f(y)$

I can't think of any function on a compact manifold for which this is actually true, and I suspect that there are no convex functions on compact manifolds. Can anyone point me to the relevant proof?

share|cite|improve this question
It's hard to attain maximum when you are convex. – user53153 Mar 8 '13 at 3:54

Hint: Every non-constant smooth function on a compact manifold has two critical points.

share|cite|improve this answer
What about continuous but non-smooth functions? – David Pfau Mar 8 '13 at 4:03
@DavidPfau Without smoothness, argue as follows: let $s=\max_M f$ and $N=f^{-1}(s)$. On one hand, $N$ is closed. On another hand, every geodesic passing through a point of $N$ must be contained in $N$. Hence $N$ is also open. – user53153 Mar 8 '13 at 4:32

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.