2d43e5be22d728e5.tex
1: \begin{abstract}
2: Given two points $a=(a_1,\dots,a_n)$ and $b=(b_1,\dots,b_n)$ from $\mathbb{R}^n$
3: with $a<b$ componentwise and a map $f$ from the rectangle $I_a^b=[a_1,b_1]\times\cdots\times[a_n,b_n]$
4: into a metric semigroup $M=(M,d,+)$, we study properties of the {\em total variation\/}
5: $\mbox{TV}(f,I_a^b)$ of $f$ on $I_a^b$ introduced by the first author in
6: [V.\,V.~Chistyakov, A selection principle for mappings of bounded variation of several variables,
7: in: Real Analysis Exchange 27th Summer Symposium, 2003, 217--222], which extends the classical
8: notion of C.~Jordan's total variation ($n=1$) and the corresponding notions in the sense of
9: [T.\,H.~Hildebrandt, Introduction to the Theory of Integration, Academic Press, 1963] ($n=2$)
10: and [A.\,S.~Leonov, On the total variation for functions of several variables and a
11: multidimensional analog of Helly's selection principle, Math.\ Notes 63 (1998) 61--71]
12: ($n\in\mathbb{N}$) for real valued functions of $n$ variables. The following Helly-type
13: pointwise selection principle is proved: {\em If a sequence $\{f_j\}_{j\in\mathbb{N}}$ of maps
14: from $I_a^b$ into $M$ is such that the closure in $M$ of the set $\{f_j(x)\}_{j\in\mathbb{N}}$
15: is compact for each $x\in I_a^b$ and $C\equiv\sup_{j\in\mathbb{N}}\mbox{\rm TV}(f_j,I_a^b)$ is finite,
16: then there exists a subsequence of $\{f_j\}_{j\in\mathbb{N}}$, which converges pointwise on
17: $I_a^b$ to a map $f$ such that\/ \mbox{$\mbox{\rm TV}(f,I_a^b)\le C$}.}
18: A~variant of this result is established concerning the weak pointwise convergence when
19: values of maps lie in a reflexive Banach space $(M,\|\cdot\|)$ with separable dual~$M^*$.
20: \end{abstract}
21: