Integral in a σ−convex set.

2011-05-04T15:22:42Z

Having had no (proper) answer to this question, I formulate the remaining case as a new question as follows. With $I=[0,1]$, let $E$ be a separable (real) Banach space, and let $\gamma:I\to E$ be continuous. Do there then exist sequences $\boldsymbol c,\boldsymbol t\in I^{\ \mathbb N_0}$, $\boldsymbol c(i)=c_i$ and $\boldsymbol t(i)=t_i$, with

(1) $\quad\mathbb R\ \text{-}\ \lim_{\ k\to\infty\ }\sum_{i=0}^kc_i=1 \quad$ and

(2) $\quad E\ \text{-}\ \lim_{\ k\to\infty\ }\big(k^{-1}\sum_{i=0}^{k-1}\gamma(k^{-1}i)\big) = E\ \text{-}\ \lim_{\ k\to\infty\ }\sum_{i=0}^k(c_i\gamma(t_i)) \quad$ ?

Either a (sketch of a) proof of the positive case or a counterexample is welcome. Countable or σ−convexity has also been considered in this question.

Answer by Gerald Edgar for Integral in a σ−convex set.

2011-05-04T19:34:03Z

Counterexample. $E = L^2[0,1]$ and $\gamma \colon [0,1] \to E$ defined by $\gamma(x) = 1_{[0,x]}$, the characteristic function of interval $[0,x]$. Then $\gamma$ is continuous, in fact $\|\gamma(x) - \gamma(y)\| = \sqrt{|y-x|}$. Now suppose $c_i$ and $t_i$ are as given. Let $$u := E\ \text{-}\ \lim_{\ k\to\infty\ }\big(k^{-1}\sum_{i=0}^{k-1}\gamma(k^{-1}i)\big) $$ and $$ v := E\ \text{-}\ \lim_{\ k\to\infty\ }\sum_{i=0}^k(c_i\gamma(t_i)) $$ Then $u(t) = 1-t$ for $t \in [0,1]$. Note $u$ is continous. But (assuming the $t_i$ are distinct) $v$ has a jump of size $c_i$ at $t_i$ for all $i$, so $v$ is certainly not continuous. Not even equal a.e. to a continuous function.

Integral in a σ−convex set. - MathOverflow

Integral in a σ−convex set.

Answer by Gerald Edgar for Integral in a σ−convex set.