On \(ACG^*\) functions (Q752868)

Given \(\delta (\xi)>0\), a partial division of [a,b] given by a finite collection of interval-point pairs \(\{([u,v],\xi)\}\) is said to be \(\delta\)-fine, if \(\xi \in [u,v]\subset (\xi -\delta (\xi),\xi +\delta (\xi))\) for each ([u,v],\(\xi\)). Here \(\xi\) is called the associated point of [u,v]. Let \(D_ 1\) and \(D_ 2\) be two \(\delta\)-fine partial divisions of [a,b] with associated points in X. Then \(E_ 1\) denotes the union of intervals in \(D_ 1\) and \(E_ 2\) the union of intervals in \(D_ 2\). Moreover, let \(c(D_ 1,D_ 2)\) denote the set of all component intervals of \(E_ 1\setminus E_ 2\). Let \(X\subset [a,b]\). A function F is said to be \(AC^{**}(X)\) if for every \(\epsilon >0\) there are \(\delta (\xi)>0\) and \(\eta >0\) such that for every \(\delta\)-fine partial divisions \(D_ 1\) and \(D_ 2\) of [a,b] with associated points in X, in which \(D_ 2\) may be void, \(\sum_{[u,v]\in c(D_ 1,D_ 2)}| u-v| <\eta\) implies \(\sum_{[u,v]\in c(D_ 1,D_ 2)}| F(u)-F(v)| <\epsilon.\) A function F is said to be \(ACG^{**}\), if [a,b] is the union of a sequence of \(\{X_ i\}\) such that the function F is \(AC^{**}(X_ i)\) for each i. For a function F defined on [a,b] the following conditions are equivalent a) F is \(ACG^*\) on [a,b], b) F is \(ACG^{**}\), c) F is differentiable almost everywhere in [a,b] and satisfies the strong Lusin condition.