Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.
  • Let $X$ be some uncountable standard Borel space (e.g., the real line).
  • Let $D$ be the set of Borel probability measures on $X$.
  • Let $M$ be the set of signed Borel measures on $X$
  • Now let $p_1,...,p_N$ be a finite sequence of linearly independent probability measures in $D$.
  • Let $A$ be the set of all possible linear (including but not limited to convex) combinations of $p_1,...,p_N$. $A$ will be some subset of $M$.

Can it be shown that the intersection of $A$ with $D$ is an $(N-1)$-dimensional simplex?

In other words, do there exist linearly independent $q_1, ... , q_N \in D$ such that $A\cap D = co(q_1,...,q_N)$?

The question is easily resolved when $X$ is finite. I am interested in a generalization to the case when $X$ is uncountable.

I mentioned hyperplanes in the title because $A \cap D$ should be a subset of all linear combinations of the form $\sum_{k=1}^{N} \alpha_k p_k$ where $\alpha_k\in\mathbb{R}$ and $\sum_{k=1}^N \alpha_k=1$. Obviously, these are not the same as convex combinations, which would require that $\alpha_k \geq 0$ as well. Anyhow, the set of $(\alpha_1,...,\alpha_N)$ for which $\sum_{k=1}^{N} \alpha_k p_k \in D$ fall on the hyperplane defined by the equation $\sum_{k=1}^N \alpha_k=1$.

--

Case: $N=2$

Let $p_1, p_2 \in X$ and $p_1 \neq p_2$.

The definition of $A$ is given as follows:

$A=\lbrace \alpha_1 p_1 + \alpha_2 p_2 \in D | \alpha_1,\alpha_2\in\mathbb{R}\rbrace$

If $q \in D$, then $q(X)=1$. Therefore, if $\alpha_1 p_1+\alpha_2 p_2 \in D$, then $\alpha_1 p_1(X) +\alpha_2 p_2(X)=1$. Since $p_1(X)=1=p_2(X)$, we can rewrite $A$ as:

$A=\lbrace \alpha p_1 + (1-\alpha) p_2 \in D | \alpha\in\mathbb{R}\rbrace = \lbrace p_1 + (1-\alpha)(p_2 - p_1) \in D | \alpha\in\mathbb{R}\rbrace$

Let $B=\lbrace \alpha \in \mathbb{R} | p_1 + (1-\alpha)(p_2-p_1) \in D\rbrace$.

That is, $\alpha \in B \iff p_1 + (1-\alpha)(p_2-p_1) \in D$

Claim: $B$ is convex. Proof: Let $\alpha,\beta\in B$ and $\gamma\in[0,1]$. Then $p_1 + (1-(\gamma\alpha+(1-\gamma)\beta))(p_2-p_1)$ $= \gamma(p_1 + (1-\alpha)(p_2-p_1)) + (1-\gamma)(p_1 + (1-\beta)(p_2-p_1))\in D$ since it is a convex combination of probability measures.

Claim: $B$ has an upper bound. Proof: Suppose not. Since $p_1 \neq p_2$, there exists a Borel set $E$ such that $p_1(E) \neq p_2(E)$. Then $\lim_{\alpha\to\infty} p_1(E) + (1-\alpha)(p_2(E)-p_1(E)) = \infty$ if $p_1(E) > p_2(E)$ and $=-\infty$ if $p_1(E) < p_2(E)$.

Claim: The least upper bound of $B$ is in $B$. Proof: Suppose not. Let $\bar{b}$ be the least upper bound of $B$. It is straightforward that $\bar{b} > 1$. $q=p_1 + (1-\bar{b})(p_2-p_1)$ is clearly a probability measure if $q(E) \geq 0$ for all Borel subsets $E$ of $X$. Therefore there exists $E$ such that $q(E) < 0$. Since $p_1(E) \geq 0$, we have $(1-\bar{b})(p_2(E)-p_1(E)) < -p_1(E)$. However, then there exists $b < \bar{b}$ such that $(1-b)(p_2(E)-p_1(E)) < -p_1(E)$. This contradicts $\bar{b}$ being a least upper bound of $B$ since $B$ is convex.

Claim: $B$ has a greatest lower bound, which is in $B$. Proof: Similar to above.

Claim: $B$ is an interval. Proof: It is a convex, bounded set on the real line that contains its LUB and GLB.

Claim: There exist $q_1, q_2 \in D$ such that $A = co(q_1,q_2)$. Proof: Let $B=[a,b]$. Let $q_1=p_1 + (1-a)(p_2-p_1)$ and $q_2=p_1 + (1-b)(p_2-p_1)$.

share|improve this question

2 Answers 2

up vote 5 down vote accepted

