The note is related to a recently published paper J. M. Park, J. J. Oh, C.-G. Park, D. H. Lee: The AP-Denjoy and AP-Henstock integrals. Czech. Math. J. 57 (2007), 689–696, which concerns a descriptive characterization of the approximate Kurzweil-Henstock integral. We bring to attention known results which are stronger than those contained in the aforementioned work. We show that some of them can be formulated in terms of a derivation basis defined by a local system of which the approximate basis...

In this article, the basic existence theorem of Riemann-Stieltjes integral is formalized. This theorem states that if f is a continuous function and ρ is a function of bounded variation in a closed interval of real line, f is Riemann-Stieltjes integrable with respect to ρ. In the first section, basic properties of real finite sequences are formalized as preliminaries. In the second section, we formalized the existence theorem of the Riemann-Stieltjes integral. These formalizations are based on [15],...

In this paper we study the Denjoy-Riemann and Denjoy-McShane integrals of functions mapping an interval $\left[a,b\right]$ into a Banach space $X.$ It is shown that a Denjoy-Bochner integrable function on $\left[a,b\right]$ is Denjoy-Riemann integrable on $\left[a,b\right]$, that a Denjoy-Riemann integrable function on $\left[a,b\right]$ is Denjoy-McShane integrable on $\left[a,b\right]$ and that a Denjoy-McShane integrable function on $\left[a,b\right]$ is Denjoy-Pettis integrable on $\left[a,b\right].$ In addition, it is shown that for spaces that do not contain a copy of $c_0$, a measurable Denjoy-McShane integrable...

In the paper, we show that the space of functions of bounded variation and the space of regulated functions are, in some sense, the dual space of each other, involving the Henstock-Kurzweil-Stieltjes integral.

We present a method of integration along the lines of the Henstock-Kurzweil integral. All $L^r$-derivatives are integrable in this method.

In this article, we described basic properties of Riemann integral on functions from R into Real Banach Space. We proved mainly the linearity of integral operator about the integral of continuous functions on closed interval of the set of real numbers. These theorems were based on the article [10] and we referred to the former articles about Riemann integral. We applied definitions and theorems introduced in the article [9] and the article [11] to the proof. Using the definition of the article [10],...

In this article, we formalized the measurability of complex-valued functional sequences. First, we proved the measurability of the limits of real-valued functional sequences. Next, we defined complex-valued functional sequences dividing real part into imaginary part. Then using the former theorems, we proved the measurability of each part. Lastly, we proved the measurability of the limits of complex-valued functional sequences. We also showed several properties of complex-valued measurable functions....

We prove two versions of the Monotone Convergence Theorem for the vector integral of Kurzweil, ${\int }_R\mathrm{d}\alpha \left(t\right)f\left(t\right)$, where $R$ is a compact interval of ${ℝ}^n$, $\alpha$ and $f$ are functions with values on $L(Z,W)$ and $Z$ respectively, and $Z$ and $W$ are monotone ordered normed spaces. Analogous results can be obtained for the Kurzweil vector integral, ${\int }_R\alpha \left(t\right)\mathrm{d}f\left(t\right)$, as well as to unbounded intervals $R$.