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.

On the Lebesgue Property of Monotone Convex Functions

Unconditional Convergent Series on Locally Convex Spaces

A note on continuity and consistency of measures of risk and variability

Local Boundedness for Minimizers of Convex Integral Functionals in Metric Measure Spaces

A note on continuity and asymptotic consistency of measures of risk and variability

Strengthened convexity of positive operator monotone decreasing functions

Strictly convex norms and the local diameter two property

Locally solid convergences and order continuity of positive operators

Generalized monotonicity and convexity of non-differentiable functions

Lieb type convexity for positive operator monotone decreasing functions

A Fenchel-Moreau Theorem for (L)over-bar(0)-Valued Functions

Uniform convergence for convexification of dominated pointwise convergent continuous functions

The Local Equicontinuity of a Maximal Monotone Operator

Regularity Properties of Monotone Measure-preserving Maps

Concavity property of minimal $L^{2}$ integrals with Lebesgue measurable gain VIII -- partial linearity and log-convexity

Order continuous of monotone set function and convergence of measurable functions sequence

Concavity property of minimal $L^{2}$ integrals with Lebesgue measurable gain VII -- Negligible weights

A Fenchel-Moreau theorem for $\bar L^0$-valued functions

Continuity of extensions of Lipschitz maps and of monotone maps

Continuity of Monotone Set Function and Convergences of Measurable Function Sequence

On semi-continuity and continuity of the smallest and largest minimizing point of real convex functions with applications in probability and statistics