Something is wrong in the statement of the question. If $X$ has four points, then a measure on $X$ is a list of four non-negative numbers that sum to 1. But if you take the plane subtended by $(1,0,1,0)$, $(1,0,0,1)$, and $(0,1,1,0)$, then it also contains $(0,1,0,1)$, and these four measures are the four extremal ones in this plane. So the assertion, as stated, does not hold in the finite case after all. The space of all measures is a simplex when $X$ is finite; all I'm then saying is that you can intersect a plane with a tetrahedron to get a square. The geometry also shows you that the counterexample is stable with respect to small variations of the numbers.

The only condition that comes to mind to make it true is to say that the measures have disjoint support. Then it's easy to show that they subtend a simplex of measures in general.


In the comments, the poster asks whether the intersection is always a polytope. However, Anton Petrunin's example disproves that possibility. If you take the three measures to be proportional to $1$, $1+(\cos x)$, and $1+(\sin x)$ on $[0,2\pi]$, then the set of non-negative linear combinations is indeed a round circle.

In fact, I suspect that you can create any finite-dimensional convex body whatsoever by such a construction.

share|improve this answer
    
Ah "intersect a plane with a tetrahedron to get a square". That made it clear for me. So it does not even hold when $X$ is finite. I see that now. Thanks! –  Empty Set Feb 4 '11 at 6:44
    
So in the part of my question that says "Can it be shown that the intersection of $A$ with $D$ is an $(N−1)$-dimensional simplex? In other words, do there exist linearly independent $q_1,...,q_N\in D$ such that $A\cap D=co(q_1,...,q_N)$?" cannot be true. I wonder if it could be true if I changed it to say "Can it be shown that the intersection of $A$ with $D$ is a finite-dimensional convex polytope? In other words, do there exist $q_1,...,q_K\in D$ such that $A\cap D=co(q_1,...,q_K)$?" I wonder if the fact that convex polytopes are images of simplices under linear maps can be used... –  Empty Set Feb 4 '11 at 7:05
    
Should I ask this as a new question? I'm not sure what the protocols are for posting slightly revised questions. –  Empty Set Feb 4 '11 at 7:06
    
It's a better question, and it would have been worth posting separately, but the answer is still no. I will extend my answer. –  Greg Kuperberg Feb 4 '11 at 7:48
    
I finally understand Anton's example. Thanks for the explanation! One last thing: Is this a canonical example, and if so, where might it be found? –  Empty Set Feb 4 '11 at 19:31

Here is a counterexample.

Take $X=\mathbb S^1=\mathbb R/2{\cdot}\pi{\cdot}\mathbb Z$ and $$p_i=\tfrac1{2{\cdot}\pi}{\cdot}[1+\cos(x-\alpha_i)]$$ for $\alpha_1=0$, $\alpha_2=\pi/2$.

In this case $$A=\{\\,\tfrac1{2{\cdot}\pi}{\cdot}[1+\lambda{\cdot}\cos(x-\alpha)]\mid \alpha\in \mathbb S^1, \ \lambda\ge 0\\,\}$$ and $$A\cap D=\{\\,\tfrac1{2{\cdot}\pi}{\cdot}[1+\lambda{\cdot}\cos(x-\alpha)]\mid \alpha\in\mathbb S,0\le\lambda\le1\\,\}$$ The set of extremal point $A\cap D$ is $$\{\\,\tfrac1{2{\cdot}\pi}{\cdot}[1+\cos(x-\alpha)]\mid \alpha\in\mathbb S\\,\}$$ and it is NOT finite...

share|improve this answer
    
Hi Anton, Thanks for your answer. Could you explain it a little bit further? - Are you offering a proof or a counterexample? - Is $X$ a circle? - What is $p_i$ in your answer? I have used that notation in my original post to represent a probability measure over $X$. - What is $x$ in the equation that defines $p_i$? Is it a member of $X$? If so, what numerical representation have you chosen for $X$? Thanks again for your help. –  Empty Set Feb 4 '11 at 3:01
    
Thanks for the clarification. Now I understand what $X$ is and its numerical representation. You are showing an example of $p_1,p_2\in D$ such that $A\cap D$ cannot be written as the convex hull of two points. However, it seems to me that your $A$ should be $=\lbrace\tfrac{1}{2\pi}[1+\lambda cos(x)+(1-\lambda)sin(x)]|\lambda\in R\rbrace$ I am still confused because I thought that I had a proof for when $N=2$. I edited my original post to include it. Could you tell me where I am making a mistake? Thanks again! Maybe I am trying to prove something different. Am I misusing the term "simplex"? –  Empty Set Feb 4 '11 at 6:37
    
Greg explained your example. Thanks again. That's very beautiful. –  Empty Set Feb 4 '11 at 19:32

Your Answer

 
discard

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.