Dejemos que $f:\mathbb{P}(X) \rightarrow \mathbb{R}$ sea una función convexa donde $\mathbb{P}(X)$ es el conjunto de la distribución de probabilidad sobre el conjunto (finito) $X$ .
Estoy buscando la condición de $f$ por lo que puedo decir que la distribución uniforme es minimizadora de $f$ .
Por ejemplo, si existe un grupo $G$ que actúan sobre $\mathbb{P}(X)$ tal que para todo $g \in G$ : $f(p)=f(g\cdot p)$ entonces sigue eso:
$$ f(\frac{1}{|G|}\sum_{g\in G} g\cdot p) \leq \frac{1}{|G|}\sum_{g\in G} f(g\cdot p) = f(p)$$ para todos $p \in \mathbb{P}(X)$ . Si además $\frac{1}{|G|}\sum_{g\in G} g\cdot p$ es uniforme en $X$ entonces la distribución uniforme da el mínimo de $f$ .
¿Existe una condición relajada para que ese uniforme sea óptimo?