Variational measure with respect to measurable gauges (Q2054565)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Variational measure with respect to measurable gauges
scientific article

    Statements

    Variational measure with respect to measurable gauges (English)
    0 references
    0 references
    3 December 2021
    0 references
    Consider an additive interval function \(F:{\mathcal I}\to\mathbb R\), where \(\mathcal I\) is the collection of all closed subintervals of \([a,b]\). The standard definition of the variational measure of \(F\) over a set \(E\subset [a,b]\) is \[ V_F(E)=\inf\{V(F,E,\delta):\delta\mbox{ is a gauge on }E\}, \] where \[ V(F,E,\delta)=\sup\sum_{(t,J)\in P}|F(J)|, \] the supremum being taken over all \(\delta\)-fine tagged systems \(P\) consisting of point-interval pairs \((t,J)\) with \(t\in J\cap E\). The goal of the present paper is to investigate what happens if \(V_F\) is replaced by \(V_F^m\), whose definition differs from \(V_F\) in that it involves only measurable gauges \(\delta\) on \([a,b]\). The authors establish some basic properties of \(V_F^m\), such as finite subadditivity, countable subadditivity for measurable sets, and finite additivity for sets having positive distance. The main results are: \begin{itemize} \item If \(F\) is an indefinite Henstock-Kurzweil integral, then \(V_F\) coincides with \(V_F^m\) for all subsets of \([a,b]\). \item An additive interval function \(F\) is an indefinite Henstock-Kurzweil integral if and only if \(V_F^m\) is absolutely continuous with respect to the Lebesgue measure. \item For a continuous additive interval function \(F\), \(V_F\) coincides with \(V_F^m\) for all measurable subsets of \([a,b]\). \end{itemize} The paper includes some open problems for future research.
    0 references
    Henstock-Kurzweil integral
    0 references
    measurable gauges
    0 references
    variational measure
    0 references

    Identifiers