Skip to main content
Became Hot Network Question
added 260 characters in body
Source Link
Andromeda
  • 175
  • 2
  • 17

While reading a paper, I encountered the following statement:

Let $K$ be a convex compact subset of a locally convex topological vector space. If $\mu \in P(K)$ is a Radon probability measure on $K$, then there is a unique point $x_\mu \in K$ such that $$\int_K fd \mu = f(x_\mu)$$ for every continuous, affine, real-valued function $f: K \to \mathbb{R}$. Moreover, the map $P(K) \to K: \mu \mapsto x_\mu$ is a surjective affine map.

I consulted "Lectures on Choquet's theorem" but I couldn't find this version in the book. Does anybody know an appropriate reference/proof?

Edit: With an affine function $f: K \to \mathbb{R}$, I mean a function with the property

$$f\left(\sum_i \lambda_i k_i\right)= \sum_i \lambda_i f(k_i)$$ when $0 \le \lambda_i \le 1$ and $\sum_i \lambda_i = 1$, i.e. $f$ preserves convex combinations.

While reading a paper, I encountered the following statement:

Let $K$ be a convex compact subset of a locally convex topological vector space. If $\mu \in P(K)$ is a Radon probability measure on $K$, then there is a unique point $x_\mu \in K$ such that $$\int_K fd \mu = f(x_\mu)$$ for every continuous, affine, real-valued function $f: K \to \mathbb{R}$. Moreover, the map $P(K) \to K: \mu \mapsto x_\mu$ is a surjective affine map.

I consulted "Lectures on Choquet's theorem" but I couldn't find this version in the book. Does anybody know an appropriate reference/proof?

While reading a paper, I encountered the following statement:

Let $K$ be a convex compact subset of a locally convex topological vector space. If $\mu \in P(K)$ is a Radon probability measure on $K$, then there is a unique point $x_\mu \in K$ such that $$\int_K fd \mu = f(x_\mu)$$ for every continuous, affine, real-valued function $f: K \to \mathbb{R}$. Moreover, the map $P(K) \to K: \mu \mapsto x_\mu$ is a surjective affine map.

I consulted "Lectures on Choquet's theorem" but I couldn't find this version in the book. Does anybody know an appropriate reference/proof?

Edit: With an affine function $f: K \to \mathbb{R}$, I mean a function with the property

$$f\left(\sum_i \lambda_i k_i\right)= \sum_i \lambda_i f(k_i)$$ when $0 \le \lambda_i \le 1$ and $\sum_i \lambda_i = 1$, i.e. $f$ preserves convex combinations.

Source Link
Andromeda
  • 175
  • 2
  • 17

Reference for Choquet-like theorem

While reading a paper, I encountered the following statement:

Let $K$ be a convex compact subset of a locally convex topological vector space. If $\mu \in P(K)$ is a Radon probability measure on $K$, then there is a unique point $x_\mu \in K$ such that $$\int_K fd \mu = f(x_\mu)$$ for every continuous, affine, real-valued function $f: K \to \mathbb{R}$. Moreover, the map $P(K) \to K: \mu \mapsto x_\mu$ is a surjective affine map.

I consulted "Lectures on Choquet's theorem" but I couldn't find this version in the book. Does anybody know an appropriate reference/proof?