Abstract:The Lebesgue dominated convergence theorem of the measure theory implies that the Riemann integral of a bounded sequence of continuous functions over the interval [ 0,1] pointwise converging to zero, also converges to zero. The validity of this result is independent of measure theory, on the other hand, this result together with only elementary functional analysis, can generate measure theory itself. The mentioned result was also known before the appearance of measure theory, but the original proof was very complicated. For this reason this result, when presented in teaching, is generally obtained based on measure theory. Later, Eberlein gave an elementary, but still relatively complicated proof, and there were other simpler proofs but burdened with complicated concepts, like measure theory. In this paper we give a short and elementary proof even for the following strenghened form of the mentioned result: a bounded sequence of continuous functions defined on a compact topological space K pointwise converging to zero, has a suitable convexification converging also uniformly to zero on $K,$ thus, e.g., the original sequence converges weakly to zero in C(K). This fact can also be used in the proof of the Krein-Smulian theorem. The usual proof beyond the simple tools of the functional analysis, uses heavy embedding theorems and the Riesz' representation theorem with the whole apparatus of measure theory. Our main result, however, reduces the cited proof to a form in which we need abstract tools only, namely the Hahn-Banach separation theorem and Alaoglu's theorem, without Riesz' representation or any statement of measure theory.

Range convergence monotonicity for vector measures and range monotonicity of the mass

On the Weak Convergence of Vector-Valued Continuous Random Processes

Absolute Continuity of Vitali–Hahn–Saks Measure Convergence Theorems

Sequential convergence on the space of Borel measures

Monotone vector fields and the proximal point algorithm on Hadamard manifolds

The Convergence of the Sums of Independent Random Variables under the Sub-Linear Expectations

Extension of Lyapunov's Convexity Theorem to Subranges

Piecewise rank-one approximation of vector fields with measure derivatives

Generalized convergence theorems for monotone measures

Generalized Fejér monotone sequences and their finitary content

On extremal points for some vectorial total variation seminorms

Variational convergence over metric spaces

Uniform convergence for convexification of dominated pointwise convergent continuous functions

Weak convergence of topological measures

Monotonicity properties of weighted geometric symmetrizations

On the complete convergence for sequences of dependent random variables via stochastic domination conditions and regularly varying functions theory

A Strong Law of Large Numbers for Random Monotone Operators

Vague and basic convergence of signed measures

A total variation version of Breuer--Major Central Limit Theorem under $\mathbb{D}^{1,2}$ assumption

Sharp total variation rates of convergence for fluctuations of linear statistics of $β$-ensembles