## Signed measure that is positive over convex sets

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

I have a signed measure $\mu$ on a convex subset $C\subset \mathbb{R}^n$, and I want to prove that $\mu$ is a probability measure, most importantly that it is positive everywhere.

I do know that $\int f(x)d\mu(x)\geq 0$ for any positive CONVEX function $f$. So if I could get this inequality for indicator functions I'd be done.

Do you know if this suffices to get that the measure is positive, or maybe have a counterexample?

-

If $C=(a,b)$ is an interval, your assumption is that $\langle \mu,f\rangle\ge0$ for every $f$ such that $f''\ge0$ in distributional sense. Therefore an equivalent statement is that $\mu=N''$ where $N\ge0$ and $N(a)=N(b)=0$. If $n\ge2$, a characterization must be more involved. – Denis Serre Oct 13 2011 at 6:40

## 1 Answer

A counterexample is a signed measure on the interval $I:=[-1,1]$ concentrated in the points $\{-1\}$, $\{0\}$, $\{1\}$ with weights respectively $1/2$, $-1$, $1/2$. (Thus $\int_If d\mu= f(1)/2+f(-1)/2 - f(0)\ge0$ is just the convexity inequality).

-

1
Thanks, that's a very simple example. I actually had the problem stated otherwise before, and I thought that the formulation I put here was simpler, but equivalent, but I see that was not really the case. Maybe I'll put out another question with the alternative formulation. – Henrique de Oliveira Oct 12 2011 at 18:35
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 21, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9608121514320374, "perplexity_flag": "head"}