MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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

The following surely appears somewhere, I would greatly appreciate a reference. (The aim is to get a measure via Riesz representation, but that has nothing to do with the statement.)

Let $X$ be an ordered vector space over the reals, and let $\varphi\colon X \to {\mathbf R}$. Then the following are equivalent:

  1. There exists a positive linear functional $\lambda\colon X \to {\mathbf R}$ with $\lambda \leq \varphi$.

  2. Whenever $\sum x_i \geq 0$, also $\sum \varphi(x_i) \geq 0$.

share|cite|improve this question
Just to clarify - here you mean $\lambda(x)\leq\varphi(x)$ for all $x\in X$ ($\lambda-\varphi$ is monotonic increasing rather than just nonnegative)? Also you only require a reference, not a proof? – Ollie Margetts Jul 25 '11 at 19:32
Oops, I mean $\varphi-\lambda$ monotonic increasing! – Ollie Margetts Jul 25 '11 at 19:33
I just want $\varphi - \lambda$ to be non negative. And, no I do not need a proof. – Itaï BEN YAACOV Jul 26 '11 at 8:03

Your Answer


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

Browse other questions tagged or ask your own question.