Displaying similar documents to “A constructive integral equivalent to the integral of Kurzweil”

Gauge Integral

Roland Coghetto (2017)

Formalized Mathematics

Similarity:

Some authors have formalized the integral in the Mizar Mathematical Library (MML). The first article in a series on the Darboux/Riemann integral was written by Noboru Endou and Artur Korniłowicz: [6]. The Lebesgue integral was formalized a little later [13] and recently the integral of Riemann-Stieltjes was introduced in the MML by Keiko Narita, Kazuhisa Nakasho and Yasunari Shidama [12]. A presentation of definitions of integrals in other proof assistants or proof checkers (ACL2, COQ,...

A Daniell integral approach to nonstandard Kurzweil-Henstock integral

Ricardo Bianconi, João C. Prandini, Cláudio Possani (1999)

Czechoslovak Mathematical Journal

Similarity:

A workable nonstandard definition of the Kurzweil-Henstock integral is given via a Daniell integral approach. This allows us to study the HL class of functions from . The theory is recovered together with a few new results.

Substitution formulas for the Kurzweil and Henstock vector integrals

Márcia Federson (2002)

Mathematica Bohemica

Similarity:

Results on integration by parts and integration by substitution for the variational integral of Henstock are well-known. When real-valued functions are considered, such results also hold for the Generalized Riemann Integral defined by Kurzweil since, in this case, the integrals of Kurzweil and Henstock coincide. However, in a Banach-space valued context, the Kurzweil integral properly contains that of Henstock. In the present paper, we consider abstract vector integrals of Kurzweil and...

Banach-valued Henstock-Kurzweil integrable functions are McShane integrable on a portion

Tuo-Yeong Lee (2005)

Mathematica Bohemica

Similarity:

It is shown that a Banach-valued Henstock-Kurzweil integrable function on an m -dimensional compact interval is McShane integrable on a portion of the interval. As a consequence, there exist a non-Perron integrable function f [ 0 , 1 ] 2 ⟶ ℝ and a continuous function F [ 0 , 1 ] 2 ⟶ ℝ such that ( ) ∫ 0 x ( ) ∫ 0 y f ( u , v ) d v d u = ( ) ∫ 0 y ( ) ∫ 0 x f ( u , v ) d u d v = F ( x , y ) for all ( x , y ) ∈ [ 0 , 1 ] 2 .