Generalized Hake property for integrals of Henstock type
type: Item
instance of: scholarly article
title: Generalized Hake property for integrals of Henstock type
zbMATH Open document ID: 1317.26009
DOI: 10.3103/S0027132213060028
published in: Moscow University Mathematics Bulletin
publication date: 2015-03-24T00:00:00Z
review text: Hake's theorem is a classical result in integration theory, which says that a real function \(f\) is Henstock-Kurzweil (or Perron) integrable over an interval \([a,b]\subset\mathbb R\) if and only if it is Henstock-Kurzweil integrable on each subinterval \([a,c]\) with \(c\in(a,b)\), and if \(\lim_{c\to b-}\int_a^c f\) exists. The goal of the present paper is to show that an analogue of Hake's theorem is available in a much more general situation when we integrate real functions defined on a Hausdorff topological space \(X\) equipped with a regular Borel measure \(\mu\). In order to define the Henstock-Kurzweil integral in this abstract setting, the authors consider a certain family \(\mathcal I\) of closed sets in \(X\) having a finite positive measure; the elements of \(\mathcal I\) are called generalized intervals. Finite unions of nonoverlapping generalized intervals are referred to as figures. The next ingredient is a so-called differential basis \(\mathcal B\), whose elements \(\beta\in\mathcal B\) are systems of pairs \((I,x)\) with \(I\in\mathcal I\) and \(x\in I\). Given a \(\beta\in\mathcal B\), a \(\beta\)-partition of a figure \(L\subset X\) is a finite collection of point-interval pairs \(\pi=(I_i,x_i)_{i=1}^m\subset\beta\), where the intervals do not overlap each other and their union is \(L\). A real function \(f\) defined on a figure \(L\) is said to be Henstock-Kurzweil integrable if there exists a real number \(A\) with the property that for each \(\varepsilon>0\), there exists a \(\beta\in\mathcal B\) such that \[ \left|\sum_{(I,x)\in\pi} f(x)\mu(I)-A\right|<\varepsilon \] holds for each \(\beta\)-partition \(\pi\) of \(L\). In the classical setting when \(X=\mathbb R\) and \(L=[a,b]\subset\mathbb R\), the differential basis \(\mathcal B\) consists of all \(\delta\)-fine partitions of \([a,b]\) for all possible gauges \(\delta:[a,b]\to(0,\infty)\). Other examples of differential bases for \(X=\mathbb R^2\) can be found in [\textit{K. M. Ostaszewsk…
reviewed by: Antonín Slavík
Mathematics Subject Classification ID: 26A39
Mathematics Subject Classification ID: 26A42
zbMATH DE Number: 6418892
zbMATH Keywords: Hake's theorem
zbMATH Keywords: Henstock-Kurzweil integral
zbMATH Keywords: differential basis
author: Valentin Skvortsov
author: Francesco Tulone
MaRDI profile type: Publication
cites work: Q4858614
cites work: Differentiability and integrability in \(n\) dimensions with respect to \(\alpha\)-regular intervals
cites work: Improper Riemann integral and Henstock integral in \(\mathbb R^n\)
cites work: Henstock integration in the plane
cites work: Derivation bases on the real line. II
cites work: Q4722280
cites work: Q5294538
cites work: Henstock type integral in compact zero-dimensional metric space and quasi-measures representations
full work available at URL: s0027132213060028
OpenAlex ID: W1975157652
description: scientific article; zbMATH DE number 6418892