Displaying similar documents to “Criterion for uniform distribution of sequences and a class of Riemann integrable functions”

A simplified multidimensional integral

Ágnes M. Backhausz, Vilmos Komornik, Tivadar Szilágyi (2009)

Czechoslovak Mathematical Journal

Similarity:

We present a simplified integral of functions of several variables. Although less general than the Riemann integral, most functions of practical interest are still integrable. On the other hand, the basic integral theorems can be obtained more quickly. We also give a characterization of the integrable functions and their primitives.

Weaker forms of continuity and vector-valued Riemann integration

M. A. Sofi (2012)

Colloquium Mathematicae

Similarity:

It was proved by Kadets that a weak*-continuous function on [0,1] taking values in the dual of a Banach space X is Riemann-integrable precisely when X is finite-dimensional. In this note, we prove a Fréchet-space analogue of this result by showing that the Riemann integrability holds exactly when the underlying Fréchet space is Montel.

The Basic Existence Theorem of Riemann-Stieltjes Integral

Kazuhisa Nakasho, Keiko Narita, Yasunari Shidama (2016)

Formalized Mathematics

Similarity:

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...

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,...