Topologizing the Denjoy space by measuring equiintegrability (Q2497000)

The authors define a topology on \(KH[0,1]\) as follows: Let \(f: [0,1] \rightarrow R\) be a function. For any sequence of gauge \(\Delta = \{ \delta_n \} \), define \[ \theta_{\delta_n} (f) = \sup_{T, T' \leq\delta_n} | f(T) - f(T') |, \] where \(T, T'\) are any two \(\delta_n\)-fine tagged divisions of \([0,1]\) and \(f(T)\) is the Riemann sum over the tagged division \(T\) and \[ \theta_{\Delta} (f) = \sup_{n\in N} n\theta_{\delta_n} (f) . \] Then \(\| f \|_\Delta = \theta_{\Delta} (f) + | f | \) defines a norm on the linear space \(X_\Delta =\{ f \in R^{[0,1]}: \theta_{\Delta} (f) < \infty \}\) and the norm turns out to be complete. The unit of the Banach spaces \( X_\Delta\) is all of \(KH[0,1]\), and the \( X_\Delta\)'s form a directed set when ordered by inclusion. So we can topologize \(KH[0,1]\) as the locally convex inductive limit of the \( X_\Delta\)'s. Then the authors show that the resulting topology on \(KH[0,1]\) is barreled, bornological, stronger than pointwise convergence on \([0,1]\), and stronger than the topology given by the Alexiewicz seminorm; but it lacks the countability and compatibility conditions that are often associated with inductive limits.