Un subconjunto $S$ real de un espacio vectorial es convexo si es cerrado bajo finito de mezclas: para cualquier $\lambda_1,\ldots,\lambda_n>0$ tal que $\lambda_1+\cdots+\lambda_n=1$ y cualquier $x_1,\ldots,x_n\in S$, $\lambda_1x_1+\cdots+\lambda_nx_n\in S$. En una normativa espacio, podemos generalizar y hablar contables de mezclas, que se define de la manera obvia. Sospecho que con aún más la estructura, podemos definir aún más las nociones generales de la mezcla (el uso de algún tipo de integración, tal vez). Pero, ¿cómo ir? Hay ejemplos de conjuntos cerrados bajo contables de las mezclas, pero no arbitraria de las mezclas?
Si le ayuda, lo que más me interesa es las mezclas de probabilidad de las medidas y las mezclas de finitely-aditivo probabilidad de medidas.