tau 0 right-parenthesis minus f left-parenthesis a right-parenthesis parallel-to less-than-or-slanted-equals parallel-to f left-parenthesis tau 0 right-parenthesis minus f left-parenthesis tau 0 Superscript minus Baseline right-parenthesis parallel-to plus parallel-to f left-parenthesis tau 0 Superscript minus Baseline right-parenthesis minus f left-parenthesis a right-parenthesis parallel-to less-than-or-slanted-equals gamma Subscript tau 0 Baseline plus 1 plus upper K Subscript tau Baseline period"/>
Hence, .
Let . Since is equiregulated, there exists such that, for every , , for all Therefore, for every , we have
for , where . Note that which contradicts the fact that . Hence, and the statement follows.
1.1.3 Uniform Convergence
This subsection brings a few results borrowed from [177]. In particular, Lemma 1.13 describes an interesting and useful property of equiregulated converging sequences of Banach space‐valued functions and it is used later in the proof of a version of Arzelà–Ascoli theorem for Banach space‐valued regulated functions.
Lemma 1.13: Let be a sequence of functions from to . If the sequence converges pointwisely to and is equiregulated, then it converges uniformly to .
Proof. By hypothesis, the sequence of functions is equiregulated. Then, Theorem 1.11 yields that, for every , there is a division for which
for every and , .
Take . Because the sequence converges pointwisely to , we have and also , for . Thus, for every , there is such that, whenever , we have Скачать книгу