Generalized Convex hull is just ordinary convex hull?

Question

It seems that the definition of convex hull is on a form $\sum a_nx_n$ in which coefficients sum up to 1. It implicitly implies that the combination is countable and discrete. I am interested in more abstract expression: $\int x da$ where $\int da =1$. Let me call it generalized convex hull. Are there some known results on the generalized convex hull? I believe it contains the convex hull but still a subset of closed convex hull. However, I cannot find a good example in $R^n$ to understand the concept. I think the generalized convex hull of open unit disk $\{(x,y):x^2+y^2<1\}$ is still the open unit disk? Am I right? If I am right, then we have Convex Hull$=$Generalized Convex Hull$\subset$Closure of Convex Hull in this case.

Another example I find interesting is suppose $A =\{\mathbf{1}_{[0,pt]}(x):pt\in [0,1],x\in [0,1]\} $. Then the convex combination of $A$ is just step functions and they are all discontinuous. However, generalized convex hull of $A$ contains functions which are continuous in $x\in(0,1)$. Am I right? If I am correct, then what is the closure of convex hull of $A$? It seems now that closure is just the generalized convex hull of $A$. Hence we have Convex Hull$\subset$Generalized Convex Hull$=$Closure of Convex Hull. As for topology in this example, we can use that induced by supremum norm on $[0,1]$.

When is that generalized convex hull and convex hull are equivalent and when is that closure of convex hull and generalized convex hull are equivalent?

Answer 1

Definitions I remember from 40 years ago.

Let $E$ be a set in an appropriate topological vector space.

$E$ is convex if all finite sums $$\sum_{i=1}^n a_i x_i$$ belong to $E$, where $n \in \{1,2,3,\dots\}$, $x_i \in E$, $a_i \in [0,1]$, $\sum_{i=1}^n a_i = 1$.

The convex hull of $E$ is the smallest convex set that contains $E$.

$E$ is $\sigma$-convex if all convergent series $$\sum_{i=1}^\infty a_i x_i$$ belong to $E$, where $x_i \in E$, $a_i \in [0,1]$, $\sum_{i=1}^\infty a_i = 1$.

$E$ is measure-convex if all Bochner integrals $$ \int_E x\;d\mu(x) \tag{3}$$ belong to $E$, where $\mu$ is a nonnegative Radon measure with $\mu(E) = 1$.

An enjoyable place to begin learning about such integrals as (3) is

Phelps, Robert R., Lectures on Choquet’s theorem, Lecture Notes in Mathematics. 1757. Berlin: Springer. 124 p. (2001). ZBL0997.46005.

More papers on such things may be found in:

Measure theory, Proc. Conf., Oberwolfach 1979, Lect. Notes Math. 794, (1980).

Measure theory, Proc. Conf., Oberwolfach 1981, Lect. Notes Math. 945, (1982).

Measure theory, Proc. Conf., Oberwolfach 1983, Lect. Notes Math. 1089, (1984).

Answer 2

Here is My thoughts:

Based your definition $T$ has to be a measure space. I assume the definition of Integral of vector valued functions is just component-wise integration. Let $f : T \to R^n$ and $q : T \to [0, +\infty)$. (for simplicity assume $f(t) \ge 0$ ) consider $$ \int_{t\in T} f(t)dq(t) := x \in \Bbb R^n $$

This is just integration of each component of $f$ Therefore every component of $x$ looks like $$x_i =\sum_{t \in T} f_i (t) q(t)$$ (for simplicity assume $f(t) \ge 0$ ) this is convergent if $\{t \in T ; ~ f(t) \neq 0\}$ is countable. So your definition coincides with the cs-closed set.

For **cs-closed ** set look at following paper in 1972

https://www.cambridge.org/core/services/aop-cambridge-core/content/view/S0305004100050933

For infinite dimension case your definition is the generalization of cs-closed closed sets in infinite dimensions, which I think I has been used in optimal control.