The optimal form of selection principles for functions of a real variable

Let T be a nonempty set of real numbers, X a metric space with metric d and X-T the set of all functions from T into X. If f is an element of X-T and n is a positive integer, we set v(n, f) = sup Sigma(n)(i)=(1) d(f (b(i)), f (a(i))), where the supremum is taken over all numbers a(1),..., a(n), b(1),..., b(n) from T such that a(1) <= b(1) <= a(2) <= b(2) <=...<= a(n) <= b(n). The sequence {v(n, f)}(infinity)(n=1) is called the modulus of variation of f in the sense of Chanturiya. We prove the following pointwise selection principle: If a sequence of functions {fj}(infinity)(j=1) subset of X-T issuch thatthe closure in X of the set {f(j)(t)}(infinity)(j=1) is compact for each t is an element of T and (lim)(n ->infinity) (1/n (lim sup)(j ->infinity)v(n, f(j)) = 0, then there exists a subsequence of {fj}(infinity)(j=1) which converges in X pointwise on T to a function f is an element of X-T satisfying lim(n ->infinity) v(n, f)/n = 0. We show that condition (*) is optimal (the best possible) and that all known pointwise selection theorems follow from this result (including Helly's theorem). Also, we establish several variants of the above theorem for the almost everywhere convergence and weak pointwise convergence when X is a reflexive separable Banach space. (c) 2005 Elsevier Inc. All rights reserved.